🔢 mathematics

On integers of the form $p+F_{2^k}+F_q$

Este artículo demuestra que el conjunto de los enteros representables como la suma de un primo, un número de Fibonacci con un índice que es una potencia de dos y otro primo tiene una densidad asintótica inferior positiva, una propiedad que también se cumple para el conjunto de los enteros que no pueden ser representados de esta forma.

Autores originales: Yang Gao

Publicado 2026-06-30

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Yang Gao

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 una bolsa infinita de bloques de construcción. Algunos bloques son Primos (números como 2, 3, 5, 7 que no se pueden dividir uniformemente por nada más), otros son números de Fibonacci (una secuencia especial donde sumas los dos últimos números para obtener el siguiente: 0, 1, 1, 2, 3, 5, 8, 13...), y otros son simplemente Enteros regulares (1, 2, 3, 4...).

Durante mucho tiempo, los matemáticos han estado jugando a un juego: "¿Puedes construir cada número entero usando una receta específica?".

La Receta Antigua

Hace tiempo, en 1934, un matemático llamado Romanoff preguntó: "¿Podemos construir cada número impar sumando un Primo y una Potencia de Dos (como 1, 2, 4, 8, 16...)?". Él descubrió que puedes construir muchos de ellos, pero no todos. Más tarde, otro matemático llamado Erdős demostró que en realidad existen "huecos" infinitos—líneas enteras de números que simplemente no se pueden construir de esta manera.

La Nueva Receta

En este artículo, el autor, Yang Gao, cambia la receta. En lugar de potencias de dos, utiliza números de Fibonacci. Pero añade un giro:

Utiliza un Primo ( $p$ ).
Utiliza un número de Fibonacci donde la posición es un número par ( $F_{2k}$ , como $F_0, F_2, F_4...$ ).
Utiliza otro Primo ( $q$ ) como el índice para un tercer número de Fibonacci ( $F_q$ ).

Así que la receta es: $n = \text{Primo} + \text{Fibonacci de Posición Par} + \text{Fibonacci de Posición Prima}$ .

La gran pregunta es: Si intentas construir números usando esta nueva receta, ¿cubres suficientes partes de la recta numérica? ¿O hay enormes huecos?

Los Dos Grandes Descubrimientos

El artículo demuestra dos cosas sorprendentes sobre esta nueva receta:

1. La Autopista "No Construible" (Teorema 1.1)

Imagina una autopista larga y recta donde cada marcador de milla representa un número. El autor demuestra que puedes encontrar una sección específica de esta autopista (una progresión aritmética infinita) donde ninguno de los números puede ser construido usando la receta.

La Analogía: Piensa en una cerradura y una llave. El autor diseñó una "cerradura" específica (un conjunto de reglas basadas en restos al dividir por números pequeños como 2, 3, 5, 7, etc.). Demostró que no importa cómo intentes mezclar tus Primos y números de Fibonacci, el resultado nunca encajará en esta cerradura específica.

Resultado: Existe una línea infinita de números que no se pueden escribir como $p + F_{2k} + F_q$ . Debido a que esta línea es infinita y regular, significa que los números "no construibles" constituyen una parte significativa del mundo de los números.

2. La Multitud "Construible" (Teorema 1.2)

Aquí está el giro: Aunque existe toda una autopista de números "no construibles", los números que sí se pueden construir también están en todas partes.

La Analogía: Imagina una fiesta concurrida. Aunque hay un grupo específico de personas que no pueden entrar a la sala VIP (los números no construibles), la sala VIP sigue llena con una "densidad positiva" de invitados. En términos matemáticos, esto significa que si miras los primeros 1,000,000 de números, un porcentaje significativo de ellos (no solo unos pocos aislados) se pueden construir usando la receta.

Resultado: El conjunto de números que puedes construir es lo suficientemente grande como para considerarse de "densidad positiva". No son solo islas dispersas; es un continente sustancial.

¿Cómo lo hicieron? (Las Herramientas)

Para demostrar estas cosas, el autor utilizó dos herramientas principales:

El Tamiz (para la prueba de lo "No Construible"):
Piensa en un tamiz utilizado para separar la arena de las piedras. El autor configuró una serie de filtros (congruencias) basados en números primos pequeños. Demostró que si intentas construir un número usando su receta, siempre se quedará atrapado en uno de estos filtros. Es como intentar caminar a través de un laberinto donde cada camino conduce a un callejón sin salida para un grupo específico de números.
El Juego de Contar (para la prueba de lo "Construible"):
Para demostrar que muchos números se pueden construir, el autor tuvo que contar cuántas formas hay de hacer un número.
- Primero, demostró que hay tantas combinaciones de Primos y números de Fibonacci que teóricamente podrías hacer aproximadamente tantos números como hay enteros hasta $x$ .
- Luego, tuvo que demostrar que no estás haciendo el mismo número una y otra vez (como hacer 100 usando 50 combinaciones diferentes). Demostró que la mayoría de los números se hacen de forma única o con pocas combinaciones.
- El Truco de "Cauchy-Schwarz": Utilizó una desigualdad matemática (una forma elegante de decir "si tienes muchas combinaciones totales, y no las estás repitiendo demasiado, entonces debes tener muchos números diferentes"). Esto demostró que los números "construibles" son densos.

Resumen

En términos simples, este artículo resuelve un rompecabezas sobre cómo se construyen los números. Muestra que si mezclas Primos y números de Fibonacci de esta forma específica:

Nunca podrás construir una línea específica e infinita de números (son "inalcanzables").
Sin embargo, sí podrás construir una parte enorme y significativa del resto de los números (son "alcanzables").

Es un poco como decir: "No puedes construir una casa con estos ladrillos específicos en esta calle específica, pero en el resto de la ciudad, puedes construir casas en casi todos los demás lotes".

Resumen Técnico: Enteros de la forma $p + F_{2k} + F_q$

Planteamiento del Problema
Este artículo investiga la distribución de los enteros positivos representables en la forma $n = p + F_{2k} + F_q$ , donde $p$ y $q$ son números primos y $k$ es un entero no negativo. Aquí, $\{F_n\}$ denota la sucesión de Fibonacci definida por $F_0=0, F_1=1$ , y $F_{n+2}=F_{n+1}+F_n$ . El estudio aborda un problema de "tipo Romanoff", extendiendo la cuestión clásica de si los enteros pueden escribirse como la suma de un primo y una potencia de dos ( $p + 2^n$ ) a sumas que involucran primos y sucesiones específicas y dispersas (números de Fibonacci). Específicamente, el artículo busca determinar la densidad asintótica inferior del conjunto de enteros representables en esta forma y la densidad de su complemento.

Metodología
Los autores emplean una combinación de teoría de números elemental, propiedades de la sucesión de Fibonacci módulo primos y técnicas de la teoría analítica de números, específicamente métodos de criba.

Lemas Preliminares: La demostración se basa en propiedades fundamentales de los números de Fibonacci, incluyendo sus tasas de crecimiento (aproximaciones de la fórmula de Binet), representaciones de Zeckendorf y periodicidad módulo enteros (periodos de Pisano). Los lemas clave establecen límites sobre la cantidad de números de Fibonacci hasta $x$ y la distribución de los residuos módulo primos.
Sistemas de Cobertura (Teorema 1.1): Para demostrar que el conjunto de enteros no representables tiene densidad inferior positiva, los autores construyen una progresión aritmética infinita explícita $A$ . Esto se logra definiendo un sistema de congruencias módulo un producto de primos específicos ( $M = 2 \cdot 3 \cdot 5 \cdot 7 \cdot 11 \cdot 19 \cdot 23 \cdot 47$ ). Al analizar la paridad y los residuos modulares de $F_{2k}$ y $F_q$ frente a estos módulos, los autores demuestran que ningún entero en esta progresión puede satisfacer la ecuación $n = p + F_{2k} + F_q$ .
Métodos de Criba y Unicidad (Teorema 1.2): Para demostrar que el conjunto de enteros representables tiene densidad inferior positiva, los autores utilizan la desigualdad de Cauchy–Schwarz. Esto requiere estimar dos cantidades:
- $R(x) = \sum_{n \le x} r(n)$ , el número total de representaciones, donde $r(n)$ cuenta el número de triples $(p, k, q)$ tales que $n = p + F_{2k} + F_q$ .
- $\sum_{n \le x} r(n)^2$ , el segundo momento, que cuenta el número de pares de representaciones para un mismo entero.
- Análisis de Unicidad: Un paso crítico involucra el Lema 4.1, el cual establece que la ecuación $F_{2k_1} + F_{q_1} = F_{2k_2} + F_{q_2}$ tiene muy pocas soluciones (esencialmente solo permutaciones triviales o casos pequeños específicos). Esto asegura que el número de "colisiones" (donde diferentes triples producen la misma suma) esté controlado.
- Estimaciones de Criba: Los autores aplican la estimación de Bombieri–Davenport y la desigualdad de Brun–Titchmarsh para acotar el número de soluciones donde la diferencia entre dos sumas es un entero par fijo. Manejan cuidadosamente la suma sobre los divisores del término de la diferencia utilizando las propiedades de los periodos de Pisano y la distribución de los primos en progresiones aritméticas.

Contribuciones Clave y Resultados
El artículo establece dos teoremas principales respecto al conjunto de enteros de la forma $p + F_{2k} + F_q$ :

Teorema 1.1: Existe una progresión aritmética infinente de enteros positivos tal que ningún entero en esta progresión puede ser escrito como $p + F_{2k} + F_q$ . En consecuencia, el conjunto de enteros no representables en esta forma tiene densidad asintótica inferior positiva.
Teorema 1.2: El conjunto de enteros positivos representables como $p + F_{2k} + F_q$ (con $p, q$ primos y $k \ge 0$ ) tiene densidad asintótica inferior positiva.

Además, los autores señalan en la Observación 1 que resultados análogos se cumplen para los números de Lucas ( $L_n$ ), ya que la demostración se basa en propiedades modulares similares.

Significancia
El artículo contribuye a la teoría general de los problemas de tipo Romanoff al abordar sumas que involucran dos términos dispersos de sucesiones de recurrencia lineal (específicamente números de Fibonacci) y un primo. Mientras que trabajos previos habían establecido una densidad positiva para sumas de un primo y un único número de Fibonacci ( $p + F_k$ ) o sumas de un primo y dos potencias de dos ( $p + 2^a + 2^b$ ), este trabajo extiende la comprensión a formas mixtas que involucran índices que son, en sí mismos, primos ( $q$ ) e índices pares ( $2k$ ). El resultado confirma que, a pesar de la dispersión de la sucesión de Fibonacci y la restricción sobre los índices, la combinación aditiva con primos es lo suficientemente densa como para cubrir una proporción positiva de los enteros, mientras que simultáneamente deja una proporción positiva sin cubrir, como demuestra la progresión aritmética construida. La metodología demuestra la efectividad de combinar sistemas de cobertura con estimaciones de criba en el contexto de las recurrencias lineales.