| Gọi $AD$ giao $EF$ tại $G$. Sau khi chứng minh $\angle KPI=90^\circ$, suy ra $(ADI)$ cắt $(EFI)$ tại $P$, hay $P$ là điểm Miquel của tứ giác nội tiếp $AEFD$, tức là $P$ nằm trên $IG$. Theo định lý Brocard suy ra $KP$ đi qua tâm ngoại tiếp của tứ giác $AEFD.$
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT] |