Cosinusem kąta α w trójkącie prostokątnym ABC nazywamy stosunek długości przyprostokątnej α leżącej naprzeciw tego kąta α i długości przyprostokątnej.
Twierdzenie cosinusów to twierdzenie określające związek między kątem i bokami w trójkącie.
W dowolnym trójkącie na płaszczyźnie, kwadrat długości dowolnego boku jest równy sumie kwadratów długości pozostałych boków,
pomniejszonej o podwojony iloczyn długości tych boków i cosinusa kąta zawartego między nimi.
W szczególnym przypadku, gdy trójkąt jest prostokątny i
γ
jest kątem prostym,
twierdzenie to sprowadza się do twierdzenia Pitagorasa,
ponieważ cosinus kąta prostego jest równy zeru, czyli:
Twierdzenie cosinusów wykorzystujemy przy rozwiązywaniu trójkątów w przypadkach, gdy:
- dane są dwa boki i jeden kąt między nimi (BKB),
- dane są trzy boki (BBB).