. + Vì ABCD là hình vuông nên AB = BC = CD = DA (tính chất).
Mà AE = BF = CG = DH (gt) nên AB – AE = BC – BF = CD – CG = DA – DH hay DG = CF = EB = AH
Từ đó suy ra ΔAHE = ΔDGH = ΔCFG = ΔEBF (c-g-c) nên HG = GF = HE = EF.
Vì HG = GF = HE = EF nên tứ giác EFGH là hình thoi.
+ Vì ΔAHE = ΔBEF (cmt)
Hình thoi EFGH có nên EFGH là hình vuông.