Định lý tang
Trong lượng giác, định lý tan biểu diễn mối liên quan giữa chiều dài hai cạnh của một tam giác và tan của hai góc đối diện với hai cạnh đó.

Với các ký hiệu trong hình bên, định lý tan được biểu diễn:

Đặt

ta có

Do đó

Dùng công thức lượng giác

ta có

Hoặc có thể chứng minh theo cách khác bằng công thức sau

(xem công thức tang góc chia đôi).

Từ công thức
ta tính được formula_10 nếu biết hai cạnh "a", "b" của một tam giác và góc xen giữa formula_11 hai cạnh đó. Biết formula_12 ta tính được formula_13 và formula_14. Cạnh thứ ba formula_15 có thể tính bằng Định lý sin.

