Источник TeX:
OG=OH=\frac{x}{\sqrt{2}}