Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp) Vol. 101, N.

1, pp 1-20, 2007 VII Programa de Promocin de la Cultura Cientfica y Tecnolgica

LA ILUSTRACIN EN EL PENSAMIENTO MATEMTICO

MANUEL LPEZ PELLICER * * Real Academia de Ciencias Exactas, Fsicas y Naturales. E.T.S. Ingenieros Agrnomos. Apartado 22012. 46071 Valencia. mlopezpe@mat.upv.es

1. LA ILUSTRACIN
Hasta el comienzo del siglo XVIII la construccin cientfica se bas en el mtodo geomtrico de Euclides (325?265 a.C.) y en la lgica y la metafsica de Aristteles, pero se poda prever el final del mtodo geomtrico por: El Ensayo sobre el conocimiento humano (1660) de Locke (16321704), el formalismo de Leibniz1 (16461716) con su deseo de superar la lgica de Aristteles y encontrar un mtodo seguro de razonamiento, el descubrimiento por Leibniz y por Newton (16431727) del Clculo Infinitesimal buscando, el primero los elementos ms pequeos que componen la naturaleza y el segundo una herramienta para investigar y escribir las leyes de la naturaleza, que no la utiliza en sus Philosophiae Naturalis Principia Mathematica, escritos an al modo geomtrico de Euclides para hacerse entender en su poca, dado el desconocimiento generalizado del nuevo Clculo Infinitesimal, y la vida propia que adquiere el nuevo anlisis matemtico en el siglo XVIII.

David Hume (1711776) desarrollase el aspecto psicolgico del empirismo. En cambio los mtodos infinitesimales recibieron fuertes ataques. El obispo anglicano Berkeley critic en 1734 a los matemticos por su falta de rigor y severidad en la utilizacin de los mtodos infinitesimales. En el polo opuesto a estas crticas estn las eminentes respuestas de Maclaurin (escritas en 1737 y publicadas en 1742) para justificar y apoyar el mtodo infinitesimal, sealando a Arqumedes como uno de sus remotos precursores.

El Ensayo sobre el conocimiento humano caus ms impacto que los mtodos infinitesimales, lo que provoc que el mismo Leibniz se ocupase del mismo en sus Nouveaux essais sur lentendement humain (escrito en 1707, con primera edicin de 1765) y que
1

Figura 1. Maclaurin, 1698-1746.

Leibniz de forma independiente tambin descubri el Clculo Infinitesimal, no para explicar el movimiento, como Newton, sino buscando entender la constitucin de los cuerpos.

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

Pero el xito de Newton al descubrir una Matemtica utilizada en el entendimiento y descripcin de los fenmenos naturales, estimul nuevos desarrollos matemticos y facilit la difusin de la Ilustracin, movimiento filosfico y social nacido en Inglaterra y desarrollado por filsofos y cientficos franceses que realizaron una revisin crtica de las nociones fundamentales que afectan al hombre y a la ciencia, bajo la luz exclusiva de la razn, con fe inquebrantable en el progreso humano y con confianza ilimitada en que el trinomio razn, smbolos algebraicos y mtodos infinitesimales es capaz de resolver cualquier problema analtico. Razn ms experimentacin, pero sobre todo razn, es lema del pensamiento ilustrado para la comprensin profunda del mundo. El comienzo de la Ilustracin en Francia se sita alrededor de 1695 en que P. Boyle (16471706) publica su famoso Dictionaire historique et critique (desde 1695). Maupertuis y Voltaire hacen que la mecnica de Newton, y con ella las ideas del empirismo ingls, sean discutidas en los salones y en otros crculos cultos. El xito de la traduccin de Diderot de un diccionario ingls de medicina promueve que Diderot y el matemtico DAlambert dirijan una nueva edicin corregida de la Cyclopaedia de Chambers (desde 1728) que ofrece un resumen de todos los conocimientos y progresos. En esa gran Enciclopedia trabajaron los mejores especialistas franceses desde 1751 y fue la mejor exposicin del pensamiento ilustrado, que llev a final de siglo a la Revolucin Francesa. La Enciclopedia pretende la descripcin de todo en trminos claros y de un modo inteligente. Rousseau, cuya novela educativa mile (1762) tuvo un xito enorme, figur temporalmente entre los colaboradores de la Enciclopedia. Muchos artculos matemticos de la Enciclopedia se deben a DAlambert y al marqus de Condorcet (17431794). Otros colaboradores fueron J.E. Montuela (17251799), que escribi una historia cuidadosamente elaborada de la cuadratura de la circunferencia (1754) y otra de la matemtica en general (1758) y el jesuita Bossut, autor de una historia de la matemtica en 1784 que ampli para la Enciclopedia en 1802 y 1810. La libertad de pensamiento de la Ilustracin hace que se soporten con repugnancia las medidas coerci-

tivas del antiguo rgimen, que entre guerras, frivolidades y despilfarros en la corte haban reducido el pas a la miseria. Por ello se exige cada da ms libertades para organizar la vida libre e independientemente. Por otra parte, la descripcin de manera fcil de comprender de las investigaciones tericas y experimentales llevaron a bastantes a posiciones materialistas con fe ciega en el progreso ilimitado, como se describe en la obra Esquisse (Bosquejo) del Marqus de Condorcet (1794). El pensamiento ilustrado alemn se concentra en tres Universidades diferentes: Halle, Gotinga y en el Colegio Superior de Dessau. En Halle trabajo Wolf, autor de un diccionario matemtico en 1716 que influy mucho en la enseanza de la matemtica en las Universidades de Alemania. Wolf, enamorado del mtodo racional deductivo, defendi el principio de la libertad de investigacin y de enseanza. Por ello se hizo odioso a los partidarios de la docencia autoritaria, dominante hasta entonces en las Universidades alemanas, y se vio obligado a abandonar Halle en 1973. Fue acogido en la Universidad de Magburgo y, al subir al trono en 1740 Federico el Grande, fue llamado de nuevo a Halle, nombrado canciller de esa Universidad en 1743 y barn del Imperio en 1745. Wolf fue un excelente profesor de matemticas, pero no un creador. A la universidad de Gotinga se la dot de una gran biblioteca que permiti a Segner publicar varios libros de introduccin a la matemtica entre 1747 y 1768, labor continuada por su sucesor, Kstner, con unos notables Elementos de Matemticas (1753 1766) y una Historia de la Matemtica (17961800), obra poco equilibrada con los defectos propios de haberla escrito a edad avanzada. En el Colegio Superior de Dessau, el Philantropinum, fundado y dirigido por Basedow (1774), se utilizaron ideas pedaggicas de Rousseau, enseando los conceptos matemticos intuitivamente para que los escolares comprendan su contenido y no aprendan slo de memoria, mtodo mejorado posteriormente por el pedagogo suizo Johann Heinrich Pestalozzi (17461827), que se le considera fundador de la pedagoga moderna de las matemticas.

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

2. EULER (1707-1783): LA SITUACIN SOCIAL DE SU POCA

Hace cuatro mil millones de aos un asteroide impact con la Luna y produjo un enorme crter de 1250 Km de dimetro. Quinientos millones de aos despus grandes coladas de lava haban rellenado ese crter y destruido sus paredes, produciendo el Mar de las Lluvias. Sobre ese fondo de lava cay un objeto celeste y produjo un crter de poco ms de 20 Km de dimetro, que se le llama el crter de Euler y que no guarda proporcin con las aportaciones de Euler al conocimiento matemtico, pues ensanch las fronteras del conocimiento matemtico en todos sus campos durante el siglo XVIII, siendo la figura destacada de los matemticos nacidos y muertos en ese siglo. Junto a Arqumedes, Newton y Gauss, Leonhard Euler es por la calidad y cantidad de su obra uno de los matemticos ms brillantes anteriores al siglo XX. Si

la clasificacin la hicisemos por la cantidad de artculos y libros, Euler ocupara el primer lugar, pues produjo ms de 800 libros y artculos y sus obras completas, que se han reeditado en parte con el nombre Opera Omnia y ocupan 732 volmenes.

Figura 3. Arqumedes, 287-212 a.C.

Figura 4. Newton,1643-1727.

Figura 2. Euler, 1707-1783.

Figura 5. Gauss, 1777-1855.

Un proyecto editorial que comenz en 1911 y del que faltan por aparecer volmenes de correspondencia cientfica y otros manuscritos. Se estima que la obra completa de Euler ocupar unos 86 volmenes.

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

Sin embargo, la excelente valoracin de Euler en el mundo matemtico se debe ms a la riqueza, originalidad, belleza y agudeza de su obra que a su volumen. Su genio es equiparable al de Shakespeare, Bach o Miguel ngel, pero sigue siendo desconocido para el gran pblico, desconocedor de la historia de las matemticas. Si se conociese cuntos de los resultados que utilizamos se deben a Euler se agigantara su figura y se le situara por el gran pblico en la cima de la historia de las matemticas. La obra de cualquier cientfico no depende exclusivamente de su genio personal, pues las circunstancias polticas, sociales y culturales determinan de forma concluyente su produccin. Euler, aunque hubiese sido un matemtico brillante en cualquier otra poca, est marcado por haber vivido en el siglo XVIII, el Siglo de las Luces, marcado por dos movimientos continuos: el de las tropas y el de las ideas. A lo largo del siglo los conflictos blicos, enmascarados en guerras sucesorias, van a perfilar el mapa poltico futuro de Europa. Euler va a presenciar en primera fila el nacimiento de dos nuevas potencias europeas: Prusia y Rusia. Euler nace en 1707 y Europa est en guerra. La pugna por la corona espaola entre Felipe de Anjou y el archiduque Carlos de Habsburgo desat una guerra europea que enfrent a Francia y Castilla contra Austria, Inglaterra, Holanda, Prusia, Portugal y Saboya. El motivo sucesorio esconda en realidad el intento de las potencias europeas de acabar con la hegemona francesa en Europa durante el reinado de Luis XIV, el rey Sol. La paz de Utrecht (1713) supuso la entrega de Gibraltar a Inglaterra, el reparto de las posesiones espaolas en Europa y el dar al Elector de Brandeburgo el ttulo de rey de Prusia, lo que supuso el nacimiento de una nueva potencia en la que Euler desarrollar su trabajo durante 25 aos en la corte de Federico II. En el extremo oriental de Europa, Pedro I acomete la tarea de modernizar el vasto imperio ruso. Una de sus medidas europeizantes fue la fundacin de San Petersburgo, a orillas del Bltico, y la de su Academia en la que Euler trabaj la mitad de su vida. Estas dos nuevas potencias emergentes, adems de repartirse Polonia, se van a disputar al genio.

Figura 6. Euler, 1707-1783.

Otra conflagracin europea fue la Guerra de Sucesin de Austria (17401748), originada aparentemente por la sucesin al trono de Austria, pero generada realmente por la poltica de expansin de Federico II de Prusia con la anexin de Silesia. En mitad de esta contienda, Euler abandon la fra Rusia para ocupar una plaza en la Academia de Berln. No ser esta la ltima guerra europea de la que Euler ser testigo. Una nueva contienda general, la Guerra de los Siete Aos, enfrent a Prusia e Inglaterra contra Francia, Espaa, Rusia, Polonia y Suecia, redefiniendo el instable mapa poltico del viejo continente. El ejrcito ruso saque una finca propiedad de Euler. La corte rusa orden al general al mando de las tropas restituirle los daos causados, pagndole 4000 florines. El gran prestigio de Euler en toda Europa determin esta indemnizacin. El segundo movimiento, no de tropas sino de ideas, es la ya descrita Ilustracin, desarrollada en Francia y que recorri Europa desde el Atlntico hasta las orillas del Bltico, penetrando en todas la cortes europeas, incluso las que estaban en guerra con Francia.

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

3. LA OBRA MATEMTICA DE EULER

Leibniz muri en 1716, slo y abandonado por todos, cuando Euler contaba nueve aos. Newton fue enterrado en la abada de Westminster, con honores regios y con la asistencia de Voltaire, once aos despus, justo cuando Daniel y Nicols Bernoulli invitaron a Euler a sumarse a la aventura de la Academia de San Petersburgo. En ese momento Euler ya tena prestigio internacional, pues haba ganado dos premios de la Academia de Ciencias de Pars.

Figura 7. Lambert, 1728-1777.

Federico II de Prusia y Catalina II de Rusia se rodearon de los filsofos, cientficos, artistas, msicos y literatos ms prestigiosos del continente. Catalina II invit a trabajar en San Petersburgo a Diderot, a los hermanos Jacob y Nicolaus Bernoulli, a Golbach y al propio dAlambert, que rechaz la oferta. Federico II exiga hablar francs en su corte e invit a Euler, Voltaire, Lambert y Maupertuis. Tambin dAlambert rechaz la invitacin.

Figura 9. Euler, 1707-1783.

Figura 8. DAlambert, 1717-1783.

Pero no pensemos que el clculo, diferencial e integral, estaba difundido por Europa al comienzo del siglo XVIII, pues las aportaciones de Newton, su clculo de fluxiones, aparece brevemente en el apndice Tractatus de qudratura curvarum de su ptica, publicada en 1704. Sus ideas sobre desarrollos en series infinitas eran conocidas por alguno de sus muy pocos amigos personales y la obra en que aparecen sus resultados De analysis per equtiones numero terminorum infinitas vio la luz en 1711; su sistema de clculo diferencial e integral est en

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

Methodus fluxionum et serierum infinitarum, publicado en 1727, despus de su muerte. Por otra parte, Leibniz present su clculo diferencial e integral a travs de artculos publicados en la revista Acta Eruditorum, que tambin recogi artculos sobre el mismo tema de Johann y Jacob Bernoulli. En 1684 aparece la primera parte del clculo diferencial y en la dcada de los noventa Leibniz y los Bernoulli publicaron en esa revisa la solucin de problemas famosos, como el de la catenaria, la braquistocrona, los isoperimtricos, que van a demostrar la potencia de la nueva herramienta matemtica. El primer manual de clculo diferencial con aplicaciones al estudio de curvas, Analyse des infiniment petits, lo public el Marqus de LHpital en 1696, recopilando algunas lecciones de Johann Bernoulli, cuya publicacin completa se hizo en 1742. Todo lo anterior justifica que a principios del siglo XVIII muy pocos conocan la valiosa herramienta del clculo y muchos menos se haban preocupado por validar sus fundamentos. Slo algunos conocan su potencial para resolver problemas complejos de mecnica, astronoma, nutica o acstica. Las matemticas, y sobre todo su ltimo invento, el clculo infinitesimal, se convertan as en una ciencia til, lejos de las meras especulaciones estticas. A lo largo del siglo XVIII, las matemticas entraron en los salones de la Francia ilustrada y en las cortes europeas a travs de las Academias de Ciencias. En ese ambiente poco importaba si los cimientos sobre los que se apoyaba el anlisis eran slidos y contaban con un rigor suficiente. Implcitamente se admita su validez por su capacidad de resolver problemas prcticos hasta el momento irresolubles. Nadie cuestionaba la eficacia de las matemticas: eran un arma de progreso lejos del rigor actual. Por ello no debe extraarnos que el mismo Euler, matemtico por excelencia de ese siglo, trabajase con expresiones del tipo:
1 + 1 + 1 + ...+ = 0,66215... + 1 ln ( ) 3 5 2 1 x 0 = ln x 0

Figura 10. Johann Bernoulli, 1667-1748.

p =n p =1

1 1 ln n, 2p 1 2

1 x t + ln x t

son muy prximos a 0,66215... y a 0. Al juzgar una obra nunca se debe olvidar la poca en que se hizo y que el rigor matemtico ha sido una variable dependiente del tiempo. Euler tuvo la fortuna de introducirse desde su juventud en el crculo selecto de conocedores de la obra de Newton y Leibniz y de recibir lecciones del propio Johann Bernoulli, tal vez el mejor conocedor del clculo de Leibniz en el continente. La vida de Euler no fue especialmente excitante, ya que Euler fue una persona completamente convencional, siempre amable y generosa. Careci de la aureola de algunos de sus ms conocidos contemporneos, como Washington (17321799), que condujo ejrcitos a la victoria, Robespierre (17581794), que lider una revolucin poltica que le llev a la muerte, o el capitn Cook (17281779), que cruz mares para explorar continentes desconocidos. Euler slo fue un gran aventurero intelectual a travs del maravilloso paisaje matemtico. Leonhard Euler naci cerca de Basilea, en Suiza. Su padre, modesto pastor protestante, acariciaba la idea de que su hijo Leonhard le sucediese en el plpito,

que las encontramos formalmente incorrectas, si bien Euler entenda que cuando n es muy grande y cuando t es un nmero positivo muy cercano a cero los valores:

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

a lo que pareca estar destinado Euler, dado que su madre tambin proceda de una familia de pastores. Fue un joven precoz, con un don especial para las lenguas, una memoria extraordinaria y una increble capacidad de clculo mental. A los 14 aos entr en la Universidad de Basilea, donde el profesor ms famoso que tuvo fue Johann Bernoulli (16671748), hombre orgulloso y arrogante, tan rpido en despreciar el trabajo de los dems como en vanagloriarse del suyo propio, lo que tena cierto fundamento pues en 1721 Johann Bernoulli poda proclamarse como el mejor matemtico en activo, ya que Leibniz haba muerto y el anciano Newton haba dejado de trabajar en matemticas hacia tiempo. Johann Bernoulli viva en Basilea en el mismo momento en que Euler necesitaba un tutor. Bernoulli no fue un profesor para Euler en el sentido moderno de la palabra, sino ms bien un gua que le sugera lecturas matemticas y estaba dispuesto a discutir con l aquellos puntos que parecan especialmente difciles. Pronto Johann Bernoulli se dio cuenta de que su joven alumno era especial. Segn transcurrieron los aos y madur la relacin, fue Bernoulli el que pareci convertirse cada vez ms en discpulo, por ello Bernoulli, hombre no dado a alabanzas, en una ocasin escribi a Euler: Yo represento el anlisis superior como si estuviera en su infancia, peor t lo ests llevando a su estado adulto. La educacin matemtica de Euler no fue en Matemticas. Se licenci en filosofa, siendo sus primeros escritos sobre la templanza y sobre la historia de la ley. Luego ingres en la escuela de teologa para convertirse en pastor. Pero su vocacin eran las matemticas. Aos ms tarde escribi: Tuve que matricularme en la facultad de teologa y dedicarme al estudio del griego y el hebreo, pero no progres demasiado pues la mayor parte de mi tiempo lo dedicaba a los estudios matemticos y, por suerte, las visitas de los sbados a Johann Bernoulli continuaron. Dej el ministerio con el propsito de convertirse en matemtico. Su progreso fue rpido y a los veinte aos casi gan un premio de la Academia de Ciencias

de Pars en competicin internacional por su anlisis sobre el emplazamiento de los mstiles en un barco de guerra, presagio de lo que vendra ms tarde. Su trabajo qued en segundo lugar. En 1725, Daniel Bernoulli (17001782), hijo de Johann, lleg a Rusia para ocupar una plaza de matemticas en la nueva Academia de San Petersburgo y, al ao siguiente, Euler recibi la invitacin para acompaarle. La nica plaza vacante en mecnica aplicada a la fisiologa, que Euler acept por la escasez de plazas. Como no saba nada de las artes mdicas se puso a estudiar fisiologa con su ca-racterstica laboriosidad, tal vez desde un punto de vista ms geomtrico que clnico. Cuando lleg a San Petersburgo en 1727, Euler supo que haba sido asignado a Fsica en lugar de a Fisiologa, cambio afortunado para l y para los que podra haber operado con su mentalidad de regla y comps. Durante sus primeros aos en Rusia residi en casa de Daniel Bernoulli y ambos se involucraron en amplias discusiones sobre fsica y matemticas, que anticiparon el curso de la ciencia europea en las siguientes dcadas.

Figura 11. Jacob Bernoulli, 1654-1705.

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

En 1733 Daniel Bernoulli se traslad a Suiza para ocupar un puesto acadmico. La marcha de su buen amigo produjo un vaco en la vida de Euler, pero dej libre su plaza que pronto ocup Euler. Se cas con Katharina Gsell, hija de un pintor suizo que viva en Rusia. En las cuatro dcadas que dur el matrimonio tuvieron trece hijos, de los que slo cinco alcanzaron la adolescencia y tan slo tres sobrevivieron a sus padres. En la Academia de San Petersburgo Euler dedic mucho tiempo a la investigacin, estando a disposicin del estado ruso, que pagaba su salario. Preparaba mapas, asesoraba a la armada rusa y prob diseos de bombas contra incendios. Su fama creca, siendo uno de sus primeros triunfos la resolucin del llamado problema de Basilea, con el que los matemticos llevaban luchando un siglo y que consista en hallar el valor exacto de la serie infinita
1 + 1 + 1 + 1 + 1 + ... + 12 + ... 4 9 16 25 k

Euler continu sus investigaciones a ritmo vertiginoso, publicando sus artculos en la revista de la Academia de San Petersburgo, llegando a darse el caso que la mitad de los artculos de algunos nmeros eran todos de Euler. En lgebra, por ejemplo, dio mtodos originales de eliminacin y de descomposicin en fracciones simples y, en especial, se ocup de la teora de las ecuaciones. Leonhard Euler es la figura representativa del perodo algortmico en el siglo de la Ilustracin, tambin llamado el siglo de la razn por la total confianza puesta en el poder de la mente, que llev a los matemticos a creer que con los algoritmos algebraicos e infinitesimales e infinitesimales toda ecuacin algebraica tendr solucin, toda ecuacin diferencial podr integrarse y que toda serie podr sumarse. A esta confianza, que en general result beneficiosa, agreg Euler una capacidad de clculo pocas veces igualada y una fecundidad prodigiosa. Su espritu ilustrado le llev a buscar un mtodo general para resolver ecuaciones de cualquier grado3. Hall un nuevo mtodo para resolver ecuaciones de grado cuatro, incluido en un mtodo general que le daba la solucin de las ecuaciones de grados dos, tres y cuatro, pero nada ms4. Tres problemas le ensombrecieron este fecundo primer perodo matemtico ruso: La inestabilidad poltica rusa, que se extendi como un torbellino tras la muerte de Catalina I y uno de cuyos efectos fue la intolerancia y sospecha hacia los extranjeros, que, en palabras de Euler, haca la situacin bastante difcil. El que la Academia estuviese dirigida por el burcrata Joham Schunacher cuya mayor preocupacin era la supresin del talento all donde pudiera asomar inconvenientemente. La prdida de la visin en su ojo derecho en 1738, atribuida a su intenso esfuerzo en cartografa, si bien parece que una severa infeccin

Las aproximaciones numricas haban revelado que la suma de esta serie era un valor cercano a 8 , pero la 5 respuesta exacta se haba resistido a Pietro Mengoli (16251686), que haba planteado el problema en 1644 a Jacob Bernoulli (16541705), hermano de Johann y to de Daniel, que lo expuso a la comunidad matemtica en 1689. Bien entrado el siglo siguiente, el problema segua sin resolverse. En 1735 demostr 2 Euler que la suma era , resultado nada intuitivo que 6 dio an ms fama a su descubridor. No obstante, la mayor contribucin de Euler en teora de nmeros es el inicio de la teora analtica de los nmeros primos, que inici con su notable identidad que relaciona los nmeros primos con la serie de las potencias de los recprocos de los nmeros naturales. En una carta a Christian Goldbach reconoci, sin demostrarlo, la verdad de la conjetura de Goldbach de que todo nmero par es la suma de dos nmeros primos, que es una proposicin que an espera una demostracin.

3 Los ilustrados tenan confianza en el poder ilimitado de la razn para resolver cualquier problema, lo que es falso, pues hoy sabemos que es imposible encontrar un mtodo general para resolver ecuaciones de grado cinco. 4 Unos aos ms tarde, ya en Berln, elabor una nueva demostracin del teorema fundamental del lgebra.

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

que sufri unos meses antes fue la causa de la ceguera del ojo derecho. El impacto de la prdida de visin sobre su dedicacin a las matemticas fue nulo. Euler sigui su programa de investigacin y sigui escribiendo sobre construccin de buques, acstica y teora de la armona musical. En ese siglo XVIII los campos que abarcaban las matemticas eran mucho ms amplios que en la actualidad. En el rbol de la ciencia representado en LEncyclopedie, de la rama genrica de las matemticas surgen otras ramas que hoy son materias autnomas. Los enciclopedistas dividan las matemticas en dos ramas principales: 1. Matemticas puras, que comprendan la aritmtica y la geometra. La aritmtica se divida en aritmtica numrica (teora de nmeros) y lgebra (lgebra elemental, lgebra infinitesimal y clculo diferencial e integral). La geometra se divida en geometra elemental, geometra trascendente (que englobaba la teora de cuerpos), la tctica militar y la arquitectura militar. Fsico-matemticas o matemticas mixtas, que englobaba disciplinas como la mecnica, la esttica, la hidrosttica, la dinmica, la ptica, la neumtica o la geometra astronmica.

Mechanica, que presentaba las leyes newtonianas del movimiento desde el punto de vista del clculo, por lo que a esta obra se la considera una pieza clave en la historia de la Fsica. La produccin de Euler le produjo tal prestigio que Federico el Grande de Prusia (17121786) le ofreci un puesto en la revitalizada Academia de Berln, lo que unido a la inestable situacin poltica en Rusia, que Euler describi como un pas en que cada persona que habla es colgada, origin la aceptacin de la oferta de Federico de Prusia. En 1741, Leonhard, Katharina y su familia se trasladaron a Alemania. Vivi en Berln un cuarto de siglo, que coincidi con la fase intermedia de su carrera matemtica. En este perodo public dos de sus grandes obras: un texto de 1748 sobre funciones, Introductio in analysin infinitorum y un volumen de 1755 sobre clculo diferencial, Instituciones calculi differentialis. En su Introductio, Euler usa el concepto de funcin en la forma en que se mantuvo mucho tiempo: funcin de x es toda expresin analtica de una variable obtenida mediante combinacin finita o infinita de smbolos algebraicos o trascendentes. A veces tambin se refiri a la funcin como toda relacin entre x e y que se represente en el plano mediante una curva trazada a mano libre, es decir una curva continua en su acepcin intuitiva. En conexin con las funciones trascendentes aparece una de las ms notables contribuciones de Euler al Anlisis: los logaritmos como exponentes y la relacin de las potencia de base e con los nmeros imaginarios y con las funciones circulares mediante la identidad o frmula de Euler
ei = cos + isen

2.

No le faltaban pues a un matemtico profesional del Siglo de las luces reas donde desarrollar su trabajo. Por eso no debe extraar que slo el 58% de las obras de Euler sean de lo que hoy entendemos como matemticas (teora de nmeros, y en particular teora analtica de nmeros, lgebra, anlisis, geometra, teora de grafos y la geometra diferencial). Adems, escribi sobre mecnica, ptica y acstica (un 28% de su obra), sobre astronoma (un 11%), sobre nutica, arquitectura y artillera (un 2%) y sobre msica y filosofa (un 1%). De los ms de 73 volmenes reeditados de su obra, que constituyen su Opera Omnia, slo 29 constituyen la Opera Matemtica. En sus aportaciones en teora de nmeros, Euler cont con la ayuda de su amigo Christian Goldbach (16701764). En su respuesta a una carta de Philippe Naude (116841745) puso los cimientos a la teora de las particiones. En este perodo escribi su libro

una de las frmulas ms bellas y tiles de la matemtica que encierra todas las relaciones trigonomtricas. El segundo tomo de la Introductio es un tratado de geometra plana y del espacio, cuya forma ha estado vigente hasta mediados del siglo XX. Sus Instituciones calculi differentialis, libro escrito cuando estaba prcticamente ciego, consta de tres

10

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

volmenes, sobre los temas comunes del clculo integral actual, la integracin de ecuaciones diferenciales ordinarias y en derivadas parciales, y nociones de clculo de variaciones. Adems se le incorpor un cuarto tomo pstumo con una seleccin de memorias. Mientras estaba en Berln, se le reclam para dar clases de ciencia elemental a la princesa Anhalt Dessau. El resultado fue una obra expositiva que se public ms tarde con el ttulo Cartas de Euler dirigidas a una princesa alemana sobre diferentes temas de filosofa natural. Consta de unas doscientas cartas sobre la luz, el sonido, la gravedad, la lgica, el lenguaje, el magnetismo y la astronoma. A lo largo de la obra, Euler explica por qu hace fro en lo alto de una montaa de los trpicos, por qu la luna parece ms grande cuando surge por el horizonte y por qu el cielo es azul. Asimismo, Euler expone su preocupacin por uno de los problemas filosficos mayores: el problema del mal en el mundo, en cartas dedicadas al origen del demonio y a la conversin de los pecadores. Tambin dedic cartas al entonces intrigante asunto de la electrizacin de los hombres y los animales. Escribiendo sobre la visin en una carta fechada en agosto de 1760. Euler empezaba con estas palabras: Estoy ahora en condiciones de explicar fenmenos de la visin, que indudablemente son una de las grandes operaciones de naturaleza que la mente humana puede contemplar. Es sorprendente el patetismo de esta afirmacin que vena de un autor parcialmente ciego y que pronto sera ciego totalmente. Pero Euler no era persona que dejase que sus infortunios personales interfirieran en su actitud hacia las maravillas de la naturaleza. Las Cartas a una princesa alemana se convirtieron en un xito internacional. El libro se tradujo a multitud de idiomas en Europa y en 1833 fue publicado en EEUU. En esta edicin, el editor se deshizo en elogios a la capacidad expositiva de Euler, indicando que la satisfaccin del lector es, en cada paso, proporcional a su progreso y cada adquisicin sucesiva de conocimiento se convierte en una fuente de mayor satisfaccin. Este libro es uno de los mejores ejemplos de ciencia popular. Desde Alemania continu publicando continuamente en la revista de la Academia de San Petersburgo

y recibiendo un estipendio regularmente. En la Academia de Berln, adems de sus investigaciones matemticas, estaba profundamente involucrado en labores administrativas, pues aunque oficialmente no era el director de la Academia, desempeaba ese puesto de manera informal, asumiendo responsabilidades que iban desde administrar los presupuestos hasta vigilar los invernaderos. Pero, tal vez por un conflicto de personalidades, Federico el Grande haba desarrollado un inexplicable desprecio hacia Euler, sin duda el acadmico ms famoso de su corte. Federico se consideraba a s mismo como un erudito y un intelectual irnico que gustaba de la filosofa, poesa y de cualquier cosa que fuese francesa. Por ello los asuntos de la Academia se trataban en francs y no en alemn. Federico II consideraba que Euler reduca su inters a ciertos temas cientficos matemticos, ignorando otros muchos y, en cruel referencia a su muy limitada vista, le llamaba mi cclope ilustrado. Euler, en efecto, era diferente de los relucientes y sofisticados acadmicos de Berln, pues era muy convencional en sus gustos, hogareo, muy trabajador y un protestante calvinista muy devoto, pues hasta que perdi la vista, reuna todas las noches a su familia para leerles y comentarles un captulo de la Biblia. La teologa era uno de sus estudios favoritos y las doctrinas en las que crea eran las ms rgidas dentro del calvinismo. Otro factor que empeoraba las cosas era la fra relacin entre Euler y Voltaire, la otra estrella de la Academia. Voltaire disfrut durante cierto tiempo de ciertas preferencias en el crculo de Federico el Grande: era famoso como autor y como escritor satrico, era tan sofisticado como el rey y era enteramente francs. El custico Voltaire describa a Euler como alguien que nunca aprendi filosofa, por lo que tena que contentarse con la fama de ser el matemtico que en un cierto tiempo ha llenado ms hojas de papel con clculos. As, despus de haber elevado la Academia de Berln a una gloria matemtica que jams volvera a alcanzar, Euler tuvo que marcharse. Las cosas en Rusia haban mejorado durante su ausencia, particularmente con el acceso al trono de Catalina la Grande (17291796), y Euler estaba feliz con el regreso.

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

11

La Academia de San Petersburgo no debi dar crdito a su buena suerte cuando, en 1776, dio la bienvenida de nuevo al entonces mejor matemtico del mundo. Esta vez, Euler se quedara para siempre. Aunque su vida cientfica continu avanzando rpidamente, los siguientes aos le iban a traer dos nuevas tragedias personales: La primera la prdida casi completa del ojo bueno que le quedaba. Hacia 1771 estaba prcticamente ciego, y slo poda leer lo escrito en caracteres muy grandes. La segunda desgracia le vino en 1773 con la muerte de Katharina. Esta segunda desgracia unida a la ceguera pudo haber marcado el final de los aos productivos de Euler. Pero Euler no era un hombre corriente y no slo mantuvo su produccin cientfica, sino que la increment. En 1775 escribi un promedio de un artculo matemtico a la semana, lo cual tiene ms mrito si se considera que eran otros los que le lean los artculos matemticos y que tena que dictar sus ideas. Cuando se estaba quedando ciego escribi un tratado de lgebra de 775 pginas, donde tambin explica el movimiento de la luna, y un enorme compendio en tres volmenes que desarrollaba el clculo integral, Institutiones calculi integralis. Su prodigiosa memoria y su excepcional capacidad de clculo le fueron ms tiles que nunca cuando slo poda ver con los ojos de la mente. Poda recitar en latn la Eneida completa, y decir, sin utilizar lpiz ni papel, los 100 primeros nmeros primos, sus cuadrados, cubos y hasta sus potencias sextas. Con la ayuda de sus hijos y de su colaborador Nikolaus Fuss public ms de 300 trabajos durante su perodo de ceguera. Ha sido sin discusin el matemtico ms prolfico de la historia. Este hecho objetivo jams ha sido discutido. Su increble obra se explica por su amor a la vida tranquila familiar, huyendo de los fastos de las cortes de San Petersburgo y de Berln, por su inteligencia excepcional, por su memoria prodigiosa, por su dominio increble de las tcnicas algortmicas y por una disciplina de trabajo frrea. Pero, adems, el que durante sus aos con ceguera, infortunios continuos y avanzada edad continuase con gran vigor y entusiasmo su trabajo es una autntica leccin para las generaciones venideras. El coraje, la determinacin y el completo rechazo de Euler a ser vencido sirven, en el ms

propio sentido de la palabra, como motivacin para matemticos y no matemticos. La historia de las matemticas nos proporciona en Euler el genuino ejemplo del triunfo del espritu humano. Tres aos despus de la muerte de su mujer se cas con la hermanastra de sta, encontrando una compaera con la que compartir sus ltimos aos que se extendieron hasta el 18 de septiembre de 1783. Ese da pas un rato con sus nietos y luego se puso a trabajar en cuestiones matemticas relativas al vuelo de los globos, entonces tema de inters provocado por el reciente ascenso de los hermanos Montgolfier sobre el cielo de Pars en un globo propulsado por aire caliente, acontecimiento del que fue testigo Benjamn Franklin, diplomtico de los recientemente independientes Estados Unidos. Despus de comer hizo algunos clculos sobre la rbita del planeta Urano, cuya rbita pareca perturbada por la existencia de un planeta exterior. En efecto, en las dcadas siguientes, la peculiar rbita del planeta, analizada a la luz de las ecuaciones que Euler haba depurado, llev a los astrnomos a buscar, y a descubrir, el todava ms distante planeta Neptuno. Si Euler hubiera tenido tiempo se hubiese dedicado al reto de buscar matemticamente el nuevo planeta. Pero no iba a tener tal oportunidad. A media tarde de esa tpica jornada atareada, tuvo una hemorragia masiva que le provoc la muerte en el acto. Slo la muerte fue capaz de detener una mente que haba pasado la vida calculando. Llorado por su familia, por sus colegas y por la comunidad cientfica universal, Leonhard Euler fue enterrado en San Petersburgo. Dej un legado matemtico de proporciones picas, que permiti a la Academia de San Petersburgo seguir publicando artculos suyos inditos 48 aos despus de su muerte. En su elogio fnebre, el marqus de Condorcet seal que cualquiera que se dedicase a las matemticas en el futuro sera guiado y sostenido por el genio de Euler del que todos los matemticos son sus discpulos. Aos ms tarde Laplace dira Leed a Euler, leed a Euler. l es el maestro de todos nosotros. Andr Weil, uno de los mejores matemticos del siglo XX, deca Durante toda su vida parece haber llevado en la cabeza la totalidad de las

12

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

de instrumentos analticos para la solucin de problemas geomtricos o para la investigacin de leyes naturales. En el siglo XVIII, el anlisis matemtico, an prosiguiendo esos fines, se estudia por s mismo, y hasta la geometra y los fenmenos naturales llegan a servirle de pretextos para nuevos desarrollos analticos. Por ello casi todos los contemporneos de Euler se ocuparon preferentemente de anlisis matemtico. El carcter puramente algortmico de la matemtica se enriquece a finales del siglo XVIII con la utilizacin de los mtodos del anlisis infinitesimal como instrumentos para la resolucin de problemas geomtricos o fsicos, como se ver, por ejemplo, en la obra de Lagrange. Entonces la geometra y la fsica se impregnan del espritu del anlisis infinitesimal, que lleva a que la geometra adquiera el rango de geometra pura y la fsica se convierta en fsica matemtica.
Figura 12. El marqus de Condorcet, 1743-1794.

matemticas de su poca, tanto puras como aplicadas. En la cripta de la catedral de San Pablo en Londres est la tumba de Christopher Wren, arquitecto de ese magnfico y hermoso edificio. La inscripcin que figura sobre su lpida es uno de los epitafiios ms famosos: Lector, si monumentum requiris, circumspice (Visitante, si buscas su monumento conmemorativo, mira a tu alrededor). Creo que ese epitafio tambin vale para la tumba de Euler, si se le rodease de su obra.

Una excepcin a la tendencia generalizada hacia el anlisis matemtico en el siglo XVIII fue Alexis Claude Clairaut, que siendo an adolescente se ocup de las curvas en el espacio, y cuya obra ms importante de 1743 se refiere a la forma de la Tierra, estableciendo

4. MATEMTICOS CONTEMPORNEOS DE EULER

En el siglo de Euler el anlisis matemtico adquiere vida propia, se independiza de la geometra y de la ciencia natural y tie la matemtica de carcter formal, an no riguroso. En el siglo anterior, la geometra analtica y los mtodos infinitesimales haban servido

Figura 13. Clairaut, 1713-1765.

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

13

las condiciones matemticas para el equilibrio de los fluidos y sentando los fundamentos de la futura teora del potencial. Esta obra se basaba en otra de Maclaurin sobre elipsoides de revolucin desarrollada con mtodos exclusivamente geomtricos, que indujeron a Clairaut a utilizar ese mismo recurso en las demostraciones. Maclaurin y Clairaut figuran entre los ltimos matemticos que resuelven los problemas mecnicos y astronmicos con el mtodo geomtrico. Clairaut trabaj en el problema de los tres cuerpos, uno de los problemas ms clebres de su poca del que tambin se ocup DAlambert, redactor del discurso preliminar y de muchos artculos matemticos y metodolgicos de la Encyclopdie de 1751. Una contribucin importante de DAlambert fue la solucin del problema de la cuerda vibrante, que desempe un papel notable en la futura revisin de los principios de anlisis y del que, sin xito, se haban ocupado muchos otros matemticos de su poca, en especial Daniel Bernoulli. Otros matemticos destacados que nacieron y murieron en el siglo XVIII fueron Edward Waring, Gabriel Cramer y Johann Heinrich Lambert. Al primero le debemos investigaciones en teora de

Figura 15. Lambert, 1728-1777.

nmeros y ecuaciones algebraicas, pues obtuvo relaciones entre los coeficientes de una ecuacin y la suma de las potencias de igual grado de sus races. Cramer tambin se ocup del lgebra, pero para su utilizacin en el estudio de las curvas planas, donde descubri la regla conocida con su nombre para la resolucin de sistemas de ecuaciones lineales. Finalmente, Lambert fue un sabio polifactico que se ocup de diversas ramas del saber. En matemticas resolvi problemas de perspectiva, de series, de simbolismo lgico siguiendo las ideas de Leibniz, de la teora de las paralelas y del nmero , demostrando que no es fraccionario. La generacin de Matemticos siguiente a la de Euler es la de Lagrange. Vivieron la revolucin francesa.

5. EL SIGLO DE ORO DE LA MATEMTICA FRANCESA

La preferencia por los mtodos analticos, caracterstica de la matemtica del siglo XVIII, se acenta en Lagrange, creador de la mecnica racional, que

Figura 14. Daniel Bernoulli, 1700-1782.

14

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

Evitar los infinitamente pequeos y los incrementos evanescentes. Independizar el Anlisis tanto de consideraciones geomtricas, es decir de la influencia eucldea, como de consideraciones mecnicas, que era el punto de vista derivado de las fluxiones de Newton.

Figura 16. Lagrange, 1736-1813.

Para ello fundamenta el anlisis de un modo algebraico partiendo de serie de Taylor, con cuyos coeficientes introduce las derivadas, nombre que tambin le debemos. A partir de las derivadas desarrolla de forma algebraica el Clculo Diferencial. El Clculo Integral lo considera inverso al de derivadas. Aunque su mtodo de las derivadas no es riguroso, tiene el mrito de haber dado a la frmula de Taylor la importancia central que tiene en Anlisis. Su intento de eliminar infinitsimos y lmites encontr opositores entre sus contemporneos, cuyas objeciones pasaron inadvertidas hasta la poca de Cauchy.

la concibe como una rama de la matemtica y la llama mecnica analtica. Joseph Louis Lagrange era de origen francs, si bien naci en Italia. Desde los 30 aos residi en Berln y en Pars. Desde sus primeros escritos contribuy a dotar a la matemtica de la generalidad y carcter analtico que las caracteriza. En sus primeros trabajos, estando an en Italia, ya sent las bases del clculo de variaciones, independizndolo de los problemas geomtricos que le haban dado origen, como el problema de los isopermetros y confirindole una mayor generalidad. Su genio creador destac en casi todas las ramas de la matemtica, destacando particularmente en anlisis infinitesimal, teora de nmeros y teora de ecuaciones, donde sus estudios son precursores de la teora de grupos. Simultneamente aplic la matemtica a los ms variados problemas de mecnica, de astronoma y de probabilidades. En 1797, estando Lagrange en Pars, se fund lcole Polytechnique de la que fue profesor unos aos. Como resultado de sus cursos, Lagrange public dos tratados, en 1797 y en 1801, en los que de una manera original, pero no rigurosa, expone sus principios del Anlisis Infinitesimal, pretendiendo:

Figura 17. Laplace, 1743-1827.

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

15

Su obra maestra es la Mcanique Analytique de 1788, donde considera que la Mecnica es una geometra de cuatro dimensiones, siendo el tiempo la cuarta dimensin. Partiendo del principio de las velocidades virtuales y utilizando el clculo de variaciones, Lagrange edifica toda la mecnica, introduciendo el concepto de potencial, el principio de accin mnima y las coordenadas generalizadas. La obra de Pierre Simon Laplace en Astronoma fue comparable a la de Lagrange en Mecnica. En sus cinco volmenes Mecnica Celeste, publicados entre 1799 y 1825, recogi todas sus aportaciones junto a las de Newton, Euler, Clairaut, DAlambert y Lagrange sobre mecnica del sistema solar, expuestos de forma totalmente analtica, sin ms datos de observacin que los indispensables. Laplace expone la hiptesis de la nebulosa, que ya haba sido publicada por Lagrange en un tratado de divulgacin de 1796, que contena un apndice sobre historia de la Astronoma. Siguiendo el mismo mtodo, tambin debemos a Laplace la Teora analtica de las probabilidades, que escribi alrededor de 1812. Volvi sobre esta cuestin en 1820 con su Ensayo filosfico sobre las probabilidades, obra que carece de frmulas matemticas. Laplace fue un matemtico profundo, difcil de leer y con muchas contribuciones originales. Seguimos utilizando la ecuacin de Laplace, que es una ecuacin diferencial de segundo orden en derivadas parciales, que se le present en el estudio de la funcin potencial. De mritos ponderables, aunque inferiores a los de Lagrange y Laplace fue su contemporneo Adrin Marie Legendre, ltimo de los grandes analistas del tipo de Euler y de Lagrange, que lleg a conocer a los nuevos analistas del siglo XIX Cauchy, Abel y Jacobi. Las contribuciones ms importantes de Legendre fueron: 1. Un tratado de teora de nmeros de 1830 en que por primera vez aparece demostrada la ley de reciprocidad, que Euler haba dado sin demostracin y que Gauss la calific como la joya de la aritmtica. Las hoy llamadas integrales elpticas (1811) que permiten calcular la longitud de un arco de
Figura 18. Legendre, 1752-1833.

3.

elipse. Ms tarde, por inversin, las integrales elpticas dieron lugar a las funciones elpticas. En una edicin posterior de su obra, aparecida alrededor de 1830, aadi las investigaciones sobre funciones elpticas hechas por Abel y Jacobi. En 1794 public sus lments de Gomtrie, obra de gran xito adoptada como libro de texto en el continente europeo y en Estados Unidos. Al contrario de lo que ocurra en los Elementos de Euclides, expone primero los teoremas y luego vienen los problemas. La geometra en la obra de Legendre adquiere ya esa fisonoma entre algebraica y geomtrica que caracteriza a nuestra geometra elemental. En un Apndice trae, entre otras novedades, la prueba de la irracionalidad de los nmeros y e, aadiendo la observacin proftica de que es probable que el nmero no sea irracional algebraico, es decir que no sea raz de una ecuacin polinomio de coeficientes enteros.

2.

Tambin se ocuparon de cuestiones de anlisis y de geometra Mascheroni y Lacroix. Lorenzo Mascheroni escribi en 1797 una Geometra del comps donde

16

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

6. EL RENACIMIENTO DE LA GEOMETRA
En la primera mitad del siglo XVIII la geometra no estaba de moda y para pasar por cientfico haba que hacer ostentacin de dominar el anlisis matemtico. Sin embargo, en la segunda mitad de siglo XVIII, la geometra vuelve por sus fueros, y aunque se la sigue estudiando con los recursos del anlisis nacen nuevas

Figura 20. Monge, 1746-1818. Figura 19. Mascheroni, 1743-1800.

prueba que todas las construcciones con regla y comps pueden realizarse slo con comps, resultado que parece ser era ya conocido con anterioridad. Se deben a Silvestre Franois Lacroix tres gruesos volmenes publicados entre 1797 y 1800. En el primero, dedicado al clculo diferencial y a sus aplicaciones geomtricas, utiliza el mtodo de Lagrange, pero no excluye el uso de infinitsimos; el segundo es sobre clculo integral y clculo de variaciones; y el tercero lo dedica a las diferencias finitas y a las series. Una de sus obras didcticas sobre clculo diferencial e integral se tradujo al ingls en 1816 y en 1820 le agreg dos volmenes de ejercicios. Esta obra supuso el fin de las fluxiones de Newton en Inglaterra y la adopcin de la notacin y de los mtodos matemticos continentales en el Reino Unido. Recordando las disputas sobre la paternidad del clculo diferencial entre Newton y Leibnitz, esta adopcin, en alguna manera, compensa a Leibniz de los ataques sufridos por Newton en la defensa de la primaca por el descubrimiento del Clculo Diferencial e Integral. El trmino Geometra analtica se debe tambin a Lacroix.

Figura 21. Carnot, 1796-1832.

Figura 22. Poncelet, 1788-1867.

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

17

ramas que no se pueden abordar slo con anlisis matemtico. Tal es el caso de la Geometra Descriptiva que nace con ese nombre en 1795, gracias a los esfuerzos de Gaspard Monge, y se la define como la rama de la geometra en la que se da unidad y jerarqua cientfica a los procedimientos surgidos hacia finales del siglo XV para proporcionar a pintores y arquitectos normas para la mejor realizacin de sus obras. Se debe a Monge un mtodo para representar curvas y superficies que lleva su nombre. Lo usual en la poca de Monge era utilizar las figuras como pretextos para estudios y ejercicios analticos. Pues bien, Monge, adems de representar curvas y superficies utiliz los recursos del Anlisis para estudiar nuevas propiedades geomtricas de las figuras. Monge fue un gran maestro, por lo que tuvo muchos discpulos. Entre ellos destacan Jean Baptiste Meusnier y Charles Dupin, que se ocuparon de la curvatura de superficies, Charles Brianchon que, slo o con Poncelet, se ocup de las propiedades de las cnicas, y Lazare Carnot que, adems de sus actividades militares y civiles se ocup activamente de la Matemtica, publicando en 1797 el libro Reflexiones sobre la metafsica del clculo infinitesimal, donde ingenuamente defiende que si los conceptos infinitesimales, pese a sus imperfecciones, no conducen a resultados errneos es debido a que los errores que se cometen con ellos se compensan y anulan. Jean Vctor Poncelet se uni al grupo de Monge al regresar a Francia tras varios aos de cautiverio en Rusia. En 1820 public un Ensayo sobre las propiedades proyectivas de las secciones cnicas que dos aos despus lo ampli con el ttulo Tratado de las propiedades proyectivas de las figuras. En este libro aparece el principio de la dualidad que motiv una disputa por su paternidad entre Poncelet y Joseph Daz Gergonne. El principio de Poncelet es un caso particular del de Gergonne, que advirti su generalidad. Gergonne tiene adems el mrito de haber fundado en 1810 la primera revista peridica dedicada exclusivamente a matemticas. La dirigi hasta su desaparicin en 1832; entonces ya haba sembrado semilla, siendo buena prueba el nmero actual de revistas dedicadas slo a la publicacin de artculos matemticos.

7. LA FSICA MATEMTICA
Hemos visto que la segunda mitad del siglo XVIII la geometra toma nueva vida, fundamentalmente por el trabajo de Monge y sus discpulos. En ese mismo perodo el trabajo de Joseph Fourier da lugar al nacimiento de la Fsica Matemtica, que siguiendo las huellas de Lagrange y Laplace estudia los problemas fsicos mediante los recursos del anlisis infinitesimal con el mnimo indispensable de hiptesis fsicas. La obra ms importante de Fourier es una memoria de 1812 sobre La teora analtica del calor, inicio de la utilizacin de las series trigonomtricas, llamadas hoy Series de Fourier. Fourier, con matemtica falta de rigor, obtuvo resultados que han sido el origen de importantes desarrollos matemticos con aplicaciones en Fsica e Ingeniera. Su primer xito fue la determinacin de la temperatura en diferentes puntos de una placa conociendo la temperatura en el borde de la placa. Otros cientficos nacidos en el siglo XVIII que desarrollaron la Fsica Matemtica fueron: Thomas Young y Agustn Fresnel, que aplicaron el anlisis matemtico a la teora ondulatoria de la luz.

Figura 23. Fourier, 1768-1830.

18

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

mquinas de calcular ideadas por Gersten (1735), Hahn (1774) y Mller (1783). Respecto a Geometra en Inglaterra se sigue el mtodo de Euclides, pero en lengua inglesa, con demostraciones modificadas y aadiendo explicaciones. El excelente libro de Simson (1756) tuvo un gran xito. En Francia ya no se ensea siguiendo la tradicin eucldea. Predomina la Introduccin a la Geometra de Clairaut (1741) y desde 1794 se impone la Geometra de Legendre. Antes del siglo XVIII la trigonometra slo era una ciencia auxiliar, pero en este siglo de las Luces se convierte en disciplina matemtica independiente. Aportaciones dignas de mencin son la excelente trigonometra plana de Euler (1748) y su trigonometra esfrica (1753), la reduccin de la trigonometra esfrica a la plana hecha por Lambert (1765) y Legendre (1787), el notable compendio de todos los conocimientos trigonomtricos de Cagnoli (1786) y, finalmente, la gran aportacin de Lagrange (1798 1799) reduciendo toda la trigonometra al teorema de los cosenos. Los textos antes citados tienen partes algebraicas, pero tambin existen buenos textos dedicados al estudio del lgebra simblica escritos por Saunderson (1740), Simpson (1745), Maclaurin (1748), Clairaut (1746), Condillac (1798) y Condorcet (1799). Una exposicin muy interesante y amena es la obra Introduccin al lgebra de Euler (1770) y tienen gran valor las ediciones posteriores a 1774 con comentarios de Lagrange, desde el punto de vista algortmico. Los progresos matemticos conseguidos en el siglo XVIII se publican en escritos sueltos, con poca divulgacin y diseminados en numerosas revistas, por ejemplo: La descomposicin en fracciones simples para integrar las funciones racionales la encontramos en Euler, Acta academiae scientiarum petropolitanae (San Petersburgo) 4, 1780. La demostracin de la regla de los signos de Descartes est en Lagrange, Nouveaux mmoires de lacademie de Sciences. Berlin 1777. Problemas de eliminacin aparecen en Euler Histoire et mmoires de lacademie de Sciences de Berlin 4, 20, 1748.

Figura 24. Poisson, 1781-1840.

Sus xitos llevaron a imponer la teora ondulatoria frente a la corpuscular. Andr-Marie Ampre, clebre por sus investigaciones en el campo electromagntico. Simon Denis Poisson, que obtuvo nuevos resultados en series de Fourier y en descripcin de campos; nos es muy familiar por su ecuacin que seguimos utilizando. George Green, que aplic la funcin potencial, nombre debido al propio Green, en problemas distintos de los gravitatorios, como electricidad y magnetismo. Tambin es el precursor del Teorema de Stokes, ya que su frmula para el clculo de integrales en un camino plano cerrado es la de Stokes en dos dimensiones. Finalmente, a Gabriel Lam le debemos contribuciones exclusivamente matemticas y la aplicacin del anlisis matemtico en la teora del calor y de la elasticidad.

8. ALGUNOS LIBROS, MQUINAS Y ARTCULOS MATEMTICOS DEL SIGLO DE LA ILUSTRACIN

Los libros de matemtica general ms utilizados fueron los de Clausberg (1732), Bzout (1764/69 y 1770-1772), Lemoine (1790). Tambin se utilizan las

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101

19

La regla de Cramer de resolucin de sistemas de ecuaciones lineales por medio de determinantes est en Bzout, Histoire et mmoires de lacademie de Sciences de Paris 1764 y 1779; en Vandermonde, Histoire et mmoires de lac. sc. de Pars 1772; y en Laplace, Nouveaux mmoires de lacademie de Sciences. Berlin 1773. La posibilidad de poder representar las soluciones de las ecuaciones polinmicas en formas compleja hizo suponer a Euler (Miscellanea Berolinensia 7, 1743) que todas las ecuaciones de coeficientes reales pueden descomponerse en factores lineales y cuadrticos con coeficientes reales. DAlambert (Histoire et mmoires de lacademie de Sciences de Berlin 2, 1746) trata de demostrar el problema fundamental del lgebra, demostracin que Gauss discute (1799) y completa decisivamente. La resolucin de ecuaciones de grado mayor que 2 se encuentra en Euler, Commentarii Academiae Petropolitanae 6, 1732, 1733 y siguientes, donde se expone la solucin de las ecuaciones de grados tercero y cuarto; en Bzout, Histoire et mmoires de lacademie de Sciences de Pars 1762; en Lagrange, Nouveaux mmoires de lacademie de Sciences Berlin 1770-1771; en Vandermonde, Histoire et mmoires de lacademie de Sciences de Pars 1771; y en Malfatti, Atti Ac. Siena, 1771, donde a partir de la resolucin de ciertas ecuaciones polinmicas de quinto grado se descubre la resolvente de la ecuacin polinmica de grado sexto. Tipos de ecuaciones que pueden resolverse por radicales aparecen en Bzout, Histoire et mmoires de lacademie de Sciences de Pars 1762, 1765 y en Euler en 1776 1788. Problemas relativos a la divisin de la circunferencia se encuentran en Euler, Commentarii Academiae Petropolitanae 13, 1741 1745 y en Vandermonde, Histoire et mmoires de lacademie de Sciences de Pars 1771. Estos resultados fueron el punto de partida para que Gauss resolviese con regla y comps la construccin de un polgono regular de 17 lados (1796). El mejor compendio sobre la resolubilidad de ecuaciones polinmicas se encuentra en Lagrange,

Nouveaux mmoires de lacademie de Sciences Berlin, 1770-1771, quien duda de que puedan resolverse algortmicamente la ecuaciones de orden superior, introduce distintos las funciones semisimtricas y abre el camino a los trabajos de Ruffini (1799, intento de demostrar la irresolubilidad de las ecuaciones de grado quinto), de Abel (1824, artculo del Crelles Journal. 1, 1826) y de Galois, quien trabajando alrededor del problema de la irresolubilidad elabora desde 1829 las ideas principales sobre la teora de conjuntos. Las frmulas de Newton para calcular las sumas de las potencias sk de las soluciones de ecuaciones polinmicas (primera impresin hecha en 1707 para k menor que el grado n de la ecuacin) son utilizadas por Euler en Commentarii Academiae Petropolitanae 7, 1734 1735, para probar que
2 1 + 1 + 1 + 1 + 1 + ... + 12 + ... = 4 9 16 25 6 k

suma que se deseaba calcular desde haca 80 aos. Las frmulas de Newton son demostradas por Brmann (1745) y Kstner (1757), e impresas en Dissertationes Mathematics physisc, Soc. sc. Gttingen (1771). Las frmulas para k n son obtenidas y demostradas por Euler (1747; impresin Opusc. II, 1750).

BIBLIOGRAFA
1. Bailhache, P. (1995) Deux mathmaticiens musiciens: Euler et d'Alembert. Physis Riv. Internaz. Storia Sci. (N.S.) 32 (1), 1-35. Borgato, M.T. & Pepe, L. (1987) Lagrange in Turin (1750-1759) and his unpublished lectures at the Royal School of Artillery. Boll. Storia Sci. Mat. 7 (2), 3-43. Borgato, M.T. & Pepe, L. (1988) An unpublished memoir of Lagrange on the theory of parallels. Boll. Storia Sci. Mat. 8 (2), 307-335. Borgato, M.T. & Pepe, L. (1989) The family letters of Joseph-Louis Lagrange. Boll. Storia Sci. Mat. 9 (2), 192-318. Bourbaki, N. (1976) Elementos de la Historia de las Matemticas. Ed.: Alianza Universidad. Boyer, C. B. (1986) Historia de la Matemtica. Ed.: Alianza Editorial S.A.. Calinger, R. (1996) Leonhard Euler: The first St Petersburg years (1727-1741). Historia Mathematica 23, 121-166. Cassirer, E. (1993) La Filosofa de la Ilustracin.

2.

3.

4.

5. 6. 7.

8.

20

Manuel Lpez Pellicer Ed.: Fondo de Cultura Econmica de Espaa. Chobanov, G. & Chobanov, I. (1988) Lagrange or Euler? III. The future. Annuaire Univ. Sofia Fac. Math. Inform. 82 (2), 63-109. Comte, C. (1989) Joseph-Louis Lagrange pote scientifique et citoyen europeen. La Recherche 208, 394-396. Costabel, P. (1989) Lagrange et l'art analytique, Comptes rendus de l'Acadmie des sciences. Srie gnerale, La vie des sciences, 167-177. Delsedime, P. (1971) La disputa delle corde vibranti ed una lettera inedita di Lagrange a Daniel Bernoulli. Physis - Riv. Internaz. Storia Sci. 13 (2), 117-146. Dunham, W. (2000) Euler el maestro de todos los matemticos. Ed.: Nivela (Madrid). Edwards, H.M. (1983) Euler and quadratic reciprocity. Math. Mag. 56 (5), 285-291. Erds, P. & Dudley, U. (1983) Some remarks and problems in number theory related to the work of Euler. Math. Mag. 56 (5), 292-298. Fraser, C.G. (1985) J. L. Lagrange's changing approach to the foundations of the calculus of variations. Arch. Hist. Exact Sci. 32 (2), 151-191. Fraser, C.G. (1987) Joseph Louis Lagrange's algebraic vision of the calculus. Historia Math. 14 (1), 38-53. Fraser, C.G. (1990) Lagrange's analytical mathematics, its Cartesian origins and reception in Comte's positive philosophy. Stud. Hist. Philos. Sci. 21 (2), 243-256. Fraser, C.G. (1992) Isoperimetric problems in the variational calculus of Euler and Lagrange. Historia Math. 19 (1), 4-23. Fraser, C.G. (1994) The origins of Euler's variational calculus. Arch. Hist. Exact Sci. 47 (2), 103-141. Frisinger, H. H. (1981) The solution of a famous twocenturies-old problem: The Leonhard Euler Latin square conjecture. Historia Math. 8 (1), 56-60. Gaukroger, S. (1982) The metaphysics of impenetrability: Euler's conception of force. British J. Hist. Sci. 15 (50), 132-154. Hamburg, R.R. (1976/77) The theory of equations in the 18th century: The work of Joseph Lagrange. Arch. History Exact Sci. 16 (1), 17-36. Hazard, P. (1991) El pensamiento europeo en el siglo XVIII. Ed.: Alianza Editorial. Hirano, Y. (1995) Quelques remarques sur les travaux de Lagrange qui concernent la thorie des quations algbriques et la notion prliminaire de grou-

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2007; 101 pes. Historia Sci. (2) 5 (1), 75-84. Julia, G. (1942-1950) La vie et l'oeuvre de J.-L. Lagrange. Enseignement Math. 39, 9-21. Le Lionnais, F. (1962) Las grandes corrientes del pensamiento matemtico. Ed.: Eudeba. Ltzen, J. (1983) Euler's vision of a general partial differential calculus for a generalized kind of function. Math. Mag. 56 (5), 299-306. Munck, T. (2001) Historia social de la Ilustracin. Ed.: Editorial Crtica. Panza, M. (1991) The analytical foundation of mechanics of discrete systems in Lagrange's 'Thorie des fonctions analytiques', compared with Lagrange's earlier treatments of this topic I. Historia Sci. (2) 1 (2), 87-132. Panza, M. (1992) The analytical foundation of mechanics of discrete systems in Lagrange's 'Thorie des fonctions analytiques', compared with Lagrange's earlier treatments of this topic II. Historia Sci. (2) 1 (3), 181-212. Sachs, H., Stiebitz, M. & Wilson R.J. (1988) An historical note: Euler's Knigsberg letters. J. Graph Theory 12 (1), 133-139. Shields, A.L. (1988) Lagrange and the 'Mecanique analytique'. The Mathematical intelligencer 10 (4), 7-10. Szebehely, V. (1992) Lagrange and the three-body problem, La 'Mcanique analytique' de Lagrange et son hritage, Atti Accad. Sci. Torino Cl. Sci. Fis. Mat. Natur. 126, suppl. 2, 201-213. Taton, R. (1992) Lagrange et la Rvolution franaise (juillet 1789 - novembre 1795), La 'Mcanique analytique' de Lagrange et son hritage. Atti Accad. Sci. Torino Cl. Sci. Fis. Mat. Natur. 126, suppl. 2, 215-255. Taton, R. (1988) Sur quelques pices de la correspondance de Lagrange pour les annes 1756-1758. Boll. Storia Sci. Mat. 8 (1), 3-19. Taton, R. (1974) Inventaire chronologique de l'oeuvre de Lagrange. Rev. Hist. Sci. 27, 3-36. Valjavec, F. (1964), Historia de la Ilustracin en Occidente. Ed.: Ediciones Rialp. van Maanen, J.A. (1983/84) Leonhard Euler (17071783): man, worker, migrant, genius. Nieuw Tijdschr. Wisk. 71 (1) 1-11. von Wiese, B. (1979), La cultura de la Ilustracin. Ed.: Centro de Estudios Polticos y Constitucionales. Weil, A. (1984) Euler. Amer. Math. Monthly 91 (9), 537-542.

9.

26. 27. 28.

10.

11.

29. 30.

12.

13. 14. 15.

31.

16.

32.

17.

33.

18.

34.

19.

35.

20. 21.

36.

22.

37. 38. 39.

23.

24. 25.

40. 41.