Источник TeX:
EF=\frac{2}{\sqrt{3}}AK=a