Carl Størmer y sus Números

Información Básica

• ID del Artículo: 2511.03030
• Título: Carl Størmer and his Numbers
• Autores: Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart
• Clasificación: math.HO (Historia de las Matemáticas) math.NT (Teoría de Números)
• Fecha de Publicación: 4 de noviembre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2511.03030

Resumen

En muchas demostraciones del Teorema de Fermat sobre Dos Cuadrados, la solución de residuo mínimo positivo $x_0$ de la ecuación de congruencia cuadrática $x^2 \equiv -1 \bmod p$ juega un papel crucial, donde $p$ es un número primo y $p \equiv 1 \bmod 4$. Tales $x_0$ se denominan números de Størmer, en honor al matemático y astrónomo noruego Carl Størmer (1874-1957). Este artículo establece condiciones necesarias y suficientes para que $x_0 \in \mathbb{N}$ sea un número de Størmer de algún primo $p \equiv 1 \bmod 4$. El estudio de Størmer sobre estos números surgió principalmente de su investigación de identidades que representan $\pi$ como combinaciones lineales finitas de ciertos valores de la serie de Gregory-MacLaurin $\arctan(1/x)$. Dado que en 1900 se conocían menos de 600 dígitos de $\pi$, la aproximación de $\pi$ era un tema importante. Una identidad descubierta por Størmer en 1896 fue utilizada por Kanada y su equipo en 2002 para calcular 1.24 billones de dígitos de $\pi$.

Antecedentes de Investigación y Motivación

Contexto del Problema

1. Importancia del Teorema de Fermat sobre Dos Cuadrados: Este teorema fue llamado por G.H. Hardy "uno de los teoremas más hermosos de la aritmética". Establece que un primo $p$ puede expresarse como la suma de los cuadrados de dos enteros positivos si y solo si $p \equiv 1 \bmod 4$.
2. Papel Central de las Congruencias Cuadráticas: La mayoría de las demostraciones del Teorema de Fermat sobre Dos Cuadrados implican el estudio de la ecuación de congruencia cuadrática $x^2 \equiv -1 \bmod p$. Por ejemplo, la demostración dada independientemente por Hermite y Serret en 1848 asume que se conoce la solución de residuo mínimo $x_0$, y luego utiliza el algoritmo de Euclides para producir un algoritmo que resuelve para enteros positivos $a, b$ satisfaciendo $p = a^2 + b^2$.
3. Significado Histórico: Aunque Girard enunció el teorema en 1632 y Fermat anunció una demostración en 1640, la primera demostración de existencia registrada fue dada por Euler en 1749, y la demostración de unicidad fue completada por Gauss en 1801.

Motivación de la Investigación

1. Necesidad Teórica: Cuando el primo $p$ es muy grande, encontrar $x_0$ es difícil en la práctica, requiriendo condiciones de determinación sistemáticas.
2. Valor Histórico: El trabajo de Carl Størmer conecta la teoría de números con la aproximación de $\pi$, poseyendo un significado importante en la historia de las matemáticas.
3. Valor de Aplicación: Las identidades de Størmer continúan desempeñando un papel en el cálculo de $\pi$ de alta precisión.

Contribuciones Principales

1. Establecimiento de una Caracterización Completa de Números de Størmer: Se proporcionan condiciones necesarias y suficientes para que un entero positivo $x_0$ sea un número de Størmer de algún primo (Teorema 2.3)
2. Demostración de la Inyectividad de la Función de Størmer: Se prueba que cada número de Størmer corresponde a un único primo (Teorema 2.1)
3. Provisión de una Demostración Heurística de la Densidad Natural de Números de Størmer: Apoya la conjetura de Everest-Harman, es decir, que la densidad natural de números de Størmer es $\ln 2$
4. Exposición Sistemática de la Conexión entre Números de Størmer y Números de Gregory: Se muestra la teoría de aproximación de $\pi$ de Størmer y sus aplicaciones modernas
5. Provisión de Ejemplos Computacionales Abundantes: Se ilustra la aplicación práctica de la teoría mediante ejemplos concretos

Explicación Detallada de Métodos

Definición de la Tarea

Entrada: Entero positivo $x_0$Salida: Determinar si $x_0$ es un número de Størmer de algún primo $p \equiv 1 \bmod 4$; si es así, encontrar el primo correspondiente $p$Restricciones: $p$ debe ser un primo de la forma $4n+1$, y $1 < x_0 \leq (p-1)/2$, $x_0^2 \equiv -1 \bmod p$

Marco Teórico Central

Definición 2.1 (Número de Størmer)

Sea $p = 4n+1$ un primo, y sea $x_0$ un entero positivo satisfaciendo:

• (i) $1 < x_0 \leq \frac{p-1}{2}$
• (ii) $x_0^2 \equiv -1 \bmod p$

Entonces se dice que $x_0$ es un número de Størmer de $p$, denotado como $S(p) = x_0$.

Teoremas Clave

Teorema 2.1 (Inyectividad): La función de Størmer $S: P_{4n+1} \to \mathbb{N}$ es inyectiva.

Esquema de Demostración: Supóngase que $S(p_1) = S(p_2)$ pero $p_1 \neq p_2$. Sin pérdida de generalidad, asúmase $p_1 > p_2$. Dado que $p_j | (x_0^2 + 1)$, se obtiene $p_1 p_2 | (x_0^2 + 1)$, es decir: $x_0^2 + 1 \geq p_1 p_2$

Por otro lado, dado que $x_0 \leq (p_2-1)/2$ y $p_2 \leq p_1 - 2$, se puede derivar: $x_0^2 + 1 < p_1 p_2$

Esto produce una contradicción, por lo tanto $p_1 = p_2$.

Teorema 2.2 (Propiedad de Primos): Si $x_0^2 + 1 = 2^r p_1^{r_1} \cdots p_m^{r_m}$, entonces cada $p_j \equiv 1 \bmod 4$.

Teorema 2.3 (Condiciones Necesarias y Suficientes): Sea la factorización en primos de $n = x_0^2 + 1$ dada por $2^r p_1^{r_1} \cdots p_m^{r_m}$, donde $p_1 < \cdots < p_m$. Entonces existe un primo $p$ tal que $x_0$ es su número de Størmer si y solo si $2x_0 + 1 \leq p_m$. Si la condición se satisface, entonces $p = p_m$ y $S(p_m) = x_0$.

Puntos de Innovación Técnica

1. Marco de Determinación Unificado: Se transforma el problema de determinación de números de Størmer en un análisis de la factorización en primos de $x_0^2 + 1$
2. Demostración Constructiva: No solo se proporcionan condiciones de determinación, sino también el método concreto para encontrar el primo correspondiente
3. Conexión entre Teoría de Números y Análisis: Se establece una conexión profunda entre números de Størmer, series de Gregory, y la aproximación de $\pi$

Configuración Experimental

Presentación de Datos

El artículo proporciona dos tablas de datos importantes:

Tabla 1: Pares ordenados de primos y sus números de Størmer correspondientes

(5,2), (13,5), (17,4), (29,12), (37,6), (41,9), (53,23)
(61,11), (73,27), (89,14), (97,22), (101,10), (109,33), (113,15)
...

Tabla 2: Los primeros números de Størmer ordenados en orden creciente

1, 2, 4, 5, 6, 9, 10, 11, 12, 14, 15, 16, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 33, 34, 35, 36, 37, 39, 40, 42, ...

Métodos de Verificación

El artículo verifica los resultados teóricos mediante ejemplos concretos:

Ejemplo 1: $x_0 = 3$

• $x_0^2 + 1 = 10 = 2 \times 5$
• $2x_0 + 1 = 7 > 5$
• Por lo tanto, 3 no es un número de Størmer

Ejemplo 2: $x_0 = 15$

• $x_0^2 + 1 = 226 = 2 \times 113$
• $2x_0 + 1 = 31 \leq 113$
• Por lo tanto, $S(113) = 15$

Resultados Experimentales

Análisis de Densidad Natural

El artículo proporciona evidencia numérica de la densidad natural de números de Størmer:

Estos datos apoyan la conjetura de Everest-Harman: $\lim_{n \to \infty} \frac{|\{S(p) | p \leq n\}|}{n} = \ln 2 \approx 0.693$

Demostración de Densidad Heurística

El artículo proporciona una demostración heurística basada en teoría de probabilidades:

Para $x_0 \in \mathbb{N}$, si $x_0 = S(p)$, entonces $2x_0 + 1 \leq p \leq x_0^2 + 1$. Asumiendo que la "probabilidad" de que cada entero sea un número de Størmer es $2/(p-1)$, entonces la probabilidad de que $x_0$ sea un número de Størmer es aproximadamente:

$\sum_{2x_0+1 \leq p \leq x_0^2+1, p \equiv 1 \bmod 4} \frac{2}{p-1} \sim \sum_{2x_0 \leq p \leq x_0^2} \frac{1}{p} \sim \ln 2$

Utilizando la estimación de Mertens se obtiene el resultado final.

Números de Gregory y la Aproximación de π

Fundamentos Teóricos

Størmer estableció la conexión entre números de Størmer y números de Gregory $t_x := \arctan(1/x)$:

Teorema 5.1 (Teorema de Størmer): Si $x \in \mathbb{N}$ no es un número de Størmer, entonces $t_x$ puede representarse de manera única como una combinación lineal finita de $t_n$, donde cada $n$ es un número de Størmer y $n < x$.

Aplicaciones Históricas

1. Fórmula de Machin (1706): $\frac{\pi}{4} = 4\arctan\frac{1}{5} - \arctan\frac{1}{239}$
2. Fórmula de Euler: $\frac{\pi}{4} = 5\arctan\frac{1}{7} + 2\arctan\frac{79}{3}$
3. Fórmula de Størmer (1896): $\frac{\pi}{4} = 44\arctan\frac{1}{57} + 7\arctan\frac{1}{239} - 12\arctan\frac{1}{682} + 24\arctan\frac{1}{12943}$

Significado Moderno

La identidad de Størmer de 1896 fue utilizada por el equipo de Kanada en 2002 para calcular 1.24 billones de dígitos de π, demostrando el valor duradero de la teoría matemática clásica.

Trabajos Relacionados

Desarrollo Histórico

1. Teorema de Fermat sobre Dos Cuadrados: Desarrollo desde Girard (1632) hasta Fermat (1640) hasta Euler (1749)
2. Método de Smith (1855): Demostración elegante de existencia utilizando el algoritmo de Euclides y teoría de fracciones continuas
3. Algoritmo de Hermite-Serret (1848): Algoritmo para construir descomposiciones en suma de cuadrados basado en números de Størmer conocidos

Investigaciones Relacionadas

1. Definición de Conway-Guy: Definición ligeramente diferente de números de Størmer, incluyendo el caso n=1
2. Trabajo de Lehmer: Investigación de identidades de funciones arccot
3. Teorema de Todd: Caracterización de la irreducibilidad de funciones arctan

Conclusiones y Discusión

Conclusiones Principales

1. Caracterización Completa: Se establecen condiciones de determinación necesarias y suficientes para números de Størmer, resolviendo un problema de larga data
2. Unificación Teórica: Se unifican números de Størmer, el Teorema de Fermat sobre Dos Cuadrados, series de Gregory y la aproximación de $\pi$ en un marco teórico único
3. Valor Histórico: Se sistematiza la contribución matemática de Carl Størmer y su significado moderno

Limitaciones

1. Demostración de Densidad: La demostración de densidad natural sigue siendo heurística, careciendo de rigor matemático
2. Complejidad Computacional: Para $x_0$ grandes, determinar si es un número de Størmer requiere factorizar $x_0^2 + 1$, lo cual puede ser computacionalmente difícil
3. Alcance de Aplicación: Principalmente limitado a matemáticas teóricas, con aplicaciones prácticas relativamente limitadas

Direcciones Futuras

1. Demostración Rigurosa de Densidad: Búsqueda de una demostración matemática rigurosa de la conjetura de Everest-Harman
2. Optimización de Algoritmos: Desarrollo de algoritmos más eficientes para la determinación y cálculo de números de Størmer
3. Investigación de Generalizaciones: Exploración de aplicaciones de estructuras similares en otras ramas de las matemáticas

Evaluación Profunda

Fortalezas

1. Completitud Teórica: Proporciona una caracterización matemática completa de números de Størmer, llenando vacíos teóricos
2. Valor Histórico: Introduce sistemáticamente la vida y contribuciones de Carl Størmer, poseyendo un significado importante en la historia de las matemáticas
3. Conectividad Fuerte: Conecta ingeniosamente la teoría de números, análisis y cálculo de π en múltiples ramas matemáticas
4. Ejemplos Abundantes: Ilustra la aplicación de la teoría mediante numerosos ejemplos concretos, mejorando la legibilidad
5. Escritura Clara: La estructura del artículo es clara, progresando gradualmente desde definiciones básicas hasta aplicaciones profundas

Insuficiencias

1. Eficiencia Computacional: Para aplicaciones prácticas, la complejidad computacional de la factorización en primos puede convertirse en un cuello de botella
2. Demostración de Densidad: La demostración de densidad natural carece de rigor matemático, siendo solo argumentativa
3. Limitaciones de Aplicación: Aunque la teoría es completa, el valor práctico moderno es relativamente limitado
4. Grado de Innovación: Principalmente una sistematización de teoría existente, con contribuciones originales relativamente limitadas

Influencia

1. Contribución Teórica: Proporciona nuevas herramientas y perspectivas para la investigación en teoría de números
2. Valor Educativo: Adecuado como material de enseñanza en teoría de números e historia de las matemáticas
3. Significado Inspirador: Puede inspirar investigación adicional sobre estructuras matemáticas relacionadas
4. Reproducibilidad: Los resultados teóricos son claros y los ejemplos computacionales son fáciles de verificar

Escenarios de Aplicación

1. Investigación en Teoría de Números: Proporciona nuevos métodos para investigar congruencias cuadráticas y propiedades de primos
2. Educación Matemática: Sirve como un excelente caso de estudio que conecta diferentes ramas matemáticas
3. Investigación en Historia de las Matemáticas: Proporciona material importante para comprender el desarrollo matemático de los siglos XIX-XX
4. Diseño de Algoritmos: Proporciona fundamentos teóricos para problemas computacionales relacionados

Referencias Bibliográficas

El artículo cita 21 referencias importantes, abarcando desde libros de texto clásicos de teoría de números hasta matemáticas computacionales modernas, reflejando la profundidad y amplitud de la investigación. Las referencias clave incluyen la Teoría de Números de Andrews, El Libro de los Números de Conway y Guy, y los artículos originales de Størmer.