En teoría de números , un número abundante o número excesivo es un número entero positivo cuya suma de sus divisores propios es mayor que el número. El número entero 12 es el primer número abundante. Sus divisores propios son 1, 2, 3, 4 y 6 para un total de 16. La cantidad en que la suma excede al número es la abundancia . El número 12 tiene abundancia de 4, por ejemplo.
Definición
Un número abundante es un número natural n para el cual la suma de divisores σ ( n ) satisface σ ( n ) > 2 n , o, de manera equivalente, la suma de divisores propios (o suma alícuota ) s ( n ) satisface s ( n ) > n .
La abundancia de un número natural es el número entero σ ( n ) − 2n (equivalentemente, s ( n ) − n ).
Por ejemplo, los divisores propios de 24 son 1, 2, 3, 4, 6, 8 y 12, cuya suma es 36. Como 36 es mayor que 24, el número 24 es abundante. Su abundancia es 36 − 24 = 12.
Propiedades
El número impar abundante más pequeño es 945.
El número abundante más pequeño no divisible por 2 o por 3 es 5391411025 cuyos factores primos distintos son 5, 7, 11, 13, 17, 19, 23 y 29 (secuencia A047802 en la OEIS ). Un algoritmo propuesto por Iannucci en 2005 muestra cómo encontrar el número abundante más pequeño no divisible por los primeros k primos . [1] Si representa el número abundante más pequeño no divisible por los primeros k primos, entonces para todos tenemos
para k suficientemente grande .
Todo múltiplo de un número perfecto (excepto el número perfecto en sí) es abundante. [2] Por ejemplo, cada múltiplo de 6 mayor que 6 es abundante porque
Todo múltiplo de un número abundante es abundante. [2] Por ejemplo, cada múltiplo de 20 (incluido el propio 20) es abundante porque
En consecuencia, existen infinitos números abundantes pares e impares .
Sea el número de números abundantes que no excedan . Gráfico de para (con escala logarítmica)
Un número abundante que no es múltiplo de un número abundante o de un número perfecto (es decir, todos sus divisores propios son deficientes) se llama número abundante primitivo.
Un número abundante cuya abundancia es mayor que cualquier número menor se llama número altamente abundante, y uno cuya abundancia relativa (es decir, s(n)/n) es mayor que cualquier número menor se llama número superabundante.
Todo número entero mayor que 20161 se puede escribir como la suma de dos números abundantes. El número par más grande que no es la suma de dos números abundantes es 46. [5]
Los números cuya suma de factores propios es igual al número mismo (como 6 y 28) se llaman números perfectos , mientras que los números cuya suma de factores propios es menor que el número mismo se llaman números deficientes . La primera clasificación conocida de los números como deficientes, perfectos o abundantes fue la de Nicómaco en su Introductio Arithmetica (alrededor del año 100 d.C.), que describía los números abundantes como animales deformes con demasiadas extremidades.
El índice de abundancia de n es la relación σ ( n )/ n . [7] Los números distintos n 1 , n 2 , ... (sean abundantes o no) con el mismo índice de abundancia se denominan números amigos .
La secuencia ( a k ) de números mínimos n tales que σ ( n ) > kn , en la que a 2 = 12 corresponde al primer número abundante, crece muy rápidamente (secuencia A134716 en la OEIS ).
El entero impar más pequeño con un índice de abundancia superior a 3 es 1018976683725 = 3 3 × 5 2 × 7 2 × 11 × 13 × 17 × 19 × 23 × 29. [8]
Si p = ( p 1 , ..., p n ) es una lista de números primos, entonces p se denomina abundante si algún número entero compuesto sólo de números primos en p es abundante. Una condición necesaria y suficiente para esto es que el producto de p i /( p i − 1) sea > 2. [9]
Referencias
^ D. Iannucci (2005), "Sobre el número abundante más pequeño no divisible por los primeros k primos", Boletín de la Sociedad Matemática Belga , 12 (1): 39–44, doi :10.36045/bbms/1113318127
^ Laatsch, Richard (1986). "Midiendo la abundancia de números enteros". Revista Matemáticas . 59 (2): 84–92. doi :10.2307/2690424. ISSN 0025-570X. JSTOR 2690424. SEÑOR 0835144. Zbl 0601.10003.
^ Para el entero impar más pequeño k con un índice de abundancia superior a n , consulte Sloane, N. J. A. (ed.). "Secuencia A119240 (Número mínimo impar k tal que sigma(k)/k >= n.)". La enciclopedia en línea de secuencias enteras . Fundación OEIS.
^ Friedman, Charles N. (1993). "Sumas de divisores y fracciones egipcias". Revista de teoría de números . 44 (3): 328–339. doi : 10.1006/junio.1993.1057 . SEÑOR 1233293. Zbl 0781.11015.