Soit $f$ une fonction définie sur $\R$ et deux fois dérivable sur $\R\comma$ de sorte que $f^{\pprime}$ soit une fonction positive. Soient $a$ et $b$ deux réels tels que $a\lt b.$
Soit $t$ un réel de l’intervalle $[0,1].$
Remarque liminaire
Vous constatez déjà que si $t=0\comma$ alors :
Vous en déduisez que l’inégalité $f(ta+(1-t)b) \leq tf(a)+(1-t)f(b)$ est satisfaite pour $t=0.$
De même, si $t=1\comma$ alors :
Vous en déduisez que l’inégalité $f(ta+(1-t)b) \leq tf(a)+(1-t)f(b)$ est satisfaite pour $t=1.$
Lorsque $t$ est différent de $0$ et différent de $1\comma$ qu’en est-il ?
Supposez maintenant que $t\notin\{0,1\}\comma$ autrement dit que $0\lt t\lt1.$ Vous posez $c = ta+(1-t)b.$
D’une part :
Comme $b-a \gt 0$ et $t\gt 0$ il vient $b-c\gt 0$ et donc $c\lt b.$
D’autre part :
Comme $b-a \gt 0$ et $1-t\gt0$ il vient $c-a\gt 0$ et donc $a\lt c.$
En définitive, le nombre $c$ vérifie les inégalités :
Construisez des polynômes interpolateurs
Les réels $a\comma$ $b$ et $c$ étant deux à deux distincts, vous pouvez poser :
Vous déduisez :
Vous posez :
Vous déduisez :
Enfin, vous posez :
Vous déduisez :
Maintenant, vous définissez un polynôme $P$ de la façon suivante, en posant :
Vous avez l’évaluation suivante :
Puis :
Enfin :
Utilisez le théorème de Rolle plusieurs fois
Pour tout réel $x\comma$ vous posez $g(x) = f(x)-P(x).$
D’après ce qui précède, vous avez $g(a) = 0$ et $g(c)=0\comma$ si bien que $g(a)=g(c).$ La fonction $g$ est dérivable sur $\R$ comme différence de la fonction $f$ et de la fonction polynôme $P$ qui le sont. Ainsi, $g$ est continue sur $[a,c]$ et dérivable sur $]a,c[.$ D’après le théorème de Rolle, il existe un réel $\alpha\in]a,c[$ tel que $g'(\alpha)=0.$
De même, vous avez $g(c) = 0$ et $g(b)=0$ si bien que $g(c)=g(b).$ La fonction $g$ est dérivable sur $\R$ donc elle est dérivable sur $]c,b[$ et elle est continue sur $[c,b].$ D’après le théorème de Rolle, il existe un réel $\beta\in]c,b[$ tel que $g'(\beta)=0.$
Notez que $\alpha \lt c \lt\beta$ si bien que $\alpha \lt \beta.$
De plus, pour tout réel $x\comma$ il vient $g'(x) = f'(x)-P'(x).$ Comme $f$ est deux fois dérivable sur $\R\comma$ $f’$ est bien dérivable sur $\R.$ La fonction polynôme $P’$ est elle aussi dérivable sur $\R.$ Par différence, $g’$ est dérivable sur $\R.$ En particulier, $g’$ est continue sur $[\alpha, \beta]$ et dérivable sur $]\alpha, \beta[.$ Comme $g'(\alpha) = g'(\beta)$ le théorème de Rolle fournit l’existence d’un réel $\xi\in]\alpha, \beta[$ tel que $g^{\pprime}(\xi) = 0.$
Or, pour tout réel $x\comma$ $g^{\pprime}(x) = f^{\pprime}(x)-P^{\pprime}(x).$
En évaluant pour $x=\xi\comma$ vous déduisez $f^{\pprime}(\xi)-P^{\pprime}(\xi) = 0$ soit $f^{\pprime}(\xi)=P^{\pprime}(\xi).$
La dérivée seconde de $f$ étant positive sur $\R$ tout entier, vous déduisez $\boxed{P^{\pprime}(\xi) \geq 0.}$
Calculez la dérivée seconde du polynôme $P$
Il a été vu que :
En dérivant deux fois, il vient :
Maintenant :
En dérivant une première fois, vous avez :
En dérivant encore une fois :
Vous recommencez avec le polynôme $P_b$ ce qui fournit :
Puis :
Soit :
Vous terminez avec le polynôme $P_c$ ce qui fournit :
Puis :
Soit :
L’ensemble étant réuni, il se trouve que :
Note. Le polynôme $P$ ayant un degré inférieur ou égal à $2\comma$ vous retrouvez que $P’$ est de degré inférieur ou égal à $1$ et donc que $P^{\pprime}$ est bien constant.
Concluez
En évaluant en $X=\xi$ et en tenant compte de l’inégalité $P^{\pprime}(\xi)\geq 0$ vous déduisez :
Après division par $2\comma$ il vient :
Vous cherchez à isoler $f(c).$ Donc :
Comme $(a-b)(a-c) = (b-a)(c-a)$ et $-(c-b) = b-c\comma$ vous déduisez :
Comme $a\lt c\lt b$ les trois nombres $b-c$ puis $c-a$ et $b-a$ sont strictement positifs.
Par produit, il en résulte que $(b-a)(b-c)(c-a)\gt0.$ En multipliant la dernière inégalité par ce nombre et après simplification, il vient :
Or, il a été vu au début de ce contenu que :
La précédente inégalité s’écrit ainsi :
Comme $b-a \gt 0$ vous pouvez diviser par ce nombre et simplifier. Vous obtenez :
Comme $c = ta+(1-t)b\comma$ il vient :
Il a donc été montré que :
En tenant compte de la remarque liminaire, vous avez montré que :
Épilogue
Pour toute fonction $f$ définie sur $\R$ et deux fois dérivable sur $\R$ et de dérivée seconde positive, il a été montré que quels que soient les réels $a$ et $b$ tels que $a\lt b$ vous avez l’inégalité :
Autrement dit, la fonction $f$ est convexe sur $\R.$
