La Bnbox !

Créateur de sourires...

Mon compte

S'inscrire

Recherche

Vous êtes ici : Accueil » Cahier de l'élève » Mathématiques » Le raisonnement par l'absurde

Cahier de l'élève



« Article précédent - Sommaire - Article suivant »

Mathématiques : Le raisonnement par l'absurde

Introduction et principe



Parlons maintenant un peu du raisonnement par l'absurde, belle méthode de raisonnement s'il en est !

C'est quoi encore ça ? Non mais pas question que j'apprenne quelque chose d'absurde !


Bon avant de commencer, une précision :  le raisonnement par l'absurde n'est pas absurde comme son nom l'indique. Il est même tout ce qu'il y a de plus logique.
Pour l'expliquer en des mots simples :
Vous savez que quelque chose est vrai. Mais vous ne savez pas trop comment le démontrer...
Eh bien ce n'est pas si compliqué que cela peut le paraître. Prenez ce quelque chose, et, même si vous savez qu'il est vrai, supposez qu'il est faux !

On sait que c'est vrai... Et tu nous dit de supposer que c'est faux... Où ça nous mène tout ça ?


J'y viens, j'y viens. En partant de la supposition que votre quelque chose est faux, et en développant un petit peu (ou beaucoup), au bout d'un moment, vous arriverez forcément à une contradiction, à quelque chose que vous savez être forcément faux.
Si vous obtenez une contradiction, cela veut dire que votre supposition de départ était fausse, et donc que votre quelque chose est vrai.
(Et oui, c'est logique, parce que si, en supposant que votre quelque chose était faux, vous n'aviez pas de contradiction et que vous arriviez à un résultat cohérent, cela voudrait dire... que votre quelque chose était bien faux.)

Si j'étais vous, je relirai plusieurs fois le paragraphe précédent, de manière à bien comprendre le principe du raisonnement. Même en essayant de faire le plus simple possible,j'ai bien peur que ce ne soit pas vraiment limpide à la première lecture bn_wink



Tout ça vous semble un peu embrouillé je pense. Mais avec quelques exemples et de la pratique, ça va venir.
D'ailleurs en parlant d'exemples, on va y passer tout de suite, mais avant ceux-ci, je vous rappelle comment raisonner par l'absurde, puisque c'est la formule consacrée bn_wink :


- Supposez que ce que vous voulez prouver est faux.
- Cherchez ce qui découle de votre supposition et développez vos calculs jusqu'à obtenir une absurdité.
- Concluez que votre supposition était fausse, et que ce que vous vouliez prouver est donc vrai.




Attention! Le raisonnement par l'absurde ne set que dans le cas où la phrase que vous devez prouver est soit vraie, soit fausse. Sinon, il faut procéder autrement bn_wink

Exemples



Le raisonnement par l'absurde sert à beaucoup de choses, dans plusieurs branches des mathématiques, comme vous allez le voir bn_wink.
J'ai essayé de rassembler plusieurs exemples assez simples, mais, comme vous allez le constater, le vocabulaire mathématique s'introduit partout, et il est possible que la compréhension de ce vocabulaire soit difficile. Pour tout comprendre, je vous conseille de relire plusieurs fois chaque exemple si besoin, voire même de recopier le raisonnement sur un bout de papier pour être sûrs de bien suivre (parce que comprendre des maths directement sur Internet, c'est impossible bn_wink).

Exemple 1 : Montrer qu'une fonction et sa réciproque ont le même sens de variation.


Petit rappel avant de commencer, sur ce qu'est une fonction réciproque.
Vous savez ce qu'est une fonction : c'est une machine qui prend des caillous dans une boîte, les transforme en bonbons, et les met dans une autre boîte.
Huh? Mais on a toujours travaillé avec des x, des y, etc...

Vous préférez les x et les y, eh bien soit... bn_big_smile
Donc une fonction prend des nombres x dans son ensemble de définition,  et les transforme en nombres y.

Une fonction réciproque, comme son nom l'indique, fait la même chose, mais à l'envers, c'est-à-dire qu'elle prend les y, et les retransforme en x (ou les bonbons en caillous). Vous connaissez certainement la touche \sin^{-1} de votre calculatrice? Eh bien, cette touche est en fait une fonction utilisée par la calculatrice pour donner, à partir de la valeur du sinus, la valeur de l'angle. C'est la fonction réciproque du sinus.

Attention! Toutes les fonctions n'ont pas de réciproques. Pour adettre une réciproque, une fonction doit vérifier plusieurs conditions que je ne développerait pas ici, puisque ça n'a que peu d'intérêt dans ce cours^^. Ah oui au fait, une fonction réciproque de la fonction f se note f^{-1}


Je vous ai fait un petit schéma avec des "patates" pour que vous compreniez bien la notion de fonction réciproque, et ensuite on pourra s'enfoncer dans le raisonnement proprement dit bn_wink.

http://la-bnbox.info/document/cahier/146_fonction.png


Comprenez bien ce schéma, et regardez-le souvent, puisque c'est lui qui vas servir à notre raisonnement.



-On veut montrer que f et sa fonction réciproque f^{-1}, ont le même sens de variation. On va se limiter ici à un exemple avec f strictement croissante sur l'intervalle I. La démonstration pour f strictement décroissante est exactement la même, ou presque bn_wink.

-On suppose donc f strictement croissante sur l'intervalle I.
-Prenons au hasard deux nombres dans l'intervalle J (qui contient toutes les images des éléments de I par la fonction f). Nommons les a et b, avec par exemple a<b.
-Posons x=f^{-1}(a) et x`=f^{-1}(b).

-Commençons enfin la partie "absurde". On veut prouver que f^{-1} est une fonction strictement croissante, c'est-à-dire, puisque a<b, x<x`.

(x et x' sont les images de a et b par la fonction f^{-1}, donc si a et b sont rangés dans un certain ordre et que la fonction est croissante, les images seront forcément rangées dans le même ordre)

Raisonnons par l'absurde en supposant que l'on a x \geq x`.

Dans ce cas, puisque la fonction f est strictement croissante sur l'intervalle I, on a f(x) \geq f(x`), soit encore a \geq b.
Et la contradiction apparaît tout de suite, puisqu'on avait supposé a<b.

On a donc forcément x \geq x`, soit f^{-1}(a) \geq f^{-1}(b).

Conclusion : f^{-1} est strictement croissante sur l'intervalle J. CQFD bn_wink




Exemple 2 : Montrer que \sqrt 2 est un nombre irrationnel.


Voilà l'énoncé que l'on peut vous donner tout de go, comme ça, au début d'un problème d'algèbre. Et il se peut que vous restiez longtemps bloqués puisque vu comme ça, le problème paraît insolvable (enfin moi je sais que je resterai facilement bloqué dessus si je ne savais pas comment faire mini_bn).

Comme vous vous en doutez, c'est là qu'intervient le raisonnement par l'absurde. Et c'est ce raisonnement qui vous débloquera et vous permettra de réussir la question et d'avoir votre bac, votre place dans votre école d'ingénieur, ou que sais-je encore bn_wink.



- Reprenons donc la première étape du raisonnement : supposons que ce que l'on veut montrer est faux, c'est-à-dire supposons que \sqrt2 est un nombre rationnel, ou encore \sqrt2 \in \mathbb{Q}.

- A partir de là, puisqu'une racine carrée est toujours positive, et que \sqrt2 est rationnel, on sait qu'on peut l'écrire sous la forme d'une fraction irréductible de deux entiers positifs (je vous renvoie à la définition de l'ensemble des rationnels si vous avez un doute là-dessus bn_wink).
On appellera ces entiers p et q par la suite. (On ne les connait pas, mais on sait qu'ils existent puisque \sqrt2 \in \mathbb{Q}.)

- On a donc \sqrt2 = \frac{p}{q}.
En mettant les deux membres de l'égalité au carré, on obtient : 2 = (\frac{p}{q})^{2}.
Si on effectue maintenant le produit en croix, on trouve : 2q^{2}=p^{2}.
Ceci nous prouve que p^{2} est un multiple de 2, donc que p^{2} est un nombre pair.
Pour l'instant, on n'a aucune contradiction mathématique, donc on continue bn_wink.

- La prochaine étape consiste en un raisonnement par l'absurde imbriqué dans le précédent.
En effet, si on avait le nombre p qui était impair, alors il existerait un nombre k, entier naturel (k \in \mathbb{N}), tel que : p=2k+1.
Ce qui nous donnerait : p^{2}=4k^{2}+4k+1. p^{2} serait donc un nombre impair, ce qui est contredit par ce que l'on a vu juste précédemment, qui disait que p^{2} était pair.
Si p ne peux pas être impair, alors c'est que p est forcément pair.

- Puisque p est pair, c'est qu'il existe un nombre entier naturel n tel que l'on ait p=2n.
Mais rappelez-vous, on avait l'égalité suivante : 2q^{2}=p^{2}.
Si on remplace p par 2n, on obtient : 2q^{2}=4n^{2}.
Soit encore : q^{2}=2n^{2}.
On en déduit que q^{2} est pair, et donc q aussi (en suivant le même petit raisonnement que précédemment pour p).

- p et q sont donc tous les deux pairs. Or ceci est en contradiction avec l'hypothèse faite au début : on peut écrire \sqrt2 sous la forme d'une fraction irréductible de deux entiers positifs.
p et q sont tous deux pairs, donc multiples de 2, donc  \frac{p}{q} n'est pas une fraction irréductible.


-L'hypothèse faite au début nous mène à une contradiction mathématique.
Ceci nous prouve que cette hypothèse est fausse.
Et donc celà nous prouve bien que \sqrt2 \not\in \mathbb{Q}, que \sqrt2 n'est pas un nombre rationnel.
CQFD bn_wink.




Je ne met ici que deux exemples, pour vous donner une petite idée de l'utilisation du raisonnement par l'absurde.
Sachez qu'il sert à démontrer beaucoup de théorêmes, notamment concernant les suites et les fonctions.
Si vous voulez d'autres exemples (plus compliqués), je reste à votre disposition sur le Bar à Nougat.
Au revoir et à bientôt dans le monde merveilleux des maths bn_wink.






         
                           

Ailleurs sur la Bnbox

Ailleurs sur la Toile

Mini-tchat

?

cheie chuchote : Aider moi comment faire un journaal de lecture ? Hier, 19h31 via Résumé : Le Tartuffe de Mol...

shaiii la best écrit : Wshhh Hier, 17h09 via Les avantages et les risque...

ugjujh s'exclame : Saluuuuut Hier, 17h09 via Les avantages et les risque...

ugjujh déclare : Tyvhbyju Hier, 17h09 via Les avantages et les risque...

joyce scribouille : Ce roman tres passionant Hier, 8h58 via Résumé scène par scène - Le...

joyce chuchote : Quel operation facile Hier, 8h53 via Résumé scène par scène - Le...

ok proclame : Qui aurais une carte mentale sur Mr Forestier de Bel-Ami svp? Le 09 décembre, 14h11 via Fiches sur les personnages ...

ok griffonne : Salut Le 09 décembre, 14h10 via Fiches sur les personnages ...

mamou murmure : Mamou 278 Le 08 décembre, 11h48 via Fiches sur les personnages ...

Dranreb dit : Merci pour le résumé des Fourberie de Scapin ! Mais pourriez-vous faire relire le texte par un élève de CM2 pour qu'il corrige la douzaine de GROSSES fôtteu qu'il contient ? Ça serait bien ! Le 05 décembre, 14h15 via Accueil

la perle des ocens chuchote : Hum Le 04 décembre, 18h03 via Fiches sur les personnages ...

bruh s'exclame : On 3+4 pas nous ?! Le 04 décembre, 8h19 via Résumé - Le Médecin Malgrè ...

1% déclare : C'est moi à 99% Le 03 décembre, 12h48 via Résumé : Le Tartuffe de Mol...

la mouche proclame : Je suis un bourdon Le 03 décembre, 11h52 via Résumé : Le Tartuffe de Mol...

meuh bafouille : 85+
3---9339=12
Le 30 novembre, 17h53 via Résumé scène par scène - Le...

1234 scribouille : D Le 26 novembre, 12h17 via Fiches sur les personnages ...

Akuu s'exclame : Yo Le 24 novembre, 16h09 via Résumé : Andromaque

oui chuchote : Voila Le 23 novembre, 19h15 via Résumé : Andromaque

arif tergiverse : Trop facile Le 22 novembre, 18h53 via Résumé - Le Médecin Malgrè ...

Tibo proclame : Damn les gens Le 19 novembre, 13h53 via Résumé - Le Médecin Malgrè ...

BERENICE bafouille : SALUUUUT Le 16 novembre, 20h55 via Accueil

kenfirstar s'exclame : Salut Le 16 novembre, 17h02 via Accueil

kenfirstar murmure : JE SUIS NOUVEAU ALOR SALUT SAVA Le 16 novembre, 16h19

kkljlk chuchote : Yoloooooooooooo Le 15 novembre, 20h15 via Fiches sur les personnages ...

crousthibax gribouille : Findus Le 14 novembre, 16h59 via Résumé : Andromaque

lol1256 murmure : Toi meme Le 11 novembre, 18h33 via Accueil

Douae doudi s'exclame : Lettres de mon moulin.le secret de maître corneille résumé Le 11 novembre, 12h22 via Résumé - Le Secret de Maîtr...

lol1234 dit : Je pense que j'ai raison Le 09 novembre, 21h04 via Fiches sur les personnages ...

... bafouille : J'ecris quoi au juste Le 08 novembre, 20h23 via Résumé - Les Fourberies De ...

vine écrit : Uh i never went to oovoo javer Le 08 novembre, 17h40 via Résumé scène par scène - Le...

rodrigue scribouille : Get out my poem Le 08 novembre, 17h17 via Résumé scène par scène - Le...

whats up écrit : H3y Le 08 novembre, 17h16 via Résumé scène par scène - Le...

Real Madame chuchote : Hey ladies Le 08 novembre, 17h15 via Résumé scène par scène - Le...

fake madame bafouille : Stregganona Le 08 novembre, 17h15 via Résumé scène par scène - Le...

jjj griffonne : Yo this class whack Le 08 novembre, 17h14 via Résumé scène par scène - Le...

jjj scribouille : SHvshvhscv Le 08 novembre, 17h14 via Résumé scène par scène - Le...

jjj bafouille : Mjjj

Le 08 novembre, 17h13 via Résumé scène par scène - Le...

hja tergiverse : Bonjour

je ne comprends pas la démonstration par récurrence de la suite de Fibonnacci de l'exemple 2
Le 07 novembre, 9h54 via Raisonnement par récurrence

Salut c qui ?? gribouille : 3+4 Le 04 novembre, 22h13 via Résumé - Le Médecin Malgrè ...

Gros zizi gribouille : Merci comme sa je vait lire le livre? Le 04 novembre, 21h52 via Résumé scène par scène - Le...

Theo écrit : Super Le 04 novembre, 10h21 via Résumé : On ne badine pas a...

momi proclame : Mdr Le 02 novembre, 19h29 via Résumé : L'Avare

kwj scribouille : Hjjj Le 30 octobre, 9h44 via Résumé scène par scène - Le...

GG tergiverse : Comment cv Le 28 octobre, 19h19 via Résumé : L'Avare

gh bafouille : Ugit Le 28 octobre, 18h08 via Résumé - Les Fourberies De ...

jule s'exclame : Cv? Le 26 octobre, 18h32

jule proclame : Hey Le 26 octobre, 18h31

popo déclare : Salam tout le monde
mini_bn <3
Le 26 octobre, 16h26 via Biographie et Bibliographie...

jujujujuju chuchote : Bonsuir
je me suis égaré sur ce site mdrr
Le 26 octobre, 14h31 via Résumé : La Promesse de l'a...

apprendre :) murmure : T chelou toi bn_big_smile
bn_neutral
Le 25 octobre, 20h21

Publicité



©Bnbox (Infos) - Cahier de l'élèves - Atelier webmaster - Boîte à Nuts - Bar à Nougat - Plus ou moins valide XHTML 1.0, CSS 2, RSS 2.0
Flux RSS