Twierdzenie cosinusów jest zależnością pomiędzy długościami boków i kątami w dowolnym trójkącie. Mówi ono, że w dowolnym trójkącie:

gdzie:

•  - długości boków trójkąta
•  - miara kąta