Trong lượng giác, định lý tan[1] 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:
Chứng minh
sửa
Chứng minh định lý tan dựa vào định lý sin:
sửa
-
Đặ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).
Ứng dụng
sửa
Xem thêm
sửa
Tham khảo
sửa