已知：如图， 在平行四边形ABCD中，对角线BD的垂直平分线EF与AD、BD、BC分别交于点E、O、F。

求证：四边形BFDE是菱形。