Rysunek pomocniczy:
Korzystając z tw. cosinusów mamy:
Zatem mamy:
Przypadek I.
Z sumy miar kątów w trójkącie mamy:
Przypadek II.
Z sumy miar kątów w trójkącie mamy: