Soient
f une fonction définie et deux fois dérivable sur un intervalle
\mathrm{I} et
a \in \mathrm{I}.
\mathcal{C}_f est sa courbe représentative dans un repère et
\mathcal{T} est la tangente à
\mathcal{C}_f au point d'abscisse
a.
Montrons par exemple que si
f^{\prime\prime} est positive sur
\mathrm{I}, alors
f est convexe sur
\mathrm{I}.
Supposons que, pour tout
x \in \mathrm{I},
f^{\prime \prime}(x)>0. Soit
\varphi la fonction définie sur
\mathrm{I} par :
\varphi(x)=f(x)-\left(f^{\prime}(a) \times(x-a)+f(a)\right)=f(x)-f^{\prime}(a) \times(x-a)-f(a).
Comme
f est deux fois dérivable sur
\mathrm{I},
\varphi l'est également et on a, pour tout
x \in \mathrm{I},
\varphi^{\prime}(x)=f^{\prime}(x)-f^{\prime}(a) et
\varphi^{\prime \prime}(x)=f^{\prime \prime}(x).
Ainsi,
\varphi^{\prime \prime}(x)>0 (car
f^{\prime \prime}(x)>0 par hypothèse) et donc
\varphi^{\prime} est croissante sur
\mathrm{I}.
- Si x > a, alors on a \varphi^{\prime}(x)>\varphi^{\prime}(a). Or \varphi^{\prime}(a)=f^{\prime}(a)-f^{\prime}(a)=0. D'où \varphi^{\prime}(x)>0.
Alors \varphi est croissante. On a donc \varphi(x)>\varphi(a).
Or \varphi(a)=f(a)-f^{\prime}(a) \times(a-a)-f(a)=0 d'où \varphi(x)>0.
Ainsi, f(x)-\left(f^{\prime}(a) \times(x-a)+f(a)\right)>0 donc f(x)>f^{\prime}(a)(x-a)+f(a) et donc \mathcal{C}_f est au‑dessus de \mathcal{T}.
- Si x \lt a, alors on a \varphi^{\prime}(x)\lt\varphi^{\prime}(a). Or \varphi^{\prime}(a)=f^{\prime}(a)-f^{\prime}(a)=0. D'où \varphi^{\prime}(x)\lt 0.
Alors \varphi est décroissante. On a donc \varphi(x)>\varphi(a).
Or \varphi(a)=f(a)-f^{\prime}(a) \times(a-a)-f(a)=0 d'où \varphi(x)>0.
On en déduit que \mathcal{C}_f est au‑dessus de \mathcal{T}.
Dans les deux cas,
\mathcal{C}_f est au‑dessus de
\mathcal{T} et donc
f est convexe.