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