在直角三角形中,∠C=90°,D是AB的中点,E,F分别在AC、BC上,且DE⊥DF。 证:EF^2=AE^2+EF^2