Cosinussatsen relaterar längden av en sida i en godtycklig triangel till längderna av de andra två samt den till sidan motstående vinkeln.
Antag en triangel med sidlängderna a, b och c och med vinklarna α, β och γ:
Då gäller att
Om någon vinkel är rät erhålls Pythagoras sats då cosinus för en rät vinkel är 0.
Bevis
Om Pythagoras sats tillämpas erhålls
Enligt figuren är
vilket om det insätts i uttrycket för ger
En utveckling av ovanstående uttryck ger till slut
Se även