Rysunek pomocniczy

Dodatkowo oznaczmy kąt  jako , więc kąt 

a) Korzystając z twierdzenia cosinusów dla trójkąta  możemy zapisać:

Korzystając z twierdzenia cosinusów