Trong tập các số phức, gọi

Câu hỏi: 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+\frac{2017}{4} = 0$ với $z_2$ có thành phần ảo dương. Cho số phức z thỏa mãn $\left|z-z_1\right| = 1$ Giá trị nhỏ nhất của $P = \left|z-z_2\right|$là