Vì O nằm trên đường trung trực b của đoạn thẳng AC nên
OA = OC (1)
Vì O nằm trên đường trung trực c của đoạn thẳng AB nên
OA = OB (2)
Từ (1) và (2) =>
OB = OC (=OA)
Do đó đ O nằm trên đường trung trực của cạnh BC (theo tính chất đường trung trực)
Vậy ba đường trung trực của tam giác ABC cùng đi qua đ O và ta có:
OA = OB = OC