Источник TeX:

\dfrac {AF \cdot \cos(30^{ \circ} - \angle EAB)}{AE \cdot \cos \angle EAB} = \dfrac {7}{8}