Источник TeX:

O_1B = \frac{a\sqrt{3}}{3}