AE=BF=CG=DH
=>EB=FC=DG=HA
Xét ΔAEH vuông tại A và ΔBFE vuông tại B có
AE=BF
AH=BE
=>ΔAEH=ΔBFE
=>EH=EF
Xét ΔBEF vuông tại B và ΔCFG vuông tại C có
BE=CF
BF=CG
=>ΔBEF=ΔCFG
=>EF=FG
Xét ΔFCG vuông tại C và ΔGDH vuông tại D có
CF=DG
CG=DH
=>ΔFCG=ΔGDH
=>FG=GH
=>EF=FG=GH=HE
ΔAHE=ΔBEF
=>góc AEH=góc BFE
=>góc AEH+góc BEF=90 độ
=>góc HEF=90 độ
Xét tứ giác EHGF có
EH=HG=GF=EF
góc HEF=90 độ
=>EHGF là hình vuông


