已知:如图,EF是平行四边形ABCD的对角线AC的垂直平分线,与边AD,BC分别交于点E,F,垂足为O,