证明：在△BEC和△ADC中，
∵

CE＝CD ∠BCE＝∠ACD BC＝AC

，
∴△BEC≌△ADC，
∴∠CAD=∠CBE，
又∵∠CAD+∠CDA=90°，∠CDA=∠BDF，
∴∠CBE+∠BDF=90°，即可得出∠BFA=90°，
即可得出AF⊥BE．