Ta chứng minh a5+b5≥(a2+b2)(a3+b3)2(*)Thật vậy (*)⇔2a5+2b5≥a5+b5+a2b3+a3b2⇔a5+b5≥a2b3+a3b2
Đúng theo bđt cosi 5 số: a5+b5=a5+a5+a5+b5+b55+b5+b5+b5+a5+a55≥a3b2+a2b3
Việc còn lại là chứng minh 3√a3+b32≥a+b2⇔4(a3+b3)≥(a+b)3⇔a3+b3≥ab(a+b)
⇔(a+b)(a−b)2≥0 (luôn đúng )
Vậy ta có đpcm, đẳng thức ⇔a=b