证明：∵点E为AB中点,
∴AE=EB,
又∵∠ACB=90°,
∴CE=AE=EB,
又∵AF=CE,
∴AF=CE=AE=EB,又ED⊥BC,EB=EC,
∴∠1=∠2,
又∠2=∠3,AE=AF,
∴∠3=∠F,
∴∠1=∠F,
∴CE∥AF,
∴四边形ACEF是平行四边形,
∴AC=EF．