Источник TeX:

\angle AO_{1}C = \frac{\pi}{2} + \frac{\angle ABC}{2}