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

Logo

Pourquoi démontrer ce qui est évident?

Par André Ross
Volume 3.1 - hiver-printemps 2008

Yannick remet en question l’exigence de démontrer des « propriétés » qui lui semblent évidentes.

Yannick
Bonjour Alexandra. J’aimerais que tu m’expliques pourquoi en mathématiques il faut parfois démontrer des propriétés qui sont évidentes?

Alexandra
Bonjour vous deux. Qu’est-ce que tu entends par « propriétés évidentes »?

Yannick
Il ne me vient pas d’exemple à l’esprit, mais je suis sûr que tu en connais.

evident_img1Alexandra
Quelque chose qui semble évident? Supposons que j’écrive les nombres impairs dans une colonne à partir de 3. Dans une deuxième colonne, j’exprime ces nombres comme suit :
\[3=2^1+1, \, 5=2^1+3, \dotsc\]
Qu’est-ce que vous remarquez dans ce tableau?

Annick
Dans la colonne de droite, on a toujours la somme d’une puissance de 2 et d’un nombre premier.

Alexandra
Belle observation! Pensez-vous qu’il y a d’autres nombres impairs qui peuvent s’écrire de cette façon?

Yannick
Je dirais que cela est possible pour tous les nombres impairs.

Annick
Moi, je trouve qu’on n’a pas vérifié beaucoup de cas pour conclure que cela est toujours vrai.

Alexandra
Combien de cas faudrait-il vérifier pour avoir une certitude?

Yannick
Si on vérifie encore une trentaine de cas et que c’est encore vrai, il me semble évident qu’on pourra conclure que c’est toujours vrai.

Alexandra
Je vous propose un exercice. Vérifiez chacun quinze cas et nous en reparlerons demain à la lumière de vos résultats.

Le lendemain

evident_img2

Vérifications par Annick et Yannick.

Yannick
On a vérifié chacun quinze autres cas. J’ai vérifié pour les nombres de 29 à 55 et Annick a vérifié ceux de 57 à 83. On a tous pu les exprimer comme la somme d’une puissance de 2 et d’un nombre premier.

C’est exactement ce que je veux dire par propriété évidente. Il est bien évident qu’il sera toujours possible de décomposer un nombre impair en une telle somme.

Alexandra
Toi, Annick, en es-tu convaincue aussi?

Annick
C’est difficile d’imaginer qu’il soit impossible d’exprimer un nombre impair sous cette forme.

Alexandra
Si je vous disais qu’un passionné des nombres, Monsieur de Polignac, a déclaré avoir fait la vérification pour tous les nombres impairs inférieurs à trois millions, quelle serait votre réaction?

Yannick
J’étais déjà convaincu que cela est toujours possible, la déclaration de Polignac ne fait que confirmer ma conviction.

Annick
Je ne peux faire autrement que d’être convaincue, mais tu ne sembles pas emballée!

Alexandra
Le problème c’est que pour vérifier les dires de Polignac il faut refaire tous ses calculs. De plus, il reste beaucoup de nombres qui n’ont pas été vérifiés. Un million et demi de nombres impairs sur une infinité, c’est peu.

Yannick
On n’a pas besoin de les vérifier tous, on constate que cela fonctionne toujours.

Alexandra
En fait, on peut montrer que cela n’est pas toujours possible. S’il a vraiment fait tous ces calculs, Polignac s’est trompé pour le nombre 127, dont les décompositions comme somme de nombres comportant une puissance de 2 sont les suivantes :
\begin{align*}
127 &=\;1+126=2^0+(2\times63)\\
127 &=\;2+125=2^1+(5\times25)\\
127 &=\;4+123=2^2+(3\times41)\\
127 &=\;8+119=2^3+(7\times17)\\
127 &=16+111=2^4+(3\times37)\\
127 &=32+\; 95=2^5+(5\times19)\\
127 &=64+\;63=2^6+(3\times21)
\end{align*}
Ce sont les seules décompositions du nombre 127 comportant une puissance de deux. En prenant 27, on obtient 128, c’est trop grand.

Annick
Je comprends. Si on considère 127 comme la somme de deux nombres dont l’un est une puissance de 2, l’autre nombre n’est jamais premier.

Alexandra
Voilà. Il nous faut donc conclure que la conjecture de Polignac est fausse, car les nombres impairs ne peuvent pas tous s’exprimer comme la somme d’une puissance de deux et d’un nombre premier.

Yannick
Je suis déçu.

Alexandra
Tu comprends pourquoi les mathématiciens ne considèrent pas comme vraie une « propriété » qui n’a pas été démontrée, même si elle semble « évidente ».

Yannick
Je comprends, mais je suis déçu quand même, ça aurait été si simple.

Alexandra
Pour vous convaincre, j’ai fait une démonstration. En montrant que 127 ne peut s’exprimer comme la somme d’une puissance de deux et d’un nombre premier, j’ai démontré que la conjecture de Polignac est fausse. C’est ce qu’on appelle une démonstration par contre-exemple.

C’est beaucoup moins exigeant de lire la démonstration que de refaire tous les calculs de monsieur de Polignac.

PDF

  • ● 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