Nota. Esta solución ha sido revisada para simplificar parte del argumento .
Esta solución utiliza el hecho de que la relación cruzada de cuatro puntos es invariante bajo la proyección central de una línea a otra.
Dejemos que $K$ sea el reflejo de $E$ con respecto a la línea $DI$ . Entonces, el triángulo $DEK$ es isósceles, $I$ es el punto medio de $EK$ y $K$ está en $DF$ (ya que el ángulo en $D$ está dividido por $DI$ ). Tenemos $K \ne F$ desde $DK = DE \ne DF$ Por lo tanto $H \ne J$ .
En adelante, todos los cocientes de longitudes deben considerarse con signo.
Mi primera afirmación es que $\frac{IH}{ID} = \frac{GH}{GF}$ . Para ver esto, observe que $G$ y $I$ son los puntos medios de los lados $EF$ y $EK$ del triángulo $EFK$ . De ello se desprende que $GI$ es paralela a la línea $KF$ que también es $FD$ . Esto demuestra la primera afirmación.
Mi siguiente afirmación es que $\frac{IJ}{IE} = \frac{GH}{GF}$ . Esto será suficiente ya que $\frac{IJ}{IE} = \frac{IH}{ID}$ implica que $HJ$ y $DE$ son paralelos. Para demostrar la afirmación, proyectamos la línea $EF$ en $EK$ centralmente desde $D$ . Las imágenes de $E, G, H, F$ bajo la proyección son $E, J, I, K$ respectivamente. Como se conservan las relaciones cruzadas, tenemos (teniendo en cuenta que $G$ es el punto medio de $EF$ y $I$ el punto medio de $EK$ ):
$$\begin{align*} \frac{KI}{KE} \div \frac{JI}{JE} &= \frac{FH}{FE} \div \frac{GH}{GE}, \\ \frac{1}{2}\frac{JE}{JI} &= \frac{1}{2} \frac{FH}{GH}. \end{align*} $$ La última afirmación se deduce fácilmente de esto y completa la prueba.