Источник TeX:

OF = DE = \frac {a}{2}