如图，在▱ABCD中，作对角线BD的垂直平分线EF，垂足为O，分别交AD，BC于E，F，连接BE，DF．求证：四边形BFDE是菱形．