Источник TeX:

A'F'= \frac{a \sqrt{2} (\sqrt{3} +1)}{2}