ArithmétiqueThéorème · Glossaire
conjecture de Proth-Gilbreath
On part de la suite infinie des nombres premiers, en commençant par 2, puis chaque nouvelle ligne est formée des valeurs absolues des différences entre deux termes consécutifs de la ligne précédente. La conjecture de Proth-Gilbreath affirme que le premier terme de chacune de ces nouvelles lignes vaut toujours 1. Ce motif simple, qui suggère une régularité cachée des nombres premiers, reste à démontrer à toute profondeur.
Sommaire
Ce que vous allez apprendre
- Construire les lignes de différences absolues à partir des nombres premiers.
- Vérifier pas à pas la bordure gauche sur les huit premiers nombres premiers.
- Distinguer une vérification finie d'une preuve générale.
- Repérer les règles de départ dont dépend exactement l'énoncé.
En clair
Écrivons 2, 3, 5, 7, 11… Puis remplaçons ces nombres par les écarts entre voisins : 1, 2, 2, 4… À la ligne suivante, on recommence avec ces nouveaux nombres, toujours en gardant des écarts positifs ou nuls.
Un phénomène résiste à toutes ces répétitions : le nombre placé tout à gauche semble toujours être 1. La conjecture de Proth-Gilbreath affirme que cela continue à chaque ligne, aussi loin que l'on poursuive la construction. Des calculs très étendus le confirment, mais aucun raisonnement général ne l'a encore démontré.
Définition
La conjecture de Proth-Gilbreath porte sur la suite croissante des nombres premiers, qui commence par 2, 3, 5, 7, 11, 13… Pour construire le triangle de différences, la ligne de rang 0 est cette suite. Chaque terme d'une nouvelle ligne est la valeur absolue de la différence entre deux termes consécutifs de la ligne précédente. La valeur absolue rend le résultat positif ou nul.
Notons pn le nombre premier de rang n et Dk(n) le terme de rang n sur la ligne k. La construction et la conjecture s'écrivent :
La dernière égalité est précisément l'affirmation conjecturée, et non un résultat démontré.
François Proth a proposé cet énoncé en 1878. Norman Gilbreath l'a redécouvert indépendamment en 1958, d'où les deux appellations. La conjecture concerne toutes les lignes obtenues à partir de la suite infinie des nombres premiers ; une construction finie n'en montre qu'un fragment.
Le principe
On part, dans l'ordre, de tous les nombres premiers 2, 3, 5, 7, 11… Pour passer d'une ligne à la suivante, on calcule entre chaque paire voisine la valeur absolue de leur différence. On répète ensuite exactement la même opération sur la nouvelle ligne.
La conjecture affirme alors : pour tout rang de ligne k au moins égal à 1, le premier terme Dk(1) vaut 1. Elle ne dit pas que tous les termes valent 1, ni que les autres termes suivent un motif fixe.
Quand l'utiliser
La ligne initiale doit être la suite des nombres premiers dans l'ordre croissant, en commençant par 2. À chaque étape, il faut prendre la valeur absolue de la différence de deux voisins et conserver l'ordre des résultats. Ces règles déterminent chaque ligne à partir de la précédente.
Le premier calcul donne |3 − 2| = 1, ce qui amorce la propriété. En revanche, si l'on commence à 3 et que l'on omet 2, le premier écart est |5 − 3| = 2 : cette construction modifiée ne relève plus de l'énoncé. De même, employer des différences signées produit un autre triangle. Il faut alors revenir aux valeurs absolues pour tester la conjecture de Proth-Gilbreath.
Un exemple, pas à pas
Prenons les huit premiers nombres premiers : 2, 3, 5, 7, 11, 13, 17 et 19. À chaque étape, le nombre de termes diminue de un.
1. Les premiers écarts sont 1, 2, 2, 4, 2, 4, 2.
2. Leurs écarts absolus donnent 1, 0, 2, 2, 2, 2.
3. On obtient ensuite 1, 2, 0, 0, 0.
4. Les quatre dernières lignes sont 1, 2, 0, 0 ; puis 1, 2, 0 ; puis 1, 2 ; enfin 1. Le triangle complet permet de suivre ces calculs et met en évidence sa bordure gauche.
2. Leurs écarts absolus donnent 1, 0, 2, 2, 2, 2.
3. On obtient ensuite 1, 2, 0, 0, 0.
4. Les quatre dernières lignes sont 1, 2, 0, 0 ; puis 1, 2, 0 ; puis 1, 2 ; enfin 1. Le triangle complet permet de suivre ces calculs et met en évidence sa bordure gauche.
Le contrôle est direct : dans chacune des sept lignes calculées après la ligne des nombres premiers, le premier terme est bien 1. Cet exemple vérifie donc l'énoncé pour ce fragment de huit nombres premiers. Il ne prouve pas que la propriété subsiste pour la suite infinie ni pour toutes les profondeurs.
En pratique
Pour découvrir la conjecture à la main, quelques nombres premiers suffisent. On aligne les termes, on calcule les écarts absolus, puis on vérifie la bordure gauche à chaque nouvelle ligne. Cette méthode est préférable à un programme lorsque l'objectif est de voir le mécanisme.
Pour tester beaucoup plus de termes, un calcul automatisé évite les erreurs de copie. Le programme doit conserver les entiers exacts, construire chaque ligne et signaler toute première valeur différente de 1. Il fournit une vérification numérique, pas une démonstration.
Pour étudier l'énoncé mathématiquement, on suit surtout le premier terme au fil des différences, tout en gardant les termes voisins dont il dépend. Une preuve devrait couvrir toutes les lignes d'un seul raisonnement ; prolonger seulement le calcul laisse toujours des lignes non examinées.
À ne pas confondre
La conjecture ne porte pas seulement sur les écarts entre nombres premiers. Ces écarts forment la deuxième ligne ; l'énoncé concerne aussi toutes les lignes de différences qui en découlent. Dans l'exemple, le 0 de la troisième ligne provient de deux écarts égaux à 2.
Elle ne décrit pas une suite arithmétique. Une suite arithmétique possède une différence constante entre termes successifs, alors que les écarts 1, 2, 2, 4… varient dès la première opération.
Enfin, une vérification numérique n'est pas une preuve. Vérifier sept lignes, ou un nombre bien plus grand de lignes, confirme seulement les cas calculés. Une démonstration doit exclure un contre-exemple à n'importe quel rang.
Limites et pièges
Une ligne intérieure peut contenir des zéros sans contredire la conjecture. Le symptôme trompeur est de prendre « le premier terme vaut 1 » pour « tous les termes sont non nuls ». Dans l'exemple, la troisième ligne commence par 1 mais contient 0.
Un triangle construit avec N nombres premiers s'arrête après N − 1 lignes de différences. Sa dernière ligne vaut 1 dans l'exemple avec N = 8, mais rien n'est calculé au-delà. Il faut annoncer la taille du fragment au lieu de généraliser son résultat.
Retirer le premier nombre premier change immédiatement le bord gauche : avec 3, 5, 7…, la première différence vaut 2. Le point de départ 2 n'est donc pas facultatif ; une suite tronquée teste une autre propriété.
Les vérifications jusqu'à des bornes très élevées, mentionnées dans la définition de référence, ne ferment pas le problème. Tant qu'aucune preuve générale ni aucun contre-exemple n'est connu dans le cadre de la fiche, l'énoncé garde le statut de conjecture.
Pour aller plus loin
Le triangle invite à séparer deux questions. La première est expérimentale : jusqu'à quelle profondeur la bordure gauche reste-t-elle égale à 1 dans un calcul donné ? La seconde est théorique : quel argument pourrait imposer cette valeur pour toute profondeur ? Cette distinction entre observation finie et affirmation infinie est au cœur du statut de conjecture.
On peut aussi examiner comment une valeur située sur le bord dépend d'un nombre croissant de nombres premiers de la ligne initiale. Cette dépendance explique pourquoi une simple régularité des premiers écarts ne suffit pas : les différences sont répétées, et chaque étage combine l'information de l'étage précédent.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres