Inégalités par Rolle et par convexité : contrôle de maths en MPSI
Voici un contrôle de maths en MPSI sur le thème « inégalités par Rolle et par convexité », avec son barème et un corrigé détaillé.
Ce devoir surveillé de trois heures rassemble les inégalités que l’on obtient par le calcul différentiel ou par la convexité, en fin de premier semestre de MPSI. Vous compterez d’abord les zéros d’une fonction grâce au théorème de Rolle itéré. Ensuite, l’inégalité des accroissements finis vous permettra de contrôler une suite récurrente, avec un rang explicite. Deux exercices portent alors sur la convexité : l’inégalité de Jensen, la moyenne arithmético-géométrique et la position d’une courbe concave par rapport à ses cordes et à ses tangentes. Enfin, le problème mesure l’écart entre une courbe et sa corde et en tire un encadrement de \(\ln 3\). Ce contrôle n’utilise ni développement limité ni intégrale.
Ce qu’évalue le contrôle : inégalités par Rolle et par convexité
L’essentiel du sujet
- NiveauMPSI
- Durée3 heures
- Calculatriceinterdite
- Barèmesur 20
Chapitres : Dérivabilité, Rolle et accroissements finis et Fonctions convexes et inégalités de convexité (5 exercices)
Ce que ce devoir vérifie :
- Appliquer le théorème de Rolle de façon itérée pour majorer puis compter les zéros d’une fonction
- Majorer l’écart entre deux termes grâce à l’inégalité des accroissements finis et en déduire la convergence d’une suite
- Démontrer la convexité ou la concavité d’une fonction par le signe de sa dérivée seconde
- Appliquer l’inégalité de Jensen et l’inégalité arithmético-géométrique à un problème d’optimisation
- Contrôler l’écart entre une fonction et sa corde à l’aide d’une fonction auxiliaire
Avant de commencer le devoir
Avant chaque inégalité, demandez-vous quel outil la fournit : une fonction auxiliaire et Rolle, les accroissements finis, ou la convexité. Vérifiez ensuite les hypothèses du théorème invoqué, car le correcteur les attend explicitement. Dans les questions de convexité, calculez la dérivée seconde en premier, puis choisissez la corde ou la tangente utile. Enfin, gardez trente minutes pour le problème, dont les questions finales restent accessibles même si la première vous résiste.
Le sujet du contrôle : inégalités par Rolle et par convexité
Exercice 1 – Trois zéros, pas un de plus (4 points)
On définit sur \(\mathbb{R}\) la fonction \(h : x \mapsto \mathrm{e}^{x} – (1 + x)^2\). On admet en outre que \(2{,}7 < \mathrm{e} < 2{,}8\). Par ailleurs, la figure ci-dessous donne l’allure de la courbe de \(h\) sur \(\left[-2{,}5\,;3\right]\).

- Soit \(f\) une fonction dérivable sur \(\mathbb{R}\) qui s’annule en \(p\) réels distincts, avec \(p \geq 2\). Démontrer alors que \(f^{\prime}\) s’annule en au moins \(p – 1\) réels distincts.
- Calculer \(h^{\prime\prime\prime}\). En déduire, à l’aide de la question 1, que \(h\) possède au plus trois zéros réels.
- Montrer ensuite que \(h\) admet exactement trois zéros : \(0\), un réel \(\alpha \in \left]-2\,;-1\right[\) et un réel \(\beta \in \left]2\,;3\right[\).
- Déterminer alors le signe de \(h\) sur \(\left]0\,;\beta\right[\), puis comparer \(\mathrm{e}^{x}\) et \((1 + x)^2\) sur cet intervalle.
Exercice 2 – Une racine carrée contractante (4 points)
On pose \(I = \left[-2\,;+\infty\right[\) et, pour \(x \in I\), \(g(x) = \sqrt{x + 6}\). On étudie ensuite la suite \((u_n)\) définie par \(u_0 = 0\) et \(u_{n+1} = g(u_n)\) pour tout entier naturel \(n\). Enfin, la figure représente la courbe de \(g\), la droite d’équation \(y = x\) et la construction en escalier des premiers termes.

- Montrer que \(g(I) \subset I\), puis que \(g\) est \(\frac{1}{4}\)-lipschitzienne sur \(I\).
- Démontrer que \(3\) est l’unique point fixe de \(g\) dans \(I\).
- Établir que, pour tout entier naturel \(n\), \(u_n \in I\) et \(\left|u_n – 3\right| \leq \frac{3}{4^n}\). Que peut-on en conclure sur la suite \((u_n)\) ?
- Déterminer un rang \(N\) à partir duquel \(u_n\) est une valeur approchée de \(3\) à \(10^{-3}\) près, sans calculer aucun terme.
Exercice 3 – Jensen, moyennes et boîte de volume fixé (4 points)
Dans tout l’exercice, \(n\) désigne un entier supérieur ou égal à 2. On rappelle l’inégalité de Jensen à poids égaux : si \(\varphi\) est convexe sur un intervalle \(J\) et si \(t_1, \ldots, t_n\) sont des points de \(J\), alors
\[\varphi\left(\frac{t_1 + \cdots + t_n}{n}\right) \leq \frac{\varphi(t_1) + \cdots + \varphi(t_n)}{n}.\]
- Montrer que \(\ln\) est concave sur \(\left]0\,;+\infty\right[\). En déduire que, pour tous réels strictement positifs \(x_1, \ldots, x_n\), on a \(\left(x_1 x_2 \cdots x_n\right)^{1/n} \leq \frac{x_1 + \cdots + x_n}{n}\).
- Une boîte en forme de pavé droit, de dimensions \(a\), \(b\) et \(c\) en centimètres, doit contenir exactement \(27\text{ cm}^3\). Montrer que l’aire totale de ses six faces vaut au moins \(54\text{ cm}^2\), puis préciser une boîte pour laquelle cette valeur est atteinte.
- On considère \(\psi : t \mapsto \ln\left(1 + \mathrm{e}^{t}\right)\) sur \(\mathbb{R}\). Montrer que \(\psi\) est convexe, puis en déduire que, pour tous réels strictement positifs \(y_1, \ldots, y_n\), on a
\[1 + \left(y_1 \cdots y_n\right)^{1/n} \leq \Big((1 + y_1) \cdots (1 + y_n)\Big)^{1/n}.\]
- Soient \(a\), \(b\) et \(c\) trois réels strictement positifs tels que \(abc = 1\). Prouver que \((1 + a)(1 + b)(1 + c) \geq 8\).
Exercice 4 – Arc tangente entre corde et tangente (3 points)
On étudie la fonction \(\arctan\) sur l’intervalle \(\left[0\,;+\infty\right[\), sans utiliser de développement limité.
- Montrer que \(\arctan\) est concave sur \(\left[0\,;+\infty\right[\).
- Prouver que, pour tout \(x \in [0\,;1]\), on a \(\frac{\pi}{4}\,x \leq \arctan x \leq x\). Nommer aussi la propriété de cours utilisée pour chaque inégalité.
- Démontrer que \(t \mapsto \frac{\arctan t}{t}\) est décroissante sur \(\left]0\,;+\infty\right[\) grâce aux pentes de la courbe. En déduire que \(\arctan t \leq \frac{\pi}{4}\,t\) pour tout \(t \geq 1\).
Exercice 5 – Problème : l’écart entre une courbe et sa corde (5 points)
Soient \(a < b\) deux réels et \(f\) une fonction de classe \(C^2\) sur \([a\,;b]\). On note ensuite \(L\) la fonction affine telle que \(L(a) = f(a)\) et \(L(b) = f(b)\) : sa courbe est la corde de \(f\) entre \(a\) et \(b\). La figure illustre la partie B, avec \(f = \ln\) sur \([1\,;2]\).

Partie A : une majoration de l’écart
- Soit \(x_0 \in \left]a\,;b\right[\). On choisit le réel \(K\) tel que la fonction \(\varphi : t \mapsto f(t) – L(t) – K(t – a)(t – b)\) vérifie \(\varphi(x_0) = 0\). Justifier d’abord l’existence de \(K\). Montrer ensuite qu’il existe \(c \in \left]a\,;b\right[\) tel que \(f(x_0) – L(x_0) = \frac{f^{\prime\prime}(c)}{2}(x_0 – a)(x_0 – b)\).
- Justifier l’existence de \(M = \max_{[a,b]} \left|f^{\prime\prime}\right|\), puis établir que, pour tout \(x \in [a\,;b]\), \(\left|f(x) – L(x)\right| \leq \frac{M}{2}(x – a)(b – x)\).
- On suppose ici \(f^{\prime\prime} \geq 0\) sur \([a\,;b]\). Retrouver, à partir de la question 1, la position de la courbe de \(f\) par rapport à sa corde, et relier ce résultat à la convexité.
Partie B : applications
- On prend \(f = \ln\), \(a = 1\) et \(b = 2\). Expliciter \(L\), puis démontrer l’encadrement \(\frac{3}{2}\ln 2 + \frac{1}{32} \leq \ln 3 \leq \frac{3}{2}\ln 2 + \frac{1}{8}\).
- En étudiant \(f : x \mapsto x^2\), montrer que la constante \(\frac{1}{2}\) de la question A.2 ne peut pas être remplacée par une constante plus petite.
Réviser inégalités par Rolle et par convexité avant le contrôle
Si un exercice vous a bloqué, relisez le cours dérivabilité, rolle et accroissements finis puis fonctions convexes et inégalités de convexité ; entraînez-vous sur les exercices dérivabilité, rolle et accroissements finis et fonctions convexes et inégalités de convexité avant de retenter le sujet.
La page contrôles de maths en MPSI regroupe les 25 sujets de l’année, et la page maths post-bac permet de changer d’année.
Sujets proches à faire ensuite
Télécharger ou imprimer cette fiche «inégalités par Rolle et par convexité : contrôle de maths en MPSI» au format PDF afin de pouvoir travailler en totale autonomie.
Ressources de maths en Maths sup (MPSI)
Cours
Tout voirConvexité et inégalités classiques en maths sup (MPSI)
Sous-espaces et supplémentaires en maths sup (MPSI)
Variables aléatoires finies en maths sup (MPSI)
PGCD, Bézout et nombres premiers en maths sup (MPSI)
Formules de trigonométrie en maths sup (MPSI)
Étude de fonctions et réciproques en maths sup (MPSI)
Exercices corrigés
Tout voirProjecteurs, symétries et hyperplans en maths sup (MPSI)
Formules de trigonométrie en maths sup (MPSI)
Noyau, image et rang en maths sup (MPSI)
Convexité et inégalités classiques en maths sup (MPSI)
EDL du premier et du second ordre en maths sup (MPSI)
Décomposition en éléments simples en maths sup (MPSI)
Contrôles
Tout voirQCM
Tout voir

























