Conjecture

 Ne doit pas être confondu avec Conjoncture.

Sur les autres projets Wikimedia :

• « Conjecture », sur le Wiktionnaire (dictionnaire universel)

En mathématiques, une conjecture est une assertion pour laquelle on ne connaît pas encore de démonstration, mais que l'on soupçonne d'être vraie, en l'absence de contre-exemple. Afin de simplifier le travail de vérification, il est classique de formuler des variantes d'une conjecture, soit sous une forme plus faible (a priori plus facile à démontrer), soit sous une forme plus forte (plus facile à réfuter). En attendant, la conjecture peut être choisie comme hypothèse ou postulat pour étudier d'autres énoncés.

Si une conjecture se révèle indécidable relativement à système d'axiomes, elle peut être choisie comme nouvel axiome (ou réfutée par un nouvel axiome).

Dans la vie de tous les jours, une conjecture est une hypothèse qui n'a encore reçu aucune confirmation.

Antichambre d'un théorème ou pièce instable du puzzle mathématique ?

Quand il se trouve – après un travail mathématique rigoureux de démonstration – qu'une conjecture est démontrée, elle devient théorème et rejoint le royaume des faits mathématiques. Jusqu'à ce stade ultime de véracité, les mathématiciens doivent donc faire extrêmement attention lorsqu'ils font appel à une conjecture dans leurs structures logiques et leurs démonstrations.

Par exemple, l'hypothèse de Riemann est une conjecture de la théorie des nombres qui énonce (entre autres choses) des prévisions sur la distribution des nombres premiers. Peu de théoriciens des nombres doutent du fait que l'hypothèse de Riemann soit vraie. Dans l'attente de sa démonstration éventuelle, certains mathématiciens développent d'autres démonstrations qui reposent sur la véracité de cette conjecture. Cependant, ces « démonstrations » tomberaient en morceaux si cette hypothèse de Riemann se révélait fausse. Il y a donc un intérêt mathématique majeur à démontrer ou réfuter des conjectures mathématiques pendantes.

Bien que la plupart des conjectures les plus célèbres aient été vérifiées pour des kyrielles étonnantes de nombres, cela ne constitue pas une garantie contre un simple contre-exemple, qui réfuterait immédiatement la conjecture considérée, sauf cas particulier d'une preuve par l'exemple explicite. Par exemple, la conjecture de Syracuse – qui concerne l'arrêt d'une certaine suite de nombres entiers – a été examinée pour tous les nombres entiers jusqu'à deux élevé à la puissance 62-ième (soit plus de quatre milliards de milliards). Cependant, elle a toujours le statut de conjecture, car on ne peut exclure l'existence d'un contre-exemple au-delà de 2⁶² qui viendrait l'infirmer, bien que l'on sache par des arguments probabilistes que de tels contre-exemples deviennent de plus en plus rares au fur et à mesure que l'on progresse vers des nombres de plus en plus grands, mais « forte vraisemblance » n'est pas « certitude ».

Toutes les conjectures ne finissent pas par être établies comme vraies ou fausses. Par exemple, l'hypothèse du continu - qui essaye d'établir la cardinalité relative de certains ensembles infinis - s'est avérée indécidable à partir de l'ensemble des axiomes généralement admis de la théorie des ensembles. Il est donc possible d'adopter cette assertion, ou sa négation, comme nouvel axiome tout en restant cohérent (comme nous pouvons également accepter le postulat de la parallèle d'Euclide comme vrai ou faux). Pire, le théorème d'incomplétude de Gödel montre que dans toute théorie qui contient l'arithmétique, il existe des propositions qui, quoique démontrables pour chacun des entiers (chaque instance de la proposition par un entier est démontrable), ne peuvent pas être démontrées en tant que théorème sur tous les entiers.

Exemples de conjectures résolues

• La conjecture de Girard, formulée en 1629, a été démontrée dans ce qu'on appelle aujourd'hui le théorème de D'Alembert-Gauss ou théorème fondamental de l'algèbre en 1813.
• la conjecture des quatre couleurs, a été démontrée en 1976 en utilisant des programmes informatiques et complètement formalisée en 2006 dans l'assistant de preuve Coq,
• le « dernier théorème de Fermat » fut démontré en 1994;
• la conjecture de Poincaré, formulée en 1904 a été résolue en 2003 positivement;
• la conjecture de Gauss qui exprimait que $\pi(x) \le Li(x)$ (où Li et la fonction d'écart logarithmique intégrale) a été infirmée par Littlewood qui a montré que la différence π(x) − Li(x) changeait de signes une infinité de fois.
• La conjecture des nombres premiers sur la valeur asymptotique de π(x), énoncée en 1809 par Legendre, a été démontrée indépendamment par Hadamard et De La Vallée Poussin en 1896 ;
• La conjecture de Bieberbach sur les coefficients des fonctions entières injectives dans le disque unité a été démontrée en 1985 par Louis de Branges de Bourcia;
• La conjecture de Mertens, énoncée en 1897, a été réfutée en 1985 par Odlyzko et Te Riele;
• Les conjectures du mémoire de Riemann de 1859 sur la fonction ζ ont toutes été résolues avant le XX^e siècle sauf l'hypothèse de Riemann;
• Le problème de Waring a été résolu par Hilbert en 1909;
• L'hypothèse du continu a été partiellement résolue, au sens que Paul Cohen a démontré qu'elle est indépendante des axiomes de la théorie des ensembles de Zermelo-Fraenkel;
• Le problème de la quadrature du cercle par la règle non graduée et le compas seuls a été démontré impossible en 1882 par Lindemann;
• Le problème de la trisection d'un angle quelconque par la règle non graduée et le compas seuls a été démontré impossible, ainsi que le problème de la duplication du cube par les mêmes moyens.

Formulée vraisemblablement en 1637, publiée en 1670, la plus célèbre de toutes les conjectures était celle dénommée le « dernier théorème de Fermat ». Ce n'est qu'après sa démonstration par le mathématicien Andrew Wiles en 1995 que cette conjecture devint théorème. La démonstration consista à prouver un cas particulier de la conjecture de Taniyama-Shimura, problème alors en attente de résolution depuis une quarantaine d'années. On savait en effet que le dernier théorème de Fermat découlait de ce cas particulier. Le théorème complet de Taniyama-Shimura fut finalement démontré en 1999 par Breuil, Conrad, Diamond, et Taylor qui, en s'appuyant sur le travail de Wiles, remplirent par sauts de puce les cas restants jusqu'à la démonstration du résultat complet.

La plus discutée actuellement, mais aussi la plus ancienne qui puisse être datée précisément, est probablement la conjecture de Kepler, formulée par Johannes Kepler en 1611 et résolue positivement en 2003; la démonstration qui en a été publiée dans le journal Annals of Mathematics a satisfait les experts à 99 %. Une preuve satisfaisante à 100 % reste encore à produire.

Une conjecture qui a résisté pendant 66 ans est le problème de Robbins. Son intérêt réside dans le fait que la seule solution qui en existe a été produite par un programme d'ordinateur (voir W. McCune. Solution of the Robbins problem, J. Automated Reasoning, 19(3):263--276, 1997).

Exemples de conjectures célèbres actuelles

Les conjectures célèbres (non résolues) comprennent à ce jour :

• la conjecture de Goldbach (formulée en 1742),
• l'hypothèse de Riemann (formulée en 1859),
• la conjecture de Syracuse (formulée dans les années 1950),
• la conjecture abc (formulée en 1985),
• la conjecture P ≠ NP,
• la conjecture des nombres premiers jumeaux qui est la plus ancienne conjecture non résolue,
• la conjecture des nombres parfaits,
• la conjecture de Birch et Swinnerton-Dyer.
• La conjecture de Legendre selon laquelle entre n² et (n+1)² existe toujours un nombre premier.

Exemples de travaux en cours

Le programme de Langlands est un enchaînement de grande envergure qui vise l'unification des conjectures reliant différents champs des mathématiques : la théorie des nombres et la théorie de la représentation des groupes de Lie, certaines de ces conjectures ayant été depuis démontrées.

Article connexe

Liste de conjectures mathématiques