ta có (a-b)^2(a^2+ba+b^2)>=0
<=>4(a-b)^2(a^2+ba+b^2)>=0 (1)
(a^2-b^2)^2>=0
<=>a^4+b^4-2a^2b^2>=0
<=>3(a^4+b^4-2a^2b^2)>=0 (2)
từ (1) và (2) =>4(a-b)^2(a^2+ba+b^2)+3(a^4+b^4-2a^2b^2...
<=>7(a^2+b^2) - 6a^2b^2 - 4ab(a^2+b^2)>=0
<=>8(a^2+b^2)>= a^4+b^4 + 2a^2b^2 + 4a^2b^2 + 4a^3b+4b^3a=(a+b)^4
<=>(a^4+b^4)>=(a+b)^4/8
<=>(a+b+2)(a^4+b^4)>=(a+b)^4.(a+b+2)/8 = (a+b)^5/8 + (a+b)^4/4 = (a+b)^5/8 + 15(a+b)^4/64 + (a+b)^4/64 (3)
ta lại có a+b>=2 căn ab = 4
=>15(a+b)^4/64>=60 và (a+b)^5/8>=128 (4)
từ (3) và (4) => (a+b+2)(a^4 + b^4) >=60+128+(a+b)^4/64
<=>(a+b+2)(a^2 + b^2) + 16/(a+b) >=188+(a+b)^4/64 + 16/(a+b) (5)
mặt khác (a+b)^4/64 + 16/(a+b) >= 2 căn[ (a+b)^3/ 4 ] = căn (a+b)^3 >= căn (4^3)= 8 (6)
từ (5) và (6) => (a+b+2)(a^4 + b^4) + 16/(a+b) >=188+8=196
=> min[ (a+b+2)(a^4 + b^4) + 16/(a+b) ] = 196 khi và chỉ khi a=b=2
Nguồn: The Duc
Sorry bài này chỉ để bn tham khảo theo thôi