• :00Jours
  • :00Heures
  • :00Min
  • 00Seg
Une nouvelle ère de l'apprentissage commenceS'inscrire gratuitement
Se connecter Inscription gratuite
L'appli tout-en-un pour réviser
4.8 • +11k évaluations
Plus de 3 millions de téléchargements
Télécharger
|
|

Raisonnement par l'absurde

Savais-tu que nous pouvons démontrer une proposition mathématique en supposant qu'elle est fausse ? C'est ce que nous appelons le raisonnement par l'absurde. Dans ce résumé de cours, nous allons d'abord expliquer comment se déroule une démonstration par l'absurde et comment utiliser une contradiction pour un raisonnement par l'absurde. Par la suite, nous donnerons des exemples détaillés. Enfin, nous traiterons un…

Content verified by subject matter experts
Free StudySmarter App with over 20 million students
Mockup Schule

Explore our app and discover over 50 million learning materials for free.

Raisonnement par l'absurde

Raisonnement par l'absurde
Illustration

Lerne mit deinen Freunden und bleibe auf dem richtigen Kurs mit deinen persönlichen Lernstatistiken

Jetzt kostenlos anmelden

Nie wieder prokastinieren mit unseren Lernerinnerungen.

Jetzt kostenlos anmelden
Illustration

Savais-tu que nous pouvons démontrer une proposition mathématique en supposant qu'elle est fausse ? C'est ce que nous appelons le raisonnement par l'absurde. Dans ce résumé de cours, nous allons d'abord expliquer comment se déroule une démonstration par l'absurde et comment utiliser une contradiction pour un raisonnement par l'absurde. Par la suite, nous donnerons des exemples détaillés. Enfin, nous traiterons un concept similaire, la contraposée d'une proposition mathématique et le raisonnement par contraposée.

Comment faire une démonstration par l'absurde ?

Pour faire une démonstration par l'absurde, nous devons d'abord supposer le contraire de ce que nous voulons démontrer et ensuite montrer que cette supposition aboutit à une contradiction. Cette méthode n'est pas le même qu'un contre-exemple. Ce dernier n'est qu'un exemple, alors qu'une démonstration par l'absurde nécessite un raisonnement déductif.

Nous pouvons démontrer les propriétés suivantes à l'aide d'une démonstration par l'absurde :

  • il existe une infinité de nombres premiers ;
  • le nombre \(\sqrt{2}\) n'est pas un nombre rationnel ;
  • il n'existe aucun couple d'entiers \((a,b)\) tels que \(10a + 15b = 1\).

Utiliser une contradiction pour un raisonnement par l'absurde

Une contradiction est un élément clé du raisonnement par l'absurde. Cette contradiction doit être à l'encontre d'une hypothèse faite préalablement dans la démonstration ou d'un axiome mathématique.

Pour rappel, un axiome mathématique est une proposition considérée vraie sans démonstration, un des fondements des connaissances mathématiques.

Il ne suffit pas de trouver une contradiction. En effet, il est nécessaire d'expliquer pourquoi la contradiction trouvée est en fait une contradiction. Il est plus facile de comprendre comment faire avec des exemples.

Raisonnement par l'absurde : exemples

Voyons quelques exemples de comment se servir d'un raisonnement par l'absurde.

Peux-tu utiliser le raisonnement par l'absurde pour démontrer qu'il n'y a pas de plus grand nombre pair ?

Pour un raisonnement par l'absurde, nous devons d'abord supposer la réciproque de ce que nous souhaitons démontrer. Ainsi, nous ferons l'hypothèse qu'il y a un plus grand nombre pair \(n\).

Il faut maintenant utiliser cette hypothèse pour aboutir à une contradiction. Si \(n\) est pair, alors \(m = n + 2\) est aussi un nombre pair. Or, \(m > n\) et cela contredit hypothèse que le plus grand nombre pair est \(n\).

Ainsi, suite à un raisonnement par l'absurde, nous pouvons conclure qu'il n'y a pas de plus grand nombre pair.

Nous pouvons utiliser le raisonnement par l'absurde pour démontrer des résultats assez importants.

Peux-tu utiliser un raisonnement par l'absurde pour démontrer qu'il y a une infinité de nombres premiers ?

La première étape d'un raisonnement par l'absurde est de supposer la réciproque de l'énoncé que nous souhaitons démontrer. Ainsi, supposons qu'il existe un nombre fini \(n\) de nombres premiers : \(p_1, p_2, ..., p_n\).

Considérons maintenant le nombre \(P = p_1 p_2 ... p_n + 1\). Comme \(p_1, p_2, ..., p_n\) sont les seuls nombres premiers par notre hypothèse, le nombre \(P\) doit être un nombre composé.

Or, \(P\) n'est divisible par aucun des premiers \(p_1, p_2, ..., p_n\). Cela veut dire que \(P\) n'est divisible que par lui-même et \(1\). \(P\) est donc un nombre premier, ce qui contredit notre hypothèse que seuls \(p_1, p_2, ..., p_n\) sont des nombres premiers.

Suite à un raisonnement par l'absurde, nous pouvons ainsi conclure qu'il existe une infinité de nombres premiers.

Qu'est-ce que la contraposée ?

Pour une proposition mathématique de la forme « P implique Q », sa contraposée est « non Q implique non P ».

Considère la proposition « s'il pleut, alors le sol est mouillé ». Sa contraposée est « si le sol n'est pas mouillé, alors il ne pleut pas ».

Similairement, la contraposée de la proposition « si \(n^2 + 1\) est pair, alors \(n\) est impair » est « si \(n\) est pair, alors \(n^2 + 1\) est impair ».

Lorsqu'une proposition mathématique est vraie, sa contraposée est également vraie. Ainsi, pour démontrer certaines propositions, il pourrait être plus facile de démontrer la contraposée que la proposition elle-même. Dans ce cas, nous appliquons donc un raisonnement par contraposée.

Raisonnement par contraposée

Le raisonnement par contraposée consiste à utiliser la contraposée d'une proposition mathématique pour la démontrer. Nous pouvons appliquer un raisonnement par contraposée peu importe ce que nous souhaitons démontrer. Il faut néanmoins faire attention à bien construire la contraposée de la proposition en question.

Peux-tu démontrer que si \(x^3 - y^3 \leq 3x^2 y - 3xy^2\), alors \(y \geq x\) ?

D'abord, construisons la contraposée de la proposition à démontrer : si \(y < x\), alors \(x^3 - y^3 > 3x^2 y - 3xy^2\).

Il faut maintenant manipuler les expressions algébriques pour démontrer la contraposée.

\(y < x\)

\(x - y > 0\)

\((x - y)^3 > 0\)

\(x^3 - 3x^2 y + 3xy^2 - y^3 > 0\)

\(x^3 - y^3 > 3x^2 y - 3xy^2\)

Nous avons démontré que la contraposée est vraie, ainsi la proposition initiale est également vraie.

Raisonnement par l'absurde - Points clés

  • Pour faire une démonstration par l'absurde, il faut d'abord supposer le contraire de ce qu'il faut démontrer et ensuite montrer que cette hypothèse entraîne une contradiction.
  • Dans un raisonnement par l'absurde, il faut expliquer pourquoi la contradiction trouvée est effectivement une contradiction.
  • La contraposée de « P implique Q » est « non Q implique non P ».
  • Pour démontrer qu'une proposition mathématique est vraie, nous pouvons également démontrer que sa contraposée est vraie.

Questions fréquemment posées en Raisonnement par l'absurde

Le principe du raisonnement par l'absurde est de supposer le contraire de ce que nous souhaitons démontrer et montrer que cela entraîne une contradiction.

Pour faire une démonstration par l'absurde, il faut d'abord supposer le contraire de ce qu'il faut démontrer. Ensuite, il est nécessaire de trouver une façon que cette hypothèse engende une contradiction. Enfin, il faut expliquer pourquoi il s'agit d'une contradiction. 

Il convient d'utiliser le raisonnement par l'absurde lorsque la proposition à démontrer contient une négation, par exemple, « pas » ou « aucun ».

Nous pouvons utiliser la contraposée pour démontrer une proposition lorsque la contraposée semble plus facile à démontrer que la proposition initiale.

Évaluation finale de Raisonnement par l'absurde

Raisonnement par l'absurde Quiz - Teste dein Wissen

Question

Quelle est la contraposée de « si \(n\) est pair, alors il existe un entier \(k\) tel que \(n = 2k\) » ?

Montrer la réponse

Réponse

Si \(n\) est impair, alors il n'existe aucun entier \(k\) tel que \(n = 2k\) 

Montrer la question

Question

Pour une proposition mathématique de la forme « P implique Q », sa ____ est « non Q implique non P ».

Montrer la réponse

Réponse

contraposée

Montrer la question

Question

Si une proposition est vraie, alors sa contraposée est vraie.

Montrer la réponse

Réponse

Vrai

Montrer la question

Question

Si la contraposée d'une proposition est vraie, la proposition peut être vraie ou fausse.

Montrer la réponse

Réponse

Faux

Montrer la question

Question

Si la contraposée d'une proposition était fausse, est-ce que la proposition pourrait être vraie ?

Montrer la réponse

Réponse

Non, car une proposition et sa contraposée sont équivalentes d'un point de vue logique.

Montrer la question

Question

Démontre qu'il n'y aucun plus grand nombre impair en utilisant un raisonnement par l'absurde.

Montrer la réponse

Réponse

Par l'absurde, faisons l'hypothèse qu'il y a un plus grand nombre impair \(n\).


Si \(n\) est impair, alors \(m = n + 2\) est aussi un nombre impair. Or, \(m > n\) et cela contredit hypothèse que le plus grand nombre impair est \(n\).


Nous pouvons conclure qu'il n'y a pas de plus grand nombre impair. 

Montrer la question

Question

Démontre qu'il n'existe aucun couple d'entiers \((a,b)\) tels que \(10a + 15b = 1\) en utilisant en raisonnement par l'absurde.

Montrer la réponse

Réponse

Supposons qu'il existe un couple \((a,b)\) tel que \(10a + 15b = 1\). 


\(a\) et \(b\) sont des entiers. Donc, \(2a + 3b\) devrait également être un entier. 


Or, si \(10a + 15b = 1\), alors \(2a + 3b = \frac{1}{5}\). Cela contredit le fait que \(a\) et \(b\) soient des entiers.


Nous pouvons donc conclure qu'il n'existe aucun couple d'entiers \((a,b)\) tels que \(10a + 15b = 1\).

Montrer la question

Question

Un raisonnement par l'absurde doit forcément contenir une contradiction.

Montrer la réponse

Réponse

Vrai

Montrer la question

Question

Démontre qu'il n'existe aucun couple d'entiers \((x,y)\) tels que \(4x + 2y = 3\) en utilisant en raisonnement par l'absurde.

Montrer la réponse

Réponse

Supposons qu'il existe un couple \((x,y)\) tel que \(4x + 2y = 3\). 


\(x\) et \(y\) sont des entiers. Donc, \(2x + y\) devrait également être un entier. 


Or, si \(2x + 4y = 3\), alors \(x + 2y = \frac{3}{2}\). Cela contredit le fait que \(x\) et \(y\) soient des entiers.


Nous pouvons donc conclure qu'il n'existe aucun couple d'entiers \((x,y)\) tels que \(4x + 2y = 3\).

Montrer la question

Question

Démontre qu'il existe une infinité de nombres premiers. 

Montrer la réponse

Réponse

Supposons qu'il existe un nombre fini \(n\) de nombres premiers. 


Soient \(p_1, p_2, ..., p_n\) ces nombres premiers. Considérons alors le nombre \(P = p_1 p_2 ... p_n + 1\). Comme \(p_1, p_2, ..., p_n\) sont les seuls nombres premiers par notre hypothèse, le nombre \(P\) doit être un nombre composé.


Or, \(P\) n'est divisible par aucun des premiers \(p_1, p_2, ..., p_n\). Cela veut dire que \(P\) n'est divisible que par lui-même et \(1\). \(P\) est donc un nombre premier, ce qui contredit notre hypothèse que seuls \(p_1, p_2, ..., p_n\) sont des nombres premiers.


Suite à un raisonnement par l'absurde, nous pouvons ainsi conclure qu'il existe une infinité de nombres premiers.

Montrer la question

Question

Démontre que si \(n^2\) est pair, alors \(n\) est pair en utilisant la contraposée.

Montrer la réponse

Réponse

La contraposée de cette proposition est : si \(n\) est impair, alors \(n^2\) est impair.


Si \(n\) est impair, alors il existe un \(k\) tel que \(n = 2k + 1\). 


Nous avons donc \(n^2 = (2k + 1)^2 = 4k^2 + 4k + 1 = 4(k^2 + k) + 1\).


\(n^2\) est donc impair.  


Comme la contraposée est vraie, cette proposition est donc vraie.

Montrer la question

Question

Quelle est la contraposée de la proposition suivante : « si ce n'est pas printemps, il n'y a pas de fleurs sur les arbres » ?

Montrer la réponse

Réponse

S'il y a des fleurs sur les arbres, alors c'est le printemps.

Montrer la question

Question

Dans une démonstration par l'absurde, il est nécessaire de supposer le contraire de ce que nous souhaitons démontrer.

Montrer la réponse

Réponse

Vrai

Montrer la question

Question

Il n'y a aucune différence entre un raisonnement par l'absurde et un contre-exemple.

Montrer la réponse

Réponse

Faux

Montrer la question

Question

Quelle est la contraposée de « si \(a < b\), alors \(a^2 \leq b^2\) » ?

Montrer la réponse

Réponse

Si \(a^2 > b^2\), alors \(a \geq b\).

Montrer la question

AUTRES THÈMES LIÉS Raisonnement par l'absurde
60%

des utilisateurs ne réussissent pas le test de Raisonnement par l'absurde ! Réussirez-vous le test ?

lancer le quiz

How would you like to learn this content?

Creating flashcards
Studying with content from your peer
Taking a short quiz

94% of StudySmarter users achieve better grades.

Sign up for free!

94% of StudySmarter users achieve better grades.

Sign up for free!

How would you like to learn this content?

Creating flashcards
Studying with content from your peer
Taking a short quiz

Free mathematiques cheat sheet!

Everything you need to know on . A perfect summary so you can easily remember everything.

Access cheat sheet

Complète tes cours avec des thèmes et sous-thèmes disponibles pour chaque matière!

Inscris-toi gratuitement et commence à réviser !

StudySmarter: la seule application d’apprentissage qu’il te faut pour tout savoir.

Inscris-toi ici gratuitement
Illustration