Источник TeX:
AE = \sqrt3