Kosinüs teoremi, bir üçgenin kenar uzunlukları ile açıları arasındaki ilişkiyi veren önemli bir trigonometrik bağıntıdır. Pisagor teoreminin genelleştirilmiş halidir ve özellikle bir açısı ve iki kenarı bilinen üçgenlerde bilinmeyen kenarı bulmak için kullanılır.
Bir ABC üçgeninde, kenar uzunlukları sırasıyla a, b, c ve bu kenarların karşısındaki açılar da sırasıyla A, B, C olsun. Kosinüs teoremi formülleri şu şekildedir:
Formülde, bir kenarın karesi, diğer iki kenarın kareleri toplamından, bu iki kenarın çarpımının 2 katı ile aralarındaki açının kosinüsünün çarpımının çıkarılmasına eşittir.
Önemli Not: Eğer A açısı 90° ise, \( \cos(90°) = 0 \) olacağı için formül \( a^2 = b^2 + c^2 \) şeklini alır. Bu, Pisagor teoreminin ta kendisidir. Bu nedenle kosinüs teoremi, Pisagor teoremini tüm üçgenler için genelleştirmiş olur.