Источник TeX:

AF \cdot \cos(90^\circ - 60^{ \circ} - \angle EAB) = 7