证明：∵AF⊥CB，∠ACE=90°，
∴∠CAF+∠ACF=∠ACF+∠ECD，
∴∠CAF=∠ECD；
又∵AC=EC，且∠AFC=∠EDC=90°（已知），
∴△AFC≌△CDE（AAS），
∴AF=CD；
∵DF=CF-CD，
∴DF=CF-AF．