I trigonometrien er cosinussetningen en setning om sammenhengen mellom sidene i en generell trekant og cosinus til en av vinklene i trekanten. Ved å bruke notasjonen i figur 1, sier cosinussetningen at
Cosinussetningen er nyttig for å regne ut den tredje siden i en trekant når to sider og den mellomliggende vinkelen er kjent, og for å regne ut vinklene i en trekant når alle tre sidene er kjent.
Setningen brukes i triangulering for å regne ut sider og vinkler i trekanter. Cosinussetningen kan brukes for å finne (se figur 2)
den tredje siden i en trekant der to sider og vinkelen mellom dem er kjent:
vinklene i en trekant der alle tre sidene er kjent:
den tredje siden i en trekant der to sider og den motstående vinkelen til en av disse er kjent (man kan også bruke Pythagoras' læresetning til dette hvis trekanten er rettvinklet):
Disse formlene gir høye avrundingsfeil i flyttallsberegninger hvis trekanten er meget spiss, det vil si hvis c er liten i forhold til a og b eller γ er liten sammenlignet med 1.
Den tredje formelen vist over er løsningen av andregradsligningena2 − 2ab cosγ + b2 − c2 = 0 med hensyn på a. Denne ligningen kan ha 2, 1 eller ingen positive løsninger; antallet positive løsninger svarer til antall mulige trekanter som passer til betingelsene. Den vil ha to positive løsninger hvis b sinγ < c < b, bare en positiv løsning hvis c > b eller c = b sinγ, og ingen løsning hvis c < b sinγ.
Betrakt en trekant med sider a, b, c, der er den motstående vinkelen til side c. Vi kan plassere denne trekanten i et koordinatsystem ved å plotte Ved å bruke avstandsformelen har vi . Nå arbeider vi bare videre med denne ligningen.
En fordel med dette beviset er at man ikke behøver å ta i betraktning forskjellige tilfeller ut fra om trekanten er spiss eller stump.