Stwórzmy rysunek pomocniczy:

Polecenie podaje nam wartość cosinusa kąta ostrego. Oznaczyliśmy go jako , zatem:

Skorzystajmy z trójkąta . Twierdzenie cosinusów wygląda następująco: