En théorie des nombres, les « nombres de LeylandLe seul ouvrage les mentionnant — sans préciser de conditions sur x et y — est , à propos de 2 638 + 4 405, nombre à 15 071 chiffres dont la primalité venait d'être démontrée en juillet 2004. » sont définis dans l'OEIS comme les entiers de la forme x + y, 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 x + 1.
Cette suite d'entiers est la suite de l'OEIS : 8, 17, 32, 54, 57, 100, 145, 177, 320, 368 et la sous-suite des nombres de Leyland premiers est la suite .
Cette formule a été proposée par Paul Leyland Paul Leyland's home page. 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..
En , le plus grand nombre de Leyland premier connu était 8 656 + 2 929 (30 008 chiffres).
Références
Liens externes
Leyland