Voir la source de Conjecture de Syracuse

La '''conjecture de Syracuse''', encore appelée '''conjecture de [[Lothar Collatz|Collatz]]''', '''conjecture d'[[Stanislaw Ulam|Ulam]]''', '''conjecture tchèque''', '''problème de [[Shizuo Kakutani|Kakutani]]''' ou '''problème 3''x'' + 1''', est l'hypothèse [[Mathématiques|mathématique]] selon laquelle la suite de Syracuse de n'importe quel entier strictement positif atteint 1.

Une '''suite de Syracuse''' est une [[Suite (mathématiques)|suite]] d'[[entier naturel|entiers naturels]] définie de la manière suivante : on part d'un nombre entier strictement positif ; s’il est pair, on le divise par 2 ; s’il est impair, on le multiplie par 3 et l'on ajoute 1. En répétant l’opération, on obtient une [[suite d'entiers]] strictement positifs dont chacun ne dépend que de son prédécesseur.

Par exemple, à partir de 14, on construit la suite des nombres : 14, 7, 22, 11, 34, 17, 52, 26, 13, 40, 20, 10, 5, 16, 8, 4, 2, 1, 4, 2, 1 et ainsi de suite. C'est la suite de Syracuse du nombre 14. Après que le nombre 1 a été atteint, la suite des valeurs 1, 4, 2, 1, 4, 2… se répète indéfiniment en un cycle de longueur 3, appelé cycle trivial.

Si l'on était parti d'un autre entier naturel, en lui appliquant les mêmes règles, on aurait obtenu une suite de nombres différente. A priori, il serait possible que la suite de Syracuse de certaines valeurs de départ n'atteigne jamais la valeur 1, soit qu'elle aboutisse à un cycle différent du cycle trivial, soit qu'elle diverge vers l'infini. Or, on n'a jamais trouvé d'exemple de suite obtenue suivant les règles données qui n'aboutisse pas à 1, puis au cycle trivial.

En dépit de la simplicité de son énoncé, cette [[conjecture]] défie depuis de nombreuses années les mathématiciens. [[Paul Erdős]] a dit à propos de la conjecture de Syracuse : {{Citation|les mathématiques ne sont pas encore prêtes pour de tels problèmes<ref>{{Article|langue=en|titre=The {{math|3''x ''+ 1}} problem and its generalizations|lien auteur=Jeffrey Lagarias|prénom=Jeffrey C.|nom=Lagarias|lien périodique=American Mathematical Monthly|revue=Amer. Math. Month.|vol=92|numéro=1|mois=1|année=1985|p.=3-23|url=http://www.cecm.sfu.ca/organics/papers/lagarias/|jstor=10.2307/2322189}}.</ref>.}}

== Origines ==
Dès les années 1930, [[Lothar Collatz]] s'intéressait aux itérations dans les nombres entiers, qu'il représentait au moyen de graphes et d'[[hypergraphe]]s<ref name=Mercier>Éric Mercier, ''La conjecture de Syracuse'', consulté en septembre 2005, [https://archive.wikiwix.com/cache/index2.php?url=http%3A%2F%2Fmembres.lycos.fr%2Fericmer%2Fsyracuse%2Fsyracuse.htm archive de 2011].</ref>{{,}}<ref name="Lagarias">{{article|langue=en|auteur=Jeffrey C. Lagarias|périodique=The American Mathematical Monthly|titre=The 3''x''+1 Problem and Its Generalizations|volume=92|numéro=1|date=1985|pages=3-23}}.</ref>. Il a présenté plusieurs de ces problèmes lors de conférences<ref name="Lagarias"/>. En 1952, selon Collatz, il expliqua son problème à son collègue de Hamburg, [[Helmut Hasse]]<ref name="challenge">{{Chapitre|langue=en|auteur1=Jeffrey Lagarias|titre= The <math>3x+1</math> problem: an overview|titre ouvrage= The Ultimate Challenge: The <math>3x + 1</math> Problem|éditeur=American Mathematical Society|auteur ouvrage=Jeffrey Lagarias (ed.)|lieu=Providence, RI|année= 2010|passage=3-29|lire en ligne=https://arxiv.org/pdf/2111.02635|consulté le=7 août 2024}}.</ref>. Ce dernier le diffusa aux [[États-Unis]] lors d'une visite à l'[[université de Syracuse]] : la suite de Collatz prit alors le nom de « suite de Syracuse »<ref name=Mercier/>. D'autres mathématiciens affirment avoir joué un rôle dans l'origine de ce problème, comme Bryan Thwaites<ref name="challenge"/>. Le mathématicien polonais [[Stanislas Ulam]] le répand aussi dans le [[Laboratoire national de Los Alamos]]<ref name=Mercier/>. Dans les années 1960, le problème est repris par le mathématicien [[Shizuo Kakutani]] qui en parle à l'[[université Yale]] et à l'[[université de Chicago]]<ref name=Mercier/>.

Cette conjecture mobilisa tant les mathématiciens durant les années 1960, en pleine [[guerre froide]], qu'une plaisanterie courut selon laquelle ce problème faisait partie d'un complot visant à ralentir la recherche américaine<ref name=Mercier/>{{,}}<ref name="bischoff">{{article|langue=en|auteur=Manon Bischoff|périodique=Scientific American|lire en ligne =https://www.scientificamerican.com/article/the-simplest-math-problem-could-be-unsolvable/|titre=The Simplest Math Problem Could Be Unsolvable|date=12 mars 2024}}.</ref>. Mais rien n'est publié à propos de cette conjecture dans la littérature scientifique avant les années 1970<ref name="challenge"/>.

== Première approche de la conjecture ==
=== Suite de Syracuse ===
La suite de Syracuse d'un nombre entier {{math|''N'' > 0}} est [[Suite définie par récurrence|définie par récurrence]], de la manière suivante :
* <math>u_0 = N</math>
* et pour tout entier naturel {{math|''n''}} : <math>u_{n+1} =  \begin{cases}
  \dfrac{u_n}{2}& \mbox{si } u_n \mbox{ est pair,}\\
   3u_n + 1 & \mbox{si } u_n \mbox{ est impair.}
 \end{cases}</math>

=== Énoncé de la conjecture ===
La [[conjecture]] affirme que pour tout entier {{math|''N'' > 0}}, il existe un indice {{math|''n''}} tel que {{math|1=''u{{ind|n}}'' = 1}}.

{| class="wikitable centre" style="text-align:center;"
|+ Suite de Syracuse pour ''N'' = 15
|-
|{{math|''u''{{ind|0}}}}
|{{math|''u''{{ind|1}}}}
|{{math|''u''{{ind|2}}}}
|{{math|''u''{{ind|3}}}}
|{{math|''u''{{ind|4}}}}
|{{math|''u''{{ind|5}}}}
|{{math|''u''{{ind|6}}}}
|{{math|''u''{{ind|7}}}}
|{{math|''u''{{ind|8}}}}
|{{math|''u''{{ind|9}}}}
|'''{{math|''u''{{ind|10}}}}'''
|{{math|''u''{{ind|11}}}}
|{{math|''u''{{ind|12}}}}
|{{math|''u''{{ind|13}}}}
|{{math|''u''{{ind|14}}}}
|{{math|''u''{{ind|15}}}}
|{{math|''u''{{ind|16}}}}
|'''{{math|''u''{{ind|17}}}}'''
|{{math|''u''{{ind|18}}}}
|{{math|''u''{{ind|19}}}}
|{{math|''u''{{ind|20}}}}
|-
| 15
| 46
| 23
| 70
| 35
| 106
| 53
| '''160'''
| 80
| 40
| '''20'''
| '''10'''
| 5
| 16
| 8
| 4
| 2
| '''1'''
| 4
| 2
| '''1'''
| …
|}

=== Vocabulaire ===
[[Fichier:Collatz5.svg|thumb|Représentation graphique de la suite pour ''N'' = 27.]]
L'observation graphique de la suite pour {{math|1=''N'' = 15}} et pour {{math|1=''N'' = 27}} montre que la suite peut s'élever assez haut avant de retomber. Les graphiques font penser à la chute chaotique d'un grêlon ou bien à la trajectoire d'une feuille emportée par le vent. De cette observation est né tout un vocabulaire imagé : on parlera du '''vol''' de la suite.

On définit alors<ref name=Delahaye2009>{{lien web|titre=La conjecture de Syracuse|auteur=Jean-Paul Delahaye et Christian Lasou|url=https://www.cristal.univ-lille.fr/~jdelahay/SIME/Cours/Syracuse_poly.pdf |site=Université de Lille1|année=2008-2009}}.</ref>{{,}}<ref name=Mercier/> : 
* '''le temps de vol''' : c'est le plus petit indice {{math|''n''}} tel que {{math|1=''u{{ind|n}}'' = 1}}.
{{retrait|Il est de 17 pour la suite de Syracuse 15 et de 111 pour la suite de Syracuse 27 ;}}
* '''le temps de vol en altitude''' : c'est le plus petit indice {{math|''n''}} tel que {{math|1=''u''{{ind|''n''}} < ''u''{{ind|0}}|§=''u''{{ind|''n''}} < ''u''{{ind|0}}}}.
{{retrait|Il est de 11 pour la suite de Syracuse 15 et de 96 pour la suite de Syracuse 27 ;}}

* '''l'altitude maximale''' : c'est la valeur maximale de la suite.
{{retrait|Elle est de 160 pour la suite de Syracuse 15 et de {{formatnum:9232}} pour la suite de Syracuse 27.}}

=== Sous-problèmes ===
Derrière cette conjecture, se cachent deux autres conjectures, toutes les deux encore irrésolues<ref>{{lien web|titre= Le problème 3n+1 : élémentaire mais redoutable (I)|auteur=Shalom Eliahou|année=2011|site=Images des Mathématiques, CNRS|url=https://images.math.cnrs.fr/Le-probleme-3n-1-elementaire-mais-redoutable-I.html}}.</ref>.
* Toute suite de Syracuse est-elle bornée ?
* Existe-t-il d'autres cycles que le cycle trivial (1,4,2)?

Les réponses OUI à la première question '''et''' NON à la seconde sont nécessaires et suffisantes pour démontrer la conjecture.

== Approches de la conjecture et résultats ==

=== Suite compressée ===
[[Fichier:Syracuse15.png|thumb|Suite de Syracuse compressée, pour N = 15.|right]]
[[Fichier:Syracuse127.png|thumb|Suite de Syracuse compressée, pour N = 127.|gauche]]

On remarque que, si {{mvar|u{{ind|n}}}} est impair dans la formule ci-dessus, {{math|''u''{{ind|''n''+1}}}} est nécessairement pair et donc le pas suivant de la suite doit être une division par deux. On peut définir une nouvelle version '''compressée''' de la suite de Syracuse en combinant ces deux pas de la façon suivante :<center><math> v_{n+1} =  \begin{cases}
   \frac{v_n}{2}& \mbox{si } v_n \mbox{ est pair}\\
   \frac{3v_n\,+\,1}{2} & \mbox{si } v_n \mbox{ est impair.}
  \end{cases}</math></center>

La nouvelle suite est une suite extraite de la version de base, et la conjecture dit que cette suite aboutit toujours au cycle (1,2,1…).

{| class="wikitable centre" style="text-align:center;"
|+ Suite de Syracuse compressée pour ''N'' = 15
|-
| {{math|''v''{{ind|0}}}}
| {{math|''v''{{ind|1}}}}
| {{math|''v''{{ind|2}}}}
| {{math|''v''{{ind|3}}}}
| {{math|''v''{{ind|4}}}}
| {{math|''v''{{ind|5}}}}
| {{math|''v''{{ind|6}}}}
| {{math|''v''{{ind|7}}}}
| {{math|''v''{{ind|8}}}}
| {{math|''v''{{ind|9}}}}
| {{math|''v''{{ind|10}}}}
| {{math|''v''{{ind|11}}}}
| {{math|''v''{{ind|12}}}}
| {{math|''v''{{ind|13}}}}
| {{math|''v''{{ind|14}}}}
|-
| 15
| 23
| 35
| 53
| 80
| 40
| 20
| 10
| 5
| 8
| 4
| 2
| 1
| 2
| 1
| …
|}
{{Clr}}

=== Approche inverse ===
[[Fichier:All Collatz sequences of a length inferior to 20.svg|alt=|vignette|L'arbre reliant les nombres à durée de vol inférieure à 20.]]
On peut aussi partir d'un algorithme inverse{{Référence nécessaire|date=13 octobre 2019}} :
:<math> R(n) = \begin{cases}\{2n\}& \mbox{si } n\equiv 0,1,2,3\mbox{ ou } 5 \\ \{2n,(n-1)/3\} & \mbox{si } n\equiv 4 \end{cases} \pmod{6}. </math>

Au lieu de prouver que la suite directe, partant de n'importe quel entier naturel non nul, mène toujours à 1, on essaye de démontrer que l'algorithme inverse, partant de 1, est capable de générer tous les nombres entiers naturels non nuls.

Il existe{{Référence nécessaire|date=13 octobre 2019}} aussi une version compressée de l'algorithme inverse :
:<math> R(n) = \begin{cases}\{2n\}& \text{si } n\equiv 0 \mbox{ ou } 1 \\ \{2n,(2n-1)/3\}& \text{si } n\equiv 2 \end{cases} \pmod{3}. </math>
[[Fichier:Collatz orbits of the all integers up to 1000.svg|vignette|Représentation sous forme de graphe de toutes les suites de Syracuse dont le premier terme est inférieur ou égal à 1000.]]
Ces algorithmes inverses peuvent être représentés par des [[Arbre enraciné|arbres]], dont la racine est 1. Si la conjecture est vraie, ces arbres recouvrent tous les entiers naturels non nuls.

=== Approche binaire ===
Les applications répétées de la fonction de Syracuse peuvent être représentées comme une [[machine abstraite]] traitant d'un processus [[Système binaire|binaire]]. La machine effectuera les trois étapes suivantes sur n'importe quel nombre impair jusqu'à ce qu'il ne reste plus qu'un « 1 »: 

# Décaler le nombre en binaire d'un cran à gauche et rajouter « 1 » à l'extrémité droite (donnant 2''n'' + 1); 
# Additionner le nombre original ''n'' (donnant 2''n'' + 1 + ''n'' = 3''n'' + 1); 
# Enlever tous les « 0 » situés à droite (c'est-à-dire diviser par deux jusqu'à ce que le résultat soit impair).

==== Exemple ====
Le nombre de départ choisi est 7. Son écriture en binaire est 111 (car {{nobr|7 {{=}} 2<sup>2</sup> + 2<sup>1</sup> + 2<sup>0</sup>}}) La séquence qui en résulte est la suivante :
<div style="font-family:'Courier New', 'Lucida Console', 'Courier', Monospace">
            111
           1111
          1011<s>0</s>
         10111
        10001<s>0</s>
       100011
       1101<s>00</s>
      11011
     101<s>000</s>
    1011
   1<s>0000</s>
  11
 1<s>00</s>
</div>

=== Approche probabiliste ===
Il existe des arguments [[heuristique (mathématiques)|heuristiques]] et [[statistique]]s de nature à motiver la conjecture. Considérons par exemple une [[itération]] de la suite de Syracuse '''compressée''' sur un nombre ''v'' pris aléatoirement dans un intervalle assez grand. Si ''v'' est pair, il est multiplié par (1/2), tandis que s'il est impair, il est multiplié par (3/2) environ. Dans les deux cas, on vérifie que la parité du résultat est indépendante de celle de ''v''. Un raisonnement heuristique consiste à supposer que ce raisonnement probabiliste est valable pour n'importe quel terme de la suite compressée<ref>Cette piste  est explorée par Terras, Everett et Crandall (1978-1977), Lagarias (1985), et E. Barone (1999) [http://arxiv4.library.cornell.edu/PS_cache/math/pdf/0309/0309224v7.pdf].</ref>. Bien que ce ne soit pas rigoureux (les termes de la suite ne sont pas aléatoires), certaines observations expérimentales tendent à le confirmer. Ainsi, le modèle obtenu en appliquant cette hypothèse prédit convenablement le temps de vol en [[altitude]] de la suite<ref>{{Ouvrage|langue=fr|prénom1=Jean-Paul|nom1=Delahaye|lien auteur1=Jean-Paul Delahaye|titre=Jeux mathématiques et mathématiques des jeux|éditeur=[[Pour la Science|Belin - Pour la Science]]|lieu=Paris|année=1999|mois=décembre|pages totales=143|passage=124-125|isbn=2-84245-010-8|numéro chapitre=18|titre chapitre=La conjecture de Syracuse}}.</ref>. Avec cette heuristique, on peut dire que statistiquement, l'effet de deux opérations consécutives de la suite revient à multiplier le nombre de départ par (3/4), ou encore que l'opération de Syracuse est contractante, en moyenne, dans un rapport approximativement égal à la racine carrée de (3/4) = 0,866…

Ce rapport nettement inférieur à l'unité suggère fortement que les éléments successifs d'une suite de Syracuse ne peuvent très probablement pas croître indéfiniment. Il n'existe aucune preuve rigoureuse de cette affirmation (et même si l'on parvenait à rendre rigoureux cet argument probabiliste, cela ne permettrait pas encore de conclure, un événement de probabilité quasi nulle mais non nulle, n'étant pas pour autant impossible). De plus, l'argument ici esquissé n'exclut nullement l'existence de cycles non triviaux.

Concernant la répartition des nombres qui satisfont à l'hypothèse de Syracuse, par des méthodes élaborées de programmation linéaire on arrive à montrer que, pour {{mvar|x}} suffisamment grand, le nombre d'entiers inférieurs à {{mvar|x}} qui satisfont l'hypothèse de Syracuse est au moins {{mvar|x{{exp|a}}}} pour certaine constante {{math|''a'' < 1}}. En 2002, I. Krasikov et J. Lagarias obtinrent {{math|''a'' {{=}} 0,84}}.

[[Terence Tao]] a annoncé, en 2019, avoir prouvé (rigoureusement, mais par un [[Méthode probabiliste|argument probabiliste]]) que presque toutes les orbites de Collatz sont bornées par toute fonction qui diverge vers l'infini<ref name="Tao">{{article |nom1=Tao |prénom1=Terence |titre=Almost all Collatz orbits attain almost bounded values |arxiv=1909.03562|date=2019|journal = submitted}}.</ref>{{,}}<ref name="TTao">{{lien web|nom1=Tao |prénom1=Terence |titre=Almost all Collatz orbits attain almost bounded values |url=https://terrytao.wordpress.com/2019/09/10/almost-all-collatz-orbits-attain-almost-bounded-values/ |website=What's new |date=10 September 2019}}.</ref>. En rendant compte de cet article, ''[[Quanta Magazine]]'' estime que « Tao a obtenu l'un des résultats les plus significatifs sur la conjecture de Collatz depuis des décennies »<ref name="Quanta">{{Lien web|auteur1= Kevin Hartnett|titre=Mathematician Proves Huge Result on 'Dangerous' Problem |url=https://www.quantamagazine.org/mathematician-terence-tao-and-the-collatz-conjecture-20191211/ |date=26 December 2019 |série=Quanta Magazine |langue=en}}.</ref>.

=== Approche calculatoire ===

Une voie d'exploration intéressante consiste en l'étude systématique du comportement de la suite de Syracuse à l'aide d'ordinateurs, pour des nombres de départ de plus en plus grands. On<ref>[http://sweet.ua.pt/tos/3x+1.html T. Oliveira e Silva, ''Computational verification of the 3x+1 conjecture''.].</ref>{{,}}<ref>T.Oliveira e Silva, ''Empirical verification of the 3x+1 and related conjectures'', The Ultimate Challenge : the 3x+1 problem, American Mathematical Society, Providence, (2010) p.189-207.</ref>{{,}}<ref name=Barina>{{article| nom = Barina | prénom = David | titre = Convergence verification of the Collatz problem | journal = The Journal of Supercomputing | année = 2020 | volume = 77 | numéro = 3 | pages = 2681–2688 | doi = 10.1007/s11227-020-03368-x | s2cid = 220294340 }}.</ref> a ainsi vérifié la conjecture pour tout {{math|''N'' < 2<sup>68</sup> ≈ 2,95 × 10<sup>20</sup>}}. La grandeur de ce nombre est de nature à renforcer notre croyance en la véracité de la conjecture de Syracuse. Il convient cependant de comprendre qu'aussi loin que l'on poursuive le calcul, il ne peut directement fournir une démonstration de cette conjecture ; le calcul pourrait éventuellement, au contraire, rencontrer un contre-exemple, qui démontrerait la fausseté de la conjecture. Cette approche présente aussi l'intérêt de fournir des résultats numériques utilisables par les théoriciens pour compléter leurs démonstrations. Par exemple, en utilisant la borne {{mvar|N}} ci-dessus avec un théorème<ref>{{en}} Shalom Eliahou, ''The 3x+1 problem: new lower bounds on nontrivial cycle lengths'', Discrete Mathematics 118 (1993) p. 45-56.</ref>sur la longueur des cycles de la suite de Syracuse, on peut conclure qu'à part le cycle trivial (1,4,2,1…) il n'existe aucun cycle de longueur inférieure à 186 milliards<ref>Shalom Eliahou, ''Le problème 3n+1 : y a-t-il des cycles non triviaux ?'', ''[[Images des mathématiques]]'' (2011) [http://images.math.cnrs.fr/Le-probleme-3n-1-y-a-t-il-des.html].</ref>.

Les résultats numériques permettent de chercher des corrélations entre le nombre de départ {{mvar|N}} et la durée de vol, ou le record d'altitude. On a ainsi observé que si les records d'altitude pouvaient être très élevés, la durée du vol était en comparaison plus modeste. Une observation sur les nombres déjà étudiés semble indiquer que l'altitude maximale est majorée par {{math|''φ''(''N'')×''N''{{2}}}}, où {{math|''φ''(''N'')}} pourrait être soit une constante, soit une fonction lentement croissante. Le temps de vol est plus erratique mais semble majoré par un multiple du [[logarithme]] de {{mvar|N}}. Les expériences numériques suggèrent ainsi de nouvelles conjectures auxquelles les théoriciens peuvent s'attaquer.

En revanche, la recherche théorique est seule en mesure d'apporter des lumières concernant l'existence de trajectoires infinies : il a été démontré que l'ensemble des nombres appartenant à une telle trajectoire aurait une [[densité asymptotique]] nulle ; pour rester dans l'image du vol, on pourrait dire que le grêlon, pour ne pas retomber jusqu'au sol, doit acquérir et maintenir une haute « [[vitesse de libération]] ». Si la conjecture est vraie, alors un tel vol infini est impossible.

=== Un énoncé indécidable ? ===

La relative faiblesse des résultats obtenus en dépit de l'application acharnée de méthodes mathématiques puissantes a conduit certains chercheurs à se demander si la conjecture de Syracuse est un problème [[Décidabilité|indécidable]] (avec les axiomes usuels utilisés par les mathématiciens, tels que [[Théorie des ensembles de Zermelo-Fraenkel|ZFC]]). En 1972, [[John_Horton_Conway|John Conway]] a établi l'[[Décidabilité|indécidabilité]] algorithmique pour une famille de problèmes qui généralise de manière naturelle le problème 3''x''+1 (voir l'article sur le [[langage de programmation exotique]] [[FRACTRAN]]). Ce résultat implique qu'il y a dans la famille considérée des problèmes individuels qui sont indécidables (il est en fait même possible, en théorie sinon en pratique, d'en expliciter un), mais ne résout pas la décidabilité du problème de Syracuse en particulier<ref>{{article|auteur=John H. Conway|titre=On Unsettleable Arithmetical Problems|périodique=Amer. Math Monthly|volume=120|date=mars 2013|page=192-198|langue=en|doi=10.4169/amer.math.monthly.120.03.192}}.</ref>.

== Extension aux nombres négatifs, aux nombres réels et aux nombres complexes ==
[[File:CobwebCollatz2.PNG|thumb|Orbite 10-5-8-4-2-1-2-1-2-1-etc dans l'extension aux réels de la conjecture de Syracuse (optimisée en remplaçant « 3''n''&nbsp;+&nbsp;1 » par « (3''n''&nbsp;+&nbsp;1)/2 »)]]

La même suite compressée  étendue aux [[Entier relatif|entiers relatifs]] fait apparaître de nombreux autres cycles, comme par exemple (-5,-7,-5) ou (-17,-25,-37,-55,-41,-61,-91,-17). Le problème de Syracuse peut d'ailleurs être vu comme la restriction aux entiers naturels de la suite <math>z_{n+1}=f(z_n)</math> où <math>f(z)</math> est une fonction réelle ou complexe bien choisie, par exemple la fonction suivante{{Note|texte=On peut ajouter à f n’importe quelle fonction s’annulant sur tous les entiers, par exemple de la forme g(z)* sin (pi*z)}}{{,}}<ref name=cham/> :
<math>f(z)=\frac 1 2 z \cos^2\left(\frac \pi 2 z\right)+(3z+1)\sin^2\left(\frac \pi 2 z\right).</math> 

Ou, dans la version compressée où <math>3z+1</math> est remplacée par <math>\frac {(3z+1)} {2}</math> :

:<math>f(z)=\frac 1 2 z \cos^2\left(\frac \pi 2 z\right)+\frac {(3z+1)} {2} \sin^2\left(\frac \pi 2 z\right).</math>

[[File:CollatzFractal.png|thumb|left|[[Fractale]] de la conjecture au voisinage de la droite réelle.]]

Dans l'ensemble des [[Nombre réel|nombres réels]], cette fonction a été étudiée par Marc Chamberland<ref name=cham> {{article |auteur=Marc Chamberland |titre=A continuous extension of the 3''x''&nbsp;+&nbsp;1 problem to the real line |revue=Dynam. Contin. Discrete Impuls Systems |volume=2 |numéro=4 |pages=495–509 |année=1996 }}.</ref>. Il montre que la conjecture ne tient pas avec cette fonction pour les nombres réels car il existe une infinité de points fixes. Il a également montré qu'il existe de nombreux autres cycles, et qu'il existe des suites infinies divergentes de réels.

Dans le [[plan complexe]], cette fonction a été étudiée par Letherman, Schleicher et Wood <ref> {{article |auteur=Simon Letherman |auteur2 =Schleicher |auteur3 =Wood |titre=The (3''n''&nbsp;+&nbsp;1)-Problem and Holomorphic Dynamics |revue=Experimental Mathematics |volume=8 |numéro=3 |pages=241–252 |année=1999 |doi= 10.1080/10586458.1999.10504402}}.</ref>. De nombreux points divergent à l'infini, représentés dans l'illustration ci-contre en jaune ou bleu. La frontière qui sépare ces régions divergentes et celles qui ne divergent pas, ici en noir, forme une courbe fractale. On y retrouve des éléments caractéristiques de l'[[ensemble de Mandelbrot]] (ce dernier résultat n'est pas très étonnant en fait, car [[Ensemble de Mandelbrot#Universalité|cet ensemble est universel]]).


À noter également le prolongement continu décrit dans le roman de Thierry Lefebvre (La conjecture des hirondelles - Saison 3). L'un des personnages établit la formule <math> h(x)=\frac{7x+2-(5x+2)\cos (\pi x)} {4}</math> qui évite de faire le test de parité et permet l'étude d'une [[Continuité (mathématiques)|fonction continue]] sur R

{{clr|left}}

== Variantes ==
Différentes variantes du problème de Collatz ont été étudiées.

L'une d'elle consiste à remplacer le nombre 3 du problème de Collatz par le nombre 5. Elle s'énonce ainsi :
* <math>u_0 = N</math>
* et pour tout entier naturel {{math|''n''}} : <math>u_{n+1} =  \begin{cases}
  \dfrac{u_n}{2}& \mbox{si } u_n \mbox{ est pair,}\\
   5u_n + 1 & \mbox{si } u_n \mbox{ est impair.}
 \end{cases}</math>

La forme compressée permet de diminuer le nombre d'étapes, mais a le même comportement
* <math>u_0 = N</math>
* et pour tout entier naturel {{math|''n''}} : <math>u_{n+1} =  \begin{cases}
  \dfrac{u_n}{2}& \mbox{si } u_n \mbox{ est pair,}\\
   \dfrac{5u_n + 1}{2}& \mbox{si } u_n \mbox{ est impair.}
 \end{cases}</math>

Selon la valeur initiale N, trois types de suite sont obtenues :
*Les suites aboutissant à 1, comme pour celles de la conjecture de Collatz ; c'est le cas pour N compris entre 1 et 4.
*Les suites aboutissant à une boucle, c'est le cas pour N = 5 ou N = 10 ;
*Les suites qui semblent se poursuivre jusqu'à l'infini (cette divergence n'est pas démontrée) ; c'est le cas pour  N = 7 ou N = 9.

La différence de comportement entre la suite de Collatz en 3''x'' +1 et celle en 5''x'' + 1 n'a pas été démontrée formellement<ref>{{Lien web |auteur=Shalom Eliahou |titre=La conjecture de Syracuse : élémentaire, mais redoutable |url=https://www.pourlascience.fr/sd/mathematiques/la-conjecture-de-syracuse-elementaire-mais-redoutable-16713.php |site=Pour la Science |date=08 avril 2019}}.</ref>.

== La conjecture de Syracuse dans la culture ==
La conjecture de Syracuse apparaît dans le roman du même nom, par [[Antoine Billot]], publié en 2008<ref>{{Ouvrage
|auteur1=Antoine Billot
|titre= La Conjecture de Syracuse
|éditeur=Gallimard
|lieu=Paris
|année=2008
|pages totales=244
|isbn=978-2-07-012282-0
}}.</ref>. Le protagoniste, mathématicien renommé en particulier pour avoir démontré la conjecture, est confronté à un jeune étudiant algérien, dont il a tué le grand-père dans le cadre de la guerre d'indépendance de l'Algérie<ref>{{Article
|auteur1=Robert Solé
|titre="La Conjecture de Syracuse", d'Antoine Billot : le vertige des nombres
|périodique=Le Monde
|date=13 novembre 2008
|lire en ligne=https://www.lemonde.fr/livres/article/2008/11/13/la-conjecture-de-syracuse-d-antoine-billot_1117995_3260.html
|consulté le=7 août 2024
}}.</ref>.

''La conjecture des hirondelles'', roman en trois tomes de Thierry Lefebvre, a été publié à partir de 2021 sur la base de la [[légende urbaine]] associant la conjecture de Syracuse à un affrontement pendant la guerre froide. Il met en scène un jeune mathématicien ukrainien chargé de trouver un [[contre-exemple]] à la conjecture afin de démontrer la supériorité informatique de l'Union soviétique<ref>{{Ouvrage|auteur1=Thierry Lefebvre|titre=La Conjecture des hirondelles (Saisons 1-3)|éditeur=Éditions Soratu|année=2021, 2022, 2023|volume=1-3}}.</ref>{{,}}<ref>{{Article|titre=Notes de lecture|périodique=Quadrature|volume=124|date=avril-mai-juin 2022}}.</ref>.

== Notes et références ==
{{Références}}

== Voir aussi ==
=== Bibliographie ===
* {{en}} [[Jeffrey Lagarias]], [https://arxiv.org/abs/math/0608208/ ''The 3x+1 Problem: An Annotated Bibliography, II (2000-)''].
* [http://www.cagnol.com/promotion2007/cs103-septembre/collatz.php Une page de la FAQ de ''fr.sci.maths''].
* {{article|auteur=Jean-Paul Delahaye|titre=La tenace conjecture de Syracuse|périodique=Pour La Science|numéro=529|pages=80-85|date=novembre 2021}}.
* [[Jean-Paul Delahaye]], [http://kakou.org/briffaut/cours/maple/td_deug/Syracuse.pdf « La conjecture de Syracuse »], ''[[Pour la Science]]'', {{numéro|247}}, mai 1998 {{pdf}}.
* {{en}} Sinyor, J., [http://downloads.hindawi.com/journals/ijmms/2010/458563.pdf « The 3x+1 Problem as a String Rewriting System »], ''International Journal of Mathematics and Mathematical Sciences'', Volume 2010 (2010), Article ID 458563, 6 pages.
*[https://hal.archives-ouvertes.fr/hal-01593181/document La suite de Syracuse, un monde de conjectures par Luc-Olivier Pochon, Alain Favre] , 2020 <small>[PDF]</small>.

=== Article connexe ===
* [[Demi-groupe 3x+1]]

=== Liens externes ===
* {{Lien vidéo |people=Mickaël Launay|année=2016|titre=Top 5 des problèmes de maths simples mais non résolus|émission=|chaine=MicMaths|durée=9|url=https://www.youtube.com/watch?v=atKDrGedg_w|medium=you tube|éditeur=|lieu=|consulté le=31 janvier 2025}}
* Le problème en trois parties sur le site ''[[Images des mathématiques]]'' : [http://images.math.cnrs.fr/Le-probleme-3n-1-elementaire-mais.html (I) élémentaire mais redoutable], [http://images.math.cnrs.fr/Le-probleme-3n-1-cycles-de.html (II) cycles de longueur 5] et [http://images.math.cnrs.fr/Le-probleme-3n-1-y-a-t-il-des.html (III) y a-t-il des cycles non triviaux ?]
* Calcul en ligne : [http://calculis.net/syracuse Calculer des suites de Syracuse].
* [http://pagesperso-orange.fr/logoplus/logo_au_college.htm La fonction Syracuse traitée par le langage LOGO].
* Projet [[BOINC]] : [https://boinc.thesonntags.com/collatz/ Collatz Conjecture].
* Lecture en ligne de [https://www.calameo.com/books/00686775672555d3dcd77 la conjecture des hirondelles - saison 1].

{{Portail|théorie des nombres}}

[[Catégorie:Théorie des nombres]]
[[Catégorie:Conjecture non résolue|Syracuse]]
[[Catégorie:Suite d'entiers|Syracuse]]