Giả sử , .Gọi lần lượt là điểm biểu diễn cho các số phức . Suy ra . * Ta có . Theo giả thiết là số thực nên ta suy ra . Tức là các điểm thuộc đường tròn tâm , bán kính . * Xét điểm M thuộc đoạn AB thỏa . Gọi H là trung điểm AB. Ta có và . Từ đó , , suy ra điểm M thuộc đường tròn tâm , bán kính . * Ta có , do đó nhỏ nhất khi OM nhỏ nhất. Ta có . Vậy .