Источник TeX:
O_1C = \dfrac{\sqrt{5}}{2\sqrt{2}}