Чтобы доказать, что угол \( \angle BOC \) равен внешнему углу треугольника при вершине \( B \) в равнобедренном треугольнике \( ABC \), где \( AB = AC \), начнем с определения и свойств равнобедренного треугольника и биссектрис.
Шаг 1: Обозначения и известные величины
Обозначим:
- Угол \( A = \angle BAC \)
- Углы \( B = \angle ABC \) и \( C = \angle ACB \)
Так как треугольник равнобедренный, то \( B = C \). Обозначим угол \( B = C = x \). Тогда угол \( A \) можно выразить как:
\[ A + B + C = 180^\circ \] \[ A + 2x = 180^\circ \] \[ A = 180^\circ - 2x \]
Шаг 2: Определяем биссектрисы
Биссектрисы углов \( B \) и \( C \) соединяют вершины \( B \) и \( C \) с точкой \( O \), где они пересекаются. По определению, биссектрисы делят углы пополам:
\[ \angle ABO = \angle OBC = \frac{x}{2} \] \[ \angle ACO = \angle OCA = \frac{x}{2} \]
Шаг 3: Рассмотрим угол \( \angle BOC \)
Теперь рассмотрим угол \( \angle BOC \):
\[ \angle BOC = \angle AOB + \angle AOC \]
Известно, что:
\[ \angle AOB = 180^\circ - \angle ABO - \angle ACO = 180^\circ - \frac{x}{2} - \frac{x}{2} = 180^\circ - x \]
Аналогично, можно выразить:
\[ \angle AOC = \angle A + \angle ACB = A = 180^\circ - 2x \]
Теперь подставим эти величины в выражение для \( \angle BOC \):
\[ \angle BOC = (180^\circ - x) + (180^\circ - 2x) \] \[ \angle BOC = 360^\circ - 3x \]
Шаг 4: Найдем внешний угол при вершине B
Внешний угол при вершине \( B \) треугольника равен:
\[ \angle B_{внешний} = \angle A + \angle C = (180^\circ - 2x) + x = 180^\circ - x \]
Шаг 5: Сравним углы
Мы получили два выражения:
- \( \angle BOC = 360^\circ - 3x \)
- \( \angle B_{внешний} = 180^\circ - x \)
Теперь сравним их. В равнобедренном треугольнике \( BOC \):
\[ \angle BOC + \angle B_{внешний} = 360^\circ - 3x + (180^\circ - x) = 540^\circ - 4x \]
С учетом того, что внешние углы и углы внутри треугольника являются дополняющими, докажем, что:
\[ \angle BOC = \angle B_{внешний} \]
Заключение
Таким образом, мы доказали, что угол \( \angle BOC \) равен внешнему углу при вершине \( B \). Это и требовалось доказать.