[DET#36] Théorème de Bachet-Bézout (Démonstration)

Dans cette émission, je démontre le théorème de Bachet-Bézout, selon lequel le plus grand diviseur commun de deux entiers relatifs a et b peut être écrit comme la somme d'un multiple de a et d'un multiple de b. Au cours de la démonstration, on rencontre un ingrédient essentiel en arithmétique: la division euclidienne.
📝 La démonstration réalisée ici fait partie des 12 démonstrations proposées dans les nouveaux programme de terminale, mathématiques expertes, enseignement optionnel, voie générale.
🎥 Émissions connexes:
[DET#37] Théorème de Gauss - • [DET#37] Théorème de G...
[DET#38] Théorème d'Euclide - • [DET#38] Théorème d'Eu...
✒️ Notions abordées: entiers premiers entre eux, PGCD, division euclidienne, algorithme d'Euclide, théorème de Bézout, théorème de Bachet-Bézout.
🌞 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

Пікірлер: 59

  • @clemaccbis3948
    @clemaccbis39483 жыл бұрын

    La preuve exposée est claire et la démonstration est très bien expliquée. Ayant vu le théorème de Bézout uniquement grâce à l'option Mathématiques Expertes du lycée, cela m'a permis de généraliser ce théorème à celui de Bachet-Bézout. Merci beaucoup !

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

    Toujours excellent et clair. Quel plaisir de revoir ces belles démonstrations!

  • @delcorr_rl
    @delcorr_rl2 жыл бұрын

    Incroyable pour les maths expertes au lycée merci !

  • @abdessamadbendriouich6657
    @abdessamadbendriouich66573 жыл бұрын

    Merci pour vos vidéos instructives et bien faites

  • @kangsethkoumla3908
    @kangsethkoumla39083 жыл бұрын

    Il y a une bonne clarté dans cette preuve, merci bien!

  • @polox2267
    @polox22673 жыл бұрын

    Très bonne vidéo merci beaucoup.

  • @avocado176
    @avocado1763 ай бұрын

    très belle démonstration , j'ai fort aimé

  • @karimjemel7405
    @karimjemel74052 жыл бұрын

    Très belle démonstration.

  • @mohammedsofou7692
    @mohammedsofou76924 жыл бұрын

    bravo c est bien expliqué

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

    Merci pour cette clarté, on l'a fait en cours y'a pas très longtemps ce théorème ! 😊

  • @user-qv5pf6rx1p

    @user-qv5pf6rx1p

    4 жыл бұрын

    Paul QUINONES t’es en spé maths ?

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

    Très bonne démonstration

  • @cassien4032
    @cassien40324 жыл бұрын

    Encore une super vidéo sur l’une des plus magnifiques branches des mathématiques : l’arithmétique ! Serait-il possible de faire une vidéo sur des « anecdotes de mathématiciens » par exemple l’histoire de Gallois et sa mort en duel ou pourquoi il n’y a pas de prix Nobel de mathématiques etc... À moins qu’elle n’existe déjà ? Sinon super travail !

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    Une série sur les anecdotes mathématiques n'existe pas encore, mais je prends note de l'idée ! Ce qui s'en rapproche le plus sur ma chaîne, aujourd'hui, est ceci: 👂🏼 kzread.info/head/PLkj0p5n3uJ6wRprhLpv2Iboq-niCsCDfd

  • @kingnetwork-8519
    @kingnetwork-85192 жыл бұрын

    Merci monsieur

  • @hossamel2006
    @hossamel20062 жыл бұрын

    Je te remercie infiniment ! je m'abonne de suite 👍 !

  • @oljenmaths

    @oljenmaths

    2 жыл бұрын

    Bienvenue sur la chaîne 🙏!

  • @raph-ko1706
    @raph-ko1706 Жыл бұрын

    Un commentaire très en retard mais voici quelque chose que j'ai vu sur plusieurs vidéos : vous utilisez souvent le mot "équation" alors qu'on traite seulement une égalité, car aucune variable n'est présente et on ne cherche pas à résoudre quelque chose. C'est un détail mais ça titille mon esprit rigoureux et amoureux des maths. En tout cas, excellente série de vidéos 😄

  • @oljenmaths

    @oljenmaths

    Жыл бұрын

    Merci beaucoup pour cette remarque instructive qui ne manquera pas d'être mise en application dans les émissions suivantes 👍🏼! Pour d'éventuels lecteurs: 🔹D'après le Larousse, une « équation » est une égalité qui n'est vérifiée que pour certaine(s) valeur(s) de la ou des inconnue(s). Ainsi, même si une analyse étymologique de base (que je n'ai jamais remise en question jusqu'au commentaire de Raph-Ko) peut laisser penser que les mots « équation » et « égalité » sont synonymes, dans l'usage de ces mots par les mathématiciens, ce n'est pas le cas. Quelques exemples: 🔹« 0,999999999... = 1 » est une égalité. 🔹« (x-a)² + (y-b)² = r² » est une équation. (Si j'ai manqué une marche, n'hésitez pas à me le dire, je n'en serai que plus instruit 😁!)

  • @Vaitamanu

    @Vaitamanu

    Жыл бұрын

    @@oljenmaths C'est amusant, ça prouve que vous n'êtes pas professeur au collège, où l'on expose soigneusement cette différence. Merci pour vos vidéos.

  • @HibaLol-sx6gl
    @HibaLol-sx6gl2 ай бұрын

    THANK U BESTIE

  • @gggaming0353
    @gggaming03535 ай бұрын

    C'est pour ça que j'aime les maths

  • @fakeuzero
    @fakeuzero3 жыл бұрын

    Un grand merci. Impossible de trouver une autre vidéo en français de cette démonstration qui n'est pas si facile que ça quand on est encore débutant en arithmétique. Vous avez réussit à rendre vos propos clairs avec de très bonnes explications. Bravo.

  • @oljenmaths

    @oljenmaths

    3 жыл бұрын

    Merci beaucoup 🙏 !

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

    Bonjour, Merci beaucoup pour ce partage, d'une grande clarté, même pour un novice intéressé (ce qui est mon cas) il est possible de suivre le raisonnement. Vos vidéos m'aident grandement ! J'ai une question: Je ressent un blocage concernant la dernière démonstration qui consiste à démontrer que le PGCD (a,b) divise d donc PGCD (a,b) ≤ d. N'est-il pas nécessaire de démontrer que tout diviseur commun (incluant donc le PGCD) à a et b divise nécessairement la somme OU soustraction de deux multiples quelconques du couple (a,b), qui plus est sachant que l'un des multiples composant au + bv peut être négatif ? Par exemple, en indiquant que: S'il existe des nombres a, b, x, y, et d, des entiers relatifs tel que: axd = u et byd = v Alors: u + v = d(ax + by)

  • @oljenmaths

    @oljenmaths

    Жыл бұрын

    Bonjour et merci pour les compliments 😄! En ce qui concerne votre question, je pense que vous faites référence à la bulle qui achève d'apparaître à 9:17. Si tel est bien le cas, il suffit de démontrer que PGCD(a,b) divise n'importe quel entier de la forme au+bv, où (u,v) est un couple d'entiers relatifs (ce qui permet de traiter à la fois le cas de la somme et de la différence: il suffit de changer v en son opposé pour passer de l'un à l'autre). Pour faire cela proprement, il s'agirait en effet de procéder comme vous l'écrivez très justement. De mon côté, je ne l'ai pas démontré explicitement et je l'ai pris pour acquis (en supposant que c'était une propriété dite « de cours »): c'est ce que j'achève d'écrire à 9:33.

  • @roumybou2844
    @roumybou28443 жыл бұрын

    est il possible de produire une nouvelle vidéo sur le théorème de Bézout cette fois ci en s'appuyant sur la démonstration proposée en première année de prépa ? Voilà je demande carrément une vidéo mais c'est parce que j'aime beaucoup votre contenu et je révise un maximum avec vos vidéos. Je suis un peu embêté quand il y une démonstration de mon cours qui ne se trouve pas sur votre chaine. J'en demande certes beaucoup et j'en suis navrée mais c'est flatteur pour vous ! Cela prouve à quel point vous produisez des contenus de qualité ! Merci d'avance pour votre réponse.

  • @oljenmaths

    @oljenmaths

    3 жыл бұрын

    Ha, merci pour les compliments 🙏 ! Actuellement, je suis en trève de publication, mais je viendrai peut-être à faire cette démonstration un jour. S'agit-il bien de celle où il est question des idéaux de Z ?

  • @roumybou2844

    @roumybou2844

    3 жыл бұрын

    @@oljenmaths non non, il s’agit simplement de celle où l’on utilise les suites : On écrit rk-1= qkrk + rk+1 et on démontre qu’il est possible de trouver le pgcd de cette manière et qu’on peut par conséquent trouver les coefficients de Bézout

  • @oljenmaths

    @oljenmaths

    3 жыл бұрын

    @@roumybou2844 Ah oui, je vois. C'est la démonstration qui généraliserait l'idée développée au début de cette vidéo, à partir de l'algorithme d'Euclide. Bien compris 👍 !

  • @loicfotso2339
    @loicfotso23393 жыл бұрын

    d est le plus petit element de G, donc c'est une constante. Comment donc d peut etre le PGCD de deux entiers a et b quelque soit a et b?

  • @oljenmaths

    @oljenmaths

    3 жыл бұрын

    En réalité, l'ensemble G dépend de a et b, on aurait donc pu le noter G(a,b), par exemple. Par conséquent, d dépend aussi de G: de la même manière, on aurait pu le noter d(a,b), puisqu'il dépend de a et de b. Cette question amène en réalité une autre question, plus générale, sur l'utilité de faire apparaître les dépendances des variables que l'on introduit. Par exemple, si une fonction f admet un minimum sur le segment [0,1], on pourrait noter ce minimum m, mais aussi m indice f, ou même m indice {f,[0,1]}. L'usage, c'est que les dépendances sont indiquées dès qu'elles permettent de clarifier le raisonnement, ou dès qu'une équivoque est possible. Ici, je n'ai pas pris la peine d'indexer d par les variables dont elle dépend pour alléger les notations, en priorité, et en me disant que cela n'engendrerait aucun malentendu (et la question montre qu'une rédaction « idéale » n'existe sans doute pas).

  • @laminediatta2610
    @laminediatta26102 жыл бұрын

    #Oljen 👏

  • @gkwugqbfig2vjg332
    @gkwugqbfig2vjg3328 ай бұрын

    Bonsoir (svp) Écrire en lettre Majuscules pour on arrive à lire où pour arrivé a lire.Merci

  • @oljenmaths

    @oljenmaths

    8 ай бұрын

    Salutations ! Les vidéos récentes sont probablement plus lisibles 😉. Cela dit, je soupçonne sincèrement des problèmes de vue, dans le sens où je peux regarder ces vidéos sur mon smartphone sans les mettre en plein écran… faites attention à vous, bon nombre de mes étudiants ont tant travaillé qu'ils ont gagné une paire de lunettes au passage…

  • @AN-qk5st
    @AN-qk5st3 жыл бұрын

    Peut on démontrer Bachet Bezout immédiatement ? Je veux dire que si on utilise les sous groupes additifs de Z, la démonstration semble évidente.

  • @oljenmaths

    @oljenmaths

    3 жыл бұрын

    Immédiatement, non: l'identification des sous-groupes additifs de Z demande un certain travail (qui reprend les mêmes mécanismes que cette démonstration, dont l'incontournable division euclidienne) 👨‍🏭.

  • @riface28
    @riface283 жыл бұрын

    Je ne sais pas si "plaisant et délectable" sont assez fort pour classifier cette vidéo et cette démonstration

  • @oljenmaths

    @oljenmaths

    3 жыл бұрын

    Merci beaucoup 🙏 !

  • @raynixkamlin324
    @raynixkamlin3244 ай бұрын

    Svp si vous pouvez m'expliquer pourquoi fallait démontrer que le PGCD c'est le plus petit élément de l'ensemble G , malgré qu'il s'agit du plus grand commun diviseur c'est ce que j'arrive pas à comprendre sinon vous êtes le meilleur

  • @raynixkamlin324

    @raynixkamlin324

    4 ай бұрын

    J'ai oublié de vous dire que je dois comprendre ça aujourd'hui car j'ai un examen demain 😅

  • @oljenmaths

    @oljenmaths

    4 ай бұрын

    C'est à la fois le plus *grand* diviseur commun, mais c'est le plus *petit* élément strictement positif qui s'écrit au + bv ; il n'y a pas de contradiction à cet endroit. Je ne me suis pas replongé dans la démonstration étant donné que la « date d'expiration » est passée, j'espère que votre examen s'est déroulé comme vous le souhaitiez malgré tout 😇!!

  • @raynixkamlin324

    @raynixkamlin324

    4 ай бұрын

    ​@@oljenmathsVeuillez m'excuser mais pourquoi avez vous pris que le pgcd c'est sûrement le plus petit élément, je souhaite comprendre comment on a su que c'est exactement ce qu'on doit démontrer, car si on veut prouver qlq chose faut tt d'abord déterminer cette chose et bien savoir son impact sur le raisonnement ( frc ain't my native language, I'd appreciate it if you could use simple vocabulary while explaining 😊)

  • @oljenmaths

    @oljenmaths

    4 ай бұрын

    L'idée provient de l'algorithme d'Euclide : tous les restes des divisions euclidiennes successives s'écrivent sous la forme au + bv, et le PGCD est alors le dernier reste non nul, donc le plus petit élément non nul dans la suite des restes. Ainsi, je dirais que cela incite à rechercher le PGCD comme étant le plus petit au+bv non nul. The idea comes from Euclid's algorithm: all the remainders of successive Euclidean divisions can be written in the form au + bv, and the GCD is then the last non-zero remainder, hence the smallest non-zero element in the sequence of remainders. Thus, I would say that this encourages us to look for the GCD as being the smallest non-zero au+bv.@@raynixkamlin324

  • @raynixkamlin324

    @raynixkamlin324

    4 ай бұрын

    @@oljenmaths got it thank u so much , BTW I've been currently looking for universities abroad that are opened for international students, I got my high-school degree with 16.34/20 do u know anyone who could help me? Thank you so much for ur kindness, u can't imagine how great I feel now after understanding the concept 🤗

  • @ilesio9357
    @ilesio93573 жыл бұрын

    Bonsoir, existe-il une combinaison linéaire de "a" et "b" tq au+bv = d avec d qui n'est pas le pgcd ? Merci

  • @ichansamy5354

    @ichansamy5354

    3 жыл бұрын

    Oui, par exemple si tu prends u,v = 0, tu as d = 0. Bien que pgcd(a,b) différent de 0. Il y a une infinité de combinaisons que tu peux former avec a et b.

  • @ilesio9357

    @ilesio9357

    3 жыл бұрын

    @@ichansamy5354 bien-sûr, mais ici on parle d'entiers relatifs non nuls. Merci tout de même, j'ai trouvé ma réponse : le pgcd est un diviseur de d.

  • @ichansamy5354

    @ichansamy5354

    3 жыл бұрын

    @@ilesio9357 Oui, en effet. Il suffit d'appliquer se ramener au théorème de Bezout pour prouver que d est un multiple du pgcd

  • @syl2098
    @syl20984 жыл бұрын

    Ça commence par un Bézout...

  • @izhakatlas2536

    @izhakatlas2536

    5 ай бұрын

    ça fini par un Gauss et un Landau

  • @sofiane90
    @sofiane903 жыл бұрын

    Petite ref aux problèmes plaisants et délectables de Bachet

  • @oljenmaths

    @oljenmaths

    3 жыл бұрын

    Bien vu 🙃 !

  • @mauriciolirreverencieuxaud7091
    @mauriciolirreverencieuxaud70914 жыл бұрын

    En Prépa, avec la notion de structures algébriques la démonstration est évidente.

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    C'est possible, mais ça sent quand même un peu le cramé, cette histoire de démonstration évidente. Par exemple, si tu t'appuies sur le fait que les idéaux de Z sont principaux, tu utilises sans doute le fait que Z est un anneau euclidien donc principal, ce qui a pour effet d'envoyer sous le tapis pas mal de détails techniques dont on retrouve des traces dans cette émission. En bref, je dirais que l'apport de la structure permet d'interpréter ce théorème d'une manière très agréable et très compréhensible, mais qu'il ne faut pas oublier ce qu'a coûté la mise en place de la structure ainsi que les démonstrations des propriétés sur lesquelles on s'appuie ensuite gaiement, à savoir celles de l'anneau des entiers relatifs.

  • @satkoos1684
    @satkoos16843 жыл бұрын

    Pas de pedagogie !

  • @oljenmaths

    @oljenmaths

    3 жыл бұрын

    Surtout pas 🙃 !