Bài này sử dụng bài toán phụ sau : tứ giác MNPQ nội tiếp có 2 đường chéo cắt nhau tại G thì
GM . GP = GN . GQ (hệ thức lượng trong đường tròn hay còn gọi là phương tích)
Vì từ giác BECF nội tiếp => HB . HC = HE . HF (1)
VÌ tứ giác ABOC có ^ABO = ^ACO = 90o
=> ABOC nội tiếp => HO . HA = HB . HC (2)
Từ (1) ; (2) => HO . HA = HE . HF
=> AEOF nội tiếp (đpcm)