AD⊥AB => ∠DAB=90°
AE⊥AC => ∠EAC=90°
∠BAC=∠DAB-∠DAC =90°-∠CAD
∠EAD=∠EAC-∠DAC =90°-∠CAD
∠BAC=∠EAD
△BAC=△EAD (по двум сторонам и углу между ними)
BC=ED (соответствующие отрезки в равных треугольниках)
В равных треугольниках против равных углов лежат равные стороны.