Trong tập các số phức, gọi z 1 , z 2 là hai nghiệm của phương trình z 2 - z + 2017 4 = 0 với z 2 có thành phần ảo dương. Cho số phức z thỏa mãn | z - z 1 |=1 Giá trị nhỏ nhất của P=| z - z 2 |là
A. 2016 - 1
B. 2017 - 1 2
C. 2016 - 1 2
D. 2017 - 1