证明:∵平行四边形ABCD
∴AD∥BC
∴∠EAO=∠FCO
∵EF是平行四边形ABCD的对角线AC的垂直平分线
∴AO=CO ∠AOE=∠COF=90°
∴⊿AOE≌⊿COF
∴OE=OF
∴四边形AFCE是平行四边形
∵AC⊥EF
∴平行四边形AFCE是菱形
证明:∵平行四边形ABCD
∴AD∥BC
∴∠EAO=∠FCO
∵EF是平行四边形ABCD的对角线AC的垂直平分线
∴AO=CO ∠AOE=∠COF=90°
∴⊿AOE≌⊿COF
∴OE=OF
∴四边形AFCE是平行四边形
∵AC⊥EF
∴平行四边形AFCE是菱形