如图,已知三角形ABC中,角C等于90D,为AC中点,DE垂直于AB,垂足为E,求证BC^2=BE^2-AE^2