⑴,⑵是⑶的特款.只需证明⑶.EG=CG,而且还有EG⊥CG.
如图取坐标系, B（0,0） C（1.0）.A（0,1）H（a,b）[BHFE是正方形 ]
则 D（1,1）E（-b,a） F（a-b,a+b）,G（（a-b+1）/2.（a+b+1）/2）
EG＝｛（a+b+1）/2,（b-a+1）/2｝
GC＝｛（a-b-1）/2,（a+b+1）/2｝
EG²＝[（a+b+1）/2]²+[（b-a+1）/2]²＝[（a-b-1）/2]²+[（a+b+1）/2]²＝GC²
GC•EG＝[（a+b+1）/2]×[（a-b-1）/2]+[（b-a+1）/2]×[（a+b+1）/2]＝0
∴EG=CG,EG⊥CG,