Conjecture de Scholz
De Wikipedia, l'encyclopédie encyclopedia
Pour les articles homonymes, voir Scholz.
En mathématiques, la conjecture de Scholz, parfois appelée conjecture de Scholz-Brauer ou conjecture de Brauer-Scholz, fut proposée en 1937. Elle prétend que
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
où l(n) est la longueur de la plus courte chaîne d'additions qui produit n, c'est-à-dire le plus petit entier m pour lequel il existe une suite telle que , , et chaque est de la forme avec .
Elle a été démontrée dans de nombreux cas, mais pas dans le cas général.
Par exemple pour n = 5 on a égalité, car l(5)=3 (puisque 1+1=2, 2+2=4, 4+1=5 et il n'existe pas de chaîne plus courte), l(31)=7 (1+1=2, 2+1=3, 3+3=6, 6+6=12, 12+12=24, 24+6=30, 30+1=31), et
- .
Des considérations élémentaires sur la nature des chaînes d'additions et le codage binaire permettent d'établir l'inégalité suivante, plus faible (en) :
- ,
mais une preuve qui permettrait de remplacer par l'un des deux « » du majorant n'a pas encore été trouvée.