Источник TeX:
\angle ABO+\angle BAO+\angle BOA=180^{\circ}