Definicja:
W trójkącie kwadrat długości dowolnego boku jest równy sumie kwadratów długości pozostałych boków, pomniejszonej o podwójny iloczyn długości tych boków oraz cosinusa kąta zawartego między nimi.
Załóżmy, że
Dla powyższego trójkąta mamy następujące relacje:

