Dễ thấy [tex]\widehat{FEH}=\widehat{IAE}(cùng phụ \widehat{AEP})\Rightarrow \widehat{IAE}=\widehat{FEH}=\widehat{FAP}(AEHF nội tiếp )\Rightarrow \widehat{IAE}=\widehat{FAP}\Rightarrow \widehat{PAE}=\widehat{BAK}[/tex]
Từ đó [tex]\Delta APE \sim \Delta AIB\Rightarrow \frac{AP}{AI}=\frac{AE}{AB}[/tex]
Kéo dài AO cắt (O) tại N. Dễ chứng minh được BHCN là hình bình hành nên H,K,N thẳng hàng.
Ta thấy: [tex]\Delta AFH \sim \Delta ACN \Rightarrow \frac{AH}{AN}=\frac{AF}{AC}[/tex]
Mà [tex]\frac{AE}{AB}=\frac{AF}{AC} \Rightarrow \frac{AP}{AH}=\frac{AI}{AN}\Rightarrow IP//HN\Rightarrow HK//IP[/tex]