🌡️ Une expérience que tu vis tous les jours
Ce matin, à Casablanca, il faisait 15°C. Cet après-midi, il fait 25°C. Question : y a-t-il eu un moment précis dans la journée où il faisait exactement 20°C ?
Ton intuition dit oui. Et tu as raison : la température varie de manière continue (sans saut brutal). Donc elle a forcément traversé toutes les valeurs entre 15 et 25, dont 20.
Tu viens d'appliquer le théorème des valeurs intermédiaires (TVI), l'un des théorèmes les plus puissants de l'analyse — et le plus contre-intuitif quand tu réalises ce qu'il dit vraiment.
📜 L'énoncé officiel
Soit f une fonction continue sur un intervalle [a, b]. Pour tout réel k compris entre f(a) et f(b), il existe au moins un réel c ∈ [a, b] tel que f(c) = k.
Cas particulier (le plus utilisé en exo) : si f(a) et f(b) sont de signes opposés, alors l'équation f(x) = 0 a au moins une solution entre a et b.
🎛️ Manipule la courbe
Voici une fonction continue f(x) = x³ − x − k. Déplace le curseur k et observe : la courbe se translate verticalement. Tant que f(a) et f(b) sont de signes opposés, une racine existe forcément entre les deux.
🎛️ Translate la fonction
Cherche les valeurs de k pour lesquelles f(x) = 0 admet une solution sur [−2, 2].
💡 Pourquoi c'est révolutionnaire
Le TVI est l'un des premiers théorèmes d'existence non-constructive de l'histoire des mathématiques. Avant Bolzano, les mathématiciens pensaient qu'il fallait construire explicitement une solution pour prouver qu'elle existe.
Bolzano démontre qu'on peut affirmer « cette solution existe » sans jamais la calculer, sans la voir, sans même savoir où elle se trouve précisément. C'est une révolution philosophique et mathématique.
📚 Application BAC SM type
Énoncé classique : Soit f(x) = x³ + x − 1. Montrer que l'équation f(x) = 0 admet au moins une solution dans [0, 1].
Solution en 3 lignes :
- f est continue sur ℝ (polynôme), donc sur [0, 1].
- f(0) = −1 < 0 et f(1) = 1 > 0.
- Par le TVI, ∃ c ∈ ]0, 1[ tel que f(c) = 0. ∎
Tu n'as jamais calculé la racine. Tu n'en as même pas une idée approximative. Mais tu as prouvé son existence.
🎯 La version « racine unique »
Pour aller plus loin, le TVI a une version renforcée très utilisée au BAC :
Si f est continue ET strictement monotone sur [a, b] et f(a), f(b) de signes opposés, alors il existe une unique solution c dans [a, b] telle que f(c) = 0.
La monotonie (croissance ou décroissance stricte) garantit qu'on ne traverse l'axe Ox qu'une seule fois. En pratique, on prouve la monotonie via le signe de la dérivée — d'où le lien avec le chapitre Dérivabilité.
🧭 Méthode de dichotomie : du TVI à une vraie valeur
Le TVI dit « elle existe ». Mais on peut l'approcher aussi précisément qu'on veut, avec une technique simple appelée dichotomie :
- On a un intervalle [a, b] où f change de signe.
- On calcule le milieu m = a + b2.
- On regarde le signe de f(m) : la racine est dans [a, m] ou [m, b].
- On recommence sur le nouvel intervalle, deux fois plus petit.
Après 10 itérations, on a divisé la précision par 1024. C'est exactement comme ça que ta calculatrice trouve les racines en interne.
🎓 Le lien avec ton programme BAC SM
- Continuité : le TVI est la propriété fondamentale des fonctions continues
- Étude de fonctions : justifier l'existence d'une racine sans la calculer (très fréquent au BAC)
- Suites récurrentes : prouver qu'un point fixe existe (lim un = ℓ avec f(ℓ) = ℓ)
- Équations transcendantes : x + sin x = 1 ou e^x = x + 2 — pas de formule, mais le TVI règle la question d'existence
🧠 Une leçon plus profonde
Le TVI t'apprend une chose essentielle : prouver qu'un objet existe et le construire sont deux problèmes différents.
C'est l'un des piliers de la logique mathématique moderne. Plus tard (en prépa, en master), tu verras des théorèmes encore plus radicaux qui garantissent l'existence de solutions à des équations qu'aucun humain ne saura jamais résoudre explicitement.
Le TVI, c'est ta première rencontre avec ce monde-là. Pas mal, pour un théorème dont l'énoncé tient en une phrase.
Vérifie ta compréhension
3 questions courtes pour valider tes acquis. Tu peux réessayer.