Источник TeX:

AE = DE = BE = \frac{\sqrt{2}}{2}