Источник TeX:

S_{\triangle CEF} = \frac{1}{2}CK\cdot EF= a^2\frac{\sqrt{3}}{4}