在三角形ABC中,∠C=90°,D是AB的中点,DE垂直DF,E、F分别在CA、CB上.求证:AE^2+BF^2=EF^