Рассмотрим треугольники ABE и CBE.
- ∠ABE = ∠CBE (дано).
- ∠AEB = ∠CEB (дано).
- BE — общая сторона.
Следовательно, треугольники ABE и CBE равны по стороне и двум прилежащим к ней углам (второй признак равенства треугольников). Значит, AB = BC и AE = EC.
Рассмотрим треугольники ABD и CBD.
- AB = BC (доказано выше).
- ∠ABD = ∠CBD (так как BE — биссектриса угла ABC).
- BD — общая сторона.
Следовательно, треугольники ABD и CBD равны по двум сторонам и углу между ними (первый признак равенства треугольников). Значит, AD = CD.