Из равенства треугольников ВЕС и DEC следует, что
ВС = CD и ∠ВСЕ = ∠DCE,
АС - общая сторона для треугольников АВС и ADC, значит
ΔАВС = ΔADC по двум сторонам и углу между ними.
Из равенства этих треугольников следует, что
АВ = AD.
Тогда для треугольников АВЕ и ADE:
AB = AD,
BE = DE - по условию,
АЕ - общая сторона,
следовательно ΔАВЕ = ΔADE по трем сторонам.
