Notaciones:
Escribir $a:=GH$, $b:=HF$, $c:=FG$, y $s:=\frac{a+b+c}{2}$. Deje $\Omega$ $\omega$ ser la circunferencia circunscrita y la circunferencia inscrita de $FGH$, respectivamente. El círculo internamente tangente a $FG$, $FH$, y $\Omega$ se denota por a $\Gamma$. Supongamos que $\Gamma$ intersecta $HF$$FG$$P$$Q$, respectivamente. Denotar por $\omega_a$ el excircle opuesto a$F$$FGH$, que afecta a $GH$$T$. Extender $FT$ cumplir $\Omega$$S$. Finalmente, $\theta:=\angle GFD$.
Prueba:
Deje $i$ ser la inversión en $F$ radio $FP=FQ$. A continuación, $i(\Gamma)=\Gamma$, mientras que el $i(\Omega)$ es la tangente a $\Gamma$ en el punto de $E$ donde $E$ es la segunda intersección entre el$\Gamma$$FD$. Supongamos que $i(\Omega)$ cumple con $HF$$G'$$FG$$H'$. Como $FG'H'$ $FGH$ son triángulos semejantes y $\Gamma$ es el excircle opuesto a$F$$FG'H'$, se deduce que el $$\angle HFS=\angle HFT=\angle H'FE=\angle GFD=\theta\,.$$
En consecuencia, el menor de los arcos $HS$ $GD$ de la circunferencia $\Omega$ sobrepasan el mismo ángulo de $\theta$ en la circunferencia, de modo que sean iguales. Ergo, $HS=GD$. Desde $TH=s-b=JG$ y $$\angle THS=\angle GHS=\angle GFS=\angle HFD=\angle HGD=\angle JGD\,,$$ we conclude that $GDJ$ and $HST$ are congruent triangles. Thence, $$\angle GDJ=\angle HST=\angle HSF=\angle FGH\,.$$
P. S.:
Se puede demostrar, usando el de Casey Teorema, que el centro de la $\omega$ es el punto medio de la $PQ$. También, uno puede ver que el interior de la bisectriz angular de $\angle FGH$ cumple con la línea de $DP$ a un punto en $\Omega$, en el que la recta tangente a $\ell_b$ es paralelo a $HF$. Asimismo, el interno angular de la bisectriz de $\angle GHF$ cumple con la línea de $DQ$ a un punto en $\Omega$, en el que la recta tangente a $\ell_c$ es paralelo a $FG$. Por último, si $Z$ es el punto de intersección entre la $\ell_b$$\ell_c$, luego $Z$, $F$, $D$ son colineales.