[EM#23] Théorème des valeurs intermédiaires (Démonstration)

🔗 Ressources en lien:
📗 Le petit manuel de la khôlle:
bit.ly/3P3fJO7
Dans cette émission, je présente une démonstration du théorème des valeurs intermédiaires basée sur un raisonnement par dichotomie. En introduisant une fonction auxiliaire, on se propose démontrer qu'une fonction s'annule. Pour cela, la stratégie consiste à réduire progressivement la zone de recherche, puis de s'emparer d'un objet limite, tel un prédateur qui bondit sur sa proie 🤦‍♂️.
La démonstration du théorème des valeurs intermédiaires est la démonstration que j'utilise pour illustrer bon nombre de concepts dans mon livre, le petit manuel de la khôlle. Si tu souhaites comprendre, entre autres, pourquoi et comment apprendre une démonstration, cela constituera presque sûrement une excellente lecture 👨‍🏫.
🎥 Émissions connexes:
[UT#38] La disjonction de cas - • [UT#38] La disjonction...
[EM#16] Suites adjacentes - • [EM#16] Suites adjacen...
[PMK#1] Le petit manuel de la khôlle - • [PMK#1] Le petit manue...
[PMK#2] La tarte aux myrtilles - • [PMK#2] La recette d'u...
✒️ Notions abordées: théorème des valeurs intermédiaires, introduction d'une fonction auxiliaire, segments emboîtés, théorème des suites adjacentes, raisonnement par dichotomie, continuité d'une fonction de la variable réelle.
🌞 Bonne écoute !
📚 Découvre mes formations ! - www.oljen.fr/formations
🎁 Dedalus Fecit (Extraits gratuits) - bit.ly/3SlYXfJ
🎁 Lux in Tenebris (Extraits gratuits) - bit.ly/3FH6cHk
🤖 Rejoins mon serveur Discord ! - / discord
🌐 Explore mon site internet ! - www.oljen.fr/
📧 Contact - www.oljen.fr/contact
🔸Tu apprécies le contenu que je produis ?
🔸Tu souhaites que je réalise davantage de vidéos ?
🔸Tu souhaites me remercier pour ce que cette chaîne t'a apporté ?
👨‍🏫 Soutiens-moi en rejoignant la chaîne ! - bit.ly/3djsfcg
🤝🏻 Tu peux aussi faire un don libre ici ! - bit.ly/3pMOJFN
📗 Le petit manuel de la khôlle - bit.ly/3P3fJO7
📘 Les principes d'une année réussie - bit.ly/42WH8ai

Пікірлер: 40

  • @mevan8825
    @mevan88254 жыл бұрын

    8:50 c'est le milieu du segment [a_n, b_n] plutôt, non ?

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    Effectivement, c'est une coquille ! Merci de l'avoir signalée 👍 !

  • @sarah-the-unknown7312
    @sarah-the-unknown7312 Жыл бұрын

    Merci beaucoup pour l'interprétation ça m'a permis d'y voir plus clair sûr le sens réel de ce cours rien avoir avec les explications de mon professeur.

  • @oljenmaths

    @oljenmaths

    Жыл бұрын

    Au plaisir 🥳! Bon courage pour cette année 💪🏻!

  • @paulquinones9834
    @paulquinones98344 жыл бұрын

    C'est d'une propreté et d'une finesse incroyable, c'est limpide, bravo 😊

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    Merci Paul ! En ce moment, j'essaie de moins parler sans que des éléments graphiques viennent appuyer mes propos. Cette émission m'a demandé un sacré temps à monter, du coup 😅 !

  • @reeeeeeeeeeeeem666
    @reeeeeeeeeeeeem66611 ай бұрын

    Votre chaine est une véritable pépite!!!! Continuez!!

  • @alainmolitor2238
    @alainmolitor22382 жыл бұрын

    Superbe ! Merci !

  • @mehdirihani1573
    @mehdirihani15734 жыл бұрын

    Vos vidéos m’inspirent énormément. Je dois dire que mon raisonnement mathématique a pas mal évolué depuis que j’y suis exposé. Je suis étudiant marocain en baccalauréat sciences mathématiques (équivalent terminal S) et je compte intégrer une prépa française dans l’année qui suit, mais je ne sais absolument pas sur quoi baser mes choix de prépa sur Parcoursup, ni comment optimiser mes chances d’admission sans être trop ambitieux. Pouvez vous alors me diriger au vu de vôtre expérience autant que prof, j’en serais vraiment reconnaissant!

  • @christophem6373

    @christophem6373

    4 жыл бұрын

    kzread.info/dash/bejne/loNl0q6iYqfLlNo.html

  • @christophem6373

    @christophem6373

    4 жыл бұрын

    kzread.info/dash/bejne/qHpruqSym6bVdLA.html

  • @mehdirihani1573

    @mehdirihani1573

    4 жыл бұрын

    Christophe M merciii

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    En surcroît des émissions (très pertinentes) mentionnées par Christophe, voici quelques éléments de réflexion. 🔸 Ce que tu dois souhaiter, c'est d'avoir une classe préparatoire qui est "de ton niveau". En étant dans le milieu de classe, tu auras des camarades qui progresseront à ton rythme et tu bénéficieras d'une saine émulation. 🔸 Le mieux, pour toi, serait de parler à d'autres étudiants de ton lycée qui sont allés en France faire leurs études. Cela te permettra d'établir une correspondance approximative entre ton niveau et celui de quelques classes préparatoires françaises. À partir de là, tu pourras sans doute savoir à peu près le niveau de la classe dans laquelle il est pertinent de postuler.

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    @@christophem6373 Merci pour ces recommandations, c'est super sympa !

  • 3 жыл бұрын

    3 méthodes (ou pas...?) 1) Méthode algorithmique par dichotomie. Très bien expliquée dans la vidéo. La récurrence est effectivement un peu délicate. 2) Méthode "analytique". Spdg mettons ac>f(b). Posons m=inf(x tq f(x)

  • @oljenmaths

    @oljenmaths

    2 жыл бұрын

    Purement topologique, ce n'est jamais tellement possible. En effet, j'ai bien l'impression que ce qu'on touche du doigt dans chacune démonstration, c'est la construction de la droite réelle, qui elle, est purement analytique 👨‍🔬.

  • 2 жыл бұрын

    @@oljenmaths Oui, parfaitement 👍 Merci

  • @antoinebrgt
    @antoinebrgt4 жыл бұрын

    Très bien mené, comme toujours ! Cette démonstration est exigible au bac ? Ça me semble assez ardu pour le coup de demander ça en terminale, ça ne peut que me réjouir !

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    Ah non, pas celle-ci ! Sur les miniatures, je mets des petits bandeaux en haut à gauche, et celle-là, je l'ai mise en "+1" 😋 ! Cela dit, il y en a quelques unes qui sont assez musclées, notamment celle où l'on démontre que exp(u) est une fonction dérivable si u l'est, et qu'on calcule, sans autres outils que ceux de terminale, sa dérivée. Incontestablement, ayant préparé l'ensemble des démonstrations par écrit, le niveau est remonté assez nettement.

  • @antoinebrgt

    @antoinebrgt

    4 жыл бұрын

    @@oljenmaths D'accord ! Je trouve ça plutôt bien que le niveau soit remonté. Après j'ai aussi eu écho de nombreuses plaintes de lycéens et de professeurs trouvant la matière nouvelle formule trop difficile, peut-être faudrait-il créer deux options de mathématiques. Affaire à suivre...

  • @fredericmazoit1441
    @fredericmazoit1441 Жыл бұрын

    J'aimerais illustrer ce que pourrait faire un mathématicien et comme cela peut aboutir à des preuve « magiques ». La preuve est intéressante mais trop complexe. Cette histoire de recherche dichotomique est inutilement compliquée. Simplifions. 1. Soit A l'image réciproque de ]0 +infini[ sur [a, b] par f. On sait que cet ensemble n'est pas vide car il contient b. 2. Soit c=min(A), c existe car R est complet. 3. Comme f est continue, si f(x) est non nul, alors il existe un petit interval autour de x sur lequel f est de signe constant. Donc a

  • @oljenmaths

    @oljenmaths

    Жыл бұрын

    C'est très bien illustré 🎨! Et pour aller encore plus loin dans la magie, on peut démontrer que les connexes de R sont les intervalles, puis enfoncer le clou en disant que l'image d'un connexe par une fonction continue est connexe 🧙🏻‍♂️. Mais effectivement, j'aurais été bien pantois devant une telle preuve, étudiant en terminale… 😇. Une lecture en lien avec ces commentaires, pour les curieux: 🎥 [HP#16] Un cercle, c'est un rond ! - kzread.info/dash/bejne/p3ubtpSNoK6fY6w.html

  • @mevan8825
    @mevan88254 жыл бұрын

    Dans beaucoup de livres, ou même sur internet, le théorème des valeurs intermédiaires est énoncé en considérant une fonction dont la courbe coupe l'axe des abscisses (on part en disant que f(a) 0 et on dit qu'il existe p tq f(p) = 0). J'imagine que c'est pour éviter d'avoir à réaliser la première étape de ta démonstration. Mais du coup, qu'appelle-t-on théorème des valeurs intermédiaires ? Celui que tu proposes est beaucoup plus général. Deuxième question : on est d'accord que peu importe la version utilisée, il est inutile d'invoquer l'hypothèse de la stricte monotonie pour énoncer le théorème ? Au lycée, on appelle théorème des valeurs intermédiaires ce qui, grâce à la stricte monotonie, permet d'établir l'existence d'une unique solution. En fait, c'est pas vraiment le théorème des valeurs intermédiaires ça, si ?

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    L'énoncé que tu écris est ce que j'appellerais "Théorème des valeurs intermédiaires - Forme faible". En réalité, il est équivalent à ce que je propose ici: c'en est un cas particulier, et on peut démontrer le cas général à partir de cette forme faible grâce à l'étape #1 présentée dans cette émission (sachant que la forme faible aura pu être démontrée par dichotomie, mais aussi autrement, cf. commentaire de Neloka). L'argument de stricte monotonie, qui peut venir en surcroît, ne relève pas des valeurs intermédiaires. On peut simplement démontrer que dans ce cas, la solution trouvée par le théorème des valeurs intermédiaires est unique: si a et b sont deux réels tels que f(a) = f(b), alors par stricte monotonie de f, on a forcément a = b, ce qui établit au final l'existence et l'unicité d'une certaine solution. Enfin, la combinaison du théorème des valeurs intermédiaires et de ce dernier argument s'appelle "Théorème de la bijection", que tu peux regarder ici: 📜 fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_la_bijection

  • @neloka4313
    @neloka43134 жыл бұрын

    Jamais trop été fan de la démonstration dichotomique qui est trop compliquée pour pas grand chose (on sait pas à l'avance sur quel point on va atterrir). Une démonstration qui me semble plus jolie c'est de se ramener à prouver que pour toute fonction continue f : [a,b] -> IR avec f(a) > 0 et f(b) = 0 }, cet ensemble est majoré par b et contient a, on considère c sa borne sup qui vérifiera bien f(c) = 0 par continuité. :) Ce faisant, on construit précisément la première racine qu'on trouve.

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    Ne pas savoir sur quel point atterrir n'est pas un problème: si, comme sur le dessin, il y a plusieurs zéros, il est toujours possible de restreindre le segment d'étude pour une meilleure localisation 🎯. Merci pour cette démonstration, cela intéressera sûrement de futurs spectateurs !

  • @kohkoh1305
    @kohkoh1305 Жыл бұрын

    J'ai commandé le manuel de la khôlle. Un moyen pour moi de vous soutenir et je suis certain que je vais me régaler en le lisant :) Merci

  • @oljenmaths

    @oljenmaths

    Жыл бұрын

    Merci beaucoup, c'est vraiment chouette 🥳!!

  • @nicchagall6075
    @nicchagall60754 жыл бұрын

    Pourquoi il faut apprendre les démonstrations alors que les sujets de concours sont sur d'autres choses ?

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    Il ne "faut" pas les apprendre. Plutôt, l'entraînement qui consiste à les apprendre comme il se doit, ce qui est détaillé dans le livre, permet d'établir un lien très intéressant entre le cours et les exercices: on y retrouve par exemple des techniques classiques, des raisonnements, des passages de rédactions qui pourront être très utile pour traiter des sujets de concours. En bref, c'est un peu comme les gammes ou les études pour un pianiste, si la métaphore te parle 🎵.

  • 3 жыл бұрын

    C'est difficile de manipuler un outil mathématique dont on ignore l'origine. Comprendre et apprendre une démonstration permet justement d'avoir une fine maîtrise de l'outil dont il est question et de l'utiliser intensément plus efficacement !

  • @kohkoh1305

    @kohkoh1305

    Жыл бұрын

    Regarde le sujet du CAPES 2011 d'analyse

  • @pagenelwilson8751
    @pagenelwilson87514 жыл бұрын

    f(x)-c si f(a)>ou=f(b) ; -f(x)+c sinon

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    On peut tout à fait poser cette fonction, mais ça change le sens du dessin. Dans ce cas, c'est on aurait g(a) positif et g(b) négatif (ce qui n'est pas bien grave, entre nous soit dit).

  • @pagenelwilson8751

    @pagenelwilson8751

    4 жыл бұрын

    @@oljenmaths merci beaucoup, je vous regarde depuis Haïti

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    @@pagenelwilson8751 Wow ! Si j'avais su, enfant, que j'allais produire des émissions de mathématiques regardées à l'autre bout du monde, je n'y aurais pas cru 😃 !

  • @pagenelwilson8751

    @pagenelwilson8751

    4 жыл бұрын

    La vie nous réserve des surprises, en plus Vous êtes un excellent professeur

Келесі