Công thức nghiệm bất phương trình lượng giác cơ bản với sin, cos, tan, cot được xác định như sau:

1. Bất phương trình sin(x) > a (hoặc sin(x) < a):
- Nếu a nằm trong khoảng [-1, 1], ta có:
x > arcsin(a) + 2kπ hoặc x < -arcsin(a) + (2k + 1)π, với k là số nguyên.
- Nếu a < -1 hoặc a > 1, bất phương trình không có nghiệm.

2. Bất phương trình cos(x) > a (hoặc cos(x) < a):
- Nếu a nằm trong khoảng [-1, 1], ta có:
x > arccos(a) + 2kπ hoặc x < -arccos(a) + 2kπ, với k là số nguyên.
- Nếu a < -1 hoặc a > 1, bất phương trình không có nghiệm.

3. Bất phương trình tan(x) > a (hoặc tan(x) < a):
- Nếu a nằm trong khoảng [-∞, ∞], ta có:
x > arctan(a) + kπ hoặc x < arctan(a) + (k + 1)π, với k là số nguyên.

4. Bất phương trình cot(x) > a (hoặc cot(x) < a):
- Nếu a nằm trong khoảng [-∞, ∞], ta có:
x > arccot(a) + kπ hoặc x < arccot(a) + (k + 1)π, với k là số nguyên.

Lưu ý: Các công thức trên chỉ áp dụng khi các hàm lượng giác đều xác định tại các giá trị x cần tìm.