Théorème
Si est une fonction continue sur un intervalle et si et sont deux réels inclus dans alors pour
tout réel λ compris entre et , il existe au moins un réel de l'intervalle tel que
Cette version est plus forte que la précédente, mais elle n'en est qu'une conséquence : il suffit
d'appliquer le théorème précédent à la restriction de à l'intervalle
Attention : une erreur commune consiste à inverser le théorème.
Comme on le voit bien sur les graphiques précédents, il n'est pas nécessairement vrai que si l'on
prend un réel entre et , son image sera entre et . Ce qui est vrai, c'est que si l'on prend
un nombre λ entre et alors il existe au moins un nombre réel de l'intervalle dont
l'image est égale à λ.
En terme d'équation, le théorème des valeurs intermédiaires garantit que si est continue sur ,
et si λ est un réel compris entre et , alors l'équation =λ a au moins une solution
comprise entre et .
Ce que l’on peut exprimer en disant que réalise une surjection de sur .
Un cas particulier important :
Si est continue sur et si change de signe sur , alors il existe au moins un réel de
tel que =0.
En effet si est continue sur , l'image de est un intervalle . Si change de signe sur ,
cela signifie qu'il existe au moins un nombre et un nombre de l'intervalle , tels que
et .
Donc 0 est un réel compris entre et , et donc d'après la dernière version que nous avons
donnée du théorème il existe un nombre réel compris entre et dont l'image sera 0. Comme
et et comme est compris entre α et β, alors et .
Remarque :
Le théorème des valeurs intermédiaires ne caractérise pas les fonctions continues comme le montre le
graphique ci-dessous :
0
0,5
1
1,5
2
2,5
3
3,5
0 0,5 1 1,5 2 2,5 3