Источник TeX:
\angle AOC = 2 \angle ABC