Rysunek pomocniczy:

Wiemy, że suma miar kątów w czworokącie ma łącznie .

Rozważmy trójkąt , suma miar kątów w nim wynosi .

Trójkąt ten jest równorami