求证:EF²=AE²+BF²(提示:延长FD至G,使DG=DF,连接AG,)
证明:过点A作AM∥BC,交FD延长线于点M,连接EM.∵AM∥BC,∴∠MAE=∠ACB=90°,∠MAD=∠B.∵AD=BD,∠ADM=∠BDF,∴△ADM≌△BDF.∴AM=BF,MD=DF.又DE⊥DF,∴EF=EM.∴AE²+BF²=AE²+AM²=EM²=EF²