Posté par
Foxdevil FoxdevilBonsoir,
L'énoncé de l'inégalité de Jensen est:
Soit f convexe
Soit

une famille d'éléments positifs telle que

Alors, avec x_1,...,x_n dans l'intervalle de déf de f, on a
 \le \bigsum_{i=1}^n~\lambda_i \times f(x_i))
.
Ici, la fonction est
)
; les

valent tous

(pas dur de voir que leur somme vaut 1); et les points dans l'intervalle de définition de la fonction sont les
)
.
On se fiche royalement de savoir pourquoi les lambda sont des 1/n ou pourquoi on applique sur des
)
, vu que les hypothèses sont vérifiées! Si les trucs te gène tu remplaces
)
par

et 1/n par

, et à la fin du calcul, tu les remets pour obtenir l'inégalité souhaitée.
Pour la suite, tu transforme la somme de droite en produit en faisant tout rentrer dans le ln, et pour la gauche tu transforme la somme en produit en faisant sortir les trucs de l'exponentielle. Tu obtiendras ln(truc1) inférieur ou égal à ln(truc2), donc par croissance de ln truc1 est inférieur ou égal à truc2. Et c'est ton inégalité.