Bonjour
@MMu concernant mes calculs j'ai utilisé bien sûr un logiciel de calcul formel (c'est un avantage car cela permet de faire plus de calculs sans se fatiguer mais aussi un inconvénient car parfois on zappe des démos + facile comme la tienne, c'est à dire moins calculatoire ). Les calculs sont bons et j'ai fait un copié-collé.
Ceci étant dit, je n'avais pas remarqué que dans le second cas j'ai tout de même trois termes avec un signe - Donc pour finir la démo il faut absorber ces 3 termes avec l'inégalité de Young (

)
Je l'ai fait mais je n'ai rien noté. Celui qui est intéressé peut le faire en exercice: il y a 3

à choisir correctement pour que la minoration ne contienne que des termes de signe +.
Bien entendu je préfère ta démonstration, je suis d'accord avec sauf la dernière ligne pour les cas d'égalités:
pour moi, il n' y a que (x,x,x).