Ответ:
Дано: \( \triangle ABC \), проведена биссектриса внешнего угла при вершине \( B \), обозначим её \( BF \). \( BF ∥ AC \).
Доказать: \( \triangle ABC \) — равнобедренный (\( AB = BC \)).
- Внешний угол при вершине \( B \) равен сумме двух других углов треугольника: \( \angle CBF = \angle BAC + \angle BCA \).
- Так как \( BF \) — биссектриса внешнего угла, то \( \angle CBF = \angle ABF \).
- Из этого следует, что \( \angle ABF = \angle BAC + \angle BCA \).
- Так как \( BF ∥ AC \), то \( \angle ABF = \angle BAC \) (как накрест лежащие углы при параллельных прямых \( BF \) и \( AC \) и секущей \( AB \)).
- Также \( \angle CBF = \angle BCA \) (как соответственные углы при параллельных прямых \( BF \) и \( AC \) и секущей \( BC \)).
- Подставим \( \angle ABF = \angle BAC \) в равенство \( \angle ABF = \angle BAC + \angle BCA \), получим \( \angle BAC = \angle BAC + \angle BCA \). Это возможно только если \( \angle BCA = 0 \), что невозможно для треугольника.
- Рассмотрим другой вариант: \( BF ∥ AC \). \( \angle ABF = \angle BAC \) (накрест лежащие). \( \angle CBF = \angle BCA \) (соответственные).
- Внешний угол \( \angle ABC_{ext} = \angle ABC_{int} + \angle CBA \) = 180°. \( \angle ABC_{ext} = \angle BAC + \angle BCA \).
- Так как \( BF \) — биссектриса, то \( \angle ABF = \angle CBF = \frac{1}{2} \angle ABC_{ext} \).
- Тогда \( \angle ABF = \angle BAC + \angle BCA \).
- Из \( BF ∥ AC \): \( \angle ABF = \angle BAC \) (накрест лежащие). \( \angle CBF = \angle BCA \) (соответственные).
- Подставляя, получаем: \( \angle BAC = \angle BAC + \angle BCA \) -> \( \angle BCA = 0 \), что невозможно.
- Пересмотрим равенство: \( BF ∥ AC \). \( \angle ABF = \angle BAC \) (как накрест лежащие). \( \angle CBF = \angle BCA \) (как соответственные).
- Поскольку \( BF \) — биссектриса внешнего угла при вершине \( B \), то \( \angle ABF = \angle CBF \).
- Следовательно, \( \angle BAC = \angle BCA \).
- Если в треугольнике \( \triangle ABC \) \( \angle BAC = \angle BCA \), то треугольник является равнобедренным с основанием \( AC \) и боковыми сторонами \( AB = BC \).
Что и требовалось доказать.
