证明：过O作OG⊥CD，由垂径定理可知OG垂直平分CD，则CG=DG，
∵CE⊥CD，DF⊥CD，OG⊥CD，
∴CE∥OG∥DF，
∵CG=DG，
∴OE=OF，
∵OA=OB，
∴AE=BF．