Trong các bất phương trình sau, bất phương trình vô nghiệm là:
x2 - 2x + m2 + 2 ≤ 0
x2 - 2x - (m2 + 2) < 0
x2 - 2x + m2 + 2 > 0
x2 + 2x - (m2 + 2) > 0
Quan sát cả bốn bất phương trình ta thấy:
Vế trái của x2 - 2x - (m2 + 2) < 0 và x2 + 2x - (m2 + 2) > 0 là tam thức bậc hai có hai nghiệm phân biệt (hệ số của x2 là 1 có dấu trái với dấu của hệ số tự do là - (m2 + 2)), nên hai bất phương trình này có nghiệm.
Vế trái của x2 - 2x + m2 + 2 ≤ 0 và x2 - 2x + m2 + 2 > 0 là tam thức bậc hai có biệt thức
Δ' = 1 - (m2 + 2) = -m2 - 1 < 0.
Do đó chọn x2 - 2x + m2 + 2 ≤ 0, vì hệ số của x2 là 1 trái dấu với bất đẳng thức.