$DE$ nin orta noktası $Z$, $BE \cap DF = \{Y\}$ ve $AD \cap EF = \{X\}$ olsun.
$\triangle DBF$ de açıortay teoreminden, $\dfrac{BD}{BF} = \dfrac{DY}{YF}$.
$\triangle AEF$ de açıortay teoreminden, $\dfrac{AF}{AE} = \dfrac{XF}{XE}$.
$\triangle DEF$ üçgeninde, $X$, $Y$, $Z$ noktaları için Ceva Teoremi uygularsak, aslında bilinen bir özellik, $$\dfrac{DY}{YF} \cdot \dfrac{XF}{XE} \cdot \dfrac {EZ}{ZD} \Rightarrow \dfrac{BD}{BF} \cdot \dfrac{AF}{AE} \Rightarrow \dfrac{AF}{BF} = \dfrac{AE}{BD} \tag{1}$$ olacaktır.
$\triangle ABC$ de, $a=12$, $b=5$, $c=13$ olup, açıortay teoreminden, $BD = \dfrac{ac}{b+c} = \dfrac {26}{3}$ ve $AE = \dfrac{bc}{a+c} = \dfrac {13}{5}$ tir. $(1)$ de yerine yazarsak, $\dfrac{AF}{BF} = \dfrac{3}{10}$ çıkar. $AB=13$ olduğu için $AF=3$ tür. $\blacksquare$
Not:Dikkat ettiyseniz, $\triangle ABC$ nin dik üçgen olduğunu kullanmadık. $\angle ACB$ nin ölçüsünden bağımsız, her üçgende $\dfrac{AF}{BF} = \dfrac{AE}{BD} = \dfrac{b(b+c)}{a(a+c)}$ bağıntısı vardır.
Özel olarak, $c^2 = a^2+b^2$ olduğunda, ayrıca her dik üçgende $[ABC]=(u-a)(u-b) = \dfrac{ab}2$ olduğu için $$\begin{array}{rcl}
\dfrac{b(b+c)}{a(a+c)} &=& \dfrac{2b(b+c-a)+2ab}{2a(a+c-b)+2ab}\\
&=& \dfrac{2b(b+c-a)+(b+c-a)(a+c-b)}{2a(a+c-b)+(b+c-a)(a+c-b)} \\
&=& \dfrac{(b+c-a)(a+b+c)}{(a+c-b)(a+bc)} \\
&=& \dfrac{u-a}{u-b}
\end{array}$$ elde edilir. $AC = b = (u-a)+(u-b)$ olduğu için, $F$ noktası, iç teğet çemberin $AC$ ye değdiği noktadır. Yani $IF \perp AB$.
Aslında, $\dfrac{b(b+c)}{a(a+c)} = \dfrac{u-a}{u-b}$ denkleminin çözüm kümesi (çapraz çarpım yapıp, çarpanlara ayrıldığında görülebilir) $a=b$ veya $c^2 = a^2+b^2$ dir. Bu da demek oluyor ki, $\triangle ABC$ üçgeninde $AC=BC$ olduğunda veya $AC^2 + BC^2 = AB^2$ olduğunda, $IF \perp AB$ dir.