ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 9 — Dérivabilité et convexité · Extrema, théorèmes de Rolle et des accroissements finis

Exercice 12

Démonstration

Soit aa, bb et cc trois réels. Montrer qu'il existe x∈ ]0 ,1[x \in \,]0\,,1[ tel que 4ax3+3bx2+2cx=a+b+c.4ax^{3} + 3bx^{2} + 2cx = a + b + c.

Corrigé

Le membre de gauche est la dérivée de x↦ax4+bx3+cx2x \mapsto ax^{4} + bx^{3} + cx^{2}, qui vaut a+b+ca + b + c en 11 et 00 en 00. On pose donc F(x)=ax4+bx3+cx2−(a+b+c)x.F(x) = ax^{4} + bx^{3} + cx^{2} - (a + b + c)x. La fonction FF est polynomiale, donc dérivable, et F(0)=F(1)=0F(0) = F(1) = 0. Le théorème de Rolle fournit x∈ ]0 ,1[x \in \,]0\,,1[ tel que F′(x)=0F'(x) = 0, c'est-à-dire 4ax3+3bx2+2cx=a+b+c pour un x∈ ]0 ,1[\boxed{4ax^{3} + 3bx^{2} + 2cx = a + b + c \text{ pour un } x \in \,]0\,,1[} On ne pouvait pas conclure par le théorème des valeurs intermédiaires, car on ne connaît pas le signe de F′F' en 00 et en 11 : c'est en remontant à une primitive qu'on fait apparaître deux valeurs égales.

Ouvrir dans l'atlas interactif →