🔢 mathematics

Another inequality inspired by Erdős

Este artículo presenta una prueba aritmética elemental de una desigualdad específica inspirada en la clásica demostración de Paul Erdős del postulado de Bertrand, como parte de un esfuerzo más amplio para establecer una prueba aritméticamente pura del postulado mismo.

Autores originales: Barbora Batíková, Tomáš J. Kepka, Petr C. Němec

Publicado 2026-07-21

📖 6 min de lectura🧠 Análisis profundo

CC0 1.0

Autores originales: Barbora Batíková, Tomáš J. Kepka, Petr C. Němec

Artículo original dedicado al dominio público bajo CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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

Imagine que es un detective trabajando en la vasta y silenciosa biblioteca de la Teoría de Números, una rama de las matemáticas dedicada a los secretos ocultos de los números enteros. En este mundo, los números no son solo herramientas para contar manzanas; son personajes con sus propias personalidades, relaciones y reglas estrictas. Una de las reglas más famosas en esta biblioteca es el "Postulado de Bertrand", una observación de siglos de antigüedad que dice que si eliges un número mayor que 6, siempre hay al menos un número primo (un número divisible solo por 1 y por sí mismo) escondido en un vecindario específico justo debajo de él. Durante mucho tiempo, matemáticos como el legendario Paul Erdős usaron trucos ingeniosos con coeficientes binomiales (que son como los números que obtienes cuando cuentas combinaciones de elementos) para probar estas reglas. Pero a veces, los misterios más interesantes no son los teoremas grandes y ruidosos, sino las desigualdades silenciosas y extrañas que surgen cuando intentas simplificar esas demostraciones. Estas son las "rarezas" que hacen que los matemáticos se rasquen la cabeza y se pregunten: "¿Esto siempre se cumple, o hay una excepción escurridiza escondida en los números?".

Este artículo, titulado "Otra desigualdad inspirada en Erdős", se sumerge profundamente en una de esas desigualdades escurridizas. Los autores, Barora Batíková, Tomáš J. Kepka y Petr C. Němec, investigan una relación matemática específica que involucra números enteros positivos. Definen unos pocos "personajes" especiales para cada número $n$ : un valor $z(n)$ relacionado con cuántas veces cabe el 3 en $2n$ , un valor $m(n)$ relacionado con la raíz cuadrada de $2n$ , y un valor $r(n)$ relacionado con las potencias de 2. Luego combinan estos en una expresión compleja, $y(n)$ , y plantean una pregunta simple: ¿Es esta expresión siempre negativa, siempre positiva o cambia de signo? El artículo demuestra que esta expresión nunca es exactamente cero (nunca cae perfectamente sobre la línea) y mapea exactamente qué números la hacen negativa y cuáles la hacen positiva. Es un poco como revisar cada una de las casas en una calle muy larga para ver si las luces están encendidas o apagadas, encontrando que, aunque la mayoría de las casas siguen un patrón, hay algunas direcciones específicas donde las luces se comportan de manera diferente.

La Gran Cacería de Números

La historia comienza con una mirada al pasado. En 1845, un matemático llamado J. Bertrand hizo una apuesta audaz: para cualquier número $n$ mayor que 6, siempre hay un número primo entre $n-2$ y $n^2$ . Más tarde, Paul Erdős, un genio conocido por sus demostraciones elegantes y simples, ideó una nueva forma de probar una versión ligeramente diferente de esta idea. Al hacerlo, tropezó con algunas desigualdades inusuales. Una de estas, que involucra un valor llamado $x(n)$ , ya había sido estudiada en un artículo anterior de estos mismos autores. Encontraron que $x(n)$ suele ser negativo, pero llega exactamente a cero para un puñado diminuto de números: 436, 451, 529, 545 y 546.

Ahora, los autores dirigen su atención a una desigualdad "pariente", una hermana de la primera, que llaman $y(n)$ . Esta nueva expresión es un poco más complicada, mezclando potencias de 2 y potencias de $n$ . El objetivo de este artículo es resolver un rompecabezas: ¿Para qué números enteros positivos $n$ es $y(n)$ menor que cero? Y, crucialmente, ¿alguna vez $y(n)$ es exactamente igual a cero?

El Ataque de Dos Vertientes

Para resolver esto, los autores utilizan dos estrategias diferentes, como un detective que usa tanto una lupa como un escáner de alta tecnología.

Estrategia 1: El Enfoque de Aritmética Pura
Primero, utilizan la "aritmética pura", lo que significa que se ciñen estrictamente a las reglas de los números enteros sin usar las curvas suaves del cálculo. Dividen el número infinito en fragmentos manejables. Se dan cuenta de que para ciertos rangos de números, los valores de $m(n)$ y $r(n)$ permanecen iguales. Esto les permite agrupar los números en intervalos.

Crean un mapa gigante de estos intervalos. Por ejemplo, observan los números del 1 al 403 y comprueban el signo de $y(n)$ en cada bloque. Encuentran que para números pequeños (como 1, 2, 3, 4), $y(n)$ es positivo. Pero empezando en $n=5$ , cambia a negativo. Se mantiene negativo durante un largo tramo, pero luego, como una montaña rusa, baja y sube en secciones específicas.

Utilizando cálculos cuidadosos y comparaciones de potencias (como comprobar si $2^{20}$ es mayor que $3^{15}$ ), demuestran que $y(n)$ es negativo para un conjunto específico de rangos:

Desde 5 hasta 335.
Desde 338 hasta 350.
Desde 365 hasta 368.

También demuestran que $y(n)$ nunca es cero. Es una situación de "o lo uno o lo otro"; el número es o bien positivo o bien negativo, nunca sentado justo sobre la cerca. Para todos los demás números (del 1 al 4, y luego 336, 337, 351 al 364, y todo lo que sigue de 369 en adelante), el valor es positivo.

Estrategia 2: El Enfoque del Cálculo
Para verificar su trabajo y mostrar que estos resultados se mantienen incluso cuando se ven a través de la lente de las matemáticas continuas, los autores utilizan el cálculo elemental. Inventan una función suave y ondulada $F(x)$ que imita el comportamiento de su problema de enteros discretos.

Analizan la forma de esta curva. Muestran que la curva eventualmente comienza a subir indefinidamente. Al encontrar dónde la curva cruza la "línea de cero" (el eje x), pueden predecir dónde los valores enteros de $y(n)$ deben ser positivos o negativos.

Demuestran que si $n$ es muy grande (específicamente $n \ge 404$ ), el valor es definitivamente positivo.
Utilizan la curva para estrechar el área de búsqueda, confirmando que cualquier comportamiento "negativo" debe ocurrir dentro de una ventana específica (aproximadamente entre 5 y 379).
Al comprobar los puntos enteros específicos dentro de esta ventana, confirman los límites exactos encontrados en la primera estrategia.

El Veredicto Final

El artículo concluye con un mapa definitivo del territorio. La desigualdad $y(n) < 0$ (lo que significa que la expresión es negativa) es cierta si y solo si $n$ cae en uno de estos tres grupos:

$5 \le n \le 335$
$338 \le n \le 350$
$365 \le n \le 368$

Inversamente, $y(n) > 0$ (lo que significa que la expresión es positiva) si $n$ está entre 1 y 4, o en los huecos entre las zonas negativas, o si $n$ es 369 o mayor.

Lo más importante es que los autores demuestran con absoluta certeza que $y(n)$ nunca es igual a cero para ningún entero positivo. No hay "números mágicos" donde la expresión desaparezca perfectamente. Es un mundo binario estricto de positivo y negativo, sin terreno neutral.

Este trabajo es un testimonio del poder de combinar el recuento de números de la vieja escuela con las herramientas analíticas modernas. Aunque el resultado pueda parecer un rompecabezas de nicho para los no iniciados, representa el tipo de verificación meticulosa y paso a paso que mantiene sólidas las bases de las matemáticas. Demuestra que incluso en el mundo de los números abstractos, cada caso individual importa y que, a veces, los descubrimientos más interesantes consisten en saber exactamente dónde no existen las excepciones.

Resumen Técnico de "Otra Desigualdad Inspirada por Erdős"

Planteamiento del Problema
El artículo investiga una desigualdad específica que involucra números enteros positivos, definida a través de un conjunto de funciones auxiliares derivadas de las propiedades de las potencias de 2 y las raíces cuadradas. Los autores pretenden determinar el signo de la función $y(n)$ para todos los enteros positivos $n$ .

La función $y(n)$ se define como:
$y(n) = 2^{2n - 2z(n) - m(n) + 2} - n^{m(n) - 1}$
donde:

$z(n)$ es el mayor entero tal que $3z(n) < 2n$ .
$m(n)$ es el mayor entero tal que $m(n)^2 \le 2n$ .
$r(n)$ es el menor entero no negativo tal que $n \le 2^{r(n)}$ .

El problema central es resolver la desigualdad $y(n) < 0$ e identificar todos los $n$ para los cuales $y(n) = 0$ . Este trabajo sigue un examen previo de los mismos autores de una desigualdad relacionada $x(n) < 0$ , donde $x(n) = z(n) - (r(n) + 1)m(n)$ . Los autores enmarcan esta investigación dentro del contexto de la aritmética elemental, motivados por el deseo de encontrar demostraciones para enunciados de teoría de números (como el Postulado de Bertrand) que dependan de métodos elementales, potencialmente dentro del fragmento de la "Aritmética de Funciones Elementales".

Metodología
El artículo emplea dos enfoques metodológicos distintos para resolver la desigualdad:

Enfoque Puramente Aritmético (Sección 2):
- Partición de Intervalos: Los autores definen intervalos donde los valores de $m(n)$ y $r(n)$ permanecen constantes. Construyen una secuencia de intervalos $[g(i), g(i+1)-1]$ donde estos parámetros son fijos, lo que permite el análisis de $x(n)$ y $y(n)$ como sucesiones no decrecientes o monótonas dentro de estos límites.
- Límites Comparativos: Utilizando lemas, los autores establecen límites comparando potencias de 2 ( $2^{c(n)-m(n)}$ ) contra potencias de $n$ ( $n^{m(n)-1}$ ). Utilizan desigualdades específicas para mostrar que si se cumplen ciertas condiciones sobre $c(n)$ , $m(n)$ y $r(n)$ , $y(n)$ debe ser estrictamente negativa o estrictamente positiva.
- Verificación Caso por Caso: Para el rango donde los límites generales son insuficientes (específicamente $17 \le n \le 403$ ), los autores realizan un análisis detallado, intervalo por intervalo. Esto implica calcular valores específicos de $c(n)$ y compararlos contra potencias calculadas de $n$ para determinar el signo de $y(n)$ .
Enfoque de Cálculo Elemental (Sección 3):
- Aproximación Continua: Los autores definen funciones continuas $F(x)$ que aproximan el comportamiento discreto de $x(n)$ y $y(n)$ . Estas funciones involucran términos como $x^{2/3}$ , $\sqrt{x}$ y $\log_2 x$ .
- Análisis de Convexidad: Al analizar las segundas derivadas ( $F''(x)$ ), los autores demuestran que estas funciones son convexas para $x$ suficientemente grande. Esta convexidad implica que las funciones tienen a lo sumo un mínimo local y cruzan el cero como máximo una vez en dominios específicos.
- Acotación de las Raíces: Los autores calculan valores específicos para localizar las raíces de estas funciones continuas (por ejemplo, encontrando $k$ tal que $f(k) \approx 0$ ). Luego utilizan la relación entre la función continua y la secuencia entera discreta para acotar el rango de enteros donde la desigualdad se cumple.

Contribuciones Clave y Resultados

Solución Completa de la Desigualdad (2): El artículo proporciona una clasificación definitiva del signo de $y(n)$ para todos los enteros positivos $n$ .
- $y(n) < 0$ : Esto se cumple si y solo si $5 \le n \le 335$ , $338 \le n \le 350$ , o $365 \le n \le 368$ .
- $y(n) > 0$ : Esto se cumple si y solo si $1 \le n \le 4$ , $336 \le n \le 337$ , $351 \le n \le 364$ , o $n \ge 369$ .
- $y(n) = 0$ : Los autores demuestran que $y(n)$ nunca es cero para ningún entero positivo $n$ .
Refinamiento del Trabajo Previo (Desigualdad 1): Aunque el enfoque principal es $y(n)$ , el artículo también revisita la desigualdad $x(n) < 0$ utilizando el método de cálculo. Reconfirma el resultado de su trabajo anterior [1] de que $x(n) = 0$ solo para $n \in \{436, 451, 529, 545, 546\}$ y $x(n) < 0$ para $n \le 435$ , $n=450$ , o $513 \le n \le 528$ .
Demostración Metodológica: El artículo demuestra que las desigualdades complejas en enteros positivos pueden abordarse mediante "cálculo elemental" (involucrando logaritmos y raíces) para estrechar el espacio de búsqueda, seguido de una verificación aritmética finita.

Significado y Reivindicaciones
Los autores posicionan este trabajo como un ejercicio metodológico y didáctico. No pretenden resolver una gran conjetura abierta, sino más bien explorar "desigualdades inusuales en enteros positivos" que surgen de los intentos de simplificar las demostraciones del Postulado de Bertrand.

La significancia reivindicada es doble:

Pureza Aritmética: Los autores argumentan que los métodos utilizados pueden ser "transmogrificados" para producir demostraciones dentro de o cerca de la "Aritmética de Funciones Elementales", un fragmento débil de la aritmética. Esto se alinea con el objetivo de encontrar demostraciones para aserciones de teoría de números que no dependan de una pesada maquinaria analítica (cálculo), aunque el propio artículo utiliza el cálculo como una herramienta para guiar la demostración aritmética.
Valor Didáctico: La inclusión tanto de una solución puramente aritmética como de una basada en el cálculo sirve para ilustrar diferentes formas de abordar tales problemas. Los autores señalan que, mientras la prueba aritmética es "pura", el enfoque de cálculo ofrece una manera de "facilitar" el cálculo y restringir el rango de enteros que requieren verificación manual.

El artículo concluye modestamente, indicando que los resultados proporcionan una solución completa a las desigualdades específicas presentadas, sin extrapolar a aplicaciones más amplias o direcciones de investigación futuras más allá del contexto inmediato de estas desigualdades enteras específicas.

La Gran Cacería de Números

El Ataque de Dos Vertientes

El Veredicto Final

Más como este