Bonjour
On met tout à droite et on multiplie par 64, l'inégalité est équivalente à
\geq 0)
où f est un polynome homogène symétrique de degré 6.
Alors on peut supposer sans restreindre la généralité que

.
Posons

et

Un calcul montre que
= 64 q^3-64 q^2 s^2+64 p s^3+3 s^6)
Si s et q sont fixés alors p est minimum quand b=c=1. Cela se démontre assez facilement et je le laisse en exo.
Donc pour p et q fixés, puisque f(a,b,c) est une fonction affine de p et que le coeff de p est positif alors f(a,b,c) est minimum quand p est minimum donc quand b=c.
Vu l'homogénéité on peut supposer que b=c et donc on est amené à chercher le minimum de g(a)=f(a,1,1)
.)
Or
=3( (2+a)^6-64 \left(1+a+a^2\right)^2 )=a \left(4-2 a+a^2\right) \left(16+20 a+14 a^2+a^3\right)\geq 0.)
Le minimum est atteint en a=0.
Ce qui démontre l'inégalité avec égalité quand l'un 3 nombres est nul et les deux autres égaux.