Nombre de Leyland
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/35px-Racine_carr%C3%A9e_bleue.svg.png)
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.
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
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
- ↑ 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
- (en) P. Leyland, « Primes of the form xy + yx »
Arithmétique et théorie des nombres