Chứng minh rằng tứ giác ABEF nội tiếp

Vì điểm nằm trên đường tròn đường kính nên (góc nội tiếp chắn nửa đường tròn).

Do vuông tại nên đường tròn ngoại tiếp tam giác có tâm là trung điểm hay đường tròn ngoại tiếp tam giác có đường kính .

Tương tự, nên vuông tại có đường tròn ngoại tiếp tam giác là đường tròn đường kính

Do đó, các điểm đều nằm trên đường tròn đường kính

Vậy tứ giác nội tiếp đường tròn đường kính