Ta có: OA = OB nên O nằm trên đường trung trực của đoạn thẳng AB ( tính chất đường trung trực của đoạn thẳng)
OB = OC nên O nằm trên đường trung trực của đoạn thẳng BC ( tính chất đường trung trực của đoạn thẳng). (2)
OC = OA nên O nằm trên đường trung trực của đoạn thẳng AC ( tính chất đường trung trực của đoạn thẳng). (3)
Từ (1), (2), và (3) suy ra O là giao điểm của ba đường trung trực của tam giác ABC.