证明：在FD的延长线上取点G,使GD＝FD,连接EG
∵∠ACB＝90
∴∠BAC+∠ABC＝90
∵D是AB的中点
∴AD＝BD
∵GD＝FD,∠BDF＝∠ADG
∴△ADG≌△BDF （SAS）
∴AG＝BF,∠GAD＝∠ABC
∴∠CAG＝∠BAC+∠GAD＝∠BAC+∠ABC＝90
∴EG²＝AE²+AG²＝AE²+BF²
∵DE⊥DF,GD＝FD
∴DE垂直平分FG
∴EF＝EG
∴EF²＝AE²+BF²