Professional Documents
Culture Documents
Roberto Rodrguez del Ro Departamento de Matemtica Aplicada Facultad de Ciencias Qumicas Universidad Complutense de Madrid rrdelrio@mat.ucm.es http://www.mat.ucm.es/~rrdelrio/
Dibujo Tcnico y Matemticas: una consideracin interdisciplinar Universidad Internacional Menndez Pelayo Santander, 4-8 de septiembre de 2006
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 ingls Oughtred (1574-1660) decidi denominar con la letra griega .1 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 .
Figura 1: x 2 = bh .
En primer lugar, dibujamos una semicircunferencia con dimetro b + h , 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, x . Probar que realmente
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
1
3 en la construccin que hemos hecho se verifica x 2 = bh 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.
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 1 muy sencillo utilizando la ecuacin x 2 = bh y la construccin que habamos 2 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 x 2 = . Utilizamos entonces la construccin de la figura 3.
Figura 3: x 2 = = 1 .
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
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. Bradshaw2
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.
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 llegado hasta nuestros das es la titulada Medida del crculo3. 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).
Si el radio de la circunferencia es r , la longitud de la circunferencia es 2r . Por otra parte, los permetros de los hexgonos inscrito y circunscrito son, respectivamente, 6r y 4 3 r , por lo que
6 r < 2 r < 4 3 r Si dividimos las desigualdades anteriores entre 2r , obtenemos una primera acotacin del nmero , obtenemos 3 < < 2 3 = 3'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: 223 10 1 22 , = 3+ < < 3+ = 71 71 7 7 es decir, 3'14084507 < < 3'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
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. 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 230 lados.
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.
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
1 1 1 1 1 = 1 + + + , 4 3 5 7 9 11
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 x 3 x5 x 7 x9 x11 arctan( x) = x + + + , cierto slo si | x | 1 . 3 5 7 9 11
7 En efecto, basta con hacer x = 1 en la serie de Gregory para obtener la serie de Leibniz. A pesar de lo anterior, Leibniz descubri su serie utilizando otras tcnicas, tcnicas geomtricas fundamentalmente4. 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 1050 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.
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 1 1 1 1 1+ 2 + 2 + 2 + 2 + 2 3 4 5 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 cuales son las siguientes5 (la primera de ellas es la solucin al problema planteado por J. Bernoulli): 2 1 1 1 1 = 1+ 2 + 2 + 2 + 2 +, 6 2 3 4 5
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.
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 4 1 1 1 1 = 1+ 4 + 4 + 4 + 4 +, 90 2 3 4 5 6 1 1 1 1 = 1+ 6 + 6 + 6 + 6 + , 945 2 3 4 5
y muchas ms6.
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 1 8 (4n)! [1103 + 26390n] = 9801 n =0 (n !) 4 3964 n (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
6
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. Roberto Rodrguez del Ro
9
= 1 4 2 1 1 n 8n + 4 8n + 5 8n + 6 n = 0 16 8n + 1
La frmula se puede demostrar utilizando Clculo de una variable7. 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.
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 d l ). Calcular la probabilidad de que la aguja toque a alguna de las lneas. Se puede demostrar8 que la probabilidad de que la aguja cruce a alguna de las lneas es
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
2 l . d En particular, si d = l , la probabilidad es entonces 2 p= . 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 2N . M
p=
Tal fascinacin supuso el problema entre los matemticos, que hay documentados algunos experimentos que dieron, presuntamente, los siguientes valores de : Experimentador Wolf Smith Fox Lazzarini Ao Nm. lanzamientos 1850 5000 1855 3204 1884 1120 1901 3408 Valor experimental de 31596 31553 31419 31415929
Todos los experimentadores tuvieron una suerte sorprendente aunque, sin duda, el beneficiado por la diosa fortuna fue el experimentador llamado Lazzarini, ya que los clculos muestran que para obtener un resultado, en el problema de Buffon, con un error del orden de 00000002, sera necesario tirar la aguja unas 1'156675 1014 veces. Tirando una aguja cada 5 segundos (la tiramos, miramos si corta y anotamos), habra que estar unos 3.600.000 aos, sin parar. El problema de Buffon tiene una enorme importancia histrica, e incluso consecuencias cmicas. No obstante, hay mejores formas de obtener el nmero mediante tcnicas probabilsticas. Se trata de utilizar el llamado mtodo de Monte Carlo9 que consiste en lo siguiente:
El nombre de Monte Carlo fue sugerido por el matemtico norteamericano de origen griego Nicholas Constantine Metropolis (1915-1999). El nmero : de la Geometra al Clculo Numrico Roberto Rodrguez del Ro
11 Construyamos una diana circular (no hace falta dibujar nada dentro del crculo) de un metro de radio y la ponemos inscrita en un cuadrado de dos metros de lado, como se muestra en la figura 11. El rea del crculo es y la del cuadrado en el que est inscrito es 4. Por tanto, al lanzar repetidas veces un dardo (suponiendo que, al menos, seamos capaces de acertar en dentro del cuadrado que tiene 4 metros cuadrados de rea), la proporcin de dardos dentro del crculo entre dardos totales, debera tender al nmero . 4
Ahora ya slo queda encontrar a un lazzarini dispuesto a lanzar el dardo. Bien, para que no nos ocurra como antes, simplemente podemos simular los lanzamientos mediante un ordenador10. Cada lanzamiento de dardo consiste, para el ordenador, en la generacin de dos nmeros aleatorios, las coordenadas del punto. El mtodo de Monte Carlo se utiliza, de hecho, para estimar reas de figuras irregulares. En este sentido, se puede considerar un mtodo de integracin ms.
Existen muchas pginas web con pequeos simuladores del mtodo de Monte Carlo, por ejemplo, http://polymer.bu.edu/java/java/montepi/montepiapplet.html. El nmero : de la Geometra al Clculo Numrico Roberto Rodrguez del Ro
12 primeros son correctos. Los decimales de Shanks fueron grabados en la cpula del Palacio del Descubrimiento de Pars, erratas incluidas, aunque hoy en da stas han sido corregidas.
La actualidad ya la conocemos. En la era del ordenador y el Clculo Numrico conocemos billones de dgitos del nmero .
Adems de los miles de decimales del nmero , conocemos otras propiedades: sabemos, gracias a Lambert (1761) que es un nmero irracional, es decir, que no se puede expresar como cociente de dos nmeros enteros11. Tambin sabemos que es un nmero trascendente, esto es, que no se puede obtener como solucin de una ecuacin algebraica (las ecuaciones de primer, segundo, tercer grado, etc., son ecuaciones algebraicas). Se sabe tambin que los mil primeros millones de dgitos se distribuyen regularmente e incluso sabemos que la secuencia 123456789 aparece en el dgito 523551502, por primera vez. Lo cual slo puede ser prueba de que en el colectivo de matemticos puede que haya gente ociosa.
Puede encontrarse una demostracin de la irracionalidad de con tcnicas de Bachillerato en la pgina 494 de SIMMONS, G.F. Clculo y Geometra Analtica (Segunda edicin). McGraw-Hill. Madrid, 2002, debida a I. Niven y que data de 1947. El nmero : de la Geometra al Clculo Numrico Roberto Rodrguez del Ro
11
13 No se sabe, sin embargo, si la expresin decimal contiene infinitos doses, o infinitos treses, etc. Se desconoce si el nmero +e es trascendente o incluso irracional. Y, probablemente, nadie sabr nunca cul es el dgito que ocupa el lugar 1010000 de . El clculo de ms y ms cifras decimales del nmero , aparte del inters del autor por que su nombre aparezca en el libro Guinness12, no parece un trabajo demasiado til. A todos nos result suficiente 314 para llegar a la Universidad y bastara con 40 cifras decimales exactas para calcular el permetro de una circunferencia capaz de abarcar la totalidad del universo conocido con un error menor que el radio de un tomo de hidrgeno. Entonces, por qu los matemticos no se conforman con los primeros 50 decimales, por ejemplo? Desde luego una de las razones es que el nmero se ha convertido en una especie de fuente de pruebas de capacidad computacional. Se usa de hecho para medir la rapidez de los nuevos ordenadores. Por otra parte, la bsqueda de resultados cada vez ms precisos ha permitido descubrir nuevos resultados en teora de nmeros. Adems, siempre existe la posibilidad de que los clculos nos ayuden a comprender los misterios de como constante universal. Quiz tuviera algo de razn Isaac Newton cuando afirmaba que: La naturaleza se reduce a un nmero: . Quien descubra el misterio de , comprender el pensamiento de Dios
9. Agradecimientos
Este trabajo comenz a fraguarse a partir de la preparacin de dos charlas relacionadas con el nmero : una de ellas en el marco de la Universidad de Otoo-CDL celebrada en septiembre de 2005 en la Facultad de Ciencias Matemticas de la Universidad Complutense de Madrid; la otra, dentro de un curso de Historia de las Matemticas desarrollado en noviembre de 2005 en la Facultad de Ciencias de la Universidad Autnoma de Madrid. Quiero agradecer a Antonio Nevot su invitacin para participar en el Seminario de Matemticas de la Universidad de Otoo y a Enrique Zuazua su invitacin para participar en el curso de Historia de las Matemticas en la Universidad Autnoma. Los das previos a cualquier charla son para m, y no tengo ningn pudor en reconocerlo, das de nervios y, a veces, de mal humor. Esto lo tienen que soportar las personas que me rodean y que comparten conmigo el trabajo diario. Quiero dedicar este artculo a algunas de las personas que viven esos das ms de cerca: Mara Jess Muoz, Yolanda Garca y Natalia Cavero. Por su paciencia, por su comprensin, por su complicidad y, sobre todo, por aguantarme. Haca algn tiempo que, por circunstancias personales, acudir cada da al trabajo se haba convertido en una actividad poco grata para m; sin duda, ellas han contribuido decisivamente a que esto haya dejado de ser as.
Por cierto, el record Guinness actual (septiembre de 2006) lo tiene el japons Yasumasa Kanada de la Universidad Tokio, que ha conseguido calcular el nmero con 1.241.100.000.000 decimales exactos con un ordenador HITACHI SR8000/MPP. Sin comentarios. El nmero : de la Geometra al Clculo Numrico Roberto Rodrguez del Ro
12
14
10. Bibliografa
AIGNER, M., ZIEGLER, G.M. EL LIBRO de las demostraciones. Nivola. Madrid, 2005. BERGGREN, L., BORWEIN, J., BORWEIN, P. Pi: A Source Book (Tercera edicin). Springer. New York, 2004. BOLD, B. Famous Problems of Geometry and How to Solve Them. Dover. New York, 1982. BORWEIN, J., BORWEIN, P. Srinivasa Ramanujan. pp. 120-128, en Grandes matemticos. Investigacin y ciencia. Prensa cientfica, S.A. Barcelona, 1995. DURN, A.J. (Editor). Arqumedes. Obras escogidas. Real Sociedad Matemtica Espaola ICM06 Patrimonio Nacional. Madrid, 2006. HAIRER, E., WANNER, G. Analysis by Its History. Springer. New York, 2000. HEATH, T. A History of Greek Mathematics. Dover. New York, 1981. LIVIO, M. La proporcin urea. Ariel. Barcelona, 2006. RODRGUEZ DEL RO, R., SOLER ARETA, J., NEVOT LUNA, A. Matemticas 2. Bachillerato. McGraw-Hill. Madrid, 2003. SIMMONS, G.F. Clculo y Geometra Analtica (Segunda edicin). McGraw-Hill. Madrid, 2002. TORIJA HERRERA, R. Arqumedes. Alrededor del crculo. Nivola. Madrid, 1999. ZHKOV, A.V. El omnipresente nmero . Editorial URSS. Mosc, 2005.