La Conjecture ABC

LA CONJECTURE abc
Autor(en): Objekttyp:
Nitaj, Abderrahmane Article
Zeitschrift:
L'Enseignement Mathmatique
Band(Jahr): 42(1996) Heft 1-2: L'ENSEIGNEMENT MATHMATIQUE
Erstellt am: Jul 17, 2013 Persistenter Link: http://dx.doi.org/10.5169/seals-87869
Nutzungsbedingungen Mit dem Zugriff auf den vorliegenden Inhalt gelten die Nutzungsbedingungen als akzeptiert. Die angebotenen Dokumente stehen fr nicht-kommerzielle Zwecke in Lehre, Forschung und fr die private Nutzung frei zur Verfgung. Einzelne Dateien oder Ausdrucke aus diesem Angebot knnen zusammen mit diesen Nutzungsbedingungen und unter deren Einhaltung weitergegeben werden. Die Speicherung von Teilen des elektronischen Angebots auf anderen Servern ist nur mit vorheriger schriftlicher Genehmigung mglich. Die Rechte fr diese und andere Nutzungsarten der Inhalte liegen beim Herausgeber bzw. beim Verlag.
Ein Dienst der ETH-Bibliothek Rmistrasse 101, 8092 Zrich, Schweiz

retro@seals.ch http://retro.seals.ch
LA CONJECTURE abc
par Abderrahmane
Nitaj
1
.
Introduction
En 1637, Pierre de Fermt crivait dans la marge des uvres de Diophante
qu'il avait trouv une belle dmonstration
du thorme
suivant:
(x,
Thorme 1.1. Pour tout entier de l'quation y, z)
3,
les seules
solutions entires
sont telles que
xyz
= 0.
Non seulement cette dmonstration
fut jamais retrouve, mais jusqu'en 1995 personne n'a russi dmontrer ce thorme dans sa gnralit. Les travaux rcents de A. Wiles viennent enfin d'y parvenir. Le thorme de Fermt se distingue donc particulirement par la simplicit de son nonc
ne
et
par
la
difficult
des
de
sa
rsolution.
Il
illustr l'volution
de
certaines
mathmatiques (thorie des nombres, gomtrie algbrique, ...). Pourtant, isol, le thorme de Fermt n'a pas une grande importance. Il a repris de l'intrt ds qu'on l'a reli d'autres problmes de math matiqueset notamment la conjecture de Shimura-Taniyama-Weil. La conjecture abc de J. Oesterl et D. W. Masser est ne dans ce contexte: rompre
branches
conjecture n'implique que la version asymptotique du thorme de Fermt, son importance en thorie des nombres est grande. Sa dmonstration permet en effet de rsoudre plusieurs autres problmes ouverts. Le but de cet article est de donner une description de la conjecture abc (partie 2) et d'numrer la plupart de ses consquences (partie 3). La partie 4 est consacre l'tude de certaines mthodes permettant de tester numri
si
l'isolement
du
thorme
de
Fermt.
Mme
cette
quementla conjecture abc

partie
5
et
d'en prvoir une forme effective.
prsente
quelques gnralisations
possibles
de
la
Enfin, la conjecture abc.
2.
La
conjecture
abc
ainsi que
les
Dans cette partie, nous allons rappeler la conjecture abc,
quelques
tentatives
qui
est
dfinition suivante
pour essayer de la troitement lie la conjecture abc.
ont
faites
dmontrer.
La
Dfinition
et on
2.1.
le
Soit
un
entier non nul. On appelle radical
de
crit
r(n)
produit
des
facteurs premiers distincts divisant

Le
n,
avec par convention
r(\)
radical
est
quelquefois
appel
support,
conducteur
ou
noyau
et
vrifie r{n) \n. Motivs par un thorme de Mason ([lo], [20]) sur les polynmes et par certaines conjectures de Szpiro [31], J. Oesterl et D.W. Masser ont formul en 1985 la conjecture suivante, plus connue sous le nom de conjecture abc [20]:
Conjecture 2.2. {abc). Pour tout c(s) >0 telle que pour tout triplet (a,
s>o,
b, c)
//
existe
une
constante
d'entiers positifs,
vrifiant
a+b=c
et
(a, b) =
on ait:
Une premire analyse de l'ingalit de la conjecture abc montre que si un triplet (a,b,c) d'entiers positifs vrifie a + b = c et (a, b) = 1, alors le produit abc est compos de nombres premiers distincts avec pour la
plupart un exposant relativement petit. On peut constater ce fait dans les donnes la fin du tables de factorisation de nombres de la forme a - b livre de H. Riesel (voir [24], pp. 388-437). Pour s > 0 fix, la constante c(s) qui lui correspond dans la conjec tureabc peut tre unique, en prenant:
n n
,
(2.3)
avec
/=
{(a,
b, c) e N
prendre s = 0 choix n'est pas possible.
Quant la possibilit dans la conjecture abc, la proposition suivante montre que

3
,
(a, b)
=I,a+b=
c}.
de
ce
Proposition
2.4.
Pour
s>o,
de la
soit
c(z)
abc.
la
constante
dfinie
par (2.3) vrifiant l'ingalit
conjecture
Alors
Preuve.
On dfinit les entiers x n
et y
par la relation:
Alors pour tout par rcurrence que

2
1,
2m2
1+
\y
n
.
2n2
2y
xx
Si
n=
la
m
,
on
vrifie
m + l
Appliquons
n
conjecture abc
facilement la relation
xx
2j^.
On obtient pour
= 2
Alors c(e)
2m2
< 1
V**
et
donc
ce
qui montre que lim c(s)
s->
=+
Des
dmonstrations
et
diffrentes
dans
0
00.
de
la
proposition
2.4.
se
trouvent
[10]
[20].
Depuis sa formulation en 1985, peu de rsultats thoriques ont t dcouverts sur la conjecture abc. Il n'existe actuellement que deux thormes
concernant. Les dmonstrations de ces deux thormes s'appuyent sur des mthodes utilisant des formes linaires de logarithmes complexes et /?-adiques. Nous donnons ici ces deux thormes. Leurs dmonstrations se
la
trouvent dans [29]
et
[30] respectivement.
Thorme 2.5. (Stewart, Tijdeman, 1986). // existe tivementcalculable k>o telle que, pour tout triplet positifs, vrifiant a+b=c et (a,b) = on ait:
1
une constante
{a, b, c)
effec
d'entiers
Thorme 2.6. vementcalculable positifs, vrifiant
(Stewart,
Yu,
et
1990).
(a, b) =
// existe
1
une
constante
(a, b, c)
effecti
d'entiers
k>o
telle que, pour
a+b=c
les
tout triplet on ait:
ingalits des deux thormes ci-dessus sont expo nentiellesen r(abc), alors que l'ingalit de la conjecture abc est seulement
Remarquons que
polynomiale.
3.
Applications
nous
de
la conjecture abc
la
la
Dans
cette
partie,
dcrivons
conjecture abc montrant ainsi son

3.1.
plupart des consquences de importance en thorie des nombres.
Les
conjectures
de
Szpiro
conjecture abc et certaines d'entre elles ont les mmes consquences. Nous donnons deux de ces conjectures. La conjecture suivante est une consquence de la conjecture abc
la
et
a
Les conjectures de Szpiro sont antrieures (1983)
t trs
tudie ([l3],
[15],
[17],
[31]).
Conjecture
une
constante
3.1.1. (Szpiro, forme forte). Pour tout telle que pour toute courbe c(e) >0
de
e>o,
//
existe
stableE
on
sur Q,
discriminant minimal
AEA
et
de
elliptique semi conducteur NEN E
ait:
Le
conducteur d'une courbe elliptique semi-stable est le radical de son dis criminantminimal. Pour une dfinition exacte du conducteur, on peut consulter [27].
La conjecture
suivante
est
connue aussi sous
le
nom
de
conjecture
de
Lang-Szpiro.
Conjecture
3.1.2.
Pour
tout
s>o
et
pour tout couple

=
(A,B)
telle que
3
d'entiers premiers entre eux, il existe une constante pour tous les entiers u, u, k vrifiant {Au, Bu) on ait:
c(z,A,B) >0 et k= Au
1
+ Bu
2
,
Proposition
ture3.1.2.
Preuve.
des
3.1.3.
La conjecture
abc
est
quivalente
la
conjec
Admettons d'abord la conjecture abc. Soient A,B,u,v et k La conjecture abc entiers tels que (Au, Bu) =1 et k= Au + Bu
3
donne
Supposons que |,4w manire), alors |u|< c (A, B) \u

3
|^|^
(le
.
cas
inverse
se
fait
de
la
mme
2/3
En
reportant cette majoration dans
l'ingalit ci-dessus, on obtient:
et
par suite:
Prenons
tel que
5s >
et
posons s'
18e/(l - se), alors:
On obtient alors pour
Ceci prouve la conjecture 3.1.2.
Inversement, admettons positifs vrifiant a< b, a +
la
b
conjecture 3.1.2. Soient = c et (a, b) = Alors

1
.
a, b
:
et
des
entiers
Cette relation peut tre ventuellement simplifie par

En
333
si a
=b
(mod
3).
appliquant
la
conjecture 3.1.2, on obtient:
et
donc:
et
finalement
Ceci prouve la conjecture abc.
3.2.
Les
Consquences sur les
triplets d'entiers
de la
propositions suivantes montrent l'influence l'architecture des triplets d'entiers.
conjecture abc sur
Proposition
tout
3.2.1.
existe
s>o,
//
abc conjecture telle une constante c(e)

Si
la
est
pour que pour tout triplet
vraie,
alors
(*i ,X 2,x
des
#,-
d'entiers positifs, vrifiant /e { 2, 3 } vrifie:

1
, ,
+x2=x3
et
(jci
x2
=1,
Cette proposition
thorme
de
fait apparatre un lien entre la conjecture #&c Fermt. Nous avons aussi le rsultat suivant:
Si la
1,
et
le
Thorme 3.2.2.
et
tout entier
tout entier
n^2
Soit
n
et
conjecture abc est vraie, alors pour tout s>o // existe une constante telle que pour Ci(e, a) >0 tout entier x^2 vrifiant (a, x) = on ait:
1
Preuve.
la
fix tel que

n
relation (x
/2. Appliquons la conjecture abc +an =xn avec (a,x) =I.On obtient:
o<B<l
Alors
Si
est assez
petit
et
si
2,
on
d'une part ( -
\)/{n
et
d'autre part:
-1-s)<2
avec s' = 2s
/(l
s). On
obtient finalement
la
conclusion du thorme.
3.3.
Les nombres de
Wieferich
Un nombre premier p vrifiant la congruence
avec
= 2
est
appel
nombre
x > 0,
de
que
si
un nombre premier p ne
p
Wieferich. En 1909, celui-ci a montr vrifie pas la congruence ci-dessus, alors il

0
n'existe pas d'entiers xyz #0 (mod p) et

En
1910,
y >
+yp =zp
prouv
la
Mirimanoff
premiers entre eux, tels que (premier cas du thorme de Fermt). mme chose avec a = 3. Les nombres
et
z
> 0,
premiers vrifiant cette congruence sont trs rares. Par exemple, les seuls nombres premiers p vrifiant cette congruence avec a = 2 et/?^3 x 10 10
sont 1093
et
3511. De mme, les seuls

11
vrifiant cette congruence
avec
et/?
est la
2302
30
sont
et
1006003 (voir [14] ou [22]). Un problme encore ouvert
conjecture suivante:
Conjecture
premiers
p
3.3.1.
aa
Soit
p
~l~
2.
//
p
2
existe
).
une
infinit
de
nombres
tels que
#1 (mod
J.H.Silverman
de la
[28]
montr que cette conjecture
est une
consquence
conjecture abc.
La
3.4.
conjecture
de
Mordell
que
Une des consquences les plus tonnantes de la conjecture abc est le fait celle-ci implique tout simplement la conjecture de Mordell, devenue
de
thorme
Faltings:
g
2
Toute courbe de genre
dfinie sur
n'admet qu'un nombre
fini
E.
de
points rationnels.
conjecture a t redmontre par la suite par P. Vojta [34] et Bombieri [I]. En 1991, N.D. Elkies a dtermin son lien avec la conjec
Cette [4]).
tureabc (voir
de
Thorme 3.4.1. (Elkies). Mordell.
La conjecture
abc
implique
la
conjecture
A la fin de son article, Elkies donne le
corollaire suivant:
abc
Corollaire
B>o
et
3.4.2. (Elkies).
La conjecture
implique que pour tout

de
tout polynme
Pe Z[X, Y],
homogne,
degr
et
sans
facteurs carrs, il existe une constante c(s, P) telle que pour tout couple (a,b) d'entiers premiers entre eux, vrifiant P(a, b) = 0 on ait:
3.5.
La
La
conjecture d'Erds-Woods
a
conjecture suivante
formule par
P.
Erds,
puis
par
Woods
en
1981.
3.5.1. (Erds-Woods). Il existe une constante si et x que pour tous les entiers positifs y, r{x +/)= r(y tout i, i= 1, 2, ...,/:, alors x=y.
Cette conjecture est fausse pour conviennent). Par contre pour k
Conjecture
k>o
+/)
telle
pour
k=2(x=2"-3,y=
3,
22n2
2n
-2n
+l-1
aucun
exemple
d'entiers
diffrents
vrifiant
a
les
le
galits de la conjecture d'Erds-Woods n'est connu. M. Langevin
montr
rsultat suivant (voir [11, 12]).
(Langevin). La conjecture abc implique que la conjecture d'Erds-Woods est vraie avec k=3, sauf peut-tre pour un nombre fini d'exceptions pour x et y.
3.6.
En
Proposition
3.5.2.
La
conjecture
de
a
Hall
nonc la conjecture suivante [7]
1971, M.
Hall Jr.
Conjecture
tous entiers
3.6.1. (Hall).
et
// existe une constante
c>
ait:
telle que pour
x>l
par
y>o
vrifiant
x3x
2
y2y
on
solutions non triviales de l'quation \x y =1 sont (x, y) = (2, 3). La relation 28187351 - 149651610621 = -1090, montre que dans la conjecture de Hall, la constante c vrifie c 0,205305. La conjecture abc n'admet pour consquence que la forme faible suivante de la conjecture de Hall
On
sait
exemple depuis
3
1738
\
(Euler), que
les
seules
(voir [17], [25]).
Conjecture
3.6.2.
telle que pour tous les
Pour tout entiers x>
z>o,
1
//
existe une constante

on
c(s) >0
et
y>o
ait:
3.7.
L'QUATION
La
DE
FERMAT GNRALISE
conjecture abc s'applique particulirement aux quations diophan tiennes trois termes, dont l'quation de Fermt gnralise. conjecture abc est vraie des entiers strictement positifs, alors l'quation:
5/ la
Thorme 3.7.1.
et si
A,B,
sont
n'admet qu'un nombre fini vrifiant l~ + m~ + n~

l l
de
l
solutions
1
en
entiers positifs
=
x,y,z, l,m,n
sans
<
le
et
(x
y,z)
est
z
l.
Preuve.
la
Si
z=l,
abc.
,
alors
thorme
donc
est
clair,
mme
que
admettre
Soit
conjecture
1,8l
Supposons
n
que
2et
(x,y,z) =1.
d= (Ax ,By
au
m
l
Cz
).
m
Alors
d
n
born. En appliquant la conjecture abc

on
triplet (Ax /d, By
/ d, Cz
/d),
obtient:
d'o l'on tire:
Puisque Ax
< Cz
et
By
< Cz
n
,
alors
x<
c4
(A, C)z n/l
et
y<
(B,
C)z
n/m
.
Ainsi
ce
qui donne:
Si
/~!
~
l
4)
m-1
+n~l
donc
<
z
n
et si
est assez
petit, alors
z,
(1
+s)(/-l
de
+m
+n
>oet
est
born. Ainsi
x,y,l,m,n
sont borns.
cette
Remarque 3.7.2. On peut trouver d'autres dmonstrations proposition dans [25] et [33]. Dans le cas A = B = C = 1, seules tionssont connues avec l~ + m~ + n~ <l:
1 1 1
10
solu
ainsi que
les
solutions suivantes, dcouvertes par Beukers
et
Zagier (voir [3]):
3.8.
Quelques conjectures sur les nombres puissants
Dfinition
la
3.8.1.
Un
si
entier
p
est
n
un
et
proprit suivante:
n.
n n
divise
nombre puissant s'il possde si est premier, alors p

p2p
divise
Si
est
un
2
a2a
nombre puissant,
3
,
alors il
s'crit
et
de
forme
b
n
o
.
est
sans
facteurs carrs
faon unique sous la son radical r(n) vrifie

de [22] et de [6]
a
donc r(n)
l/2
Les conjectures cites dans cette partie
proviennent
//
(B16).
de
Conjecture
Cette
2602
3.8.2.
(Erds-Mollin-Walsh).
vrifie
en
n'y
aucun
triplet
nombres puissants conscutifs.
conjecture
et
est
pour
tous
les
triplets
d'entiers
de
60
[18]
implique
particulier qu'il existe une infinit
infrieurs nombres
premiers p tels que
Ceci fait apparatre un lien avec
le
premier
cas
du thorme de Fermt
(voir [22]).
La conjecture abc ne permet pas de rpondre totalement ture3.8.2, mais permet d'avoir ceci (voir [17]):
la
conjec
Proposition 3.8.3. nombre fini de triplets

et
La
de
conjecture abc implique qu'il n'y nombres puissants conscutifs.
qu'un
Les conjectures suivantes concernent les nombres de Fermt et de Mer senne
il
est
facile
de
montrer qu'elles
sont
des
consquences
de
la
conjec
tureabc ([l7]).
Conjecture
le
3.8.4.
de
2k2
Pour tout entier

k
k
k
.
2,
soit
le
nombre puissant
00.
plus proche
avec
Alors
lim
k -*
oo
|2k-nk\=+
Conjecture
Mer senne qui
ne
3.8.5.
// existe une infinit de nombres de Fermt et de
sont pas des nombres puissants.

la
conjecture suivante sur les nombres 4 -puissants qui sont des entiers n tels que r(n) \n (voir problme 816 de [6], dition 1981). Cette conjecture est aussi une consquence de la conjecture abc.
4
y
Pour terminer cette partie, citons
Conjecture 3.8.6. (Erds). L'quation x+y=z n'admet qu'un nombre fini de solutions en entiers positifs 4-puissants, premiers entre eux.
3.9.
La
conjecture
de
Richard
La conjecture suivante est tire de [23]:
Conjecture
tout entier
n
3.9.1. (Richard).
0:
Si
deux entiers
et
vrifient pour
alors ils sont gaux.
faon lgante que cette conjecture quencede la conjecture abc (voir [17], [23]).
A. Schinzel
a
montr
de
est une
cons
3.10.
Le
problme
de
de
Croft
\
savoir dans quelle mesure la diffrence \n\ - 2 m peut tre petite par rapport 2m s'appelle le problme de Croft (voir [6], F23). Des rsultats exprimentaux nous ont motiv pour proposer la conjecture
Le problme
suivante (voir [17]).
Conjecture
les
3.10.1.
et
n
// existe une constante
c>
telle que pour tous

on ait:
entiers
avec
(m, n) (0, 0), (1, 0), (2,
1)
La conjecture abc implique cependant une forme faible de cette conjecture
(voir [17]).
Proposition
3.10.2.
La
conjecture
c(e) >0
1),
abc
on
implique
que
pour
tout
m
s>o,
et
n
il existe une constante
telle que pour tous les entiers
avec
(m, n) (0, 0), (1, 0), (2,
ait:
3.11.
Autres consquences
de
Nous regroupons dans cette partie plusieurs consquences
la
conjec
tureabc.
des
Cela concerne en particulier des quations diophantiennes lies
problmes ouverts.
Proposition
conjecture
abc
3.11.1.
Soient
A>o,B>o
et
des
entiers.
La
implique que l'quation
n'a qu'un nombre

avec
fini
de
solutions
en
entiers
x>
1,
y>
1,
m >
1,
>
mn
>4.
Pillai. Lorsque A = 1, B = et k = 1, cette conjecture porte le nom de conjecture de Catalan, qui affirme en plus que (x,y, m, n) = (3, 2, 2, 3) est l'unique solution. En 1976, R. Tijdeman [32] a montr que l'quation de Catalan n'admet qu'un nombre fini de solutions.
Cette proposition est lie
une conjecture de
1
Proposition
3.11.2.
La conjecture
abc
n'admet qu'un nombre fini

et
de
solutions
1,
en
=
1
entiers positifs
et
v,
n>l
Cette
w,x,y,
et
si
m >
vrifiant
proposition
p.
(x, u) =
est
(y, w)
une
de
mn
de
>4.
Shorey
lie
conjecture
est
(voir [26], variables v,
202).
Cette
conjecture
vraie en
particulier
Tijdeman l'une des
w, x ou y est
compose
nombres premiers fixs.
Proposition
3.11.3.
La conjecture
abc
n'admet qu'un nombre fini

et
de
solutions
en
entiers
x>o,y>o,n
des
2.
un problme de Brocard (voir [6], D25) et

sur
de
sa
dmonstration (voir [17] et [21]) est base vantes,dduites des formules de Stirling et
valables pour x
2:
l'utilisation
ingalits sui
p.
Chebyshev (voir [19],
374),
(3.11.4)
Proposition
3.11.5.
La conjecture
abc
n'admet qu'un nombre fini et Pk-\ n<Pk o (pt),

Sa
de
i
solutions
1
en
entiers
1,
0,
est la suite des
nombres premiers.
une conjecture
d'Erds-Stewart (voir [6], A2).
dmonstration
est base
aussi sur les ingalits (3.11.4).
Proposition
3.11.6.
La conjecture
abc
n'a
qu'un
nombre fini
de
solutions
en
entiers
x>o, y>o, z>o
et
n^A.
un problme ouvert sur les quations
diophan
tiennes(voir
entier
[6], D2).
Proposition
a
3.11.7.
La
conjecture
abc
implique
que
pour
tout
1,
l'quation
n'a
qu'un nombre fini

avec
de
solutions
l
en
l
entiers
m>l
(x,y)=l,3nde
m-
<l.
x>y>o, z>o, >3,

un problme de H.
Cette proposition est une rponse gnrale
Edgar
([6], D10)
et
Shorey-Tijdeman ([26], pp. 202, 203).
Proposition
3.11.8.
La conjecture
abc
n'a qu'un nombre
fini
de
solutions
en
entiers
x> y>
et
m>n>3.
La recherche de solutions pour l'quation ci-dessus est appele problme de Goormaghtigh (voir [6], 825). Avec n = 3, (x, y, m, n) = (2, 5, 5, 3),
(2, 90, 13, 3)
sont les seules solutions connues.
Proposition
entier
3.11.9.
La
conjecture
abc
implique
que
pour
tout
d^l,
l'quation
n'a
qu'un
nombre fini
de
solutions
en
entiers
x>o,k
2,
y>o
et
n^2.
Cette proposition montre le lien entre la conjecture abc et les progressions arithmtiques. P. Erds et J.L. Selfridge ont montr en 1975 que l'quation
ci-dessus n'a pas de solution dans
de
le cas
particulier
d =
(voir [33] pour plus
dtails).
4.
LA
trois
le
RECHERCHE DE FORMES EFFECTIVES
Soient
a
a, b
et
entiers
le
= c.
Soit
r =
r(abc),
triplet
positifs, premiers entre eux et vrifiant radical de abc. On dfinit le rapport de
Oesterl-Masser pour
(a, b, c) par:
On
dfinit
de
mme
le
rapport
de
Szpiro pour
le
mme triplet par:
dernier rapport est li la conjecture de Szpiro (voir conjecture 3.1.1) par les courbes elliptiques E atbtC que Y. Hellegouarch [9] a mis au point en 1972 pour tudier le thorme de Fermt. C'est en utilisant ces mmes courbes que K. Ribet a tablit le lien entre la conjecture de Shimura-TaniyamaCe
Weil
et
le
a
thorme
+ b = c et
de
vrifiant
Fermt. Pour un triplet {a, b, c) d'entiers positifs (a, b) = 1, la courbe E OtbtC est dfinie par:
Si le
triplet (a,b,c) vrifie, par exemple,

et
alors E ybjC est semi-stable
dans
ce
cas
son quation minimale

=
0
(mod
16) et b =
(mod 4), est donne

1
par:
Toujours avec
EE
a
les
mmes hypothses,
1
le
discriminant minimal
donne
de la
courbe
mme
,b,c
est
gal
(abc/16)
et
la
conjecture 3.1.1
donc
la
conclusion que
la
conjecture abc:
// existe
Pour tout
s>o,
la
une constante
c(s) >0
telle que Von ait:
L'ingalit
Masser
et
de
conjecture abc implique que
les
rapports
de
Oesterl-
de
Szpiro vrifient:
Ceci
(a, b, c)
ou
implique en particulier qu'il n'y d'entiers positifs vrifiant a + b =

b, c) >
3
pO,
Xq
+ k,
devient faux pour k

par
=
37, y
17,
qu'un nombre fini de triplets et a(a, b, c) > + k c, (a, b) = o k > 0 est fix. On peut voir facilement que ceci 0. En effet, dfinissons les suites (x ), (y ) et (z ) 0, Zo = 21, et pour tout n
a
1 1 n
Alors pour tout
Posons
Alors pour
1,
et
donc a(a n
,c
>1
et
p(a n
,c
>3.
la question s'il existe un triplet poser maintenant naturellement est maximal. Nous avons en fait pour lequel l'un des deux rapports a ou p
On peut
se
la rponse
suivante.
4.1.
Proposition
d'entiers positifs
lequel
le
La conjecture
abc
, c))
implique qu'il existe

et
un
triplet pour
{a, b, c)
a
vrifiant
p(a,
(a,b)=l
est
a+b=c,
rapport
(a, b, c) (resp.
maximal.
de Admettons la conjecture abc. Supposons qu'il n'existe pas ) un triplet (a,b,c) admettant un rapport a maximal. Soit (a ,b ,c avec a et +bo= c triplet d'entiers positifs vrifiant (a ,b de relations a(a ,b O9 c )> 1. On peut donc construire une infinit c b c ) > a(a -i). 1, a(a n -\ -i (a ,b ,c ) telles que pour tout n D'autre part, la conjecture abc implique que pour tout rel s > 0, il existe 0, on ait: une constante positive c(e) telle que pour tout n
Preuve.
)=l
n
,
bb
n-i,n
Choisissons
(a
,c n ) (voir [26]),
n
n
,b
Comme les triplets sont diffrents deux deux, alors d'aprs le thorme de Mahler lim r(a n b c n ) = oo et donc:
s
tel
que
I+s<
a(a
c0).c
).
n -
oo
ce
qui contredit la dfinition de la suite.

Les
1
pour triplets (a, b, c) d'entiers positifs vrifiant a + b = c, (a, b) = lesquels les rapports a(a,b,c) ou p(a, b, c) sont proches des valeurs et 3 sont nombreux. Nous convenons de dire qu'un triplet conjecturales (a,b,c) est bon pour la conjecture abc si a (a, b, c) > 1.4 ou si p(a b,c) > 3.8. Dans la suite, on se propose de dcrire une mthode de
1
9
recherche
sur la
de
bons triplets pour la conjecture abc.

de
Cette mthode est base
rsolution
l'quation diophantienne
(4.2)
en
entiers x,y,
o les entiers A, B,
C et n
sont donns
n
et
vrifient
A > 0,
Bo,C>o,n
nous prenons les
le
2et (A,B) =1. Pour chaque solution (x,y,z) de (4.2), entiers a, betc parmi Ax n By et Cz de telle sorte que
,
triplet (a, b, c) vrifie les rapports a(a,b,c)
<
< b,
b, c)
+ b =
et
(a, b) =
1.
On calcule enfin
et
p(#,
en
esprant qu'ils soient bons pour la
conjecture abc. Pour cela, on doit bien choisir les donnes A, B et cherche les solutions de (4.2) dans lesquelles z est petit par rapport description dtaille de cette mthode se trouve dans [15, 16, 17].
| |
C et on
C. La
Nous
avons
ainsi
dtermin
86
exemples
de
triplets
les
(#, b, c)
1.4
et
d'entiers
autres
et
positifs
vrifiant a+b=c, (a, b) =1 et a (a, b, c) 3.8. Nous listons dans exemples vrifiant p(a,b,c)
Table
4.3
103
tables 4.3
4.4
Table
4.4
triplets connus actuellement relativement au rapport a et au rapport p. L'auteur peut fournir, sur demande, la totalit des triplets dont il dispose. Certains exemples ont t dtermins en mme temps par une mthode diffrente par J. Browkin et J. Brzeziriski et sont nots B-B (voir [2]). De manire exhaustive, N. Elkies et J. Kanapka ont dtermin tous les
les
11
meilleurs
(a, b) =1 positifs (a, b, c) vrifiant a+b=c et a(a,b,c)^l.2 (communication prive). Rcemment, H. te Riele et P. Montgomery ont dtermin 5 nouveaux exemples en utilisant l'algo rithmeLLLde Lenstra, Lenstra et Lovsz (communication prive). D'autre part, nous avons continu la recherche de bons exemples pour la conjecture abc avec une mthode base sur les approximations /?-adiques. Cette mthode a permis de dcouvrir 21 nouveaux exemples avec a > 1.4 et 20 autres
triplets
d'entiers
232,2
32
avec
> 4.0.
Les tables 4.3 et 4.4 nous

de la
permettent
de
donner la forme effective suivante
conjecture abc:
4.5.
(a, b) =
Si
1,
Conjecture
(a, b, c)
est un
triplet d'entiers positifs vrifiant

1
-
a+b=c
et
alors
c< r(abc)
63
et
abc < r(abc)
42
.
Cette conjecture est bien entendu plus faible que la conjecture abc. Elle permet de dterminer des bornes explicites pour les solutions de certaines quations diophantiennes. A titre d'exemple, elle implique le thorme de
Fermt pour les exposants n La recherche d'une formule

en
5.
fonction
=
de
est
constante c(e) de la conjecture abc un problme diffrent. Il faut tenir compte du fait que
2.4)
et
de
la
lim c(e)
dans
+00,
[29]:
(Proposition
du
thorme
suivant,
dmontr
[13] et
Thorme 4.6. Soit d'entiers positifs vrifiant
>0.
// existe une infinit de triplets

(a, b) =
1
(a, b, c)
a+b=c,
et
tels que
Ce
thorme admet
4.7.
la
consquence suivante:
et
Proposition
triplet
que
(a, b, c)
Pour tout k>o d'entiers positifs vrifiant

(log
tout
>0,
il
existe
1
un
c> kr(abc)
a+b=c,
(a, b) =
et
tels
r(abc))
Preuve.
Soient
(log
k>o
k
et
>0.
Supposons
b
que
tous
1
les
tri
plets(a,
c
b, c)
d'entiers
positifs
>.
avec
kr(abc)
r(abc))
Soit
a+ (a,b,c)
= c
et
(a, b) =
vrifient
un
triplet
vrifiant
l'ingalit
du thorme
(4.6). Alors:
ce
qui donne:
et
donc
le
r(abc)
est
de
born,
ce
qui
est
impossible par
le
thorme (4.6)
et
par
thorme
Mahler.
La proposition 4.7 nous donne maintenant le rsultat suivant:
Proposition
triplet
tels que
(a, b, c)
4.8.
// existe un rel Pour tout k>o, d'entiers positifs, vrifiant a+b=c
s>o
et
et
un
(a, b)
=1,
Preuve.
Soit
k>o.
Supposons
que
pour
tout
=
s>o,
1
et
tout
triplet
(a, b, c) d'entiers positifs
vrifiant
+ b = c, (a, b)
on ait:
Le
s
minimum
du
second
membre
de
cette
ingalit
est
atteint
pour
k/\ogr(abc). Alors,
on doit
avoir:
ce
qui contredit la proposition 4.7.
5.
GNRALISATIONS
La conjecture abc est aussi simple par son nonc que le thorme de Fermt, mais certainement beaucoup plus difficile, et en tout cas sa rsolution
aura beaucoup
de
consquences
en
thorie
des
nombres. L'intrt
de
cette
conjecture nous ramne diffrentes directions.

5.1.
envisager la possibilit d'une gnralisation dans
-conjecture
de la
abc
La conjecture abc peut tre tendue
un nombre de paramtres suprieur
trois
Soit
faon suivante. 3. Soient a a

x
'",a
des
entiers vrifiant les conditions:
(5.1.1)
Soit r(a
"'
le
radical du produit
"'
La -conjecture abc
s'nonce ainsi (voir [2]):
Conjecture
tout
(#i
,
5.1.2.
(-conjecture abc).
c(e, n)
les
Pour tout entier
et
s>o,
#
2>2
//
existe une constante
>0
telle que pour tout n-uplet

on
>
"'
,cm)
d'entiers vrifiant
conditions (5.1.1)
ait:
5.2.
L'ANNEAU
DES
POLYNMES
L'analogue de la conjecture abc dans l'anneau des polynmes K[X] d'un corps K de caractristique nulle est en fait un thorme. On peut trouver sa dmonstration dans [10], [17] ou [20].
Thorme 5.2.1. (Mason). Soient A,B et C trois polynmes non tous constants de K[X], vrifiant A +B+ C=o et (A,B) = 1. Soit r{ABC) la somme des degrs des diffrents facteurs irrductibles de ABC. Alors
utile pour l'tude des quations poly nomiales.En particulier il implique le thorme de Fermt dans K[X] et explique pourquoi on ne peut pas esprer trouver des formules polynomiales donnant un grand nombre de bons exemples pour la conjecture abc.
ce
L'ingalit D'autre part,
du thorme ci-dessus ne peut pas tre
amliore (voir [12]).
thorme
est
trs
La -conjecture abc dans
K[X],
de la
o K est
un
corps de caractristique
nulle, peut tre formule aussi
faon suivante (voir [2]).
Conjecture
5.2.2.
Soient
de
un
entier et
des
ti
des
polynmes non tous constants aux conditions (5.1.1). Alors
K[X]
vrifiant
conditions analogues
r{ai"-a
de
dsigne
a\
la
somme
des
degrs
des
diffrents facteurs
irrductibles
5.3.
Corps de nombres
La
conjecture abc existe aussi dans les corps de nombres. Le lecteur intress peut trouver sa formulation par exemple dans [4], [5] ou [35].
RFRENCES
[1]
Bombieri,
E. The
J.
Mordell Conjecture Revisited. Annali Scuola Normale Sup.

S.
[2]
[3]
[4]
[5]
[6] [7]
IV, 17 (1990), 615-640. Brzezinski. Some remarks on the abc- conjecture. Math. Browkin, Comp. 62, N 206 (1994), 931-939. Darmon, H. and A. Granville. On the quation z m = F(x,y) and Ax p + By = Cz r Bull. London Math. Soc. 27 (1995), 513-514. Elkies, N.D. ABC implies Mordell. Intern. Math. Res. Notices 7 (1991), 99-109, in: Duke Math. Journ. 64 (1991). Frey, G. Links between solutions of AB=C and elliptic curves. Number Theory, Ulm 1987 (H. P. Schlickewei, E. Wirsing, eds.) Springer Lecture Notes in Math. 1380, 31-62. Guy, R.K. Unsolved Problems in Number Theory. Second dition. Springer Verlag, 1994. -y2 =k. Computers in Number Hall, M., Jr. The diophantine quation Theory (A.O.L. Atkin, B. J. Birch, eds.) Acadmie Press, London 1971,
Pisa, Cl. Sel,
and J.
.
x3x
173-198.
[8]
Hardy, K., J.B. Muskat and K.S. Williams. A deterministic algorithm for solving n = fu + gv in coprime integers u and u. Math. Comp. 55,
2 2
N
[9]
191
(1990), 327-343.
Y.
[10]
Courbes elliptiques et quation de Fermt. Thse, Universit de Besanon, 1972. Lang, S. Old and new conjectured diophantine inequalities. Bull. Amer. Math.
Hellegouarch,
Soc. 23 (1990),
37-75.
[11]
Langevin, M. Partie sans facteur carr d'un produit d'entiers voisins. Approxi mationsDiophantiennes et Nombres Transcendants, Luminy 1990 (P. Philippon, d.) Walter de Gruyter, Berlin 1992, 203-214.
d'galit pour le thorme de Mason et applications de la conjecture {abc), C. R. Acad. Sci. Paris, t. 317, Srie I (1993), 441-444. Masser, D.W. Note on a conjecture of Szpiro. Astrisque 183 (1990), 19-23. 2 Montgomery, P.L. New solutions of p ~ =1 (mod p ). Math. Comp. 61, N 203 (1993), 361-363. Nitaj, A. Algorithms for finding good examples for the abc and the Szpiro conjectures. Exprimental Math. 2 (1993), 223-230. An algorithm for finding good abc- examples. C. R. Acad. Sci. Paris,
Cas
x
[12] [13] [14] [15]

[16] [17]
aa
t.
317,
Srie I (1993), 811-815.
Consquences et aspects Szpiro. Thse, Universit
exprimentaux
de
des
conjectures
abc
et
de
Caen,
260.2
1994.
60
.
[18] [19] [20]
Conscutive powerful numbers to
Preprint, 1994.
to the
Niven,
1., H. S.
Zuckerman
and
H.L. Montgomery. An Introduction
[21] [22] [23]
Theory of Numbers. John Wiley and Sons, New York, 1991. Oesterl, J. Nouvelles approches du thorme de Fermt. Sminaire Bourbaki, 1987-88, N 694. (Astrisque, vols. 161-162, pp. 165-186). Paris, Soc. Math. Fr., 1988. 1 Bull. London Math. Overholt, M. The diophantine quation n\ +1=
ml.m
.
Soc. 25 (1993),
104.
Ribenboim, P. Remarks on exponential congruences and powerful numbers. /. Number Theory, 29 (1988), 251-263. Richard, D. Equivalence of some questions in mathematical logic with some conjectures in number theory. Number Theory and Applications. (R.A. Mollin d.), NATO ASI Sries, Ser. C, vol. 265 (1989), Kluwer,
529-545. Riesel, H. Prime Numbers and Computer Methods for Factorization. Second dition, Birkhuser, Basel and New York, 1994. Schmidt, W.M. Diophantine Approximations and Diophantine Equations. Lecture Notes in Math. 1467, Springer-Verlag, 1991.
[24] [25] [26] [27] [28]

[29]
Shorey,
Exponential Diophantine Equations. Cambridge University Press, Cambridge (1986). Silverman, J.H. The Arithmetic of Elliptic Curves. Springer-Verlag, 1986. Wieferich's criterion and the abc- conjecture. /. Number Theory 30 (1988)
226-237.
C. L. and R.
T.N.
and
R.
Tijdeman.
Stewart,
Tijdeman.
On the Oesterl-Masser conjecture.

a
Monatsh.
Math.
[30] [31]
102 (1986),
Stewart, CL.
225-230.
251-257. and Kunrui Yu. On the

et
bc- conjecture. Math. Ann

des
291 (1991)
183
Szpiro, L. Discriminant
conducteur
courbes elliptiques
Astrisque
[32]
[33]
(1990), 7-18. Tijdeman, R. On the quation of Catalan. Acta Arith. 29 (1976), 197-209. Diophantine quations and diophantine approximations. Number Theory
[34]
and Applications (R.A. Mollin ed), NATO ASI Sries, Ser. (1989), Kluwer, 215-243. Vojta, P. Siegel's theorem in the compact case. Annals of Math 509-548.
.
vol
265
133 (1991)
[35] [36] [37]

de
Diophantine Approximation
Notes in Math.
and
Value
Distribution
Theory.
Lecture
1239, Springer-Verlag
1987.
Weger, B.M.M. Algorithms for diophantine quations. CWI Tract, Centr. Math. Comput. Sci., Amsterdam 1989. Williams, K.S. and K. Hardy. A refinement of H.C. Williams' qth root algorithm. Math. Comp. 61, N 203 (1993), 475-483.
(Reu
le 20
avril 1995)
Abderrahmane Nitaj
Universit de Caen Dpartement de Mathmatiques
14000 Caen Cedex
France
(email nitaj@math.unicaen.fr)

La Conjecture ABC

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

La Conjecture ABC

Загружено:

Авторское право:

Доступные форматы

LA CONJECTURE abc

Nitaj, Abderrahmane Article

Band(Jahr): 42(1996) Heft 1-2: L'ENSEIGNEMENT MATHMATIQUE

Erstellt am: Jul 17, 2013 Persistenter Link: http://dx.doi.org/10.5169/seals-87869

Ein Dienst der ETH-Bibliothek Rmistrasse 101, 8092 Zrich, Schweiz

En 1637, Pierre de Fermt crivait dans la marge des uvres de Diophante

qu'il avait trouv une belle dmonstration

Thorme 1.1. Pour tout entier de l'quation y, z)

sont telles que

Non seulement cette dmonstration

quementla conjecture abc

d'en prvoir une forme effective.

Enfin, la conjecture abc.

Dans cette partie, nous allons rappeler la conjecture abc,

pour essayer de la troitement lie la conjecture abc.

entier non nul. On appelle radical

facteurs premiers distincts divisant

avec par convention

prendre s = 0 choix n'est pas possible.

Quant la possibilit dans la conjecture abc, la proposition suivante montre que

par (2.3) vrifiant l'ingalit

On dfinit les entiers x n

Alors pour tout par rcurrence que

qui montre que lim c(s)

trouvent dans [29]

Thorme 2.6. vementcalculable positifs, vrifiant

telle que, pour

tout triplet on ait:

conjecture abc montrant ainsi son

plupart des consquences de importance en thorie des nombres.

Les conjectures de Szpiro sont antrieures (1983)

elliptique semi conducteur NEN E

connue aussi sous

pour tout couple

Supposons que |,4w manire), alors |u|< c (A, B) \u

reportant cette majoration dans

l'ingalit ci-dessus, on obtient:

18e/(l - se), alors:

On obtient alors pour

Ceci prouve la conjecture 3.1.2.

Inversement, admettons positifs vrifiant a< b, a +

conjecture 3.1.2. Soient = c et (a, b) = Alors

Cette relation peut tre ventuellement simplifie par

conjecture 3.1.2, on obtient:

Ceci prouve la conjecture abc.

Consquences sur les

propositions suivantes montrent l'influence l'architecture des triplets d'entiers.

conjecture abc sur

abc conjecture telle une constante c(e)

pour que pour tout triplet

d'entiers positifs, vrifiant /e { 2, 3 } vrifie:

fix tel que

Un nombre premier p vrifiant la congruence

Wieferich. En 1909, celui-ci a montr vrifie pas la congruence ci-dessus, alors il

n'existe pas d'entiers xyz #0 (mod p) et

3511. De mme, les seuls

vrifiant cette congruence

1006003 (voir [14] ou [22]). Un problme encore ouvert

montr que cette conjecture

Toute courbe de genre

n'admet qu'un nombre

Thorme 3.4.1. (Elkies). Mordell.

A la fin de son article, Elkies donne le

implique que pour tout