Trójkąty są przystające.

Kąt  w trójkącie pokazanym na rysunku oznaczmy jako .

Zauważmy, że kąty ⁣.

Wprowadźmy dodatkowe oznaczenie dla niektórych boków:

Możemy