🔢 mathematics

Complete characterization of $2$-near perfect numbers with exactly 2 prime factors

Este artículo proporciona una caracterización completa de los números 2-casi perfectos con exactamente dos factores primos demostrando la inexistencia de tales números impares y clasificando todos los casos pares de la forma $2^kp^m$ (con $m \ge 3$ ) en una familia específica.

Autores originales: Richard Fearon, Henry Foushee, Benjamin Porosoff, Alexander Skula, Joshua Zelinsky, Kyle Zhang

Publicado 2026-05-26

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Richard Fearon, Henry Foushee, Benjamin Porosoff, Alexander Skula, Joshua Zelinsky, Kyle Zhang

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que tienes un rompecabezas gigante hecho de números. En el mundo de las matemáticas, existe un tipo especial de pieza de rompecabezas llamada Número Perfecto. Un número perfecto es un número tal que, si sumas todos sus "bloques de construcción" (sus divisores), el total es exactamente el doble del número mismo. Por ejemplo, el número 6 es perfecto porque sus divisores son 1, 2 y 3, y $1+2+3 = 6$ (que es la mitad de 12, o $2 \times 6$ ).

Pero, ¿qué pasa si la suma de los bloques de construcción es casi el doble del número, pero está un poco desviada? Ahí es donde entra este artículo.

El concepto de "Casi Perfecto"

Los autores están estudiando los números 2-casi perfectos. Piensa en ellos como números que son "casi" perfectos, pero les faltan exactamente dos bloques de construcción específicos de la suma final.

Si tomas un número $n$ , sumas todos sus divisores y el total es igual a $2n$ más dos divisores extra ( $d_1$ y $d_2$ ), entonces $n$ es un número 2-casi perfecto.

La analogía: Imagina que estás intentando llenar un cubo que contiene exactamente $2n$ litros de agua. Viertes toda el agua de los divisores, pero el cubo se desborda exactamente con dos tazas específicas de agua ( $d_1$ y $d_2$ ). El artículo pregunta: "¿Qué números causan este tipo específico de desbordamiento?"

El misterio específico: Dos ingredientes primos

El artículo se centra en un tipo muy específico de número: aquellos formados por exactamente dos ingredientes primos distintos.

Un ingrediente es el número 2 (la parte "par").
El otro ingrediente es un número primo impar (como 3, 5, 7, etc.), elevado a alguna potencia.

Los autores querían saber: Si tenemos un número formado por 2 y un primo impar, y es 2-casi perfecto, ¿cómo se ve?

El gran descubrimiento

Investigadores anteriores habían resuelto el rompecabezas para los casos donde el primo impar aparecía solo una o dos veces (como $2^k \times p$ o $2^k \times p^2$ ). Encontraron algunos números específicos.

Sin embargo, existía una conjetura persistente de que si el primo impar aparecía tres o más veces (como $2^k \times p^3$ ), no habría tales números en absoluto, o solo un puñado diminuto y finito.

Este artículo demuestra que esa conjetura es falsa.

Aquí está el desglose simple de sus hallazgos:

La familia "infinita": Descubrieron que en realidad existe toda una familia de estos números que se extiende para siempre (si un cierto misterio matemático famoso sobre los "primos de Mersenne" es cierto).
La receta: Cada número 2-casi perfecto con dos factores primos (donde el primo impar aparece 3 o más veces) sigue esta receta exacta:
- Está formado por una potencia de 2 ( $2^k$ ).
- Se multiplica por un tipo específico de primo impar llamado primo de Mersenne (un primo que se ve como $2^{k+1} - 1$ ).
- El primo impar debe estar elevado al cubo (elevado a la potencia de 3).
- La fórmula: El número es $2^k \times (2^{k+1}-1)^3$ .
Las piezas faltantes: Para que estos números funcionen, los dos "divisores extra" que causan el desbordamiento son siempre el primo mismo ( $p$ ) y el primo al cuadrado ( $p^2$ ).

Por qué esto importa (en términos matemáticos)

Los autores no solo encontraron uno o dos ejemplos; demostraron que esta es la única forma en que estos números pueden existir.

Si intentas construir un número 2-casi perfecto con dos factores primos donde el primo impar aparece 3 o más veces, debe encajar en este patrón específico.
Si hay infinitos primos de Mersenne (un hecho ampliamente creído pero no demostrado en matemáticas), entonces hay infinitos de estos números 2-casi perfectos.

El caso "impar"

El artículo también aborda brevemente los números formados por dos primos impares (sin involucrar al 2). Demostraron un hecho simple: No puedes hacer un número 2-casi perfecto con dos primos impares. Es matemáticamente imposible, como intentar construir un círculo cuadrado.

Resumen

Piensa en los autores como detectives resolviendo un caso de "Números Casi Perfectos".

Los sospechosos: Números formados por 2 y un primo impar.
El crimen: Ser "2-casi perfectos" (suma de divisores = $2n$ + 2 piezas extra).
El veredicto: Si el primo impar aparece 3 o más veces, el sospechoso debe ser de la forma $2^k \times p^3$ , donde $p$ es un primo de Mersenne especial. Las "piezas faltantes" son siempre $p$ y $p^2$ .

También verificaron la versión "deficiente" del problema (donde la suma es menor que $2n$ por dos piezas) y encontraron un conjunto diferente y más simple de reglas para esos casos.

En resumen, cerraron el libro sobre este tipo específico de número, mostrando que, aunque la lista podría ser infinita, el patrón es rígido y predecible.

Resumen Técnico: Caracterización Completa de los Números Casi Perfectos 2 con Exactamente 2 Factores Primos

Enunciado del Problema
El artículo aborda la clasificación de los números casi perfectos 2, definidos como enteros positivos $n$ que satisfacen $\sigma(n) = 2n + d_1 + d_2$ , donde $d_1$ y $d_2$ son divisores positivos distintos de $n$ . Mientras que los casos para $k=1$ (casi perfectos 1) y $k \ge 4$ (casi perfectos $k$ ) están bien comprendidos, los casos para $k=2$ y $k=3$ permanecen más abiertos. Específicamente, los autores se centran en números de la forma $n = 2^k p^m$ , donde $p$ es un primo impar y $m \ge 3$ . Este trabajo completa la clasificación para todos los números casi perfectos 2 con exactamente dos factores primos distintos, construyendo sobre resultados previos que abordaron los casos $m \in \{1, 2\}$ .

Metodología
Los autores emplean un enfoque riguroso de teoría de números que combina la manipulación algebraica de la función suma de divisores $\sigma(n)$ , argumentos de paridad y análisis de valuación $p$ -ádica. La estrategia de prueba se divide en dos regímenes principales basados en la relación entre $2^{k+1}$ y $p$ :

Lemas Fundamentales: Los autores establecen que no existen números casi perfectos 2 impares con exactamente dos factores primos, restringiendo el problema a números pares $n = 2^k p^m$ . Derivan identidades clave, como $(2^{k+1} - p)(1 + p + \dots + p^{m-1}) = 1 + d_1 + d_2$ , y analizan la paridad de los divisores omitidos basándose en el exponente $m$ .
Caso I ( $2^{k+1} \ge p^2 + 1$ ): Los autores asumen que se cumple esta desigualdad y derivan una contradicción. Establecen cotas inferiores para los divisores omitidos, mostrando que el divisor omitido mayor debe ser $n/2^j$ (donde $2^j < p < 2^{j+1}$ ). A través de una serie de proposiciones, restringen el exponente $m$ , demostrando que debe ser impar y forzando eventualmente $m=3$ . Mediante el análisis de valuaciones 2-ádicas y restricciones de divisibilidad (específicamente $p^3 \mid 2^{k+1}-1$ ), demuestran que no existen soluciones en este régimen, incluso para el candidato específico $n = 2^5 \cdot 3^3$ .
Caso II ( $2^{k+1} < p^2 + 1$ ): En este régimen, los autores eliminan formas imposibles para los divisores omitidos. Demuestran que ni el divisor omitido puede ser una potencia de 2 y que $p^2$ no puede dividir a ambos divisores. Al analizar los exponentes de $p$ en los divisores omitidos, deducen que los divisores deben ser de la forma $2^a p$ y $2^c p^d$ . Una manipulación algebraica adicional fuerza $d = m-1$ y finalmente $m=3$ . Por último, demuestran que $p$ debe ser un primo de Mersenne de la forma $2^{k+1}-1$ .

Contribuciones y Resultados Clave
El artículo proporciona una clasificación completa de los números casi perfectos 2 de la forma $n = 2^k p^m$ con $m \ge 3$ . El resultado principal es el Teorema 3, que establece:

Si $n = 2^k p^m$ $n = 2^{k} p^{m}$ es casi perfecto 2 con $p$ $p$ un primo impar y $m \ge 3$ $m \geq 3$ , entonces:
- $m = 3$ ,
- $p = 2^{k+1} - 1$ (un primo de Mersenne),
- Los divisores omitidos son $p$ y $p^2$ .

Este resultado implica que la existencia de infinitos números de este tipo es equivalente a la existencia de infinitos primos de Mersenne. En consecuencia, el artículo refuta la Conjetura 1 (propuesta por Aryan et al.), que hipotetizaba que solo existían finitos números casi perfectos 2 de la forma $2^k p^m$ para $m \ge 3$ .

Combinado con trabajos anteriores que abordaron $m=1$ y $m=2$ , esto produce una caracterización completa de todos los números casi perfectos 2 con exactamente dos factores primos distintos.

Significado
Los autores declaran que este trabajo resuelve el problema de clasificación para los números casi perfectos 2 con dos factores primos, una brecha dejada por investigaciones anteriores. Al refutar la conjetura de finitud (condicional a la ampliamente creída infinitud de los primos de Mersenne), el artículo aclara la densidad y la estructura de estos números. Los autores también señalan que sus resultados han sido verificados formalmente utilizando el asistente de pruebas Lean 4 y la biblioteca Mathlib, asegurando la corrección de las complejas derivaciones algebraicas.

Futuras Direcciones
El artículo concluye delineando problemas abiertos, incluyendo la clasificación de los números casi perfectos 2 con tres factores primos distintos, el estudio de los números casi perfectos 3 y la investigación de formas "híbridas" donde los divisores se suman y se restan ( $\sigma(n) = 2n + d_1 - d_2$ ).