Retour à la géométrie
Géométriquement la convexité se traduit par le fait que les cordes sont en dessus du graphe, pour les fonctions dérivables elle se traduit aussi par le fait que les tangentes sont en dessous du graphe
Théorème :
Soit\( f\) une fonction dérivable sur un intervalle \(\mathcal I\) ; \(f\) est convexe sur \(\mathcal I\) si et seulement si :
\(\displaystyle{\forall x_0\in\mathcal I,\forall x\in\mathcal I\quad f(x)\geq f(x_0)+(x-x_0)f'(x_0)}\)
Preuve :
On utilise le lemme précédent pour la condition nécessaire.
On utilise le lemme précédent ; on suppose \(x > x_0\) ,on a : \(f'(x_0)\le\frac{f(x)-f(x_0)}{x-x_0}\) d'où \(f(x)\ge f(x_0)+(x-x_0)f'(x_0)\)
on procède de même pour \(x < x_0\).
Condition suffisante
Soient \(x_1\in I, x_2\in I,x_1<x_2\) ; on a : \(f(x_2)\ge f(x_1)+(x_2-x_1)f'(x_1)\) et \(f(x_1)\ge f(x_2)+(x_1-x_2)f'(x_2)\), d’où \(f'(x_1)\le\frac{f(x_2)-f(x_1)}{x_2-x_1}\le f'(x_2)\)
.
Ces considérations géométriques peuvent conduire à établir des encadrements de fonctions
Exemple :
La fonction sinus vérifie :
\(\displaystyle{\forall x\left[0,\frac{\pi}{2}\right],\frac{2}{\pi}x\leq\sin x\leq x}\)
En effet, la fonction sinus est concave, son graphe est donc au-dessus de la corde joignant le point \((0,0)\) et le point \(\displaystyle{\left(\frac{\pi}{2},1\right)}\) d'équation \(\displaystyle{y=\frac{2}{\pi}x}\), elle est également en dessous de la tangente au point \((0,0)\) d'équation \(y =x\), d'où l'encadrement.