# Fórmulas de Machin

En matemáticas, las fórmulas de Machin son una clase de identidades que involucran al $\Pi$ = 3.14159... y que generalizan la fórmula original de John Machin de 1706:
    ${\frac {\pi }{4}}=4\arctan {\frac {1}{5}}-\arctan {\frac {1}{239}},$
que usó junto con la expansión del arco tangente de series de Taylor para calcular π con 100 decimales.
Las fórmulas de Machin tienen la forma
    ${\frac {\pi }{4}}=\sum _{n}^{N}a_{n}\arctan {\frac {1}{b_{n}}}$
con $a_{n}$ y $b_{n}$ s entero.
El mismo método se conoce todavía entre los más eficientes para calcular un gran número de dígitos de π usando computación digital.

## Derivación

Para comprender de dónde viene esta fórmula, comenzar con las ideas básicas siguientes
* $\tan(\arctan(a))=a$
* ${\frac {\pi }{4}}=\arctan(1)$
* $\tan(2a)={\frac {2\tan(a)}{1-\tan ^{2}(a)}}$ (identidad de la tangente de ángulo doble)
* $\tan(a-\arctan(b))={\frac {\tan(a)-b}{1+b\tan(a)}}$ (identidad diferencia tangente)
* ${\frac {\pi }{16}}=0.196349\dots$ (aproximadamente)
* $\arctan \left({\frac {1}{5}}\right)=\arctan(0.2)=0.197395\dots$ (aproximadamente)
En otras palabras, para pequeñas cantidades, el arco tangente es una buena aproximación a la función identidad. Esto conduce a la posibilidad de que un número $q$ pueda encontrarse tal que
    ${\frac {\pi }{16}}=\arctan \left({\frac {1}{5}}\right)-{\frac {1}{4}}\arctan(q).$
Usando el álgebra elemental, se puede aislar $q$:
    $q=\tan \left(4\arctan \left({\frac {1}{5}}\right)-{\frac {\pi }{4}}\right)$
Utilizando las identidades previas, se sustituye arctan(1) por π/4 y, a continuación, se obtiene el resultado
    $q={\frac {\tan \left(4\arctan \left({\frac {1}{5}}\right)\right)-1}{1+\tan \left(4\arctan \left({\frac {1}{5}}\right)\right)}}$
Asimismo, dos aplicaciones de la identidad de ángulo doble conducen a
    $\tan \left(4\arctan \left({\frac {1}{5}}\right)\right)={\frac {120}{119}}$
y así
    $q={\frac {{\frac {120}{119}}-1}{1+{\frac {120}{119}}}}={\frac {1}{239}}.$
Otras fórmulas pueden generarse utilizando números complejos. Por ejemplo el ángulo de un número complejo a + bi es dado por $\arctan {\frac {b}{a}}$ y cuando se multiplican números complejos se añaden sus ángulos. Si a = b then $\arctan {\frac {b}{a}}$ es de 45 grados o ${\frac {\pi }{4}}$. Esto significa que si la parte real y compleja son iguales entonces el arco tangente será igual a ${\frac {\pi }{4}}$. Ya que el arco tangente de uno tiene una tasa de convergencia muy lenta, si encontramos dos números complejos que multiplicados de como resultado la misma parte real e imaginaria, tendremos una fórmula de Machin. Un ejemplo es $(2+i)$ y $(3+i)$, si se multiplican se llega a $(5+5i)$. Por lo tanto $\arctan {\frac {1}{2}}+\arctan {\frac {1}{3}}={\frac {\pi }{4}}$.
Si desea utilizar números complejos para demostrar que ${\frac {\pi }{4}}=4\arctan {\frac {1}{5}}-\arctan {\frac {1}{239}}$ en primer lugar debe saber que cuando se multiplica ángulos, el número complejo se eleva a la potencia del número que está multiplicando. Así que $(5+i)^{4}(-239+i)=-2^{2}(13^{4})(1+i)$ y ya que las partes real e imaginaria son iguales, $4\arctan {\frac {1}{5}}-\arctan {\frac {1}{239}}={\frac {\pi }{4}}$

## Fórmulas de dos períodos

Hay exactamente tres fórmulas adicionales de Machin con dos términos; se trata de Euler
    ${\frac {\pi }{4}}=\arctan {\frac {1}{2}}+\arctan {\frac {1}{3}}$,
Hermann,
    ${\frac {\pi }{4}}=2\arctan {\frac {1}{2}}-\arctan {\frac {1}{7}}$,
y de Hutton
    ${\frac {\pi }{4}}=2\arctan {\frac {1}{3}}+\arctan {\frac {1}{7}}$.

## Más términos

El récord de 2002 de dígitos de $\pi$, 1,241,100,000,000, fue obtenido por Yasumasa Kanada de la Universidad de Tokio. El cálculo se realizó con una supercomputadora Hitachi de 64 nodos con 1 terabyte de memoria principal, que efectuaba 2 billones de operaciones por segundo. Se utilizaron estas dos fórmulas:
    ${\frac {\pi }{4}}=12\arctan {\frac {1}{49}}+32\arctan {\frac {1}{57}}-5\arctan {\frac {1}{239}}+12\arctan {\frac {1}{110443}}$
    Kikuo Takano (1982).
    ${\frac {\pi }{4}}=44\arctan {\frac {1}{57}}+7\arctan {\frac {1}{239}}-12\arctan {\frac {1}{682}}+24\arctan {\frac {1}{12943}}$
    F. C. w. Störmer (1896).
Las fórmulas más conocidas de Machin, actualmente eficaces para la informática
    ${\begin{aligned}{\frac {\pi }{4}}=&183\arctan {\frac {1}{239}}+32\arctan {\frac {1}{1023}}-68\arctan {\frac {1}{5832}}+12\arctan {\frac {1}{110443}}\\&-12\arctan {\frac {1}{4841182}}-100\arctan {\frac {1}{6826318}}\\\end{aligned}}$
    黃見利 (Hwang Chien-Lih) (1997).
    ${\begin{aligned}{\frac {\pi }{4}}=&183\arctan {\frac {1}{239}}+32\arctan {\frac {1}{1023}}-68\arctan {\frac {1}{5832}}+12\arctan {\frac {1}{113021}}\\&-100\arctan {\frac {1}{6826318}}-12\arctan {\frac {1}{33366019650}}+12\arctan {\frac {1}{43599522992503626068}}\\\end{aligned}}$
    黃見利 (Hwang Chien-Lih) (2003).
Estas fórmulas de Machin se muestran en las siguientes identidades;
    $\arctan x+\arctan y=\arctan {\frac {x+y}{1-xy}},$
    $\arctan x-\arctan y=\arctan {\frac {x-y}{1+xy}},$
o equivalente,
    $\arctan {\frac {a}{b}}+\arctan {\frac {c}{d}}=\arctan {\frac {ad+bc}{bd-ac}},$
    $\arctan {\frac {a}{b}}-\arctan {\frac {c}{d}}=\arctan {\frac {ad-bc}{bd+ac}}.$
Estas identidades se derivan fácilmente de la definición de arco tangente. Con estas identidades, se muestra la fórmula de Machin como la de Takano;
    ${\begin{aligned}12\arctan {\frac {1}{49}}&+32\arctan {\frac {1}{57}}-5\arctan {\frac {1}{239}}+12\arctan {\frac {1}{110443}}\\&=12\arctan {\frac {46}{2253}}+32\arctan {\frac {1}{57}}-5\arctan {\frac {1}{239}}\\&=12\arctan {\frac {3}{79}}+20\arctan {\frac {1}{57}}-5\arctan {\frac {1}{239}}\\&=12\arctan {\frac {1}{18}}+8\arctan {\frac {1}{57}}-5\arctan {\frac {1}{239}}\ \ \ \ {\text{(Gauss)}}\\&=4\arctan {\frac {1}{18}}+8\arctan {\frac {3}{41}}-5\arctan {\frac {1}{239}}\\&=4\arctan {\frac {17}{331}}+4\arctan {\frac {123}{836}}-\arctan {\frac {1}{239}}\\&=4\arctan {\frac {1}{5}}-\arctan {\frac {1}{239}}\ \ \ \ {\text{(Machin)}}\\&=2\arctan {\frac {5}{12}}-\arctan {\frac {1}{239}}\\&=\arctan {\frac {120}{119}}-\arctan {\frac {1}{239}}\\&=\arctan 1={\frac {\pi }{4}}.\end{aligned}}$: