Para [math] n \ in \ mathbb N [/ math], deje
[matemáticas] \ sigma (n) = \ displaystyle \ sum_ {d \ mid n} d [/ matemáticas]
denota la suma de todos los divisores positivos de [math] n [/ math].
El hecho de que [math] \ sigma [/ math] es una función multiplicativa [math] (\ sigma (mn) = \ sigma (m) \ cdot \ sigma (n) [/ math] siempre que [math] \ gcd (m , n) = 1) [/ math] y la observación de que [math] \ sigma (n)> 1 [/ math] para [math] n> 1 [/ math] implica que [math] \ sigma (n) [ / math] es primo solo si [math] n = p ^ {\ alpha} [/ math] para algunos primos [math] p [/ math] (de lo contrario [math] n = 1 [/ math] o [math] n [/ math] tiene al menos dos factores primos , de modo que [math] n = ab [/ math], [math] \ gcd (a, b) = 1 [/ math], [math] a> 1 [/ math ], [matemáticas] b> 1 [/ matemáticas] y [matemáticas] \ sigma (n) = \ sigma (a) \ cdot \ sigma (b)) [/ matemáticas].
- ¿Por qué los números negativos son el subconjunto de los números reales, cuando no existen en la vida real a menos que comparemos?
- ¿Por qué son importantes los números primos en la vida real? ¿Qué uso práctico tienen los números primos?
- Los factores de 11 suman 12. ¿Hay algún otro número cuyos factores sumen 12?
- Cómo demostrar por inducción que el máximo común divisor de dos números es una combinación lineal de esos números
- Cómo demostrar que el número de triples pitagóricos primitivos de hipotenusa c depende del número de factores primos de la forma 4k + 1
Además, suponga que [math] n = p ^ {\ alpha} [/ math], donde [math] p [/ math] es primo . Si [math] \ alpha [/ math] es [math] impar [/ math], entonces
[matemáticas] \ sigma (p ^ {\ alpha}) = 1 + p + p ^ 2 + \ cdots + p ^ {\ alpha} = (1 + p) (1 + p ^ 2 + \ cdots + p ^ { {\ alpha} -1}) [/ math].
Por lo tanto, [math] \ sigma (p ^ {\ alpha}) [/ math] es primo implica que [math] \ alpha [/ math] es par . En otras palabras, una condición necesaria para que [math] \ sigma (n) [/ math] sea primo es que [math] n = p ^ {2 \ beta} [/ math], donde [math] p [/ math ] es primo .
Entonces, el problema se reduce a pedir pares [math] (p, \ alpha) [/ math], con [math] p [/ math] prime y [math] \ alpha [/ math] un número entero positivo para el cual
[matemáticas] \ sigma (p ^ {\ alpha}) = 1 + p + p ^ 2 + \ cdots + p ^ {\ alpha} [/ matemáticas]
es primo
Esto es lo mejor que se puede hacer, por lo que puedo ver. El Bot sugiere 4 = 2 ^ 2, 9 = 3 ^ 2, 16 = 2 ^ 4, 25 = 5 ^ 2, 64 = 2 ^ 6, 289 = 17 ^ 2 y 729 = 3 ^ 6, entre otros, como soluciones