三角形ABC中,AB=AC,AD丄BC于D,AE是角BAC的外角平分线,DE//AB交AE于E.求证:四边形ADCE是矩