Gọi $M$ là tâm nội tiếp $\triangle BDF$. Ta sẽ chứng minh $M \in (IAB)$. Ta có $\triangle FBD \cap M \stackrel{+}{\sim} \triangle FEA \cap I$, do đó $\widehat{AIM}=\widehat{AIF}+\widehat{FIM} = 90^{\circ}+\frac{\widehat{AEF}}{2}+\widehat{FAD}=180^{\circ}-\frac{\widehat{ABC}}{2} = 180^{\circ} - \widehat{ABM}$ nên $A, I, M, B$ đồng viên. Tương tự ta sẽ suy ra $N$ là tâm nội tiếp $\triangle CDE$.
Gọi $K, L$ là trung điểm $HB, HC$. Kẻ đường kính $EP$ của $(CDE)$. Rõ ràng $EP$ đi qua $L$. Ta có $\triangle DBF \cap KMH \stackrel{+}{\sim} \triangle DEC \cap LNP$. Gọi $Q, O$ là tâm ngoại tiếp $\triangle DEF, \triangle ABC$ thì $Q$ là trung điểm $OH$. Ta có $\frac{1}{2} (QK, QL) \equiv \frac{1}{2} (OB, OC) \equiv (AB, AC)$ $\equiv$ $(HC, HE) \equiv (EH, EL) \equiv (EH, KM)+(KM, LN)+(LN, EL) \equiv (KM, LN)$ (mod $\pi$). Biểu thức cuối đúng do $\triangle BKM \stackrel {+}{\sim} \triangle ELN$. Từ đó ta suy ra $KM$ cắt $LN$ thuộc $(Q)$.
$\boxed{\text{Bài toán 107}}$ (Nguyễn Minh Hà) Cho tam giác ABC không cân tại $A$, $BB', CC'$ là các đường cao. $M, N$ thứ tự là trung điểm $AC, AB$. $E, F$ thứ tự là tâm nội tiếp $(I)$ và $AC, AB$. $P, Q$ theo thứ tự là giao điểm của $BB', CC'$ và $MI, NI$. $L$ là giao điểm của $EF$ và $PQ$. Chứng minh $IL \parallel BC$.
- canhhoang30011999, quanghung86, phanthehauah1 và 3 người khác yêu thích