在CD延长线上取一点P,使DP=BE；
ADP和ABE全等,AP=AE；角DAP=角BAE；
若角EAF=45度,则角FAP=45度；
三角形EAF和三角形FAP全等；
EF=FP=DF+BE;