证明：∵AC⊥BC，BE⊥CD，
∴∠ACF+∠FCB=∠FCB+∠CBE=90°．
∴∠FCA=∠EBC．
∵∠BEC=∠CFA=90°，AC=BC，
∴△BEC≌△CFA．
∴CE=AF．
∴EF=CF-CE=CF-AF．