En appliquant $f(\sum t_i x_i) \leq \sum t_i f(x_i)$ avec $\sum t_i = 1$

L'objectif

Établir une inégalité par application de l'inégalité de convexité généralisée.

Le principe

Si $f$ est convexe sur un intervalle $I$ , alors pour tout $n\geq 1$ , tous $x_1,\dots,x_n\in I$ et tous $t_1,\dots,t_n\geq 0$ avec $\sum_{i=1}^n t_i=1$ , $f\Bigl(\sum_{i=1}^n t_i x_i\Bigr) \leq \sum_{i=1}^n t_i f(x_i)$ (inégalité de convexité généralisée, admise au programme).

La méthode

1
Je vérifie que la fonction $f$ utilisée est convexe sur l'intervalle concerné (justifié par $f''\geq 0$ ou par un résultat du cours).
Comment montrer qu'une fonction est convexe ?Voir
2
Je choisis les points $x_1,\dots,x_n$ et les coefficients $t_1,\dots,t_n\geq 0$ avec $\sum t_i=1$ qui font apparaître l'inégalité cherchée.
3
J'écris l'inégalité de convexité généralisée $f(\sum t_i x_i) \leq \sum t_i f(x_i)$ avec ce choix.
4
Je simplifie les deux membres pour obtenir la majoration voulue.

Évalue la méthode

0/5 validés

Cherche chaque exercice au brouillon, puis coche “j'ai réussi” si tu as trouvé la bonne démarche. Utilise le bouton aide si tu as besoin d'un coup de pouce.

Application guidée 1

Montrer que pour tous réels positifs $a,b$ , $\sqrt{ab}\leq \dfrac{a+b}{2}$ (inégalité arithmético-géométrique) via la concavité du logarithme.

Application guidée 2

Montrer que pour tous $x_1,\dots,x_n\in\mathbb{R}$ , $\left(\dfrac{x_1+\dots+x_n}{n}\right)^2 \leq \dfrac{x_1^2+\dots+x_n^2}{n}$ .

Application autonome 1

Montrer que pour tous $x_1,\dots,x_n>0$ , $\mathrm{e}^{\frac{x_1+\dots+x_n}{n}} \leq \dfrac{\mathrm{e}^{x_1}+\dots+\mathrm{e}^{x_n}}{n}$ .

Application autonome 2

Montrer que pour tous $x_1,\dots,x_n\in\mathbb{R}$ , $\cos\!\left(\dfrac{x_1+\dots+x_n}{n}\right)\geq \dfrac{\cos(x_1)+\dots+\cos(x_n)}{n}$ sur $[-\pi/2,\pi/2]$ .

Application autonome 3

Montrer que pour tous $a_1,\dots,a_n>0$ et tous poids $t_1,\dots,t_n>0$ avec $\sum t_i=1$ , $\prod_{i=1}^n a_i^{t_i}\leq \sum_{i=1}^n t_i a_i$ (inégalité arithmético-géométrique pondérée).

Connecte-toi pour cocher tes exercices réussis et sauvegarder ta progression.

En appliquant f(∑tixi)≤∑tif(xi)f(\sum t_i x_i) \leq \sum t_i f(x_i)f(∑ti​xi​)≤∑ti​f(xi​) avec ∑ti=1\sum t_i = 1∑ti​=1

Évalue la méthode

En appliquant $f(\sum t_i x_i) \leq \sum t_i f(x_i)$ avec $\sum t_i = 1$