在三角形ABC中,AB等于AC,角B等于角E,求证:AB^2等于AD乘AE