1.

Introduccin
Todas las circunferencias son iguales, a diferencia de las figuras irregulares, de las que tenemos una infinita variedad. Si vemos una circunferencia, hemos visto todas. Son ms grandes o ms pequeas, pero todas iguales. Esta igualdad o parecido entre todas las circunferencias se pone de manifiesto cuando dividimos la longitud de la circunferencia entre su dimetro. Sea como sea la circunferencia, ms grande o ms pequea, el nmero que obtenemos al hacer la divisin anterior es siempre el mismo, aproximadamente 3,14. Un nmero al que el matemtico 1 ingls Oughtred (1574-1660) decidi denominar con la letra griega . Este nmero es el protagonista de nuestra historia. Vamos a ver en este artculo algunas ideas que han surgido alrededor del intento de comprender y calcular este importante nmero que ha fascinado a artistas y matemticos desde la antigedad. Empezaremos recordando el clsico problema griego de la cuadratura del crculo y cmo este problema hace necesario el clculo del nmero de la manera ms exacta posible. Comentaremos a continuacin algunos intentos histricos de conseguir calcularlo, pasando por Arqumedes, Leibniz y Euler, hasta llegar a tcnicas probabilsticas y de clculo numrico que, gracias al desarrollo del ordenador, permiten hoy en da calcular el nmero con una tremenda rapidez y exactitud. Veremos finalmente una cronologa (no exhaustiva) del clculo de decimales de y comentaremos brevemente algunos problemas y cuestiones abiertas en torno al nmero .

2. La cuadratura del crculo

Los griegos saban cmo construir un cuadrado cuyo rea fuese igual a la de un polgono cualquiera dado. Por ejemplo, si queremos construir un cuadrado con rea igual a la de un paralelogramo cuya base b y altura h sean conocidas, necesitamos construir un cuadrado con lado que verifique la ecuacin x2xbh=. El objetivo entonces es construir la longitud . Para ello procedemos como se muestra en la figura 1. x Figura 1: 2xbh=. En primer lugar, dibujamos una semicircunferencia con dimetro b, por el punto B dibujamos una perpendicular al dimetro hasta tocar a la semicircunferencia en el punto D y ya tenemos la longitud del lado del cuadrado, . Probar que realmente h+x
A pesar de que la eleccin de la letra griega para denotar la razn entre el permetro de la circunferencia y su dimetro, no fueron los griegos los que utilizaron por primera vez esta denominacin, como hemos visto. Oughtred utiliz esta letra por ser la inicial de la palabra griega (periferia). El nmero : de la Geometra al Clculo Numrico Roberto Rodrguez del Ro 3
1

en la construccin que hemos hecho se verifica 2xbh= es un sencillo ejercicio que dejaremos al lector con el objeto de que participe de una manera ms activa. Los griegos saban incluso resolver el problema ms complicado de construir un cuadrado cuyo rea fuese igual a la de un cuadriltero cualquiera dado. En efecto, supongamos que tenemos el cuadriltero de vrtices ABCD que hemos dibujado en la figura 2. Figura 2: El rea de ABCD es igual al rea de AFD. Empezamos dibujando la diagonal DB. Por el punto C dibujamos una paralela a la diagonal DB. Finalmente dibujamos DF. De esta manera obtenemos un tringulo, el AFD, cuyo rea es igual al del cuadriltero inicial. Tambin esto lo puede probar el lector sin ningn problema. Ahora el problema se reduce a construir un cuadrado cuyo rea sea igual a la de un tringulo con dimensiones conocidas. Pero esto es muy sencillo utilizando la ecuacin 212xbh= y la construccin que habamos utilizado en el primer caso. Para los griegos el paso siguiente era evidente. Dado que es posible construir un cuadrado cuyo rea es igual al de un polgono, debera ser posible resolver el mismo problema para la figura con contorno curvo ms simple posible, el crculo. Si pensamos en un crculo de radio 1, su rea es exactamente unidades. La ecuacin que hay que utilizar ahora es 2x=. Utilizamos entonces la construccin de la figura 3. Figura 3: 21x==. Todo funciona como antes, salvo un pequeo detalle. Cmo hacemos para construir la longitud ? Este es el punto en el que no podemos continuar el problema, salvo que sepamos construir, determinar con exactitud el valor del nmero . Los sucesivos intentos de resolver este problema o de aproximarse a la solucin, que sera ms correcto, son los que nos llevan hasta nuestros das.
El nmero : de la Geometra al Clculo Numrico Roberto Rodrguez del Ro 4

3. Arqumedes de Siracusa
Arqumedes tosi para aclararse la garganta y se agit, nervioso. --No tengo intencin de dar clases declar. Ella [su madre] se qued mirndolo, exasperada. --No puedes ganarte la vida con la geometra! El contador de arena. G. Bradshaw

Arqumedes es el mayor matemtico e ingeniero de la antigedad, al menos del que haya llegado hasta nosotros su obra. A pesar de que en torno a su persona se conocen muchas ancdotas, hay muy pocos hechos probados. No obstante, como personas que somos que intentamos ensear, mucho nos conformaramos con que nuestros alumnos conocieran a Arqumedes, aunque slo fuera por esas ancdotas, Eureka incluido. Suele aceptarse que la fecha de su nacimiento se sita hacia el 287 a.C. y que muri a la edad de setenta y cinco aos, durante el asalto a la ciudad de Siracusa (en la Sicilia actual), ciudad en la que naci. Segn los relatos, mientras estaba absorto en sus clculos, un soldado romano lo interrumpi. Arqumedes le grit que dejara mis crculos tranquilos!, y el romano se molest y lo mat. Algo que disgust mucho al general romano Marcelo que era quien se encontraba al mando del ejrcito que sitiaba la ciudad. Precisamente son los crculos, que parecan molestar al legionario romano que ha pasado a la historia por tan triste hazaa, los protagonistas de la obra en la que Arqumedes, dando una leccin de clculo integral moderno a la posteridad, hace uno de los ms famosos intentos de clculo del nmero . Figura 4: A la izquierda, Arqumedes pintado por Jos de Ribera en 1630 (Museo del Prado, Madrid). A la derecha, Arqumedes representado en una cajetilla de tabaco belga, Cigarette Oriental, de 1938.
2

El contador de arena es una novela histrica sobre la vida de Arqumedes escrita por la historiadora britnica Gillian Bradshaw y publicada en espaol por la editorial Salamandra, Barcelona, 2006. A pesar de que la historia est contada de una manera muy fluida, la novela adolece de menciones significativas a las investigaciones geomtricas de Arqumedes; de hecho, la autora, en una nota histrica al final de la novela, confiesa: No soy, pobre de m, gemetra El nmero : de la Geometra al Clculo Numrico Roberto Rodrguez del Ro 5

Una de las obras ms breves pero ms importantes de Arqumedes que han

3

llegado hasta nuestros das es la titulada Medida del crculo . En ella se demuestra la equivalencia de los problemas de la cuadratura del crculo y la rectificacin de la circunferencia y se proporciona una interesante acotacin del nmero . Para calcular el nmero , Arqumedes inscribe y circunscribe sendos hexgonos en una circunferencia. Su objetivo es aproximar la longitud de la circunferencia por defecto y por exceso (ver figura 5). Figura 5: Hexgonos inscritos y circunscritos de Arqumedes. Si el radio de la circunferencia es , la longitud de la circunferencia es . Por otra parte, los permetros de los hexgonos inscrito y circunscrito son, respectivamente, y r2r6r43r, por lo que 6243rr<< Si dividimos las desigualdades anteriores entre , obtenemos una primera acotacin del nmero , obtenemos 2r 3233'4641<<= Posteriormente, Arqumedes dobla el nmero de lados de los polgonos inscritos y circunscritos y realiza los mismos clculos, es decir, calcular sus permetros, con los polgonos de 12, 24, 48 y 96 lados. Finalmente, con el polgono de 96 lados, obtiene la sorprendente aproximacin siguiente: 2231012233717177=+<<+=, es decir, 3'140845073'14285714<<. Arqumedes haba encontrado que el nmero es aproximadamente igual a 314. Y este valor, como todos sabemos, es suficiente para muchos clculos que involucran al nmero. Clculos y razonamientos similares a los llevados a cabo por Arqumedes se estuvieron haciendo hasta el siglo XVII. Se trataba de calcular ms decimales utilizando polgonos regulares de un mayor nmero de lados. Por ejemplo, el
3

Con motivo del Congreso Internacional de Matemticos (ICM2006), celebrado en Madrid en agosto de 2006, la Real Sociedad Matemtica Espaola junto con Patrimonio Nacional y la sociedad del ICM 2006 han publicado, coordinado por Antonio J. Durn, en edicin facsmil, con traduccin anotada, la obra Arqumedes. Obras escogidas, a partir de un manuscrito en griego de la biblioteca del monasterio de San Lorenzo de El Escorial (Madrid). Una verdadera joya. r El nmero : de la Geometra al Clculo Numrico Roberto Rodrguez del Ro 6

holands Willebrord Snell (1580-1626) lleg a calcular 35 cifras decimales exactas del nmero utilizando polgonos de lados. 302

4. El Clculo: Leibniz y Euler

Dicen que hay virtud divina en los nmeros impares, tanto por el nacimiento como por la fortuna o por la muerte. Falstaff (acto V, escena I). Las alegres comadres de Windsord, W. Shakespeare

Con la invencin del Clculo (diferencial e integral) por parte de Leibniz y Newton, cambia toda la concepcin de las Matemticas y, por tanto, tambin el enfoque a la hora de intentar calcular el nmero . Las sucesiones y las series infinitas se convierten en objetos cotidianos dentro de las Matemticas. Figura 6: Gottfried Wilhelm Leibniz (1646-1716). Es precisamente Leibniz, uno de los padres fundadores del nuevo mtodo, quien descubri una de las frmulas ms bellas relacionadas con el nmero , la llamada serie de Leibniz 1111114357911=+++, donde los puntos suspensivos hay que entenderlos en el sentido de que cuantos ms trminos sumemos ms nos aproximaremos al valor de 4. La serie anterior se obtiene como un caso particular de otra descubierta por James Gregory (1638-1675), la representacin en serie de potencias de la funcin arcotangente 357911arctan()357911xxxxxxx=+++, cierto slo si ||. 1x
El nmero : de la Geometra al Clculo Numrico Roberto Rodrguez del Ro 7

En efecto, basta con hacer 1x= en la serie de Gregory para obtener la serie de Leibniz. A pesar de lo anterior, Leibniz descubri su serie utilizando otras tcnicas, tcnicas
4

geomtricas fundamentalmente . Es uno de los descubrimientos de los que Leibniz se senta ms orgulloso, lleg a dejar escrito, en 1682, en relacin con los nmeros que aparecen en la serie, la siguiente frase: El Seor ama a los nmeros impares. Es innegable la belleza de la frmula de Leibniz y lgico que su autor sintiera tanta satisfaccin por su descubrimiento, sin embargo, presenta algn problema de tipo prctico. Por ejemplo, para obtener 50 decimales exactos del nmero es preciso sumar aproximadamente trminos. No es de extraar que Leonhard Euler, el matemtico ms grande del siglo XVIII y persona que no se asustaba del trabajo (es uno de los ms productivos de la historia), exclamase en 1737, labor fere in aeternum en relacin a lo laborioso de calcular decimales exactos con la serie de Leibniz. 5010 Figura 7: Leonhard Euler (1707-1783). Ha entrado en escena Euler que, adems de ser un trabajador incansable, estaba dotado de una extraordinaria intuicin. La intuicin de Euler le llev a encontrar series que permitan calcular el valor del nmero con una rapidez incomparablemente mayor que la serie de Leibniz. Todo comenz con un problema planteado por el matemtico suizo Jacob Bernoulli (1654-1705) que pretenda encontrar la suma de la serie 2222111112345+++++ Euler no solo calcul la suma de esta serie sino que obtuvo toda una coleccin de frmulas en las que aparece involucrado el nmero . Algunos ejemplos de la
5

cuales son las siguientes (la primera de ellas es la solucin al problema planteado por J. Bernoulli): 222221111162345=+++++,
4

Para ver la forma en la que realmente Leibniz obtuvo su famosa serie, se puede consultar G.F. SIMMONS, G.F. Clculo y Geometra Analtica, 2 edicin. McGraw-Hill. Madrid, 2002, pgina 396.
5

Los detalles tcnicos de cmo Euler descubri las series se pueden consultar en ZHKOV, A.V. El omnipresente nmero . Editorial URSS. Mosc, 2005, pginas 146-153. El nmero : de la Geometra al Clculo Numrico Roberto Rodrguez del Ro 8

11111902345=+++++, 66666111119452345=+++++,
44444

y muchas ms .

5. Del Clculo al ordenador

En 1987 se pudo calcular, mediante el uso de ordenadores, el valor del nmero con una exactitud desconocida hasta entonces: ms de 100 millones de cifras decimales exactas. Esto fue posible gracias, en primer lugar, al desarrollo tecnolgico que se haba alcanzado en aquellas fechas; pero quiz ms importante an fue el hecho de que los algoritmos que se programaron en el ordenador haban sido desarrollados por el matemtico indio Srinavasa Ramanujan (1887-1920), que haba nacido 100 aos antes. Figura 8: Srinivasa Ramanujan (1887-1920). Al igual que otros muchos matemticos, Ramanujan qued cautivado por el misterio del nmero , y encontr algunas de las frmulas ms sorprendentes para su clculo. Es realmente desconcertante intentar comprender cmo se puede llegar a la frmula siguiente encontrada por Ramanujan en 1914 18(4)![110326390]9801(!)396nnnnn=+= (aqu n! es el factorial de n, es decir, n!=n.(n-1).(n-2)3.2.1.) La frmula de Ramanujan converge con tal rapidez que cada sumando nuevo aporta unos 8 decimales exactos del nmero . La precisin con la que se pueden calcular hoy en da los decimales del nmero no se debe nicamente a la cada vez mayor potencia de clculo de los ordenadores, sino tambin a nuevos algoritmos numricos. Uno de las frmulas ms recientes (y sencillas) se debe a D. Bailey, P. Borwein y S. Plouffe que en 1997 obtuvieron la frmula
440

En la pgina http://numbers.computation.free.fr/Constants/Pi/piSeries.html se puede encontrar toda la fauna de series descubiertas por Euler y algunas ms descubiertas por otros matemticos. El nmero : de la Geometra al Clculo Numrico Roberto Rodrguez del Ro 9

142111681848586nnnnnn==++++
7

La frmula se puede demostrar utilizando Clculo de una variable . Con slo un sumando de la serie se obtiene el valor 313333; con dos sumandos se obtiene 3141422466 y con cinco sumandos, el valor 3141592653. Nos permite obtener, con el ordenador que tenemos en casa (y algn asistente matemtico como DERIVE o MATHEMATICA) millones de dgitos en menos de 1 segundo.

6. La aguja de Buffon y otros juegos de azar

Todos los casos que hemos analizado hasta ahora, desde Arqumedes hasta los ltimas frmulas de Bailey y otros son intentos deterministas. En unos casos se utilizan tcnicas geomtricas, en otras tcnicas aritmticas, clculo diferencial. Sin embargo, a lo largo de la historia han surgido tambin formas de clculo probabilsticas. Sorprende que el nmero , la razn entre la longitud de una circunferencia y su dimetro, pueda calcularse utilizando el azar. Pero en esto consiste el problema de la aguja de Buffon, ideado en 1777 por el francs Georges Louis Leclerc, Conde de Bufn. Figura 9: Georges Louis Leclerc, Conde de Buffon (1707-1788). Buffon propuso el siguiente problema: En un plano hemos dibujado rectas paralelas (como en la figura 10) separadas, una de otra, a una distancia constante d. Lanzamos sobre el plano una aguja de longitud l (con ). Calcular la probabilidad de que la aguja toque a alguna de las lneas. dl
8

Se puede demostrar que la probabilidad de que la aguja cruce a alguna de las lneas es
7

Ver BAILEY, D., BORWEIN, P., PLOUFFE, S. On the rapid computation of various polylogarithmic constants, 1997, que se puede encontrar en BERGGREN, L., BORWEIN, J., BORWEIN, P. Pi: A Source Book (Tercera edicin). Springer. New York, 2004, pp. 663-676.
8

Se pueden encontrar dos demostraciones diferentes de la solucin del problema de Buffon en el captulo 21 de AIGNER, M., ZIEGLER, G.M. EL LIBRO de las demostraciones. Nivola. Madrid, 2005. El nmero : de la Geometra al Clculo Numrico Roberto Rodrguez del Ro 10

2lpd=. En particular, si dl=, la probabilidad es entonces 2p=. Como consecuencia de este resultado, es posible obtener valores aproximados de experimentalmente. Si lanzamos una aguja N veces y, de estas veces, en M ocasiones la aguja corta a una de las rectas; entonces un valor aproximado de ser 2NM. Figura 10: La aguja de Buffon. Nm. Valor Tal fascinacin Ao lanzamientos experimental de supuso el problema entre los matemticos, que hay documentados algunos experimentos que dieron, presuntamente, los siguientes valores de : Experimentador Wolf 1850 5000 31596 Smith 1855 3204 31553 Fox 1884 1120 31419 Lazzarini 1901 3408 31415929