因为CE⊥BD,AF⊥BD,得：
∠F=∠CED=90度而∠ADF=∠CDE
∴△AFD∽△CED,得：
∠ECD=∠FAD∠BAF=∠BAC+∠DAF=45度+∠ECD∠BCE=∠BCD-∠ECD=45度-∠ECD
∴∠CBE=90度-∠BCE=45度+∠ECD
则：∠BAF=∠CBE,又AB=BC∴RT△BFA≌RT△CEB有：BF=CE,BE=AF∴CE-AF=BF-BE=EF