證明：連接OA、OE,作OP⊥AB于P,OQ⊥CE于Q
弧EF=弧AF,所以∠AOF=∠EOF
在△AOD和△EOD中
∠AOF=∠EOF
AO=EO
OD=OD
所以△AOD≌△EOD.∠ADO=∠EDO
OP⊥AB,∠OPD=90
OQ⊥CE,∠OQD=90
在RT△OPD和RT△OQD中,
∠ADO=∠EDO
∠OPD=∠OQD=90
OD=OD
所以RT△OPD≌RT△OQD（HL）.OP=OQ
在同圓中,圓心O到兩弦AB、CE的弦心距相等
因此AB=CE