Giả sử ${{z}_{1}}, {{z}_{2}}$ là hai trong số các số phức thỏa...

Ta có
Gọi là hai điểm biểu diễn số phức trên mặt phẳng phức thì A, B cùng thuộc đường tròn tâm
Mặt khác AB là đường kính và I là trung điểm của AB, do đó
Theo bất đẳng thức Cauchy-Schwarz và đẳng thức Môđun ta có: