证明：∵ABCD正方形,
∴∠DOF=∠COE=90°,OD=OC,
∴∠OCE+∠OEC=90°,
∵DG⊥CE,∴∠ODF+∠OEC=90°,
∴∠OCE=∠ODF,
∴ΔOCE≌ΔODF,
∴OE=OF.