Vì ABCD là hình vuông nên đường tròn (O) ngoại tiếp hình vuông có tâm O là giao điểm hai đường chéo. Do đó AC ⊥ BD tại O hay

Suy ra suy ra

Xét ∆OAE và ∆OED có:

OA = OE, (cùng bằng 45°), OE = OD.

Do đó ∆OAE = ∆OED (c.g.c).

Tương tự, ta sẽ chứng minh được:

∆OAE = ∆OED = ∆ODH = ∆OHC = ∆OCG = ∆OGB = ∆OBF = ∆OFA.

Suy ra:

⦁ AE = ED = DH = HC = CG = GB = BF = FA; (1)

⦁ 

⦁ 

Xét ∆OAE có OA = OE nên ∆OAE cân tại O, suy ra

Suy ra

Hay

Từ (1) và (2) suy ra EAFBGCHD có các cạnh bằng nhau và các góc bằng nhau.

Vậy EAFBGCHD là bát giác đều.