证明：过点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²．
即AE、EF、FB为同一个直角三角形的三边长．