正方形ABCD中,AC与BD交与点o,角DBC的平分线BF交AC于点E,交DC于F,求证;OE=O.5 DF