Источник TeX:

OB = \frac{a\sqrt{2}}{2}