证明:在正方形ABCD中,对角线是垂直平分的,所以AO=OD,
AC垂直BD ∠AFG=∠OFD(对顶角),
DG垂直AE,所以∠AFG+∠GAF=∠AEO+∠GAF
得∠OFD=∠AEO,△DOF≌△AOE,所以OE=OF