AB=AC,AD、AE分别是角A与角A的外角的平分线
AD⊥BC
∠BAD=∠BAC/2, ∠BAE=(180°-∠BAC)/2
∠DAE=90°
BE⊥AE
四边形BDAE是矩形!
AB=DE,得证。