Historia del clculo de pi

Nos encontramos con el nmero cuando dividimos la longitud de una circunferencia entre su dimetro. Podemos hallar una aproximacin con cualquier objeto redondo como, por ejemplo, un bote de conservas. Para llevar a cabo el experimento he buscado uno en mi despensa y lo he medido. He obtenido para la longitud de la circunferencia 26'7 cm, y para el dimetro 8'5 cm. Al dividir la longitud (26'7) entre el dimetro (8'5) se obtiene 3'141176... (que est muy cerca del valor terico). Los objetos redondos (ruedas, recipientes...) fueron utilizados por el hombre desde muy antiguo. En algn momento debieron darse cuenta de que ese "tres y un poco" era fundamental para calcular las longitudes, reas y volmenes de los cuerpos redondos. Los antiguos egipcios (hacia 1600 a. de C.) ya saban que exista una relacin entre la longitud de la circunferencia y su dimetro; y entre el rea del crculo y el dimetro al cuadrado (seguramente de forma intuitiva). En el Papiro de Rhind puede leerse lo siguiente: "Corta 1/9 del dimetro y construye un cuadrado sobre la longitud restante. Este cuadrado tiene el mismo rea que el circulo". Es decir, el rea del crculo (llammosla A) es igual a 8/9 del dimetro al cuadrado (d=2r), A = d2*64/81 = 4r2*64/81 = r2*256/81. Esto equivale a decir que asignaban a el valor 256/81, aproximadamente 3'16. En Mesopotamia, ms o menos por la misma poca, los babilonios utilizaban el valor 3'125 (3+1/8) segn puede leerse en la Tablilla de Susa. Los gemetras de la Grecia clsica saban que la razn entre la longitud de una circunferencia cualquiera y su dimetro es siempre una constante (el nmero al que ahora llamamos pi). Tambin conocan y haban conseguido demostrar que tanto la razn entre el rea de un crculo y su dimetro al cuadrado, como la del volumen de una esfera y el cubo de su dimetro eran constantes (desconocidas en aquel momento, libro XII de "Los Elementos" de Euclides). Fue Arqumedes (siglo III a. de C.) quien determin que estas constantes estaban estrechamente relacionadas con . Adems, utiliz el mtodo de exhaucin, inscribiendo y circunscribiendo en una circunferencia polgonos de hasta 96 lados y consiguiendo una magnfica aproximacin (si tenemos en cuenta los medios con los que contaba), 3+10/71 < < 3+1/7; es decir, el nmero buscado est entre 3'1407 y 3'1428 (se puede ver en su obra "Sobre la medida del circulo"). En el siglo II d. de C., Ptolomeo utiliza polgonos de hasta 720 lados y una circunferencia de 60 unidades de radio para aproximarse un poco ms, y da el valor 3 + 8/60 + 30/3600 = 377/120 = 3'14166... En China tambin se hicieron esfuerzos para calcular su valor. Liu Hui en el siglo III, utiliza polgonos de hasta 3072 lados para conseguir el valor de 3'14159, y Tsu Ch'ung Chi en el siglo V da como valor aproximado 355/113 = 3'1415929... De la India nos han llegado unos documentos llamados Siddhantas, que datan del 380 d. de C. Son unos sistemas astronmicos en los que se da a el valor 3 + 177/1250, que es exactamente 3'1416. A caballo entre los siglos V y VI vive un importante matemtico, Aryabhata, que en su libro Aryabhatiya da una regla de la que obtenemos ese mismo valor: "Suma 4 a 100, multiplica por 8 y smale 62.000. El resultado te da aproximadamente la circunferencia de un crculo cuyo dimetro es 20.000". Muchos aos despus, hacia el 1400, otro matemtico hind, Madhava descubre los desarrollos en serie del seno, coseno y arco tangente, y consigue calcular 11 cifras decimales sumando 21 trminos de la serie que, ms de doscientos aos despus, redescubrira Gregory. En 1429, Al-Khasi sigue utilizando el mtodo de Arqumedes y trabaja con polgonos de hasta 50.331.648? 805.306.368? lados para obtener el valor 3'14159265358979 (14 decimales). En el siglo XVI, el matemtico francs Vieta us polgonos de hasta 393.216 lados para aproximarse hasta 3'141592653 (9). Pero el mayor logro conseguido con este mtodo se debe al matemtico alemn, residente en Holanda, Ludolf van Ceulen (1540-1610), que trabaj en el clculo de casi hasta el da de su muerte. Lleg a trabajar con

polgonos de 43611.6862018.4271387.904 lados (262) consiguiendo una aproximacin de 35 cifras decimales. Su deseo fue que, despus de su muerte, se grabar sobre su lpida el nmero con los 35 decimales calculados. El siguiente avance terico se debe a dos holandeses. Willebrod Snell (1580-1626) consigue demostrar que el arco x est comprendido entre 3*sen(x)/(2+cos(x)) y 1/3*(2*sen(x)+tan(x)). Christian Huyghens (1629-1695), cuya obra ha sido calificada como modelo de razonamiento geomtrico, propone que el arco x puede aproximarse por la expresin (sen(x)*tan x)1/3 . Con su mtodo, Snell obtuvo 34 decimales exactos, partiendo del cuadrado y doblando 28 veces el nmero de lados. Como ejemplo tomemos x = /16, y las frmulas de Snell multiplicadas por 16 nos dan unos valores de 3.141566592 y 3.141697707 respectivamente, lo que da una idea de lo prximos que estn a .

Como podemos ver, el nmero de lados necesarios para calcular 35 decimales con el mtodo de Arqumedes es bastante considerable, y los nuevos mtodos de Snell y Huyghens tampoco resultan demasiado eficaces. El trabajo necesario para calcular ms y ms decimales empezaba a escapar a las posibilidades del ser humano. Pero nuevos mtodos estaban naciendo y empezando a crecer en las mentes de algunos matemticos. Durante el siglo XVII empezaron a utilizarse las series, productos infinitos y fracciones continuas, y el clculo diferencial de Leibnitz y Newton jug un papel importante en todo ello. En 1665, el ingls John Wallis descubre el producto infinito desafortunadamente su convergencia es muy lenta. En 1674 el alemn G. Leibnitz da la serie: /4 = 1 - 1/3 + 1/5 -1/7 + 1/9 - ... pero presenta el mismo problema. Tienen que sumarse unos 19 millones de trminos para conseguir 7 decimales correctos. Dejemos claro que el haber encontrado estas expresiones supone un gran mrito, aunque no son tiles en la prctica para calcular con precisin. La serie de Leibnitz puede deducirse fcilmente del desarrollo de la funcin arcotangente como serie de potencias, encontrado por el ingls Gregory (1671): /2 = 2/1 * 2/3 * 4/3 * 4/5 * 6/5 * ..., pero

que para x = 1 nos da la serie anterior. Es fcil darse cuenta de que si tomamos para x un valor comprendido entre 0 y 1, entonces los trminos de la serie se hacen pequeos de forma ms rpida, y tenemos que sumar muchos menos trminos para conseguir una buena aproximacin. Proponemos por ejemplo tomar x = raz(3)/3, y obtenemos la serie: /6 = raz(3)/3 * ( 1 - 1/(3*3) + 1/(5*32) - 1/(7*33) + 1/(9*34) - ... ) que converge de forma bastante rpida. Slo con sumar 10 trminos y multiplicar por 2*raz(3), tengo un valor de con 5 decimales correctos. Sin embargo esta serie no fue utilizada en la prctica. Por qu? Porque haba que calcular la raz de 3 con muchos decimales exactos para obtener una buena aproximacin, y esto no era una tarea fcil a finales del siglo XVII.

La solucin a todo deba ser una serie de convergencia rpida y que no implicara el clculo de races o expresiones excesivamente complejas. John Machin (1706) encuentra la solucin:

/4 = 4*arc tan (1/5) - arc tan (1/239)

Tngase en cuenta que tan (4*arc tan (1/5)) = (5/6) / (119/144) = 120/119, utilizando dos veces la frmula de la tangente del ngulo doble. Por tanto, tan (4*arc tan (1/5) - arc tan (1/239) = = [tan (4*arc tan (1/5)) - 1/239] / [1 + tan (4*arc tan (1/5))*1/239]; y sustituyendo el primer valor obtenido nos queda (120/119 - 1/239) / (1 - 120/119 * 1/239) = (28680 - 119) / (28441+120) = 1.

En la prctica el nmero de trminos que hace falta sumar correspondientes al desarrollo de arc tan (1/239) se limita a unos pocos sumandos, pues stos se hacen muy pequeos rpidamente. En el desarrollo del otro trmino hay que tomar ms sumandos, pero el clculo de estos es mucho ms sencillo. Utilizando su frmula, Machin consigui 100 decimales (calculados a mano, a principios del siglo XVIII). Aos ms tarde, Euler encontr algunas frmulas ms de las que destacamos dos por su sencillez y belleza. En 1734 consigue calcular la suma de los inversos de los cuadrados, problema que se haba resistido durante aos a los intentos de muchos matemticos. La convergencia de esta serie es, sin embargo, lenta,

La segunda, descubierta en 1738, converge de una forma mucho ms rpida.

arc tan (1) = arc tan (1/2) + arc tan (1/3) =

/4

Demostracin: Obsrvese primero que los dos tringulos azules son semejantes, ya que tienen un ngulo de 90 y la tangente del ms agudo vale 1/2. En el tringulo grande b + c + 45 = 90. De donde b + c = 45. Pero b = arc tan (1/2) y c = arc tan (1/3).

Otra forma sencilla de verlo. Basta con darse cuenta de que b=arc tan (1/2) y c=arc tan (1/3). Y la suma b+c es el ngulo que queda entre el lado del cuadrado azul y su diagonal; es decir, la mitad de un ngulo recto. Por tanto, b+c = 45.

Una tercera demostracin puede hacerse utilizando nmeros complejos. Si multiplicamos: (2+i)*(3+i) = 6 + 2i + 3i - 1 = 5 + 5i Pero el argumento de 2+i es arc tan (1/2) y el de 3+i es arc tan (1/3). Al multiplicar los dos nmeros los argumentos se suman, con lo cual arc tan (1/2) + arc tan (1/3) es arc tan (1) = T/4. La frmula desarrollada quedara como sigue:

En esta poca se sola utilizar la letra "p" (peripheria) para designar a la razn entre circunferencia y dimetro, aunque algunos, como el ingls William Jones (1706), ya utilizaban el smbolo T. Fue Leonhard Euler quien introdujo este smbolo de forma definitiva al utilizarlo en su libro "Introductio in Analysin Infinitorum", publicado en 1748. Aos ms tarde, en 1764, Euler encontrara otra frmula de convergencia rpida. Esta frmula le permiti calcular 20 decimales de T en una hora. La frmula es: /4 = 5*arc tan(1/7) + 2*arc tan(3/79) No es slo que la serie converja muy rpida, es que Euler era un verdadero prodigio para el clculo. Era capaz de recitar de memoria cantidades como 2414 3376, y hacer clculos mentales en los que tena que retener en la memoria hasta 50 cifras decimales. Durante el siglo XVIII se descubrieron ms frmulas del estilo de la de Machin. Destacaremos especialmente la de Hermann, /4 = 2*arc tan (1/2) - arc tan (1/7) y la de Hutton (1776), T/4 = 2*arc tan (1/3) + arc tan (1/7). Esta ltima fue utilizada por Vega en 1794 para calcular 140 decimales. En 1761 Lambert demuestra que T es irracional, y en 1794 Legendre prueba un resultado un poco ms fuerte que T2 tambin es irracional. En 1882 el alemn Lindemann demuestra que T es trascendente, lo cual supone (entre otras cosas) que la cuadratura del crculo es imposible; este problema haba permanecido sin resolver durante ms de 2000 aos. Tambin arroja un poco de luz sobre la naturaleza de T: nunca podremos llegar a conocerlo; sus decimales constituyen una sucesin ilimitada no peridica que ni siquiera es la raz de una ecuacin algebraica. Algunos consideran los decimales de T como una especie de sucesin de nmeros aleatorios, impredecible e indeterminable. En 1844, Dase, un calculista ultrarrpido, utiliz otra frmula del tipo arcotangente para conseguir una aproximacin con 200 decimales correctos. La frmula descubierta por Strassnitzky es: /4 = arc tan (1/2) + arc tan (1/5) + arc tan (1/8) El gran matemtico alemn, Karl Friedrich Gauss (1777-1855), tambin descubri algunas frmulas similares a las anteriores. Una de las ms utilizadas ha sido: /4 = 12*arc tan (1/18) + 8*arc tan (1/57) - 5*arc tan (1/239) Y otra similar descubierta por Strmer (1896): /4 = 6*arc tan (1/8) + 2*arc tan (1/57) + arc tan (1/239) La idea es que cuanto mayores sean los denominadores, ms rpida ser la convergencia. Tambin se pierde eficacia si el nmero de sumandos es grande. El ltimo gran esfuerzo lo hizo el ingls Willian Shanks, que calcul a mano 707 decimales (527 correctos) utilizando la frmula de Machin. El cmputo le supuso una dedicacin de 20 aos, acabando en 1853. Para superar esta marca hubo que esperar hasta 1946, ao en el que Ferguson detecta el error de Shanks en el decimal 528. El clculo lo realiz con la ayuda de una calculadora (de las de entonces), llegando en 1947 a los 808 decimales. En 1949 llegaron a calcularse 1120, y a partir de esta fecha empieza la era del ordenador electrnico.

Fue Reitweisner quien en 1949 y siguiendo una sugerencia de Von Neumann, calcul 2037 decimales en 70 horas. Utiliz uno de los primeros ordenadores electrnicos, el ENIAC (Electronic Numerical Integrator and Computer), que pesaba 18 toneladas. En 1958, Genuys utiliza un IBM 704 para alcanzar los 10.000 decimales en 100 minutos. En ambos casos se emple la frmula de Machin. En 1961, Shanks y Wrench alcanzan los 100.265 decimales en 8 horas y 43 minutos sobre un IBM 7090. En 1967, Guilloud y Dichampt alcanzan los 500.000 sobre un CDC 6600. En 1973, Guilloud y Bouyer alcanzan 1.001.250 decimales sobre un CDC 7600 en 22 horas y 11 minutos, ms 1 hora y 7 minutos para pasar el resultado a decimal. En los tres casos se utilizaron las frmulas de Gauss y Strmer, una para hacer el primer clculo y la otra para comprobarlo. Se siguieron utilizando estas frmulas del arco tangente en sus diversas variantes hasta la mitad de la dcada de los 80. Pero ya se dejaba ver que estas frmulas no eran suficientes para alcanzar cantidades mucho ms grandes, tales como 1.000.000.000 de cifras (109). Se estim que un ordenador necesitara ms de 25 aos de clculo ininterrumpido para llegar a tales metas. El objetivo era ahora encontrar algoritmos ms eficaces, mtodos que permitieran calcular ms decimales en menos tiempo. La primera solucin fue una serie descubierta por Ramanujan en 1914,

que fue utilizada por Gosper en 1985 para conseguir 17.526.200 decimales. La principal caracterstica de esta serie es que cada trmino sumado aade 8 decimales exactos al valor calculado para T. Quiz el hecho de que la serie de Ramanujan sea algo compleja hizo que se buscarn otras alternativas. El antiguo mtodo de Arqumedes haba sido estudiado y formalizado por Pfaff en 1800. Este algoritmo puede expresarse de forma recurrente con las siguientes frmulas: an+1 = 2*an*bn/(an+bn) , bn+1 = raz (an+1*bn) tomando a0 = 2*raz(3) , b0 = 3 pero como ya sabemos la sucesin converge a T muy lentamente (convergencia lineal). En 1976, Brent y Salamin (de forma independiente) encuentran una sucesin similar a la anterior pero que converge de forma cuadrtica (el nmero de decimales obtenidos se duplica con cada iteracin). Al algoritmo se le suele llamar de Brent-Salamin, o tambin de Gauss-Legendre. El algoritmo es el que sigue, siendo pn una sucesin que converge a T: an = (an-1+bn-1)/2 , bn = raz (an-1*bn-1) , cn = an-1- an pn = 4*(an+1)2/(1-suma {(k=0,inf) 2k+1 ck2}) tomando a0 = 1 , b0 = 1/raz(2) , n>0

Otro algoritmo en esta lnea es el que los hermanos Borwein encontraron en 1984, y que tambin converge de forma cuadrtica (convergencia de segundo orden): xn+1 = (raz(xn) + 1/raz(xn))/2 , yn+1 = raz(xn)*(yn + 1)/(xn + yn) pn=pn-1*yn+1*(xn+1 +1)/(yn+1 + 1) tomando x0 = raz(2) , y0 = 0 , p0 = 2 + raz(2)

En 1985 encontraron otros dos algoritmos de convergencias cbica y curtica respectivamente. Este ltimo se calcula de la siguiente forma, siendo an una sucesin que converge a 1/T: yn+1 = (1 - (1-yn4)1/4)/(1 + (1-yn4)1/4) , an+1 = (1+yn+1)4 an - 22n+3 yn+1(1 + yn + yn+12)

tomando y0 = raz(2) - 1 , a0 = 6 - 4*raz(2) Este ltimo algoritmo fue utilizado en 1986 por Bailey para calcular 29.360.111 decimales sobre un Cray-2. Decir que los hermanos Borwein siguieron trabajando en este tipo de algoritmos y encontraron sucesiones que convergen a T de forma quntica, sptica?, nnica,... Tambin obtuvieron algunas frmulas similares a la de Ramanujan. En 1988 Kanada y Tamura calculan 201.326.000 decimales sobre un Hitachi S-820 en 6 horas, utilizando el algoritmo de Gauss-Legendre (Brent-Salamin). Slo necesitaron 28 iteraciones para obtener el resultado. El algoritmo de Borwein de convergencia de cuarto orden (convergencia curtica) fue utilizado para verificar el resultado. Ese mismo ao los hermanos Chudnovsky siguiendo la lnea de Ramanujan encuentran la siguiente frmula:

Cada trmino de esta frmula aade 14 decimales exactos al valor calculado para T, y con ella consiguieron la marca de 4.044.000.000 de decimales en 1994 utilizando un ordenador de fabricacin propia. El 20 de septiembre de 1999, Kanada y Takahashi consiguen 206.158.430.000 decimales. Hacen dos clculos independientes. El programa principal utiliza el algoritmo de Gauss-Legendre (Brent-Salamin) y tarda un total de 37h 21m 04s. El programa de verificacin utiliza el algoritmo de convergencia de cuarto orden de Borwein y tarda un total de 46h 07m 10s. El ordenador es un Hitachi SR8000 de la Universidad de Tokio, con 128 microprocesadores y una memoria principal superior a 800 GB. La velocidad de proceso para cada uno de los microprocesadores puede alcanzar los 8.000.000.000 de FLOPs (8.000 megaflops, 8*109 operaciones de coma flotante por segundo).