Пусть дан треугольник ABC. Проведем внешний угол при вершине B, например, угол CBK. Пусть BD — биссектриса внешнего угла CBK.
По условию, биссектриса BD параллельна стороне AC (BD || AC).
Так как BD — биссектриса внешнего угла CBK, то \(\angle CBD = \angle KBD\).
Внешний угол CBK равен сумме двух внутренних углов треугольника, не смежных с ним, то есть \(\angle CBK = \angle BAC + \angle BCA\).
Также, \(\angle CBK + \angle ABC = 180^\circ\).
Из параллельности BD || AC и секущей BC следует, что накрест лежащие углы равны: \(\angle DBC = \angle BCA\) (это неверно, это были бы накрест лежащие, если бы секущей была BC, а углы были бы \(\angle CBD\) и \(\angle BCA\). Это верно, если BD || AC и BC — секущая. Но \(\angle DBC\) и \(\angle BCA\) не являются накрест лежащими. Правильные накрест лежащие углы при секущей BC будут \(\angle DBC\) и \(\angle BCA\) — нет, это внутренние накрест лежащие. Тут \(\angle CBD\) и \(\angle BCA\) являются разноименными внутренними углами при параллельных AC и BD и секущей BC).
Из параллельности BD || AC и секущей AB следует, что соответственные углы равны: \(\angle ABD = \angle BAC\).
Поскольку BD — биссектриса, \(\angle CBD = \angle KBD\).
По свойству смежных углов, \(\angle CBK = \angle CBD + \angle KBD = 2 \angle CBD\).
Теперь рассмотрим равенство углов:
Поскольку BD — биссектриса, \(\angle CBD = \angle KBD\). Это не используется в данном подходе.
Вернемся к \(\angle CBD = \angle BCA\).
Так как BD — биссектриса, \(\angle CBD = \angle KBD\). Отсюда, \(\angle KBD = \angle BCA\).
Рассмотрим равенство \(\angle BAC = \angle ABD\).
У нас есть \(\angle BCA = \angle CBD\).
Из определения биссектрисы, \(\angle CBD = \angle KBD\).
Значит, \(\angle BCA = \angle CBD = \angle KBD\).
Теперь вернемся к \(\angle BAC = \angle ABD\). Это не совсем то, что нужно.
Давайте переформулируем: BD || AC. Секущая BC. \(\angle KBC\) — внешний угол. BD — биссектриса \(\angle KBC\). То есть \(\angle KBD = \angle CBD\).
Из параллельности BD || AC и секущей BC: \(\angle KBD = \angle BAC\) (соответственные углы). (Неверно. \(\angle KBD\) и \(\angle BAC\) не соответственные, они при одной секущей AB).
Правильно: из параллельности BD || AC и секущей AB, соответственные углы \(\angle KBA\) и \(\angle BAC\) равны. Нет, это не так.
Рассмотрим секущую BC. \(\angle CBD = \angle BCA\) (внутренние накрест лежащие). Это верно.
Рассмотрим секущую AB. \(\angle ABD = \angle BAC\) (внутренние накрест лежащие). Это верно.
Мы знаем, что \(\angle CBD = \angle KBD\).
Из \(\angle CBD = \angle BCA\) следует, что \(\angle KBD = \angle BCA\). Это не помогло.
Поскольку BD — биссектриса, \(\angle KBD = \angle CBD\).
Пусть \(\angle KBD = \angle CBD = x\).
Тогда \(\angle CBK = 2x\).
Из параллельности BD || AC:
Сумма углов треугольника ABC: \(\angle BAC + \angle ABC + \angle BCA = 180^\circ\).
\[ (180^\circ - 3x) + (180^\circ - 2x) + x = 180^\circ \]
\[ 360^\circ - 4x = 180^\circ \]
\[ 4x = 180^\circ \]
\[ x = 45^\circ \]
Теперь найдем углы треугольника:
Углы треугольника: \(\angle BAC = 45^\circ\), \(\angle ABC = 90^\circ\), \(\angle BCA = 45^\circ\).
Так как \(\angle BAC = \angle BCA = 45^\circ\), то треугольник ABC является равнобедренным (с основанием AC).
Вывод: Если биссектриса внешнего угла (BD) параллельна одной из сторон (AC), то треугольник (ABC) является равнобедренным, так как углы при основании (AC) оказываются равными.
Ответ: Доказано.