Cho ${{z}_{1}},{{z}_{2}}$ là hai trong các số phức thỏa mãn...

Tập hợp điểm biểu diễn số phức z là đường tròn tâm . Gọi M, N lần lượt biểu diễn hai số phức thì , suy ra MN là đường kính của .
Chú ý môđun mỗi số phức chính là các khoảng cách OM, ON.
Áp dụng bất đẳng thức Bunyakovsky kết hợp công thức trung tuyến tam giác OMA ta có:
.