Hola
Este teorema pone en evidencia que no hay forma de jugar con factorizar de tal modo que el número quede con un factor primo que pueda hacer que se llegue a un número perfecto.
mmmm esto es demasiado vago para mi. Concrétalo. No obstante ojo con el Teorema. Reflexiona sobre lo que te he indicado que dice EXACTAMENTE tu teorema (tal como lo has redactado). No estoy seguro que sea lo que realmente te gustaría haber dicho.
No busco caracterizar. Euler-Euclides caracterizan al número perfecto. Mi formula se puede probar con cualquier número natural.
No estoy seguro de que entiendas que es caracterizar, porque yo sospecho que si buscas caracterizar, porque es lo más interesante y lo más potente.
Una cosa es decir: si un número se puede escribir de
"tal forma" entonces es perfecto. Eso no es caracterizar. Eso es lo que haces en tu teorema (
tal y como lo has redactado). Eso es una condición suficiente que permite afirmar que ciertos números son perfectos. Pero un resultado de ese tipo no dice nada sobre los números que no se pueden escribir de esa "
tal forma", no dice si son o no perfectos. Tal vez lo sean o no.
Otra cosa es decir: un número es perfecto si y sólo si es de
"tal forma". Eso si es caracterizar. Y es completar la condición suficiente anterior con una necesaria. De esa forma no sólo decimos que un número
"tal forma" es perfecto, sino que los que no son de
"tal forma" NO son perfectos y eso es mucho más fuerte.
El Teorema de Euler es una caracterización de los números perfectos pares. Dice que todo numero perfecto par es de una determinada manera, y si NO es de esa manera no es par perfecto.
\( (2z)^2 = \sigma (N)+2z \)
Si desde luego puedes cambiar la condición de ser primo por esa. Es decir si \( N=zn \),
\( n=\sigma(z) \), \( N=n(n+1)/2 \) y \( (2z)^2 = \sigma (N)+2z \) entonces \( n \) es perfecto. Simplemente porque:
- de \( N=zn=n(n+1)/2 \) se tiene que \( 2z=n+1 \)
- de \( (2z)^2 = \sigma (N)+2z \) se tiene que:
\( \sigma(N)=(2z)^2-2z=(n+1)^2-(n+1)=n(n+1)=2N \)
y por tanto \( N \) es perfecto. De hecho no hace falta en ese caso ni imponer \( n=\sigma(z) \).
Agrego: Con respecto a caracterizar, cualquier número puede ser probado y solo verificarán los números perfectos.
Tienes que ser más preciso. EXACTAMENTE qué quieres decir con "cualquier número puede ser probado". Y si tienes una caracterización, lo importante será demostrarla. Pero intenta para empezar ser muy preciso en su enunciado.
Saludos.