Théorème de Rolle

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Rolle.

En mathématiques, et plus précisément en analyse, le théorème de Rolle (souvent mentionné sous le nom de lemme de Rolle), en référence à Michel Rolle, est un résultat fondamental concernant la dérivée d'une fonction réelle d'une variable réelle. Il énonce que si une fonction dérivable prend la même valeur en deux points, alors sa dérivée s'annule au moins une fois entre ces deux points.

Énoncé[modifier | modifier le code]

Illustration du théorème de Rolle. Ici, trois valeurs c vérifient le théorème.

Le théorème de Rolle s'énonce de la façon suivante :

Théorème —  Soient a et b deux réels tels que a < b et f une fonction à valeurs réelles continue sur [a, b] et dérivable sur ]a, b[ telle que Alors, il existe (au moins) un réel c dans ]a, b[ tel que

Remarques[modifier | modifier le code]

Le théorème de Rolle ne heurte pas l'intuition :

  • dire qu'il existe au moins un élément où la dérivée de f est nulle, c'est dire qu'il existe un point où la tangente à la courbe y = f(x) est horizontale ;
  • dire que la fonction est dérivable sur l'intervalle, c'est dire que sa représentation graphique n'a pas de discontinuités, ni même de points anguleux.

Les hypothèses nous garantissent par le théorème des bornes que la fonction a un minimum et un maximum. Il y a donc bien (au moins) un point c entre a et b tel que f(c) soit un maximum ou un minimum. En un tel point, la tangente à la courbe est horizontale.

Ce théorème permet d'intégrer les nécessaires propriétés topologiques des nombres réels dans l'analyse des fonctions réelles d'une variable réelle. Les propriétés topologiques sont intégrées à la démonstration à travers le théorème des bornes.

Le théorème de Rolle ne s'étend pas aux fonctions d'une variable réelle et à valeurs vectorielles. Ainsi, la fonction dérivable de ℝ dans définie par f(t) = eit satisfait f(0) = f(2π) alors que sa dérivée, f ' (t) = i eit, ne s'annule pas.

Applications[modifier | modifier le code]

Ce théorème est utilisé pour la démonstration du théorème des accroissements finis (dont il est un cas particulier, d'où son appellation fréquente de lemme de Rolle) ; ce dernier théorème sert à son tour à construire le développement limité d'une fonction et à établir le théorème de Taylor. C'est la raison pour laquelle le théorème de Rolle est incontournable dans la construction de l'analyse.

Si P est un polynôme réel ayant au moins p racines réelles distinctes, alors son polynôme dérivé a au moins p – 1 racines réelles distinctes.

Démonstration[modifier | modifier le code]

Le théorème de Rolle se déduit facilement[1] du théorème des bornes et du théorème de Fermat sur les points stationnaires.

Généralisations[modifier | modifier le code]

Soient –∞a < b+∞ et f : ]a, b[ → ℝ dérivable et possédant en a et b une même limite (éventuellement infinie). Alors, il existe un réel c dans ]a, b[ tel que f' (c) = 0[2].

D'autre part, si f est n fois dérivable sur et s'annule en n + 1 points , alors la dérivée n-ème de f s'annule au moins une fois sur  ; l'indice de Voorhoeve permet de généraliser encore ce résultat à des fonctions à valeurs complexes.

Histoire[modifier | modifier le code]

Michel Rolle publie son Traité d'algèbre[3] en 1690 suivi, en 1691, d'une Démonstration d'une méthode pour résoudre les égalités de tous les degrés[4]. Dans ces ouvrages, il propose une méthode permettant de déterminer un encadrement des racines d'un polynôme. Cette méthode, purement algébrique, consiste à définir à partir du polynôme initial un autre polynôme, appelé cascade, obtenu en multipliant chaque coefficient du polynôme initial par le degré correspondant[5],[6]. Ainsi, le polynôme

admet comme cascade le polynôme

Excluant de la cascade la racine nulle artificiellement introduite, Rolle énonce que les racines de la cascade (12 et 26) séparent les racines du polynôme initial (6, 21 et 30)[7]. Colin Maclaurin donnera une autre démonstration[8] du même théorème en 1729, également sous forme algébrique.

À la même époque se développe le calcul infinitésimal de Leibniz et Newton et il apparaît alors que la cascade de Rolle, au facteur y près, n'est autre que la dérivée du polynôme initial. Le théorème de Rolle sera utilisé pendant près de 150 ans dans son cadre algébrique pour séparer ou approcher[9] les racines d'un polynôme, mais finira par prendre la forme : entre deux racines d'une équation est comprise une racine de l'équation dérivée[10],[11].

L'extension du théorème de Rolle au champ de l'analyse est directement liée à l'évolution de la façon dont on démontre le théorème des accroissements finis. Joseph-Louis Lagrange[12] et Augustin Louis Cauchy[13] démontrent ce théorème en montrant l'inégalité des accroissements finis, puis en appliquant le théorème des valeurs intermédiaires à la dérivée pour obtenir une égalité. Ils supposent pour cela que la dérivée est continue. Un changement important a lieu en 1868 avec le Cours de calcul différentiel et intégral de Joseph-Alfred Serret. Sur une idée de Pierre-Ossian Bonnet, ce cours adopte la présentation moderne : ramener le théorème des accroissements finis au cas où la fonction s'annule aux bornes de l'intervalle et tirer parti du fait qu'une telle fonction admet un extremum[14] à l'intérieur de l'intervalle où la dérivée s'annule[15]. Cette démarche nouvelle ne manquera pas d'être remarquée, notamment par Gaston Darboux en 1874[16],[17] qui s'intéresse alors aux fonctions dérivables à dérivée non continue. L'intérêt de la démonstration de Bonnet est en effet d'être à la fois plus simple que les démonstrations de Lagrange ou Cauchy, mais aussi plus générale, la continuité de la dérivée n'étant pas nécessaire. Cependant, dans l'ouvrage de Serret, le lien avec le théorème algébrique de Rolle n'est pas encore affirmé. Ce lien apparaîtra dans les ouvrages de mathématiques qui suivront, et peu d'années après, la démarche de Bonnet est définitivement adoptée, le nom de Rolle étant alors également attribué au lemme permettant de prouver l'égalité des accroissements finis[18],[19].

Notes et références[modifier | modifier le code]

  1. Voir par exemple Charlotte Scribot et François Liret, Mini Manuel d'analyse, Dunod, (lire en ligne), p. 29, ou cette démonstration du théorème de Rolle sur la Wikiversité.
  2. Exercice corrigé sur la Wikiversité.
  3. M. Rolle, Traité d'algèbre : ou principes généraux pour résoudre les questions de mathématique, Paris, (lire en ligne).
  4. M. Rolle, Démonstration d'une méthode pour résoudre les égalités de tous les degrés, Paris, (lire en ligne).
  5. Rolle 1690, p. 125.
  6. (en) Julius Chain, « The method of cascades », Amer. Math. Monthly, vol. 44, no 1, 1937, p. 24-29.
  7. Rolle 1691, p. 20.
  8. (en) « A second letter from Mr. Colin Mc Laurin […] concerning the roots of equations […] », Philos. Trans. R. Soc., 1729, p. 88.
  9. J.-L. Lagrange, « Sur la résolution des équations numériques », Mémoires de l'Académie de Berlin, 1769 — Œuvres de Lagrange, t. II, p. 539.
  10. (it) Giusto Bellavitis, « Sul più facile modo di trovare le radici reali delle equazioni algebriche, e sopra un nuovo metodo per la determinazione delle radici immaginarie », Memorie del Real Istituto Veneto di Scienze, Lettere ed Arte, vol. III,‎ , p. 111 (lire en ligne), énonce que « Rolle osserv'o che fra due radici di una equazione è sempre compresa una radice della sua equazione derivata ».
  11. « Agrégation des sciences mathématiques (concours de 1878) », Nouvelles annales de mathématiques, Gauthier-Villars, 2e série, t. XVIII,‎ , p. 40 (lire en ligne) : « Théorème de Rolle. — Application à la séparation des racines d'une équation algébrique ou transcendante. ».
  12. J.-L. Lagrange, « Théorie des fonctions analytiques contenant les principes du calcul différentiel, dégagés de toute considération d'infiniment petits ou d'évanouissants, de limites ou de fluxions et réduits à l'analyse algébrique des quantités finies », Journal de l'École polytechnique, 9e cahier, t. III, 1797, §52, p. 49.
  13. A. L. Cauchy, Résumé des leçons données à l'École royale polytechnique sur le calcul infinitésimal, t. I, Paris, 1823, p. 28.
  14. Cette propriété, longtemps considérée comme évidente, reçoit une démonstration au sens moderne par Karl Weierstrass en 1861. cf E. Hairer et G. Wanner, Analysis by its history, Springer-Verlag (1996)
  15. J.-A. Serret, Cours de calcul différentiel et intégral, Gauthier-Villars 1868, p. 19.
  16. « Lettre du 19 janvier 1874 de Darboux à Houël », in Hélène Gispert-Chambaz, Camille Jordan et les fondements de l'analyse, Publications mathématiques d'Orsay, Université de Paris-Sud, 1982, p. 151.
  17. G. Darboux, « Mémoire sur les fonctions discontinues », Annales scientifiques de l'École normale supérieure, 2e série, t. 4, 1875, p. 111.
  18. Charles de Comberousse, Cours de mathématiques, à l'usage des candidats à l'École polytechnique, à l'École normale supérieure, à l'École centrale des arts et manufactures, t. 3, 2e édition, Gauthier-Villars, Paris, 1887, p. 526, §633. Comberousse reprend mot à mot la démonstration de Bonnet, mais précise : « Cette proposition n'est autre chose que le théorème de Rolle [...]. On remarquera que la démonstration précédente ne suppose pas la continuité de la dérivée f'(x), mais seulement que, pour chaque valeur de x comprise dans l'intervalle, elle a une valeur unique et déterminée ». Comberousse en déduit ensuite le théorème des accroissements finis. Dans le t. 4, p. 141, §1238, Comberousse utilise également le théorème de Rolle pour séparer les racines d'une équation.
  19. Par contre, si Paul Tannery adopte la démonstration moderne du théorème de Rolle et du théorème des accroissements dans son cours de 1886 Introduction à la théorie des fonctions d'une variable, il ne cite pas le nom de Rolle.

Voir aussi[modifier | modifier le code]

Sur les autres projets Wikimedia :