Hình bạn tự vẽ nhé. EF cắt AH tại L.
Xét tam giác AIM vuông tại I(MI vuông góc AB) có HF//IM ( H là trực tâm nên HF vuông góc AB, từ vuông góc đến song song >> HF//IM) >> \(\frac{AF}{AI}=\frac{AH}{AM}\left(Talet\right)\)
CMTT >> \(\frac{AE}{AK}=\frac{AH}{AM}\left(Talet\right)\)>> \(\frac{AF}{AI}=\frac{AE}{AK}\). Theo Talet đảo có EF // IK.
Xét tam giác AIK có EF // IK >> AEF đồng dạng AIK ( bạn tự cm, quá dễ) >> góc AFE = góc AIK và góc AEF = góc AKI
Xét tam giác AFL và tam giác AID : chung góc A và AFL = AID (cmt) >> AFL đồng dạng AID >> ALF = ADI đồng vị >> ID // EL
CMTT thì LE // DK. Có E,L,F thẳng hàng nên theo tiên đề Euclid suy ra I,D,K thẳng hàng.