AB=CD
AE=CF
∠ACD=∠BAE
三角形ABE和CFD全等
所以BE=DF
同理可证 BF=DE
EF=EF
三角形BEF和EFD全等
所以：∠EBF=∠FDE
证毕