Biến đổi tương đương bất phương trình về dạng:

(m2+1)x

Vì m2+1 luôn dương với mọi m nên khi chia cả hai vế của bất phương trình (*) cho m2+1 thì chiều của bất phương trình không thay đổi, cụ thể ta được:

x

Vậy, bất phương trình có nghiệm x