Bất phương trình một ẩn: Bất phương trình ẩn x là hệ thức A(x)>B(x) hoặc A(x)<B(x) hoặc A(x)≥B(x) hoặc A(x)≤B(x).
Trong đó: A(x) gọi là vế trái; B(x) gọi là vế phải.
Nghiệm của bất phương trình là giá tri của ẩn thay vào bất phương trình ta được một khẳng định đúng.
Tập nghiệm của bất phương trình: Tập hợp tất cả các nghiệm của bất phương trình được gọi là tập nghiệm của bất phương trình đó.
Bất phương trình tương đương: Hai bất phương trình tương đương là hai bất phương trình có cùng tập nghiệm
Thay trực tiếp x=3 vào các phương trình để kiểm tra ta thấy chỉ có 3x≥x+6 nhận x=3 làm nghiệm.
Bất phương trình đã cho tương đương với x−2>0⇔x>2.
Thử trực tiếp ta nhận thấy x=7 không là nghiệm của bất phương trình đã cho.
Thay trực tiếp x=1 vào các bất phương trình, nếu thỏa mãn thì bất phương trình nhận x=1 làm nghiệm.
Hai bất phương trình x3x≥0 và 1x2>0 có tập xác định là x≠0 nên không thể đúng với mọi x.
Bất phương trình x3≥0 có nghiệm là x≥0 (Hoặc đơn giản thử trực tiếp x=−1 không là nghiệm của bất phương trình).
Bất phương trình x4≥0 đúng với mọi x do đây là lũy thừa bậc chẵn.