Источник TeX:
AO=\frac{AB}{\sqrt3}=7