Kẻ đg kính AX của $(O)$, $KX\cap (O)\equiv M$,$EF\cap BC\equiv N$
Dễ c/m $MNBF$ nội tiếp và $AMFE$ nội tiếp
Với N là tâm đẳng phương của $(O),(K) và (AMFE)$
Sử dụng định lý 4 điểm có ngay KM vuông góc AN
Suy ra $MHLN$ nội tiếp
Do đó: $AM.AN=AF.AB=AH.AL$
Hay tứ giác $BFHL$ nội tiếp
- Khoa Linh yêu thích