$\angle ACB =\alpha$ olsun. $\dfrac{DC}{AD}=\dfrac{BC^2}{AB^2}=\cot^2 \alpha$.
$\angle BCF=\beta$ olsun.
$AB=BC\tan \alpha$, $BE=BC\tan \beta$, dolayısıyla $\tan \alpha = 2\tan \beta$.
$\angle BFC =90^\circ + \alpha - \beta$. $\triangle BFC$ de Sinüs Teoreminden $$\begin{array}{rcl}
\dfrac 72 &=& \dfrac {\sin (90^\circ + \alpha - \beta)}{\sin \beta} \\
&=& \dfrac{\cos (\beta - \alpha)}{\sin \beta} \\
&=& \dfrac{\cos \beta \cos \alpha + \sin \beta \sin \alpha }{\sin \beta}\\
&=& \dfrac {\cos \alpha}{\tan \beta} + \sin \alpha \\
&=& \dfrac {2\cos^2 \alpha}{\sin \alpha} + \sin \alpha \\
&=& \dfrac {2 -\sin^2\alpha}{\sin \alpha} \,.\end{array}$$
$2\sin^2\alpha +7\sin\alpha-4=0$ denkleminden $\sin \alpha =\dfrac 12$.
Buradan da $\cot^2\alpha = 3$ elde edilir.