Источник TeX:

AF= \frac{a \sqrt{2} (\sqrt{3}-1)}{2}