∵四邊形ABCD是正方形，
∴AC⊥BD,∠BOC= 90 =∠2+∠3。
EGIFH，
∴∠1+∠3=90 ,?
∴∠l=∠2.
OC = OB，∠ och = ∠ OBE = 45，？
∴△COH≌△BOE.
∴·歐=哦。同樣可以證明:OE= OF=OG。
∴EO+GO= FO+ HO，也就是EG=FH。
還有∵EG⊥FH，
∴四邊形EFGH是正方形。