Rysunek pomocniczy:

Suma miar kątów w dowolnym ośmiokącie wynosi:

Miary kątów w narysowanym ośmiokącie to:

pozostałe to:

, bo kąt  jest przyległy