Cho số phức $z, z_1, z_2$ thỏa mãn $\left|z_1-4-5...

Gọi là điểm biểu diễn của số phức . Suy ra thuộc đường tròn tâm
Gọi là điểm biểu diễn của số phức . Suy ra thuộc đường tròn tâm .
Gọi là điểm biểu diễn của số phức .
Theo giả thiết . Suy ra M thuộc đường thẳng
0.
Gọi có tâm là đường tròn đối xứng với đường tròn tâm 1 qua đường thẳng .
Gọi là điểm đối xứng với đối xứng với qua đường thẳng .
Ta có .
Dấu " = " xảy ra khi và chỉ khi các điểm theo thứ tự thẳng hàng. Khi đó suy ra và suy .
Ta có . Vậy .