Trong số các cặp số thực để bất phương trình
nghiệm đúng với mọi
, tích
nhỏ nhất bằng
Đặt và
Giả sử không phải là nghiệm của phương trình
thì hàm số
sẽ đổi dấu khi qua điểm
, nghĩa là
không nghiệm đúng với mọi
.
Do đó yêu cầu bài toán được thỏa mãn thì một điều kiện cần là có nghiệm
suy ra hoặc
hoặc là phương trình
có hai nghiệm
và
Trường hợp 1:
Trường hợp 2: phương trình có hai nghiệm
và
Ta thay vào phương trình
có
.
Với có phương trình
Vì cũng là nghiệm của phương trình nên
.
Trong trường hợp 1: suy ra tích
nhỏ nhất khi
Và với , tích
thì bất phương trình đã cho tương đương với
thỏa mãn với mọi
(nhận)
Trong trường hợp 2: Tích
Vậy tích nhỏ nhất khi
.
