因为AB平行于CD
可得角EAD=角ADF,角AEF=角DFE,（两条直线平行,内错角相等）
又AE=DF,
根据角边角（两角和它们的夹边对应相等的两个三角形全等）
得三角形AOE全等于三角形DOF.
所以EO=OF
所以O是EF的中点.
如满意请采纳,谢谢!