stringtranslate.com

Número perfecto

Ilustración del estado de número perfecto del número 6

En teoría de números , un número perfecto es un entero positivo que es igual a la suma de sus divisores propios positivos , es decir, los divisores excluyendo el número mismo. Por ejemplo, 6 tiene divisores propios 1, 2 y 3, y 1 + 2 + 3 = 6, por lo que 6 es un número perfecto. El siguiente número perfecto es 28, ya que 1 + 2 + 4 + 7 + 14 = 28.

Los primeros cuatro números perfectos son 6 , 28 , 496 y 8128. [1 ]

La suma de los divisores propios de un número se denomina suma alícuota , por lo que un número perfecto es aquel que es igual a su suma alícuota. De manera equivalente, un número perfecto es un número que es la mitad de la suma de todos sus divisores positivos; en símbolos, donde es la función suma de divisores .

Esta definición es antigua, ya que aparece en los Elementos de Euclides (VII.22), donde se la denomina τέλειος ἀριθμός ( número perfecto , ideal o completo ). Euclides también demostró una regla de formación (IX.36) por la cual es un número perfecto par siempre que es un primo de la forma de un entero positivo —lo que ahora se llama primo de Mersenne— . Dos milenios después, Leonhard Euler demostró que todos los números perfectos pares tienen esta forma. [2] Esto se conoce como el teorema de Euclides-Euler .

No se sabe si existen números perfectos impares ni si existen infinitos números perfectos.

Historia

En el año 300 a. C., Euclides demostró que si 2 p  − 1 es primo, entonces 2 p −1 (2 p  − 1) es perfecto. Los primeros cuatro números perfectos eran los únicos conocidos por los matemáticos griegos primitivos , y el matemático Nicómaco anotó 8128 alrededor del año 100 d. C. [3] En lenguaje moderno, Nicómaco afirma sin prueba que todo número perfecto es de la forma donde es primo. [4] [5] Parece ignorar que n en sí mismo tiene que ser primo. También dice (erróneamente) que los números perfectos terminan en 6 u 8 alternativamente. (Los primeros 5 números perfectos terminan con los dígitos 6, 8, 6, 8, 6; pero el sexto también termina en 6.) Filón de Alejandría en su libro del primer siglo "Sobre la creación" menciona los números perfectos, afirmando que el mundo fue creado en 6 días y la luna orbita en 28 días porque 6 y 28 son perfectos. A Filón le siguen Orígenes , [6] y Dídimo el Ciego , quien añade la observación de que sólo hay cuatro números perfectos que sean menores que 10.000. (Comentario sobre Génesis 1. 14–19). [7] San Agustín define los números perfectos en Ciudad de Dios (Libro XI, Capítulo 30) a principios del siglo V d.C., repitiendo la afirmación de que Dios creó el mundo en 6 días porque 6 es el número perfecto más pequeño. El matemático egipcio Ismail ibn Fallūs (1194-1252) mencionó los siguientes tres números perfectos (33.550.336; 8.589.869.056; y 137.438.691.328) y enumeró algunos más que ahora se sabe que son incorrectos. [8] La primera mención europea conocida del quinto número perfecto es un manuscrito escrito entre 1456 y 1461 por un matemático desconocido. [9] En 1588, el matemático italiano Pietro Cataldi identificó el sexto (8.589.869.056) y el séptimo (137.438.691.328) números perfectos, y también demostró que todo número perfecto obtenido a partir de la regla de Euclides termina con un 6 o un 8. [10] [11] [12]

Números perfectos incluso

Problema sin resolver en matemáticas :
¿Existen infinitos números perfectos?

Euclides demostró que es un número par perfecto siempre que es primo ( Elementos , Prop. IX.36).

Por ejemplo, los primeros cuatro números perfectos se generan mediante la fórmula con p como número primo , de la siguiente manera:

Los números primos de la forma se conocen como primos de Mersenne , en honor al monje del siglo XVII Marin Mersenne , que estudió la teoría de números y los números perfectos. Para que sean primos, es necesario que p sea primo. Sin embargo, no todos los números de la forma con un primo p son primos; por ejemplo, 2 11 − 1 = 2047 = 23 × 89 no es un número primo. [a] De hecho, los primos de Mersenne son muy raros: de los primos p hasta 68.874.199, es primo solo para 48 de ellos. [13]

Aunque Nicómaco había afirmado (sin pruebas) que todos los números perfectos eran de la forma donde es primo (aunque lo afirmó de forma algo diferente), Ibn al-Haytham (Alhazen) alrededor del año 1000 d. C. no estaba dispuesto a ir tan lejos, declarando en cambio (también sin pruebas) que la fórmula arrojaba solo todos los números pares perfectos. [14] No fue hasta el siglo XVIII que Leonhard Euler demostró que la fórmula arrojará todos los números pares perfectos. Por lo tanto, existe una correspondencia uno a uno entre los números pares perfectos y los primos de Mersenne; cada primo de Mersenne genera un número par perfecto, y viceversa. Este resultado a menudo se conoce como el teorema de Euclides-Euler .

Una búsqueda exhaustiva realizada por el proyecto de computación distribuida GIMPS ha demostrado que los primeros 48 números pares perfectos son para

p = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609 y 57885161 (secuencia A000043 en la OEIS ). [13]

También se han descubierto cuatro números perfectos superiores, a saber, aquellos para los que p = 74207281, 77232917, 82589933 y 136279841. Aunque todavía es posible que haya otros dentro de este rango, las pruebas iniciales pero exhaustivas de GIMPS no han revelado ningún otro número perfecto para p por debajo de 109332539. A octubre de 2024 , se conocen 52 primos de Mersenne, [15] y, por lo tanto, 52 números perfectos pares (el mayor de los cuales es 2 136279840 × (2 136279841 − 1) con 82.048.640 dígitos). No se sabe si hay infinitos números perfectos, ni si hay infinitos primos de Mersenne.

Además de tener la forma , cada número par perfecto es el -ésimo número triangular (y por lo tanto igual a la suma de los enteros de 1 a ) y el -ésimo número hexagonal . Además, cada número par perfecto excepto 6 es el -ésimo número no agonal centrado y es igual a la suma de los primeros cubos impares (cubos impares hasta el cubo de ):

Incluso los números perfectos (excepto el 6) tienen la forma

con cada número triangular resultante T 7 = 28 , T 31 = 496 , T 127 = 8128 (después de restar 1 del número perfecto y dividir el resultado por 9) terminando en 3 o 5, la secuencia que comienza con T 2 = 3 , T 10 = 55 , T 42 = 903 , T 2730 = 3727815, ... [16] De ello se deduce que al sumar los dígitos de cualquier número par perfecto (excepto 6), luego sumar los dígitos del número resultante y repetir este proceso hasta obtener un solo dígito (llamado raíz digital ), siempre se produce el número 1. Por ejemplo, la raíz digital de 8128 es 1, porque 8 + 1 + 2 + 8 = 19 , 1 + 9 = 10 y 1 + 0 = 1 . Esto funciona con todos los números perfectos con primo impar p y, de hecho, con todos los números de la forma de entero impar (no necesariamente primo) m .

Debido a su forma, todo número par perfecto se representa en forma binaria como p unos seguidos de p − 1 ceros; por ejemplo:

Por lo tanto, todo número par perfecto es un número pernicioso .

Todo número par perfecto es también un número práctico (cf. Conceptos relacionados).

Números perfectos impares

Problema sin resolver en matemáticas :
¿Existen números perfectos impares?

Se desconoce si existen números perfectos impares, aunque se han obtenido varios resultados. En 1496, Jacques Lefèvre afirmó que la regla de Euclides da todos los números perfectos, [17] lo que implica que no existe ningún número perfecto impar, pero el propio Euler afirmó: "Si ... hay algún número perfecto impar es una pregunta muy difícil". [18] Más recientemente, Carl Pomerance ha presentado un argumento heurístico que sugiere que, de hecho, no debería existir ningún número perfecto impar. [19] Todos los números perfectos también son números divisores armónicos , y también se ha conjeturado que no hay números divisores armónicos impares distintos de 1. Muchas de las propiedades demostradas sobre los números perfectos impares también se aplican a los números de Descartes , y Pace Nielsen ha sugerido que un estudio suficiente de esos números puede llevar a una prueba de que no existen números perfectos impares. [20]

Cualquier número perfecto impar N debe satisfacer las siguientes condiciones:

dónde:
  • qp 1 , ...,  p k son primos impares distintos (Euler).
  • q ≡ α ≡ 1 ( mod 4) (Euler).
  • El factor primo más pequeño de N es como máximo [32]
  • Al menos una de las potencias primas que dividen a N es mayor que 10 62 . [21]
  • [33] [34]
  • . [32] [35] [36]
  • . [37]
  • . [38] [39]

Además, se conocen varios resultados menores sobre los exponentes e 1 , ...,  e k .

En 1888, Sylvester afirmó: [48]

... una meditación prolongada sobre el tema me ha convencido de que la existencia de cualquiera de esos [números perfectos impares] —su escape, por así decirlo, de la compleja red de condiciones que lo encierran por todos lados— sería poco menos que un milagro.

Resultados menores

Todos los números perfectos pares tienen una forma muy precisa; los números perfectos impares o bien no existen o bien son raros. Hay una serie de resultados sobre los números perfectos que son en realidad bastante fáciles de demostrar, pero que sin embargo resultan impresionantes a primera vista; algunos de ellos también se incluyen en la ley fuerte de los números pequeños de Richard Guy :

Conceptos relacionados

Diagrama de Euler de números menores de 100:
   Perfecto

La suma de divisores propios da lugar a otros tipos de números. Los números cuya suma es menor que el número mismo se denominan deficientes , y aquellos cuya suma es mayor que el número, abundantes . Estos términos, junto con el propio perfecto , proceden de la numerología griega . Un par de números que son la suma de los divisores propios de cada uno de ellos se denominan amigables , y los ciclos de números mayores se denominan sociables . Un entero positivo tal que cada entero positivo menor es una suma de divisores distintos de él es un número práctico .

Por definición, un número perfecto es un punto fijo de la función divisora ​​restringida s ( n ) = σ ( n ) − n , y la secuencia alícuota asociada con un número perfecto es una secuencia constante. Todos los números perfectos son también números -perfectos o números de Granville .

Un número semiperfecto es un número natural que es igual a la suma de todos o algunos de sus divisores propios. Un número semiperfecto que es igual a la suma de todos sus divisores propios es un número perfecto. La mayoría de los números abundantes también son semiperfectos; los números abundantes que no son semiperfectos se denominan números impares .

Véase también

Notas

  1. ^ Todos los factores de son congruentes con 1 mod 2 p . Por ejemplo, 2 11 − 1 = 2047 = 23 × 89 , y tanto 23 como 89 dan un resto de 1 cuando se dividen por 22. Además, siempre que p sea un primo de Sophie Germain —es decir, 2 p + 1 también es primo— y 2 p + 1 sea congruente con 1 o 7 mod 8, entonces 2 p + 1 será un factor de lo cual es el caso para p = 11, 23, 83, 131, 179, 191, 239, 251, ... OEIS : A002515 .

Referencias

  1. ^ "A000396 - OEIS". oeis.org . Consultado el 21 de marzo de 2024 .
  2. ^ Caldwell, Chris, "Una prueba de que todos los números pares perfectos son una potencia de dos veces un primo de Mersenne".
  3. ^ Dickson, LE (1919). Historia de la teoría de los números, vol. I. Washington: Carnegie Institution of Washington. pág. 4.
  4. ^ "Números perfectos". www-groups.dcs.st-and.ac.uk . Consultado el 9 de mayo de 2018 .
  5. ^ En Introducción a la aritmética , capítulo 16, dice de los números perfectos: "Hay un método para producirlos, claro e infalible, que no pasa por alto ninguno de los números perfectos ni deja de diferenciar ninguno de los que no lo son, y que se lleva a cabo de la siguiente manera". Luego continúa explicando un procedimiento que es equivalente a encontrar un número triangular basado en un primo de Mersenne.
  6. ^ Comentario al Evangelio de Juan 28.1.1–4, con más referencias en la edición de Sources Chrétiennes : vol. 385, 58–61.
  7. ^ Rogers, Justin M. (2015). La recepción de la exégesis aritmológica filónica en el comentario de Dídimo el Ciego sobre el Génesis (PDF) . Reunión Nacional de la Sociedad de Literatura Bíblica, Atlanta, Georgia .
  8. ^ Roshdi Rashed, El desarrollo de las matemáticas árabes: entre la aritmética y el álgebra (Dordrecht: Kluwer Academic Publishers, 1994), págs. 328-329.
  9. ^ Bayerische Staatsbibliothek , Clm 14908. Véase David Eugene Smith (1925). Historia de las Matemáticas: Volumen II. Nueva York: Dover. pag. 21.ISBN 0-486-20430-8.
  10. ^ Dickson, LE (1919). Historia de la teoría de los números, vol. I. Washington: Carnegie Institution of Washington. pág. 10.
  11. ^ Pickover, C (2001). Maravillas de los números: aventuras en las matemáticas, la mente y el significado. Oxford: Oxford University Press. pág. 360. ISBN 0-19-515799-0.
  12. ^ Peterson, I (2002). Viajes matemáticos: de números surrealistas a círculos mágicos. Washington: Asociación Matemática de Estados Unidos. p. 132. ISBN 88-8358-537-2.
  13. ^ ab "Informe de hitos de GIMPS". Great Internet Mersenne Prime Search . Consultado el 28 de julio de 2024 .
  14. ^ O'Connor, John J.; Robertson, Edmund F. , "Abu Ali al-Hasan ibn al-Haytham", Archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews
  15. ^ "GIMPS Home". Mersenne.org . Consultado el 21 de octubre de 2024 .
  16. ^ Weisstein, Eric W. "Número perfecto". MathWorld .
  17. ^ Dickson, LE (1919). Historia de la teoría de los números, vol. I. Washington: Carnegie Institution of Washington. pág. 6.
  18. ^ "El problema abierto más antiguo de las matemáticas" (PDF) . Harvard.edu . Consultado el 16 de junio de 2023 .
  19. ^ Oddperfect.org. Archivado el 29 de diciembre de 2006 en Wayback Machine.
  20. ^ Nadis, Steve (10 de septiembre de 2020). «Los matemáticos abren un nuevo frente en un antiguo problema numérico». Quanta Magazine . Consultado el 10 de septiembre de 2020 .
  21. ^ abc Ochem, Pascal; Rao, Michaël (2012). "Los números perfectos impares son mayores que 101500" (PDF) . Matemáticas de la computación . 81 (279): 1869–1877. doi : 10.1090/S0025-5718-2012-02563-4 . ISSN  0025-5718. Zbl  1263.11005.
  22. ^ Kühnel, Ullrich (1950). "Verschärfung der notwendigen Bedingungen für die Existenz von ungeraden vollkommenen Zahlen". Mathematische Zeitschrift (en alemán). 52 : 202–211. doi :10.1007/BF02230691. S2CID  120754476.
  23. ^ Roberts, T (2008). "Sobre la forma de un número perfecto impar" (PDF) . Australian Mathematical Gazette . 35 (4): 244.
  24. ^ Goto, T; Ohno, Y (2008). "Los números perfectos impares tienen un factor primo que excede 108" (PDF) . Matemáticas de la computación . 77 (263): 1859–1868. Bibcode :2008MaCom..77.1859G. doi : 10.1090/S0025-5718-08-02050-9 . Consultado el 30 de marzo de 2011 .
  25. ^ Konyagin, Sergei; Acquaah, Peter (2012). "Sobre factores primos de números perfectos impares". Revista internacional de teoría de números . 8 (6): 1537–1540. doi :10.1142/S1793042112500935.
  26. ^ Iannucci, DE (1999). "El segundo mayor divisor primo de un número perfecto impar excede diez mil" (PDF) . Matemáticas de la computación . 68 (228): 1749–1760. Bibcode :1999MaCom..68.1749I. doi : 10.1090/S0025-5718-99-01126-6 . Consultado el 30 de marzo de 2011 .
  27. ^ Zelinsky, Joshua (julio de 2019). "Límites superiores del segundo factor primo más grande de un número perfecto impar". Revista internacional de teoría de números . 15 (6): 1183–1189. arXiv : 1810.11734 . doi :10.1142/S1793042119500659. S2CID  62885986..
  28. ^ Iannucci, DE (2000). "El tercer divisor primo más grande de un número perfecto impar excede cien" (PDF) . Matemáticas de la computación . 69 (230): 867–879. Bibcode :2000MaCom..69..867I. doi : 10.1090/S0025-5718-99-01127-8 . Consultado el 30 de marzo de 2011 .
  29. ^ Bibby, Sean; Vyncke, Pieter; Zelinsky, Joshua (23 de noviembre de 2021). "Sobre el tercer mayor divisor primo de un número perfecto impar" (PDF) . Números enteros . 21 . Consultado el 6 de diciembre de 2021 .
  30. ^ Nielsen, Pace P. (2015). «Números perfectos impares, ecuaciones diofánticas y límites superiores» (PDF) . Matemáticas de la computación . 84 (295): 2549–2567. doi : 10.1090/S0025-5718-2015-02941-X . Consultado el 13 de agosto de 2015 .
  31. ^ Nielsen, Pace P. (2007). "Los números perfectos impares tienen al menos nueve factores primos distintos" (PDF) . Matemáticas de la computación . 76 (260): 2109–2126. arXiv : math/0602485 . Bibcode :2007MaCom..76.2109N. doi :10.1090/S0025-5718-07-01990-4. S2CID  2767519. Consultado el 30 de marzo de 2011 .
  32. ^ ab Zelinsky, Joshua (3 de agosto de 2021). "Sobre el número total de factores primos de un número perfecto impar" (PDF) . Números enteros . 21 . Consultado el 7 de agosto de 2021 .
  33. ^ Chen, Yong-Gao; Tang, Cui-E (2014). "Límites superiores mejorados para números multiperfectos impares". Boletín de la Sociedad Matemática Australiana . 89 (3): 353–359. doi : 10.1017/S0004972713000488 .
  34. ^ Nielsen, Pace P. (2003). "Un límite superior para números perfectos impares". Enteros . 3 : A14–A22 . Consultado el 23 de marzo de 2021 .
  35. ^ Ochem, Pascal; Rao, Michaël (2014). "Sobre el número de factores primos de un número perfecto impar". Matemáticas de la computación . 83 (289): 2435–2439. doi : 10.1090/S0025-5718-2013-02776-7 .
  36. ^ Graeme Clayton, Cody Hansen (2023). "Sobre desigualdades que involucran conteos de los factores primos de un número perfecto impar" (PDF) . Enteros . 23. arXiv : 2303.11974 . Consultado el 29 de noviembre de 2023 .
  37. ^ Pomerance, Carl; Luca, Florian (2010). "Sobre el radical de un número perfecto". New York Journal of Mathematics . 16 : 23–30 . Consultado el 7 de diciembre de 2018 .
  38. ^ Cohen, Graeme (1978). "Sobre los números perfectos impares". Fibonacci Quarterly . 16 (6): 523-527. doi :10.1080/00150517.1978.12430277.
  39. ^ Suryanarayana, D. (1963). "Sobre números perfectos impares II". Actas de la American Mathematical Society . 14 (6): 896–904. doi :10.1090/S0002-9939-1963-0155786-8.
  40. ^ McDaniel, Wayne L. (1970). "La no existencia de números perfectos impares de una determinada forma". Archiv der Mathematik . 21 (1): 52–53. doi :10.1007/BF01220877. ISSN  1420-8938. MR  0258723. S2CID  121251041.
  41. ^ abc Fletcher, S. Adam; Nielsen, Pace P.; Ochem, Pascal (2012). "Métodos de tamiz para números impares perfectos" (PDF) . Matemáticas de la computación . 81 (279): 1753?1776. doi : 10.1090/S0025-5718-2011-02576-7 . ISSN  0025-5718. MR  2904601.
  42. ^ Cohen, GL (1987). "Sobre el componente más grande de un número perfecto impar". Revista de la Sociedad Matemática Australiana, Serie A . 42 (2): 280–286. doi : 10.1017/S1446788700028251 . ISSN  1446-8107. MR  0869751.
  43. ^ Kanold, Hans-Joachim [en alemán] (1950). "Satze úber Kreisteilungspolynome und ihre Anwendungen auf einige zahlentheoretisehe Probleme. II". Journal für die reine und angewandte Mathematik . 188 (1): 129-146. doi :10.1515/crll.1950.188.129. ISSN  1435-5345. SEÑOR  0044579. S2CID  122452828.
  44. ^ ab Cohen, GL; Williams, RJ (1985). "Extensiones de algunos resultados relativos a los números perfectos impares" (PDF) . Fibonacci Quarterly . 23 (1): 70–76. doi :10.1080/00150517.1985.12429857. ISSN  0015-0517. MR  0786364.
  45. ^ Hagis, Peter Jr.; McDaniel, Wayne L. (1972). "Un nuevo resultado sobre la estructura de los números perfectos impares". Actas de la American Mathematical Society . 32 (1): 13–15. doi : 10.1090/S0002-9939-1972-0292740-5 . ISSN  1088-6826. MR  0292740.
  46. ^ McDaniel, Wayne L.; Hagis, Peter Jr. (1975). "Algunos resultados sobre la no existencia de números perfectos impares de la forma p α M 2 β {\displaystyle p^{\alpha }M^{2\beta }}" (PDF) . Fibonacci Quarterly . 13 (1): 25–28. doi :10.1080/00150517.1975.12430680. ISSN  0015-0517. MR  0354538.
  47. ^ Yamada, Tomohiro (2019). "Un nuevo límite superior para números perfectos impares de una forma especial". Colloquium Mathematicum . 156 (1): 15–21. arXiv : 1706.09341 . doi :10.4064/cm7339-3-2018. ISSN  1730-6302. S2CID  119175632.
  48. ^ Los artículos matemáticos recopilados de James Joseph Sylvester p. 590, trad. de "Sur les nombres dits de Hamilton", Compte Rendu de l'Association Française (Toulouse, 1887), págs. 164-168.
  49. ^ Makowski, A. (1962). "Observación sobre los números perfectos". Matemática elemental 17 (5): 109.
  50. ^ Gallardo, Luis H. (2010). "A propósito de una observación de Makowski sobre los números perfectos". Elem. Math. 65 (3): 121–126. doi : 10.4171/EM/149 . .
  51. ^ Yan, Song Y. (2012), Teoría de números computacionales y criptografía moderna, John Wiley & Sons, Sección 2.3, Ejercicio 2(6), ISBN 9781118188613.
  52. ^ Jones, Chris; Lord, Nick (1999). "Caracterización de números no trapezoidales". The Mathematical Gazette . 83 (497). The Mathematical Association: 262–263. doi :10.2307/3619053. JSTOR  3619053. S2CID  125545112.
  53. ^ Hornfeck, B (1955). "Zur Dichte der Menge der vollkommenen zahlen". Arco. Matemáticas . 6 (6): 442–443. doi :10.1007/BF01901120. S2CID  122525522.
  54. ^ Kanold, HJ (1956). "Eine Bemerkung ¨uber die Menge der vollkommenen zahlen". Matemáticas. Ana . 131 (4): 390–392. doi :10.1007/BF01350108. S2CID  122353640.
  55. ^ H.Novarese. Note sur les nombres parfaits Texeira J. VIII (1886), 11-16.
  56. ^ Dickson, LE (1919). Historia de la teoría de los números, vol. I. Washington: Carnegie Institution of Washington. pág. 25.
  57. ^ Redmond, Don (1996). Teoría de números: Introducción a las matemáticas puras y aplicadas. Chapman & Hall/CRC Pure and Applied Mathematics. Vol. 201. CRC Press. Problema 7.4.11, pág. 428. ISBN 9780824796969..

Fuentes

Lectura adicional

Enlaces externos