AB,CD,EF交于点O,AC=BD,求证O是EF的中点