Conjecture abc

La conjecture abc ou conjecture d'Oesterlé-Masser est une conjecture en théorie des nombres. Elle a été formulée pour la première fois par Joseph Oesterlé (1988) et David Masser (1985). Elle est formulée en termes de trois nombres entiers positifs, a, b et c (d'où son nom), qui n'ont aucun facteur commun et satisfont à $a+b=c$ . Si d est le produit des facteurs premiers distincts de abc, alors la conjecture affirme à peu près que d ne peut pas être beaucoup plus petit que c. Plus précisément, le rapport ${\tfrac {c}{d}}$ peut prendre des valeurs très grandes mais le rapport ${\tfrac {c}{d^{1+\varepsilon }}}$ est lui borné pour tout $\varepsilon >0$ .

Dorian Goldfeld l'a qualifié en 2006 de « problème non résolu le plus important en analyse diophantienne^[1] » car, si elle était vérifiée, la conjecture permettrait de démontrer aisément le théorème de Fermat-Wiles dans un sens asymptotique, entre autres.

Des démonstrations diverses de cette conjecture ont été revendiquées, mais à ce jour aucune n'est acceptée par la communauté mathématique.

Introduction[modifier | modifier le code]

Triplets (a, b, c)[modifier | modifier le code]

Un problème classique en arithmétique est de trouver des triplets (a, b, c) de nombres entiers strictement positifs, premiers entre eux, avec a + b = c où les nombres sont des puissances de nombres entiers (voir le dernier théorème de Fermat). Par exemple^[2] :

2^{5}+7^{2}=3^{4},\qquad 13^{2}+7^{3}=2^{9},\qquad 2^{7}+17^{3}=71^{2},\qquad 3^{5}+11^{4}=122^{2}.

Tidjman et Zagier conjecturent^[3] que l'équation $x^{p}+y^{q}=z^{r}$ n'a aucune solution avec des exposants (p, q, r) tous supérieurs à 2 et x, y, z des entiers strictement positifs et premiers entre eux.

Un autre problème arithmétique est d'écrire les entiers comme différence de deux puissances (d'exposants supérieurs à 1) de nombres entiers (voir la conjecture de Pillai, le théorème de Catalan et la conjecture de Fermat-Catalan). Par exemple :

1=3^{2}-2^{3},\qquad 2=3^{3}-5^{2},\qquad 3=2^{7}-5^{3},\qquad 4=5^{3}-11^{2},\qquad 5=2^{5}-3^{3}.

Plus généralement, on s'intéresse à des triplets (a, b, c) de nombres entiers non nuls (éventuellement négatifs), premiers entre eux, avec a + b = c, où les nombres ont des facteurs premiers petits par rapport aux trois nombres.

Radical et qualité d'un triplet[modifier | modifier le code]

Article détaillé : Radical d'un entier.

Soit (a, b, c) un triplet de nombres entiers (non nuls) tel que c = a + b. Le produit des facteurs premiers de abc est appelé le radical de abc.

On définit la qualité d'un triplet (a , b , c) de nombres positifs (avec c = a + b) par :

q(a,b,c)={\frac {\log(c)}{\log(\operatorname {rad} (abc))}}

Un premier exemple[modifier | modifier le code]

a=1,\quad b=2^{3}=8\quad {\text{ et }}\quad c=a+b=9=3^{2}.\quad \,

Les nombres premiers qui divisent abc sont 2 et 3.

Le radical du triplet (1 ; 8 ; 9) est le produit des diviseurs premiers de abc : $\operatorname {rad} (1\times 8\times 9)=2\times 3=6$ .

On remarque que, dans notre exemple, le radical est plus petit que c, le plus grand des nombres a, b, c : $\operatorname {rad} (abc)<c$ . Les triplets (a, b, c) de nombres positifs, premiers entre eux, avec a + b = c, tels que $\operatorname {rad} (abc)<c$ , sont rares. Par exemple, il n'y en a que six^[4] parmi les triplets de nombres inférieurs à 100.

Dans notre exemple la qualité du triplet vaut environ 1,2263 : $q(1,8,9)={\frac {\log(9)}{\log(6)}}\approx {}1{,}2263$ .

La qualité du triplet (1 ; 8 ; 9) est la puissance à laquelle il faut élever le radical pour obtenir c. On a : $c=a+b\approx \operatorname {rad} (abc)^{1{,}2263}$ .

Les triplets dont le radical est inférieur à c sont ceux qui ont une qualité supérieure à 1.

Deuxième exemple[modifier | modifier le code]

a=3,\quad b=5^{3}=125\quad {\text{ et }}\quad c=2^{7}=128.\;

Le radical du triplet (3 ; 125 ; 128) est : $\operatorname {rad} (3\times 125\times 128)=2\times 3\times 5=30$ , qui est beaucoup plus petit que c.

La qualité du triplet est environ 1,4266 : $q(3,125,128)={\frac {\log(128)}{\log(30)}}\approx {}1{,}4266$

On a : $c=a+b\approx \operatorname {rad} (abc)^{1{,}4266}$ .

On voit que la qualité du triplet (a, b, c) est encore inférieure à 2. C'est le cas de tous les triplets de nombres premiers entre eux (a, b, c) dont la qualité a été calculée.

La conjecture abc énonce que les triplets de nombres (positifs et premiers entre eux) pour lesquels $c=a+b>\operatorname {rad} (abc)^{1+\epsilon }$ n'existent qu'en nombre fini quel que soit le nombre $\epsilon >0$ fixé.

Énoncé de la conjecture[modifier | modifier le code]

Quel que soit $\varepsilon >0$ , il existe une constante $K_{\varepsilon }$ telle que, pour tout triplet $(a,b,c)$ d'entiers relatifs (non nuls) premiers entre eux vérifiant $a+b=c$ , on ait :

\max(|a|,|b|,|c|)\leq \operatorname {K} _{\varepsilon }(\operatorname {rad} (abc))^{1+\varepsilon }

où $\operatorname {rad} (n)$ est le radical de n, c'est-à-dire le produit des nombres premiers divisant n.

Formulations équivalentes[modifier | modifier le code]

Une deuxième formulation utilise les logarithmes. En prenant le logarithme dans la première formulation, on obtient :

\max(\log |a|,\log |b|,\log |c|)\leq \log \operatorname {K} _{\varepsilon }+(1+\epsilon )\log \operatorname {rad} (abc)

On peut formuler la conjecture en faisant intervenir la notion de qualité q(a, b, c) d'un triplet (a ; b ; c), définie par

q(a,b,c)={\frac {\log |c|}{\log(\operatorname {rad} (abc))}}

Avec cette notation, la conjecture suppose que pour tout ε > 0, il n'existe qu'un nombre fini de triplets (a ; b ; c) d'entiers positifs et premiers entre eux tels que : a + b = c et

q(a, b, c) > 1 + ε.

Une autre forme de la conjecture affirme que pour tout ε > 0, il n'existe qu'un nombre fini de triplets (a ; b ; c) d'entiers positifs et premiers entre eux tels que : a + b = c et

c>(\operatorname {rad} (abc))^{1+\varepsilon }.

Le cas ε = 0[modifier | modifier le code]

On ne peut pas enlever l'hypothèse $\varepsilon >0$ dans la formulation de la conjecture. En effet, si on prend^[5] :

a_{n}=3^{2^{n}},\quad b_{n}=-1,\quad {\text{ et }}\quad c_{n}=3^{2^{n}}-1

,

$a_{n},b_{n},{\text{ et }}c_{n}$ sont premiers entre eux et on a $a_{n}+b_{n}=c_{n}$ . De plus, si n > 0, $2^{n+2}$ divise^[6] $c_{n}$ , donc :

\operatorname {rad} (|a_{n}b_{n}c_{n}|)\leq 3\times 2\times {|c_{n}| \over 2^{n+2}}<{3|a_{n}| \over 2^{n+1}}

.

Par conséquent, on a un exemple de triplet (a, b, c) tel que

\max(|a_{n}|,|b_{n}|,|c_{n}|)=|a_{n}|>{\frac {2^{n+1}}{3}}\operatorname {rad} (|a_{n}b_{n}c_{n}|)>2^{n-1}\operatorname {rad} (|a_{n}b_{n}c_{n}|)

.

Le rapport ${\frac {\max(|a_{n}|,|b_{n}|,|c_{n}|)}{\operatorname {rad} (|a_{n}b_{n}c_{n}|)}}>2^{n-1}$ prend des valeurs arbitrairement grandes.

Exemple

Pour n = 2, $3^{2^{2}}=81,\quad {\text{ et }}\quad 3^{2^{2}}-1=80=2^{4}\times 5$ ,

le triplet (1 ; 80 ; 81) a pour radical : $\operatorname {rad} (1\times 80\times 81)=2\times 3\times 5=30$

et $\max(|a|,|b|,|c|)=2{,}7\operatorname {rad} (abc)>2\operatorname {rad} (abc)$ .

La qualité du triplet (1 ; 80 ; 81) est environ 1,2920 : $q(1,80,81)={\frac {\log(81)}{\log(30)}}\approx {}1{,}2920$ . (On a : $\max(|a|,|b|,|c|)\approx \operatorname {rad} (abc)^{1{,}2920}$ ).

Exemples de triplets abc de qualité élevée[modifier | modifier le code]

Le triplet (1 ; 4 374 ; 4 375)[modifier | modifier le code]

Un exemple de triplet ayant une qualité élevée est :

a=1,\quad b=2\times 3^{7}=4\;374\quad {\text{ et }}\quad c=5^{4}\times 7=4\;375.

Son radical est :

\operatorname {rad} (abc)=2\times 3\times 5\times 7=210

La qualité du triplet (a ; b ; c) est environ 1,5679 : $q(a,b,c)={\frac {\log(4\;375)}{\log(210)}}\approx {}1{,}5679$

On a : $c=a+b\approx \operatorname {rad} (abc)^{1{,}5679}$

Le triplet de Reyssat[modifier | modifier le code]

Éric Reyssat (de) a découvert le triplet qui a la plus grande qualité connue :

a=2,\quad b=3^{10}\times 109=6\;436\;341\quad {\text{ et }}\quad c=23^{5}=6\;436\;343.

Son radical est : $\operatorname {rad} (abc)=2\times 3\times 109\times 23=15\;042$

La qualité du triplet (a ; b ; c) est environ 1,6299 : $q(a,b,c)={\frac {\log(23^{5})}{\log(15\;042)}}\approx {}1{,}6299$

On a : $c=a+b\approx \operatorname {rad} (abc)^{1{,}6299}$

Analogie avec les polynômes : le théorème de Mason-Stothers[modifier | modifier le code]

L'idée de la conjecture abc s'est formée par analogie avec les polynômes. Un théorème abc est en effet disponible pour les polynômes sur un corps algébriquement clos de caractéristique nulle^[7].

L'analogue pour les polynômes (en) a été démontré par Wilson Stothers (en) en 1981, et de manière élémentaire par Richard Mason (nl) en 1984. Il se formule ainsi :

Pour tous les polynômes $a(t),b(t),c(t)$ premiers entre eux vérifiant $a+b=c$ , on a

\max(\deg\{a,b,c\})\leq n_{0}(abc)-1

où $n_{0}(abc)$ est le nombre de racines distinctes de abc.

Ce théorème permet de démontrer de manière aisée le théorème de Fermat pour les polynômes : l'équation

X(t)^{n}+Y(t)^{n}=Z(t)^{n}

où $X(t),Y(t),Z(t)$ sont des polynômes non constants, n'a pas de solutions si $n\geq 3$ .

La tentation est alors grande de trouver un analogue pour les entiers, car il permettrait de démontrer tout aussi facilement le théorème de Fermat dans un sens asymptotique.

Conséquences[modifier | modifier le code]

Le théorème de Fermat asymptotique[modifier | modifier le code]

En supposant la conjecture abc, on peut démontrer une version asymptotique du théorème de Fermat^[5], dans le sens où on montre qu'il existe N tel que pour tout $n\geq N$ , $x^{n}+y^{n}=z^{n}$ n'a plus de solutions entières (strictement positives). Ce N dépendrait cependant explicitement de la constante $K_{\varepsilon }$ donnée par la conjecture abc^[8].

En prenant un $\epsilon$ strictement positif quelconque, on suppose que x, y et z sont des entiers tous non nuls tels que $x^{n}+y^{n}=z^{n}$ . Quitte à les réorganiser, on les suppose tous positifs et, quitte à les diviser par leur PGCD à la puissance n, on suppose qu'ils sont premiers entre eux. On a donc d'après la conjecture abc :

\max(|x|^{n},|y|^{n},|z|^{n})=z^{n}\leq \operatorname {K} _{\epsilon }\operatorname {rad} ((xyz)^{n})^{1+\varepsilon }

.

Or $\operatorname {rad} ((xyz)^{n})=\operatorname {rad} (xyz)$ . Ceci donne, compte tenu de $\operatorname {rad} (xyz)\leq xyz\leq z^{3}$ :

z^{n}\leq \operatorname {K} _{\varepsilon }z^{3(1+\varepsilon )}

donc en supposant $z\geq 2$ , on obtient :

n\leq 3(1+\varepsilon )+{\frac {\ln(\operatorname {K} _{\varepsilon })}{\ln(2)}}

Avec $\epsilon =1$ , on a $n\leq 6+{\frac {\ln(\operatorname {K} _{1})}{\ln(2)}}$ ce qui fournit un majorant de n dépendant explicitement de $\operatorname {K} _{1}$ .

Autres conséquences[modifier | modifier le code]

La conjecture abc permettrait de prouver d'autres théorèmes importants en théorie des nombres, parmi lesquels :

le théorème de Roth,
le théorème de Baker,
le théorème de Bombieri-Vinogradov,
le théorème de Faltings^[8] précédemment nommé conjecture de Mordell,
la conjecture de Pillai,
la conjecture de Szpiro^[8].

La conjecture d'Erdős-Woods s'en déduirait également^[8], à un ensemble fini près de contre-exemples^[9].

Démonstrations revendiquées[modifier | modifier le code]

Lucien Szpiro a proposé une démonstration en 2007 mais elle a été rapidement décelée comme incorrecte ^[10]. La conjecture qui porte son nom sous une forme modifiée est équivalente à la conjecture abc.

En août 2012, le mathématicien japonais Shinichi Mochizuki a publié un article sur sa page personnelle où il annonce avoir démontré cette conjecture^[11]^,^[12]. Mais cette démonstration n'a pas été validée par les autres spécialistes de la question^[13]^,^[14]^,^[15]. Peter Scholze et Jacob Stix ont publiquement déclaré que, en septembre 2018, cette démonstration n'était en l'état pas recevable^[16]. Néanmoins, en avril 2020, sa démonstration est acceptée pour publication dans Publications of the Research Institute for Mathematical Sciences, journal publié par l'Institut de recherches pour les sciences mathématiques dont Mochizuki est l'éditeur en chef^[17].

Notes et références[modifier | modifier le code]

↑ (en) Dorian Goldfeld, « Beyond the last theorem », The Sciences (en),‎ mars/avril 1996, p. 34-40.
↑ Prime Numbers, a computational perspective, 2nd edition, Springer, 2005, p. 416
↑ Prime Numbers, a computational perspective, 2nd edition, Springer, 2005, p. 417
↑ Statistiques sur le nombre de triplets abc sur le site www.rekenmeemetabc.nl (archive de 2016).
↑ ^{a et b} Serge Lang, Algebra, 3^e édition revue, Springer, 2002, p. 196.
↑ Cela peut se démontrer avec un raisonnement par récurrence en utilisant l'identité remarquable : $3^{2^{n+1}}-1=(3^{2^{n}}-1)(3^{2^{n}}+1)$ .
↑ Serge Lang, Algebra, 3^e édition revue, Springer, 2002, p. 194.
↑ ^{a b c et d} Pascal Boyer, Petit compagnon des nombres et de leurs applications, Paris/58-Clamecy, Calvage et Mounet, 2019, 648 p. (ISBN 978-2-916352-75-6), II. Nombres premiers, chap. 5.6 (« Quelques conjectures en récente évolution »), p. 254-256.
↑ M. Langevin, « Cas d'égalité pour le théorème de Mason et applications de la conjecture abc », CRAS, vol. 317, n^o 5,‎ 1993, p. 441-444
↑ Finiteness Theorems for Dynamical Systems, Lucien Szpiro, talk at Conference on L-functions and Automorphic Forms (on the occasion of Dorian Goldfeld's 60th Birthday), Columbia University, May 2007, cf. Peter Woit, « Proof of the abc Conjecture? », 26 mai 2007.
↑ a+b=c ? : article de Pierre Colmez du 6 septembre 2012 sur Images des mathématiques, à propos de l'annonce de démonstration de la conjecture abc par Mochizuki
↑ Mochizuki, Shinichi, « Inter-Universal Teichmüller Theory IV: Log-Volume Computations and Set-Theoretic Foundations », Travail en cours, août 2012
↑ (en) Cathu O'Neil, « La conjecture abc n'a pas encore été prouvée », 14 novembre 2012 (consulté le 22 décembre 2017)
↑ (es) Carlos Zahumenszky, « La solution à l'un des problèmes mathématiques les plus célèbres de l'histoire est si complexe que personne ne la comprend », 19 décembre 2017 (consulté le 22 décembre 2017)
↑ (en) « La conjecture abc n'a (toujours) pas été prouvée », 17 décembre 2017 (consulté le 22 décembre 2017)
↑ Erica Klarreich, « Titans of Mathematics Clash Over Epic Proof of ABC Conjecture », Quanta Magazine,‎ 20 septembre 2018 (lire en ligne)
↑ (en) Davide Castelvecchi, « Mathematical proof that rocked number theory will be published », Nature, vol. 580, n^o 7802,‎ avril 2020, p. 177–177 (ISSN 0028-0836 et 1476-4687, DOI 10.1038/d41586-020-00998-2, lire en ligne, consulté le 18 juillet 2020)

Voir aussi[modifier | modifier le code]

Article connexe[modifier | modifier le code]

ABC@home, projet de calcul réparti utilisant BOINC afin de démontrer la conjecture abc en trouvant tous les triplets (a, b, c) jusqu'à 10¹⁸, voire plus.

Liens externes[modifier | modifier le code]

(en) Eric W. Weisstein, « abc Conjecture », sur MathWorld
(en) The abc conjecture homepage, page de A.Nitaj sur le site du laboratoire de mathématiques de l'université de Caen
(en) Modular forms, elliptic curves and the ABC-Conjecture, par Dorian M. Goldfeld

Arithmétique et théorie des nombres

[1] (en) Dorian Goldfeld, « Beyond the last theorem », The Sciences (en),‎ mars/avril 1996, p. 34-40.

[2] Prime Numbers, a computational perspective, 2nd edition, Springer, 2005, p. 416

[3] Prime Numbers, a computational perspective, 2nd edition, Springer, 2005, p. 417

[4] Statistiques sur le nombre de triplets abc sur le site www.rekenmeemetabc.nl (archive de 2016).

[Lang196-5] {a et b} Serge Lang, Algebra, 3^e édition revue, Springer, 2002, p. 196.

[6] Cela peut se démontrer avec un raisonnement par récurrence en utilisant l'identité remarquable : $3^{2^{n+1}}-1=(3^{2^{n}}-1)(3^{2^{n}}+1)$ .

[7] Serge Lang, Algebra, 3^e édition revue, Springer, 2002, p. 194.

[boyer-8] {a b c et d} Pascal Boyer, Petit compagnon des nombres et de leurs applications, Paris/58-Clamecy, Calvage et Mounet, 2019, 648 p. (ISBN 978-2-916352-75-6), II. Nombres premiers, chap. 5.6 (« Quelques conjectures en récente évolution »), p. 254-256.

[9] M. Langevin, « Cas d'égalité pour le théorème de Mason et applications de la conjecture abc », CRAS, vol. 317, n^o 5,‎ 1993, p. 441-444

[10] Finiteness Theorems for Dynamical Systems, Lucien Szpiro, talk at Conference on L-functions and Automorphic Forms (on the occasion of Dorian Goldfeld's 60th Birthday), Columbia University, May 2007, cf. Peter Woit, « Proof of the abc Conjecture? », 26 mai 2007.

[11] +b=c ? : article de Pierre Colmez du 6 septembre 2012 sur Images des mathématiques, à propos de l'annonce de démonstration de la conjecture abc par Mochizuki

[12] Mochizuki, Shinichi, « Inter-Universal Teichmüller Theory IV: Log-Volume Computations and Set-Theoretic Foundations », Travail en cours, août 2012

[13] (en) Cathu O'Neil, « La conjecture abc n'a pas encore été prouvée », 14 novembre 2012 (consulté le 22 décembre 2017)

[14] (es) Carlos Zahumenszky, « La solution à l'un des problèmes mathématiques les plus célèbres de l'histoire est si complexe que personne ne la comprend », 19 décembre 2017 (consulté le 22 décembre 2017)

[15] (en) « La conjecture abc n'a (toujours) pas été prouvée », 17 décembre 2017 (consulté le 22 décembre 2017)

[16] Erica Klarreich, « Titans of Mathematics Clash Over Epic Proof of ABC Conjecture », Quanta Magazine,‎ 20 septembre 2018 (lire en ligne)

[17] (en) Davide Castelvecchi, « Mathematical proof that rocked number theory will be published », Nature, vol. 580, n^o 7802,‎ avril 2020, p. 177–177 (ISSN 0028-0836 et 1476-4687, DOI 10.1038/d41586-020-00998-2, lire en ligne, consulté le 18 juillet 2020)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]