Источник TeX:

EC = \frac{AC*BC}{4*DC}