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