$AH$ is a altitude of $\triangle ABC$, $AD$ is the bisector of $\angle CAB$ and $BC$ meets the incircle of $\triangle ABC$ at point $E$ and $(D \in (ABC), H \in BC)$. Let the intersections between $DE$, $DH$ and $(ABC)$ are respectively $F$, $L$ $(L \not\equiv D \not\equiv F)$. $AF$ and $FL$ cut $BC$ correspondingly at $K$ and $J$. Prove that the tangent of $(ABC)$ at point $F$ passes through the midpoint of $KJ$.
Let the incenter of $\triangle ABC$ be $I$ and $IM \perp AB, IN \perp AC$ $(M \in AB, N \in AC)$.
We have that $(BF, BM) = (CF, CN) = (DF, DA)$ and $\dfrac{\overline{BF}}{\overline{BM}} = \dfrac{\overline{CF}}{\overline{CN}}$.
(because $FE$ being the bisector of $\angle CFB \implies \dfrac{\overline{CF}}{\overline{FB}} = \dfrac{\overline{CE}}{\overline{EB}}$ alongside $\dfrac{\overline{CE}}{\overline{CN}} = \dfrac{\overline{BF}}{\overline{BM}} = 1$).
$\implies \triangle FBM \sim \triangle FCN \implies (MF, MA) = (NF, NA) \implies M, F, N, A$ are concyclic.
Furthermore, we have that $M, N \in (AI) \implies F \in (AI) \implies FA \perp FI$.
It is evident that $\overline{KF} \cdot \overline{KA} = \overline{KB} \cdot \overline{KC} \implies K$ lies on the radical axis of $(AI)$ and $(CIB)$.
$\implies KI \perp AD$. However, $KH \perp AH \implies A, I, H, K$ are concyclic.
For now, we work backwards.
Let $FF' \parallel BC, F \in (ABC)$, we have that $F(JKMF') = -1 \impliedby F(LAFF') = -1$
But that's all.