Источник TeX:

EF=\frac{1}{2}BC=2.