12. На стороне АС треугольника АВС выбраны точки D и Е так, что углы ADB и ВЕС равны (см. рисунок). Оказалось, что отрезки АЕ и CD тоже равны. Докажите, что треугольник АВС — равнобедренный.

Доказательство:

Пусть \( \angle ADB = \angle BEC = \alpha \). Так как \( \angle ADB \) и \( \angle BDC \) — смежные, то \( \angle BDC = 180^{\circ} - \alpha \).

Если \( \angle BEC = \alpha \), то \( \angle AEB = 180^{\circ} - \alpha \).

В треугольнике \( ABD \): \( \angle BAD = 180^{\circ} - \angle ABD - \angle ADB = 180^{\circ} - \angle ABD - \alpha \).

В треугольнике \( BEC \): \( \angle BCE = 180^{\circ} - \angle EBC - \angle BEC = 180^{\circ} - \angle EBC - \alpha \).

Из условия имеем \( AE = CD \).

Так как \( AC = AE + EC \) и \( AC = AD + DC \), то \( AE + EC = AD + DC \).

Подставим \( AE = CD \):

\( CD + EC = AD + CD \)

\( EC = AD \)

Рассмотрим треугольники \( BAE \) и \( BCD \).

Мы знаем, что \( AE = CD \).

Из равенства \( \angle ADB = \angle BEC = \alpha \) следует, что \( \angle CDB = 180^{\circ} - \alpha \) и \( \angle AEB = 180^{\circ} - \alpha \).

Рассмотрим треугольники \( ABD \) и \( CBE \).

Мы имеем \( \angle ADB = \angle CBE \) (по условию \( \angle ADB = \alpha \) и \( \angle BEC = \alpha \), а \( \angle CBE = \angle BEC \) если \( BC = CE \) но это не дано).

Попробуем использовать другое свойство. Пусть \( \angle ADB = \angle BEC = \alpha \). Тогда \( \angle BDC = 180^{\circ} - \alpha \).

Рассмотрим треугольники \( ADE \) и \( CDE \) — это неверно.

Рассмотрим треугольники \( ABD \) и \( CBE \).

У нас есть \( AE = CD \).

Пусть \( AD = x \), \( EC = y \). Тогда \( AE = CD = x+y \).

В треугольнике \( ADB \), \( \angle BAD = 180^{\circ} - \angle ABD - \alpha \).

В треугольнике \( CBE \), \( \angle BCE = 180^{\circ} - \angle EBC - \alpha \).

Если \( \angle ADB = \angle BEC \), это значит, что если провести высоты из B в AD и CE, они будут иметь некоторую связь, но это не так.

Рассмотрим треугольники \( ABD \) и \( BCE \).

Дано: \( \angle ADB = \angle BEC \) и \( AE = CD \).

Пусть \( AD = x \), \( EC = y \). Тогда \( AE = CD = x + y \).

В треугольнике \( ABD \), \( \angle BDA = \alpha \).

В треугольнике \( CBE \), \( \angle CEB = \alpha \).

В треугольнике \( ABC \) мы хотим доказать, что \( AB = BC \) или \( \angle BAC = \angle BCA \).

Из \( AE = CD \) следует, что \( AC - AD = AC - EC \), что равносильно \( AD = EC \).

Но нам дано \( AE = CD \).

Пусть \( AD = a, EC = b \). Тогда \( AE = CD = a+b \).

Рассмотрим треугольники \( ABD \) и \( CBE \).

У нас есть \( \angle ADB = \angle BEC \).

В треугольнике \( ABD \), \( \angle BDA = \alpha \).

В треугольнике \( CBE \), \( \angle CEB = \alpha \).

Если \( AD = EC \), тогда треугольники \( ABD \) и \( CBE \) могут быть равны по первому признаку равенства треугольников (например, если \( AB=CB \) и \( BD=BE \)), но это не дано.

Попробуем использовать теорему синусов.

В \( \triangle ABD \): \( \frac{AB}{\sin(\angle ADB)} = \frac{AD}{\sin(\angle ABD)} \) => \( \frac{AB}{\sin(\alpha)} = \frac{AD}{\sin(\angle ABD)} \).

В \( \triangle CBE \): \( \frac{BC}{\sin(\angle BEC)} = \frac{EC}{\sin(\angle EBC)} \) => \( \frac{BC}{\sin(\alpha)} = \frac{EC}{\sin(\angle EBC)} \).

Из \( AE = CD \) следует, что \( AC - AD = AC - EC \) => \( AD = EC \).

Если \( AD = EC \), то из равенства синусов имеем:

\( \frac{AB}{\sin(\alpha)} = \frac{AD}{\sin(\angle ABD)} \) и \( \frac{BC}{\sin(\alpha)} = \frac{AD}{\sin(\angle EBC)} \).

Если \( \angle ABD = \angle EBC \) (что верно, так как это один и тот же угол \( \angle ABC \)), то \( AB = BC \).

Значит, \( \triangle ABC \) — равнобедренный.

Обобщим:

1. Дано: \( \angle ADB = \angle BEC \) и \( AE = CD \).

2. Из \( AE = CD \) следует, что \( AC - AD = AC - EC \), откуда \( AD = EC \).

3. Рассмотрим \( \triangle ABD \) и \( \triangle CBE \).

4. У нас есть \( AD = EC \) (из п. 2), \( \angle ADB = \angle BEC \) (дано), \( \angle ABD = \angle CBE \) (общий угол \( \angle ABC \)).

5. По первому признаку равенства треугольников (по стороне и двум прилежащим углам), \( \triangle ABD = \triangle CBE \) не следует, так как равны не два прилежащих к стороне угла, а угол и два прилежащих к нему отрезка на сторонах.

6. Однако, если \( AD = EC \) и \( \angle ADB = \angle BEC \), и \( \angle DAB = \angle ECB \) (что нам надо доказать), то треугольники будут равны.

7. Давайте пересмотрим условие \( AE = CD \). Пусть \( AC = L \).

\( AE = L - EC \), \( CD = AC - AD = L - AD \).

\( L - EC = L - AD \) => \( EC = AD \).

Итак, мы доказали, что \( AD = EC \).

Рассмотрим \( \triangle ABD \) и \( \triangle CBE \).

У нас есть \( AD = EC \), \( \angle ADB = \angle BEC \).

Если мы докажем, что \( \angle ABD = \angle EBC \) (это верно, т.к. это \( \angle ABC \)) и \( \angle BAD = \angle BCE \), то треугольники будут равны.

В \( \triangle ABC \), \( \angle BAC + \angle ABC + \angle BCA = 180^{\circ} \).

Рассмотрим \( \triangle ABC \). Мы хотим доказать, что \( \angle BAC = \angle BCA \).

Пусть \( AD = x \), \( EC = y \). Тогда \( AE = CD = x+y \).

В \( \triangle ADB \): \( \frac{AB}{\sin(\alpha)} = \frac{x}{\sin(\angle ABD)} \)

В \( \triangle CBE \): \( \frac{BC}{\sin(\alpha)} = \frac{y}{\sin(\angle EBC)} \)

Так как \( \angle ABD = \angle EBC \) (это \( \angle ABC \)), и \( \angle ADB = \angle BEC = \alpha \), то \( \frac{AB}{\sin(\alpha)} = \frac{x}{\sin(\angle ABC)} \) и \( \frac{BC}{\sin(\alpha)} = \frac{y}{\sin(\angle ABC)} \).

Из условия \( AE = CD \), то есть \( x+y = x+y \). Это не помогает.

Вернемся к \( AD = EC \).

В \( \triangle ABD \) и \( \triangle CBE \):

\( AD = EC \)

\( \angle ADB = \angle BEC \)

\( \angle BAD = \angle BCE \) (это то, что мы хотим доказать).

Если \( AD = EC \) и \( \angle ADB = \angle BEC \), то по признаку равенства треугольников по стороне и двум прилежащим углам, \( \triangle ABD \) не равен \( \triangle CBE \).

Попробуем другой подход:

Дано: \( \angle ADB = \angle BEC \). Пусть \( \angle ADB = \angle BEC = \alpha \).

\( AE = CD \).

Пусть \( AD = x \), \( EC = y \). Тогда \( AE = CD = x+y \).

В \( \triangle ABC \), \( AC = AD + DE + EC = x + DE + y \).

\( AE = AD + DE = x + DE \).

\( CD = DE + EC = DE + y \).

\( x + DE = DE + y \) => \( x = y \).

Следовательно, \( AD = EC \).

Теперь мы имеем:

1. \( AD = EC \).

2. \( \angle ADB = \angle BEC \).

3. \( AC = AD + DE + EC = AD + DE + AD = 2AD + DE \).

4. \( AE = AD + DE \).

5. \( CD = DE + EC = DE + AD \).

6. \( AE = CD \) => \( AD + DE = DE + AD \) (это не новая информация).

7. Рассмотрим \( \triangle ABD \) и \( \triangle CBE \).

У нас есть \( AD = EC \) и \( \angle ADB = \angle BEC \).

Если мы докажем, что \( \angle BAD = \angle BCE \), то \( \triangle ABD = \triangle CBE \) по признаку равенства по стороне и двум прилежащим углам.

Из \( AD = EC \) и \( AE = CD \) следует, что \( AC = AD + DE + EC \) и \( AC = AE + EC \).

\( AD + DE + EC = AE + EC \) => \( AD + DE = AE \).

\( AD + DE = AD + DE \).

Ключевой момент: \( AE = CD \) означает, что \( AC - EC = AC - AD \) => \( EC = AD \).

Итак, \( AD = EC \).

Теперь рассмотрим \( \triangle ABD \) и \( \triangle CBE \).

У нас есть: \( AD = EC \), \( \angle ADB = \angle BEC \).

Рассмотрим углы при основании \( AC \).

Пусть \( \angle BAC = \gamma \), \( \angle BCA = \delta \).

В \( \triangle ABD \): \( \angle ABD = 180^{\circ} - \gamma - \alpha \).

В \( \triangle CBE \): \( \angle EBC = 180^{\circ} - \delta - \alpha \).

Но \( \angle ABD = \angle EBC = \angle ABC \).

Значит, \( 180^{\circ} - \gamma - \alpha = 180^{\circ} - \delta - \alpha \).

\( -\gamma = -\delta \) => \( \gamma = \delta \).

\( \angle BAC = \angle BCA \).

Следовательно, \( \triangle ABC \) — равнобедренный.

Ответ: Доказано.