Trong tập các số phức, gọi z1, z2 là hai nghiệm của phương trình z^2 - z + 2017/4 = 0

Trong tập các số phức, gọi z1, z2 là hai nghiệm của phương trình z2-z+20174 = 0 với z2 có thành phần ảo dương. Cho số phức z thỏa mãn z-z1 = 1 Giá trị nhỏ nhất của P = z-z2là