Skica:

Neka je a duljina stranice pravilnog peterokuta ABCDE.
Veličine svih unutarnjih kutova pravilnog peterokuta su
5(5−2)⋅180∘=108∘.
Trokuti △ABG, △BCH, △CDI, △DEJ i △EAK su međusobno sukladni jer su to jednakokračni pravokutni trokuti s katetama duljine a. Veličine šiljastih kutova u tim trokutima su 45∘.
Iz sukladnosti tih trokuta slijedi:
∣GB∣=∣HC∣=∣ID∣=∣JE∣=∣KA∣
∣∠KAG∣=∣∠GBH∣=∣∠IDJ∣=∣∠JEK∣=∣∠HCI∣=360∘−(108∘+90∘+45∘)=117∘.
Prema poučku S-K-S trokuti △HBG, △ICH, △JDI, △KEJ i △GAK su međusobno sukladni jer imaju po dva para sukladnih stranica i sukladne veličine kutova između tih stranica.
Iz ove sukladnosti slijedi:
∣GH∣=∣HI∣=∣IJ∣=∣JK∣=∣KG∣,
∣∠BGH∣=∣∠CHI∣=∣∠DIJ∣=∣∠EJK∣=∣∠AKG∣,
∣∠GHB∣=∣∠HIC∣=∣∠IJD∣=∣∠JKE∣=∣∠KGA∣.
Gledajući peterokut GHIJK, veličina kuta kod svakog od vrhova peterokuta jednaka je zbroju triju sukladnih kutova pa slijedi:
∣∠KGH∣=∣∠GHI∣=∣∠HIJ∣=∣∠IJK∣=∣∠JKG∣.
Peterokut GHIJK ima sve stranice jednake duljine i sve unutarnje kutove jednake veličine pa je pravilan.