Amadeu Delshams; Maria Rosa Massa

volum ix

2008

Quaderns dHistria de lEnginyeria

volum ix

2008

MENGOLI, Pietro (1659) Geometriae Speciosae Elementa, Bologna. MENGOLI, Pietro (1672) Circolo, Bologna. NATUCCI, A (1970) Mengoli Dins: GILLISPIE, C.C. (ed.) Dictionary of Scientific Biography, Scribners 9, Nova York, 303-304. PASCAL, Blaise (1954) Oeuvres compltes, Paris, Gallimard. PROBST, Siegmund (en premsa) The reception of Pietro Mengolis Work on Series by Leibniz (1672-1676). Dins: Actes de Joint International Meeting UMI-DMV, Perugia, 18-22 June 2007. WALLIS, John (1693-99) Opera Mathematica, 3 vols, Oxford, reimprs Hildesheim: Olms 1972 amb la mateixa paginaci. YOUSCHKEVITCH, Adolf P. (1971) Leonhard Euler, Dins: GILLISPIE, C.C. (ed.) Dictionary of Scientific Biography, Scribners 9, Nova York, 467-484.

EULER Y LA GEOMETRA ANALTICA

Pedro Miguel Gonzlez Urbaneja pgonzale@xtec.cat

Aquest treball sinclou en el projecte HUM2007 - 62222/HIST del Ministeri de Cincia i Innovaci.

Euler sistematiz y unific inmensos espacios matemticos de resultados parciales y teoremas aislados de su poca, extrayendo los fundamentos y asociando los puntos esenciales con la inmensa potencia de su genio analtico. [] Euler es el primero y quiz el ms grande de los universalistas matemticos (BELL, 1950: 166,167). La ltima parte de la Introductio de Euler, como aplicacin del lgebra a la Geometra, es un tratado sistemtico de Geometra Analtica en el sentido de Fermat (BOYER, 1956: 181). La lectura de los papeles de Euler es una experiencia tan estimulante como impresionante por su imaginacin y originalidad. A veces, un resultado muy conocido, se presenta de forma tan genial que desearamos que los comentaristas sucesivos no lo hubiesen interpretado (AYOUB, 1974: 1.069). Rodeado de un respeto universal, con nobleza de carcter pudo, al final de su vida, considerar como discpulos suyos a todos los matemticos de Europa (Panegrico de Cordorcet sobre Euler).

1.- Introduccin. 1.1.- El programa de Fermat y Descartes llevado a la perfeccin por Euler. La Geometra Analtica es la aplicacin del lgebra simblica al estudio de problemas geomtricos mediante la asociacin de curvas y ecuaciones indeterminadas en un sistema de coordenadas. El Anlisis Geomtrico griego de Menecmo, Apolonio y Pappus utilizaba el equivalente de un sistema de coordenadas, pero careca del lgebra simblica. Vieta en su Arte Analtica pudo disponer del instrumento algortmico del lgebra simblica que aplicaba a problemas geomtricos, pero no lleg a utilizar coordenadas. El alumbramiento de la 82 83

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Euler y la Geometra Analtica

volum ix

2008

Geometra Analtica por parte de Fermat y Descartes tiene lugar al aunar ambos aspectos en el estudio de las curvas: la introduccin de coordenadas y la mecnica operatoria del lgebra simblica en la aplicacin a los lugares definidos por una ecuacin en dos incgnitas. Fermat y Descartes crean, de forma independiente y complementaria, un poderoso instrumento de exploracin matemtica, un potente mtodo de investigacin geomtrica, mediante el que pudieron plantear y resolver de forma admirable, brillante y prodigiosa, problemas difciles, antiguos, clsicos y modernos, como la determinacin de las rectas normales a las curvas, el Problema de Pappus y el Problema de Apolonio, entre otros, en el caso de Descartes y otros muchos como los problemas de lugares geomtricos, el estudio de elementos notables de las curvas, extremos y tangentes, cuadraturas y cubaturas, centros de gravedad y rectificacin en el caso de Fermat. Y todo ello a partir de 1637. En efecto, Descartes publica en 1637 La Geometra [G. AT, VI, 367-485]1 como uno de los apndices de su Discurso del Mtodo. El mismo ao, Fermat enva al Padre Mersenne, en Pars, sus investigaciones de alrededor de 1629 contenidas en la memoria [TH. OF. III. 85-101] Introduccin a los Lugares Planos y Slidos (Ad Locos Planos et Solidos Isagoge). Las obras citadas de Descartes y Fermat contienen los fundamentos de la llamada ms tarde Geometra Analtica2. Pues bien, los trabajos de Euler sobre Geometra Analtica representan la consumacin de las ideas de Fermat y Descartes en la aplicacin de las ecuaciones del lgebra a la resolucin de problemas geomtricos mediante sistemas de coordenadas. Euler explota los mtodos analticos introducidos por Fermat y Descartes y desarrollados por Van Schooten, De Witt, Wallis, La Hire, LHpital,, y bajo la idea de que mejor que de nuestro juicio, debemos fiarnos del clculo algebraico, Euler da un gran

paso de gigante en la sistematizacin de la Geometra Analtica plana y tridimensional. Buena parte de lo que hoy se ensea en los cursos de Geometra Analtica se debe prcticamente a Euler, en particular, la teora de secciones cnicas y las superficies cuadrticas, desde el punto de vista unificado proporcionado por la ecuacin general de segundo grado con seis trminos para las cnicas y con diez trminos para las cudricas. Sobre cnicas, realiza un tratamiento analtico general libre de referencias al cono e incluso a diagramas; refiere la cnica a sus ejes principales, realiza la clasificacin de cnicas, encuentra los puntos, lneas y razones notables y demuestra con sorprendente pericia numerosas propiedades de la geometra de estas curvas. Si en el caso de las cnicas, Euler ampla y perfecciona los trabajos anteriores al normalizar de forma definitiva y programtica su estudio, para las cudricas es un autntico pionero en la investigacin de los elementos geomtricos y propiedades de estas superficies. Y todo ello con una habilidad magistral en el manejo del cambio de coordenadas. En este sentido, el eximio historiador de la Geometra M. Chasles, escribe sobre el trabajo de Euler (Aperu historique sur lorigine et le dveloppement des mthodes en gomtrie, Bruxelles, Hayez, 1837. Cap. IV, pg. 152): Euler, en su Introductio in analysin infinitorum, expone los principios generales de la teora analtica de las curvas geomtricas, con la generalidad y claridad que caracteriza los escritos de este gran gemetra. Cuatro volmenes de su Opera Omnia, que contienen casi 1.600 pginas, son dedicados por Euler a la investigacin geomtrica. Una parte corresponde a la Geometra Sinttica, es decir la Geometra habitual de Euclides o de Arqumedes que no utiliza coordenadas, pero la mayora de sus trabajos geomtricos son de tipo analtico. En ellos, Euler utiliza, con una maestra sin par, unas veces con elegancia y naturalidad y otras con espectacularidad, pero siempre con asombrosa agudeza y portentosa originalidad, el maravilloso poder algortmico del lgebra. Por eso la lectura de sus textos es una fuente de entusiasmo matemtico ante el despliegue inusitado de una impresionante imaginacin. En palabras de W. DUNHAM (2000: 24, 25, 219, 229): Si extraordinaria fue la calidad de sus logros, tambin lo fue su inmen85

Los textos originales de Descartes y Fermat que se transcriben en el artculo se tomarn de sus ediciones estndares (ver 12.2 de la Bibliografa). La referencia concreta a un texto de Fermat se har indicando el tomo y la pgina a continuacin de la partcula TH. OF., mientras que para un texto de Descartes se har indicando la pgina a continuacin de la partcula DM. AT, VI, o G. AT, VI, respectivamente, segn se trate de El Discurso del Mtodo o de La Geometra. Por ejemplo (G. AT. VI. 372) indicar que el texto al que se hace alusin se encuentra en la pgina 372 del sexto tomo de las Oeuvres de Descartes, que contiene La Geometra de Descartes. Para una visin exhaustiva de los antecedentes histricos de la Geometra Analtica, anteriores a Euler, se puede consultar la siguiente obra del autor de este artculo: GONZLEZ URBANEJA, P. M. (2003) Los orgenes de la Geometra Analtica. Tenerife, Fundacin Canaria Orotava de Historia de la Ciencia.

84

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Euler y la Geometra Analtica

volum ix

2008

sa cantidad de escritura fresca y entusiasta []. Fue maestro a la hora de inventar demostraciones alternativas para llegar al mismo resultado. []. Sus demostraciones son una mezcla de intuicin geomtrica y perseverancia algebraica []. El gran analista, algebrista y terico de los nmeros del siglo XVIII era tambin un gran gemetra. Su versatilidad matemtica no tena lmites.

2.- El tomo II de la Introductio in analysin infinitorum de Euler. La aplicacin de geometra analtica est, como se ha dicho, en multitud de pginas de Euler, pero sin duda la fuente ms relevante de la aplicacin de la Geometra Analtica en Euler es precisamente el tomo II de su obra ms importante y famosa, la Introductio in analysin infinitorum de 1748, donde trata sistemticamente la Geometra con coordenadas. La Introductio de Euler es una de los tratados ms importantes de toda la Historia de la Matemtica y lo es sobre todo respecto de la Geometra Analtica. El gran historiador C.B. Boyer se pronuncia, sobre esta obra de Euler, en la que hoy sigue siendo el principal manual de referencia sobre la Historia de la Geometra Analtica (BOYER, 1956: 180)3: La Introductio de Euler es probablemente el libro de texto ms influyente de los tiempos modernos. Es el trabajo que convirti el concepto de funcin en bsico para las Matemticas [...]. La Introductio es para el Anlisis elemental lo que Los Elementos de Euclides es para la Geometra. Quiz lo ms sobresaliente de la Introductio, desde el punto de vista del desarrollo de la Geometra Analtica, sea el tratamiento general de Euler. A partir de entonces surge realmente una de las grandes ventajas de los mtodos analticos modernos frente al enfoque sinttico de los antiguos: muchos casos especficos de las cuestiones geomtricas pueden ser incluidos en una formulacin global. Este aspecto de generalidad que permita el lgebra frente a la singularidad de cada problema en la Geometra de los griegos era uno de los rasgos ms relevantes sealados por Descartes en La
3

Geometra y Fermat en la Isagoge, pero haba sido en parte oscurecido por los siguientes matemticos, anteriores a Euler, que se ocupan de la intervencin del lgebra en la Geometra (Van Schooten, Debeaune, Hudde, De Witt, Wallis, Sluse, Lahire, Craig, Stirling, LHpital, Hermann, MacLaurin, Clairaut, Agnesi, ...), incluso en cuestiones muy bsicas, como por ejemplo, en el estudio de la ecuacin de la recta, que se subdivida en numerosos casos diferentes, en las transformaciones de coordenadas o en la persistente dependencia de los diagramas geomtricos como base de los razonamientos en los problemas. Euler cambiar radicalmente esta situacin propiciando ms que ningn otro matemtico la generalizacin de los mtodos analticos mediante el uso de coordenadas y ecuaciones como instrumentos algebraicos para la resolucin de los problemas geomtricos. Segn el gran historiador Gino Loria (1862-1954) el ao 1748 es tan importante como el ao 1637 para la Historia de la Geometra Analtica ya que con la publicacin de la Introductio in analysin infinitorum de Euler, esta herramienta de la Matemtica adquiere una robusta estructura que permite nada menos que disponer de un material apto ya para su proyeccin acadmica4. Segn Boyer5, mientras los trabajos inmediatos de McLaurin y Agnesi de 1748 estn comprometidos todava con la tradicin cartesiana de las construcciones geomtricas, la contribucin de Euler en este mismo ao marca una definitiva victoria de las tendencias de Fermat. El tomo II de la Introductio in analysin infinitorum consta de dos partes bien diferenciadas. El grueso del libro es un estudio analtico (es decir, con ecuaciones y coordenadas) muy completo y sistemtico de las lneas curvas en general, con un nfasis especial en las secciones cnicas. La segunda parte, titulada Tratado abreviado de superficies, a modo de apndice, aunque muy extenso, es un estudio analtico de las superficies en general es un tratado metdico de Geometra Analtica tridimensional en el sentido de Fermat, con un nfasis especial en las cudricas. Los diversos captulos estn divididos en epgrafes a modo de artculos en total 540 para las curvas y 152 para las superficies. Las figuras, de gran calidad grfica, estn situadas en lminas al final de la obra, y se hace referencia a ellas en los mrgenes del texto.

Dover Publications ha reeditado en 2004 la importante obra de Carl. B. Boyer con el mismo nombre, History of Analytic Geometry.

4 5

LORIA (1923: 825). BOYER (2004: 179-180).

86

87

Pedro Miguel Gonzlez Urbaneja

88
Primera edicin en francs de la Introduction a lanalyse infinitsimale de Euler. Pars, 1797.

Primera edicin de la Introductio in analysin infinitorum de Euler. Lausanne, 1747.

volum ix
2008

Euler y la Geometra Analtica volum ix

89

2008

ndice de captulos del tomo II de la Introduction a lanalyse infinitsimale de Euler.

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Euler y la Geometra Analtica

volum ix

2008

3.- Curvas, funciones y ecuaciones. Introduccin de las coordenadas6. Para empezar, y antes de introducir las secciones cnicas que hasta entonces, en palabras de Euler, haban sido casi el nico objeto de esta rama de las matemticas, Euler da una teora general de curvas basada en la idea de funcin que haba desarrollado en el primer tomo de la Introductio que como sabemos est destinado al anlisis puro, y en la que la distincin cartesiana entre curvas geomtricas y mecnicas aparece ya en terminologa moderna de curvas algebraicas y trascendentes. En el captulo I Euler trata de las curvas en general. Y empieza introduciendo las coordenadas mediante el uso de un nico eje sobre el que, al fijar un punto como Origen, define las abscisas y levanta ordenadas perpendiculares u oblicuas.

cmoda de representar geomtricamente una funcin y cualquiera de x. Sobre una recta indefinida RAS en la que se representan los valores de x, para cada valor determinado de AP de x se eleva sobre la lnea dada una perpendicular PM (Fig. 2), igual al valor correspondiente de y (hacia arriba o hacia abajo segn el signo de y). Los extremos M de cada una de las perpendiculares representarn una cierta lnea recta o curva, que, en consecuencia, estar determinada por la funcin y [art. 6, pg. 3]. Euler indica: As cada funcin de x referida de esta manera a la geometra, dar una lnea recta o curva, cuya naturaleza depender de la funcin. En una digresin inmediata [art. 8, pg. 4], Euler indica que, aunque se pueden describir las curvas mecnicamente por el movimiento continuo de un punto que presenta a los ojos la curva en su conjunto, es preferible considerarla como resultado de una funcin, que es una forma ms analtica, ms general y ms propia del clculo. Euler alude al trmino analtico. Veremos que se mueve con los instrumentos de la Geometra Analtica pero la temtica es propia del Anlisis Infinitesimal. Magnificando la tradicin poscartesiana, Euler har de la Geometra Analtica una potente herramienta del Clculo Infinitesimal y en particular del estudio de funciones. En el artculo 11 (pg. 5) Euler hace una recapitulacin de terminologa con nombres a retener: eje (en singular), origen de abscisas, abscisas y ordenadas. Aqu nombra por vez primera como ordenadas a las perpendiculares PM trazadas desde los extremos de las abscisas a la curva y dice que normalmente sern perpendiculares u ortogonales, pero que a veces utilizar ordenadas oblicuas. Como queriendo enfatizar nuevamente el ntimo vnculo entre curva y funcin, Euler repite de nuevo [art. 12, pg. 5] que la naturaleza de la lnea curva, cuando es continua, depender de la de la funcin, o de la manera como las constantes y las cantidades x, y se combinan entre ellas. Y vuelve a repetir la misma idea en referencia a cuando la funcin est expresada de forma implcita [art. 14, pg. 6], y lo hace de una forma totalmente cartesiana. Ambas vertientes del Principio Fundamental de la Geometra Analtica7 son
7

Euler explica [art. 1, pg. 1] de forma muy retrica la presentacin al espritu de valores determinados de las cantidades variables como segmentos o intervalos de recta. Sobre una recta, fijado un punto A como Origen (Fig. 1) mide hacia la derecha valores positivos y hacia la izquierda valores negativos. As introduce las abscisas, palabra que pone en mayscula.

A continuacin [art. 4, pg. 2] Euler explica cmo dada una cantidad variable x, representada por una lnea recta buscamos una manera muy
6

Las referencias literales y exegticas a la obra de Euler Introductio in analysin infinitorum se harn respecto al tomo II de la traduccin al francs realizada por J.B. Labey, publicada en Pars, en 1797, con el ttulo de Introduction a lanalyse infinitsimale. A lo largo de la exposicin se hace referencia a los diversos epgrafes a modo de artculos sealando el nmero de artculo y la pgina de la obra de Euler. En cuanto a las figuras, para mantener la literalidad se reproducirn manteniendo su numeracin las propias ilustraciones grficas de la obra de Euler, pero por su mejor calidad grfica se tomarn de la edicin original en latn.

Sobre esta cuestin puede consultarse el artculo del mismo autor: GONZLEZ URBANEJA (2007: 205-236).

90

91

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Euler y la Geometra Analtica

volum ix

2008

claramente establecidas por Euler. De acuerdo con Fermat, (TH. OF. III. 85), Euler establece que: Cualquier funcin y de x da lugar a una lnea recta o curva continua que puede ser descrita mediante un grfico, Y de acuerdo con Descartes (G. AT, VI, 412), Euler reconoce que: La naturaleza de una curva cualquiera viene dada por una ecuacin en dos variables, x, y, de las cuales x es la abscisa e y es la ordenada, que en conjunto se llaman coordenadas. Euler ha sustituido el trmino cartesiano de construccin por el de grfico. Con ello se decanta ms hacia el aspecto fermatiano del trazado de curvas dadas por sus ecuaciones que hacia la derivacin cartesiana de las ecuaciones de los lugares.

Y en efecto Euler estudia de forma exhaustiva [arts. 25-35] las diversas posibilidades del cambio de coordenadas al cambiar el origen de abscisas (equivalente a una traslacin) o cambiar la direccin del eje (que maneja mediante el coseno y el seno del ngulo), o cambiar ambos elementos; en particular los casos en los que se toma como origen de abscisas un punto de interseccin de la curva y el eje, que proporcionan una expresin ms sencilla para la ecuacin; y en general tomando un eje y un origen arbitrarios que darn lugar a la llamada por la costumbre y tambin por Euler [art. 35, pg. 16] ecuacin general de la curva. Ante el problema que surge de inmediato: probar si dos ecuaciones representan la misma curva o pertenecen a curvas diferentes [art. 36, pgs. 16-17], Euler indica que la bsqueda de un cambio de coordenadas resolver de forma ms o menos prolija la cuestin y pone un ejemplo: Estudiar si las dos ecuaciones: yy ax = 0, 16u2 24tu + 9t2 55au + 10at = 0, representan a la misma curva. Euler busca un cambio de coordenadas: x = mu+ntf , y = numt g, que aplicado a la primera ecuacin la trasforme en la segunda, y tras algunos clculos obtiene: n = 4/5, m = 3/5, g = a, f = a. Por consiguiente: las dos ecuaciones propuestas representan la misma curva. Pero est claro que esta operacin slo se ensaya cuando las ecuaciones son del mismo grado porque en otro caso representan necesariamente curvas diferentes [arts. 36-37]. Euler vuelve sobre este asunto en los ltimos epgrafes del Captulo II. Ya al final escribe [art. 46, pgs. 21-22]: De cualquier manera que se transforme la ecuacin de una curva, cambiando como se quiera el eje y el origen de las abscisas con diversas inclinaciones de las coordenadas, la ecuacin permanecer siempre del mismo orden. Por consiguiente, aunque una ecuacin entre las coordenadas ya sean perpendiculares u oblicuas pueda variar de una infinidad de maneras, sin dejar de pertenecer a la misma curva, nunca se podr reconducir a un grado superior o inferior. Es por ello que ecuaciones de orden diferente, cualquiera que sea la afinidad que parezcan tener entre ellas, representarn siempre curvas diferentes.

4.- El cambio de coordenadas. En el Captulo II Euler emprende el estudio de cmo afecta a la ecuacin de la curva los cambios de coordenadas debido a la arbitrariedad del eje de coordenadas y el origen de abscisas, de modo que [art. 23, pg. 10]: Se podr tener para una misma lnea curva una cantidad innumerable de ecuaciones, por lo que no se puede siempre de la diversidad de ecuaciones concluir la de las lneas curvas que representan, aunque curvas diferentes dan siempre ecuaciones diferentes. En el epgrafe siguiente [art. 24, pg. 11] Euler adelanta lo que va a hacer: Daremos en este captulo un mtodo, por medio del cual dada la ecuacin de una curva se puede encontrar respecto de otro eje cualquiera y otro origen de abscisas, una ecuacin entre las coordenadas, que expresa la naturaleza de la misma curva: se encontrar de esta manera todas las ecuaciones que corresponden a la misma curva, y ser as ms fcil juzgar la diversidad de las lneas curvas por medio de las ecuaciones. 92

93

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Euler y la Geometra Analtica

volum ix

2008

5.- La ecuacin de la recta. Euler aplica a las rectas lo que prescribe en general para las curvas y maneja una nica forma general de la ecuacin de la recta que obtiene en la forma: x + y a = 0.

Euler indica: Como es la ecuacin general de primer orden entre t y u, est claro que ninguna ecuacin de primer orden entre dos coordenadas representa una lnea curva sino una lnea recta. Dada la ecuacin general de una recta LN en la forma x + y a = 0 (Fig. 13), Euler Indica lo que para nosotros seran los puntos de corte con los ejes [art. 40, pgs. 18-19]: Tomando y = 0 se encuentra el punto C, interseccin de la recta LN con el eje RS: AC = a/; y tomando x = 0 se obtiene el valor de la ordenada en el origen de abscisas: AB = a/, que para nosotros sera la interseccin con el eje de ordenadas.

Comienza [art. 39, pg. 18] por una recta LM paralela al eje RS (Fig. 12). Para cualquier posicin del origen A de abscisas, la ordenada ser siempre constante, es decir y = a, que tal ser la ecuacin de la lnea recta paralela al eje. A continuacin busca la ecuacin general de la lnea recta respecto de un eje cualquiera RS. Tomando: G = DG, m = seno del ngulo ODs, n = coseno del ngulo ODs, T = DQ la abscisa, u = MQ la ordenada, ya que y = nu mt g, se tiene: nu mt g a = 0, ecuacin general de la lnea recta. Multiplicamos por la constante k, y llamamos: nk = , mk = , y a = 0, (g+a)k = -b. Tendremos entonces la ecuacin: u + t + b=0 para la lnea recta. 94 95 es decir: , Euler comprueba mediante semejanza de tringulos que cualquier otro punto M de la recta BC cumple la ecuacin propuesta. En efecto: si x es la abscisa, y es la ordenada correspondiente, siendo semejantes los tringulos CPM y CAB, resulta: ,

de donde se deduce: ;

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Euler y la Geometra Analtica

volum ix

2008

y de aqu: x + y a = 0, que es la ecuacin propuesta. Euler menciona [art. 41, pg. 19] especficamente los casos singulares = 0, = 0, y = a = 0, pero no = a = 0, seguramente porque, como se ha dicho, todava utiliza un solo eje. Y termina el estudio de la recta con estas palabras: Se ve, pues, claramente que las lneas rectas pueden ser designadas por ecuaciones entre coordenadas perpendiculares. Euler remarca que toda lnea recta queda determinada por dos puntos, lo que implica que se puede encontrar su ecuacin por medio de coeficientes indeterminados. Sin embargo, Euler no abunda mucho en el estudio de las ecuaciones de primer grado porque [Cap. V, art. 85, pg. 39]: La naturaleza de la geometra de la lnea recta es ya bien conocida por los elementos de Geometra, lo cual es una lstima porque con ello se retras en unos cincuenta aos el desarrollo de la parte ms elemental de la Geometra Analtica, objeto durante la Matemtica de la Revolucin Francesa de multitud de libros de texto. Lo mismo puede decirse con respecto a la Geometra Analtica del crculo. Tal vez Euler, como Newton, tena la impresin de que la Geometra Analtica no se haba desarrollado o no era muy apta para los problemas elementales en torno a lneas rectas y crculos; o tal vez la limitacin platnica de la regla y el comps todava deba ser reminiscente en los tiempos de Euler.

El primer orden comprende la lnea recta [art. 52, pg. 24], cuya ecuacin general ser la de primer grado: 0 = + x + y, y es la ms simple de todas las lneas. Todas la lneas de segundo orden estarn comprendidas en la ecuacin general de segundo orden [art. 54, pg. 25]: 0 = + x + y + xx + xy + yy. Estas curvas son las ms simples de todas puesto que no hay ninguna lnea curva en las de primer orden; es por esta razn por las que algunos las llaman lneas curvas de primer orden. Euler indica que las curvas representadas por esta ecuacin son ms conocidas bajo el nombre de secciones cnicas, porque resultan de la seccin de un cono y sus especies son el crculo, la elipse, la parbola y la hiprbola. Sigue la relacin de curvas de orden superior al segundo [arts. 55-57]. Euler comenta el nmero de trminos igual al de letras constantes que tienen las curvas de cada orden: 3 las del primero, 6 las del segundo, 10 las del tercero, 15 las del cuarto, 21 las del quinto, 28 las del sexto. En general el nmero de trminos sigue la ley de los nmeros triangulares, as que la ecuacin general de las lneas de orden n contiene Tn = (1/2)(n+1)(n+2) trminos. El Captulo IV trata de las principales propiedades de cada orden de curvas algebraicas a tenor del grado de su ecuacin. Comienza diciendo [art. 66, pg. 31]: Entre las principales propiedades de las lneas de cada orden la que sobresale en primer lugar es su incidencia con la lnea recta, o ms bien el nmero de intersecciones que estas lneas pueden tener con ellas; [] la solucin de esta cuestin servir para conocer mejor la naturaleza de las lneas curvas de los diversos rdenes. Se demostrar que una lnea de segundo orden no podr ser cortada por una recta en ms de dos puntos; una lnea de tercer orden en ms de tres, y as sucesivamente. En particular, Euler recuerda la forma de encontrar los puntos de interseccin de la curva con el eje donde la ordenada y = 0 [art. 67, pgs. 31-32, y pone el ejemplo de un crculo. En el artculo siguiente [68] Euler indica que el nmero de intersecciones de una curva con una recta cualquiera depende del grado de la ecuacin de 97

6.- La clasificacin de las curvas algebraicas. En el Captulo III Euler clasifica las curvas algebraicas en rdenes segn el grado de cualquiera de las ecuaciones que las pueden representar en un sistema de coordenadas [art. 51, pg. 24]. Claro est que [art. 59, pg. 27]: si la curva es irracional habr que liberarla [mediante operaciones potenciales] de su irracionalidad y si tiene fracciones habr que hacerlas desaparecer. 96

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Euler y la Geometra Analtica

volum ix

2008

la curva; ser a lo sumo como el grado, y de hecho igual al grado si todas las races de la ecuacin [resultante] son reales; y en otro caso el grado disminuido en el nmero de races imaginarias. Euler comenta en particular en los artculos 69-72 los casos de las curvas de primer grado a cuarto grado. La ecuacin general de una curva contiene varias cantidades constantes arbitrarias que la determinan completamente en cuanto quedan fijados sus valores [art.74, pg.34]. En el caso de la recta, la ecuacin: 0 = + x + y, podra parecer susceptible de tres determinaciones, a causa de las tres constantes arbitrarias , , . Pero se sabe por la naturaleza de las ecuaciones, que para que sea determinada, basta conocer la relacin entre estas constantes, es decir la relacin de dos de ellas con la tercera. Y por tanto esta ecuacin ser solamente susceptible de dos determinaciones [art. 75, pg. 34-35]. De manera similar la ecuacin general de las lneas de segundo orden, que contiene seis constantes arbitrarias, es susceptible de cinco determinaciones; y la ecuacin general de las lneas de tercer orden solamente de nueve; y en generalmente, la ecuacin general de las lneas de orden n admitir Tn1 = (1/2)(n+1)(n+2)1 determinaciones. A la hora de hallar las constantes arbitrarias que determinan una curva, si se conoce un punto por el que pasa disminuir en uno el nmero de determinaciones [art. 76, pg. 35]; y si se conocen dos puntos disminuir en dos; y as sucesivamente, de modo que [art. 77, pg. 35]: Si se conocen tantos puntos por donde la curva debe pasar como determinaciones de las que la ecuacin general es susceptible, la lnea curva est completamente determinada y ser, por tanto la nica que pueda pasar por los puntos propuestos. Euler remarca, en particular, que toda lnea de primer orden, es decir toda lnea recta queda determinada por dos puntos y recprocamente, por dos puntos slo puede pasar una recta (esto es conocido por los elementos [art. 78, pg. 36]), lo que evidentemente implica que se puede encontrar su ecuacin por medio de coeficientes indeterminados. En cambio, como un nico punto no determina una recta, se pueden trazar una infinidad de rectas por este punto (haz de rectas por un punto). Anlogamente, ya que la ecuacin general para las lneas de segundo orden admite cinco determinaciones, si se proponen cinco puntos por los cuales una lnea curva debe pasar, la lnea de segundo orden est completa98

mente determinada [art. 79, pg. 36]. Pero si se proponen slo cuatro puntos o menos, como la ecuacin no est entonces determinada, habr una infinidad de lneas de segundo orden que pasan por estos puntos. Euler no pasa por alto el caso en que tres de los cinco puntos estn alineados, e indica que como una lnea de segundo grado no puede cortar a una recta en tres puntos, en tal caso la lnea buscada no existe. Contina Euler [arts. 80-81] estudiando el mismo problema para las lneas de tercer orden y nueve puntos o menos por los cuales la lnea curva debe pasar, las lneas de cuarto orden y catorce puntos o menos por los cuales la lnea curva debe pasar y en general las lneas de orden n y (1/2)(n+1)(n+2) 1 = (1/2)n(n+3 ) puntos o menos por los cuales la lnea curva debe pasar. Y asegura, adems [art. 82, pg. 37] que como la posicin del eje y el origen son arbitrarios, la determinacin de los coeficientes de la lnea curva llegar a ser ms fcil si se hace pasar el eje por uno de los puntos dados sobre el que adems se toma el origen de abscisas. Incluso sera ms fcil todava si se toma el eje pasando por otro de los puntos propuestos. En fin, ms an se puede simplificar el problema si en lugar de ordenadas perpendiculares se toman ordenadas oblicuas, de manera que la que pasa por el origen de las abscisas pase al mismo tiempo por otro de los puntos dados; y aade: pues no es ms difcil encontrar y construir la curva cuando las ordenadas estn inclinadas sobre el eje que cuando son perpendiculares. As pues, la consideracin de una referencia cartesiana ad hoc para cada bsqueda de la lnea curva que pasa por determinados puntos disminuye de forma considerable la dificultad del problema. Con ello Euler demuestra ser un gran maestro en la aplicacin de los presupuestos metodolgicos de la Geometra Analtica. Y en efecto, con su destreza habitual, Euler aplica lo que acaba de decir para encontrar la lnea de segundo grado que pasa por cinco puntos [art. 83, pg. 38] simplificando de forma muy considerable la aplicacin del mtodo de coeficientes indeterminados.

7.- El estudio de las lneas de segundo orden (las secciones cnicas). El estudio analtico, general y exhaustivo de las secciones cnicas comienza en el captulo V de la Introductio que lleva el simple ttulo de Sobre las Lneas 99

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Euler y la Geometra Analtica

volum ix

2008

de Segundo Orden. Euler indica al principio [art. 85, pg. 39] que va a examinar con atencin estas curvas porque al ser las ms simples han tenido una utilidad y aplicacin muy extendidas en toda la alta geometra; y tambin porque gozan de un gran nmero de propiedades muy significativas, que haban sido ya destacadas por los antiguos gemetras, o que han sido descubiertas por los modernos; de modo que su conocimiento es tan necesario, que la mayor parte de los autores suelen explicarlas inmediatamente despus de la geometra elemental. Euler seala que las propiedades de las cnicas no pueden derivarse de un nico principio; a veces se obtienen de la ecuacin de las curvas, otras de su generacin por la seccin de un cono (como haban hecho los grandes gemetras griegos) y otras se obtienen de la forma como han sido descritas mediante construccin geomtrica. Y aade [art. 85, pg. 40]: Nos limitaremos a examinar aqu [las propiedades de las cnicas] que se pueden deducir de su ecuacin sin recurrir a otros medios. Euler escribe la ecuacin general de una cnica como ecuacin cuadrtica general con seis trminos [art. 86, pg. 40]: 0 = + x + y + xx + xy + yy ; y expresa la ecuacin respecto de y en trminos de x: ; lo que le permitir manejar la suma y el producto de las races de la ecuacin en y en funcin de los coeficientes en x (Cardano-Vieta). Ello le sirve para encontrar dimetros y mltiples relaciones entre segmentos de la geometra de la cnica mediante la suma y el producto de races de la ecuacin [arts. 87-95].

Al aplicar el producto de races, Euler obtiene ciertas relaciones entre segmentos en forma de razn [art. 94, pg. 44] que, al tomar un dimetro como eje y las ordenadas paralelas a la direccin de la tangente en la interseccin del propio dimetro con la curva (Fig. 20), le permiten escribir la ecuacin de la cnica en la forma griega similar a la de Apolonio8 [arts. 92-95].
8

En su famosa obra Las Cnicas, Apolonio describe las secciones cnicas en el lenguaje pitagrico de la solucin de ecuaciones cuadrticas del mtodo de Aplicacin de las reas a travs de relaciones de reas y longitudes, que daban en cada caso la propiedad caracterstica de definicin de la curva. Por ejemplo, la conocida ecuacin de la parbola con vrtice en el origen es y2 = lx, donde l es el latus rectum o parmetro doble que se representa por 2p, sintetiza, en nuestro lenguaje, el farragoso y largusimo enunciado de la Proposicin I. 11 de Las Cnicas en forma de propiedad que cumple la seccin cnica bautizada por Apolonio justamente aqu con el nombre de parbola. Anlogamente, Apolonio har lo propio para la hiprbola y la elipse en las dos proposiciones siguientes (I. 12 y I. 13) que redactadas en un retrico lenguaje abstruso y prolijo, se pueden interpretar mediante ecuaciones de la forma siguiente: Si se designa para la hiprbola a el eje transverso o dimetro y b el eje no transverso, para la elipse a y b los ejes, y para ambas cnicas y la ordenada, x la abscisa, y l el latus rectum, podemos traducir los enunciados de las proposiciones I.12 y I.13 en las relaciones: Hiprbola: y2 = lx + (b2/a2) x2 o bien [(x+a)2/a2] [y2/b2] = 1 , Elipse: y2 = lx (b2/a2) x2 o bien [(xa)2/a2] + [y2/b2] = 1 , ecuaciones de la hiprbola y de la elipse, respectivamente, referidas a uno de sus vrtices como origen de coordenadas, donde concurren como ejes de coordenadas un dimetro y la tangente a la cnica en su extremo, y donde el latus rectum o parmetro l es: l = 2b2/a. Por ejemplo , en el caso de la elipse, o que demuestra Apolonio en la Proposicin I. 13 con un lenguaje retrico es que hay una relacin constante entre ciertas reas, el cuadrado de lado la cuerda PQ y el rec tngulo determinado por los segmentos OQ, QR del dimetro. En particular se verificar: . Al tomar coordenadas con origen en el vrtice O, y llamando x, y, a, b y l , como antes, se tiene: de donde resulta: es decir: donde l = 2b2/a es el latus rectum.

8.- Cuerdas y dimetros. Ecuaciones reducidas de la cnica. Euler introduce las cuerdas [art. 88] y los dimetros que son las rectas que dividen en dos partes iguales todas las cuerdas paralelas a una tangente [arts. 90-91]. 100

Las relaciones de reas de Apolonio que expresan propiedades intrnsecas de la curva se prestan con gran facilidad, como se ha visto, a ser traducidas en el ulterior lenguaje del lgebra simblica de ecuaciones que permitir la asociacin de curvas y ecuaciones en la Geometra Analtica.

101

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Euler y la Geometra Analtica

volum ix

2008

En efecto: al aplicar el producto de races resulta que el cuadrado de la semicuerdas LM tiene una relacin constante (h/k) con el rectngulo determinado por CL y LD.

Ya que a cada abscisa AP = x (Fig. 25) corresponde dos ordenadas y, a saber PM, PN, se podr determinar la posicin del dimetro que corta en dos partes iguales todas las ordenadas MN. Sea, pues, IG este dimetro que debe cortar la ordenada MN en el punto medio L que caer, por tanto sobre el dimetro buscado. Sea PL = z. Puesto que: z = (PM + PN), se tiene (Cardano-Vieta): , de donde resulta: 2 z + x + = 0, que es la ecuacin pedida para determinar la posicin del dimetro.

As que tomando el dimetro CD por eje y las semi-cuerdas por ordenadas se encontrar una expresin reducida de la ecuacin de la cnica. Sea CD = a, la abscisa CL = x, la ordenada LM = y. Entonces: LD = a x. De modo que y2 , ax x2 , estarn en una relacin constante h/k:

9.- Puntos, lneas y razones notables de las cnicas (centro, dimetros conjugados, dimetros principales, ejes, focos, vrtices, etc.). Y en la referencia elegida la ecuacin de la cnica se escribir: Ahora Euler considera el dimetro que bisecta todas las cuerdas paralelas a las ordenadas, primero en coordenadas rectangulares y despus en coordenadas oblicuas en cualquier ngulo. Mediante la ecuacin de los dimetros demuestra que dos dimetros cualesquiera se cortan en el mismo punto, y obtiene, mediante la interseccin de todos ellos, el centro de la cnica [arts. 106-107]. Si la ecuacin de la cnica es: 0 = + x + y + x2 + xy + y2, las coordenadas del centro de la cnica vienen dadas por los segmentos (Fig. 25):

Con su inveterado virtuosismo, Euler encuentra numerosas propiedades generales de la geometra de las cnicas [arts. 96-100]. Euler escribe [art. 101, pg. 47]: Despus de haber expuesto estas propiedades de las lneas de segundo orden, que resultan inmediatamente de la forma de la ecuacin, pasemos a la investigacin de otras propiedades ms escondidas. Dada la ecuacin de la cnica: ,

Mediante la suma de races de la ecuacin, Euler encuentra la ecuacin de los dimetros [art. 101, pgs. 47-48]:

Euler demuestra [art. 108, pg. 51] que: El centro esta situado en la mitad de todo dimetro, de modo que se sigue que no solamente todos los dimetros se cortan en el mismo punto, sino que se cortan recprocamente en dos partes iguales. Euler toma, a continuacin un dimetro AI como eje [art. 109, pg. 51] en el cual las ordenadas se aplican bajo un ngulo APM (Fig. 26). 103

102

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Euler y la Geometra Analtica

volum ix

2008

Sea AP = x la abscisa, PM = y la ordenada. Ya que esta tiene dos valores iguales en valor absoluto pero opuestos, su suma es 0, por tanto la ecuacin general

Cambiando la forma de las constantes, la ecuacin se convierte en: yy = xx. Al hacer y = 0, se tendr: CG = CI = ser: ; y por tanto el dimetro GI . Ahora al hacer x = 0 [art. 111, pg. 52], se encuentra la ordenada que pasa por el centro: CE = CF = . Toda la ordenada ser: EF = 2 . Como pasa por el centro ser un dimetro que formar un ngulo ECG con el primero GI. Euler escribe: Estos dos dimetros estn dispuestos entre ellos de forma que cada uno de ellos corta en dos segmentos iguales a todas las cuerdas paralelas al otro; es a causa de esta propiedad que se llama dimetros conjugados. Si se trazan por los extremos G, I, del dimetro GI, rectas paralelas al otro dimetro EF, sern tangentes a la cnica; y de la misma manera, si se trazan por los extremos E, F, del dimetro EF, rectas paralelas al otro dimetro GI, sern tangentes a la cnica. A los dimetros conjugados de una seccin cnica que se cortan en ngulo recto Euler los llama dimetros principales [art. 126, pg. 60]. Sean CA, CE (Fig. 29) dos semi-dimetros conjugados perpendiculares (es decir, semi-dimetros principales) de una cnica; sea la abscisa CP = x, la ordenada PM = y; tenemos, pues, para la ecuacin de la cnica: yy = xx. Sean AC = a, CE = b. Como se vio antes:

tomar la forma reducida del tipo: yy = + x + xx, la cual dar, haciendo y = 0, los dos puntos G, I, donde la curva atraviesa el eje. Ya que las races de la ecuacin: xx + (/)x + (/) = 0, sern x = AG, x = AI, se tiene (Cardano-Vieta): AG + AI = / , AG AI = / . Ya que el centro C de la cnica est situado sobre la mitad del dimetro GI, se tiene: AC = (AG + AI) = /2 . Si adems se toma el centro C como origen de abscisas [art. 110, pgs. 5152], sea CP = t, PM = y; a causa de que: x = AC CP = (/2) t , se tendr la siguiente ecuacin entre las coordenadas t, y: , es decir: , de donde se tendr al escribir x en lugar de t, la ecuacin general para las lneas de segundo orden, cuando se toma un dimetro cualquiera como eje y se miden las abscisas a partir del centro. 104 a=

b=

, es decir: = bb, , y por tanto: = b2/a2,

lo que nos da para la ecuacin de la cnica: yy = b2 (b2/a2) xx. 105

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Euler y la Geometra Analtica

volum ix

2008

Se observa que esta ecuacin no cambia cualquiera que sean los valores positivos o negativos de x, de modo que la curva est compuesta de cuatro porciones iguales situadas a un lado y otro alrededor de los dimetros AC y EF. Euler alude al caso particular del crculo [art. 127, pg. 60] cuando los semi-dimetros a, b, principales son iguales: Ahora si desde el centro C, tomado como origen de abscisas, trazamos la recta CM, ser:

Se tiene ahora: , de donde: . Si se toma CP = 0, entonces: DM = DE = a = AC. Pero si la abscisa CP = CD, o x = ordenada DG; y se tendr de lo anterior: , la recta DM se convierte en la

De modo que si b = a o CE = CA, se tendr CM = b; en este caso todas las rectas trazadas desde el centro a la curva sern iguales entre ellas, que es la propiedad del crculo, por tanto est claro que la seccin cnica cuyos dimetros principales son iguales es un circulo cuya ecuacin en coordenadas perpendiculares, tomando CP = x, PM = y, ser: y2 = a2 x2, siendo CA = a el radio del crculo. Ahora bien [art. 128, pg. 61], si b a, no se podr nunca tener para CM una expresin racional en x. Sin embargo s habr sobre el eje dos puntos D tales que todos los segmentos DG trazados desde ellos hasta la curva pueden ser expresados de forma racional. Euler despliega una inefable imaginacin para encontrar esos puntos que son los focos y demuestra que DG es la tercera proporcional entre los semi-dimetros principales AC y CE. Para encontrar el punto D, hagamos CD = f, ya que DP = f x, se tiene (Fig. 29): , expresin que se convertir en un cuadrado cuando: (una sagaz ocurrencia de Euler). De donde resulta: 0 = a2 b2 f 2 ; lo que da: f = . Tenemos, pues, sobre el eje, dos puntos como los buscados, ambos a una distancia del centro CD = 106

. As pues, resulta que DG es la tercera proporcional entre los semi-dimetros principales AC y CE. Euler seala [art. 129, pg. 61]: Esta propiedad de los puntos D es digna de atencin; y ya que estos puntos del dimetro principal tienen otras muchas propiedades que los distinguen, se les han dado nombres particulares: se les llama Focos de la seccin cnica. Estos puntos estn sobre el mayor de los dimetros principales al que se llama por eso el primer eje principal, mientras que al otro eje b se le llama conjugado. Euler escribe que la ordenada perpendicular que pasa por uno u otro foco se le ha llamado semi-parmetro, siendo el parmetro entero el famoso latus rectum9 de las cnicas de los antiguos griegos, ya que verifica: , el semieje conjugado CE es media proporcional entre el semiparmetro DG y el semieje principal. Los extremos del eje principal donde ste encuentra a la curva se llaman vrtices, tal es el punto A. La tangente trazada en estos dos puntos de la curva tiene la propiedad de ser perpendicular al eje principal AC. Termina el captulo VI demostrando que la posicin del foco y el semiparmetro determinan la seccin cnica [art. 130, pg. 62]. Tomando el semiparmetro DG = c, la distancia del foco al vrtice AD = d,
9

Vase la nota 8.

107

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Euler y la Geometra Analtica

volum ix

2008

Como DG = b2/a = c, resulta b2 = ac, as pues, se tiene: , por consiguiente: ac = 2ad d2, de donde resulta finalmente: . As pues, cuando se conocen la distancia AD = d del foco al vrtice y el semi-parmetro DG = c, la seccin cnica est determinada. Con ello acaba el captulo V de la obra de Euler, en el que se han estudiado las propiedades comunes a todas las secciones cnicas En el captulo VI, Euler estudia las propiedades particulares de cada uno de los gneros de cnicas, atendiendo a la forma de su figura [art. 131, pg. 62]. A partir de la ecuacin general de la cnica: 0 = + x + y + x2 + xy + y2, cambiando solamente el eje y el origen de las abscisas, Euler haba obtenido la ecuacin reducida [art. 109, pg. 51]: yy = + x + xx, que depende de tres constantes , , . La mayor diferencia entre las correspondientes curvas la establece la naturaleza del coeficiente [art. 134, pg. 63]. Segn el carcter de , Euler obtiene las hiprbolas con > 0 [art. 134], las elipses con < 0 [art. 135] y las parbolas con = 0 [art. 136]. Euler indica que la diferencia esencial entre las tres cnicas consiste en el nmero de ramas infinitas [art. 137, pg. 65]: La Elipse no tiene ramas infinitas, est encerrada completamente en un espacio finito; la Parbola tiene dos y la Hiprbola tiene cuatro. Mediante las ecuaciones reducidas de las tres cnicas, Euler estudia la multiplicidad de propiedades particulares de la elipse, la parbola y la hiprbola, obteniendo una impresionante cantidad de elementos geomtricos notables, 108

completando de forma muy considerable, en el captulo VI, y en los dos siguientes, el estudio analtico realizado por De Witt y Wallis, LHpital y Stirling. Mencionemos, nada ms, algunas de las ms importantes y bellas propiedades de la elipse obtenidas por Euler con su agudeza habitual. Para la elipse, tomando las abscisas en el dimetro ortogonal, y contadas a partir del centro de la figura, ya que se haba visto que la ecuacin reducida general era de la forma: yy = xx, con = b2, = b2/a2 [art. 110, pg. 52], resulta [art. 138, pg. 65] 10:

Euler toma las abscisas sobre el eje mayor de la elipse AB (Fig. 31); y recuerda [art. 138, pg. 66] que haba visto [art. 128, pg. 61] que se encuentran los focos, F, G, de la elipse al tomar CF = CG = , mientras que el semi-parmetro (la mitad del latus rectum11) es b2/a; el cual expresa la magnitud de la ordenada elevada sobre uno u otro foco. Euler demuestra que para todo punto M de la curva la suma de los segmentos FM, GM trazados desde M hasta los focos es igual al eje mayor (FM + GM = AB = 2a), una propiedad muy significativa de los focos [art. 140, pg. 66], que permite una sencilla descripcin mecnica de la elipse12. Euler considera que la principal propiedad de los focos es el hecho de que una tangente a la elipse bisecciona los ngulos interno y externo que determinan los radios focales, lo que expresa en la forma [art. 141, pg. 67]: Las rectas trazadas desde los focos a un punto cualquiera de la elipse estn igualmente inclinadas respecto de la tangente trazada por este punto.
10 En realidad Euler no utiliza los resultados generales anteriores del artculo 110, y los recons11 vase la nota 8. 12 Es el llamado mtodo del jardinero para la construccin de la elipse.

truye para el caso particular de la elipse, hasta obtener la ecuacin reducida de la misma.

109

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Euler y la Geometra Analtica

volum ix

2008

Sobre dimetros conjugados la propiedad ms interesante para Euler es que la suma de los cuadrados de las longitudes de dos semi-dimetros conjugados de una elipse es una constante igual a la suma de los cuadrados de los semi-ejes a, b [art. 146, pg. 69]. De aqu resulta que entre todos los dimetros conjugados, los que son perpendiculares tienen la mayor diferencia entre ellos, y por tanto deben existir dos dimetros conjugados iguales. Euler los encuentra mediante clculo trigonomtrico, y deduce una bellsima propiedad de los mismos: Los semi-dimetros conjugados CM, CK, iguales entre ellos (Fig. 31) son paralelos a las cuerdas AE, BE, que unen los vrtices extremos el eje mayor A, B, con un vrtice extremo del eje menor. Para terminar, mencionamos el original estudio de Euler de la parbola como una elipse en la que el eje mayor se ha incrementado hasta infinito [arts. 146-157]. En contraste con la visin moderna, y desplegando su excepcional imaginacin, Euler deriva, una a una, importantes propiedades de la parbola, a partir de propiedades de la elipse.

10.- La Geometra Analtica tridimensional. Estudio de las cudricas. Descartes y Fermat haban sugerido el Principio Fundamental de la Geometra Analtica de tres dimensiones, acerca de que toda ecuacin con tres incgnitas representa una superficie. Descartes lo hace al final del Libro II de La Geometra (G. AT, VI, 440) en un epgrafe titulado: Cmo puede aplicarse lo que se ha dicho aqu de las lneas curvas trazadas sobre una superficie plana, con las que se tracen en un espacio que tiene tres dimensiones; y Fermat en una pequea memoria titulada Novus Secundarum et Ulterioris Ordinis Radicum in Analyticis Usus (TH. OF. III. 162-163): Pero si el problema propuesto implica tres cantidades incgnitas, se trata de encontrar para satisfacer la cuestin, no solamente un punto o una lnea, sino una superficie entera; de ah resultan los lugares en superficie, etc., [...]. 110

Tambin trataron el tema, poco despus, Van Schooten en el escrito Exercitationes Geometricae y La Hire, en su obra Nouveaux lments des sections coniques. Pero el desarrollo efectivo de la Geometra Analtica tridimensional comienza propiamente con Euler. En efecto, la Introductio de Euler acaba con un largo y sistemtico apndice sobre Geometra tridimensional, que a pesar del ttulo Tratado abreviado de superficies ocupa 75 pginas, en 152 artculos, donde estudia de forma analtica las superficies por medio de ecuaciones en coordenadas, y que representa la ms original contribucin de Euler a la Geometra cartesiana y la ms relevante exposicin sobre Geometra Analtica slida. Como en la Geometra Analtica plana, Euler sigue utilizando un solo eje de coordenadas como bsico, pero seala que se pueden utilizar tres planos coordenados. Adems, alude a los posibles signos de las coordenadas en los ocho octantes del triedro de referencia. Euler escribe de forma general la ecuacin del plano x + y + z = a y estudia las intersecciones con los planos de coordenadas y con el nico eje, as como los ngulos entre el plano dado y los de coordenadas, que los expresa mediante el coseno. Divide las superficies en algebraicas y trascendentes y las estudia a travs de las trazas segn varios planos. Aparecen conos, esferas, cilindros y conoides. Euler proporciona la primera frmula para traslacin y rotacin de ejes en tres dimensiones, que se ha convertido en la clsica transformacin que lleva su nombre. Euler introduce las cudricas como una familia unitaria de superficies a travs de la ecuacin cuadrtica general en diez trminos; considera la ecuacin del cono asinttico real o imaginario determinada por los trminos de mayor grado de la ecuacin e indica que la ecuacin general puede reducirse mediante transformaciones a las formas cannicas, de donde deriva la clasificacin general de las cudricas. Euler incluye cinco tipos fundamentales de cudricas cannicas: el elipsoide, el hiperboloide de una hoja, el hiperboloide de dos hojas, el paraboloide hiperblico (descubierto por l) y el paraboloide elptico. El trabajo de Euler sobre cudricas, que se ha convertido en una parte esencial de los cursos de Geometra Analtica acadmica, representa el primer intento de unificacin del estudio de la ecuacin cuadrtica general en tres dimensiones; de forma similar a como una centuria antes el trabajo de Fermat 111

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Euler y la Geometra Analtica

volum ix

2008

y Descartes represent lo mismo para el estudio de la ecuacin cuadrtica general en dos dimensiones. Como rasgo curioso, reiteremos la poca dedicacin de Euler a los aspectos ms elementales de la Geometra Analtica, los referentes a rectas y planos, en contraposicin a los importantes y difciles problemas que trata sobre cnicas y cudricas. La razn hay que buscarla en que para Euler las ecuaciones de la recta: x + y = a, y del plano: x + y + z = a, en realidad son relaciones funcionales en las variables x, y, z; y por tanto, son objetos de inters del Anlisis en sentido de Clculo Infinitesimal ms que contrapartidas algebraicas de puntos, rectas y planos. As se explica que aspectos elementales de la Geometra Analtica acadmica como frmulas sobre punto medio, paralelismo, ngulos, perpendicularidad, pendiente, distancias, reas, volmenes, etc., sean objeto de estudio posterior a Euler en la Historia de la Geometra Analtica, y curiosamente cuando la siguiente generacin de matemticos traten estas cuestiones, lo harn primero en la Geometra Analtica de tres dimensiones, adaptando despus los resultados a la Geometra Analtica plana.

trumento matemtico convertido por Euler, en los tiempos modernos, en un capital fundamental de la Matemtica. Por eso escribe el gran historiador de la Matemtica, F. Cajori13: La Introductio de Euler, de 1748, es un trabajo que provoc una revolucin en la matemtica analtica, por su contenido y por la presentacin general y sistemtica. Los trabajos de Euler sobre Geometra Analtica representan, como se dijo al principio, la consumacin de las ideas de Fermat y del proyecto cartesiano de reforma de las Matemticas, que vincula el lgebra y la Geometra en un diccionario que va ms all de lo gramatical de la asociacin de pares o ternas de nmeros con puntos y ecuaciones con curvas, para alcanzar a las sintaxis del lgebra y de la Geometra, es decir, las relaciones, vnculos y operaciones entre los elementos de ambas. Una vez que de la definicin geomtrica o cinemtica de una curva Euler haya derivado la ecuacin algebraica que tiene asociada en un sistema de coordenadas, el establecer las propiedades geomtricas restantes de la curva es una cuestin de clculo algebraico. Y para dos curvas, los vnculos entre ellas, por ejemplo, si se cortan o si son tangentes, se pueden predecir estudiando las relaciones algebraicas que existen entre sus ecuaciones. El poder algortmico de la maquina simblica creada por el lgebra aplicado a la Geometra en coordenadas convierte a la Geometra Analtica en un magnfico instrumento de investigacin. La tarea de probar un teorema o resolver un problema en Geometra se traslada de forma muy eficiente a probarlo o resolverlo en lgebra utilizando el clculo analtico. El empleo sistemtico de las coordenadas tratadas con el clculo algebraico es una potente herramienta algortmica de resolucin de problemas geomtricos, un mtodo de un poder y una universalidad tan eficientes en la Matemtica, que supera cualquier otro instrumento anterior, y ms all de la Geometra y de la Matemtica, tras los trabajos de Euler, la Geometra Analtica ha revolucionado todas las ciencias relacionadas con el tiempo y el espacio, a travs del concepto de funcin, la herramienta ms importante, gracias a Euler, para el conocimiento y dominio de la naturaleza.

11.- Eplogo: Euler en la Historia de la Geometra Analtica y de su enseanza. Debemos considerar a Euler como uno de los matemticos ms importantes entre los ms grandes de toda la Historia de la Matemtica. Ello se ha dicho muchas veces por la ingente cantidad de terrenos que explor, de forma muy productiva, extensa e intensa, en todos los mbitos de las ciencias matemticas. Como escribi Condorcet en su Panegrico sobre Euler (CONDORCET, 1786): Euler multiplic su produccin matemtica ms all de lo que hubiera osado alcanzar fuerza humana y, sin embargo, fue original en cada una de ellas [...]. Pero interesa sealar aqu que Euler es tambin una de las magnas figuras de la Historia de la Matemtica por algo tan fundamental como la metodologa (lo ms importante, por ejemplo, para Descartes), pues, al fin y al cabo, la Geometra Analtica, no es ms que una metodologa muy eficiente en la investigacin, planteamiento y resolucin de problemas geomtricos, un ins112

13 CAJORI (1919:232).

113

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Euler y la Geometra Analtica

volum ix

2008

Al sustituir las ingeniosas y complejas construcciones geomtricas eucldeas por sistemticas y mecnicas operaciones algebraicas, con una elegancia, rapidez y plenitud heurstica que funde en un nico acto intelectual matemtico el descubrimiento y la demostracin la Geometra Analtica cambi la faz de las Matemticas14 y permite, parafraseando a Descartes en El Discurso del Mtodo: ejercitar el entendimiento sin fatigar mucho la imaginacin (DM. AT, VI, 17). La fuerza algebraica inexorable que Euler imprimi a la Geometra Analtica, su universalidad y su autonoma de la idea feliz, de la fortuna, de la inspiracin necesaria en la geometra sinttica, que tengan a bien concedernos las musas matemticas, magnifica el espectro escolar y acadmico de estudiosos de la Geometra y la Matemtica en general y pone al servicio de la humanidad, es decir, de cualquier persona normal, de todo estudiante que tenga pequeos rudimentos de lgebra, un eficaz instrumento que potencia la intuicin, facilita la investigacin y promueve que no sea imprescindible un gran talento, una gran capacidad inventiva y una gran sagacidad y sutileza intelectual en la resolucin de los problemas geomtricos. Basta para ello aplicar el automatismo de las combinaciones algebraicas en la mecnica del clculo. Por eso, nos permitimos completar la frase anterior de Kline para sentenciar que tras la intervencin de Euler en la Historia de la Matemtica: La Geometra Analtica cambi la faz de las Matemticas y de la Educacin matemtica.

EULER, L. (1972) Elements of Algebra, New York, Berlin, Heidelberg, Tokyo, Springer-Verlag. EULER, L. (2001) Introduccin al anlisis de los infinitos. Edicin crtica con facsmile a cargo de A. Durn, Sevilla. 12.2.- Fuentes originales de Apolonio, Fermat y Descartes. VER EECKe, P. (1959) Les Coniques dApolonius de Pergue, Pars, Blanchard. VERA, F. (1970) Las Cnicas de Apolonio. En: Cientficos griegos. Madrid, Aguilar. DESCARTES, R. (1964-74) Oeuvres de Descartes. Pub. C. Adam; P. Tannery. Pars, Lib. Philos. J. Vrin. FERMAT, P. (1891-1912) Oeuvres de Fermat. Pub. Henry, C; Tannery, P., Pars, Gauthier-Villars. 12.3.- Bibliografa secundaria. AYOUB, R. (1974) Euler and the Zeta Function, The American Mathematical Monthly, vol. 81, n 10. BELL, E. (1950) Euler. En: Les grands mathmaticiens, Pars. Payot, cap. 9. BOYER, C.B. (1956) History of Analytic Geometry, Nueva York, Scripta Mathematica. Hay una edicin de 2004 en Dover Publications. BOYER, C.B. (1986) Historia de las Matemticas, Madrid, Alianza Universidad. CAJORI, F. (1919) A History of Mathematics, Londres, The MacMillan Company. CHASLES, M. (1837) Aperu historique sur lorigine et le dveloppement des mthodes en gomtrie. Bruxelles, Hayez. CONDORCET, M.J.A. (1786) loge de M. Euler, Histoire de lAcadmie Royale des Sciences, 1783, 37-68. COOLIDGE, J.L. (1968) A History of the conics sections and quadric surfaces, Nueva York, Dover. DUNHAM, W. (2000) Euler, el maestro de todos los matemticos, Madrid, Nivola. GONZLEZ URBANEJA, P.M. (2003) Los orgenes de la Geometra Analtica. Tenerife, Fundacin Canaria Orotava de Historia de la Ciencia. GONZLEZ URBANEJA, P.M. (2007) Races histricas y trascendencia de la Geometra Analtica, SIGMA. n 30, 205-236. 115

12.- Bibliografa. 12.1.- Fuentes originales de Euler. EULER, L. (1748) Introductio in analysin infinitorum. Dos volmenes. Lausanne. EULER, L. (1796) Introduction a lanalyse infinitsimale. Tome premier. Traduccin al francs de J.B. Labey, Pars. EULER, L. (1797) Introduction a lanalyse infinitsimale. Tome second. Traduccin al francs de J.B. Labey, Pars.
14 Frase de KLINE (1992: vol.1, 425)

114

Pedro Miguel Gonzlez Urbaneja

volum ix

2008

Quaderns dHistria de lEnginyeria

volum ix

2008

LORIA, G. (1923 Da Descartes e Fermat a Monge e Lagrange. Contributo alla storia della geometria analitica, Memorie della classe di scienze. Reale Accademia dei Lincei, [5], XIV, 777-845. KLINE, M. (1992) El pensamiento matemtico de la Antigedad a nuestros das, Madrid, Alianza Universidad.

LOS MOLINOS Y LAS COMETAS DE Mr. EulEr lE fIls. Modelos matemticos para las mquinas hidrulicas en el siglo XVIII
Juan Miguel Suay Belenguer jm_suay@yahoo.com

1.- Introduccin. La cometa, ese objeto que vuela al final de un hilo, ha atravesado a lo largo de su historia numerosas fronteras geogrficas y culturales. Pero quizs uno de las transformaciones ms importantes se produce en el seno de la cultura occidental, cuando, en plena Ilustracin, este objeto tradicionalmente ldico y popular se convierte en un instrumento cientfico. Su ingreso en la cultura cientfica se produce a raz de su uso para demostrar la naturaleza elctrica del rayo, en manos de autores como Benjamn Franklin (1706-1790), en Amrica1, o por Jacques de Romas (1713-1776), en Francia2. Con este experimento, la cometa se integra como parte de la fsica experimental iniciando as un largo viaje a travs de varias disciplinas cientficas que la llevaron a lo largo del siglo XVIII y XIX a formar parte del utillaje conceptual y material de las matemticas, la mecnica, la meteorologa y la aeronutica, entre otras3. En el ao 1758, la Academia Real de Ciencias y Bellas Artes de Berln public el volumen que recoga las memorias escritas en el ao 1756. En la seccin
1

Descripcin del experimento en FRANKLIN, B. (1753) A letter of Benjamin Franklin, Esq; to Mr. Peter Collinson, F.R.S. concerning an electrical Kite, Philosophical Transactions of The Royal Society of London ILVII, 565-567. Tambin dio la noticia en el The Pennsylvania Gazette de 19 de Octubre de 1752, peridico fundado y editado por Franklin. Entre los aos 1752 y 1753, en la ciudad francesa de Nrac, Jacques de Romas realiz experimentos con cometas elctricas simultneamente a los trabajos de Benjamn Franklin en Filadelfia. Ver: ROMAS, J. de (1755) Mmoire, o aprs avoir donn un moyen ais pour lever fort haut, & peu de frais, un corps lectrisable isol, ou rapporte des observations frappantes, qui prouvent que plus le corps isol est lev au dessus de la terre, plus le feu de llectricit est abondant, Mmoires de mathmatique et de physique, prsents lAcadmie royale des sciences par divers savans, et lus dans ses assembles, Paris. Ver: SUAY BELENGUER, J.M. (2007) El vuelo transcultural de la cometa. En: HERRAN, N.; SIMON, J.; GUILLEM-LLOBAT, X.; LANUZA-NAVARRO, T.; RUIZ CASTELL, P.; NAVARRO, J. (eds.) Synergia: Jvenes investigadores en Historia de la Ciencia, Madrid, CSIC, 283-299.

116

117