En teoría de números , un número de Leyland es un número de la forma
donde x e y son números enteros mayores que 1. [1] Reciben su nombre del matemático Paul Leyland . Los primeros números de Leyland son
El requisito de que x e y sean mayores que 1 es importante, ya que sin él todo entero positivo sería un número de Leyland de la forma x 1 + 1 x . Además, debido a la propiedad conmutativa de la adición, la condición x ≥ y se suele añadir para evitar cubrir dos veces el conjunto de números de Leyland (por lo que tenemos 1 < y ≤ x ).
Un primo de Leyland es un número de Leyland que también es primo. Los primeros primos de este tipo son:
correspondiente a
También se puede fijar el valor de y y considerar la secuencia de valores de x que da los primos de Leyland, por ejemplo x 2 + 2 x es primo para x = 3, 9, 15, 21, 33, 2007, 2127, 3759, ... ( OEIS : A064539 ).
En noviembre de 2012, el mayor número de Leyland que se había demostrado que era primo era 5122 6753 + 6753 5122 con 25050 dígitos. Desde enero de 2011 hasta abril de 2011, fue el mayor primo cuya primalidad se demostró mediante la demostración de primalidad de curva elíptica . [3] En diciembre de 2012, esto se mejoró al demostrar la primalidad de los dos números 3110 63 + 63 3110 (5596 dígitos) y 8656 2929 + 2929 8656 (30008 dígitos), el último de los cuales superó el récord anterior. [4] En febrero de 2023, se demostró que 104824 5 + 5 104824 (73269 dígitos) era primo, [5] y también fue el primo más grande demostrado usando ECPP, hasta que tres meses después se demostró un primo más grande (no de Leyland) usando ECPP. [6] Hay muchos primos probables más grandes conocidos , como 314738 9 + 9 314738 , [7] pero es difícil demostrar la primalidad de números de Leyland grandes. Paul Leyland escribe en su sitio web: "Más recientemente aún, se comprendió que los números de esta forma son casos de prueba ideales para programas de demostración de primalidad de propósito general. Tienen una descripción algebraica simple pero no propiedades ciclotómicas obvias que los algoritmos de propósito especial puedan explotar".
Hay un proyecto llamado XYYXF para factorizar números de Leyland compuestos . [8]
Un número de Leyland del segundo tipo es un número de la forma
donde x e y son números enteros mayores que 1. Los primeros de estos números son:
Un primo de Leyland de segunda especie es un número de Leyland de segunda especie que también es primo. Los primeros primos de este tipo son:
Para los números primos probables, véase Henri Lifchitz y Renaud Lifchitz, búsqueda de registros principales de PRP. [7]
