Nombre de Leyland
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.
Pour les articles homonymes, voir Leyland.
En théorie des nombres, les « nombres de Leyland[1] » sont définis dans l'OEIS comme les entiers de la forme xy + yx, où x et y sont des entiers strictement supérieurs à 1. La qualification "strictement" est essentielle : sans elle tout entier supérieur ou égal à 2 serait un nombre de Leyland car de la forme x1 + 1x.
Cette suite d'entiers est la suite 
A076980 de l'OEIS : 8, 17, 32, 54, 57, 100, 145, 177, 320, 368, etc. et la sous-suite des nombres de Leyland premiers est la suite A094133.
Cette formule a été proposée par Paul Leyland[2] comme un bon générateur pour tester des programmes généralistes de preuve de primalité, parce que ces nombres ne semblent présenter aucune propriété particulière que des programmes spécifiques pourraient exploiter[3].
En , le plus grand nombre de Leyland premier connu était 8 6562 929 + 2 9298 656 (30 008 chiffres).
Réf��rences
[modifier | modifier le code]- Le seul ouvrage les mentionnant — sans préciser de conditions sur x et y — est (en) Richard Crandall et Carl Pomerance, Prime Numbers: A Computational Perspective, Springer, , p. 374, à propos de 2 6384 405 + 4 4052 638, nombre à 15 071 chiffres dont la primalité venait d'être démontrée en juillet 2004.
- (en) Paul Leyland's home page.
- Leyland, Primes of the form….
Lien externe
[modifier | modifier le code]- (en) P. Leyland, « Primes of the form xy + yx »
