Biến đổi A và ta được
A = (3x^2)/(4x) + 4/(4x) + 2/y^2 + y^3/y^2
= (3/4)x + 1/x + 2/y^2 + y
= x/4 + x/2 + 1/x + 2/y^2 + y/4 + y/4 + y/2
= (x/4 + 1/x + 2/y^2 + y/4 + y/4) + (x/2 + y/2)
= (x/4 + 1/x + 2/y^2 + y/4 + y/4) + (x + y)/2.
Áp dụng bất đẳng thức Cô - si cho 5 số dương, cùng với giả thiết x + y >= 4 thì ta được
x/4 + 1/x + 2/y^2 + y/4 + y/4 >= 5CB5[(x/4)(1/x)(2/y^2)(y/4)(y/4)];
hay
x/4 + 1/x + 2/y^2 + y/4 + y/4 >= 5/2 (1);
và
(x + y)/2 >= 2 (2).
Cộng các bất đẳng thức (1) và (2) theo vế thì ta được
(x/4 + 1/x + 2/y^2 + y/4 + y/4) + (x + y)/2 >= 9/2;
hay
A >= 9/2. Điều kiện để A = 9/2 là dấu bằng của (1) và (2) cùng xảy ra, tức là x = y = 2.
Từ đó cho thấy, A đạt GTNN bằng 9/2 khi x = y = 2.