Xét ba số phức $z,{{z}_{1}},{{z}_{2}}$ thoả mãn $\left| z-i...

Gọi lần lượt là điểm biểu diễn các số phức và .
Ta có với và .
với là đường trung trực của .
qua là trung điểm và nhận làm VTPT .
với là đường tròn tâm , bán kính .
với là đường tròn tâm , bán kính .
Khi đó .
Lấy đối xứng qua , ta được với là đường tròn tâm , bán kính .
Khi đó .
Dấu "=" xảy ra khi và chỉ khi .
Hay .