Phía trong của hình vuông ABCD ta dựng tam giác đều ADK. Ta có AD = AK = DK.
ˆDAK=90o−ˆKAD=30oDAK^=90o−KAD^=30o.
Do AB = AK (cùng bằng AD) nên tam giác BAK cân tại A.
Suy ra ˆABK=ˆAKB=180o−ˆBAK2=75oABK^=AKB^=180o−BAK^2=75o.
Suy ra ˆBKC=90o−ˆABK=15oBKC^=90o−ABK^=15o.
Tương tự ta cũng có ˆKDC=30o,ˆDCK=75o,ˆKCB=15oKDC^=30o,DCK^=75o,KCB^=15o.
Dễ dàng chứng minh được ΔABE=ΔBKC(g.c.g)ΔABE=ΔBKC(g.c.g) nên AE = BE = BK = KC.
Từ đó ta chứng minh được ΔAED=ΔCDK(c.g.c)ΔAED=ΔCDK(c.g.c).
Suy ra ˆADE=ˆKDC=30oADE^=KDC^=30o.
Suy ra tam giác CDE đều.