Wiemy, że:

• suma miar kątów wewnętrznych w każdym trójkącie równa się 
• suma miar kątów przyległych równa się

Zauważmy, że trójkąty , , i są równoramienne.

Wprowadźmy następujące oznaczenia: