* Do ABCD là hình vuông nên AB = BC = CD = DA.
Theo giả thiết ta có: AE = BF = CG = DH nên ta có:
AB – AE = BC – BF = CD – CG = DA – DH
⇔ BE = CF= DG = HA
* Xét các tam giác vuông AEH, BFE, CGF, DHG có:
AE= BF = CG = DH (giả thiết)
HA= BE = CF = DG (chứng minh trên)
⇒ ΔAEH = ΔBFE = ΔCGF = ΔDHG ( c.g.c)
Suy ra: HE = EF = FG = GH (các cạnh tương ứng)
* Tứ giác EFGH là hình thoi có 1 góc bằng 90o nên EFGH là hình vuông.