Tres ensayos sobre fórmulas de tipo Machin

Información Básica

• ID del Artículo: 2302.00154
• Título: Tres ensayos sobre fórmulas de tipo Machin
• Autores: Armengol Gasull (Universitat Autònoma de Barcelona), Florian Luca (Wits University & UNAM), Juan L. Varona (Universidad de La Rioja)
• Clasificación: math.NT (Teoría de Números)
• Revista de Publicación: Indagationes Mathematicae (por aparecer)
• Enlace del Artículo: https://arxiv.org/abs/2302.00154

Resumen

Este artículo investiga tres problemas relacionados con fórmulas de tipo Machin. En primer lugar, se proporcionan todas las fórmulas de Machin de dos términos donde las funciones arcotangente se evalúan en 2-enteros (valores de la forma $b/2^a$), que son útiles computacionalmente porque multiplicar o dividir por potencias de 2 es una operación muy rápida en la mayoría de computadoras. En segundo lugar, se propone un método para encontrar infinitas fórmulas con $N$ términos, particularmente útil cuando $N=2$, que permite recuperar la mayoría de fórmulas conocidas, proporciona algunas nuevas fórmulas, y puede demostrar simplemente la existencia de fórmulas de Machin de dos términos con medida de Lehmer arbitrariamente pequeña. Finalmente, se corrige una omisión en resultados previos y se proporcionan todas las fórmulas de Machin de dos términos que involucran potencias de la razón áurea.

Antecedentes de Investigación y Motivación

Contexto Histórico

Las fórmulas de Machin se originan en la identidad descubierta por John Machin en 1706: $4 \arctan\frac{1}{5} - \arctan\frac{1}{239} = \frac{\pi}{4}$

Combinada con la expansión en serie de arcotangente descubierta por Gregory en 1671: $\arctan x = \sum_{m=0}^{\infty} \frac{(-1)^m}{2m+1} x^{2m+1}, |x| < 1$

Machin utilizó esta fórmula para calcular 100 dígitos decimales de π.

Motivación de la Investigación

1. Problema de eficiencia computacional: Buscar fórmulas de tipo Machin más eficientes para calcular π, particularmente formas que involucren potencias de 2, ya que las computadoras son extremadamente eficientes en operaciones con potencias de 2
2. Completitud teórica: Clasificar y construir sistemáticamente diversas fórmulas de tipo Machin
3. Minimización de la medida de Lehmer: Buscar fórmulas con medida de Lehmer arbitrariamente pequeña para mejorar la eficiencia computacional
4. Corrección de omisiones históricas: Perfeccionar la clasificación de fórmulas de Machin que involucran la razón áurea

Limitaciones de Métodos Existentes

• Número limitado de fórmulas de tipo Machin conocidas
• Falta de métodos de construcción sistemáticos
• Investigación insuficiente sobre formas especiales (como fórmulas que involucran potencias de 2)
• Omisiones en investigaciones previas sobre la razón áurea

Contribuciones Principales

1. Clasificación completa de fórmulas de Machin de dos términos que involucran 2-enteros: Se proporcionan 10 soluciones aisladas y 2 familias parametrizadas
2. Propuesta de la metodología de "máquina de fórmulas de Machin": Capaz de generar sistemáticamente fórmulas de tipo Machin con $N$ términos
3. Demostración de la existencia de fórmulas de Machin de dos términos con medida de Lehmer arbitrariamente pequeña: Se proporciona una demostración constructiva
4. Corrección y perfeccionamiento de la clasificación de fórmulas de Machin con potencias de la razón áurea: Se descubren 16 identidades esencialmente diferentes

Explicación Detallada de Métodos

Primer Problema: Fórmulas de Machin con 2-Enteros

Definición de la Tarea

Buscar todas las soluciones de la forma: $x_1 \arctan(z_1) + x_2 \arctan(z_2) = \frac{\pi}{4}$ donde $x_1, x_2 \in \mathbb{Q}$, $z_k \in (0,1)$ y $z_k = 2^{a_k}/b_k$ o $b_k/2^{a_k}$.

Técnica Principal

Utilizando representación compleja, se transforma el problema en: $(1 + iz_1)^{12u_1}(1 + iz_2)^{12|u_2|} = (1 - iz_1)^{12u_1}(1 - iz_2)^{12|u_2|}$

Mediante el análisis de la factorización en enteros gaussianos, combinado con soluciones conocidas de ecuaciones diofánticas:

• $x^2 + 1 = 2y^n$
• $x^2 + 2^a = y^n$

Segundo Problema: Máquina de Fórmulas de Machin

Idea Principal

Se definen funciones racionales $R_j(n,x)$ ($j = 0,1,2,3$) tales que: $\frac{d}{dx}\arctan(R_j(n,x)) = \frac{n}{1+x^2}$

Definición de Funciones

Basadas en la fórmula de De Moivre, se define: $R_j(n,x) = \tan(n\arctan(x) + j\pi/4)$

Expresiones específicas:

• $R_0(n,x) = \frac{\text{numer}_n(x)}{\text{denom}_n(x)}$
• $R_1(n,x) = \frac{\text{denom}_n(x) + \text{numer}_n(x)}{\text{denom}_n(x) - \text{numer}_n(x)}$
• $R_2(n,x) = -\frac{1}{R_0(n,x)}$
• $R_3(n,x) = -\frac{1}{R_1(n,x)}$

Teorema Principal

Para enteros $r_k$ que satisfacen $\sum_{k=1}^N r_k = 0$, se tiene: $\sum_{k=1}^N \frac{r_k}{n_k} \arctan(R_{j_k}(n_k, x)) = \frac{r}{s}\pi$

Tercer Problema: Fórmulas con la Razón Áurea

Descripción del Problema

Clasificar todas las fórmulas de la forma: $x_1 \arctan(\phi^{a_1}) + x_2 \arctan(\phi^{a_2}) = \frac{\pi}{4}$ donde $\phi = \frac{1+\sqrt{5}}{2}$ es la razón áurea.

Método Técnico

Mediante el análisis de normas y factorización de primos en elementos de $K = \mathbb{Q}(i,\sqrt{5})$, utilizando el teorema de divisores primos esenciales de números de Fibonacci y Lucas.

Resultados Experimentales

Resultados Principales

Teorema 1: Fórmulas de Machin con 2-Enteros

Se descubren 10 soluciones aisladas y 2 familias parametrizadas:

Ejemplos de soluciones aisladas:

• $(-1, \frac{1}{239}, 4, \frac{1}{5})$ (fórmula clásica de Machin)
• $(1, \frac{1}{41}, 2, \frac{2}{5})$

Familias parametrizadas:

• $(1, \frac{1}{2^{a^2}+1}, 1, \frac{2^{a^2}}{2^{a^2}+1})$
• $(1, \frac{1}{2^{a^2}-1}, 1, \frac{2^{a^2}-1}{2^{a^2}})$

Teorema 3: Fórmulas con Medida de Lehmer Pequeña

Se demuestra que para cualquier $\varepsilon > 0$, existe una fórmula de Machin: $n \arctan\frac{1}{b_1} - \arctan\frac{a_2}{b_2} = \frac{\pi}{4}$ cuya medida de Lehmer es menor que $\varepsilon$.

La demostración constructiva se basa en convergentes de la fracción continua de π, con resultados específicos en las Tablas 1 y 2.

Ejemplos Numéricos Específicos

La Tabla 1 presenta fórmulas basadas en convergentes de la fracción continua de π, con medida de Lehmer que disminuye de 0.901429 a 0.172125.

La Tabla 2 presenta fórmulas basadas en $2^m$, alcanzando una medida de Lehmer mínima de 0.199544.

Fórmulas con la Razón Áurea

Se descubren 16 identidades esencialmente diferentes, incluyendo:

• $\frac{\pi}{4} = \frac{1}{3}\arctan(\phi^3) + \frac{1}{3}\arctan(\phi)$
• $\frac{\pi}{4} = -\frac{1}{2}\arctan(\phi^5) + \frac{3}{2}\arctan(\phi)$

Trabajos Relacionados

Desarrollo Histórico

• Störmer (1895): Demuestra que hay solo 4 fórmulas de la forma $x_1\arctan(1/m_1) + x_2\arctan(1/m_2) = \pi/4$
• Lehmer (1938): Propone la medida de Lehmer como medida de eficiencia computacional
• Desarrollo moderno: Algoritmo de Chudnovsky y otros métodos más rápidos para calcular π

Investigación Relacionada

La "máquina de fórmulas de Machin" de este artículo extiende los resultados de 4, que utilizaba relaciones recursivas de polinomios de Rédei para obtener casos especiales de la función $R_3(n,x)$.

Conclusiones y Discusión

Conclusiones Principales

1. Se resuelve completamente el problema de clasificación de fórmulas de Machin de dos términos que involucran 2-enteros
2. Se proporciona un método sistemático y universal para construir fórmulas de Machin
3. Se demuestra que se pueden construir fórmulas con medida de Lehmer arbitrariamente pequeña
4. Se corrige y perfecciona la clasificación de fórmulas relacionadas con la razón áurea

Limitaciones

1. Para casos con $N > 2$, el método puede no abarcar todas las fórmulas conocidas
2. Aunque se pueden construir fórmulas con medida de Lehmer pequeña, los numeradores y denominadores de las fracciones tienen muchos dígitos, requiriendo un equilibrio en la eficiencia computacional práctica
3. Los cálculos modernos de π tienen algoritmos más eficientes (como el algoritmo de Chudnovsky), limitando el valor práctico de las fórmulas de tipo Machin

Direcciones Futuras

1. Extensión a fórmulas de Machin con más términos
2. Investigación de otras formas especiales de parámetros de arcotangente
3. Exploración de conexiones con funciones elípticas y funciones modulares

Evaluación Profunda

Ventajas

1. Completitud teórica: Resuelve sistemáticamente varios problemas de clasificación importantes
2. Innovación metodológica: La "máquina de fórmulas de Machin" propuesta es general y práctica
3. Demostraciones constructivas: No solo prueba la existencia, sino que proporciona métodos de construcción específicos
4. Corrección histórica: Aborda cuidadosamente y corrige omisiones en investigaciones previas

Puntos Técnicos Destacados

1. Transformación compleja ingeniosa: Convierte problemas en números reales en problemas algebraicos en el dominio complejo
2. Aplicación de ecuaciones diofánticas: Utiliza efectivamente soluciones conocidas de ecuaciones diofánticas
3. Aplicación de teoría de fracciones continuas: Utiliza propiedades de fracciones continuas de π para construir fórmulas con medida de Lehmer pequeña

Insuficiencias

1. Valor práctico limitado: En cálculos modernos de π de alta precisión, la ventaja de estas fórmulas no es evidente
2. Problema de complejidad: Las fórmulas construidas con medida de Lehmer pequeña involucran números enteros con muchos dígitos
3. Generalización limitada: La aplicabilidad del método a casos más generales tiene restricciones

Impacto

1. Contribución teórica: Proporciona un marco sistemático para la teoría de fórmulas de tipo Machin
2. Matemática computacional: Proporciona nuevas herramientas para la investigación de identidades de funciones especiales
3. Aplicación en teoría de números: Demuestra el poder de métodos de teoría de números algebraicos en problemas concretos

Referencias

El artículo cita 24 referencias importantes, abarcando desde trabajos clásicos de Machin (1706) y Gregory (1671) hasta investigaciones modernas relacionadas, particularmente trabajos fundamentales de Störmer, Lehmer y otros en este campo.