a, b, c bir üçgenin kenarları, θ, b ve c kenarları arasındaki açı olmak üzere, a²= b² + c² – 2 • b • c • cosθ eşitliğine kosinüs teoremi adı verilir. Bu teorem kullanılarak verilen ve istene göre üçgende sorulan bir iç açı veya kenar uzunluğu kolayca hesaplanabilir.
Bu konu anlatımında, Öklid İç çarpımına ait eşitlik yardımı ile kosinüs teoreminin elde edilişi gösterilmektedir.