На сторонах угла CAD отмечены точки B и E так , что точка B надлежит стороне AC , а точка E - стороне AD , причем AC=AD и AB=AE . Докажите что угол ABD = углу AEC

В условии задачи даны следующие отрезки:

• \( AC = AD \) - стороны угла CAD равны (по условию), следовательно, угол CAD равнобедренный, а его вершиной является точка A.
• \( AB = AE \) - отрезки, проведенные из точки A к точкам B и E равны (по условию), следовательно, треугольники AB и AE также равнобедренные с вершиной A.

Из данных условий следует, что:

• Так как треугольник ABD является равнобедренным, углы при основании (углы BAD и ABD) равны.
• Треугольник AEC также является равнобедренным, следовательно, углы при основании (углы EAC и AEC) равны.

Теперь, учитывая, что треугольник CAD равнобедренный с равными сторонами AC и AD, опишем следующие углы:

• \( \angle CAD \) - исходный угол, который делится точками B и E на два угла: \( \angle CAB \) и \( \angle EAD \).
• \( \angle CAB = \angle BAD \) - так как треугольник AB равнобедренный и \( AB = AE \), угол у основания треугольника AB равен углу у основания треугольника AE.
• \( \angle EAD = \angle CAD - \angle CAB = \angle CAD - \angle BAD \) - разность исходного угла и угла у основания равнобедренного треугольника AB.

Таким образом, имеем, что \( \angle BAD = \angle EAC \) (как углы при основании равнобедренных треугольников с общей вершиной A и равными сторонами \( AB = AE \)).

Теперь рассмотрим углы \( \angle ABD \) и \( \angle AEC \). Эти углы являются внешними углами для треугольников ABD и AEC соответственно, и каждый из них равен сумме противоположных внутренних углов своих треугольников.

• \( \angle ABD \) равен сумме углов \( \angle BAD \) и угла \( \angle BDA \) (угол \( \angle BDA \) в данном случае не важен для равенства искомых углов).
• \( \angle AEC \) равен сумме углов \( \angle EAC \) и угла \( \angle ECA \) (угол \( \angle ECA \) также не важен для равенства искомых углов).

Поскольку \( \angle BAD = \angle EAC \), следует, что внешние углы \( \angle ABD \) и \( \angle AEC \) также равны, так как они складываются из равных углов \( \angle BAD \) и \( \angle EAC \) соответственно, и углов \( \angle BDA \) и \( \angle ECA \), которые в данном случае не влияют на равенство углов ABD и AEC. Следовательно, \( \angle ABD = \angle AEC \), что и требовалось доказать.