Cho các số phức $z$, ${{z}_{1}}$ và ${{z}_{2}}$ thỏa $\left|...

Gọi là điểm biểu diễn số phức , khi đó thuộc với là đường trực của và .
Ta có .
Khi đó tập hợp các điểm biểu diễn số phức là đường tròn .
Ta có .
Khi đó tập hợp các điểm biểu diễn số phức là đường tròn .
Khi đó với thuộc , thuộc và thuộc .
Gọi là đường tròn đối xứng với đường tròn qua suy ra . Gọi là điểm đối xứng của qua nên thuộc đường tròn .
Khi đó
.
Đẳng thức xảy ra khi .