Xét hiệu [imath]A=a^4+16-(2a^3+8a)[/imath]
[imath]A=a^4+16-(2a^3+8a) = a^4+16-2a^3-8a \\
= (a^4-2a^3)+(16-8a) \\
= (a^4-2a^3)-(8a-16) \\
=a^3(a-2)-8(a-2) \\
= (a^3-8)(a-2) \\
=(a-2)(a^2+2a+4)(a-2) \\
= (a-2)^2[(a^2+2a+1)-1+4] \\
= (a-2)^2[(a+1)^2+3][/imath]
Ta có [imath](a-2)^2 \geq 0, \forall x \in \mathbb{R}[/imath]
và [imath](a+1)^2+3 \geq 3 > 0, \forall x \in \mathbb{R} [/imath]
Nên [imath](a-2)^2[(a+1)^2+3] \geq 0[/imath]
hay [imath]A \geq 0[/imath]
Vậy [imath]a^4+16 \geq 2a^3+8a[/imath]