在梯形ABCD中,AD平行于BC,AB=CD,求证AC的平方=AB方+AD*BC