lapras a écrit:Il y a une résolution plus belle pour ce type d'inéquations

Cependant il faut connaître une inégalité qui est tres connue pour les olympiades.
La beauté c'est très relatif ....
On peut aussi poser a=x+y, .... (Ravi)
Ca revient à
 \geq 6 xyz)
qui est vrai par l'inég entre moyennes.
On peut aussi remarquer que
^2 (a+b - c ) \geq 0)
et consort, tout additionner et ça donne le truc voulu.
On peut aussi utiliser Al-Kashi, après des manips triviales (mais pénibles) ça revient :

qui est bien connu (au moins par les candidats aux olympiades !!)
Perso je préfère la 1ère que j'ai donnée.