Источник TeX:

EF = \text{tg}60^\circ\cdot DF =\sqrt{3}