在圆O中,弦AB=CD,延长AB到E,延长CD到F,使BE=DF,求证:EF的垂直平分线经过点O