如图,在平行四边形ABCD中,EF经过对角线的交点O,EF垂直平分AC分别交CD,AB于E、F,求证:四边形AECF是菱