Источник TeX:
AO=\dfrac{AB}{\sqrt{3}}