Hors-programme de Première et Terminale...
Le théorème suivant est enseigné en Première. Dans cette classe, il est admis. Sa démonstration n'est pas d'une redoutable difficulté. Elle repose sur les théorèmes de Rolle et des accroissements finis qui ne sont vus qu'après le BAC...

 

Théorème : sens de variation et signe de la dérivée.
La fonction f est dérivable sur l'intervalle I.
  • Si sa dérivée f' est strictement positive sur I  alors  f est strictement croissante sur I.
  • Si sa dérivée f' est nulle sur I  alors  f est constante sur I.
  • Si sa dérivée f' est strictement négative sur I  alors  f est strictement décroissante sur I.

 

La preuve de ce théorème :
Dans ce qui suit, nous n'allons démontrer que la première partie du théorème :

"Si la dérivée f' est strictement positive sur I  alors  f est strictement croissante sur I."
Car ce que nous ferons pour l'un, se répétera pour les deux autres cas.

Ce que nous savons sur la fonction f :

  • f est dérivable sur l'intervalle I.
  • Pour tout réel x de cet intervalle I, on a  f'(x) > 0.

Nous devons démontrer que f est croissante sur l'intervalle I. 

Soient a et b deux réels de l'intervalle I tels que  a < b.
Donc la différence b - a est strictement positive.

La fonction f étant dérivable sur l'intervalle I, elle l'est donc sur le sous-intervalle [a ; b].

Comme la fonction f est dérivable sur l'intervalle [a ; b], alors en application du théorème des accroissements finis, il existe un réel c de l'intervalle [a ; b] tel que  f'(c) = .

Comme c est aussi un réel de l'intervalle I  alors  f'(c) est strictement positif.
Comme le quotient et son dénominateur   b - a  sont positifs  alors  la différence f(b) - f(a) l'est aussi. 
Donc  f(a) < f(b).

En résumé sur l'intervalle I :   Si  a < b    alors   f(a) < f(b).

Donc la fonction  f est croissante sur l'intervalle I.

D'où le théorème.


Cette page ainsi que la quasi-totalité des éléments et de la programmation qui la composent ou qui en dépendent, ont été conçus et réalisés par Jérôme ONILLON. Elle est exclusivement mise en ligne par la taverne de l'Irlandais.
(c) Juillet 2000/Janvier 2003. Tous droits réservés.