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 miarę kąta leżącego naprzeciw boku c, to zachodzi następująca równość:
Funkcja