如图,已知∠ABC=90°,AB=BC,D为AC上一点,分别过C、A作CE⊥BD于点E.求证:EF=

因为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