yshyhua ,
证明：过O作OG⊥CD于G
∵AE⊥CD,BF⊥CD,OG⊥CD
∴AE‖OG‖BF
∵OA＝OB
∴EG/FG＝OA/OB＝1
∴EG＝FG
∵OG⊥CD,CD为弦
∴CG＝DG
∵EG＝FG
∴CE＝DF