已知在三角形ABC中,AB大于AC,AD是中线,AE是高.求证:AB2-AC2=2BC*DE