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. Định lý sin được biểu diễn dưới dạngtrong đó 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.