Rysunek pomocniczy

Trójkąty  są przystającymi trójkątami równoramiennymi na mocy cechy przystawania bok-bok-bok. Wykorzystując tą informację możemy zapisać, że: