Théorème des valeurs intermédiaires
Introduction
Nous allons maintenant énoncer une série de théorèmes important en analyse. Le premier de ces théorèmes est vraiment très simple à énoncer. On considère une fonction continue quelconque, sur un intervalle :
On regarde les points images et sur l'axe . Entre ces deux points, on en choisit un, n'importe lequel, appelons-le . Alors, le théorème dit qu'il est possible de trouver un point entre et , tel que .
On peut en donner une illustration simple. Supposons que nous nous tenions au pied d'une montagne, à une altitude de cent mètres au dessus du niveau de la mer. Le sommet de la montagne se trouve lui à mille mètres au dessus du niveau de la mer. On emprunte un chemin qui nous emmène au sommet, et disons qu'il faille douze kilomètres pour y arriver. On peut définir la fonction «altitude» (qu'on va noter simplement ) qui donne l'altitude en fonction de la distance parcourue. En prenant la convention d'être à zéro au pied de la montagne:
et:
en exprimant tout en kilomètres. Le théorème nous dit donc, que pour n'importe quel altitude comprise entre 0.1 et 1 km au dessus du niveau de la mer, correspond au moins un point sur le chemin situé à cette altitude. C'est tout à fait logique: on passe par toutes les altitudes intermédiaires (d'où le nom du théorème).
Énoncé
Soit une fonction continue , alors:
Notez que l'on s'assure que de traiter les cas et gràce à l'utilisation du «ou» logique (symbole «»).
Démonstration
Nous allons tout d'abord poser que , le cas contraire se démontrant de manière similaire. On considère le sous-ensemble de , des éléments tel que ( étant compris entre et ). On pose encore . On peut montrer qu'il est possible de trouver une suite d'éléments de tendant vers (cette démonstration n'est pas encore sur Freesciences). Pour chaque élément de cette suite, on a (par définition de ); en passant à la limite, on a donc .
On peut maintenant prouver , on aura donc et le théorème sera démontré. Si , c'est vrai car a été choisi tel . Si , on considère l'intervalle semi-ouvert . Ses éléments vérifient , puisqu'ils n'appartiennent pas à , étant strictement supérieurs à sa borne supérieure. Comme précédemment, étant l'infimum de l'intervalle, il est limite d'une suite d'éléments de cet intervalle, par passage à la limite, on a .
Analyse et conséquences
Un cas particuliers de ce théorème est fort utile en analyse. Il suffit de considérer le cas où et (ou le cas contraire, l'important est le changement de signe). Dans ce cas, zéro est entre les images de et de , et le théorème nous dit qu'il existe un certain entre et tel que . Ceci est donc utile lorsque l'on veut prouver qu'il existe une racine dans un certain intervalle.
Arrêtons nous un instant sur ce point. Tout ce que nous avons dit c'est «une fonction continue qui change de signe sur un certain intervalle, s'annule au moins une fois quelque part sur cette intervalle». Avec un simple dessin et quelque explications, il est sans doute possible de faire comprendre cela à un enfant de dix ans. Ce qu'il ne comprendra sans doute pas, c'est plutôt: pour pourquoi vouloir prouver une chose pareille ?
Les mathématiques sont remplies de démonstrations «inutiles». Si vous avez lu le chapitre sur les nombres, vous avez pu très bien vous en rendre compte. Mais encore une fois, prouvez ce qui est «évident» est une nécessité. C'est la seule manière de s'assurer une rigueur absolue.