Bon, je pose
=1+\lambda+\lambda^2)
et
^{-1})
.
}+\frac{1}{P(\mu)}+<br />\frac{1}{P(\nu)}=\frac{P(\mu)P(\nu)+P(\lambda)P(\nu)+P(\lambda)P(\mu)}{P(\lambda)P(\mu)P(\nu)})
.
Il s'agit de démontrer que le numérateur est supérieur au dénominateur. On les développe, chacun comporte 27 termes dont 24 se simplifient (chacun fait le calcul chez soi, je ne vais pas tout taper).
A la fin, il reste à voir que

.
Utilisons le fait que

: il reste à montrer que

, soit (en multipliant par

), que

.
A ce stade, n'hésitons pas à écrire

et

avec

et

positifs.
On développe le membre de droite :
qui est clairement inférieur au membre de gauche :
(1+3b+3b^2+b^3)+1=2+3a+3b+9ab+3a^2+3b^2+9a^2b+9ab^2+\ldots)
.
Ceci achève de démontrer l'inégalité.
Par pitié, mochkil ! Livre moi la solution élégante car la mienne est tout de même un peu sauvage...