Trong lượng giác, định lý cos biểu diễn sự liên quan giữa chiều dài của các cạnh của một tam giác phẳng với cosin của góc tương ứng:hoặcCông thức trên cũng có thể được viết dưới dạng:Định lý cos khái quát định lý Pytago : nếu γ là góc vuông thì cos γ = 0, và định lý cos trở thành định lý Pytago:Định lý cos được dùng để tính cạnh thứ ba khi biết hai cạnh còn lại và góc giữa hai cạnh đó, hoặc tính các góc khi chỉ biết chiều dài ba cạnh của một tam giác.Định lý cos được biểu diễn tương tự cho hai cạnh còn lại: