过O作OG⊥AB交AB于G.
∵OG⊥AB,∴AG＝BG,∴AE＋EG＝BF＋FG,又AE＝BF,∴EG＝FG.
由EG＝FG、OG⊥EF,得：∠EOG＝∠FOG.
显然有：OA＝OB,又OG⊥AB,∴∠AOG＝∠BOG,∴∠AOC＋∠EOG＝∠BOD＋∠FOG.
由∠EOG＝∠FOG、∠AOC＋∠EOG＝∠BOD＋∠FOG,得：∠AOC＝∠BOD,
∴弧AC＝弧BD.