![enter image description here]()
Extender $DE$ para cumplir con la circunferencia circunscrita de $BDC$ nuevo en $I$. Por el Poder de un Punto, $DE\times IE=BE\times EC=AE\times EF$, lo $A,D,I,F$ son concyclic. Por lo tanto, $\angle DAF=\angle EIF$.
![enter image description here]()
Ahora, extender SI para cumplir con la circunferencia circunscrita de $ABC$ a $G'$. Construir una línea a través de $G'$ paralelo a $DE$ (es decir, perpendicular a $BC$. Deje esta línea de satisfacer $BC$ a $M$ y de la circunferencia circunscrita de $ABC$ a $N$. Luego tenemos a $\angle FG'N=\angle FID=\angle ADF$ por lo Tanto $AD$ cumple con $G'N$ a $N$. Desde $AD$ cumple con la circunferencia circunscrita $ABC$ en el punto medio del arco $BC$, este punto medio es $N$ y, por tanto, $G'=G$ e $M$ es el punto medio de la $BC$. En esencia, hemos demostrado que $G,F,I$ son colineales.
![enter image description here]()
Ahora, es el momento de limpiar. Vamos a la $A$-excéntrica ser $P$. Entonces es muy bien sabido que $A,D,P$ son colineales y $DP$ es el diámetro del círculo $BDC$. Esto significa que $\angle PID =90^{\circ}$ lo $PI$ es paralelo a $BC$. Por lo tanto arc $BI$ es igual a arc $CP$ en círculo $BDC$. Por lo tanto, $\angle BHI=\angle CHP$. Esto es suficiente para mostrar que $\angle BHI=\angle CHM$.
Pero es igualmente bien conocido que $GB,GC$ son tangentes a la circunferencia circunscrita de $BDHC$. Desde $G,H,I$ colineales, $GH$ es en realidad el $H$-symmedian de $\triangle BHC$. Por lo tanto, $\angle BHI=\angle CHM$ y hemos terminado.