A = x4- 2x3 + 2010x2 - 2016x + 2016
A = (x^4 - 2x^3 + x^2) + (2009x^2 - 2016x + 2016)
A = (x^2 - x)^2 + (2009x^2 - 2016x + 2016)
2009x^2 - 2016x + 2016 = (ax + b)^2 = a^2x^2 + 2abx + b^2
So sánh hệ số, ta có hệ phương trình:
a^2 = 2009
2ab = -2016
b^2 = 2016
Giải hệ này, ta tìm được a và b ( tuy nhiên việc tìm giá trị cụ thể của a và b không quan trọng ở đây, chỉ cần biết rằng phương trình có nghiệm).
Kết luận:
(x^2 - x)^2 luôn lớn hơn hoặc bằng 0 với mọi x.
(2009x^2 - 2016x + 2016) cũng luôn lớn hơn hoặc bằng 0 (do đã chứng minh ở trên).
Vậy A = (x^2 - x)^2 + (2009x^2 - 2016x + 2016) luôn lớn hơn hoặc bằng 0 với mọi x.
Dấu bằng xảy ra khi và chỉ khi:
x^2 - x = 0 <=> x = 0 hoặc x = 1
2009x^2 - 2016x + 2016 = 0 (trường hợp này không xảy ra vì biểu thức này luôn dương)
Do đó, A > 0 với mọi x khác 0 và 1.
Chúng ta đã chứng minh được rằng biểu thức A luôn dương với mọi giá trị thực của x (trừ trường hợp x = 0 hoặc x = 1 thì A = 0).