Định lý sin
Trong lượng giác, định lý sin (hay định luật sin, công thức sin) là một phương trình biểu diễn mối quan hệ giữa chiều dài các cạnh của một tam giác bất kì với sin của các góc tương ứng và bán kính đường tròn ngoại tiếp. Định lý sin được biểu diễn dưới dạng

trong đó "a", "b", "c" là chiều dài các cạnh, và "A", "B", "C" là các góc đối diện (xem hình vẽ). Phương trình cũng có thể được viết dưới dạng nghịch đảo:

Định lý sin có thể được dùng trong phép đạc tam giác để tìm hai cạnh còn lại của một tam giác khi biết một cạnh và hai góc bất kì, hoặc để tìm cạnh thứ ba khi biết hai cạnh và một góc không xen giữa hai cạnh đó. Trong một vài trường hợp, công thức cho ta hai giá trị khác nhau, dẫn đến hai khả năng khác nhau của một tam giác.
Định lý sin là một trong hai phương trình lượng giác thường được dùng để tìm cạnh và góc của một tam giác, ngoài định lý cos.

Cho: cạnh "a" = 20, cạnh "c" = 24, góc "C" = 40°

Theo định lý sin ta có

Một ví dụ khác:

Nếu hai cạnh của một tam giác có chiều dài là R và chiều dài cạnh thứ ba, dây cung c, là 100, góc C đối diện với dây cung c thì:

và

Giống như định lý cos, mặc dù định lý sin đúng về mặt toán học, nhưng việc áp dụng có thể dẫn đến sai số lớn khi sin của một góc rất gần với 1.



Trong một vài trường hợp, khi áp dụng định lý sin, ta được hai giá trị khác nhau, dẫn đến khả năng dựng được hai tam giác khác nhau trong cùng một bài toán giải tam giác.

Điều kiện để tam giác "ABC" rơi vào trường hợp này là:


Trong trường hợp đó, góc ‘’B’’ có thể nhọn hoặc tù, do đó:

hoặc

Trong công thức

giá trị của mỗi phân số chính là đường kính của đường tròn ngoại tiếp tam giác đó. Người ta cũng chứng minh được rằng giá trị trên bằng

trong đó "S" là diện tích của tam giác và "s" là nửa chu vi của nó.

Công thức thứ hai có sử dụng đến công thức Heron.

Từ hình vẽ bên, ta nhận thấy: 

Do đó 
và 
Làm tương tự, ta có:

Diện tích tam giác formula_17 được tính bởi công thức 
Nhân hai vế với formula_19 ta được 

Một hệ quả của định lý sin là: trong tứ diện "OABC" ta có

