如图，已知□ABCD中，点E、F分别在AD、BC上，且EF垂直平分对角线AC，垂足为O，求证：四边形AECF是菱形。