Trong tam giác DEF có điểm O cách đều ba đỉnh của tam giác. Vậy O là giao điểm của
Ba đường trung trực của một tam giác cùng đi qua một điểm. Điểm này cách đều ba đỉnh của tam giác và là tâm đường tròn ngoại tiếp tam giác đó.
Vậy O là giao điểm của ba đường trung trực.