
Trong hình học trên mặt cầu, định lý cos (hoặc định lý cosin) là một định lý liên kết các cạnh của tam giác trên mặt cầu, tương tự như định lý cosin trong mặt phẳng.
Xét trên mặt cầu đơn vị (mặt cầu có bán kính bằng 1), một 'tam giác' được hình thành bởi các vòng tròn lớn nối ba điểm u, v, và w trên mặt cầu. Nếu các cạnh của tam giác là a (từ u đến v), b (từ u đến w), và c (từ v đến w), và góc đối diện với cạnh c là C, thì định lý cho biết rằng:
Trong trường hợp đặc biệt, khi C = π/2, thì cos(C) = 0 và ta có thể thu được kết quả tương đương với định lý Pythagoras:
Khi các góc trên mặt cầu nhỏ, mặt của tam giác gần như phẳng, và các công thức trở về dạng mặt phẳng:
Độ sai lệch của việc xấp xỉ mặt phẳng, tính từ chuỗi Maclaurin cho hàm cos và sin, vào khoảng