Дано:AB=AC,AD=DE,DE||AC Доказать:AE|BC

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

1. Так как DE || AC, то ∠ADE = ∠ACD по свойству параллельных прямых и пересекающихся секущих.
2. Также, AD = DE, следовательно, треугольник ADE является равнобедренным по свойству равенства сторон треугольника.
3. Из равнобедренности треугольника ADE следует, что ∠DAE = ∠DEA.
4. Так как AB = AC, то треугольник ABC является равнобедренным, и ∠ACB = ∠ABC.
5. Из свойства, что сумма углов треугольника равна 180°, получаем ∠ACD + ∠ACB + ∠CBD = 180°.
6. Заменяя ∠ACD на ∠ADE (по пункту 1) и заменяя ∠ACB на ∠ABC (по пункту 4), получаем ∠ADE + ∠ABC + ∠CBD = 180°.
7. Замена ∠ADE на ∠DAE (по пункту 3) дает ∠DAE + ∠ABC + ∠CBD = 180°.
8. Перенесем ∠ABC на другую сторону уравнения: ∠DAE + ∠CBD = 180° - ∠ABC.
9. Так как сумма углов треугольника равна 180°, заменим ∠CBD на ∠BCE (по свойству суммы углов треугольника): ∠DAE + ∠BCE = 180° - ∠ABC.
10. Но ∠DAE = ∠DEA (по пункту 3), поэтому получаем: ∠DEA + ∠BCE = 180° - ∠ABC.
11. Так как AD = DE, то треугольник ADE является равносторонним.
12. В равностороннем треугольнике сумма углов равна 180°.
13. Значит, ∠DEA + ∠EDA + ∠DAE = 180°.
14. Заменяем ∠DEA на ∠DAE (по пункту 3) и ∠DAE на ∠DEA (по пункту 3): ∠DAE + ∠ADE + ∠DAE = 180°.
15. Упрощаем: 2∠DAE = 180°.
16. Делим на 2: ∠DAE = 90°.
17. Заменяем ∠DAE на ∠EDA (по свойству равностороннего треугольника): ∠EDA = 90°.
18. В треугольнике BCE сумма углов равна 180°.
19. Значит, ∠EDC + ∠CBE + ∠BCE = 180°.
20. Заменяем ∠CBE на ∠BED (по свойству параллельных прямых и пересекающихся секущих): ∠EDC + ∠BED + ∠BCE = 180°.
21. Но ∠BED = ∠EDA (по свойству вертикальных углов), поэтому получаем: ∠EDC + ∠EDA + ∠BCE = 180°.
22. Подставляем ∠EDA = 90°, полученное в пункте 17: ∠EDC + 90° + ∠BCE = 180°.
23. Упрощаем: ∠EDC + ∠BCE = 90°.
24. Но ∠BCE = ∠ABC (по свойству равнобедренного треугольника), поэтому получаем: ∠EDC + ∠ABC = 90°.
25. Обозначим ∠EDC как x и ∠ABC как y. Тогда имеем уравнение x + y = 90°.
26. Из уравнения x + y = 90° следует, что x = 90° - y.
27. Замена x на 90° - y даёт: 90° - y + y = 90°.
28. Упрощаем: 90° = 90°.
29. Значит, уравнение верно.
30. По свойству пересекающихся секущих, ∠ABC и ∠ADE являются смежными, а значит, их сумма равна 180°.
31. Значит, ∠ABC + ∠ADE = 180°.
32. Подставляем значение ∠ADE = 90°, полученное в пункте 16: ∠ABC + 90° = 180°.
33. Вычитаем 90°: ∠ABC = 90°.
34. В треугольнике ABC угол ∠ABC равен 90°.
35. Так как угол в 90° является прямым углом, то BC перпендикулярно AE.
36. Следовательно, AE | BC, что и требовалось доказать.