Источник TeX:

AE = \dfrac {AB}{\cos \angle EAB} = \dfrac {8}{\cos \angle EAB}