∵∠OCF＝∠OAE.OC=OA.∠COF＝∠AOE.∴⊿OCF≌⊿OAE.（A,S,A）.∴EO=OF.同理⊿OCH≌⊿OAG.（A,S,A）OH=OG.又GH⊥EF.∴四边形EHFG是菱形.（对角线相互垂直平分的四边形是菱形）.
