Gọi D, E, F theo thứ tự là trung điểm của BC, CA, AB. Đường trung trực của BC phải vuông góc với EF (vì (EF // BC), hay nó là một đường cao của tam giác DEF. Suy ra ba đường trung trực của tam giác ABC là ba đường cao của tam giác DEF. Do đó tâm đường tròn ngoại tiếp tam giác ABC (giao điểm của ba đường trung trực của tam giác ABC) là trực tâm của tam giác DEF.