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