Dygresja: Uogólnione twierdzenie Pitagorasa dla ogólnego trójkąta (twierdzenie cosinusów) wygląda następująco:

Jeśli w trójkącie o bokach długości a, b i c oznaczymy przez  $\alpha$  miarę kąta leżącego naprzeciw boku c, to zachodzi następująca równość:

$a^2+b^2-2ab\cos \alpha =c^2$

Funkcja $\cos \alpha$