?
, on a
. En particulier,
,
et
. En prenant la somme des ces trois dernières inégalités et en divisant le resultat par
on conclut.
|
Posté par ENS
Comme
, on a . . |
et z=1 et une des inégalités est dans le mauvais sens...
, on peut echanger
par
tel que
. Alors, la partie à gauche ne change pas et la partie à droite se devient plus grand. Donc c'est suffisant à montrer le cas
.
et on trouve avec la dérivée que on obtient le minimum pour n'importe quel
avec
.Donc il faut minimiser la fonction
pour
et vérifier que le minimum est plus grand que 0. Le calcul pour ça est bien direct mais un peut dificile pour écrire donc je n'écris le pas ici.
. De manière analogique on a
et
. En sommant, on conclut.
-