因为AB=CD,AD=BC
所以四边形ABCD是平行四边形
所以AD平行BC
所以角ADB等于角CBD
又因为AF=CE
所以BE=DF
又因为角BOE=角DOF
所以三角形BOE全等于三角形DOF
所以OE=OF
即O是EF的中点.