Источник TeX:
DF = EC=\frac{1}{2} AC