Для доказательства того, что угол ( \angle BAC ) измеряется полуразностью дуг окружности, заключенных внутри этого угла, рассмотрим окружность с центром ( O ) и точку ( A ), лежащую вне этой окружности. Пусть лучи ( AB ) и ( AC ) пересекают окружность в точках ( B ) и ( C ) соответственно.
Обозначим дуги ( BC ) следующим образом:
- Дуга ( BC ), которая идет против часовой стрелки от ( B ) до ( C ), пусть будет ( \overset{\frown}{BC_1} ).
- Дуга ( BC ), которая идет по часовой стрелке от ( B ) до ( C ), пусть будет ( \overset{\frown}{BC_2} ).
Пусть ( \alpha ) и ( \beta ) — это градусные меры дуг ( \overset{\frown}{BC_1} ) и ( \overset{\frown}{BC_2} ) соответственно. Заметим, что ( \alpha + \beta = 360^\circ ), так как ( \overset{\frown}{BC_1} ) и ( \overset{\frown}{BC_2} ) составляют полный круг.
Теперь рассмотрим углы ( \angle BAC ) и его вписанные углы ( \angle BOC ) и ( \angle BDC ), где ( D ) — произвольная точка на дуге ( \overset{\frown}{BC_1} ).
Угол ( \angle BOC ) является центральным углом, который опирается на дугу ( \overset{\frown}{BC_1} ). Таким образом, мера угла ( \angle BOC = \alpha ).
Угол ( \angle BDC ) является вписанным углом, который опирается на дугу ( \overset{\frown}{BC_2} ). Таким образом, мера угла ( \angle BDC = \frac{\beta}{2} ).
В классической геометрии существует теорема, утверждающая, что внешний угол при вершине треугольника равен полуразности дуг, на которые он опирается. Таким образом, для внешнего угла ( \angle BAC ), опирающегося на дуги ( \overset{\frown}{BC_1} ) и ( \overset{\frown}{BC_2} ), имеем:
[
\angle BAC = \frac{1}{2} (\alpha - \beta)
]
Так как ( \alpha + \beta = 360^\circ ), мы можем переписать:
[
\beta = 360^\circ - \alpha
]
Теперь подставим это значение в выражение для угла ( \angle BAC ):
[
\angle BAC = \frac{1}{2} (\alpha - (360^\circ - \alpha)) = \frac{1}{2} (\alpha - 360^\circ + \alpha) = \frac{1}{2} (2\alpha - 360^\circ) = \alpha - 180^\circ
]
Но так как ( \alpha ) и ( \beta ) представляют меры дуг, не обязательно ( \alpha ) будет положительным числом или ( \alpha - 180^\circ ) будет отрицательным числом. Поэтому правильнее будет рассмотреть полуразность дуг:
[
\angle BAC = \frac{1}{2} (\alpha - \beta)
]
Таким образом, мы показали, что угол ( \angle BAC ) измеряется как полуразность дуг окружности ( \overset{\frown}{BC_1} ) и ( \overset{\frown}{BC_2} ), заключенных внутри этого угла.