在Rt三角形ABC中,角B=90度,AD为中线,DE垂直AC,求证:AB的平方+EC的平方=AE的平方