Logique et ensemblesThéorème · Glossaire
conjecture
En mathématiques, une conjecture est un énoncé dont on pense qu'il est vrai — généralement sur la base d'observations numériques, d'analogies ou d'arguments heuristiques — mais qui n'a pas encore reçu de démonstration rigoureuse. Une conjecture reste un énoncé ouvert tant qu'elle n'est ni prouvée ni réfutée. Lorsqu'une conjecture est finalement démontrée, elle acquiert le statut de théorème ; lorsqu'elle est réfutée — par exemple par un contre-exemple dans le cas d'une affirmation universelle ou d'une implication —, elle est infirmée. Par tradition historique, certains énoncés conservent leur appellation de conjecture même après avoir été prouvés, tandis que d'autres changent de nom pour désigner le ou les mathématiciens qui en ont fourni la preuve. Ainsi, ce que l'on appelait le dernier théorème de Fermat était en réalité une conjecture pendant plus de trois siècles, avant de devenir le théorème de Fermat-Wiles. De même, la conjecture de Bachet est devenue le théorème des quatre carrés de Lagrange, et la conjecture de Bertrand a été démontrée par Tchebychev avant d'être généralisée.
Sommaire
Ce que vous allez apprendre
- Définir le statut exact d’une conjecture mathématique.
- Distinguer observation, conjecture, démonstration, théorème et contre-exemple.
- Suivre sur les entiers pairs le passage d’exemples favorables à une preuve générale.
- Repérer pourquoi des vérifications nombreuses ne prouvent pas un énoncé universel.
- Comprendre pourquoi certains résultats prouvés conservent historiquement le nom de conjecture.
En clair
Additionnez plusieurs couples de nombres pairs : 2 + 4 donne 6, 4 + 6 donne 10, et 8 + 12 donne 20. Le résultat semble toujours pair. Cette régularité observée invite à proposer une affirmation générale : la somme de deux entiers pairs est paire.
Tant que cette affirmation n’est pas démontrée pour tous les cas, elle joue le rôle d’une conjecture. Les exemples donnent une bonne raison d’y croire, mais ils ne remplacent pas une preuve.
Définition
Une conjecture est un énoncé mathématique considéré comme vraisemblable, mais qui n’a encore reçu ni démonstration rigoureuse ni réfutation. Elle peut naître d’observations numériques répétées, d’une analogie avec un résultat connu ou d’un raisonnement heuristique. Ces indices motivent la recherche ; ils n’établissent pas la vérité de l’énoncé.
Le statut porte sur un énoncé formulé avec précision. Une démonstration rigoureuse le transforme en théorème. Pour une affirmation universelle ou une implication, cette démonstration doit couvrir tous les cas visés, tandis qu’un seul cas satisfaisant les hypothèses mais contredisant la conclusion constitue un contre-exemple et suffit à l’infirmer. En l’absence de démonstration ou de réfutation adaptée à la forme logique de l’énoncé, la question reste ouverte.
Le nom usuel ne reflète pas toujours ce statut. Par tradition, certains résultats démontrés restent appelés « conjectures ». D’autres prennent le nom d’un théorème ou de la personne qui a fourni la preuve, comme le théorème de Fermat-Wiles, le théorème des quatre carrés de Lagrange ou l’énoncé de Bertrand démontré par Tchebychev.
Le principe
Pour reconnaître le statut d’un énoncé, il faut distinguer trois issues. S’il paraît vrai à partir d’observations ou d’arguments heuristiques, mais n’est pas démontré, c’est une conjecture. Si une démonstration rigoureuse établit tous les cas annoncés, l’énoncé devient un théorème. Si un cas respecte les hypothèses et contredit la conclusion, la conjecture est réfutée. Le statut dépend donc de la preuve disponible, et non du nombre d’exemples favorables.
Quand l'utiliser
Une conjecture doit d’abord être un énoncé assez précis pour être vrai ou faux. Son domaine doit être explicite : quels objets sont concernés, quelles hypothèses ils vérifient et quelle conclusion est annoncée. Les observations numériques ou les analogies expliquent pourquoi l’énoncé paraît plausible, mais elles ne sont pas une condition de vérité.
Pour tester une conjecture universelle ou formulée comme une implication, une preuve doit couvrir tous les cas du domaine, tandis qu’une réfutation n’exige qu’un contre-exemple conforme aux hypothèses. Pour une autre forme logique, le critère de réfutation doit être adapté. Une question vague telle que « ces résultats semblent-ils réguliers ? » n’est pas encore une conjecture : elle ne donne aucune conclusion déterminée à prouver ou à contredire. Il faut d’abord la reformuler en énoncé vérifiable.
Un exemple, pas à pas
On étudie la somme de deux entiers pairs. Les données observées sont 2 + 4 = 6, 4 + 6 = 10 et 8 + 12 = 20. Chaque résultat est pair, ce qui suggère la conjecture suivante : « la somme de deux entiers pairs est toujours paire ».
1. Les trois calculs rendent l’énoncé plausible, mais ils ne traitent qu’un nombre fini de couples. La conjecture n’est donc pas encore prouvée.
2. On note a et b deux entiers pairs quelconques. On note k et ℓ les entiers qui permettent de les écrire sous la forme .
3. Leur somme se réécrit . Elle est donc le double d’un entier, ce qui prouve qu’elle est paire.
4. La preuve vaut pour tous les entiers pairs : l’énoncé quitte ici le statut de conjecture et devient un résultat démontré.
Pour refaire un contrôle numérique, prenez les données 14 et 18 : leur somme vaut 32, qui est paire. Ce contrôle confirme un cas particulier ; c’est l’écriture générale précédente qui fournit la preuve.
En pratique
Devant une régularité numérique, on rassemble des exemples puis on formule une conjecture assez précise pour être testée. Si les objets ou la conclusion restent flous, on préfère d’abord poser une question et préciser le domaine.
Pour essayer d’établir l’énoncé, on cherche une démonstration couvrant tous les cas. Lorsque les essais révèlent un cas qui respecte les hypothèses mais contredit la conclusion, on conserve ce contre-exemple : il réfute la conjecture.
À la lecture d’un texte mathématique, on vérifie enfin le statut actuel de l’énoncé plutôt que de se fier à son nom. Une « conjecture » historique peut avoir été démontrée et conserver malgré tout son appellation traditionnelle.
À ne pas confondre
Conjecture et hypothèse d’un raisonnement. Une conjecture est l’énoncé entier dont le statut reste ouvert. Une hypothèse est une condition admise au départ : dans « si un entier est pair, alors son carré est pair », être pair est l’hypothèse.
Conjecture et théorème. La différence testable est l’existence d’une démonstration rigoureuse. Mille exemples favorables ne font pas un théorème ; une preuve générale, comme celle de la somme de deux entiers pairs, change le statut de l’énoncé.
Conjecture et exemple. Un exemple est un cas particulier, tandis qu’une conjecture affirme quelque chose sur tout un domaine. Le calcul 14 + 18 = 32 illustre l’énoncé sur les nombres pairs, mais ne le prouve pas à lui seul.
Limites et pièges
Beaucoup de vérifications ne suffisent pas. Même si les 100 premiers cas confirment un énoncé général, un cas non testé peut encore le contredire. Il faut chercher une preuve couvrant tout le domaine ou poursuivre la recherche d’un contre-exemple.
Un contre-exemple doit respecter les hypothèses. Pour une affirmation universelle ou une implication, un cas contraire obtenu dans le domaine annoncé suffit à la réfuter ; obtenu hors de ce domaine, il ne réfute rien. Une conjecture d’une autre forme logique exige un critère de réfutation adapté.
Le nom peut tromper sur le statut. Certains énoncés démontrés gardent le mot « conjecture » par tradition, tandis que d’autres deviennent des théorèmes. Le dernier théorème de Fermat est ainsi resté une conjecture pendant plus de trois siècles avant sa démonstration ; il faut donc vérifier le statut, pas seulement l’appellation.
Ne pas trouver de preuve ne constitue pas une réfutation. Tant qu’aucune démonstration ni aucune réfutation adaptée à sa forme logique n’est établie, l’énoncé reste une conjecture ouverte. Il faut conserver ce statut au lieu de transformer une difficulté de recherche en verdict.
Pour aller plus loin
Contre-exemple — Montre pourquoi un seul cas bien choisi suffit à réfuter un énoncé général.
L'exception qui ne confirme pas la règle — Approfondit le rôle logique de l’exception face à une affirmation universelle.
Pour redécouvrir le dernier théorème de Fermat — Prolonge l’exemple historique d’un énoncé longtemps resté au stade de conjecture.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres