Cho hình vuông ABCD. Trên các cạnh AB, BC, CD, DA lần lượt lấy
Giải thích
+ 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.