EULER Y LOS INFINITOS (GRANDES Y PEQUEOS)

ANTONIO J. DURN

Resumen. De entre la ingente produccin matemtica de Leonhard Euler la Introductio in analysin innitorum destaca con luz propia. De ella alguien dijo que difcilmente se poda encontrar otra obra en toda la historia de las matemticas que produzca en el lector una impresin tan fuerte de la genialidad de su autor. Los protagonistas de la Introductio son, como reza en su ttulo, los innitos (grandes y pequeos): esas bestias que los griegos consideraron temibles hasta el punto de huir de ellos. En la Introductio, Euler no huy, ms bien al contrario, se acerc a los monstruos, les acarici el lomo y les unci un yugo que le permiti hacer frtiles campos antes estriles. Este artculo trata de poner de maniesto que la Introductio, ms que un texto de matemticas, es en realidad una gran novela de amor: la de Euler y los innitos. Una pasin que bien pudo sugerirle a Immanuel Kant su clebre categora esttica de lo sublime.

1.

Dos citas y un consejo a manera de prembulo

Todo lo que yo pueda decir sobre Euler estar necesariamente muy contaminado por mi experiencia como editor y anotador de la edicin castellana de la Introduccin al anlisis de los innitos, edicin facsimilar y crtica que prepar para la Real Sociedad Matemtica Espaola; vio la luz en 2001 y supuso la primera traduccin al castellano del clsico de Euler.1
En esa coleccin, la Real Sociedad Matemtica Espaola (junto a otras instituciones) est publicando ediciones crticas en castellano, acompaadas de un facsmile, de obras maestras de las matemticas; ya han visto la luz tres nmeros. El primero es ese de la Introductio mencionado arriba; el segundo, publicado en 2003, se dedic al Analysis de Newton (traducido tambin por primera vez al castellano) y el tercero, publicado en 2006, se ha dedicado a una seleccin de obras de Arqumedes (Sobre la esfera y el cilindro, Sobre la medida del crculo y Sobre la cuadratura de la parbola). Este tercer nmero, editado en colaboracin con el
39
1

40

ANTONIO J. DURN

En lo que respecta a este artculo, me concentrar en el tomo I (es el que tuvo ms relevancia histrica, aunque el tomo II contenga tambin hallazgos notables). Hay que empezar armando que la Introductio no es un libro cualquiera: es un texto fundamental en el nacimiento del anlisis. El historiador de las matemticas Carl Boyer, en un artculo de 1969 donde repasa los textos de matemticas ms sobresalientes de la Historia, incluye la Introductio en un trada formada nada menos que por los Elementos de Euclides y el lgebra de Al-Khowarizmi: Es fcil decidir que el texto de matemticas ms inuyente de los tiempos antiguos (o, a este respecto, de todos los tiempos) son los Elementos de Euclides. El texto medieval que ms decisivamente inuy en el desarrollo de las matemticas no es tan fcil de identicar, aunque una buena eleccin es el Al jabr wal muquabala de Al-Khowarizmi. Es posible indicar un texto moderno comparable en inuencia y prestigio? Podramos citar la Gomtrie de Descartes, o los Principia de Newton, o an las Disquisitiones de Gauss. Pero [...] la Gomtrie no fue estrictamente un libro de texto y, por tanto, muchos matemticos la aprendieron en textos de otros autores. [...] Los Principia, el ms grande de todos los trabajos cientcos, afect el curso de las matemticas puras slo indirectamente; pocos de sus lectores apreciaron los elementos de clculo que contena, siendo Leibniz, LHospital y los Bernoulli los maestros efectivos en la enseanza del clculo. Las Disquisitiones, un trabajo de gran profundidad, fue demasiado especializado como para dejar sentir su inuencia fuera de los dedicados a la teora de nmeros. En el siglo XVIII [...] aparecieron sobresalientes escritores de libros de texto. Al comienzo de siglo se encuentran los textos de LHospital dominando los campos de la teora analtica de cnicas y el clculo; al nal, los
International Congress of Mathematicians, Madrid 2006, sirvi como regalo institucional del Congreso. Para los facsmiles de Euler y Newton, se usaron ejemplares de las primeras ediciones conservados en el Observatorio astronmico de San Fernando (Cdiz), mientras que para el de Arqumedes se us un magnco manuscrito del siglo XVI del fondo griego de Diego Hurtado de Mendoza conservado en la Biblioteca del Monasterio de El Escorial. Las ediciones han contado con estudios preliminares de Mariano Martnez, Javier Ordez (Euler), Javier Echeverra, Jos Manuel Snchez Ron (Newton), Carlos Garca Gual, Pedro Gonzlez Urbaneja (Arqumedes), y tambin mos. Para bien o para mal, he ejercido adems las labores de editor (en el sentido anglosajn del trmino) en los tres nmeros de la coleccin.

EULER Y LOS INFINITOS

41

textos de Lacroix que cubren por completo los campos elementales y cuyas ediciones aparecen por docenas, sin olvidar la debida mencin a Legendre, Euclides del momento. Pero sobre todos estos bien conocidos libros de texto se alza otro, un libro que aparece justo en la mitad de esta poca prdiga en grandes textos y con el que prcticamente todos los autores posteriores admiten tener una deuda.2 Se trata de la Introductio in analysin innitorum de Euler. [...] Con l, Euler llev a cabo lo que Euclides y Al-Khowarizmi haban hecho con la geometra sinttica de los griegos y el lgebra elemental, respectivamente. El concepto de funcin y los procesos innitos haban surgido durante el siglo XVII, pero fue la Introductio de Euler la que los elev al grado de tercer miembro del triunvirato matemtico compuesto por geometra, lgebra y anlisis.3 Otra cita sobre la Introductio que es ms acorde con el enfoque de este artculo es debida a E. W. Hobson: Difcilmente podemos encontrar otra obra en la historia de las matemticas que produzca en el lector una impresin tan fuerte de la genialidad de su autor como produce la Introductio 4. A menudo se oye decir que las matemticas son una ciencia fra, que por tratar de objetos ideales, abstractos, de nmeros y tringulos, carecen de capacidad para emocionar. Esto es absolutamente falso. Las matemticas tienen capacidad para emocionar, mucha capacidad para emocionar. He conocido a lo largo de mi carrera cientca a bastantes matemticos que se dedican a ellas de manera profesional. Cada cual lo
2 Sobre la inuencia de Euler en los matemticos posteriores, baste recordar aqu la clsica cita de Laplace: Leed a Euler, leed a Euler, l es el maestro de todos nosotros!. O la siguiente de Gauss, menos conocida, pero igualmente ms ilustrativa: el estudio de los trabajos de Euler es la mejor e insustituible escuela para los distintos campos matemticos. (La segunda cita est tomada de la pgina 157 de P. Stckel, (1907-08): Eine vergessene Abhandlung Leonhard Eulers ber die Summe der reziproken Quadrate der natrlichen Zahlen, Biblioteca Mathematica 3, 3754. Tambin reproducido en Euler, L. Opera (1), 14, 156-176. 3 La cita la he tomado de Selected papers on calculus, p. 3233, editado por T. Apostol et al. y publicado en 1969 por la Mathematical Association of America, Belmont, California. 4 E. W. Hobson, Squaring de circle (notas del curso sobre el problema de la cuadratura del crculo en el Chirsts College de Cambridge el ao 1913), p. 42, Chelsea, Nueva York, 1953.

42

ANTONIO J. DURN

hace por una u otra razn, en algunos casos muy diferentes. Pero hay una motivacin que es comn en todos: encontramos en las matemticas un fuerte estmulo emocional. La cita de Hobson hace referencia explcita a esta capacidad emotiva que tienen las matemticas; cualquiera que haya ledo la Introductio coincidir plenamente con lo que dice Hobson. Ahora bien, esa impresin de la genialidad de Euler se produce porque la Introductio tiene una enorme capacidad de emocionar; es, sin duda alguna, un libro que deja huella. A mi me gusta decir que la genialidad que muestra Euler en la Introductio se traduce en un texto cargado de belleza, un texto que tiene valor esttico. De hecho, como elemento singular en la anotacin de la edicin castellana, hice una valoracin esttica de la Introductio, que iba ms all del mero sentido matemtico. Quiero decir, no slo busqu y analic los aspectos marcados por Hardy en su clebre A mathematicians apology 5 sobre la belleza de las ideas y razonamientos matemticos, sino que tambin rastre y localic en el libro de Euler categoras estticas generales marcadas por algunos lsofos que, como Kant o Adorno, han estudiado el asunto de la esttica. Pero de esto hablar algo ms adelante. De todo lo cual sigue mi consejo para quien quiera leer la Introductio de Euler: dejarse llevar por la brillantez de las ideas eulerianas, sentir el vrtigo que el uso de los innitos comunica a los razonamientos; perderse en la profundidad que Euler sabe crear con unos cuantos clculos aparentemente inocentes, y ser sacudido por lo inesperado que aguarda tras tan inocentes manipulaciones. 2. La Introductio: consideraciones histricas

El prximo 1 de abril, se cumplirn 260 aos desde que la Introductio viera por primera vez la luz en Lausana ese da del ao de la era de Dionisos de 1748. Euler ya la haba compuesto y enviado al editor Bousquet en 1744. Bousquet acababa de publicar en 1742 las obras completas de Juan Bernoulli (el maestro de Euler) y estaba preparando la correspondencia matemtica de este con Leibniz que aparecera en dos tomos en 1745. Euler tena la intencin de escribir un texto sobre clculo diferencial e integral, y se dio cuenta de que antes haba que
Hay edicin castellana: Apologa de un matemtico, G.H. Hardy, Nivola, Madrid, 1999.
5

EULER Y LOS INFINITOS

43

comenzar por una introduccin al anlisis de los innitos; as consta en una carta que envi a su amigo Goldbach en 1744: Despus de haberme hecho el plan de un tratado completo sobre el anlisis de los innitos me di cuenta de que tenan que precederle muchas cosas que propiamente no estn incluidas en l ni se encuentran apenas tratadas en ninguna parte; y de ellas ha salido esta obra como prdomo al anlisis de los innitos. Despus de su primera etapa en la Academia de San Petersburgo (17271741), Euler compuso la Introductio en sus primeros aos en la Academia de Berln, justo en mitad de su vida. A pesar de que iba a permanecer en Berln durante 25 aos (1741-1766) y de que llegara a presidir la Academia durante sus ltimos aos de estancia (tras la muerte de Maupertuis), Euler nunca se llev bien con el rey Federico II de Prusia, que lo haba contratado tras decidir Euler dejar Rusia por la inestabilidad poltica que sigui a la muerte de la reina Ana Yonnovna. Segn Federico II, Euler careca de la brillantez, el ingenio y la elegancia imprescindibles para la vida de saln que tanto le gustaba al rey. Euler era ms bien sencillo, directo e ingenuo, nada que ver con Voltaire que, antes de enemistarse, tanto hiciera las delicias del rey; precisamente en una carta al lsofo francs, Federico II se lleg a referir a Euler como el gran cclope de la geometra, broma de psimo gusto teniendo en cuenta que Euler era tuerto. El fruto del plan de Euler de escribir un tratado completo sobre el anlisis de los innitos fue una triloga que comenz con la Introductio, continu con Institutiones calculi dierentialis (dedicado, como su nombre indica, al clculo diferencial), publicado en San Petersburgo en 1755, y culmin con los tres tomos del Institutiones calculi integralis (dedicado al clculo integral) y publicado tambin en San Petersburgo entre 1768 y 1770. Como queda implcito en lo dicho por Euler en la cita de arriba, en la Introductio no hay ni clculo diferencial ni clculo integral: el libro es, como reza su ttulo, una introduccin al anlisis con los innitos. En particular, se estudian las funciones elementales por medio de procesos innitos; se desarrollan en series, algunas en productos innitos (por primera vez en la historia de las matemticas), y en fracciones continuas; y se usa todo esto con diversos propsitos. Algunos propios del

44

ANTONIO J. DURN

anlisis: sumar series, por ejemplo; otros ms propios de la teora de nmeros: estudiar la descomposicin de nmeros naturales como suma de otros nmeros naturales, problema este donde Euler us, tambin por primera vez en la historia, la teora de funciones generatrices. Es lgico que uno se acerque a un libro de anlisis con tal edad esperando encontrar matemticas con cierto sabor antiguo. Es razonable pensar que el desarrollo del anlisis durante el siglo XIX, con la introduccin de la teora de lmites de Bolzano, Cauchy y Weierstrass, va a permitir hacer de manera ms eciente el estudio de las funciones de como Euler lo hace en la Introductio. Pues no: la primera sorpresa con que uno se encuentra al sumergirse en la Introductio es que su sabor no slo no es rancio, sino que por el contrario, las matemticas que uno encuentra saben a futuro. No es una matemtica antigua lo que uno encuentra, sino que parece mucho ms ecaz que la que ahora usamos. Por poner un ejemplo: cuando Euler muestra el desarrollo en serie de las funciones elementales, lo hace de manera muy distinta al procedimiento que hoy usamos. Pero esta manera es ms directa, eciente y ms instructiva sobre la naturaleza de la funcin y de su correspondiente desarrollo en serie. La herramienta que usa Euler para obtener estos desarrollos en serie no es, como dije antes, el clculo diferencial6, sino los innitos: cantidades innitamente grandes y cantidades innitamente pequeas. Son los innitos los que le permiten poner al descubierto la estructura interna de las funciones. En el anlisis actual estas cantidades innitamente grandes y pequeas han desaparecido. La teora de lmites desarrollada en la primera parte del siglo XIX por Bolzano, Cauchy y Weierstrass ha dejado a los innitos de Euler (y en general de los matemticos del XVIII) en la cuneta de la historia. La razn por la que los matemticos se decantaron por los lmites y dejaron de lado las cantidades innitamente pequeas y grandes es la del rigor lgico. Desde que los innitsimos se empezaron a manejar en el siglo XVII carecieron de una adecuada formulacin precisa o rigurosa desde el punto de vista lgico. En este sentido las matemticas que
O, ms especcamente, lo que hoy llamamos frmula de Taylor; aunque Euler la habra llamado frmula de Bernoulli, que fue quien primero public la expresin diferencial para los coecientes del desarrollo en serie de una funcin. Fue sin embargo Newton el primero en encontrarla pero, como tantas otras de sus cosas, nunca la dio a la imprenta.
6

EULER Y LOS INFINITOS

45

uno encuentra en la Introductio parecen poco rigurosas. Parecen poco rigurosas pero hoy sabemos que el anlisis usando cantidades innitesimales es tan riguroso como el que hacemos hoy en da usando lmites. Para ser exactos, el fundamento lgico del anlisis del siglo XVIII lo hizo Abraham Robinson7 en 1966 usando teora de modelos para construir una extensin no estndar de la teora de primer orden de los nmeros reales. Es lo que hoy conocemos como anlisis no estndar. No quiero extenderme sobre este punto, aunque conviene retener en la mente que los ejemplos que despus expondr parecen poco rigurosos, pero en realidad son rigurosos: lo nico es que necesitan de una interpretacin lgica ms complicada que la lgica de primer orden sobre la que se sustenta el anlisis estndar. Me gustara leer una cita de Gdel sobre el anlisis no estndar; en cierta forma porque describe muy bien esa impresin que dije le queda a uno cuando lee la Introductio de que es matemtica del futuro: El anlisis no estndar no es una extravagancia o moda de los lgicos matemticos. Ms bien hay buenas razones para creer que el anlisis no estndar ser el anlisis del futuro. Una de estas razones es la simplicacin de las demostraciones, pues la simplicacin facilita el descubrimiento. Esta referencia al descubrimiento es sumamente interesante y volver sobre ella ms adelante. La manera como Euler maneja los innitos en la Introductio es puramente intuitiva. Y ah, precisamente, radica la genialidad a la que haca referencia la cita de Hobson anterior. Los innitos son entidades peligrosas, que gozan de propiedades extraas; su manejo, si no se hace con la debida prudencia, puede tener consecuencias desastrosas. La genialidad de Euler se muestra precisamente ah: en el manejo exquisito de los innitesimales. 3. Los infinitos en la Introductio: ejemplos de uso

Pero, qu es una cantidad innitamente pequea? Un nmero innitamente pequeo w es un nmero que no es el 0, pero que ser incapaz, por ms que lo repitamos, de superar al 1, o al 1/2, o a cualquier otro nmero positivo que imaginemos. Para alcanzar el 1 con un nmero innitamente pequeo w hace falta poner en funcionamiento un nmero innitamente grande i de manera que entonces s iw = 1.
7

Non-standard Analysis, Robinson, A., Noth Holland, Amsterdam, 1966.

46

ANTONIO J. DURN

Euler manej intuitivamente estas cantidades innitamente pequeas y grandes en la Introductio y, por tanto, no encontramos en el libro ninguna denicin de ellas. El propsito de Euler era que leyendo su libro uno acabara desarrollando cierta prctica en el manejo de los cantidades innitamente grandes y pequeas, cierta intuicin sobre la manera en que funcionan. Para ilustrar, mostrar un poco ms adelante cmo aparecen por primera vez las cantidades innitamente pequeas en el texto de Euler. Las cantidades innitamente grandes y pequeas trascendieron todos los conceptos del anlisis durante los siglos XVII, XVIII y buena parte del XIX. As, una curva se pensaba como una poligonal de innitos lados con longitud innitamente pequea. Cada punto de la curva corresponda con uno de estos lados innitamente pequeos, de manera que cuando este lado se prolonga da lugar a la tangente a la curva en ese punto. Esta manera de pensar las curvas la encontramos en Leibniz (1684): trazar la recta que una dos puntos de una curva que estn a una distancia innitamente pequea o el lado prolongado de un polgono de innitos ngulos, que para nosotros equivale a la curva. O en el segundo postulado del Anlisis de los innitamente pequeos, del Marqus de LHospital (1696): Se pide que una lnea curva pueda ser considerada como el ensamblaje de una innidad de lneas rectas, cada una innitamente pequea, o (lo cual es lo mismo) como una poligonal de un nmero innito de lados, cada uno innitamente pequeo, los cuales determinan, por los ngulos que forman entre s, la curvatura de la lnea.8 Pero ilustremos todo esto con un ejemplo. Veamos cmo desarroll Euler en la Introductio la funcin exponencial ez en serie de potencias de z . En esencia, la manera en que Euler dene el nmero e es la siguiente: las funciones exponenciales az , a 1, conforman un conjunto de curvas todas las cuales toman en el origen el valor 1; el valor de la pendiente
traduccin castellana de los textos donde se incluyen las citas anteriores. Para la primera vase Anlisis innitesimal, G. Leibniz, (con un estudio preliminar de Javier de Lorenzo), Tecnos, Madrid 1987; y para la segunda, Anlisis de los innitamente pequeos para el estudio de las lneas curvas, Marqus de LHospital, edicin en espaol de Rodrigo Cambray Nez, UNAM, Mxico, 1998.
8Hay

EULER Y LOS INFINITOS

47

de la recta tangente a esas curvas en el origen depende naturalmente de a, y va creciendo indenidamente desde el valor 0 correspondiente a a = 1 hasta tomar valores tan grandes como se quiera. El nmero e es denido como aquel para el cual la pendiente de ez en el origen vale 1. O sea, la tangente de ez en el origen viene dada por 1 + z . Atendiendo a las consideraciones anteriores sobre la naturaleza de las curvas, esto quiere decir que el segmento recto innitesimalmente pequeo de la curva exponencial y = ez donde se sita el punto (0, 1) (corresponde a e0 = 1) coincide con la recta y = 1 + z . Para nmeros innitamente pequeos w se tendr que estn sobre la recta y sobre la curva (que coinciden), esto es, para w innitamente pequeo se tiene la igualdad ew = 1 + w. Y digo bien, para Euler eso no era una aproximacin, sino una igualdad.9 Teniendo esto en cuenta, dado un nmero z lo escribimos como producto de un nmero w innitamente pequeo por otro i innitamente grande: z = wi.10 Las propiedades de la exponencial permiten ahora escribir: ez = ewi = (ew )i , y como w es innitamente pequeo, tenemos, segn la discusin anterior sobre las tangentes, que ez = (1 + w)i .11 Aplicando ahora el teorema del binomio ez = (1 + w)i = 1 + iw + i(i 1) 2 i(i 1)(i 2) 3 w + w + 2! 3!

este contexto introduce Euler por primera vez los nmeros innitamente pequeos en la Introductio : sea un nmero innitamente pequeo, escribe en la pgina 85 (104 en la versin castellana), o una fraccin tan exigua que, sin ser igual a cero, sea a = 1 + , siendo tambin un nmero innitamente pequeo. 10Imagnese el lector que z = 2 y escribimos 2 = 2 101000000 /101000000 , de manera que w = 1/101000000 e i = 2 101000000 ; con todo, esto no es suciente, porque siendo este w muy pequeo no es innitamente pequeo, ni tampoco este i innitamente grande, pero seguro que la sagacidad del lector sabr llenar la laguna que va de lo muy pequeo o muy grande a lo innitamente pequeo o innitamente grande. i 11Dado que w = z/i, esto no es ms que decir que ez = 1 + z , donde i es i z n z , un nmero innitamente grande. Esto hoy lo escribimos as: e = l m 1 + n n aunque como se ver ms adelante, Euler supo sacar ventaja de su forma de escribir la exponencial.

9En

48

ANTONIO J. DURN

Dado que i es innitamente grande tenemos que i 1 = i, i 2 = i, etctera. Lo que nos permite concluir el desarrollo: (iw)2 (iw)3 z2 z3 + + = 1 + z + + + 2! 3! 2! 3! Si el lector est tentado de poner el grito en el cielo, clmese. Si piensa que Euler hace razonamientos escandalosamente parecidos a esos que tanto nos disgustan cuando los hacen los alumnos de un curso elemental de clculo diferencial e integral, pensar muy equivocadamente, pues la diferencia entre lo que hace Euler y lo que hacen esos alumnos es tanta como la que va de los leos de Picasso a esos horribles dibujos que todos hemos hecho de nios y que con tanta frecuencia omos comparar con los del genio. No le d el lector ms vueltas y siga mi consejo: disfrute del vrtigo que Euler transmite a sus razonamiento con los innitos.12 ez = 1 + iw + Observe el lector cmo en la forma en que Euler ha obtenido el desarrollo para la exponencial, los nmeros innitamente grandes y pequeos aparecen y luego desaparecen, como en un juego de magia, pero su presencia no ha sido en vano. Han servido para transformar la funcin dejando al descubierto importantes propiedades ocultas. Los innitos han sido como una especie de rayos X que nos han permitido conocer la estructura interna de la funcin. En cierta forma estas cuentas de Euler sobre el desarrollo de la funcin exponencial ilustran bien esa genialidad de la que hablaba Hobson en la cita que les puse al principio. El lsofo Jorge Santayana, en su libro sobre esttica El sentido de la belleza,13 explic muy bien la caracterstica de la genialidad, o del ingenio como l lo llamaba, atribuyndole valor esttico; su descripcin se aplica muy bien a estos razonamientos de Euler: es caracterstico del ingenio penetrar hasta las ocultas profundidades de las cosas, para extraer de all alguna circunstancia o
digresin: Euler usa la frmula del binomio para obtener la de la exponencial; tambin se puede obtener el recproco: partiendo del desarrollo en serie de la exponencial llegar al del binomio: son unas cuentas muy ingeniosas que se deben al matemtico portugus Jose Anastasio da Cunha, que las public en su magnco libro Principios mathematicos publicado en Lisboa pstumamente en 1790; quien est interesado, la Universidad de Coimbra public un facsmile del libro en 1987. Da Cunha fue, adems de matemtico, poeta y de espritu revolucionario, lo que hizo que la Inquisicin ordenara su encarcelamiento. 13El sentido de la belleza, George Santayana, Tecnos, Madrid, 1999
12Una

EULER Y LOS INFINITOS

49

relacin signicativa que hace que el objeto se presente bajo una nueva y ms clara luz. Les dejo aqu, para su disfrute, la forma en que Euler desarroll el seno en serie de potencias. Escribimos como antes z = nw, donde w es innitamente pequeo y n innitamente grande. Esto da sen(z ) = sen(nw). Aplicamos ahora la frmula para el seno del ngulo mltiple: n(n 1)(n 2) cosn3 (w) sen3 (w) + 3! Ahora, como w es innitamente pequeo tenemos cos(w) = 1 y sen(w) = w (igualdad de la curva y su tangente en el origen para nmeros innitamente pequeos), o sea sen(z ) = n cosn1 (w) sen(w) sen(z ) = nw 4. n(n 1)(n 2) 3 (nw)3 z3 w + = nw + = z + 3! 3! 3!

Los infinitos de Euler y lo sublime de Kant

Para lo que ahora voy a explicar me gustara pedirles que analizaran si estos razonamientos de Euler les han generado algn tipo de emocin. A m desde luego me la producen. Yo tengo muy presente las sensaciones que me generaron cuando los le por primera vez. Por un lado sent una fuerte atraccin hacia la manera de proceder de Euler. Me sorprendi mucho la fuerza de su razonamiento: cmo esas propiedades especiales de los innitos le permitan en apenas un par de renglones obtener la estructura del desarrollo en serie para las funciones elementales. Pero a la vez los razonamientos de Euler me generaron un sentimiento de repulsin, tal vez porque juzgaba muy dudosos desde el punto de vista lgico esos razonamientos: qu desgarro para nuestro corazn de matemticos weierstrassianos-bourbakistas ver escrito que i = i 1!! Sea lo que sea lo que los produzca, son muchos los momentos en que leyendo los razonamientos y las explicaciones de Euler en la Introductio, uno no deja de sentir una especie de escalofros. Eso es lo que me lleva a m a asegurar que el libro de Euler atesora un profundo valor esttico. Deca Voltaire que para el gusto no basta ver o conocer la belleza de una obra: hay que sentirla, ser afectado por ella. Les recuerdo tambin que el lsofo alemn Theodore Adorno

50

ANTONIO J. DURN

aseguraba que el logro esttico de un objeto reside precisamente en su capacidad de conmocionar, de producir algn tipo de escalofro. Esta idea aparece tambin en las clebres conferencias que para la gente de la calle imparti Serge Lang en el Palais de la Decouverte de Pars a principios de los 80 bajo el ttulo La belleza de hacer matemticas; all Lang se refera a ese escalofro en la columna vertebral que los ms hermosos razonamientos matemticos producen. En particular, creo que hay un concepto de la esttica que tiene su origen en estos manejos que Euler hace con el innito en la Introductio. Me reero a la categora esttica de lo sublime que deni Immanuel Kant en su libro Crtica del juicio, el tratado que Kant dedic a la esttica.14 No tengo ninguna prueba de ello, pero no es exagerado decir que la inspiracin para denir ese concepto esttico bien la pudo encontrar Kant en los razonamientos de Euler con las cantidades innitesimales.15 Les recuerdo que Kant (17241804) fue de la generacin posterior a Euler, y naci y vivi prcticamente toda su vida en Knigsberg. Knigsberg es una de las ciudades eulerianas, junto con Basilea donde naci, y San Petersburgo y Berln donde ejerci como matemtico en las correspondientes academias de ciencias; Euler no residi en Knigsberg pero s resolvi el clebre problema de los siete puentes que luego dio origen a la teora de grafos. Les voy a leer la denicin del concepto de sublime de Kant y ustedes juzgarn hasta qu punto es acertada o no mi creencia de que Kant, para sintetizarlo y denirlo, bien pudo encontrar inspiracin en los manejos de Euler con el innito. Lo sublime es aquello, escribe Kant, en comparacin con lo cual toda otra cosa es pequea; es lo que, slo porque se puede pensar, demuestra una facultad de espritu que supera toda medida de los sentidos. El sentimiento de lo sublime es un sentimiento de dolor y, al mismo tiempo, un placer despertado, una conmocin, un movimiento alternativo, rpido, de atraccin y repulsin de un mismo objeto.

del juicio, E. Kant, Espasa Calpe, Madrid, 1977. ser los de Euler o los de cualquier otro matemtico del siglo XVIII; lo que pasa es que Euler es quien, con diferencia, expone mejor la fuerza de los innitos.
15Podran

14Crtica

EULER Y LOS INFINITOS

51

No quiero extenderme aqu sobre el anlisis de los valores estticos de la Introductio de Euler (los pueden ustedes encontrar en mis notas de la versin castellana del texto); aqu valdra la cita de Jorge Santayana: sentir la belleza es cosa mejor que entender cmo la sentimos. Pero s me gustara apuntar que uno puede rastrear y encontrar en la Introductio numerosos ejemplos para todas las categoras que Hardy apunt en su opsculo A mathematicians apology sobre el valor esttico de las matemticas: ya sea la generalidad y profundidad de los razonamientos, ya las disposiciones que miden la capacidad de una idea para producir una determinada respuesta esttica, lo que Hardy llam calidad de lo inesperado, de lo inevitable y de lo econmico. 5. Euler, descubridor o creador?

Los valores estticos de una obra van ligados a un acto creativo. Si una obra cientca tiene valor esttico parece que tendra que suponer tambin un acto creativo. Esto nos lleva al clsico debate de si los cientcos crean o descubren. Euler es un buen ejemplo para ilustrar esta controversia, por lo que expondr a continuacin uno de los resultados ms espectaculares contenidos en la Introductio, a partir del cual poder razonar despus sobre si cabe aplicar el sustantivo creacin a un descubrimiento cientco. 1 Se trata de cmo sum Euler la serie . Conviene antes situar 2 n n histricamente el problema. 1 Cuando en el ao 1673 Leibniz logr sumar la serie ,16 n(n + 1) n qued tan entusiasmado que arm poder sumar cualquier otra serie. Esa actitud tan optimista cuadra bien con quien dijo vivir en el mejor de los mundos posibles; y decir esto no mucho despus de acabada la
16Descomponindola, igual que hoy seguimos haciendo, en fracciones simples 1 1 , y viendo que al sumar la diferencia slo quedaba el primer trmino. n n+1 Por cierto, en este usar una diferencia para calcular una suma supo, aos despus, ver Leibniz el teorema fundamental del clculo: diferencial e integral son procesos inversos. De hecho fue a partir de esta observacin trivial como construy su versin del clculo innitesimal, pasando de diferencias y sumas de nmeros a diferencias y sumas de segmentos innitesimales.

52

ANTONIO J. DURN

Guerra de los Treinta aos ya tiene mrito. Ese mismo ao de 1673, Leibniz hizo gala de ese optimismo bobo, como Voltaire no dudara en calicarlo, en su primera visita a Londres. Matemticamente hablando, su actitud le llev a meter la pata en varias ocasiones, lo que no dejaron de recordrselo los ingleses cuarenta aos despus en plena disputa con Newton sobre la invencin del clculo innitesimal.17 A su vuelta a Pars, Leibniz recibi una carta de John Collins en la 1 que le propona sumar la serie . La capacidad matemtica de 2 n n Collins no le daba para entender la dicultad del problema, por lo que muy posiblemente la propuesta le habra sido sugerida por James Gregory o incluso por Newton (lo que cuadra bien con el papel de Collins de intermediario entre matemticos y cientcos ingleses y del continente). El malintencionado proponente del problema, cualquiera que fuera, podra haber dicho que el clculo de esa suma no puede ser tan complicado siendo los sumandos casi iguales a los de la serie que ya haba sumado Leibniz. Leibniz no la logr sumar, ni tampoco sus discpulos los hermanos Jacobo y Juan Bernoulli. No hay constancia documental de que Gregory o Newton estudiaran el problema, aunque eso no implica que no lo hicieran, probablemente con la misma falta de xito que los otros. Hubo que esperar casi medio siglo hasta que alguien la lograra sumar. Ese alguien fue Leonard Euler. Para ello lo primero que hizo fue encontrar una expresin para la funcin seno como producto innito. Resultado esto de mucha ms enjundia matemtica que la suma en s de la serie en cuestin. Empecemos pues por la forma en que Euler dedujo en la Introductio este desarrollo en producto innito; el primero que aparece en la historia de las matemticas. Euler comenz por unos clculos sencillos, aparentemente estriles y sin conexin con el problema que pretenda resolver; se trataba, concretamente, del clculo de los factores cuadrtik + z 2 , donde k cos del polinomio an z n , que son a2 2az cos n toma todos los valores pares entre 2 y n 1; adems, el polinomio tiene
Puede verse a este respecto: La polmica sobre la invencin del clculo innitesimal. Escritos y documentos. Antonio J. Durn, Crtica, Barcelona, 2006.
17

EULER Y LOS INFINITOS

53

los factores simples a z y, si n es par, a + z . Esto, que aparentemente es trivial, se convirti en mgico cuando Euler lo aplic a la funcin exponencial. x i Como vimos antes, Euler la escriba como ex = 1 + , donde i es un i nmero innitamente grande. Usando esta sugerente forma de escribir la exponencial tenemos que x i x i 1 ; ex ex = 1 + i i x x tomando a = 1 + , z = 1 y n = i, obtenemos para ex ex i i los siguientes factores cuadrticos x x 2 x 2k x 2 1+ 2 1 + 1 cos + 1 , k = 1, 2, , i i i i i junto con el factor simple 2x/i (este factor se puede reducir al factor constante 1/i considerando la funcin ex ex /2x). Como i es innitamente grande, Euler tom 2k 2k 2 cos = 1 2 2 , 18 i i lo que simplica los factores anteriores hasta 4k 2 2 x2 x2 1 + 2 2 2 , k = 1, 2, . i2 k i Euler despreci el termino x2 /i2 por ser i innitamente grande y obtuvo la descomposicin en producto innito: ex ex x2 x2 x2 =c 1+ 2 1+ 2 1 + 2 . 2x 4 9 Evaluando la igualdad en x = 0 se obtiene el valor 1 para la constante c, por tanto: ex ex x2 x2 x2 = 1+ 2 1+ 2 1 + 2 .19 2x 4 9
18Los

dos primeros trminos del desarrollo de Taylor para el coseno, que diramos

hoy.

hacer un par de comentarios sobre el rigor lgico de estos razonamientos de Euler. Hay un paso muy delicado en el razonamiento que Euler sigue:

19Conviene

54

ANTONIO J. DURN

A partir de ah, Euler obtuvo el valor de la suma modo.

n

1 del siguiente n2

Desarrollando en serie de potencias la expresin (ex ex )/2x y haciendo el cambio de variable x2 = 2 z se obtiene que z z 2z 4z2 6z3 1 + = 1 + + + + . 22 32 3! 5! 7! Euler mostr entonces qu es lo que ocurre cuando se desarrolla un producto nito como el que hay a la izquierda en la igualdad anterior: si (1) (1 + z ) 1 + (2) (1 + az )(1 + bz )(1 + cz )(1 + dz ) = 1 + Az + Bz 2 + Cz 3 + Dz 4 a + b + c + d = A; Euler entendi que lo que vala para productos nitos y polinomios, vala tambin para productos innitos y series de potencias, lo que aplicado a (1) da: 1+ 1 1 1 2 + + + = . 22 32 42 6 entonces

justo cuando elimina el sumando x2 /i2 un poco ms arriba. Euler explica porqu eso es admisible y hace algo muy inusual en un texto de matemticas. Nos pone un ejemplo donde no se puede aplicar el razonamiento que l est siguiendo. Concretamente, Euler justica que estos razonamientos que le valen para desarrollar en producto innito la funcin ex ex , no le sirven para ex 1, esto es, Euler presenta y explica un intento fallido de descubrimiento. El otro comentario que quera hacer es el siguiente: el lector debe saber que tras la introduccin del anlisis no estndar por Abraham Robinson en 1966, son varias las demostraciones del desarrollo en producto del seno que se han hecho usndolo. Entre estas se pueden citar las de W.A.J. Luxemburg (What is non-standard analysis?, Luxemburg, W.A.J., Amer. Math. Monthly 80, 3863, 1973) y, sobre todo, la de V.G. Kanovei (The correctness of Eulers method for the factorization of the sine function into an innite product, Kanovei, V.G. Russian Math. Surveys 43, 6594, 1988); esta ltima sigue los clculos de Euler puntillosamente (como dice explcitamente el autor en la pgina 66) justicando cada uno de ellos de manera impecablemente lgica; incluso incluye cmo podra haber completado Euler los razonamientos de su fallido intento de desarrollar en producto innito ex 1, para obtener el desarrollo x x2 x2 x2 ex 1 = e 2 x 1 + 1+ 1+ . 4 16 36

EULER Y LOS INFINITOS

55

Naturalmente Euler no se para aqu. En efecto, para el clculo de la 1 suma slo se ha usado uno de los coecientes del desarrollo en n2 n serie de potencias del producto innito; si consideramos el resto de coecientes de las potencias que aparecen en (2) se obtiene:

B = ab + ac + ad + bc + bd + cd, C = abc + abd + acd + bcd, D = abcd.

Basta ahora escribir

P = a + b + c + d, Q = a 2 + b2 + c2 + d 2 , R = a 3 + b3 + c3 + d 3 , S = a 4 + b4 + c4 + d 4 ,

y hacer unos simples clculos para obtener la recursin

P = A, Q = AP 2B, R = AQ BP + 3C, S = AR BQ + CP 4D.

Ahora podemos ver toda la generalidad del razonamiento de Euler, pues la frmula (1) encierra, no slo el valor de la suma de los inversos de los cuadrados de los nmeros naturales, sino el valor de la suma de cualquier potencia par de los inversos de los nmeros naturales; en efecto, puesto que en (1), P = n 1/n2 , Q = n 1/n4 , R = n 1/n6 ,

56

ANTONIO J. DURN
n

S=

1/n8 , etc, y A = 2 /6, B = 4 /120, etc, obtenemos: 1 4 = , n4 90 1 6 , = n6 945 1 8 = , n8 9450 1 10 = . n10 93555

Y as, hasta llegar a la potencia 26.20 Y estas son slo unas pocas de las muchsimas ms series que Euler logr sumar en la Introductio con mtodos similares. Con estos clculos de Euler en mente, voy ahora con el asunto de la polmica sobre si el trmino creadores debera, o no, aplicarse a los cientcos en general, y a los matemticos en particular. Muchos sostienen que no, puesto que es creador quien fabrica algo que sin l nunca hubiera llegado a ser, el que trae algo al mundo que sin l nunca podra haber existido precisamente de ese modo y no de otro ms o menos parecido [...] Podemos imaginar el telfono sin Graham Bell o la teora de la relatividad sin Einstein, pero no Las meninas sin Velzquez. La cita es de Fernando Savater, de su libro Las preguntas de la vida, Ariel, Barcelona, 1999, pg. 236; aunque tambin podra haber citado a algn cientco, por ejemplo al premio Nobel de Medicina Franois Jacob, que sostiene opiniones parecidas en su libro de divulgacin Mosca, ratn y hombre (Crtica, Barcelona, 1998). En el sentido de la cita de Savater, podemos decir que Euler no es el creador de los desarrollos en serie para el seno y la exponencial, ni el creador de la suma de la serie
aos despus Euler encontrara la frmula general para las sumas de los inversos de cualquier potencia par de los nmeros naturales en trminos de los nmeros de Bernoulli. Estas sumas son, naturalmente, los valores que toma la funcin zeta de Riemann en los nmeros pares. De la suma de las potencias impares, o los valores que toma la funcin zeta en los impares, poco, por no decir nada, se sabe a fecha de hoy: apenas que el primer puadito de esos valores son nmeros irracionales.
20Algunos

EULER Y LOS INFINITOS

57

1 , o del producto innito para el seno. En el caso de los desarrollos 2 n n en serie, ese calicativo ni siquiera valdra para Newton que fue quien primero los descubri; es obvio que si Newton no los hubiera descubierto algn otro matemtico posterior lo habra hecho. Leibniz sin ir ms lejos los descubri de manera independiente algunos aos despus de Newton. Yo veo sin embargo trazas de un creador, no en los desarrollos en serie o en los otros resultados, sino en la manera de obtenerlos, porque esa manera de descubrir lleva el sello inconfundible de Euler, y al igual que no podemos imaginar Las meninas sin Velzquez, yo no puedo imaginar esos razonamientos sin Euler. Hay sin embargo en matemticas un ejemplo ms contundente de que la labor de creacin est, ms que en los resultados encontrados, en la forma de descubrirlos. Tuve la ocasin de discutir ese ejemplo con Savater, y el ejemplo lo dej bastante convencido de hasta qu punto hay creacin en matemticas. Se trata de la forma en que Arqumedes encontr el rea de la parbola en su libro perdido del Mtodo. Arqumedes no cre la frmula del rea de la parbola: la descubri; pero lo que s es una creacin es la forma en que encontr ese rea: una conjuncin de mecnica y matemticas de una sutileza y elegancia realmente fuera de serie.21 Como saben, el Mtodo de Arqumedes estuvo perdido desde poco despus de que Arqumedes lo compusiera hasta 1906, cuando se dio con una buena parte del mismo en un palimpsesto encontrado por el erudito dans J.L. Heiberg en Constantinopla.22 Pues bien, en los ms de dos mil aos que estuvo perdido el texto de
no lo conocen, vayan corriendo a leerlo: por ejemplo, en la edicin crtica en cataln que hizo Pedro Miguel Gonzlez Urbaneja y que publicaron conjuntamente la Universidad Autnoma de Barcelona y la Universidad Politcnica de Catalunya, o en esa misma edicin en castellano, o en la que public Alianza Editorial en 1986, con una introduccin de Luis Vega. Tambin son absolutamente recomendables las otras dos formas en que Arqumedes encontr el rea de la parbola: se pueden disfrutar en la edicin facsimilar y crtica de la Real Sociedad Matemtica Espaola mencionada en la nota 1. 22Para la fascinante historia de ese palimpsesto puede leerse el reciente El cdigo de Arqumedes, R. Netz y W. Noel, Temas de Hoy, Madrid, 2007, un texto este de Netz y Noel sin duda interesante si uno es capaz de sobrellevar el, a veces, algo insufrible sabor que tiene a hamburguesa muy hecha rebozada en ketchup y pseudo mostaza.
21Si

58

ANTONIO J. DURN

Arqumedes ya hubo tiempo de que otros matemticos encontraran el rea de la parbola de la misma forma como hizo Arqumedes. Y sin embargo nadie en esos dos mil aos lo hizo, o sea, Arqumedes fabric algo que sin l nunca hubiera llegado a ser precisamente de ese modo y no de otro ms o menos parecido.

6.

Con todo el encanto de las exploraciones cientficas

Ya expliqu antes que los razonamientos de Euler tal vez no parezcan muy slidos desde el punto de vista del rigor matemtico; pero como tambin expliqu, despus del trabajo de Abraham Robinson y el desarrollo del anlisis no estndar sabemos que son tan rigurosos como los nuestros usando los lmites. Es conveniente insistir en el consejo de no intentar justicar los razonamientos de Euler mediante la teora de lmites; aparte de intil, supondra un atentado contra la esttica. Cauchy hizo un intento de justicacin del desarrollo de Euler en productos innitos usando lmites en las pginas nales de su Cours danalyse,23 con la consecuencia de que los cuatro renglones de Euler se transformaron en unas docenas de pginas de sufridos clculos. Cauchy transform en pornografa el no erotismo de Euler. No creo de todos modos que Euler perdiera el sueo por el mucho o el poco rigor con que haca sus matemticas, porque a Euler, como antes a Descartes, a Newton o a Leibniz, le preocupaba ms descubrir que demostrar. Esto lo deja meridianamente claro en el prlogo de la Introductio, donde hay referencias continuas al hecho de desentraar, resolver, solucionar, inventar: desentrao cuestiones harto numerosas,..., cuanta utilidad redunde de ello para la resolucin de las ms difciles cuestiones, lo dejan luminosamente claro algunos captulos de este libro, ..., deduzco adems soluciones a diversas cuestiones que pueden plantearse acerca de la particin de los nmeros, ... este libro no slo contiene mucho enteramente nuevo, sino que adems seala fuentes de donde puedan extraerse an muchas insignes invenciones.
pueden ver en el facsmile (sin traduccin) que hizo la sociedad Thales, Sevilla, 1999.
23Se

EULER Y LOS INFINITOS

59

Tan numerosas menciones al hecho de descubrir contrastan con la falta absoluta de referencias relativas a demostrar o probar. Y es que la Introductio de Euler est redactada de forma que las matemticas que contienen se despliegan ante nosotros como las maravillas de la naturaleza se desplegaban ante los ojos atnitos de los exploradores del Renacimiento (nada por tanto que ver con esos aburridsimos, sobados y manipulados razonamientos lgico-deductivos tan abundantes en los libros de texto de hoy en da). Leer la Introductio es como adentrarse en una exploracin geogrca por lo desconocido. A m me recuerda los apuntes histricos de Antonio de Pigaeta sobre el viaje de Magallanes alrededor del mundo, o los de Juan Sebastin de Elcano cuando se hizo cargo de la expedicin;24 en ellos no se nos hurtan los diversos intentos infructuosos de Magallanes para dar con el paso del ocano Atlntico al Pacco antes de descubrir la ruta correcta, al igual que Euler no nos hurta su infructuoso intento de desarrollar ex 1 en producto innito toda vez que sirve para que el exitoso desarrollo de ex ex quede mejor ilustrado. No cabe duda de que la Introductio es un viaje inicitico al mundo de los innitos y que Euler logra hacernos sentir con la lectura de su texto el mismo vrtigo de aventura que nos transmite la lectura de esos apuntes sobre la primera vuelta al mundo. Una razn ms para leer la Introductio : posiblemente la mejor obra de la historia para descubrir lo que signica la genialidad creativa en matemticas.

pueden leer en La primera vuelta al mundo, Juan Sebastian de Elcano, Antonio de Pigafetta y otros, Miraguano, Madrid, 2003

24Se