$\dfrac{1}{AB^2}=\dfrac{1}{AE^2}+\dfrac{1}{4AF^2}
\\\Leftrightarrow \dfrac{4(AE^2-AB^2)}{AB^2.AE^2}=\dfrac{1}{AF^2}
\\\Leftrightarrow \dfrac{4BE^2}{AB^2.AE^2}=\dfrac{1}{AF^2}
\\\Leftrightarrow 4BE^2.AF^2=AB^2.AE^2
\\\Leftrightarrow 2BE.AF=2BC.AE
\\\Leftrightarrow BE.AF=BC.AE$
$\Leftrightarrow...