在三角形ABC中,AB=AC,AD垂直BC于D,AE是角BAC的外角平分线,DE平行AB于E,求证:四边形ADCE是矩形