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