• Accueil
  • À propos
  • Accrom\(\alpha\)th en PDF
  • Commanditaires
  • Contact
  • Contributions des lecteurs
  • Sites amis

Logo

Raisonner par l’absurde

Par André Ross
Volume 3.2 - été-automne 2008

Yannick et Annick sont intrigués. Que signifie raisonner par l’absurde?

Annick
Bonjour Alexandra. Peux-tu nous expliquer ce qu’est une preuve par l’absurde?

Alexandra
Bonjour vous deux. Le raisonnement par l’absurde n’est pas propre aux mathématiques; on peut avoir à l’utiliser dans tous les domaines du savoir.

Ce type de raisonnement permet de s’assurer de la cohérence des théories en éliminant les contradictions.

Annick
Je ne suis pas certaine de comprendre. Peux-tu nous donner un exemple?

Alexandra
Oui! Le raisonnement par l’absurde pourrait avoir été utilisé pour la première fois par le pythagoricien Hippase de Metaponte1 pour montrer que le rapport de la diagonale du carré sur son côté ne peut s’exprimer comme un quotient de nombres entiers2.

Yannick
Il a fait cela comment?

Alexandra
Il aurait supposé qu’en mesurant la diagonale et le côté du carré à l’aide de la plus grande commune mesure, le rapport de ces longueurs était le quotient de deux nombres entiers. Il a alors remarqué que ces entiers étaient forcément premiers entre eux. Vous savez pourquoi?

absurde_img1Annick
Bien sûr! Ils sont premiers entre eux puisqu’il utilisait la plus grande commune mesure. Le numérateur et le dénominateur de la fraction qu’il considère n’ont donc pas de facteur commun.

absurde_img2Alexandra
Il a ensuite construit un carré sur la diagonale du premier. Est-ce qu’on peut dire que le nombre donnant l’aire du carré AEFC est un entier divisible par 2?

Yannick
Évidemment, c’est le double de l’aire du carré ABCD, donc ce nombre est divisible par 2.

Alexandra
Tout à fait! Maintenant, pouvez-vous me dire si la longueur de la diagonale AC est donnée par un nombre pair ou un nombre impair?

Yannick
La longueur de la diagonale est un nombre pair, car son carré est pair.

Alexandra
Peut-on dire que l’aire du carré AEFC est divisible par 4?

Annick
Oui, car tout entier carré et pair est divisible par 4.

Yannick
Mais alors l’aire du carré ABCD, qui est la moitié de l’aire du carré AEFC, est également donnée par un nombre pair, donc elle est aussi divisible par 4.

Annick
Et la longueur du côté du carré ABCD est donnée par un nombre pair puisque seul le carré d’un entier pair donne un entier pair.

Alexandra
Voyez-vous la contradiction?

Annick et Yannick en chœur
Oui! On est partis avec un rapport dont le numérateur et le dénominateur n’ont aucun facteur commun et on obtient qu’ils sont tous les deux pairs. Ils ont donc un facteur commun.

Alexandra
Qu’en concluez-vous?

Annick et Yannick en chœur
L’hypothèse est fausse, le rapport de la diagonale et du côté d’un carré ne peut s’exprimer comme un quotient de deux entiers.

Alexandra
Voilà! C’est cela un raisonnement par l’absurde. Pour montrer que le rapport de la diagonale au côté du carré ne peut s’exprimer comme quotient de deux entiers, on considère comme hypothèse que cela est possible et on montre que l’ajout de cette hypothèse mène à une contradiction. L’hypothèse est donc fausse.

Annick et Yannick
As-tu un autre exemple?

Alexandra
Oui. En géométrie euclidienne, c’est avec un raisonnement par l’absurde que l’on démontre que d’un point P hors d’une droite AB, on ne peut abaisser qu’une seule perpendiculaire à cette droite.

Annick
Voudrais-tu nous l’expliquer pour être certains qu’on comprend bien le principe de la démonstration par l’absurde?

Alexandra
D’accord, mais vous allez m’aider. Pour démontrer que d’un point hors d’une droite on ne peut abaisser qu’une seule perpendiculaire à cette droite, quelle est l’hypothèse que je dois faire?

Yannick
Il faut supposer qu’il y a, au moins, deux perpendiculaires possibles.

Géométrie euclidienne avec raisonnement par l'absurde

Géométrie euclidienne avec raisonnement par l’absurde

Alexandra
Parfait. Faisons une petite esquisse en représentant par C et D le pied de nos deux perpendiculaires.

Maintenant, supposons qu’on utilise le segment de droite AB comme axe de réflexion pour construire l’image symétrique. On détermine ainsi un point P’ et les droites joignant P’ aux points C et D sont également des perpendiculaires au segment AB.

Selon vous, est-ce que je peux dire que PCP’ est une droite?

Annick
Oui, car selon notre hypothèse, PC et P’C sont perpendiculaires à la droite AB. Donc l’angle PCB est un angle droit et l’angle P’CB également. Comme la somme de ces angles est de 180°, les côtés extérieurs des angles adjacents PCB et P’CB forment une droite.

Yannick
Mais alors, on peut dire la même chose pour PDP’.

Alexandra
Parfaitement. Est-ce que vous voyez poindre la contradiction?

Annick
Je pense que oui. En acceptant l’hypothèse, cela signifie que l’on peut tracer deux droites passant par P et P’ et cela vient en contradiction avec le premier postulat de la géométrie euclidienne qui spécifie que « par deux points passe une et une seule droite ».

absurde_img4Alexandra
Tout à fait. Un raisonnement par l’absurde se fonde sur le fait qu’une proposition doit être vraie ou fausse, elle ne peut être les deux à la fois. Si on suppose qu’elle est vraie et que cette hypothèse entraîne une contradiction, il faut conclure qu’elle est fausse. Cependant, notre démonstration n’est valide que si on accepte les axiomes de la géométrie euclidienne.

Yannick
Parce qu’on peut ne pas les accepter?

Alexandra
Tout à fait, et on peut alors développer d’autres géométries. Ainsi, si on ne retient pas le premier postulat d’Euclide, on peut considérer comme droites les cercles sur une sphère ayant même centre que la sphère. Dans un tel système, on peut, par exemple, abaisser du pôle nord plusieurs perpendiculaires à l’équateur.

PDF

  1. Vers le milieu du Ve siècle avant notre ère. ↩
  2. En langage moderne, \(\sqrt{2}\) est un irrationnel. ↩
  • ● Version PDF
Partagez
  • tweet

Tags: Logique mathématique

Articles récents

  • Le mouvement brownien : Du pollen de Brown à l’origine de la finance moderne

    Michel Adès, Matthieu Dufour, Steven Lu et Serge Provost
  • Le problème des \(N\) corps

    Christiane Rousseau
  • Comprendre la structure des nombres premiers

    Andrew Granville

Sur le même sujet

  • Dessine-moi un graphe

    Alain Hertz
  • Les tours de Hanoï et la base trois

    Benoît Rittaud
  • Des fonctions… déroutantes

    Laurent Pelletier

Volumes

  • Volume 18.1 – hiver-printemps 2023
  • Volume 17.2 – été-automne 2022
  • Volume 17.1 – hiver-printemps 2022
  • Journée internationale des mathématiques: Accromath multilingue
  • Volume 16.2 – été-automne 2021
  • Volume 16.1 – hiver-printemps 2021
  • Volume 15.2 – été-automne 2020
  • Thème spécial: Les mathématiques sont partout
  • Volume 15.1 – hiver-printemps 2020
  • Volume 14.2 – été-automne 2019
  • Volume 14.1 – hiver-printemps 2019
  • Volume 13.2 – été-automne 2018
  • Volume 13.1 – hiver-printemps 2018
  • Volume 12.2 – été-automne 2017
  • Volume 12.1 – hiver-printemps 2017
  • Volume 11.2 – été-automne 2016
  • Volume 11.1 – hiver-printemps 2016
  • Volume 10.2 – été-automne 2015
  • Volume 10.1 – hiver-printemps 2015
  • Volume 9.2 – été-automne 2014
  • Volume 9.1 – hiver-printemps 2014
  • Volume 8.2 – été-automne 2013
  • Volume 8.1 – hiver-printemps 2013
  • Volume 7.2 – été-automne 2012
  • Volume 7.1 – hiver-printemps 2012
  • Volume 6.2 – été-automne 2011
  • Volume 6.1 – hiver-printemps 2011
  • Volume 5.2 – été-automne 2010
  • Volume 5.1 – hiver-printemps 2010
  • Volume 4.2 – été-automne 2009
  • Volume 4.1 – hiver-printemps 2009
  • Volume 3.2 – été-automne 2008
  • Volume 3.1 – hiver-printemps 2008
  • Volume 2.2 – été-automne 2007
  • Volume 2.1 – hiver-printemps 2007
  • Volume 1 – été-automne 2006
  • Article vedette

    Auteurs

    • Michel Adès
    • Antoine Allard
    • Jean Aubin
    • Marie Beaulieu
    • Rosalie Bélanger-Rioux
    • Claude Bélisle
    • Marc Bergeron
    • Pierre Bernier
    • André Boileau
    • Véronique Boutet
    • Pietro-Luciano Buono
    • Massimo Caccia
    • Jérôme Camiré-Bernier
    • France Caron
    • Philippe Carphin
    • Kévin Cazelles
    • Laurent Charlin
    • Pierre Chastenay
    • Noémie Chenail
    • Jocelyn Dagenais
    • Marie-France Dallaire
    • Jean-Lou de Carufel
    • Jean-Marie De Koninck
    • Lambert De Monte
    • Jean-Paul Delahaye
    • Marc-André Desautels
    • Florin Diacu
    • Jimmy Dillies
    • Nicolas Doyon
    • Philippe Drobinski
    • Hugo Drouin-Vaillancourt
    • Louis J. Dubé
    • Thierry Duchesne
    • Matthieu Dufour
    • Stéphane Durand
    • Thomas Erneux
    • Philippe Etchécopar
    • Julien Fageot
    • Charles Fleurent
    • Jérôme Fortier
    • Marlène Frigon
    • Jean-François Gagnon
    • André Garon
    • Christian Genest
    • Denis Gilbert
    • Jonathan Godin
    • Frédéric Gourdeau
    • Samuel Goyette
    • Andrew Granville
    • Jean Guérin
    • Hervé Guillard
    • Abba B. Gumel
    • James A. Hanley
    • Alain Hertz
    • Bernard R. Hodgson
    • Isabelle Jalliffier-Verne
    • Guillaume Jouvet
    • Tomasz Kaczynski
    • Patrick Labelle
    • Marc Laforest
    • Nadia Lafrenière
    • Josiane Lajoie
    • Alexis Langlois-Rémillard
    • Simon-Olivier Laperrière
    • René Laprise
    • Steffen Lauritzen
    • Denis Lavigne
    • Adrien Lessard
    • Steven Lu
    • Jean Meunier
    • Erica Moodie
    • Normand Mousseau
    • Johanna G. Nešlehová
    • Pierre-André Noël
    • Dmitry Novikov
    • Ostap Okhrin
    • Laurent Pelletier
    • Jean-François Plante
    • Serge B. Provost
    • Annie Claude Prud'Homme
    • Benoît Rittaud
    • Louis-Paul Rivest
    • Serge Robert
    • André Ross
    • Christiane Rousseau
    • Guillaume Roy-Fortin
    • Yvan Saint-Aubin
    • Maria Vittoria Salvetti
    • Charles Senécal
    • Vasilisa Shramchenko
    • Robert Smith?
    • Anik Trahan
    • Shophika Vaithyanathasarma
    • William Verreault
    • Redouane Zazoun

Sujets

Algèbre Applications Applications des mathématiques Changements climatiques Climat Construction des mathématiques COVID-19 Cristallographie cryptographie GPS Gravité Géométrie Histoire des mathématiques Imagerie Infini Informatique Informatique théorique intelligence artificielle Jeux mathématiques Logique mathématique Lumière Mathématiques de la planète Terre Mathématiques et architecture mathématiques et art Mathématiques et arts Mathématiques et astronomie Mathématiques et biologie Mathématiques et développement durable Mathématiques et littérature Mathématiques et musique Mathématiques et médecine Mathématiques et physique Mathématiques et transport Modélisation Nombres Portrait d'un mathématicien Portrait d'un physicien Probabilités Probabilités et statistique Racines Rubrique des Paradoxes Section problèmes Théorie des groupes Éditorial Épidémiologie

© 2023 Accromath