Источник TeX:

AB=AO_{1} \sqrt{2}