Cho hình vuông ABCD. Trên các cạnh AB, BC, CD, DA lần lượt lấy các điểm E, F, G, H sao cho AE = BF = CG = DH sao cho AE = BF = CG = DH. Tứ giác EFGH là hình gì?
Hình vẽ minh họa

Vì ABCD là hình vuông nên (tính chất).
Mà (gt)
Hay
Vì nên tứ giác
là hình thoi.
Ta có:
Mà
Hình thoi có
Suy ra là hình vuông.







