Número que no se puede escribir como suma alícuota
En matemáticas , un número intocable es un entero positivo que no se puede expresar como la suma de todos los divisores propios de ningún entero positivo. Es decir, estos números no son la imagen de la función suma alícuota . Su estudio se remonta al menos a Abu Mansur al-Baghdadi (circa 1000 d. C.), quien observó que tanto el 2 como el 5 son intocables. [1]
Ejemplos
El número 4 no es intocable, ya que es igual a la suma de los divisores propios de 9: 1 + 3 = 4.
El número 5 es intocable, ya que no es la suma de los divisores propios de ningún entero positivo: 5 = 1 + 4 es la única forma de escribir 5 como la suma de enteros positivos distintos, incluido 1, pero si 4 divide un número, 2 también lo hace, por lo que 1 + 4 no puede ser la suma de todos los divisores propios de ningún número (ya que la lista de factores tendría que contener tanto 4 como 2).
El número 6 no es intocable, ya que es igual a la suma de los divisores propios del propio 6: 1 + 2 + 3 = 6.
Se cree que el número 5 es el único número impar intocable, pero esto no ha sido probado. Se seguiría de una versión ligeramente más fuerte de la conjetura de Goldbach , ya que la suma de los divisores propios de pq (con p , q primos distintos) es 1 + p + q . Por lo tanto, si un número n puede escribirse como una suma de dos primos distintos, entonces n + 1 no es un número intocable. Se espera que cada número par mayor que 6 sea una suma de dos primos distintos, por lo que probablemente ningún número impar mayor que 7 es un número intocable, y , , , por lo que solo 5 puede ser un número impar intocable. [2] Por lo tanto, parece que además de 2 y 5, todos los números intocables son números compuestos (ya que excepto 2, todos los números pares son compuestos). Ningún número perfecto es intocable, ya que, como mínimo, puede expresarse como la suma de sus propios divisores propios . De la misma manera, ninguno de los números amigos o sociables es intocable. Asimismo, ninguno de los números de Mersenne es intocable, ya que M n = 2 n − 1 es igual a la suma de los divisores propios de 2 n .
Ningún número intocable es uno más que un número primo , ya que si p es primo, entonces la suma de los divisores propios de p 2 es p + 1. Además, ningún número intocable es tres más que un número primo, excepto 5, ya que si p es un primo impar entonces la suma de los divisores propios de 2 p es p + 3.
Infinitud
Hay una infinidad de números intocables, hecho que fue demostrado por Paul Erdős . [3] Según Chen y Zhao, su densidad natural es al menos d > 0,06. [4]
^ Sesiano, J. (1991), "Dos problemas de la teoría de números en tiempos islámicos", Archivo de Historia de las Ciencias Exactas , 41 (3): 235–238, doi :10.1007/BF00348408, JSTOR 41133889, MR 1107382, S2CID 115235810
^ La versión más fuerte se obtiene añadiendo a la conjetura de Goldbach el requisito adicional de que los dos primos sean distintos (véase Adams-Watters, Frank y Weisstein, Eric W. "Untouchable Number". MathWorld .
^ P. Erdos, Über die Zahlen der Form und . Elementos de matemáticas. 28 (1973), 83-86
^ Yong-Gao Chen y Qing-Qing Zhao, Números no alícuotas, Publ. Matemáticas. Debrecen 78:2 (2011), págs. 439-442.