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[1]
Om någon vinkel är rät erhålls Pythagoras sats då cosinus för en rät vinkel är 0.
Eftersom vinkeln mellan och är rät, ger Pythagoras sats:
- och
vilka ger:
Enligt definitionen på cosinus är:
- och
och då får vi:
vilket om det insätts i uttrycket för ger
En triangel har sidorna a, b, c. Genom att placera triangeln i ett koordinatsystem kan sidlängderna beräknas enligt avståndsformeln med
Med hjälp av avståndsformeln kan längden av sidan c skrivas som
och slutligen (via "trigonometriska ettan": )
- ^ Ekbom, Lennart (1978). Tabeller och formler N T Te. Nacka: Esselte Studium. sid. 56. ISBN 91-24-27604-9