M Y C B

100 % 80 % 60 % 40 % 20 % 10 % 5% 100 % 80 % 60 % 40 % 20 % 10 % 5% 100 % 80 % 60 % 40 % 20 % 10 % 5% 100 % 80 % 60 % 40 % 20 % 10 % 5%

pli
paire

COUPS L'O

La conjecture
logique et calcul

S LES N
U GA
O
T

NE
1 de Syracuse
JEAN-PAUL DELAHAYE

Le plus simple des problmes mathmatiques

non rsolus illustre la dmarche des chercheurs.

L
es sciences rsolvent les questions
lmentaires, puis passent
dautres plus compliques, pro-
gressant petit petit. Le pdagogue
dfend aussi cette ide dapprentissage
graduel : Lontogense de lapprentis-
sage suit la phylogense des dcou-
vertes, pense-t-il : llve traite les cas
simples et anciens, puis lentement passe
aux cas difficiles.
Hlas, le monde mathmatique ne se
plie pas cette vision dune arme de
chercheurs laborieux avanant selon un
plan fix sur un front de difficults : il est
des passages troits o lon ne peut main-
tenir lallure. Pire, la plaine est seme
de murailles invisibles dont on ne dcouvre
lexistence quen sy cognant.
La conjecture de Syracuse est une de
ces murailles sur laquelle la communaut
mathmatique a but (avec amusement
dabord, avec agacement ensuite) et, pour
linstant, aucun alpiniste na su la gravir.
Le problme est de formulation si simple
quil semble tonnant que personne
nait pu le rsoudre : quand vous aurez
lu cet article, vous serez au mme point
que les plus grands mathmaticiens, ce
qui nest pas une pitre satisfaction.
Dtaillons la rgle du jeu. Prenez un
entier, n ; sil est pair, vous le divisez par 2,
sil est impair, vous le multipliez par 3 et
vous ajoutez 1. Vous recommencez cette
opration avec le rsultat obtenu. Pre-
nons un exemple : partant de 10, vous
passez 5, puis 16 (3 5 + 1), puis
8, puis 4, puis 2, puis 1, qui vous
ramne 4, 2, 1, cycle dans lequel vous
restez alors tout le temps. Au bout du
compte, on retombe sur 1. Deux entiers
peuvent donner le mme rsultat (par
exemple, 32 et 5 donnent 16, leurs che-
minements se rejoignant), ce qui suggre
de reprsenter les divers parcours sous
la forme de graphes ou de tableaux.
Essayez dautres valeurs au hasard,
en vous aidant dun ordinateur si vous
voulez. Vous tomberez toujours sur 1.
Cette affirmation premptoire est injusti-
fie : personne na montr quon arrive
toujours 1 (do le nom de conjecture
de Syracuse pour cette affirmation).
On a essay tous les nombres jusqu
3,2 1016, et tous aboutissent 1.
TROUBLES
DANS LES ESPRITS
Cette conjecture dont lorigine, vers 1950,
reste confuse porte une grande varit
dautres noms provenant de mathmati-
ciens layant tudie ou fait connatre :
problme de Collatz, problme de Kaku-
tani, problme de lalgorithme de Hasse,
problme dUlam. Le nom de conjecture
de Syracuse est li lUniversit de Syra-
cuse, aux tats-Unis, o le problme fut
tudi. Le nom le plus souvent retenu
aujourdhui est plus simplement celui de
problme 3 x + 1.
S. Kakutani fit circuler le problme et
raconte : Pendant un mois, tout le monde
lUniversit de Yale travailla dessus, sans
rsultat. Un phnomne semblable se pro-
duisit lUniversit de Chicago. Cette
nigme, pensaient certains, avait t avan-
ce par le KGB pour ralentir la recherche
mathmatique aux tats-Unis.

1. RGLES ET EXEMPLES DU JEU DE SYRACUSE

LA RGLE DU JEU :
SI N EST PAIR : DIVISEZ PAR 2 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
SI N EST IMPAIR : MULTIPLIEZ 1 2 4 8 16 32 64 128 256 512 1024 2048 4096 8192 16384
PAR 3 ET AJOUTEZ 1
RECOMMENCEZ 21 42 84 168 236 572 1344 2599 5398
JUSQU' OBTENIR 1
5 10 20 40 80 160 320 640 1280 2560 5120
EXEMPLE : 10
10 DIVIS PAR 2 DONNE 5
53 106 212 424 848 1696
5 MULTIPLI PAR 3 ET PLUS 1 35 70 140 280 560
DONNE 16
16 DIVIS PAR 2 DONNE 8 23 46 92 184
8 DIVIS PAR 2 DONNE 4 15 30 60
4 DIVIS PAR 2 DONNE 2
2 DIVIS PAR 2 DONNE 1. 13 26 52 104 208 416 832 1664
Pour suivre un vol droite, on part dun 17 34 68 136 272 544
nombre, on se dplace vers la gauche en 11 22 44 88 176
restant sur la mme ligne autant quon 29 58
peut. Quand on arrive en bout de ligne, on
passe la case au-dessus de la case o 19
l'on est. Si lentier n est plac dans la i-me 7 14 28 56
colonne, le nombre dtapes paires du vol 9 18
n est i. Le tableau infini contient-il tous les
entiers? C'est la conjecture de Syracuse. 3 6 12 24 48 96 192 394 788 1576

100 POUR LA SCIENCE - N 247 MAI 1998

PLS Page 100 B C Y M

 M Y
100 % 80 % 60 % 40 % 20 % 10 % 5%
pli
VOL 1 2 3 4 5 6
DURE 0 1 7 2 5 8 16
DURE DE VOL
EN ALTITUDE 0 0 5 0 2 0 10
ALTITUDE
MAXIMALE
1 2 16 4 16 16 52
La conjecture de Syracuse a donn
lieu des publications rattaches au
domaine de la thorie des nombres.
Ces travaux ont pris une tournure trs
srieuse, conduisant certains rsul-
tats que nous allons examiner. Cepen-
dant, on ne sait toujours pas rpondre
la question : Arrive-t-on toujours sur 1?
Que peut-il se produire dautre ?
Partant dun entier quelconque, a priori
trois cas sont possibles :
on aboutit 1 (cest--dire sur le
cycle 421) ;
on aboutit un autre cycle que
421 ;
on tombe sur une suite infinie de
nombres entiers ne revenant jamais l o
elle est passe, et prenant donc des
valeurs de plus en plus grandes. Nim-
porte quel amateur peut tenter sa chance,
mais il doit savoir que des gens intelli-
gents (parfois gniaux) ont essay et
sy sont cass les dents : si vous croyez,
aprs quelques heures de recherche,
avoir trouv un raisonnement qui
dmontre la conjecture, rdigez-le soi-
gneusement. Toutefois, mfiez-vous :
nombre de fausses preuves ont dj cir-
cul, dont une en 1997 sur Internet. Cette
anne, une preuve a t dpose chez
un notaire par un mathmaticien amateur
inquiet quon ne lui vole son ide.
Il y a une vingtaine dannes, le grand
mathmaticien Paul Erds, quon inter-
rogeait sur ce problme et sur limpuis-
sance des mathmatiques le traiter
malgr sa dconcertante simplicit, rpon-
dit que les mathmatiques ne sont pas
encore prtes pour aborder de telles ques-
tions. Est-ce toujours le cas aujourdhui?
DURE DE VOL, ALTITUDE,
VOL EN ALTITUDE, ETC.
dfaut de prouver le rsultat et pour
tenter de trouver un contre-exemple (aprs
tout, peut-tre que tout entier narrive pas
sur 1!), de nombreux calculs ont conduit
des records soigneusement tenus jour
et auxquels il est plus facile de satta-
quer qu la conjecture elle-mme. Ltude
des particularits du processus est moti-
ve par lespoir que la dmonstration dune
proprit quivalente permettra de
POUR LA SCIENCE - N 247 MAI 1998
PLS Page 101
C B
100 % 80 % 60 % 40 % 20 % 10 % 5% 100 % 80 % 60 % 40 % 20 % 10 %
2. LES 30 PREMIERS VOLS
7 8 9 10 11 12 13 14 15 16 17
3 19 6 14 9 9 17 17 4 12
0 2 0 7 0 2 0 10 0 2
8 52 16 52 16 40 52 160 16 52
dmontrer la conjecture... Avant dindi-
quer des records, fixons un vocabulaire
imag qui nous facilitera la description
des comportements des suites.
Nous dirons, dans ce qui suit, que la
suite obtenue partir dun entier est son
vol. Ce vol atteint une altitude maximale,
qui est lentier le plus grand par lequel
on passe. Ce vol a une dure gale au
nombre dtapes avant datterrir 1. Nous
examinerons aussi la dure de vol en alti-
tude, la dure du vol dont les points de
la suite sont suprieurs la valeur du point
de dpart. Le vol numro 11 est ainsi :
113417522613402010
5168421. Son altitude
maximale est 52, sa dure de vol 14,
et sa dure de vol en altitude 7 (voir la
figure 3).
Remarquons quil existe des vols de
dure aussi longue quon veut : le vol 2n
est 2n 2n1 2n2 2n3 ...21, qui
a pour dure n. Les mathmaticiens ont
aussi dmontr que, si tout nombre a une
dure de vol en altitude finie, alors la
conjecture de Syracuse est vraie (voir la
figure 4).
Le record de vrification de la conjec-
ture, nous lavons mentionn, est 3,2 1016,
ce qui signifie que tous les vols dont le
numro est infrieur 3,2 1016 atterris-
sent en 1. Ce rsultat est d Toms
Oliveira e Silva, de lUniversit dAveiro,
au Portugal, qui a dvelopp des trsors
dingniosit pour mener les calculs.
On appelle vol de dure record un vol
dont tous les vols de numro plus petits
sont plus courts. Le vol 7, dont la dure
est 16, est un vol de dure record, car
les vols 1, 2, 3, 4, 5 et 6 ont des dures
infrieures. Aujourdhui, le plus grand vol
de dure record publi (par Eric Roo-
sendaal) est le 109 e : il sagit du vol
100759293214567, dont la dure est
1 820.
On considre de mme les vols de
dure en altitude record (tout vol de
numro plus petit reste en altitude moins
longtemps). On en a trouv 28, dont le
plus grand publi (par E. Roosendaal)
est le vol 70665924117439, qui reste en
altitude 1 177 tapes.
Les vols daltitude record sont ceux
qui atteignent un maximum daltitude
5% 100 % 80 % 60 % 40 % 20 % 10 % 5%
impaire
logique et calcul
18 19 20 21 22 23 24 25 26 27 28 29 30
20 20 7 7 15 15 10 23 10 111 18 18 18
0 5 0 2 0 7 0 2 0 95 0 2 0
52 88 20 64 52 160 24 88 40 9232 52 88 160
quaucun vol de numro infrieur nat-
teint. On en connat 69, dont le dernier
publi (par E. Roosendaal) est le vol
406738920960667, qui atteint lalti-
tude : 2560139341004245682288523934.
On dmontre que le nombre P(N)
dtapes paires du vol N et le nombre I(N)
dtapes impaires vrifient toujours : I(N)
/P(N) < log2/log 3. On remarque que, pour
certains nombres N, le rapport I(N) /P(N)
sapproche de log2/log 3 = 0,63092975...
On conjecture quon sen approche de
plus en plus. Cela suggre de reprer les
records dapproche : nombre N tel que
le rapport I(N) /P(N) est plus grand que
le rapport I(n) /P(n) pour toutes les valeurs
de n infrieures N.
Ces records dapproche sont rares :
seuls 15 sont connus aujourdhui, dont
le dernier est N = 100759293214567, qui
donne I(N)/P(N) = 0,604938.
On sait que, pour tout entier p, il existe
au moins un vol de dure p : le vol 2p.
En gnral, il en existe dautres, et trou-
ver celui qui a le plus petit numro nest
pas facile. Un dfi a t lanc pour lan
2000 : trouver le plus petit entier n dont
la dure de vol est 2000. Actuellement,
cest 377060271667498687, mais rien
nassure quil ny a pas mieux.
En programmation, lintelligence est
utile, et les rsultats obtenus avec les plus
puissantes machines peuvent tre bat-
tus par un ordinateur personnel astu-
cieusement programm. Voici quelques
ides conduisant gagner du temps dans
la recherche dun contre-exemple et utiles
pour battre les records mentionns.
Pour tablir que tout vol infrieur n
atterrit en 1, il nest pas ncessaire de
mener le calcul jusqu 1 : on peut arr-
ter chaque vol ds quil passe en dessous
de son point de dpart x (car si, avant x,
on a test tous les vols de numros inf-
rieurs, on est alors certain que le vol x,
une fois arriv sous x, se poursuivra jus-
qu 1). On arrte aussi le calcul ds quon
trouve un nombre dj atteint par un vol
prcdent (pour le savoir, on doit mmo-
riser les nombres par lesquels on est dj
pass, ce qui doit se faire intelligemment
pour que le procd soit conomique).
Plus intressantes encore sont les
remarques mathmatiques du type :
101
B C Y M
 M Y
100 % 80 % 60 % 40 % 20 % 10 % 5%
paire
logique et calcul
3. DURE DE VOL, ALTITUDE, VOL EN ALTITUDE...
ALTITUDE MAXIMALE : 52
50
VO L N
UMR
40
O 11
30
20
DPART : 11
10
1 1 2 3 4 5
tout vol dont le numro est de la forme
n = 4k + 1 finit par passer en dessous
de n. On calcule les tapes partir de n
(qui est impair) : on obtient 12k + 4
(pair), 6k + 2 (pair), 3k + 1 (pair ou
impair, mais plus petit que n).
Ainsi, dans une suite de tests syst-
matiques, il est inutile de traiter les
nombres de la forme 4k + 1 (car ils pas-
sent toujours sous n), ce qui fait gagner
25 pour cent du temps de calcul. Comme
il est aussi inutile de traiter ceux de la
forme 4k ou 4k + 2 (qui passent ds la
premire tape au-dessous de leur point
de dpart), il ne reste plus qu essayer
ceux de la forme 4k + 3, soit une cono-
mie de calcul de 75 pour cent par rap-
port la mthode nave.
Ce type dacclration des calculs
mrite dtre perfectionn. Voici un pre-
mier pas dans cette direction : tout vol dont
le numro est de la forme n = 16k + 3 finit
par passer en dessous de n. En effet, les
tapes partir de 16k + 3 (impair) sont
48k + 10 (pair), 24k + 5 (impair), 72k + 16
(pair), 36k + 8 (pair), 18k + 4 (pair), 9k + 2
(pair ou impair, mais plus petit que n).
En poursuivant sur le mme principe,
on montre que, si lon crit les nombres
sous la forme 256k + i avec i variant
de 0 255, seuls ceux correspondant
un i parmi : 27, 31, 47, 55, 63, 71, 91, 103,
111, 127, 155, 159, 167, 191, 207, 223,
231, 235, 239, 251, 255 doivent tre
traits, ce qui cette fois donne un gain
de plus de 92 pour cent.
Le programme de E. Roosendaal,
qui lon doit certains records, est fond
sur une tude des entiers mis sous la
102
PLS Page 102
C B
100 % 80 % 60 % 40 % 20 % 10 % 5% 100 % 80 % 60 % 40 % 20 % 10 %
DURE DE VOL EN ALTITUDE : 7
DURE : 14
6 7 8 9 10 11 12 13
forme 65536k + i (65536 = 216), dont seuls
1 729 cas (soit 2,6 pour cent) restent
tudier. Cette conomie est associe,
dans son programme, dautres ides
arithmtiques, ainsi qu une mthode de
traitement simultan de plusieurs vols
la fois. Le programme de T. Oliveira e
Silva amliore encore ces ides, ce qui
lui permet dtre le dtenteur actuel du
record de vrification de la conjecture.
DES RSULTATS
EN PROGRS
Les rsultats les plus avancs obtenus
du ct des tentatives de dmonstrations
mathmatiques utilisent aussi lide du
vol en altitude. En effet, un peu de rflexion
montre que la conjecture de Syracuse est
quivalente la dure de tout vol en
altitude est finie : tout vol finit par passer
sous son point de dpart.
Fondant leurs raisonnements sur une
tude arithmtique fine de larbre asso-
ci la conjecture, R. Terra et C. Eve-
rett ont montr indpendamment que
presque tout vol finit par passer sous
son point de dpart. Le presque signi-
fie ici que :
il existe un nombre n tel que, parmi
les vols de numro infrieurs n, au
plus dix pour cent ne passent pas sous
leur point de dpart ;
il existe un nombre n (plus grand
que n) tel que, parmi les vols de num-
ros infrieurs n, au plus un pour cent
ne passent pas sous leur point de dpart ;
il existe un nombre n (plus grand
que n) tel que parmi les vols de numros
5% 100 % 80 % 60 % 40 % 20 % 10 % 5%
pli
infrieurs n, au plus 0,1 pour cent ne
passent pas sous leur point de dpart ; etc.
On a limpression quon nest pas loin
de la conjecture, mais rflchissez : ce
rsultat signifie seulement que les vols
qui restent toujours en altitude sont de
plus en plus rares quand on tend vers lin-
fini. Il se peut quand mme quil en existe,
et donc on ne peut pas dduire la conjec-
ture du presque de R. Terra et C. Everett.
Pire, leur rsultat nimplique mme
pas quune infinit de vols atterrissent
en 1, car il ninterdit pas lexistence dun
cycle autre 4 2 1. Le rsultat est un
progrs seulement si cest vritable-
ment un premier pas vers le mme rsul-
tat sans le presque.
Plus rcemment, des dmonstrations
concernant cette fois les vols qui atter-
rissent en 1 (et non plus les vols qui ne
restent quun temps fini au-dessus de leur
point de dpart) ont t obtenues. On a
prouv quil existait une constante c
telle que, si n est assez grand, alors le
nombre de x infrieurs n qui atterrissent
en 1 est suprieur nc.
14
Le rsultat a dabord t montr
pour la constante c = 0,05 par R. Cran-
dal en 1978, puis avec c = 0,3 par J. San-
der et c = 0,43 par I. Krasikov en 1989,
puis avec c = 0,48 par G. Wirsching en
1993, et enfin avec c = 0,81 par D. Apple-
gate et J. Lagarias en 1995. On approche
du but (qui sera atteint si lon obtient le
rsultat avec c = 1), mais rien nassure
que les mthodes utilises permettront
davancer plus.
La dmonstration du rsultat de 1995
est assez particulire, car elle utilise la
rsolution de grands systmes dqua-
tions qui ont t traites par programmes.
La dmonstration ne peut tre vrifie
la main, et larticle dans lequel le rsul-
tat est prsent donne, non pas la
dmonstration du thorme avec c = 0,81,
mais lexplication de la faon dont les sys-
tmes dquations sont crits, les rsul-
tats des programmes et la manire de les
interprter : un mathmaticien qui veut
vrifier le rsultat doit suivre les explica-
tions et les raisonnements, crire un
programme (compliqu !), le faire fonc-
tionner et sassurer quil a obtenu ce
quil faut.
Une autre srie de rsultats remar-
quables concerne cette fois les cycles
(ventuels) autres que celui trois l-
ments, 4 2 1. R. Crandal et N. Yoneda
ont tabli en 1978 que, sil en existait, ils
taient ncessairement de taille (nombre
de leurs lments) suprieure 275 000.
Cette borne a t pousse 17 087 915
en 1993, puis tout rcemment
102 225 496. Les preuves de ces affir-
mations utilisent les informations prove-
nant des records de vrification de la
conjecture, faisant l encore de ces rsul-
POUR LA SCIENCE - N 247 MAI 1998
B C Y M
 M Y
100 % 80 % 60 % 40 % 20 % 10 % 5%
pli
tats mathmatiques des proprits inv-
rifiables par un mathmaticien sans
ordinateur. Sil y a des cycles autres que
notre cycle 4 2 1, ils seront vraiment
trs longs !
UN ARGUMENT
HEURISTIQUE
Les exprimentations numriques jus-
qu 3,2 10 16 constituent un premier
presque ; les rsultats mathmatiques
dj cits constituent un second
presque. En voici un troisime.
Certains raisonnements dits heuris-
tiques (qui aident la dcouverte), fon-
ds sur des considrations approximatives
ou probabilistes, clairent une question
mathmatique. Le raisonnement sui-
vant concernant la conjecture de Syra-
cuse est une tentative de ce type :
Chaque nombre est soit pair, soit
impair ; il y a autant de nombres pairs que
de nombres impairs, et donc une fois
sur deux, lors dun vol, on appliquera la
formule n 3n + 1 et, une fois sur deux,
on appliquera la formule n n/ 2.
chaque fois quon fera deux tapes, lal-
titude sera donc, en gros, multiplie par
3/2 (ce qui revient ajouter 50 pour cent),
et... le vol montera des altitudes infi-
nies. Le raisonnement heuristique naf
conduit linverse de ce qunonce la
conjecture de Syracuse !
Ce raisonnement est vraiment trop
naf, car il ne tient pas compte du fait
que, lorsque lon a appliqu la formule
n 3n + 1 partir dun nombre impair,
on est certain de trouver un nombre
pair (trois fois un nombre impair est
impair, en ajoutant un, on a donc un
nombre pair).
Il faut amliorer le raisonnement. Voici
la version quen propose J. Lagarias :
aprs avoir appliqu la formule
n 3n + 1 = m (pair) et juste aprs la
formule m m/2, on tombe cette fois sur
un nombre quon peut considrer comme
quelconque. Il a donc 1 chance sur 2
dtre impair, 1 chance sur 4 dtre le
double dun nombre impair, 1 chance sur
8 dtre le quadruple dun nombre impair,
etc. Le vol qui mne dun nombre impair
au suivant aura donc pour effet en
moyenne :
de multiplier n par 3/2, une fois sur 2
(trajet de longueur 2) ;
de le multiplier par 3/4, une fois sur 4
(trajet de longueur 3) ;
de le multiplier par 3/8, une fois sur 8
(trajet de longueur 4) ;
etc.
Cela conduit la conclusion quen
moyenne, entre deux entiers impairs
appartenant un mme vol, on multiplie
laltitude par la constante :
c = (3/2)1/2(3/4)1/4(3/8)1/8(3/16)1/16... = 3/4.
POUR LA SCIENCE - N 247 MAI 1998
PLS Page 103
C B
100 % 80 % 60 % 40 % 20 % 10 % 5% 100 % 80 % 60 % 40 % 20 % 10 % 5% 100 % 80 % 60 % 40 % 20 % 10 % 5%
impaire
logique et calcul
4. RSULTATS THORIQUES
(a) Si tout nombre suprieur 4 a une dure de vol en altitude finie, alors la
conjecture de Syracuse est vraie. Supposons que l'hypothse est vraie.
Montrons par rcurrence que tout n atterrit en 1. Cest vrai pour 5. Soit un
entier n > 5. Supposons que tout entier i < n atterrit en 1. Par hypothse, n a
une dure de vol en altitude finie. Donc, partant de n, on descend sous n, et
l'on arrive donc un i dont, par hypothse, on sait quil atterrit en 1, donc n
atterrit en 1.
(b) Plus gnralement, la conjecture de Syracuse est quivalente lun des
noncs suivants :
- (1) la dure de tout vol est finie ;
- (2) la dure de tout vol en altitude est finie ;
- (3) tout vol a un nombre fini dtapes paires ;
- (4) tout vol a un nombre fini dtapes paires en altitude ;
- (5) tout vol a un nombre fini dtapes impaires ;
- (6) tout vol a un nombre fini dtapes impaires en altitude.
Il est clair que laffirmation (1) implique les autres affirmations.
Nous avons dj vu que (2) implique (1). Partant dun nombre pair, on aboutit
ncessairement, au bout dun nombre fini dtapes, un nombre impair et
partant d'un nombre impair, on aboutit en une tape un nombre pair. Cela
montre que (3) quivaut (5) et (1). De mme (4) quivaut (6) et (2).
En moyenne, on passe donc dun les deux cas, on constate que la suite
nombre impair un nombre impair plus se conforme miraculeusement bien un
petit de 25 pour cent, et donc on finit par modle probabiliste clairement identifi
atterrir sur un cycle (le raisonnement heu- (pour , cest le modle du tirage qui-
ristique nexclut pas quil puisse y avoir table des chiffres) ; dans les deux cas,
dautres cycles que 4 2 1). une vrification numrique pousse a t
Lintrt de ce raisonnement un mene, mais, dans les deux cas, sans
peu compliqu est quen considrant prouver ce qui est constat par les cal-
maintenant un processus alatoire culs numriques.
construit sur le modle suppos dans Remarquons que les modles pro-
le raisonnement heuristique, on peut cal- babilistes prdisent que laltitude la plus
culer le temps moyen pour que, partant haute du vol n est au plus Kn 2 (pour une
de n, on passe en dessous de n (dure certaine constante K), ce qui, pour K = 8,
moyenne de vol en altitude en ne comp- est aussi exprimentalement vrifi.
tant que les tapes impaires). Le rsul- Nous avons maintenant trois
tat de ce calcul est 3,49265... Or en presque pour la conjecture de Syra-
valuant, cette fois exprimentale- cuse. Des presque ne suffisent pas
ment, la valeur moyenne de cette dure dmontrer un rsultat, et donc, mme
de vol en altitude (on essaie tous les si notre conviction sest renforce, la
entiers entre trois et deux milliards, et conjecture de Syracuse nest pas deve-
lon fait la moyenne), on trouve 3,4926... nue un thorme.
Cette concidence numrique remar-
quable indique que le modle probabi- LINDCIDABILIT
liste du raisonnement heuristique est NEST PAS LOIN
certainement correct.
Sil est correct, il ny a pas de vol Jeffrey Lagarias ma indiqu que la
infini en altitude, et donc la conjecture est conjecture est encore dsesprment
vraie (du moins concernant linexis- hors de porte, mais je la crois vraie. Si
tence de vol tendant vers linfini). elle devait tre fausse, cela serait cause
Malheureusement, pour avoir une dun long cycle plutt qu cause dun
dmonstration complte, il faudrait justi- vol infini. Mme cela semble extrme-
fier par une preuve (et pas par une exp- ment improbable. Mon intuition dit impos-
rimentation) que le modle probabiliste sible, mais je ne sais pas en trouver
utilis est correct. Le raisonnement heu- une bonne traduction verbale.
ristique renforce la conviction quil nexiste Ne pas russir dmontrer un rsul-
pas de vols infinis, mais ce nest pas tat conduit se poser la question : serait-
une dmonstration. ce un indcidable ? Cest--dire : ne
On est ici dans une situation analogue se pourrait-il pas que les mthodes tra-
celle concernant les dcimales du ditionnelles des mathmatiques (codi-
nombre : dans les deux cas, on a une fies, par exemple, dans la trs
suite numrique parfaitement dtermine puissante thorie des ensembles) ne
par des rgles arithmtiques fixes ; dans soient pas en mesure de dmontrer la
103
B C Y M
 M
M Y
Y C
C B
B
100 % 80 % 60 % 40 % 20 % 10 % 5% 100 % 80 % 60 % 40 % 20 % 10 % 5% 100 % 80 % 60 % 40 % 20 % 10 % 5% 100 % 80 % 60 % 40 % 20 % 10 % 5%

pli
impaire

signifie pas quon puisse dfinir un pro- Tout cela a conduit une nouvelle

logique et calcul
5. LES VOLS RECORDS
blme de type Syracuse qui soit indci- conjecture formule par Richard Crandal

MAXIMALE
dable dans toutes les thories la fois ; (une sorte de conjecture anti-Syracuse)

ALTITUDE
une telle chose nexiste pas, car tre qui affirme : pour q x + 1 ( la place de 3
DURE

indcidable est toujours relatif une x + 1), avec q impair et suprieur 3, il

VOL

thorie fixe). y a toujours au moins un vol qui natter-

Le rsultat de Conway ntablit pas rit pas en 1. Bien sr, cette conjecture
3 7 16 que la conjecture est indcidable ni mme reste dmontrer !
6 8 16 quelle est difficile (car certaines variantes Les considrations ci-dessus sur les
7 16 52
de la conjecture sont faciles !), mais cycles montrent que la conjecture de
9 19 52
seulement que des problmes assez Crandal est vraie pour q gal 5, 181
18 20 52
25 23
semblables le sont, ce qui est quand et 1093. En 1995, Z. Franco et C. Pome-
88
27 111 9232
mme troublant. rance ont montr que les entiers q pour
54 112 9232 En 1993, le rsultat de Conway a t lesquels la conjecture de Crandal tait
73 115 9232 utilis par Philippe Devienne, Patrick vraie devenaient de plus en plus fr-
97 118 9232 Lebgue et Jean-Christophe Routier, du quents quand q tend vers linfini, autre-
129 121 9232 Laboratoire dinformatique fondamen- ment dit que la conjecture tait presque
171 124 9232 tale de Lille, pour dmontrer la puis- vraie (comme il est presque vrai que
231 127 9232 sance dun formalisme de pro- tout vol pour 3x + 1 passe sous son point
313 130 9232 grammation base de rgles logiques. de dpart).
327 143 9232 Comme dhabitude, les recherches en Dautres gnralisations ont t for-
649 144 9232 apparence les plus futiles se trouvent mules, et des rsultats ont tabli des
703 170 250504 avoir des consquences pratiques, connexions entre ces questions, larith-
871 178 190996
insouponnables a priori. mtique des nombres premiers, cer-
1161 181 190996
taines quations diophantiennes
2223 182 250504
2463 208 250504 LES VARIANTES SONT (quations coefficients entiers dont on
2919 216 250504 AUSSI DIFFICILES cherche des solutions en nombres
3711 237 481624 entiers), les chanes de Markov (des it-
6171 261 975400 Les mathmaticiens sont toujours sou- rations probabilistes) et la thorie ergo-
10971 267 975400 cieux de gnralit, car elle permet dique (tudes de lutilisation rpte des
13255 275 497176 dextraire pleinement la puissance dun fonctions de mlange).
17647 278 11003416 raisonnement particulier et den tirer Avec toutes ces variantes donc, mme
des consquences inattendues. Ils se si la conjecture de Syracuse tait rso-
sont donc interrogs sur ce quon obte- lue prochainement, les mathmaticiens
conjecture de Syracuse qui pourtant nait pour des problmes ressemblant et les exprimentateurs numriques ont
serait vraie? la conjecture de Syracuse. de quoi samuser pendant des sicles.
Notons que la conjecture pourrait tre Ils se sont demand dabord ce qui
fausse et que cela soit indcidable par se passait pour le problme 3 x + 1 lors-
les mthodes mathmatiques tradition- quon autorisait les altitudes ngatives. Jean-Paul DELAHAYE est directeur adjoint
nelles : cela signifierait quun jour nous La conjecture quils ont propose est que du Laboratoire dinformatique fonda-
allons tomber sur un entier que nous nar- tous les vols se terminent sur lun des trois mentale de Lille du CNRS.
riverons pas faire atterrir sur 1, mais cycles suivants : e-mail : delahaye@lifl.fr
dont nous ne saurons pas montrer non 1 2.
plus quil natterrira jamais sur 1. 5 14 7 20 10. J. H. CONWAY, Unpredictable Iterations.
Exceptionnellement, nous avons 17 50 25 74 37 110 Proc. 1972 Number Theory Conference,
University. of Colorado, Boulder, 1972.
quelques raisons de considrer cette 55 164 82 41 122
question de lindcidabilit avec srieux, 61 182 91 272 136 V. KLEE et S. WAGON, Old and New Unsol-
car un rsultat de logique mathma- 68 34. ved Problems in Plane Geometry and
Number Theory. Ch. 19 : The 3x + 1
tique tablit que nous ne sommes pas Pour la fonction 5 x + 1 ( utiliser
Problem, Math. Assoc. of America,
loin de lindcidabilit. place de 3 x + 1 quand x est impair), Dolciani Math. Exposition, 11, 1993.
Ce rsultat est d J. Conway. Celui- tous les vols narrivent pas 1, car, en
ci a considr les gnralisations de la plus du cycle 6>3>16>8>4>2>1, J. LAGARIAS, The 3x + 1 Problem and
its Generalizations, in Amer. Math.
conjecture de Syracuse obtenues en pre- on trouve les cycles : Monthly, 92, pp. 3-23, 1985.
nant non plus deux formules quon 13 66 33 166 83 416
applique selon que n est pair ou impair, 208 104 52 26. J. LAGARIAS, The 3x + 1 Problem Anno-
tated Bibliography. Novembre 1997.
mais en considrant p formules quon 17 86 43 216 108 54 27 Communication personnelle.
applique selon le reste de la division de n 136 68 34.
par p. Conway montre comment dfinir Le vol 7 pour 5 x + 1 semble infini quoi- K.R. MATTHEWS, The Generalized 3x + 1
Mapping, 1997, paratre.
prcisment une conjecture, du type tout quon ne sache pas le dmontrer.
n atterrit 1, de telle faon quelle soit Ladaptation de largument heuristique T. Oliveira e SILVA, Maximum Excursion
indcidable dans la thorie des de Lagarias suggre dailleurs que, pour and Stopping Time Record Holders for
the 3x+1 Problem : Computational
ensembles. qx + 1 la place de 3 x + 1, si q est >3,
Results. paratre dans Mathematics
En fait, dans nimporte quelle thorie alors il existe des vols infinis. of Computation.
mathmatique, la mthode de Conway Pour le problme 181 x + 1, on trouve
E. ROOSENDAAL, On the 3x + 1 Problem
permet de construire un problme res- un cycle qui ne contient pas 1. De mme,
(1-1998) : http://personal. compu-
semblant la conjecture de Syracuse et pour q = 1 093, on dmontre que certains train.nl/eric/wondrous/
qui y soit indcidable (attention : cela ne vols natterrissent pas 1.

POUR LA SCIENCE - N 247 MAI 1998 105

PLS Page 105 B C Y M