如图,已知:AC=BC,AE⊥EF于E,BF⊥EF于F,点C在EF上,AC⊥BC,说明EC=BF的理由.