Кратко: используется признак подобия по двум углам. На рисунке отмечено равенство
\[
\angle ABO=\angle A_1B_1O
\]
— это углы при вершинах \(B\) и \(B_1\). Второй равный угол — общий при вершине \(O\):
\[
\angle AOB=\angle A_1OB_1.
\]
Почему так:
- Точки \(A_1\) и \(B_1\) лежат на лучах \(OA\) и \(OB\), поэтому угол при \(O\) у треугольников общий.
- Дуги на рисунке показывают, что \(\angle ABO=\angle A_1B_1O\).
- Если два угла одного треугольника соответственно равны двум углам другого, то треугольники подобны.
Значит, \[ \triangle AOB\sim\triangle A_1OB_1, \] причём соответствуют вершины \[ A\leftrightarrow A_1,\quad O\leftrightarrow O,\quad B\leftrightarrow B_1. \] Отсюда и пропорциональность сторон: \[ \frac{AO}{A_1O}=\frac{BO}{B_1O}=\frac{AB}{A_1B_1}. \]
