你题目错了吧,要证明的应该是AE^2+BF^2=EF^2因为DE⊥DF,且D为RT△ACB的斜边长的中点,DE,DF均为RT△ACB的中位线,可得AE=DF,BF=DE,而在RT△EDF中EF味为边长,必然满足AE^2+BF^2=EF^2
证明的应该是AE^2+BF^2=EF^2作GB垂直于BC交ED的延长线于G。先证明AE=BG,ED=DG,角A=角GBD,再证EF=FG,最后说明角GBF=90度,用勾股定理。