在正方形ABCD中,AC与BD交于点O,角DEC的平分线BF交AC于E,交DC于F,求证:OE=0.5DF