Источник TeX:

AF = FE = \frac{\sqrt{2}}{4}