stringtranslate.com

Número de Fermat

En matemáticas , un número de Fermat , llamado así en honor a Pierre de Fermat (1607–1665), el primero que se sabe que los estudió, es un número entero positivo de la forma: donde n es un número entero no negativo . Los primeros números de Fermat son: 3 , 5 , 17 , 257 , 65537 , 4294967297, 18446744073709551617, ... (secuencia A000215 en la OEIS ).

Si 2 k + 1 es primo y k > 0 , entonces k debe ser una potencia de 2, [1] por lo que 2 k + 1 es un número de Fermat; estos primos se denominan primos de Fermat . A partir de 2023 , los únicos primos de Fermat conocidos son F 0 = 3 , F 1 = 5 , F 2 = 17 , F 3 = 257 y F 4 = 65537 (secuencia A019434 en la OEIS ).

Propiedades básicas

Los números de Fermat satisfacen las siguientes relaciones de recurrencia :

para n ≥ 1,

para n ≥ 2 . Cada una de estas relaciones puede demostrarse por inducción matemática . De la segunda ecuación, podemos deducir el teorema de Goldbach (llamado así por Christian Goldbach ): no hay dos números de Fermat que compartan un factor entero común mayor que 1 . Para ver esto, supongamos que 0 ≤ i < j y F i y F j tienen un factor común a > 1 . Entonces a divide a ambos

y F j ; por lo tanto a divide su diferencia, 2. Como a > 1 , esto fuerza a = 2 . Esto es una contradicción , porque cada número de Fermat es claramente impar. Como corolario , obtenemos otra prueba de la infinitud de los números primos: para cada F n , elijamos un factor primo p n ; entonces la secuencia { p n } es una secuencia infinita de primos distintos.

Otras propiedades

Primalidad

Los números de Fermat y los primos de Fermat fueron estudiados por primera vez por Pierre de Fermat, quien conjeturó que todos los números de Fermat son primos. De hecho, se demuestra fácilmente que los primeros cinco números de Fermat F 0 , ..., F 4 son primos. La conjetura de Fermat fue refutada por Leonhard Euler en 1732 cuando demostró que

Euler demostró que cada factor de F n debe tener la forma k 2 n +1 + 1 (posteriormente mejorada a k 2 n +2 + 1 por Lucas ) para n ≥ 2 .

Que 641 es un factor de F 5 se puede deducir de las igualdades 641 = 2 7  × 5 + 1 y 641 = 2 4  + 5 4 . De la primera igualdad se sigue que 2 7  × 5 ≡ −1 (mod 641) y por tanto (elevado a la cuarta potencia) que 2 28  × 5 4  ≡ 1 (mod 641). Por otra parte, la segunda igualdad implica que 5 4  ≡ −2 4  (mod 641). Estas congruencias implican que 2 32  ≡ −1 (mod 641).

Fermat probablemente conocía la forma de los factores que luego demostró Euler, por lo que parece curioso que no pudiera realizar el cálculo sencillo para encontrar el factor. [2] Una explicación común es que Fermat cometió un error de cálculo.

No se conocen otros primos de Fermat F n con n > 4 , pero se sabe poco sobre los números de Fermat para n grandes . [3] De hecho, cada uno de los siguientes es un problema abierto:

A partir de 2024 , se sabe que F n es compuesto para 5 ≤ n ≤ 32 , aunque de estos, solo se conocen factorizaciones completas de F n para 0 ≤ n ≤ 11 , y no hay factores primos conocidos para n = 20 y n = 24. [ 5] El número de Fermat más grande conocido como compuesto es F 18233954 , y su factor primo 7 × 2 18233956 + 1 fue descubierto en octubre de 2020.

Argumentos heurísticos

La heurística sugiere que F 4 es el último primo de Fermat.

El teorema de los números primos implica que un entero aleatorio en un intervalo adecuado alrededor de N es primo con probabilidad 1 / ln N . Si se utiliza la heurística de que un número de Fermat es primo con la misma probabilidad que un entero aleatorio de su tamaño, y que F 5 , ..., F 32 son compuestos, entonces el número esperado de primos de Fermat más allá de F 4 (o equivalentemente, más allá de F 32 ) debería ser

Este número se puede interpretar como un límite superior para la probabilidad de que exista un primo de Fermat mayor que F 4 .

Este argumento no es una prueba rigurosa. Por un lado, supone que los números de Fermat se comportan de forma "aleatoria", pero los factores de los números de Fermat tienen propiedades especiales. Boklan y Conway publicaron un análisis más preciso que sugiere que la probabilidad de que exista otro primo de Fermat es inferior a una en mil millones. [6]

Anders Bjorn y Hans Riesel estimaron el número de factores cuadrados de los números de Fermat desde F 5 en adelante como

en otras palabras, es poco probable que existan números de Fermat que no sean libres de cuadrados y, en general, los factores cuadrados de son muy raros para n grandes . [7]

Condiciones equivalentes

Sea el n- ésimo número de Fermat. La prueba de Pépin establece que para n > 0 ,

es primo si y sólo si

La expresión se puede evaluar módulo elevando al cuadrado repetidamente . Esto hace que la prueba sea un algoritmo rápido en tiempo polinómico . Pero los números de Fermat crecen tan rápido que solo se pueden probar unos pocos de ellos en una cantidad de tiempo y espacio razonables.

Existen algunas pruebas para números de la forma k 2 m + 1 , como los factores de los números de Fermat, para determinar su primalidad.

Teorema de Proth (1878). Sea N = k 2 m + 1 con k impar < 2 m . Si existe un entero a tal que
entonces es primo. Por el contrario, si la congruencia anterior no se cumple, y además
(Ver símbolo de Jacobi )
entonces es compuesto.

Si N = F n > 3 , entonces el símbolo de Jacobi anterior siempre es igual a −1 para a = 3 , y este caso especial del teorema de Proth se conoce como prueba de Pépin . Aunque la prueba de Pépin y el teorema de Proth se han implementado en computadoras para demostrar la composición de algunos números de Fermat, ninguna prueba proporciona un factor no trivial específico. De hecho, no se conocen factores primos específicos para n = 20 y 24.

Factorización

Debido al tamaño de los números de Fermat, es difícil factorizar o incluso comprobar la primalidad. La prueba de Pépin proporciona una condición necesaria y suficiente para la primalidad de los números de Fermat, y puede implementarse en las computadoras modernas. El método de la curva elíptica es un método rápido para encontrar divisores primos pequeños de números. El proyecto de computación distribuida Fermatsearch ha encontrado algunos factores de números de Fermat. El proth.exe de Yves Gallot se ha utilizado para encontrar factores de números de Fermat grandes. Édouard Lucas , mejorando el resultado mencionado anteriormente de Euler, demostró en 1878 que cada factor del número de Fermat , con n al menos 2, es de la forma (ver Número de Proth ), donde k es un entero positivo. Por sí mismo, esto hace que sea fácil demostrar la primalidad de los primos de Fermat conocidos.

Las factorizaciones de los primeros 12 números de Fermat son:

A partir de abril de 2023 , solo F 0 a F 11 han sido completamente factorizados . [5] El proyecto de computación distribuida Fermat Search está buscando nuevos factores de números de Fermat. [9] El conjunto de todos los factores de Fermat es A050922 (o, ordenado, A023394) en OEIS .

Los siguientes factores de los números de Fermat se conocían antes de 1950 (desde entonces, las computadoras digitales han ayudado a encontrar más factores):

A partir de julio de 2023 , se conocen 368 factores primos de números de Fermat y se sabe que 324 números de Fermat son compuestos. [5] Cada año se descubren varios factores de Fermat nuevos. [10]

Pseudoprimos y números de Fermat

Al igual que los números compuestos de la forma 2 p − 1, cada número de Fermat compuesto es un pseudoprimo fuerte en base 2. Esto se debe a que todos los pseudoprimos fuertes en base 2 también son pseudoprimos de Fermat , es decir,

para todos los números de Fermat. [11]

En 1904, Cipolla demostró que el producto de al menos dos números de Fermat primos o compuestos distintos será un pseudoprimo de Fermat en base 2 si y sólo si . [12]

Otros teoremas sobre los números de Fermat

Lema.  —  Si n es un entero positivo,

Prueba

Teorema  —  Si es un primo impar, entonces es una potencia de 2.

Prueba

Si es un entero positivo pero no una potencia de 2, debe tener un factor primo impar , y podemos escribir donde .

Por el lema anterior, para un entero positivo ,

donde significa "divide uniformemente". Sustituyendo , y y usando que es impar,

y por lo tanto

Como , se sigue que no es primo. Por lo tanto, por contraposición debe ser una potencia de 2.

Teorema  :  Un primo de Fermat no puede ser un primo de Wieferich .

Prueba

Demostramos que si es un primo de Fermat (y, por lo tanto, por lo anterior, m es una potencia de 2), entonces la congruencia no se cumple.

Dado que podemos escribir . Si se cumple la congruencia dada, entonces , y por lo tanto

Por lo tanto , y por lo tanto . Esto conduce a , lo cual es imposible ya que .

Teorema  ( Édouard Lucas )  —  Cualquier divisor primo p de es de la forma siempre que n > 1 .

Bosquejo de la prueba

Sea G p el grupo de enteros distintos de cero módulo p bajo la multiplicación , que tiene orden p − 1 . Nótese que 2 (estrictamente hablando, su imagen módulo p ) tiene orden multiplicativo igual a en G p (ya que es el cuadrado de cuyo valor es −1 módulo F n ), de modo que, por el teorema de Lagrange , p − 1 es divisible por y p tiene la forma para algún entero k , como Euler sabía. Édouard Lucas fue más allá. Como n > 1 , el primo p anterior es congruente con 1 módulo 8. Por lo tanto (como sabía Carl Friedrich Gauss ), 2 es un residuo cuadrático módulo p , es decir, hay un entero a tal que Entonces la imagen de a tiene orden en el grupo G p y (usando nuevamente el teorema de Lagrange), p − 1 es divisible por y p tiene la forma para algún entero s .

De hecho, se puede ver directamente que 2 es un residuo cuadrático módulo p , ya que

Como una potencia impar de 2 es un residuo cuadrático módulo p , entonces 2 también lo es.

Un número de Fermat no puede ser un número perfecto ni parte de un par de números amigos . (Luca 2000)

La serie de recíprocos de todos los divisores primos de los números de Fermat es convergente . (Křížek, Luca y Somer 2002)

Si n n + 1 es primo, existe un entero m tal que n = 2 2 m . La ecuación n n + 1 = F (2 m + m ) se cumple en ese caso. [13] [14]

Sea P ( F n ) el factor primo más grande del número de Fermat F n . Entonces,

(Grytczuk, Luca y Wójtowicz 2001)

Relación con los polígonos construibles

Número de lados de polígonos construibles conocidos que tienen hasta 1000 lados (negrita) o un número de lados impares (rojo)

Carl Friedrich Gauss desarrolló la teoría de los períodos gaussianos en sus Disquisitiones Arithmeticae y formuló una condición suficiente para la constructibilidad de los polígonos regulares. Gauss afirmó que esta condición también era necesaria , [15] pero nunca publicó una prueba. Pierre Wantzel dio una prueba completa de la necesidad en 1837. El resultado se conoce como el teorema de Gauss-Wantzel :

Un polígono regular de n lados se puede construir con compás y regla si y solo si n es una potencia de 2 o el producto de una potencia de 2 y primos de Fermat distintos: en otras palabras, si y solo si n tiene la forma n = 2 k o n = 2 k p 1 p 2 ... p s , donde k , s son números enteros no negativos y p i son primos de Fermat distintos.

Un entero positivo n tiene la forma anterior si y sólo si su total φ ( n ) es una potencia de 2.

Aplicaciones de los números de Fermat

Generación de números pseudoaleatorios

Los primos de Fermat son particularmente útiles para generar secuencias pseudoaleatorias de números en el rango 1, ..., N , donde N es una potencia de 2. El método más común utilizado es tomar cualquier valor de semilla entre 1 y P − 1 , donde P es un primo de Fermat. Ahora multiplique esto por un número A , que es mayor que la raíz cuadrada de P y es una raíz primitiva módulo P (es decir, no es un residuo cuadrático ). Luego tome el resultado módulo P . El resultado es el nuevo valor para el RNG.

(ver generador congruencial lineal , RANDU )

Esto es útil en informática, ya que la mayoría de las estructuras de datos tienen miembros con 2 X valores posibles. Por ejemplo, un byte tiene 256 (2 8 ) valores posibles (0–255). Por lo tanto, para llenar un byte o bytes con valores aleatorios, se puede utilizar un generador de números aleatorios que produzca valores 1–256, tomando el byte el valor de salida −1. Los primos de Fermat muy grandes son de particular interés en el cifrado de datos por esta razón. Este método produce solo valores pseudoaleatorios , ya que después de P − 1 repeticiones, la secuencia se repite. Un multiplicador mal elegido puede dar como resultado que la secuencia se repita antes de P − 1 .

Números de Fermat generalizados

Los números de la forma con a , b cualesquiera coprimos enteros, a > b > 0 , se denominan números de Fermat generalizados . Un primo impar p es un número de Fermat generalizado si y solo si p es congruente con 1 (mod 4) . (Aquí consideramos solo el caso n > 0 , por lo que 3 = no es un contraejemplo).

Un ejemplo de un primo probable de esta forma es 1215 131072 + 242 131072 (descubierto por Kellen Shenton). [16]

Por analogía con los números de Fermat ordinarios, es común escribir números de Fermat generalizados de la forma F n ( a ). En esta notación, por ejemplo, el número 100.000.001 se escribiría como F 3 (10). En lo sucesivo nos limitaremos a los primos de esta forma, , a dichos primos se les denomina "primos de Fermat base a ". Por supuesto, estos primos sólo existen si a es par .

Si requerimos que n > 0 , entonces el cuarto problema de Landau pregunta si hay infinitos primos de Fermat generalizados F n ( a ).

Primos de Fermat generalizados de la forma Fnorte(a)

Debido a la facilidad para demostrar su primalidad, los números primos de Fermat generalizados se han convertido en los últimos años en un tema de investigación dentro del campo de la teoría de números. Muchos de los números primos más grandes conocidos en la actualidad son números primos de Fermat generalizados.

Los números de Fermat generalizados pueden ser primos solo para a par , porque si a es impar, entonces todo número de Fermat generalizado será divisible por 2. El número primo más pequeño con es , o 30 32 + 1. Además, podemos definir "números de Fermat semirgeneralizados" para una base impar, un número de Fermat semirgeneralizado en base a (para a impar ) es , y también es de esperar que solo haya un número finito de primos de Fermat semirgeneralizados para cada base impar.

En esta lista, los números de Fermat generalizados ( ) para un a par son , para un a impar son . Si a es una potencia perfecta con exponente impar (secuencia A070265 en la OEIS ), entonces todos los números de Fermat generalizados pueden factorizarse algebraicamente, por lo que no pueden ser primos.

Véase [17] [18] para bases pares hasta 1000, y [19] para bases impares. Para el número más pequeño que es primo, véase OEIS : A253242 .

Para la base par más pequeña a tal que sea prima, véase OEIS : A056993 .

Las bases más pequeñas b=b(n) tales que b 2 n + 1 (para n = 0,1,2, ... ) es primo son

2, 2, 2, 2, 2, 30, 102, 120, 278, 46, 824, 150, 1534, 30406, 67234, 70906, 48594, 62722, 24518, 75898, 919444, ... (secuencia A056993 en la OEIS )

Por el contrario, los k=k(n) más pequeños tales que (2 n ) k + 1 (para n dado ) es primo son

1, 1, 1, 0, 1, 1, 2, 1, 1, 2, 1, 2, 2, 1, 1, 0, 4, 1, ... (El siguiente término es desconocido) (secuencia A079706 en la OEIS ) (ver también OEIS : A228101 y OEIS : A084712 )

Se puede utilizar una teoría más elaborada para predecir el número de bases para las cuales será primo para . Se puede esperar que el número de primos de Fermat generalizados se reduzca aproximadamente a la mitad a medida que se incrementa en 1.

Primos de Fermat generalizados de la forma Fnorte(a,b)

También es posible construir primos de Fermat generalizados de la forma . Como en el caso en que b = 1, los números de esta forma siempre serán divisibles por 2 si a+b es par, pero aún es posible definir primos de medio Fermat generalizados de este tipo. Para el primo más pequeño de la forma (para impar ), consulte también OEIS : A111635 .

Los números primos de Fermat generalizados más grandes conocidos

La siguiente es una lista de los cinco primos de Fermat generalizados más grandes conocidos. [21] El top 5 completo fue descubierto por los participantes del proyecto PrimeGrid .

En las páginas Prime se pueden encontrar los 100 mejores primos de Fermat generalizados actuales.

Véase también

Notas

  1. ^ Para cualquier número impar positivo , donde .
  2. ^ Křížek, Luca y Somer 2001, pág. 38, Observación 4.15
  3. ^ Chris Caldwell, "Prime Links++: formularios especiales" Archivado el 24 de diciembre de 2013 en Wayback Machine en The Prime Pages .
  4. ^ Ribenboim 1996, pág. 88.
  5. ^ abc Keller, Wilfrid (18 de enero de 2021), "Prime Factors of Fermat Numbers", ProthSearch.com , consultado el 19 de enero de 2021
  6. ^ Boklan, Kent D.; Conway, John H. (2017). "¡Espere como máximo una milmillonésima parte de un nuevo primo de Fermat!". The Mathematical Intelligencer . 39 (1): 3–5. arXiv : 1605.01371 . doi :10.1007/s00283-016-9644-3. S2CID  119165671.
  7. ^ ab Björn, Anders; Riesel, Hans (1998). "Factores de números de Fermat generalizados". Matemáticas de la computación . 67 (221): 441–446. doi : 10.1090/S0025-5718-98-00891-6 . ISSN  0025-5718.
  8. ^ Sandifer, Ed. "Cómo lo hizo Euler" (PDF) . MAA Online . Asociación Matemática de Estados Unidos. Archivado (PDF) desde el original el 2022-10-09 . Consultado el 2020-06-13 .
  9. ^ ":: FERMATSEARCH . ORG :: Página de inicio". www.fermatsearch.org . Consultado el 7 de abril de 2018 .
  10. ^ "::FERMATSEARCH.ORG:: Noticias". www.fermatsearch.org . Consultado el 7 de abril de 2018 .
  11. ^ Schroeder, MR (2006). Teoría de números en la ciencia y la comunicación: con aplicaciones en criptografía, física, información digital, computación y autosimilitud. Serie Springer en ciencias de la información (4.ª ed.). Berlín; Nueva York: Springer. p. 216. ISBN 978-3-540-26596-2.OCLC 61430240  .
  12. ^ Krizek, Michal; Luca, Florian; Somer, Lawrence (14 de marzo de 2013). 17 conferencias sobre números de Fermat: de la teoría de números a la geometría. Springer Science & Business Media. ISBN 9780387218502. Recuperado el 7 de abril de 2018 – vía Google Books.
  13. ^ Jeppe Stig Nielsen, "S (n) = n ^ n + 1".
  14. ^ Weisstein, Eric W. "Número de Sierpiński del primer tipo". MathWorld .
  15. ^ Gauss, Carl Friedrich (1966). Disquisitiones arithmeticae. New Haven y Londres: Yale University Press. pp. 458–460 . Consultado el 25 de enero de 2023 .
  16. ^ Registros principales de PRP, búsqueda de x^131072+y^131072, por Henri y Renaud Lifchitz.
  17. ^ "Primos de Fermat generalizados". jeppesn.dk . Consultado el 7 de abril de 2018 .
  18. ^ "Primos de Fermat generalizados para bases hasta 1030". noprimeleftbehind.net . Consultado el 7 de abril de 2018 .
  19. ^ "Primos de Fermat generalizados en bases impares". fermatquotient.com . Consultado el 7 de abril de 2018 .
  20. ^ "Factores GFN originales". www.prothsearch.com .
  21. ^ Caldwell, Chris K. "Los veinte primeros: Fermat generalizado". The Prime Pages . Consultado el 5 de octubre de 2024 .
  22. ^ 4×511786358 + 1
  23. ^ 19637361048576 + 1
  24. ^ 19517341048576 + 1
  25. ^ 10590941048576 + 1
  26. ^ 9194441048576 + 1

Referencias

Enlaces externos