Источник TeX:

HB = HO+OB=\sqrt{3}