Gọi ${{z}_{1}}$, ${{z}_{2}}$ là hai trong số các số phức z thỏa...

Ta có , nằm trên đường tròn tâm bán kính và nên AB là một dây cung thay đổi và luôn đi qua O.
Ta gọi điểm thì suy ra C là điểm đối xứng với O qua M nên
vậy thuộc đường tròn tâm bán kính .
Do đó .
Vậy áp dụng bất đẳng thức Module ta được: