已知ABCD是正方形,对角线AC、BD相交于O,四边形BEFD是菱形,EH⊥BD,垂足为H,求证:EH=1/2DF