Источник TeX:
KF = EK = \frac{1}{2}EF