如图,已知在三角形ABC中,角C=90度,D是BC边的中点,DE垂直于AB于E,求证:AE^2-BE^2=AC^2