证明：
∵四边形ABCD是正方形
∴OB＝OC,∠ABO＝∠BCO＝45°
易知：∠BOE＝∠COH
∴△BOE≌△COH(ASA)
∴OE＝OH
同理可证：OE＝OF＝OG
∴OE＋OG＝OF＋OH
∴EG＝FH
又EG⊥FH
∴四边形EFGH是正方形