角BAE+角PAD=90
角PAD+角ADF=90
角BAE=角ADF
因为AB=AD
所以三角形BAE全等三角形AFD
因为BE=AF,AE=DF
所以BE=AF=AE+EF=DF+EF
所以BE=DF+EF