如图,在正方形ABCD中,AC,BD相交于点O,E为OB上一点,DF⊥EC于F,交CO于P.求证:OE=OP