Beruflich Dokumente
Kultur Dokumente
Y yo espero que nuestros descendientes me estarn agradecidos no slo por las cosas
que aqu he explicado [en La Geometra], sino tambin por aquellas que he omitido
voluntariamente a fin de dejarles el placer de descubrirlas.
Descartes. La Geometra [G.AT.VI. 485].
Siempre que en una ecuacin final se encuentran dos cantidades incgnitas, se tiene un
lugar geomtrico, describiendo el extremo de una de ellas una lnea recta o curva.
Fermat. Ad Locos Planos et Solidos Isagoge [TH.OF.III.85]
Con toda una serie de limitaciones que iremos apuntando acerca de la ausencia de lgebra
simblica en la Geometra griega, el primer punto fue cubierto por los griegos, en particular
por Menecmo y Apolonio; el segundo pertenece al trabajo de Oresme; Vieta desarroll el
tercero; Descartes se ocup del cuarto punto y consider brevemente algunos aspectos del
quinto; Fermat se proyect sobre el quinto apartado y resolvi algunos problemas
relacionados con el cuarto; el sexto fue ampliamente cubierto por Euler; el sptimo es
iniciado por Euler y continuado por Lagrange, Monge y Lacroix; y el octavo es comenzado
por De Witt, Wallis y Stirling para la cnicas, cerrado para stas por Euler, y ampliamente
estudiado para las cudricas por Euler y Monge.
De forma aproximada ste ser el ndice que seguiremos en esta exposicin sobre los
orgenes y la evolucin de la Geometra Analtica a lo largo de la Historia de la Matemtica.
Pero al ser la Geometra Analtica ante todo un mtodo de resolucin de problemas
geomtricos, adems de los temas y aspectos concretos reseados, se presta gran atencin
a las cuestiones metodolgicas como el Anlisis geomtrico griego del que la Geometra
Analtica hereda no slo el nombre sino tambin los procedimientos.
Vamos a rastrear los orgenes de la Geometra Analtica desde los primeros balbuceos de la
7
asociacin entre curvas del plano y ecuaciones en dos variables, de modo que cada curva
del plano tiene asociada una ecuacin f(x,y)=0 y, recprocamente, para cada ecuacin en
dos variables est definida una curva que determina un conjunto de puntos en el plano,
siempre respecto de un sistema de coordenadas. En particular queda establecida una
asociacin entre rectas del plano y ecuaciones de la forma Ax+By+C=0. La Geometra
Analtica es, pues, una especie de diccionario entre el lgebra y la Geometra que asocia
pares de nmeros a puntos y ecuaciones a curvas. Pero esta asociacin va mucho ms all
de lo gramatical ya que vincula tambin las sintaxis del lgebra y de la Geometra, es decir,
las relaciones, vnculos y operaciones entre los elementos de ambas. As pues, para hallar
geomtricamente la interseccin de dos curvas f(x,y)=0, g(x,y)=0 problema geomtrico
habra que resolver algebraicamente el sistema formado por ambas ecuaciones problema
algebraico. Adems, para cada curva f(x,y)=0, la Geometra Analtica establece tambin
una correspondencia entre las propiedades algebraicas y analticas de la ecuacin f(x,y)=0 y
las propiedades geomtricas de la curva asociada. De hecho, estas propiedades
geomtricas son el trasunto geomtrico de la estructura algebraica de la expresin f(x,y)=0 y
se establecen mediante el clculo literal que permite el lgebra. En particular 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.
Es indiscutible que Fermat y Descartes son los verdaderos artfices de la Geometra
Analtica. Descartes publica en 1637 La Geometra (G.AT,VI,367-485) junto con La Diptrica
y Los Meteoros como apndices de su Discurso del Mtodo (DM.AT,VI,1-78) o ste como
prlogo de aquellos opsculos. El mismo ao, Fermat enva al Padre Mersenne 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 Analtica. Estos matemticos encontraron un terreno muy abonado por el Anlisis
Algebraico en que Vieta haba transformado el Anlisis Geomtrico de los griegos con la
intervencin de su incipiente lgebra simblica. As pues, a pesar de la gran aportacin de
Fermat y Descartes a la Geometra Analtica, con gran reconocimiento por parte del primero
y algo menos en el caso del segundo, su pensamiento geomtrico es tributario de casi todo
el desarrollo matemtico anterior, en especial de la Geometra griega y en particular de
Menecmo, Apolonio y Pappus, y del llamado Arte Analtica de Vieta. Adems, hay dos
eslabones intermedios importantes: el lgebra sincopada de Diofanto y la Latitud de las
formas de Oresme.
Por su componente algebraico, la notacin est intrnsecamente vinculada a los mtodos de
la Geometra Analtica. Tanto es as, que en todo estudio histrico sobre la Geometra
Analtica una parte importante la ocupa la evolucin histrica del simbolismo, que alcanza su
clmax en los aportes del propio Descartes a la simplificacin de la notacin algebraica,
ingrediente esencial del descubrimiento cartesiano.
Para encontrar vestigios histricos de Geometra Analtica debemos definir y clarificar los
problemas que resuelve esta parte de la Matemtica, as como los instrumentos que utiliza,
a fin de remontarse a los orgenes y rastrear en la Historia primigenia de la Geometra y del
lgebra todos estos elementos. Bajo este principio aquilataremos en qu dimensin,
Menecmo, Euclides, Apolonio, Pappus, Oresme, Vieta e incluso Fermat y Descartes,
alcanzaron ciertos desarrollos y aspectos parciales de Geometra Analtica, entendiendo por
sta lo que hemos descrito ms arriba como su esencia y que ahora sintetizamos:
La aplicacin del lgebra simblica al estudio de problemas geomtricos mediante la
asociacin de curvas y ecuaciones indeterminadas en un sistema de coordenadas.
La Geometra Analtica es algo ms que una mera combinacin de lgebra y Geometra.
Para poder circular del lgebra a la Geometra y de la Geometra al lgebra se necesita
como ingredientes ineludibles no slo el carcter algortmico operatorio del lgebra
simblica sino tambin el uso de las coordenadas. Una aproximacin al uso de stas ya tuvo
lugar en la Geometra griega, pero el lgebra simblica no se desarrolla de forma
satisfactoria hasta los trabajos de Vieta. Al vincular ambos elementos en los desarrollos de
Fermat y Descartes, emerge la Geometra Analtica de forma inexorable.
10
PLATN
EUCLIDES
APOLONIO
ORESME
VIETA
FERMAT
DESCARTES
VAN SCHOOTEN
MERSENNE
WALLIS
DE WITT
EULER
MONGE
LAGRANGE
BIOT
TANNERY
11
12
xy
A
y
= A
2
x = b + y , y(b + y) = A , by + y = A
xy=b
xy
x
b
y
A
y
x
a c
= , ax = bc
b x
x
b
o bien
a x 2
= , x = ab
x b
a+b
b
a-b
a
Euclides II.5
(a+b)(ab) +b2=a2
B,Q A
15
1.
Portada de la primera impresin de Los Elementos de Euclides (E.Ratdolt, Venecia, 1482). Esta edicin se
hizo a partir de una versin arbigo-latina comentada por Campano de Novara a mediados del siglo XIII.
Seguramente este texto contiene la primera impresin de figuras geomtricas en un libro de contenido
matemtico. Para ello dispone de un margen de 8 cm. Este ejemplar procede de la Biblioteca Monstica de
Yuso del Monasterio de San Milln de la Cogolla.
2. Las Proposiciones II.5, II.6 y II.7 del lgebra Geomtrica del Libro II de Los Elementos de Euclides en esta
edicin.
Los Elementos son una compilacin enciclopdica de la Geometra elemental griega en la que Euclides
establece un estilo axiomtico-deductivo de exposicin y de demostracin en Matemticas, a base de ordenar
en una secuencia jerrquica lgica los resultados geomtricos de sus antecesores. En esta monumental obra,
Euclides plasma en un cuerpo de doctrina geomtrica la forma definitiva que deba estructurar toda la
Matemtica griega despus de la solucin que dio la Academia platnica a la tremenda crisis de fundamentos
que produjo la aparicin de las magnitudes inconmensurables. El sinttico estilo eucldeo de exposicin y
demostracin, que establece un severo e impecable rigor como supremo valor lgico y que oculta la va
heurstica del descubrimiento alcanzado por va analtica o mecnica, se impondr como paradigma normativo
en los ms importantes tratados de la Matemtica griega, en particular Las Cnicas de Apolonio y Las Obras
de Arqumedes, y ser duramente criticado por Descartes en la IV Regla de las Reglas para la direccin del
espritu
Tras la aparicin de las magnitudes inconmensurables, los griegos no podan admitir la existencia de nmeros
irracionales y por tanto no haba trato numrico de longitudes y reas. Esta situacin impeda asignar a las
figuras geomtricas nmeros que midieran sus longitudes o reas, de modo que no era factible someterlas a
manipulaciones algebraicas, como se hace con los nmeros, as que haba que operar directamente con las
figuras que se trataban como magnitudes. As aparece el llamado lgebra Geomtrica de los griegos del Libro
II de Los Elementos de Euclides como una especie de algoritmo geomtrico que permita resolver los
problemas sin recurrir al clculo literal. Los nmeros son sustituidos por segmentos de recta y las operaciones
entre ellos se llevan a cabo mediante construcciones geomtricas, por ejemplo, la suma de dos nmeros se
realiza yuxtaponiendo segmentos, el producto se convierte en el rea del rectngulo de lados las longitudes de
esos nmeros y la extraccin de una raz cuadrada es equivalente a la construccin de un cuadrado cuyo rea
es igual a la de un rectngulo dado. En las primeras diez proposiciones del Libro II Euclides establece la
equivalencia geomtrica de las principales identidades algebraicas muy habituales en la prctica escolar.
Adems, las figuras geomtricas que utiliza Euclides permiten utilizar el lgebra Geomtrica como un eficaz
instrumento para la resolucin de ecuaciones cuadrticas, mediante el mtodo de la Aplicacin de las reas
(que se generalizar en el Libro VI), lo que supone que el Libro II juegue un papel fundamental en la
Geometra griega.
17
1.
2.
3.
La Proposicin II.5.
La Proposicin II.6.
Portada. Colbeck collection (Library of the
University of British Columbia.
La edicin de Oliver Byrne (Londres,1847) de Los
Elementos de Euclides lleva por ttulo: The first six
books of the Elements of Euclid, in which coloured
diagrams and symbols are used instead of letters for the
greater ease of learners..
En esta edicin hay un despliegue inusitado de
preciosas ilustraciones en color que son magnficos
diagramas descriptivos de las construcciones de
Euclides, de modo que, como escribe Byrne, en su
larga introduccin explicativa, la verdad se pone de
manifiesto con la demostracin ocular, en la que
juega un papel fundamental no slo la forma sino
sobre todo el color.
18
La Aplicacin de las reas se convirti para los griegos en una de las tcnicas ms
importantes en Geometra como til instrumento de lgebra Geomtrica para la resolucin
de ecuaciones. En principio debi de ser ideado para sustituir al mtodo de las
proporciones, ya que el descubrimiento de las magnitudes inconmensurables hizo
prcticamente inviable el uso de las mismas en el tratamiento de los problemas geomtricos,
hasta la introduccin por Eudoxo de la Teora general de la Proporcin. Las bases firmes de
esta teora permiten a Euclides en las Proposiciones 27, 28 y 29 del Libro VI una
generalizacin del mtodo de Aplicacin de las reas, donde el libre uso del concepto de
semejanza facilita la sustitucin de los rectngulos del Libro II por paralelogramos,
permitiendo aplicar a un segmento dado un paralelogramo igual a una figura rectilnea dada
y que exceda o sea deficiente en un paralelogramo semejante a otro dado. Las
construcciones correspondientes como las de las Proposiciones II.5, II.6 son en la prctica
soluciones geomtricas de las ecuaciones cuadrticas axx2=bx, sometidas a la restriccin
geomtrica equivalente a que el discriminante sea no negativo, es decir, las aludidas
Proposiciones VI.27, VI.28 y VI.29 son una especie de contrapartida geomtrica de la forma
algebraica ms generalizada de ecuaciones cuadrticas con raz real y positiva.
Adems, desde el punto de vista histrico la Aplicacin de las reas est en el punto de
partida de la teora de Apolonio (hacia 200 a.C.) de las secciones cnicas. De hecho los tres
nombres acuados por Apolonio para las cnicas no degeneradas provienen de la
denominacin de los tres tipos de aplicacin de las reas: elptico (dado un segmento
construir sobre una parte de l o sobre l mismo extendido, un paralelogramo igual en rea
a una figura rectilnea dada y resultando deficiente en un paralelogramo semejante a uno
dado), hiperblico (idem. resultando excedente) y parablico (idem. resultando igual).
19
20
que sustituyendo:
y2 = OP2=ROOV= SDOV=AS(BC/AB)D0( BC/AB)=([ASBC2]/AB2)x.
Ya que los segmentos AS, BC y AB son los mismos para todos los puntos de la curva
EQDPG, podemos escribir la ecuacin de la curva o seccin del cono rectngulo en la
forma:
y2=lx,
donde l es una constante que ms tarde se llamara el latus rectum.
De una forma totalmente anloga para conos con ngulo agudo y obtuso en el vrtice
Menecmo obtendra expresiones de la forma:
y2 = lx (b2/a2) x2 , seccin de cono acutngulo,
y2 = lx + (b2/a2) x2 , seccin de cono obtusngulo.
donde a y b son constantes y el plano de corte es perpendicular, en ambos casos, a una
generatriz.
Como vemos hay una gran similitud entre estos desarrollos de Menecmo en relacin a
expresiones equivalentes a ecuaciones y la utilizacin de coordenadas, lo que ha inducido a
algunos historiadores a afirmar que este gemetra ya conoca ciertos aspectos de la
Geometra Analtica. De hecho ignorando el lenguaje de sta se hace difcil explicar el
hallazgo de Menecmo.
Las cnicas de Menecmo tienen su origen en los intentos de Hipcrates de Quos (hacia 400
a.C.) de resolucin del problema clsico de la duplicacin del cubo mediante la interpolacin
de dos medias proporcionales.
y2 = 2ax
xy = 2a2
x2 = ay
a x
y
= =
, resultado de
x y 2a
interpolar dos medias proporcionales entre a y su doble 2a, se obtienen las parbolas x2=ay,
y2=2ax, y la hiprbola equiltera xy=2a2.Tanto la interseccin de las dos parbolas como la
interseccin de una de las parbolas y la hiprbola proporciona x3=2a3, es decir, la arista del
cubo de volumen doble.
22
Sea un cubo de arista a. A partir de la proporcin continua:
Lo que en nuestro lenguaje geomtrico analtico realizamos utilizando las ecuaciones de las
cnicas, Menecmo lo hallara mediante la construccin de puntos de interseccin de las
cnicas obtenidas, desplazando convenientemente el plano de corte con el cono a fin de
hallar cnicas con latus rectum conveniente al objetivo propuesto.
Aunque segn el testimonio de Proclo y Eutocius fue Menecmo el primero que descubri las
secciones cnicas, tal vez no fue as, ya que antes Arquitas de Tarento (hacia 400 a.C.),
gran poltico reformador y maestro y salvador de Platn, haba estudiado el problema de la
duplicacin el cubo, obteniendo las dos medias proporcionales mediante una compleja
interseccin de un cono de revolucin, un cilindro de revolucin y una superficie trica. As
pues, Arquitas pudo haber estudiado la elipse como seccin oblicua del cilindro. Por otra
parte, despus de la lnea recta, es la elipse la curva ms habitual en la experiencia, ya que
los objetos circulares mirados de forma oblicua, as como la sombra que arrojan son
elpticos.
Construccin de Apolonio de las tres secciones cnicas mediante un cono nico, variando la
inclinacin del plano que corta al cono.
Parbola: el plano de corte es paralelo a una sola generatriz.
Elipse: el plano de corte no es paralelo a ninguna generatriz.
Hiprbola: el plano de corte es paralelo a dos de sus generatrices.
Pginas de Las Cnicas de Apolonio, quiz el ms elegante de todos los manuscritos matemticos
griegos de la coleccin vaticana. Data de 1536.
Se exhiben, con excelentes figuras, las Proposiciones 24 del Libro III sobre la igualdad de reas de
tringulos y cuadrilteros formados por tangentes y dimetros de las cnicas, y por tangentes y
lneas paralelas a las tangentes. (Vat. gr. 205 pp. 78-79 math07a NS.03 ).
24
Durante ms de cien aos, las curvas introducidas por Menecmo se llamaran a partir de la
descripcin trivial de la forma cmo haban sido descubiertas, es decir, mediante las
perfrasis: seccin (perpendicular a una generatriz) de cono acutngulo, rectngulo y
obtusngulo para la elipse, parbola e hiprbola, respectivamente.
Fue Apolonio en Las Cnicas quien no slo demostr que de un cono nico pueden
obtenerse los tres tipos de secciones, variando la inclinacin del plano que corta al cono, lo
cual era un paso importante en el proceso de unificar el estudio de los tres tipos de
curvas, sino que demostr que el cono no necesita ser recto y consider, asimismo, el cono
con dos hojas, con lo que identifica las dos ramas de la hiprbola.
Adems, siguiendo probablemente una sugerencia de Arqumedes, Apolonio acu para la
posteridad los nombres de elipse, parbola e hiprbola para las secciones cnicas. A lo
largo de la Historia de la Matemtica, los conceptos han sido siempre ms importantes que
la terminologa utilizada, pero en este caso el cambio de nombre de las secciones cnicas
debido a Apolonio, tiene una importancia ms all de lo meramente nominalista. Los
trminos adoptados en realidad no eran nuevos, sino que procedan, como sabemos, del
lenguaje pitagrico de la solucin de ecuaciones cuadrticas del mtodo de Aplicacin de
las Areas. Elipse significa deficiencia; Hiprbola significa exceso (en el lenguaje ordinario
una hiprbole es una exageracin); y por ultimo Parbola significa equiparacin. El cambio
de nomenclatura envolva un cambio conceptual, toda vez que las cnicas ya no seran
descritas constructivamente, sino 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 dobles que se representa por 2p. Esta expresin de la parbola en forma de
ecuacin sintetiza precisamente el farragoso y largusimo enunciado de la Proposicin I.11
de Las Cnicas en forma de propiedad que cumple la seccin cnica considerada, bautizada
por Apolonio justamente aqu con el nombre de parbola. Este enunciado muy resumido
viene a decir:
La parbola tiene la propiedad caracterstica de que para todo punto tomado sobre la
curva, el cuadrado construido sobre su ordenada y es exactamente igual al rectngulo
construido sobre la abcisa x y el latus rectum l [el rectngulo que aplicado sobre el
latus rectum tiene como longitud la abscisa, en el lenguaje de la Aplicacin de las
reas].
Anlogamente, Apolonio har lo propio para la hiprbola y la elipse en las dos proposiciones
siguientes que redactadas en un retrico lenguaje abstruso y penoso, se puede simplificar
en la forma siguiente Proposicin I.12 (resp. I.13):
En la seccin cnica considerada [llamada hiprbola (resp. llamada elipse)], el
cuadrado de la ordenada equivale a un rea rectangular aplicada siguiendo el latus
rectum, es decir, teniendo el latus rectum como altura, y teniendo la abscisa como
base, aumentada (resp. disminuida) de otra rea semejante a la que tenga el eje
transverso o dimetro como base, y la mitad del latus rectum como altura.
Simplificando todava ms, mediante ecuaciones, como en el caso de la parbola, el
complejo lenguaje de Apolonio, designando: 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
2b2
b2
x 2 x2 ,
a
a
es decir:
y 2 = lx
b2 2
x ,
a2
28
Archimedis opera; Apollonii Pergaei conicorum libri IIII; Theodosii Sphaerica. Edicin de I.Barrow, de
Las Cnicas de Apolonio (Londres, 1675). Contiene tambib obras de Arqumedes y de Teodosio.
Las ilustraciones con la portada y las figuras de Apolonio procede de la Biblioteca del Real Instituto y
Observatorio de la Armada de San Fernando (Cdiz).
31
Lmina con figuras de Apollonii Pergaei Conicorum Lib. V, VI, VII. Edicin de Borelli.
Florencia 1661. Biblioteca de la Universidad de Pava.
32
33
LA NOTACIN DIOFNTICA
Expresin
Abrev. May.
La unidad
Mo
Cantidad indeterminada
Abrev. Min.
mo
Actual
aoj
Potencia cuadrada
Dg
x2
Potencia cbica
Kg
x3
Potencia bicuadrada
DgD
dd
x4
Potencia cuadrado-cbica
DKg
dk
x5
Potencia cbica-cbica
KgK
kk
x6
15x se escribe
23x2+15 se escribe
23x 15
jjie
dkgmoie.
moriou
8x + 30
se escribe
dkgvmoie moriou
jjhmol
34
36
Sntesis hacen los griegos y lo que realizan Descartes y Fermat en lo que se ha llamado sus
Geometra Analticas. ste es el asunto que queremos estudiar: a partir de algunos de los
principios metodolgicos de la Geometra griega tiene lugar el nacimiento de algo
completamente nuevo y revolucionario La Geometra de Descartes y la Isagoge de
Fermat, que consigue clausurar, en gran parte, el punto de partida la propia Geometra
griega. Qu poderoso instrumento utilizarn Fermat y Descartes para alcanzar tal hazaa
matemtica? El lgebra, una herramienta que no pudo disfrutar la Geometra griega porque
la aparicin sbita de los inconmensurables desvi la influencia de la Matemtica babilnica,
bien versada en Aritmtica y en incipientes tcnicas algebraicas, hacia la Geometra
Sinttica y el lgebra Geomtrica. Cuando Fermat y Descartes, bajo la inspiracin de Vieta,
apliquen todo el potencial algortmico del lgebra rabe, renacentista y del propio Vieta, el
Anlisis alcanzar su mximo poder heurstico para la resolucin de los problemas
geomtricos incluso los que se haban resistido de forma reiterada a los mtodos clsicos,
como el Problema de Pappus y el Problema de Apolonio, a base de complementar el
estudio analtico con la sntesis algebraica, lo que les permitir mediante las ecuaciones
pasar de la Geometra al lgebra y del lgebra a la Geometra.
La forma ms esmerada del Anlisis y la Sntesis la aplica Pappus en el Tesoro del Anlisis,
describiendo como para comprobar la validez y encontrar la prueba de un teorema o
resolver un problema en general de construccin se procede analticamente, asumiendo
por el momento que el teorema en cuestin es vlido o que el problema est resuelto.
Siguiendo entonces las implicaciones lgicas del teorema o la solucin del problema, se
llega a alcanzar una solucin conocida que es verdadera o falsa. Si se trata de un teorema,
de una falsa conclusin resulta la invalidez del teorema, y entonces del mismo Anlisis
resulta la refutacin del teorema por reduccin al absurdo; pero, si la conclusin obtenida a
travs del Anlisis es verdadera, nada se puede decir de la validez del teorema. Es decir, el
mtodo de Anlisis produce una cadena de inferencias que lleva de una premisa de valor
verdadero desconocido a una conclusin de valor verdadero conocido; la falsedad de la
conclusin implica la de la premisa, pero la verdad de la conclusin no dice nada acerca de
la de la premisa, a menos que, como sealaba Platn, uno pueda dar la vuelta a la
inferencia. La eficiencia del Anlisis es doble, por una parte abundan los teoremas
geomtricos que tienen un recproco vlido, y por otra, cuando el recproco de un teorema
no es vlido puede llegar a serlo aadiendo ciertas condiciones suplementarias, que eran
llamadas por los griegos diorismos. Gran parte de la investigacin geomtrica consista en
la bsqueda del diorismo adecuado para poder invertir una inferencia. Una vez que se ha
hallado el diorismo, la inferencia invertida constituye una Sntesis, es decir la rigurosa
demostracin del teorema. Las considerables dificultades inherentes a la inversin de
inferencias propiciaron que los grandes matemticos griegos se expresaran en sus obras
mediante formales demostraciones sintticas de los resultados que haban obtenido
aplicando el mtodo de Anlisis. Es decir, el Anlisis geomtrico griego era una fecunda
heurstica geomtrica, el instrumento fundamental de investigacin y creacin matemtica;
pero, alcanzada tras el Anlisis, la Sntesis, en presencia de la demostracin sinttica
cualquier anlisis era superfluo y como tal se suprima de los grandes tratados. De esta
forma, los griegos ocultaban la forma y el camino utilizados en la obtencin de sus
magnficos resultados matemticos.
Cuando a partir del Renacimiento tiene lugar la recuperacin, reconstruccin y divulgacin
del legado clsico griego, los matemticos lo acogen con entusiasmo, pero preocupados
porque el estilo sinttico y apodctico de exposicin de la Geometra griega, y en particular
de las obras de Euclides, Arqumedes y Apolonio, privaba a los investigadores de la forma
en que haban sido descubiertos los resultados, manifiestan junto a su admiracin, una
cierta perplejidad y extraeza. Incluso algunos (Torricelli, Barrow, Wallis,...) sospechaban sin
fundamento que los griegos disponan de algn instrumento (el lgebra?), un determinado
tipo de Anlisis Geomtrico, pero que lo haban ocultado de forma tan perfecta que a los
modernos matemticos les haba resultado ms fcil inventar un nuevo Anlisis la
Geometra Analtica que recuperar el antiguo. Quiz es Descartes quien con mayor
claridad muestra en la Regla IV de las Regulae la insatisfaccin de una curiosidad
frustrada por la ocultacin de los mtodos de descubrimiento de la Geometra griega.
38
39
40
41
42
B
aequalitas uniformes
B
uniformitis difformis
43
A continuacin Oresme aplica la Teora de latitud de las formas al estudio del movimiento
mediante lo que se le considera un autntico anticipador de la Cinemtica de Galileo.
Con el fin de describir el movimiento rectilneo, Oresme introduce la idea de representar
grficamente la velocidad instantnea del mvil en funcin del tiempo. Sobre una recta
horizontal lleva graduaciones de segmentos equivalentes al tiempo y sobre ellas eleva
segmentos perpendiculares de longitudes equivalentes a la velocidad del mvil en los
instantes correspondientes. As obtiene el diagrama velocidad-tiempo del cual a Oresme le
interesa la porcin de plano barrido por las perpendiculares sucesivas. A travs de la
generalizacin del examen de casos particulares simples, Oresme llega a la conclusin de
que el rea barrida por las perpendiculares sucesivas elevadas sobre cada graduacin de
un intervalo de tiempo equivale a la distancia recorrida por el mvil durante ese intervalo de
tiempo Principio de Oresme. Este postulado es la base de sus descubrimientos sobre el
movimiento uniformemente acelerado.
Para este tipo de movimiento, que es el caso ms importante, el crecimiento de la velocidad
del mvil es proporcional a la duracin durante la cual se produce tal crecimiento. La
representacin grfica de la velocidad en funcin del tiempo en el sentido de Oresme, es
decir, la porcin de plano barrido por las perpendiculares sucesivas los segmentos de
velocidad resulta ser un trapecio determinado por la recta formada por los puntos
superiores de tales perpendiculares, la recta de longitudes y los segmentos de las latitudes
extremas.
Ya que segn el Principio de Oresme,
el rea del trapecio ABCD equivale a
la distancia recorrida en el intervalo
de tiempo AB, y puesto que el rea de
este trapecio es igual a la del
rectngulo ABCD, deduce Oresme
D
C
que la distancia recorrida por el mvil
con
movimiento
uniformemente
acelerado en el intervalo de tiempo
AB, es la misma que la que recorrera
con movimiento uniforme de velocidad
D
igual a la que tiene en el instante
medio M. As pues, Oresme obtiene
tiempo
B
A
M
una verificacin geomtrica del
famoso Teorema de Merton del
grupo de filsofos que adoptaron el epnimo de Colegio de Merton.
velocidad
Oresme realmente no justifica por qu razn el rea bajo el grfico velocidad-tiempo representa la distancia recorrida. Claro est que una demostracin rigurosa exige los recursos del
Clculo Integral. Es posible que lo asumiera como una generalizacin inmediata del caso de
la velocidad uniforme, o tal vez en la lnea de la composicin de Arqumedes y de los
futuros Indivisibles de Cavalieri considerase el rea como la yuxtaposicin de los
segmentos verticales con toda la problemtica que esto acarrea en cuanto a la composicin
del continuo.
Los resultados de Oresme puede que no sean rigurosos a nuestros ojos (el concepto de
rigor en Matemticas es privativo del paradigma de cada poca) pero hasta la invencin de
la Geometra Analtica por parte de Fermat y Descartes y hasta el desarrollo del Clculo por
Cavalieri, Fermat, Pascal y finalmente Newton y Leibniz, la Cinemtica no tendr mejores
demostraciones del movimiento uniformemente acelerado que las de Oresme.
Prosiguiendo sus estudios, Oresme considera un movimiento rectilneo uniformemente
acelerado en el que la velocidad inicial es cero. Subdividiendo el intervalo AB en un cierto
nmero de partes iguales, resulta que las reas de los trapecios alzados sobre los intervalos
estn en las proporciones 1,3,5,7,... De acuerdo con el Principio lo mismo suceder con las
distancias recorridas en estos intervalos. Oresme escribe:
44
7
velocidad
5
3
46
parmetros. Ya que los parmetros no permiten obtener un resultado numrico concreto tras
las operaciones combinatorias que conducen a la resolucin de una ecuacin, sino una
solucin simblica, Vieta trasciende la Logistica numerosa ordinaria, aplicada al clculo con
nmeros, y alcanza la Logistica speciosa que tiene que ver con las especies, entendiendo
por stas cualquier tipo de magnitud, en particular elementos geomtricos como ngulos o
longitudes. Esto quiere decir que las cantidades simblicas del Arte Analtica al ser
interpretadas como magnitudes geomtricas y las operaciones simblicas como
procedimientos de construccin geomtrica, permiten obtener la solucin simblica de las
ecuaciones generales con significado geomtrico, de modo que el Arte Analtica poda ser
aplicado no slo a los problemas numricos sino tambin a problemas geomtricos. De esta
forma, el Arte Analtica de Vieta que tuvo su origen en el Tesoro del Anlisis de Pappus,
revierte sobre ste, de manera que su contenido es traducido al lenguaje simblico del Arte,
es decir, mediante el concurso del Algebra simblica, Vieta puede reconstruir, en trminos
algebraicos, el Anlisis Geomtrico clsico, lo que prepara el terreno para el advenimiento
de las Geometras Analticas de Fermat y Descartes.
Vieta aplica sus desarrollos algebraicos a lo que en su poca se llamaba el Anlisis mixto,
es decir, el Anlisis aplicado a la Geometra, pero de una forma que no es una mera
aplicacin del lgebra a la resolucin de problemas geomtricos. Esto ya lo haban hecho
otros matemticos como Regiomontano, Cardano, Tartaglia, o Bombelli, asignando valores
numricos a las lneas dadas del problema y contentndose con encontrar de la misma
manera lo que se buscaba. Ninguno haba soado con construir geomtricamente el valor
encontrado. De hecho no habran podido hacerlo por la propia naturaleza de su anlisis, ya
que slo la magnitud desconocida era representada por algn smbolo. La nueva forma
dada por Vieta al lgebra, introduciendo el uso de letras para representar todas las
magnitudes, las conocidas y las desconocidas, le condujo en su aplicacin de las
operaciones algebraicas apropiadas a las magnitudes geomtricas, al desarrollo de las
construcciones geomtricas. Esto en s mismo no es nuevo. El lgebra Geomtrica de los
griegos usaba de forma retrica, como vimos, magnitudes geomtricas como incgnitas. La
gran novedad de Vieta estriba en la aplicacin a problemas geomtricos de todo el
simbolismo literal con el potencial de la mecnica algortmica operatoria de clculo,
manipulacin y simplificacin, es decir, la traslacin de un problema de Geometra al
lgebra para su resolucin, un aspecto esencial de la futura Geometra Analtica.
Veamos algunos ejemplos:
a) Si en la resolucin de una ecuacin se tiene: x=ac/b, es fcil ver que el valor de x es una
cuarta proporcional.
b) Si en la resolucin de una ecuacin se tiene: x = aa bb 4 , es fcil ver que en primer
caso (signo +) x 1= aa + bb 4 es la hipotenusa de un tringulo rectngulo en el que a y
b/2 son los catetos; y en el segundo caso (signo ) x 2 = aa bb 4 es el cateto de un
tringulo rectngulo en el que a es la hipotenusa y b/2 es el otro cateto.
c) Dada el rea de un rectngulo (b) y la razn de sus lados (r/s), encontrar sus lados.
a s
ra
s
a
, e= ,
Sea a el lado mayor y e el menor (ae=b, = ), entonces =
e r
s
r ra s
raa
, de donde se obtiene la ecuacin final: raa=sb. En esta forma se
por tanto: b =
s
puede obtener fcilmente la construccin geomtrica de aa como cuarta proporcional, y
despus la de a como media proporcional, tras lo cual se construye e con otra cuarta
proporcional.
El trnsito desde el lgebra sincopada hacia la incipiente lgebra simblica, permite a Vieta,
como vemos en este ltimo problema, pasar de la manipulacin de proporciones al
establecimiento de ecuaciones, aspecto muy importante que aplicar Fermat, en los
avances de su Geometra Analtica, para hacer evolucionar el symptoma de Apolonio como
expresin de las curvas en forma de proporcin hacia la ecuacin caracterstica de la curva.
48
49
50
Hay otro aspecto en Vieta, en relacin con el uso que hace del trmino Anlisis, de una
gran incidencia sobre la Historia de la Geometra Analtica. En un sentido amplio Vieta
define el Anlisis como doctrina bene inveniendi in mathematica. Para Vieta el Arte
Analtica consta de tres partes: zetetic donde se determinan las propiedades de los
elementos que pide el problema a partir de las propiedades de los datos, poristic que es
el proceso de verificacin y exegetic que es la demostracin de la proposicin. Tal como
haba sido usado por Platn y Pappus, la palabra Anlisis haca referencia al orden de
las ideas en una demostracin. El Anlisis es la descomposicin en elementos ms
simples que se hace en el camino de la investigacin, la Sntesis es la composicin o
reordenacin que se hace en la exposicin. Vieta aplicar la palabra en la Geometra
algebraica, a la que mira como una nueva forma de Anlisis matemtico y usa el trmino
bajo el significado de los griegos, pero remarca que en la fase zettica de ataque
algebraico del problema se procede indirectamente a base de asumir lo que se quiere
probar o construir y se maneja y se opera con las cantidades incgnitas como si fueran
conocidas. Descartes reproducir en el segundo epgrafe del Libro I de La Geometra
estas ideas en torno a la aplicacin del Anlisis:
As, si se quiere resolver algn problema, debe de antemano considerarse como
ya resuelto, [...] Luego, sin considerar ninguna diferencia entre estas lneas
conocidas y desconocidas,[...]. (G.AT,VI,372).
As pues, para Vieta, el lgebra se convierte en el instrumento adecuado para emprender el
camino analtico en Geometra, a base de la aplicacin de las tcnicas simblicas sobre la
Logistica speciosa.
51
52
54
Que los antiguos haban tratado extensamente sobre los lugares no se puede dudar;
lo sabemos por Pappus, que al comienzo del Libro VII, testimonia que Apolonio haba
escrito sobre los lugares planos y Aristeo sobre los lugares slidos, pero si no nos
engaamos, la investigacin sobre los lugares no les resultaba nada fcil; lo que
conjeturamos en base al hecho de que para un gran nmero de lugares fracasaron en
establecer el problema de manera general.
Sometemos, por consiguiente, esa teora a un anlisis que le es propio y particular, y
que abre el camino general para la investigacin de los lugares.
Sin ms prembulos, Fermat establece, en un lenguaje claro y preciso, un Principio
fundamental de la Geometra Analtica: la naturaleza y la construccin de las curvas
planas estn determinadas por la ecuacin cannica asociada, con estas lacnicas
palabras (TH.OF.III.85):
Siempre que en una ecuacin final se encuentran dos cantidades incgnitas, se tiene
un lugar geomtrico, describiendo el extremo de una de ellas una lnea recta o curva.
La lnea recta es simple y nica en su gnero; las especies de curvas son en nmero
infinito, crculo, parbola, elipse, etc.
En estas breves palabras se sintetiza uno de los principios ms importantes de la Historia de
la Matemtica, que introduce no slo la Geometra Analtica sino la idea fundamental de
variable algebraica, bsica para el desarrollo del Clculo Infinitesimal.
Fermat da un significado a una ecuacin algebraica en dos incgnitas. De stas, que en
todo momento son concebidas como segmentos, la primera se mide, a partir de un punto
inicial, a lo largo de un eje dado, mientras los segmentos correspondientes que representan
la otra incgnita, siendo determinados por la ecuacin dada, se levantan como ordenadas
formando un determinado ngulo con el eje. En ciertos pasajes de la Geometra griega por
ejemplo en Las Cnicas de Apolonio, como se vio anteriormente ciertas lneas dimetros
y tangentes que jugaban un papel de coordenadas, se asociaban a una curva dada, de
manera que a travs del lgebra retrica eran expresadas en funcin de esas lneas,
mediante las propiedades geomtricas de la curva, la ley de definicin de la curva por medio
de proporciones el symptoma de la curva. Pero la curva como ente geomtrico se
consideraba a priori y sobre ella y a partir de su particular estructura geomtrica intrnseca
se superponan, a posteriori, las lneas coordenadas, de cuya descripcin verbal de la
relacin entre ellas, resultaba la ecuacin retrica de la curva. La genial idea clave de
Fermat estriba en poder invertir esta situacin a partir de una ecuacin algebraica en dos
incgnitas, Fermat ilustra como esta ecuacin define, con respecto a un sistema de
coordenadas dado, un lugar geomtrico de puntos, es decir una curva.
No debemos atribuir a Fermat el primer uso de las coordenadas. Fermat no invent las
coordenadas ni fue el primero que utiliz la representacin grfica (recordemos los
desarrollos de Oresme). Adems, tanto el razonamiento analtico como la aplicacin del
lgebra a la Geometra eran un lugar comn en los tiempos de Fermat, sobre todo despus
de los trabajos de Vieta. Lo que si es completamente nuevo a partir de Fermat y Descartes
es la constatacin del hecho de que una ecuacin algebraica en dos incgnitas representa,
por s misma, una curva geomtrica determinada unvocamente.
Hemos de considerar, no obstante, que ni Fermat ni Descartes utilizan el trmino sistema
de coordenadas o la idea de los dos ejes: el de abscisas y el de ordenadas. Fermat, en
concreto, escoge a conveniencia una lnea recta que juega el papel del eje x, en realidad
una semirrecta cuyo origen es un punto fijo que hace las veces de lo que despus se
llamara origen de coordenadas. Dada una ecuacin en las incgnitas A y E, los valores de
A son medidos a lo largo de la lnea desde el punto fijo. Los valores correspondientes de E
se levantan como segmentos de lnea, que ms tarde se llamarn ordenadas, formando un
ngulo fijo con el eje. En el esquema de Fermat, el eje y de ordenadas no existe
explcitamente, pero aunque en algn caso aparezca una lnea equivalente a lo que sera el
56
eje y, la abscisa, es decir, la cantidad A, no es interpretada como una lnea trazada desde el
punto en que se considere hasta tal supuesto eje de ordenadas.
P
Q
A
P
M
Z
b a
a
es
= . Por tanto la razn
d e
e
dada, as como el ngulo en Z. Por consiguiente el
tringulo NIZ es dado de especie, as como el
ngulo INZ. Pero el punto N es dado, as como la
posicin de la recta NZ. Por tanto NI est
determinado. La sntesis es fcil (TH.OF.III.8687).
En efecto, se tendr
As pues, el lugar geomtrico en este caso resulta ser una recta, en realidad una semirrecta.
57
58
59
Curiosa ilustracin caricaturesca alusiva a la costumbre que tena Fermat de resear sus
descubrimientos en los mrgenes de las obras de su pertenencia, que aparece en el artculo 15,
sobre Teora de Nmeros, firmado por Paul S. Herwitz, de la obra coordinada por Morris Kline
Matemticas en el mundo moderno (Editorial Blume, Madrid, 1974).
A Fermat siempre le acompaa el calificativo de aficionado porque su profesin de jurista no
estaba laboralmente muy prxima a la actividad de creacin cientfica. Por la especial dedicacin de
Fermat a la investigacin matemtica y por la importancia capital de sus resultados justo es
llamarle El Prncipe de los aficionados como hace E.T.Bell en Les grands mathmaticiens (Payot,
Pars, 1950).
60
Fermat contina estudiando el caso ms general, el de la recta que no pasa por el origen
aunque los coeficientes los tomar siempre positivos: da+be=c2 (Fermat mantiene todava la
homogeneidad de las magnitudes), mostrando de forma similar que corresponde a la lnea
c2
MI, donde MZ =
a . As pues, la ecuacin ms general da+be=c2, representa un
d
segmento rectilneo en el primer cuadrante con extremos en los ejes de coordenadas.
Fermat establece que todas las ecuaciones corresponden a lneas rectas:
[...] La misma conclusin se obtiene sin dificultad para toda ecuacin que tenga los
trminos en a o e solamente.
Esta es la primera y ms simple ecuacin de lugar, que servir para encontrar todos
los lugares sobre una lnea recta.
Para mostrar la potencia de su mtodo en el manejo de los lugares geomtricos, Fermat
enuncia una muy bella proposicin, que hemos descubierto por este medio:
Sean, en nmero cualquiera, rectas dadas de posicin, a las cuales se traza desde
un mismo punto rectas bajo ngulos dados; si la suma de cualesquiera mltiplos de las
rectas as trazadas es igual a un valor dado, el punto desde el que se las traza estar
sobre una recta dada de posicin.
Fermat no exhibe ninguna prueba; deba de pensar que la proposicin es un simple corolario
de que los segmentos son funciones lineales de las coordenadas del punto y del resultado
obtenido de que toda ecuacin de primer grado representa una recta.
A continuacin Fermat la emprende con las ecuaciones de segundo grado mostrando en
primer lugar que A in E aeq. Z pl. (es decir, xy=c2) es una hiprbola (TH.OF.III.8788):.
R
I
0
N
a
Z
Fermat aplica la propiedad asinttica de la curva hiperblica que era conocida muy
probablemente desde el descubrimiento de la curva. La ecuacin de la que parte Fermat
corresponde a la exposicin verbal de la expresin de la generacin de la curva, lo que los
griegos llamaban el symptoma, trmino que Fermat prefera llamar con buen criterio
propiedad especfica de la curva de la que parta para llegar a la curva, en sentido
contrario a como hacan los griegos.
Fermat aade que toda ecuacin de la forma d2 + xy = rx +sy (se han sustituido las
incgnitas a y e de Fermat, por las tradicionales x e y cartesianas) se puede reducir
fcilmente a la ecuacin previa anterior de la hiprbola equiltera, mediante sustituciones
que son equivalentes a traslaciones de ejes.
El siguiente caso que trata Fermat involucra expresiones que son cuadrados de las
incgnitas x2, y2, o x2, y2 estando en una razn dada, o x2+xy, y2 estando en una razn dada
(TH.OF.III.89):
61
En fin, el caso comprende todas las ecuaciones cuyos trminos llegan hasta el
cuadrado, y son en a2, e2 o ae. En todos estos casos el punto I est sobre una lnea
recta, lo cual es muy fcil de demostrar.
Contina Fermat demostrando que x2=dy, y tambin y2=dx (as como la forma general b2 x2
=dy) son parbolas (TH.OF.III.90-91):
O
I
e
La parbola descrita a partir del vrtice M, sobre el dimetro MN, con d como
parmetro y las ordenadas paralelas a NZ, satisfar la cuestin, como es claro segn
la construccin.
De forma similar Fermat resuelve el caso b2+x2=dy.
Sigue Fermat demostrando que x2+y2=b2 es un crculo y mediante elementales
transformaciones consigue comprobar que tambin es un crculo la ecuacin cuadrtica que
carece de trmino en xy cuando son iguales los coeficientes de x2 y de y2, es decir,
x2+y2+2dx+2ry=b2.
Al llegar a este punto Fermat escribe (TH.OF.III.92):
Gracias a este procedimiento hemos construido todas las proposiciones del segundo
Libro de Apolonio Sobre los Lugares Planos.
Este aserto avalara las opiniones acerca de que la Geometra Analtica de Fermat devino
del estudio de los lugares geomtricos ms que a travs de la solucin geomtrica de las
ecuaciones, tpico ste que ocupara a algunos de sus predecesores (Vieta en particular) y
62
Por ejemplo para las ecuaciones cbicas, Fermat pone el ejemplo de x3+bx2=bc2; iguala
cada trmino de la ecuacin al slido bxy:
x3+bx2 = bxy , bc2 = bxy ,
divide la primera ecuacin por x y la segunda por b, obteniendo:
x2+bx = by , c2 = xy ,
de modo que resuelve la ecuacin mediante la interseccin de una parbola y una hiprbola,
escribiendo: [...] es fcil remontarse del anlisis a la sntesis.
A continuacin Fermat aplica el mtodo para las ecuaciones curticas y pone el ejemplo:
x4+b3x+c2x2 = d4, que lo considera en la forma x4 = d4b3xc2x2; iguala los dos miembros a
c2y2:
x4 = c2y2 , d4b3xc2x2 = c2y2 ,
simplifica el primero haciendo la raz cuadrada y divide el segundo por c2, obteniendo: x2=cy,
b3
d2
x 2 + y 2 + 2 x = 2 . As pues, resuelve el problema mediante la interseccin de una parbola
c
c
y una circunferencia.
Fermat aade (TH.OF.III.97):
el mtodo puede servir para resolver todas las ecuaciones bicuadrticas; ya que por
el mtodo de Vieta (Cap.I: De emend.), se puede hacer desaparecer el trmino
afectado del cubo, [...].
As pues, Fermat es capaz de resolver geomtricamente las ecuaciones cbicas y curticas
mediante intersecciones de diversos lugares slidos: parbolas, hiprbolas y
circunferencias. Ms adelante (TH.OF.III.99) Fermat dir que es intil utilizar ciertos
mtodos de Vieta para las ecuaciones bicuadrticas porque es claro que las bicuadrticas
se resuelven con la misma elegancia, la misma facilidad y la misma rapidez que las cbicas,
y no es posible, yo creo, imaginar una solucin ms elegante.
Hay que reconocer que como deca el propio Fermat es difcil imaginar un mtodo, ya no
slo ms elegante, sino ms operativo, ms claro y sobre todo ms didctico que el que
Fermat exhibe en el tratamiento de problemas importantes en la Historia de la Matemtica.
Sello emitido en 2001 con motivo del cuarto centenario del nacimiento de Fermat.
64
65
66
67
68
La Geometra de Descartes
El Discurso del Mtodo y La Geometra. Implicaciones recprocas
Como consecuencia de la aparicin de los inconmensurables, el lgebra Geomtrica de los
griegos estructura casi toda la Matemtica griega, con una rigidez que obliga a un
tratamiento sinttico de los problemas, esclaviza a depender de la naturaleza geomtrica
intrnseca de las figuras, de modo que cada problema exige un tratamiento local que
atomiza la casustica de los casos especficos y precisa de sutiles construcciones
geomtricas para cada caso particular. Es decir, cada demostracin de la Geometra
eucldea exiga nuevos e ingeniosos argumentos originales y estaba tan ligada a las figuras
que que no puede ejercitar el entendimiento sin fatigar mucho la imaginacin, como dira
Descartes (DM.AT,VI,17). Pero lo ms grave era la ocultacin del procedimiento y el mtodo
de descubrimiento. Incluso Descartes llega a decir que Los antiguos no posean un
verdadero mtodo, [...], sino ellos no hubieran escrito libros tan voluminosos [para
resolver las cuestiones geomtricas] (G.AT,VI,376).
Las Geometras Analticas de Fermat y Descartes nacen, precisamente, del inters de ambos
por la metodologa. Como escribe Kline (1985, p.51):
Las contribuciones de Descartes a las Matemticas propiamente dichas no ofrecieron
nuevas verdades, sino, ms bien, una slida metodologa que ahora llamamos Geometra
Analtica.
Tanto la Isagoge de Fermat como La Geometra de Descartes tienen su anclaje en la Geometra
Griega, pero se plantean como tarea esencial encontrar nuevos mtodos ms simples, ms
operativos, ms resolutivos, ms heursticos y sobre todo ms generales. As parece
pronunciarse Fermat justo desde el comienzo de la Isagoge (TH.OF.III.85). Y en el caso de
Descartes, la intencionalidad es palmaria hasta en el propio ttulo de la obra de la que es
tributaria La Geometra, que la llama Discours sur la Mthode, ..., en la que Descartes plasma,
de forma clara y distinta, el mtodo para dirigir correctamente la razn y buscar la verdad en las
ciencias, es decir, primero el mtodo, despus la ciencia que resulta de su fiel aplicacin.
La lectura de las Reglas para la direccin del espritu y El Discurso del Mtodo es un preliminar
necesario, o al menos aconsejable, para entender la motivacin y los presupuestos intelectuales
de Descartes acerca de la Ciencia, de la universalizacin del razonamiento matemtico como
base del conocimiento racional y en particular de los orgenes y objetivos de La Geometra.
Descartes se propone con El Discurso del Mtodo y La Geometra una magna empresa de
reforma de la Filosofa y de la Matemtica, tomando esta ciencia como principio bsico del
fundamento de la sabidura universal. Descartes adopta la demostracin matemtica frente al
recurso a la autoridad y pondera la firmeza y certeza de la Matemtica frente a la incertidumbre
de la Filosofa. Pero no todo es panegrico respecto de las Matemticas, ya que Descartes se
queja tanto del uso restringido que, en su tiempom se haca de la Matemtica, como de la forma
misma de ensearla. En efecto, al aludir a su etapa de formacin, Descartes escribe, en el
Discurso del Mtodo, respecto de las Matemticas (DM.AT,VI,7):
Gustaba [en mi juventud], sobre todo, de las Matemticas por la certeza y evidencia de
sus razonamientos, pero no haba entendido todava su verdadero uso y, pensando que
slo servan para las artes mecnicas, me sorprenda de que, siendo tan firmes sus
fundamentos, no se hubiera construido sobre ellas nada ms relevante.
Ms adelante, en la segunda parte de la obra, Descartes contina diciendo (DM.AT,VI,1718):
Haba estudiado entre las partes de la Filosofa, la Lgica, y de las Matemticas, el
Anlisis de los gemetras y el lgebra, tres Artes o Ciencias, que deban, al parecer,
contribuir algo a mi propsito. [...] Respecto al Anlisis de los antiguos y el lgebra de los
modernos, aparte de que no se refieren sino a muy abstractas materias que no parecen
ser de ningn uso, el primero est siempre tan constreido a considerar las figuras, que no
puede ejercitar el entendimiento sin fatigar mucho la imaginacin, y en la ltima hay que
sujetarse tanto a ciertas reglas y cifras, que se ha hecho un arte confuso y oscuro, bueno
69
para enredar el espritu, en lugar de una ciencia que lo cultive. Esto fue causa de que
pensase que era necesario buscar algn otro mtodo que, reuniendo las ventajas de estos
tres, estuviese libre de sus defectos.
A juzgar por este texto, el valor propedutico y pedaggico de la Aritmtica y la Geometra en la
concepcin del Mtodo, es asumido por Descartes una vez se hayan corregido las deficiencias y
limitaciones de estas ciencias, es decir, una vez que Descartes haya transformado los antiguos
instrumentos de la Geometra griega el lgebra Geomtrica y el Anlisis Geomtrico en lo que
hoy llamamos la Geometra Analtica cartesiana, mediante la intervencin del lgebra literal y
simblica de Vieta sobre la Geometra, tras la drstica reforma y simplificacin de la notacin
algebraica que el propio Descartes realizar, primero de forma provisional en la Regla XVI de las
Regulae (RXVI.AT.X.455) y ya de forma definitiva en La Geometra (G.AT,VI,371).
Efectivamente, uno de los atributos ms importantes de la Geometra Analtica es que libera al
investigador de la dependencia a ultranza de las figuras geomtricas al sustituir las complejas
construcciones geomtricas de la Geometra griega por sistemticas operaciones algebraicas, es
decir, permite ejercitar el entendimiento sin fatigar mucho la imaginacin. As concibe
Descartes una ciencia matemtica que se convierte en un saber ms fcil y simple, y
generalizable y valido para todo el mbito de la cantidad. Pero no slo esto, porque el modo de
proceder y el espritu de esta verdadera Matemtica, experimentado y cultivado en el quehacer y
en la investigacin matemticos, es lo que inspira las reglas del Mtodo y el Mtodo mismo. En
efecto, Descartes reconoce el proceder de los gemetras en la inspiracin de su mtodo
(DM.AT,VI,19):
Esas largas cadenas trabadas de razones muy simples y fciles, que los gemetras
acostumbran a emplear para llegar a sus ms difciles demostraciones, me haban dado
ocasin para imaginar que todas las cosas que entran en la esfera del conocimiento
humano se encadenan de la misma manera, [...], y considerando que entre todos los que
antes han buscado la verdad en las ciencias, slo los matemticos han podido hallar
algunas demostraciones, esto es, algunas razones ciertas y evidentes, no dud de que
deba comenzar por las mismas que ellos han examinado.
He aqu un texto muy significativo de la importancia del mtodo matemtico en el fundamento del
pensamiento cartesiano, sobre todo el mtodo seguido por los gemetras, que parten de las
cosas ms sencillas y fciles de conocer para elevarse mediante largas cadenas de trabadas
razones hasta alcanzar las cuestiones ms difciles y complejas. Descartes conceba que las
entidades del conocimiento se encadenan como las proposiciones geomtricas, que son, junto
con las aritmticas, las nicas que gozan de certeza y evidencia, por tanto por ellas haba que
empezar como gua hacia el Mtodo.
El ltimo texto citado de El Discurso del Mtodo continua con estas palabras (DM.AT,VI,20):
[...] Al advertir que, aunque [las ciencias matemticas] tienen objetos diferentes,
concuerdan todas en no considerar sino las relaciones o proporciones que se encuentran
en tales objetos, pens que ms vala limitarse a examinar esas proporciones en general,
[...], pens que, para considerarlas mejor particularmente, deba suponerlas en lnea
[recta], pues nada hallaba ms simple ni que ms distintamente pudiera representarse a mi
imaginacin y a mis sentidos. Y que para retenerlas o comprenderlas era necesario
explicarlas mediante algunas cifras lo ms cortas que fuera posible; de esta manera
tomara lo mejor del Anlisis geomtrico y del lgebra y corregira los defectos del uno por
medio de la otra.
He aqu, en trminos del propio Descartes, el origen y los fundamentos de La Geometra.
Descartes toma la lnea recta como representacin de toda magnitud y, adems, propone una
reforma de la notacin algebraica. De esta forma conservar del Anlisis Geomtrico el auxilio
que recibe de la imaginacin y del lgebra una vez reformada la notacin la mecanizacin
operacional que permite su simbolismo. La proyeccin y aplicacin del lgebra sobre el Anlisis
geomtrico Descartes dice corrigiendo sus defectos producir lo que llamamos su
Geometra Analtica.
70
a su propsito (DM.AT,VI,17):
Todas estas cuestiones e inquietudes que Descartes refleja en El Discurso del Mtodo y en las Regulae,
con un bello y claro lenguaje, son consideracin esencia para entender como se haba ido fraguando en
su mente adolescente no slo el origen de La Geometra sino la idea de la sabidura universal.
71
LA GEOMETRA DE DESCARTES
72
EL CARTESIANISMO
Estatua de Descartes. Palacio de
Versalles.
El trmino latinizado del apellido
de Descartes ha dado nombre tanto
a su doctrina filosfica: el
cartesianismo, basada en el mtodo
de la razn matemtica, como a las
aplicaciones geomtricas de La
Geometra: la Geometra cartesiana,
llamada en su forma acadmica
Geometra Analtica.
Pocos sabios han dejado su nombre
a una doctrina filosfica o a una
teora matemtica, pero todava
menos han tenido la gloria de verlo
adjetivado
en
el
lenguaje
coloquial. Cartesiano ha pasado a
ser sinnimo de racional y
metdico en el sentido de analista y
riguroso. As se reconoce cuando se
habla, por ejemplo, de una mente
cartesiana .
73
74
E
C
B
D
En esta ocasin, Descartes usa el otro Teorema de Tales (Euclides, III.31) y el Teorema de
la Altura (Euclides, VI.8).
No hay ninguna novedad en la traduccin geomtrica de las operaciones algebraicas
elementales que hace Descartes pensando en la ulterior resolucin de ecuaciones. De
hecho sabemos que el lgebra Geomtrica de los griegos era una forma geomtricosinttica de resolver ecuaciones, y despus de los griegos, los matemticos rabes
disponan de algoritmos de resolucin de ecuaciones mediante ciertas construcciones
geomtricas, que traducan las operaciones algebraicas casi en los mismos trminos que
Descartes. La gran innovacin cartesiana estriba en que Descartes las utiliza para resolver
problemas geomtricos, es decir, para hacer Geometra mediante el lgebra y no al revs.
La edicin de F. van Schooten, de 1659, de La Geometra de Descartes, parte de su largo ttulo es:
Geometria, Renato Des Cartes : anno 1637 Gallic edita; postea autem una cum notis / Florimondi
de Beavne ... Gallic conscriptis in Latinam Linguam versa, & commentariis illustrata, oper atque
studio Francisci Schooten ... -- Amstelaedami : apud Ludovicum & Danielem Elzevirios, 1659.
En 1644, el matemtico Frans van Schooten, editor de La Geometra de Descartes y autor de las
figuras, graba la imagen ad vitum de un caballero con bigote y barba, circundando el retrato con la
siguiente inscripcin: Renatus Des Cartes ... Natus Hagae Turorum anno MDXCVI. Sealan los
historiadores que esta inscripcin es el nico documento que atestigua la fecha de nacimiento de
Descartes. El filsofo encontr este retrato muy bien hecho, aunque la barba y el vestido no se le
parecen en nada.
El retrato acompaa a la edicin de van Schooten, de 1659, de La Geometra de Descartes.
78
a2 + b2 para
79
1, es decir AB igual a 1.
Vemos pues que Descartes asigna una letra a cada segmento, que de hecho designa (y
mide) su longitud. Adems, introduce los exponentes para escribir las potencias; utiliza a3,
a4, a5, a6, etc., para representar las respectivas potencias de a, pero usa indistintamente aa
o a2 para el cuadrado, lo cual tiene su explicacin pues mientras que para escribir tanto aa
como a2 se precisan dos signos en las potencias superiores a a2 hay una gran economa de
lenguaje al escribir an. Adems, vemos que Descartes designa la raz cbica
mediante C.a3 b3 + abb y la igualdad por medio del smbolo
las dos primeras letras de la palabra latina aequare.
a3 b3 + abb
81
La notacin que Descartes introduce en la Regla XVI de las Regulae (RXVI.AT.X.455) y perfecciona
al comienzo de La Geometra (G.AT,VI, 371), fue la frmula oportuna para su magno proyecto de
reforma y reconstruccin de la Matemtica sobre premisas muy sencillas, no geomtricas como en
Euclides, sino algebraicas, y con unas herramientas geomtricas muy sencillas, slo el Teorema de
Tales y el Teorema Pitgoras, o algunos equivalentes, como confiesa a dos de sus pupilas, la reina
Cristina de Suecia y la Princesa Isabel de Bohemia.
La simplificacin de la notacin algebraica es una cuestin intrnsecamente vinculada a los
mtodos de la Geometra Analtica. Tanto es as, que en todo estudio histrico sobre la Geometra
Analtica una parte importante la ocupa la evolucin histrica del simbolismo, que alcanza su
clmax en los aportes del propio Descartes a la notacin algebraica, ingrediente esencial del
descubrimiento cartesiano. En palabras de Descartes:
[...] De esta manera tomara lo mejor del Anlisis geomtrico y del lgebra y corregira los
defectos del uno por medio de la otra (DM.AT,VI,20).
Descartes alude una y otra vez en las Regulae y en La Geometra a la funcin que debe cumplir una
buena notacin, simple y clara, formada de signos muy breves para ejercitar el entendimiento sin
fatigar mucho la imaginacin (DM.AT,VI, 17-18), y no distraer el pensamiento en retener cosas, a
base de descargar la memoria por medio de la escritura para slo confiarle lo imprescindible
(RXVI.AT.X.454455), (RXVI.AT.X.458):
[...] Muy acertadamente el arte invent la escritura, fiados en cuya ayuda nada en absoluto
encomendaremos ya a la memoria, sino que, dejando a la fantasa en su totalidad libre para las
ideas presentes, escribiremos en el papel cuanto haya de ser retenido; y ello por medio de signos
muy breves [...]. A cuanto haya de ser contemplado para la solucin de una dificultad, lo
designaremos por medio de un signo nico que puede ser formado al capricho de cada cual.
De modo general es preciso observar que jams debe encomendarse a la memoria ninguna de
las cosas que no requieran una continuada atencin, si podemos depositarlas en el papel, no sea
que un recuerdo superfluo para el conocimiento de un objeto nos prive de alguna parte de
nuestro espritu.
El simbolismo algebraico, que apuntaba a convertirse en el lenguaje universal traera
simplificacin, generalizacin, mecanizacin y unificacin en la notacin, entraando economa de
pensamiento y difusin rpida. Despus de Descartes, el lgebra es uno de los ms potentes
lenguajes creados por el hombre, un instrumento para la expresin breve, intuitiva y mecnica de
relaciones enormemente complicadas que puedan tener entre s objetos abstractos cualesquiera, y
en su aplicacin a la Geometra, el ingenio que exiga la lectura y comprensin de la obra de
Euclides quedara eliminado y reemplazado por procedimientos algortmicos automticos.
Aparte de su ingente contribucin al nacimiento de la Geometra Analtica, a Descartes le cabe,
pues, el mrito de haber dado los pasos ms importantes en la introduccin de la moderna notacin
simblica de las Matemticas, de modo que el convenio notacional cartesiano se hizo definitivo. La
Geometra, es el primer texto matemtico en el que un estudiante actual no encontrara dificultades
con la notacin.
82
1
aa + bb
4
N
P
1
aa + bb
4
1
aa + bb
4
y as otros casos.
En fin, si tuviera z2 = ax bb
84
1
a+
2
1
aa bb
4
z=
1
1
a
aa bb
2
4
Y si el crculo que tiene su centro en N y pasa por el punto L no corta ni toca la lnea
recta MQR, no hay ninguna raz de la ecuacin, de manera que puede asegurarse que
la construccin del problema propuesto es imposible.
Por otra parte, estas mismas races se pueden encontrar por una infinidad de otros
medios y he indicado aqu solamente esos muy simples, a fin de mostrar que se
pueden construir todos los problemas de la geometra ordinaria, sin hacer ms que lo
poco que est comprendido en las cuatro figuras que he explicado. No creo que los
antiguos lo hayan observado; pues en tal caso ellos no hubieran escrito libros tan
voluminosos en que el solo orden de las proposiciones nos muestra que no posean el
verdadero mtodo para resolverlas todas, sino que solamente han recopilado las que
haban resuelto.
Situndose en la tradicin, Descartes estudia y resuelve los tres tipos clsicos de
ecuaciones z2=az+bb, yy= ay+bb, z2=axbb, que, como se sabe, antes de Vieta, eran
considerados con coeficientes numricos concretos y positivos, resultando equivalentes a
los tres tipos tradicionales de ecuaciones: z2=az+b, z2+az=b, z2+b=az, con a,b positivos, que
en el lgebra Geomtrica griega tenan su forma particular de resolucin, como tenan,
asimismo, en la matemtica rabe, cada uno de los tipos, su propio algoritmo de resolucin.
Pues bien, ahora Descartes, manteniendo por esta vez la homogeneidad, nos brinda la
resolucin geomtrica de cada uno de los casos posibles. Para cada caso, siguiendo el
algoritmo algebraico de resolucin bien conocido, podramos obtener el valor del segmento
solucin z expresado por las correspondientes operaciones con radicales, de donde se
advierte que todas las operaciones que intervienen son resolubles, a partir de los segmentos
dados, a,b, utilizando slo la regla y el comps. No obstante, Descartes procede de forma
geomtrica construyendo para cada caso el segmento solucin, por eso no puede
considerar todos los tipos de ecuaciones cuadrticas (por ejemplo no estudia la ecuacin
z2+az+b2=0 porque no tiene races positivas), y de las que resuelve slo tiene en cuenta las
soluciones positivas que son las nicas construibles.
Por otra parte, Descartes dice que estas mismas races se pueden encontrar por una
infinidad de otros medios. Y la verdad es que a veces no especfica exactamente cmo
obtiene la construccin geomtrica del segmento solucin si aplicando el Teorema de
Pitgoras o la invariancia de la potencia de un punto respecto de la circunferencia. La
equivalencia de ambas aplicaciones deja la construccin geomtrica cartesiana en cierta
ambigedad.
N
P
2
2
En efecto: MO=MN+NO. Pero por el Teorema de Pitgoras MN = NL + LM , de modo que
sustituyendo cada recta por su longitud tenemos la expresin algebraica indicada:
z=
1
a+
2
1
aa + bb
4
.
1
1
a
aa bb
2
4
z2=MR=MO+OR =
1
a+
2
1
aa bb
4
86
Fundir el Anlisis Geomtrico de los antiguos (siempre tan constreido a considerar las
figuras) [DM.AT,VI.17)] con el lgebra de los modernos (que se ha hecho un arte confuso y
oscuro [DM.AT,VI.17)]; para buscar otro mtodo que, reuniendo las ventajas de stos,
estuviese libre de sus defectos [DM.AT,VI.18].
Introducir las coordenadas: Todos los problemas de Geometra pueden reducirse fcilmente a
trminos tales, que no es necesario conocer de antemano ms que la longitud de algunas lneas
rectas para construirlos [G.AT,VI, 369].
Ensear cmo se llega a las ecuaciones que sirven para resolver los problemas [G.AT,VI,372];
y cmo se resuelven [G.AT,VI,374] estas ecuaciones es decir, cmo se construyen las
soluciones.
Mediante estas tareas, Descartes tomara lo mejor del Anlisis geomtrico y del lgebra y
corregira los defectos del uno por medio de la otra [DM.AT,VI, 20].
87
DESCARTES EN LA PRENSA
88
H
F
D
He aqu uno de los puntos de mayor inters de La Geometra de Descartes. Empieza el
anlisis:
a) se supone el problema resuelto,
b) se da nombre a todos los segmentos necesarios para representarlos, tanto los
conocidos como los desconocidos,
c) se reconstruye algebraicamente el problema hasta obtener una ecuacin que permitir
alcanzar la sntesis.
90
( a1x+b1y+c1 )
( a +b ) sen
2
1
2
1
=K
( a2 x+b2 y+c 2 )
( a x+b3 y+c 3 )
3
( a +b ) sen ( a +b ) sen
2
2
2
2
2
3
2
3
Sigue el texto de Descartes demostrando que si lo que buscamos es un solo punto (para el
problema de menos de cinco rectas) el problema es plano, ya casi al final del Libro I:
Cmo se encuentra que este problema es plano cuando no est propuesto para
ms de cinco lneas
(G.AT,VI, 385-387)
Adems, a causa de que para determinar el punto C no hay ms que una sola
condicin requerida [la de la igualdad de las multiplicaciones de lneas], puede
tomarse a discrecin una de estas cantidades desconocidas x o y, y buscar la otra por
la ecuacin, en la cual es evidente que cuando el problema no est propuesto para
ms de cinco lneas, la cantidad x que no es utilizada para la expresin de la primera
de las lneas nunca puede tener ms de dos dimensiones. De modo que tomando y
como una cantidad conocida tendremos:
91
xx = + o ax + o bb [x2 = ax b2]
y as se podr encontrar la cantidad x con la regla y el comps de la manera ya
explicada. Lo mismo tomando sucesivamente infinitos valores para la lnea y, podemos
hallar otros tantos para la lnea x; y as se tendr una infinidad de diversos puntos tales
como el que se ha sealado con C, por medio de los cuales se describir la lnea
curva pedida.
Nuevamente debemos sealar aqu otro de los puntos de mayor inters de La Geometra de
Descartes: una aproximacin al concepto de funcin a travs de la expresin analtica de
una ecuacin. Por ejemplo para cuatro rectas la consideracin de las coordenadas del punto
C=(x,y), nos lleva a una ecuacin polinmica de segundo grado F(x,y)=0, que representa
una infinidad de pares (x,y) que satisfacen el problema de las cuatro rectas. Tal ecuacin es
una expresin matemtica bien definida que depende de dos variables x, y, de modo que
conociendo una de ellas se puede hallar rigurosamente la otra tras la resolucin algebraica
de una ecuacin de lo que se ocupar Descartes en el Libro III para grados superiores, lo
que equivale a la determinacin geomtrica del punto C. As pues, el conocimiento de la
ecuacin permite conocer los puntos de la curva. Todava no hay una identificacin de la
curva con la ecuacin, Descartes slo ha introducido el concepto de curva definida por
puntos y esperar al Libro II de La Geometra para estudiar ampliamente el problema y
establecer cules son las razones geomtricas que permiten considerar una expresin como
una representacin de una curva.
EL PROBLEMA DE PAPPUS
92
De pasada Descartes define el ngulo entre dos curvas en un punto como el ngulo que
forman las normales en ese punto, adems, aade de soslayo la frase (G.AT,VI, 413):
[...] Con slo esto, se puede aun, encontrar casi todo lo que puede ser determinado
respecto a la medida del espacio que abarcan,
de modo que el asunto se podra aplicar al clculo de reas determinadas por curvas de las
que se conoce la ecuacin, es decir, al otro problema candente en los crculos matemticos
de la primera parte del siglo XVII, el clculo de cuadraturas, problema al que Descartes no
presta atencin alguna en su obra matemtica.
A continuacin Descartes entra directamente en el problema. Curiosamente utiliza la
notacin anterior xx para indicar x, en cambio adopta la notacin potencial xn para el resto
de las potencias. Transcribiremos el texto de Descartes utilizando una notacin uniforme xn
para todas las potencias(G.AT,VI, 413-414):
Manera general de encontrar lneas rectas que corten las curvas dadas o sus
tangentes, formando ngulos rectos.
Sea CE la lnea curva y que deba trazarse una recta por el punto C que forma con
ella ngulos rectos.
Supongamos que la cosa est hecha y que la lnea buscada es CP, que prolongo
hasta el punto P en que encuentra a la lnea recta GA que supongo ser aquella a cuyos
puntos se refieren todos los de la lnea CE; de manera que haciendo MA o CB=y, y
CM o BA=x, hay alguna ecuacin que explica la relacin que existe entre x e y [el punto B no
figura en el dibujo; guindose por las siguientes figuras, se obtendra como interseccin de
la perpendicular a AM por A y la paralela a AM por C].
Luego haciendo PC=s, PA=v, o bien PM=vy, por el tringulo rectngulo PMC
obtengo s2, que es el cuadrado de la base, igual a x2+v22vy+y2, que son los cuadrados de
los dos lados; es decir que tengo
x = s2 v 2 + 2vy y 2
o bien
y = v + s2 x 2
y por medio de esta ecuacin, saco de la otra ecuacin que da la relacin que tienen
todos los puntos de la curva CE con los de la recta GA [la ecuacin de la curva], una
de las dos cantidades indeterminadas x o y; lo que es fcil de hacer poniendo
s2 v 2 + 2vy y 2
94
95
r 2
y ,
q
r 2
y
q
o bien
y2 +
pues mejor, en este lugar, considerar as en conjunto toda la suma que hacer una
parte igual a otra.
Dada la curva CE de eje AG y vrtice A, Descartes se plantea trazar la normal en el punto C,
para lo cual debe encontrar un punto P sobre el eje AG que al trazar el segmento PC nos de
la normal. De acuerdo con la metodologa cartesiana, comienza el anlisis del problema:
a) se considera resuelto, y b) se da nombre a los todos los segmentos que parecen
necesarios: MA =y, CM=x, PC=s, PA=v.
En la sntesis se indica que [...] Hay alguna ecuacin que explica la relacin que existe
entre x e y, es decir, la ecuacin de la curva.
Descartes prosigue realizando para la parbola clculos anlogos a los de la elipse, tras lo
cual vuelve al problema general en una forma que justifica que a su regla se le denomine
mtodo del crculo (G.AT,VI, 417):
Ahora, despus de encontrada una ecuacin as, en lugar de utilizarla para conocer
las otras cantidades x o y, que son ya dadas, puesto que el punto C es dado, se la
debe emplear para encontrar v o s que determinan el punto P pedido. Y, a este efecto
se debe considerar que si ese punto P es el punto que deseamos encontrar, el crculo
del cual es centro y que pasa por el punto C, tocar a la lnea curva CE sin
cortarla; pero si el punto P est ya sea ms prximo o ms alejado del punto A de lo
debido, ese crculo cortar a la curva no slo en el punto C, sino necesariamente en
algn otro. Debe tambin considerarse que cuando este crculo corta la lnea curva
CE, la ecuacin por la cual se busca la cantidad x o y, o alguna
semejante, suponiendo PA y PC conocidas, contiene necesariamente dos races, que
son desiguales. Pues por ejemplo, si este crculo corta a la curva en los puntos C y
E, trazando EQ paralela a CM, los nombres de las cantidades indeterminadas x e y
convendrn igualmente a las lneas EQ y QA que a CM y MA, pues PE es igual a PC
por ser del crculo; si bien, buscando las lneas EQ y QA por PE y PA que se suponen
dadas, se tendr la misma ecuacin que si se buscara CM y MA por PC y PA, de lo
que se deduce, evidentemente, que el valor de x o de y, o de cualquier otra cantidad
que se suponga, ser doble en esta ecuacin, es decir que habr dos races
desiguales entre s, de las que una ser CM y la otra EQ, si es x que se busca; o bien
una ser MA y la otra QA, si es y; y as las otras. Es cierto que si el punto E no se
encuentra del mismo lado de la curva que el punto C, no habr ms que una de estas
races que sea verdadera y la otra ser opuesta o menor que cero; pero cuanto ms
prximos estn estos dos puntos el uno del otro, tanto menor diferencia habr entre
las dos races; y, ellas sern enteramente iguales, si ellos estn juntos en uno, es decir
si el crculo que pasa por C toca la curva CE sin llegar a cortarla.
Adems, debe considerarse que cuando hay dos races iguales en una ecuacin, ella
tiene necesariamente la misma forma que si se multiplica por si misma la cantidad que
se supone ser desconocida menos la cantidad conocida que le es igual; despus de lo
cual si esta ltima expresin tiene dimensin inferior a la de la ecuacin precedente,
se la multiplica por otra suma que tenga tanta dimensin como la que le falta, de modo
que pueda haber ecuacin separadamente entre cada uno de los trminos de la una y
cada uno de los de la otra.
Para cada punto C de la curva hay que determinar el punto P problema geomtrico que
permite trazar el segmento PC, normal a la curva en C, es decir, hay que poner v y s en
funcin de x e y problema algebraico. Suponer el problema resuelto permite determinar en
un terreno algebraico la ecuacin de un crculo. Regresando a la Geometra, si la recta
trazada por P es la normal el crculo del cual es centro y que pasa por el punto C, tocar a
97
la lnea curva CE sin cortarla, es decir, ser tangente, cortar a la curva en un solo punto,
un punto doble (en sentido actual). Ahora, volviendo al lgebra, para que el crculo toque
(sea tangente) a la curva es preciso que la ecuacin resultante tenga una raz doble. Esta
ecuacin resultante proviene del sistema de ecuaciones formado por la ecuacin de la curva
y la ecuacin del crculo.
Aqu aparece otro principio fundamental de la Geometra Analtica: la interseccin de
curvas que es un problema geomtrico se reconduce a la resolucin de sistemas de
ecuaciones que es un problema algebraico.
Descartes resolver el problema algebraico final que se plantea mediante el mtodo de
coeficientes indeterminados, y en este tema, as como en el asunto paralelo de las races
dobles, tambin es un pionero.
Contina Descartes aplicando el mtodo a la elipse (G.AT,VI, 419):
As, por ejemplo, digo que la primera ecuacin encontrada ms arriba [la de la
elipse], a saber
y2 +
debe tener la misma forma que la que se obtiene haciendo e igual a y, y multiplicando ye
por s misma: de lo que resulta
y2 2ey + e2 ,
de manera que se pueden comparar separadamente cada uno de sus trminos y decir
que, puesto que el primero, que es y2 es el mismo en la una y en la otra; el segundo que en
una expresin es:
qry 2qvy
qr
es igual al segundo de la otra que es 2ey.
De donde, buscando la cantidad v que es la lnea PA, se tiene
v =e
r
1
e + r,
q
2
r
1
y + r,
q
2
qv 2 qs2
qr
pero, puesto que la cantidad v determina bien el punto P, que es el nico que
buscamos, no hay necesidad de proseguir.
De forma anloga Descartes realiza la argumentacin y el clculo para la parbola y la
Concoide de Nicomedes (G.AT,VI, 420-424).
98
y=f(x)
Q
P
r
f(x)
v-x
En general un crculo con centro en un punto D prximo a C y que pase por P, cortar a la
curva y=f(x), no slo en P, sino en otro punto Q, cercano a P, pero si CP es la normal a la
curva en el punto P, este punto ser un punto doble de la interseccin de la curva y=f(x) y
el crculo (xv) + y=r.
Eliminando la y de ambas ecuaciones resulta que la ecuacin
[f(x)] + (vx) = r
(1)
donde v,r, son fijos, debe tener la abscisa x de P como raz doble.
Pero una funcin algebraica con una raz doble x=e, debe ser de la forma: (xe)2bnxn,
de modo que se puede imponer la condicin de raz doble anterior en la forma:
[f(x)]2 + (vx)2 r2 = (xe)2bnxn
(2).
p
2px
p
.
y
p
(x x o ),
yo
x 2 y2
+
= 1.
a 2 b2
x2
b2 1 2 + (v x)2 r 2 = (x e)2 c
a
Hemos visto cmo la tcnica cartesiana mediante el Mtodo del crculo, bajo un punto de
vista de Geometra Algebraica diramos hoy, encuentra las tangentes a las curvas va la
normal, mediante la tcnica de considerar el doble contacto del crculo osculador como una
caracterstica de la normal. De este modo, Descartes obtiene un mtodo de tratar el
problema, que al intuir que ser el germen de una ciencia futura, le concede una importancia
capital, al reconocer que las tangentes y normales a las curvas son rectas que, de alguna
forma, imponen sus leyes a las curvas.
El problema del trazado de las normales a una curva en un punto, es considerado el mayor
xito del mtodo cartesiano, marcando una impronta en la gnesis de la Geometra Analtica
por la capacidad que desarrolla Descartes de establecer puentes de ida y vuelta entre el
lgebra y la Geometra: anlisis geomtrico de los problemas, sntesis del anlisis en el
lgebra de ecuaciones y traduccin geomtrica de los resultados algebraicos, un magnfico
y poderoso diccionario reversible entre dos lenguajes, el geomtrico y el algebraico, con la
posibilidad de traducir no slo en el mbito gramatical puntos por coordenadas, curvas por
ecuaciones, sino tambin en el dominio sintctico las relaciones entre los elementos
geomtricos, por ejemplo intersecciones de curvas, se traducen en relaciones entre los
correspondientes elementos algebraicos, por ejemplo mediante sistemas de ecuaciones.
Con un nfasis inusitado Descartes considera que este problema es el ms importante, no
slo de cuantos ha resuelto sino de cuantos anhelara descubrir en Geometra (G.AT,VI,413):
[...] Y me atrevo a decir que ste es el problema mas til y mas general no slo que
yo conozca, sino aun que yo haya anhelado jams conocer en Geometra.
Con estos antecedentes, se comprende la sorprendente acritud con que se desarroll su
polmica con Fermat, a partir de la difusin de los mtodos de mximos y mnimos ideados
por este aficionado ya que se aplicaban tambin al trazado de tangentes. El desarrollo de
la controversia, en el que participaron casi todos los matemticos del crculo de Mersenne,
tuvo la feliz virtualidad de ir obligando progresivamente a Fermat a aclarar la naturaleza de
sus procedimientos, en el curso de lo cual nuevas curvas nacieron para la Geometra
Analtica y para el Clculo Infinitesimal, que simultneamente estaba eclosionando gracias a
toda la parafernalia analtica que ofrecan los mtodos de Fermat y Descartes.
101
En La Geometra, Descartes
hizo contribuciones muy
importantes a la Teora de
Ecuaciones.
Descartes vislumbr algunas
cuestiones muy trascendentes
como la regla de los signos
para descifrar el nmero de
races negativas y positivas
de
cualquier
ecuacin
algebraica, la Regla de Ruffini
y el Teorema Fundamental del
lgebra.
Adems, en sus estudios
sobre poliedros, parece ser
que Descartes lleg a conocer
la conocida Formula de Euler
que relaciona aristas, caras y
vrtices de un poliedro.
En los comienzos del Libro II
de La Geometra, Descartes
introduce
los
compases
cartesianos, ingenios que
tienen la misma precisin
que
los
instrumentos
platnicos y que utilizar
para la construccin de
diversas curvas geomtricas
de gran importancia en la
resolucin de ecuaciones que
resultan de ciertos problemas
geomtricos.
Dibujo a plumilla de la tradicional efigie de Descartes.
La Geometra de Descartes transforma los antiguos instrumentos de la Geometra griega el lgebra
Geomtrica y el Anlisis Geomtrico en lo que hoy llamamos la Geometra Analtica cartesiana,
mediante la intervencin del lgebra literal a la que el propio Descartes contribuy de forma
definitiva con la contundente y eficaz reforma y simplificacin de la notacin algebraica.
En concreto La Geometra de Descartes elimina de forma brillante toda una serie de limitaciones que el
carcter geomtrico-sinttico imponan a la Geometra griega:
Descartes realiza mediante la herramienta algebraica una nueva lectura de la Geometra de los griegos,
que permite una completa reconstruccin de la Matemtica sobre premisas muy sencillas no
geomtricas como en Euclides sino algebraicas. Y lo hace en el marco de un programa de reforma
general de la Filosofa que haba anticipado en El Discurso del Mtodo y en las Reglas para la direccin
del espritu, pero muchos pensadores conceden mayor importancia a la reforma cartesiana de las
Matemticas que a su intervencin en la Filosofa. As parece deducirse, por ejemplo, de la siguiente
frase de J. Stuart Mill (citada por E.Bell en Les grands mathmaticiens. Payot, Pars, 1950. Cap.3. p.46):
La Geometra analtica, mucho ms que cualquiera de sus especulaciones metafsicas,
inmortaliza el nombre de Descartes y constituye el mximo paso hecho en el progreso de las
ciencias exactas.
102
P1. La relacin entre las coordenadas de los puntos de una curva la ecuacin de
la curva establece una correspondencia entre las propiedades algebraicas de la
expresin de la ecuacin y las propiedades geomtricas de la curva asociada.
1.
2.
104
1.
2.
105
106
por simples movimientos, Fermat introduce grupos de curvas dadas por sus ecuaciones
algebraicas. A diferencia de La Geometra de Descartes, la Isagoge de Fermat tiene su
propsito en demostrar que las ecuaciones lineales representan rectas y que las ecuaciones
cuadrticas corresponden a cnicas.
En un sentido general, se puede decir que la invencin de la Geometra Analtica por
Descartes consiste en la extensin del Arte Analtica de Vieta a la construccin geomtrica
de las soluciones de ecuaciones indeterminadas, mientras que para Fermat fue el estudio de
los lugares mediante el Arte Analtica de Vieta. Mientras Descartes empieza con la curva
correspondiente a un lugar geomtrico de la que deriva la ecuacin del lugar, es decir,
resuelve problemas geomtricos a travs de la construccin de la solucin geomtrica de
ecuaciones, Fermat inversamente parte de una ecuacin algebraica de la que deriva las
propiedades geomtricas de la curva correspondiente. En sus propias palabras Descartes
se refiere con frecuencia a la generacin de curvas mediante un movimiento continuo y
regular, mientras Fermat menciona la frase: Sea una curva dada por su ecuacin [...].
Las visiones de Descartes y Fermat son, en cierto modo, complementarias, estableciendo
cada una de ellas el nexo entre lgebra y Geometra en sentidos opuestos. Descartes
estudia ecuaciones por medio de curvas, mientras Fermat estudia curvas definidas por
ecuaciones. La Geometra que desarrollan Fermat y Descartes, que se ha venido en llamar
Geometra Analtica estudia dos tpicos fundamentales: la derivacin de las ecuaciones de
los lugares geomtricos y las propiedades de las curvas, sobre todo de las definidas por
ecuaciones lineales y cuadrticas. Sintetizando, diramos que Descartes se ocup
ampliamente del primer tpico y consider brevemente algunos aspectos del segundo,
mientras que Fermat desarroll el segundo tpico y prest somera atencin al primero.
Las Geometras Analticas de Fermat y Descartes permiten introducir nuevas curvas por el
mero hecho de considerar una ecuacin. Fermat era consciente de las posibilidades
ilimitadas de su trabajo en cuanto a la invencin de nuevas curvas. De hecho asevera al
principio de la Isagoge: las especies de curvas son en nmero infinito, crculo, parbola,
elipse, etc.. Sin embargo en contraste con La Geometra de Descartes, Fermat no prest
atencin en la Isagoge a las curvas de orden superior, slo a los lugares planos y slidos de
los griegos, escogiendo en cada caso el sistema de referencia ms conveniente, mientras
que Descartes estudia curvas de grado superior (es ms, conceba que el futuro estaba en
el estudio de estas curvas) y no tiene inconveniente en fijar un mismo sistema de
coordenadas para el estudio simultneo de diversas curvas.
Fermat deriva las ecuaciones de las rectas y las cnicas incluso las degeneradas
clasificndolas mediante traslaciones y rotaciones de ejes, demostrando por primera vez
que una ecuacin de segundo grado con dos incgnitas es una cnica, cuestin que
Descartes a propsito del Problema de Pappus menciona pero deja su demostracin en
cierta oscuridad.
La gran contribucin de Fermat al descubrimiento de nuevas curvas no tiene lugar en la
Isagoge sino en sus brillantes aplicaciones de los mtodos analticos a la Geometra
infinitesimal, es decir, en sus magnficos resultados sobre tangentes y cuadraturas. Es en
este ltimo mbito en el que Fermat introduce las llamadas parbolas generalizadas y=xn y
las hiprbolas generalizadas xnym=k, curvas sobre las que aplicar y resolver la mayor
parte de los problemas de cuadraturas. Otros trabajos de Fermat contienen referencias a
otras muchas curvas, pero como en el caso de las parbolas e hiprbolas generalizadas
eran propuestas slo para ilustrar mtodos en relacin con problemas de tangentes o reas;
tal es el caso de la curva b3=x2y+b2y, llamada despus Curva de Agnesi.
Por cierto que mientras la contribucin de Fermat al desarrollo del Clculo Infinitesimal fue
amplia y decisiva, Descartes no tuvo un papel activo en la transformacin analtica de la
geometra infinitesimal es decir, en allanar el camino de Arqumedes a Newton y Leibniz.
De hecho los mtodos de tangentes de Fermat son muy superiores a los de Descartes, que
apuntaban segn la naturaleza de su Geometra aplicacin de las ecuaciones a las curvas
de orden superior ms hacia la Geometra Algebraica futura que hacia los ulteriores
Anlisis Matemtico y Geometra Diferencial, como en el caso de Fermat.
109
LA GEOMETRA DE DESCARTES
Y LA
ISAGOGE DE FERMAT
Sntesis de un estudio comparado
______________________________________
ISAGOGE DE FERMAT
I1. Concisin, claridad, rigor, didctica, elemental, sistemtica.
I2. Notacin de Vieta cuasi-csica, homogeneidad.
I3. Prioridad de la Geometra.
I3. Ecuacin curva. Propiedades de la curva mediante el lgebra.
I4. Estudio de curvas definidas por ecuaciones.
I5. Introduccin de curvas mediante ecuaciones: las ecuaciones lineales
representan rectas, las ecuaciones cuadrticas corresponden a
cnicas. Clasificacin de curvas.
I6. Parfrasis algebraica de Las Cnicas de Apolonio:
Symptoma Ecuacin de la curva.
I7. Isagoge de Fermat Clculo Infinitesimal, Geometra Diferencial.
______________________________________
LA GEOMETRA DE DESCARTES
G1. Extensin, dificultad, complejidad, elipsis, generalidad.
G2. Potente simbolismo simplificador: notacin cartesiana.
G3. Prioridad del lgebra.
G4. Curva como lugar geomtrico.
G5. Curva ecuacin construccin geomtrica de la solucin.
G6. Estudio de ecuaciones mediante curvas.
G7. Problemas clsicos Duplicacin del Cubo, Triseccin del ngulo.
G8. Introduccin de curvas mediante movimientos continuos.
G9. Estudio de curvas superiores. lgebra superior.
G10. Reconstruccin de toda la Geometra griega.
G11. Geometra de Descartes Geometra Algebraica.
110
FERMAT Y DESCARTES
111
Durante algunos aos despus de 1637, la Geometra Analtica fue considerada como la
invencin de un solo hombre Descartes, debido a que los trabajos de Fermat sobre
Geometra Analtica no fueron publicados en vida del autor. Por ello es difcil aquilatar el
grado de influencia que tuvo sobre sus contemporneos. No obstante tanto la Isagoge como
los trabajos de Fermat sobre mximos y mnimos y su aplicacin a las tangentes fueron
conocidos por voluntad de Fermat, a travs de manuscritos que acompaaban a su
correspondencia , por el crculo de matemticos de Mersenne, incluso antes de la aparicin
de La Geometra de Descartes, pero as como las tangentes de Fermat causaron una gran
impresin sobre todo en Descartes, la Isagoge parece que fue rpidamente eclipsada por el
trabajo de Descartes.
Mientras algunos aspectos de los mximos y mnimos y las tangentes de Fermat fueron
incorporados a algunas publicaciones de otros matemticos, la Isagoge no aparece en
imprenta hasta la publicacin de Varia Opera Mathematica de Fermat por parte de su hijo
Samuel en 1679, catorce aos despus de la muerte de su autor, cuarenta y dos aos
despus de la publicacin de La Geometra de Descartes y casi cincuenta aos despus de
ser escrito el tratado, en unos momentos en que la influencia cartesiana se haba extendido
notablemente, de modo que la memoria de Fermat sobre Geometra Analtica, ya incluso
con una notacin obsoleta, tena simplemente un valor histrico para atestiguar debido a la
fecha de composicin y a su contenido la independencia de la Geometra Analtica de
Fermat respecto de la de Descartes. As pues, el nombre de Geometra cartesiana con que
se denomina a veces a la Geometra Analtica no hace justicia a ambos fundadores, incluso
entre profesionales de la Matemticas se desconoce, a veces, la copaternidad de Fermat,
pero es bien cierto que fue bajo la forma cartesiana como este magnfico instrumento se
impuso y ech races en la Matemtica.
Al contrario que la Isagoge, La Geometra de Descartes tuvo una rpida difusin, de modo
que por el valor e importancia que se le dio a la obra enseguida aparecieron nuevas
ediciones separadas del Discurso que recibieron enseguida infinidad de comentarios por
parte de matemticos de muchos pases. Adems, no todo el mundo entenda la obra de
Descartes, de modo que incluso algunos eruditos solicitaron aclaraciones para poderla
seguir. Estas preocupaciones latentes en los mbitos matemticos propiciaron el que van
Schooten que haba sido el diseador de las figuras de la primera edicin aadiera a su
traduccin latina de 1649 toda una serie de comentarios propios, las Notas Breves de F. de
Beaune y aportaciones de Witt, de Hudde, de van Heuraet y otros, que contribuyeron a
extender su difusin e incrementar su inteligibilidad. Tanto xito tuvo la publicacin de van
Schooten que se reedit en 1659 y 1695.
Descartes rompe de forma definitiva con la tradicin griega mientras que Fermat considera
su trabajo como una reformulacin de la obra de Apolonio con los instrumentos del lgebra.
Y en verdad La Geometra Analtica de Fermat surge de parafrasear los resultados de
Apolonio sobre cnicas. Descartes no slo era consciente de que su mtodo estaba
suplantando a los antiguos, sino que, a diferencia de Fermat, se era su propsito desde el
principio. El verdadero descubrimiento, la potencia de los mtodos algebraicos, corresponde
a Descartes. No obstante, la idea matriz de la Geometra Analtica que es la de asociar
ecuaciones a curvas quiz est ms clara en Fermat, por eso pudo aplicar fcilmente su
mtodo a los lugares geomtricos y a los mximos y mnimos y tangentes, temas que
Fermat consideraba de primer orden. Por ello cuando se public La Geometra de
Descartes, critic la ausencia de estas cuestiones en ella y en el curso de la polmica que
mantuvieron ambos a propsito del tema de las tangentes, Descartes asegura que se
pueden derivar y reconducir fcilmente a los resultados de La Geometra de acuerdo con su
inveterada tendencia a no cumplimentar todos los desarrollos y demostraciones para dejar
algo para el lector:
[...] No me detengo a explicar esto con ms detalle para no privar a cada uno del
placer de aprenderlo por s mismo (G.AT,VI, 374).
112
1.
2.
La particular forma que tena Fermat de trabajar en Matemticas Fermat no escribi grandes tratados, sino
apuntes episdicos y notas marginales, as como la manera de comunicar de forma epistolar sus
descubrimientos, unida a la despreocupacin por la conservacin de sus papeles y la constante reticencia en
torno a su eventual publicacin, supuso que a su muerte, en 1665, la mayora de los manuscritos de Fermat
de algunos de ellos ni siquiera exista copia estuvieran en manos de sus mltiples corresponsales y por
tanto gran parte de su trabajo quedara desperdigado en numerosos ambientes cientficos de toda Europa.
En vida de Fermat slo una memoria se public, fue un tratado sobre rectificacin de curvas impreso en
1660 bajo las iniciales M.P.E.A.S. (De la comparacin de las lneas curvas con las lneas rectas. Disertacin
geomtrica), como apndice de un tratado de Lalouvre sobre la cicloide. Por estas razones su influencia
directa no tuvo la envergadura y la inmediatez que la de Descartes.
Catorce aos despus de la muerte de su padre, habiendo reunido la mayor parte de los escritos latinos, as
como un nmero suficiente de cartas inditas, Samuel de Fermat hizo imprimir en 1679 Varia Opera
Mathematica, que a pesar de las omisisones de importantes desarrollos de Fermat y de las excesivas
incorrecciones Samuel no era matemtico, constituy hasta finales del siglo XIX se reimprimi en 1861
la nica publicacin donde se podan estudiar los trabajos de Fermat.
Gran parte de la obra de Fermat presente o ausente en las Varia Opera que yaca en manuscritos, originales
y copias, muchos de ellos sin ttulo y annimos, cay en manos de coleccionistas y seguramente fue
atribuida a otros matemticos.
Gracias a la actividad biblifila del historiador de las Matemticas C.G.Libri, el Ministerio de Instruccin
Pblica francs en un Proyecto de Ley de 28 de abril de 1843 instituy un programa para una nueva
edicin de las obras de Fermat a cargo del Estado, que resolviera los defectos y colmara las lagunas de las
Varia Opera, que el propio Libri haba sealado al disponer de nuevos manuscritos y dems material
indito de Fermat. Numerosas vicisitudes polticas y administrativas retrasaron el proyecto hasta finales del
siglo XIX.
Teniendo a su disposicin las anteriores publicaciones, as como numerosos manuscritos recopilados a lo
largo del tiempo y a lo ancho de Europa, C.Henry y P.Tannery emprendieron por fin en 1891, la
publicacin de las Oevres de Fermat, concluyendo la magna obra de cuatro grandes volmenes en 1912.
Posteriormente C. de Waard, en sus investigaciones que condujeron a la publicacin de la Correspondencia
de Mersenne, descubri en Groningen y Florencia algunas cartas y memorias de Fermat. La mas importante
(y la nica sobre el tema de mximos y mnimos) es la Carta a Brlart, de 1643, que fue publicada por
Giovannozi en 1919, e incorporada en 1922 al Supplment a los Volmenes I-IV de las Oeuvres de Fermat.
113
1.
2.
A diferencia de las obras de Fermat, La Geometra de Descartes tuvo numerosas ediciones, tanto
en latn como en francs, algunas de ellas con prolijos comentarios para hacerla ms inteligible,
es decir, que eran autnticas ediciones crticas. Por ello los rudimentos de Geometra Analtica
de La Geometra de Descartes recibieron una amplia difusin.
La Edicin latina de 1695 de van Schooten contiene entre otros elementos los
siguientes:
114
115
7. Para encontrar todas las propiedades de las lneas curvas basta con saber la relacin
que tienen todos sus puntos con los de las lneas rectas y conocer la manera de
trazar otras lneas que las corten en todos esos puntos en ngulo recto. [...]. Y me
atrevo a decir que ste es el problema ms til y ms general no slo que yo
conozca, sino aun que yo haya anhelado jams conocer en Geometra
Descartes. La Geometra [G.AT.VI. 412413].
10. Siempre que en una ecuacin final se encuentran dos cantidades incgnitas, se
tiene un lugar geomtrico, describiendo el extremo de una de ellas una lnea recta o
curva. La lnea recta es simple y nica en su gnero; las especies de curvas son en
nmero infinito, crculo, parbola, elipse, etc.
Fermat. Ad Locos Planos et Solidos Isagoge [TH.OF.III.85]
116
12. Mientras el lgebra y la Geometra han estado separadas, su progreso ha sido lento
y sus aplicaciones limitadas; pero cuando estas dos ciencias han sido vinculadas, se
han prestado su fuerza mutuamente y han caminado juntas hacia la perfeccin.
Lagrange. Leons lmentaires de mathmatiques (1795).
16. Descartes y Fermat descubrieron los dos aspectos del principio fundamental de la
Geometra Analtica, uno admite curvas en la Geometra si es posible encontrar
su ecuacin; el otro estudia curvas definidas por ecuaciones. [...]. He aqu uno de
los ms significativos hitos de toda la Historia de las Matemticas.
C.Boyer. History of Analytic Geometry. Scripta Math. Yeshiva Univ. New York, 1956, pp. 75,102.
19. [Con la Geometra Analtica de Descartes] el plano de Euclides, hasta ese momento en
blanco, se vea ahora invadido por nmeros que medan longitudes e indicaban
posiciones. [...]. La fusin de la Geometra y del lgebra [la Geometra Analtica]
contina siendo el matrimonio ms feliz de todas las Matemticas.
W.Dunham,W. El Universo de las Matemticas. Pirmide. Madrid, 1995. pp. 391, 395.
117
118
121
122
Puede decirse que el Clculo anterior a Newton y Leibniz es una ingente casustica de mtodos
heursticos, aplicados a problemas geomtricos especficos, que se resuelven mediante tcnicas
ad hoc respecto de las correspondientes figuras geomtricas, obtenindose multitud de
resultados particulares que, al traducirlos al lenguaje moderno, muestran los conceptos
esenciales del Clculo, que de alguna manera yacan en ellos, pero de forma tan fragmentaria
que slo se referan a problemas individuales y no a teoras generales, aunque la perspectiva de
generalizacin estaba implcita en esos mtodos. Es precisamente la Geometra Analtica de
Fermat y Descartes la que favorece este proceso de bsqueda del algoritmo vlido en general e
independiente de la estructura geomtrica intrnseca de cada problema. La generalidad del
lgebra frente a la especificidad de la Geometra, permite, por ejemplo, que en la traduccin
geomtrico-algebraica en que consiste la Geometra Analtica, cada caso particular del trazado
geomtrico de la tangente, que es diferente y especfico para cada curva, de acuerdo con su
naturaleza geomtrica, deje de serlo y se pueda aplicar, mediante un proceso analtico, el mismo
procedimiento a todas las curvas de las que se conozca su expresin analtica su ecuacin, es
decir, el proceso algortmico de clculo de una derivada.
(Methodus)
(TH.OF.III.121122):
Toda la teora de la Investigacin de Mximos y Mnimos supone la consideracin de
dos incgnitas y la nica regla siguiente:
1. Sea a una incgnita cualquiera del problema (que tenga una, dos o tres
dimensiones, segn convenga al enunciado).
2. Se expresar la cantidad mxima o mnima por medio de a en trminos que pueden
ser de cualquier grado.
3. Se sustituir a continuacin la incgnita original a por a+e, y se expresar la
cantidad mxima o mnima por medio de a y e, en trminos que pueden ser de
cualquier grado.
4. se adigualar para hablar como Diofanto, las dos expresiones de la cantidad
mxima o mnima.
5. Se eliminarn los trminos comunes de ambos lados, tras lo cual resultar que a
ambos lados habr trminos afectados de e o de una de sus potencias.
6. Se dividirn todos los trminos por e, o por alguna potencia superior de e, de modo
que desaparecer la e, de al menos uno de los trminos de uno cualquiera de
los dos miembros.
7. Se suprimirn, a continuacin, todos los trminos donde todava aparece la e o una
de sus potencias, y se iguala lo que queda, o bien si en uno de los miembros
no queda nada, se igualar, lo que viene a ser lo mismo, los trminos afectados con
signo positivo a los afecta dos con signo negativo.
8. La resolucin de esta ltima ecuacin dar el valor de a, que conducir al mximo o
mnimo, utilizando la expresin original.
He aqu un ejemplo:
"Sea dividir una recta AC en E, de manera que AExEC sea mximo".
Pongamos AC=b.
1. Sea a uno de los segmentos, el otro ser ba.
2. El producto del que se debe encontrar el mximo es baa2.
3. Sea ahora a+e el primer segmento de b, el segundo ser bae, y el producto de
segmentos: baa2+be2aee2.
4. Se debe adigualar al precedente: ba a2.
5. Suprimiendo trminos comunes: be 2ae + e2.
6. Dividiendo todos los trminos: b 2a + e.
7. Se suprime la e: b = 2a.
8. Para resolver el problema se debe tomar por tanto la mitad de b.
Es imposible dar un mtodo ms general.
124
f(x + e) f(x)
0 ,
e
f(x + e) f(x)
7 y 8:
e=o
e
Interpretando el desarrollo de Fermat en trminos actuales, diramos que el valor x que hace
tomar a f(x) un valor extremal, debe ser solucin de la ecuacin:
f(x + e) f(x)
f '(x) = Lim
=0
e
eo
introducida por Cauchy en 1820, y esto avalara las opiniones acerca de Fermat como
verdadero descubridor del Calculo Diferencial, que mantuvieron Lagrange, Laplace y Fourier
y otros matemticos franceses.
Estudios de otras memorias de Fermat sobre mximos y mnimos muestran la falta de base
de esta anacrnica interpretacin del mtodo de Fermat, de modo que se puede concluir
que el Methodus no se basa en ningn concepto infinitesimal sobre lmites, sino en
conceptos algebraicos puramente finitos, derivados de la Teora de Ecuaciones de Vieta. En
efecto, para Fermat la e no es que tienda a cero, sino que en realidad la hace igual a cero.
El Methodus atrajo, precisamente por su falta de claridad, una ardiente atencin por parte de
la comunidad matemtica del momento, entre 1636 y 1638. E.Pascal, Roberval, Mydorgue,
Hardy y Desargues, manifestaron su opinin sobre el mismo, pero fue Descartes quien se
proyect decisivamente sobre l, a propsito de su aplicacin a la determinacin de
tangentes, entrando en una agria polmica con Fermat que tuvo la feliz virtualidad de ir
obligando a ste, progresivamente con ms intensidad, a buscar y divulgar la prueba de
validez de su mtodo, de modo que a medida que iba proporcionando la justificacin del
algoritmo, iba revisando los fundamentos de su mtodo, a la luz de los nuevos horizontes
que le abre su propio desarrollo de la Geometra Analtica y la lectura de La Geometra de
Descartes.
Estos esfuerzos de Fermat daran como fruto varias memorias ms sobre el mtodo de
mximos y mnimos, donde intenta justificar sus fundamentos, sobre todo en cuanto se
aplica a las tangentes. Aunque la idea del cambio de variable o trnsito desde a hasta
a+e, mediante el incremento e, que es la esencia del Clculo Diferencial, se destila del
Methodus, la propia naturaleza de e como variable algebraica finita le impidi cruzar a
Fermat en el tema de mximos y mnimos la barrera entre lo finito y lo infinitesimal. Y es que
en realidad los problemas de mximos y mnimos de Fermat son problemas de
construcciones geomtricas ms que de optimizacin de cantidades.
Veamos ahora una sinttica aproximacin, en lenguaje actual, al procedimiento de Fermat
para el trazado de las tangentes a una curva algebraica y=f(x), derivado de su mtodo de
mximos y mnimos, que tanta polmica provoc en el crculo matemtico del Padre
Mersenne por la intervencin de Descartes y que posteriormente ha hecho que los
matemticos franceses, y en particular Cauchy, hayan considerado a Fermat ya no slo
como predecesor sino como el autntico creador del Clculo Diferencial.
125
f(x) f(x + e)
y=f(x)
A partir de
a
a+e
e
f(x) f(x+e)
D
B
a
e
x
se deduce:
F
x+e
f(x)
a,
f(x + e) f(x)
e
donde la expresin f(x+e)f(x) resulta ser divisible por e si f(x) es una funcin
algebraica.
Simplificando y haciendo e igual a cero, se obtiene para la subtangente a, una expresin
f(x)
que es equivalente a
, donde f(x) es la derivada formal de la funcin algebraica
f '(x)
f(x)
, resulta que
y=f(x). Pero como la pendiente de la recta tangente es precisamente m =
a
el desarrollo de Fermat identifica la pendiente de la recta tangente a la curva y=f(x) con
la derivada formal f(x).
________________________________
Apliquemos el mtodo a la parbola y=f(x)=x2.
Escribimos la primera adigualdad:
y=x2
a
a+e
,
f(x) f(x + e)
y hacemos operaciones:
a
a+e
e
e
1
= 2
=
2
2
2
2
x
( x + e ) ( x + e ) x e + 2xe e + 2x
Ahora, al hacer e=0, resulta el valor para la
subtangente a=x/2.
En este corto prrafo, Fermat sintetiza aos de investigacin matemtica. Todo el nuevo
sistema geomtrico creado en la Isagoge yace en la primera frase, mientras que en la
segunda frase pone por escrito los procedimientos apuntados en las memorias anteriores
127
Hemos visto cmo Fermat realiza la transicin del problema geomtrico concreto del trazado
de una tangente al problema ms general del estudio de la variacin de una funcin, a base
de desarrollar un mtodo algortmico para este estudio. La Geometra Analtica aplicada a
las curvas le permite evolucionar del problema de tangentes de curvas, al problema de lo
que despus se llamar derivada de funciones. Frente a curvas diferentes el mismo clculo
analtico de la derivada conduce a su tangente, as que Fermat inicia una de las cuestiones
ms importantes del momento: la unificacin y clasificacin de los problemas infinitesimales.
El mtodo de Fermat para las tangentes es un ejemplo bien representativo de los cambios
trascendentales que tiene lugar en la Matemtica en el siglo XVII con la intervencin de los
nuevos instrumentos algortmicos. El Algebra simblica de Vieta y Descartes aplicado al
material del Anlisis geomtrico recuperado de los antiguos, facilit el desarrollo de tcnicas
formales que permitieron mtodos heursticos de rpido descubrimiento ms que
demostraciones rigurosas y provocaron un cambio radical en el paradigma estilstico y
demostrativo que impuso la filosofa platnica al criticar y abandonar el proceder clsico
griego por el hermetismo y la rigidez, la falta de operatividad y flexibilidad y la ausencia de
heurstica, que haba impuesto el implacable e impecable rigor eucldeo. Adems, la
representacin algebraica de curvas, va la Geometra Analtica de Fermat y Descartes,
propici la rpida y sencilla formulacin para la investigacin de multitud de problemas de
reas, volmenes, rectificacin, centros de gravedad, tangentes, mximos y mnimos, etc.
Con esta rica miscelnea de ingredientes matemticos: tcnicas algebraicas de Clculo,
Geometra Analtica, libre uso del concepto intuitivo de infinito (que permita manejar sin
pudor magnitudes indivisibles e infinitesimales) se desarrollaron, gracias al nuevo lenguaje
algebraico y sobre todo merced al poder algortmico de la Geometra Analtica, numerosas
tcnicas infinitesimales, que contribuyeron a resolver de forma sorprendente antiguos y
nuevos problemas y produjeron un impresionante desarrollo de nuevos resultados, a base
de nuevos mtodos infinitesimales, que provocaron una progresiva aritmetizacin y
algebrizacin de cuestiones que en la antigedad, especialmente en las Obras de
Arqumedes, haban tenido un enfoque estrictamente geomtrico.
128
Pgina de la edicin
de van Schooten de
1695 de La Geometra
de Descartes.
Se trata de un apunte
de
van
Schooten
donde se explica el
clculo cartesiano de
la tangente a la
cicloide, sin duda la
curva ms importante
sobre la que se
ensayaron los mtodos
y tcnicas infinitesi
males que aparecieron
a lo largo del siglo
XVII, consecuencia de
los desarrollos de las
Geometras Analticas
de Fermat y Descartes.
129
LA GEOMETRA ANALTICA EN EL
DESCUBRIMIENTO DEL CLCULO INFINITESIMAL
1.
Pgina de The Metod of Fluxions de Newton (Londres, 1737), con el trazado de la tangente a la
concoide. En esta obra Newton unifica la mayor parte de resultados sobre tangentes y cuadraturas
que ocuparon a buena parte de los matemticos del siglo XVII.
2. Pgina de Nova Methodus pro Maximis et Minimis de Leibniz (Leipzig, 1684), donde aparecen las
reglas para derivar sumas, productos y cocientes. Esta obra se la considera como la primera
publicacin sobre Clculo Infinitesimal de la historia.
Apoyndose en hombros de gigantes como Fermat y Descartes, apurando y exprimiendo la capacidad
de unificacin y generalizacin que permitan los procedimientos del lgebra y de la Geometra
Analtica, bajo concepciones y mtodos infinitesimales diferentes, Newton y Leibniz fueron capaces
de separar la ganga geomtrica de los resultados de sus antecesores y encontrar el principio general
que les permitira reducir las operaciones fundamentales del Clculo Infinitesimal a una operativa
universalmente vlida, concibiendo la idea de sustituir todas las operaciones de carcter geomtrico
involucradas en el clculo de tangentes, por una nica operacin analtica, la derivacin del Clculo
Diferencial, que resolvera, adems por inversin (clculo de la antiderivada o primitiva) los
problemas de cuadraturas del Clculo Integral, a travs del Teorema Fundamental del Clculo, que
vincula ambos problemas y permite la obtencin de cuadraturas mediante la resolucin del problema
inverso de la tangente.
En la brillante operacin realizada por Newton y Leibniz, que se ha venido en llamar el
descubrimiento del Clculo Infinitesimal, y que es sin lugar a dudas, uno de los logros ms
importantes en la Historia del Pensamiento matemtico, coadyuv de forma decisiva la creacin y
aplicacin de un simbolismo que propiciara traducir en frmulas los resultados y en algoritmos los
mtodos, a base de utilizar los recursos algebraicos de la Geometra Analtica para independizar el
discurso matemtico de las figuras geomtricas y con todo ello reconocer y aislar los conceptos
fundamentales del Clculo Infinitesimal y crear un cuerpo de doctrina dotado de algoritmos eficaces,
es decir, funcionando como un Clculo operacional que resuelve todos los problemas planteados
anteriormente, mediante procedimientos uniformes y con una proyeccin a nuevos y ms complicados problemas, como un potente instrumento de investigacin. En palabras del propio Leibniz, se
trataba de hacer con las tcnicas del Clculo lo mismo que haba hecho Vieta con la Teora de
Ecuaciones y Descartes con la Geometra.
130
Pginas de Elementa curvarum linearum de Jan De Witt, considerado como el primer libro de texto de
Geometra Analtica de rectas y cnicas. La obra de De Witt libera definitivamente a las cnicas de su
definicin estereomtrica, introduciendo la definicin foco-directriz. Tambin define el discriminante
para distinguir las diversas cnicas, iniciando un esbozo de clasificacin. El gran historiador de la
Geometra M.Chasles, escribe en su obra Aperu historique sur lorigine et le dveloppment des
mthodes en Gomtrie (1837):
[...] J. de Witt simplifica la teora analtica de los lugares geomtricos de Descartes; imagina
una teora nueva e ingeniosa de las secciones cnicas, fundada sobre diversas descripciones de
estas curvas sobre el plano, sin utilizar el cono, obteniendo, por la pura Geometra, sus
propiedades principales.
131
132
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: la Geometra
de la lnea recta es bien conocida, 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, como
veremos despus. Lo mismo puede decirse con respecto a la Geometra Analtica del
circulo. Debemos decir que la limitacin platnica de la regla y el comps todava deba ser
reminiscente en los tiempos de Euler.
La cuestin es totalmente diferente respecto del tema las secciones cnicas, en el que Euler
realiza un tratamiento analtico completamente general y libre de referencias a diagramas.
Pero dentro de la idea de generalidad, Euler haba desarrollado previamente, en el primer
volumen de la Introductio, una Teora general de curvas, basada en la idea de funcin, en la
que la distincin cartesiana entre curvas geomtricas y mecnicas aparece ya en
terminologa moderna de curvas algebraicas y trascendentes. Euler seala que los
escritores anteriores haban derivado las propiedades de las cnicas del propio cono o de la
construccin geomtrica, y aade:
Yo obtendr [las propiedades de las cnicas] mediante el examen de lo que se puede
deducir de su ecuacin sin recurrir a otros medios.
Euler escribe la ecuacin general de una cnica como ecuacin cuadrtica general con seis
trminos:
yy + xy + xx + y + x + = 0;
resuelve la ecuacin respecto de y en trminos de x, y encuentra dimetros mediante la
suma de races. Considera el dimetro que bisecta todas las cuerdas paralelas a las
ordenadas, primero en coordenadas rectangulares y despus en coordenadas oblicuas en
cualquier ngulo, y obtiene mediante la interseccin de todos ellos el centro de la cnica.
Despus, al referir la cnica a sus ejes principales, Euler halla la ecuacin cartesiana
rectangular de la cnica central, es decir, realiza la clasificacin de cnicas mediante el
discriminante, y encuentra fcilmente los puntos, lneas y razones notables asociados a la
curva. Con ello completa el estudio analtico iniciado por De Witt y Wallis. Respecto de la
hiprbola, que caracteriza como la cnica con >4, obtiene las asntotas al igualar a cero
los trminos de segundo grado. Al considerar la parbola como una elipse en la que el eje
mayor se ha incrementado hasta infinito, Euler deriva las propiedades de la parbola de
las de la elipse.
Si el siglo XVII alumbr la Geometra Analtica del plano, la centuria siguiente desplegar un
grandioso desarrollo analtico de la Geometra espacial. Por fin se dara gusto a Platn que
siempre se quej de la casi nula dedicacin de la Matemtica griega a la Geometra del
espacio, con la consiguiente irritacin de los dioses que ponan a prueba a los hombres con
la resolucin del problema dlico de la duplicacin del cubo.
Descartes y Fermat haban sugerido el Principio Fundamental de la Geometra Analtica de
tres dimensiones, el 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., [...].
133
Si las cnicas, como curvas de segundo grado, fueron histricamente las primeras
curvas introducidas y las ms estudiadas, de forma anloga, las cudricas, como
superficies de segundo grado, sern tambin las primeras y las ms estudiadas. Euler
las introduce 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 superficies 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. No incluye las cudricas degeneradas, pero, ya se coment ms
arriba, que conoca los conos y cilindros como cudricas que son tambin.
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 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
varibles 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,
como veremos enseguida, traten estas cuestiones, lo harn primero en la Geometra
Analtica de tres dimensiones, adaptando despus los resultados a la Geometra
Analtica plana.
134
Multiplic sus producciones ms all de lo que hubiera osado alcanzar fuerza humana y, sin embargo,
fue original en cada una de ellas. [...] 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. El 7 de septiembre de 1783,
despus de charlar sobre los asuntos del da,[...], ces de calcular y vivir . Panegrico de Condorcet sobre
Euler.
Leed a Euler, Leed a Euler; es el maestro de todos nosotros. Laplace.
Euler calculaba sin aparente esfuerzo como los hombres respiran o las guilas se sostienen en el aire.
Arag.
Durante toda su vida [...] parece haber llevado en la cabeza la totalidad de las Matemticas de su
poca. A. Weil.
Euler es el Shakespeare de las Matemticas. W.Dunham, El Universo de las Matemticas, Pirmide,
Madrid, 1995, pg.103.
En el mbito de la Geometra Analtica, Euler explota los poderosos mtodos analticos introducidos por
Fermat y Descartes y desarrollados por van Schooten, De Witt, Wallis, La Hire, Newton y Leibniz. Deca
Euler: Mejor que de nuestro juicio, debemos fiarnos del clculo algebraico y, en efecto, Euler da un paso de
gigante en la aplicacin del carcter algortmico del lgebra a la sistematizacin de la Geometra Analtica
de dos y de tres dimensiones, alcanzando la clasificacin de las cnicas y las cudricas.
135
r:
x x o x yo x zo
x x 'o x y 'o x z 'o
=
=
=
=
, r':
a
b
c
a'
b'
c'
d(r,r ') =
(bc ' cb ')(x 0 x '0 ) + (ca ' ac ')(y 0 y '0 ) + (ab ' ba ')(z0 z '0 )
(bc ' cb ')2 + (ca ' ac ')2 + (ab ' ba ')2
Entre los nuevos resultados que obtiene Monge cabe mencionar los dos siguientes:
Los seis planos trazados a travs de los puntos medios de las aristas de un tetraedro
y perpendiculares respectivamente a la arista opuesta, se cortan en un punto [llamado
el Punto de Monge] que es el punto medio del segmento que une el Baricentro y el
Circuncentro del tetraedro.
El lugar geomtrico de los vrtices de los triedros trirrectngulos cuyas caras son
tangentes a una superficie cuadrtica con centro, es una esfera de radio la raz
cuadrada de la suma de los cuadrados de los semiejes [llamada Esfera de Monge o
esfera directriz de la cudrica].
Algo ms tarde, en 1809, Monge exhibi varias demostraciones de que el Baricentro de un
tetraedro es el punto de interseccin de los segmentos que unen los puntos medios de
aristas opuestas. Tambin extendi para el tetraedro ortocntrico el resultado de la Recta de
Euler demostrando que el Baricentro est a doble distancia del Ortocentro que del
Circuncentro.
136
137
Obviando todas las construcciones geomtricas se har ver al lector que existe una
manera de considerar la geometra que se podra llamar geometra analtica, y que
consiste en deducir las propiedades de la extensin del mnimo nmero posible de
principios por mtodos puramente analticos, de la misma manera que ha hecho
Lagrange en su mecnica con respecto a las propiedades del equilibrio y del
movimiento.
Curiosamente Lacroix fue algo reacio a titular sus obras con el nombre de Geometra
Analtica. Tanto es as que su obra principal sobre el tema mantuvo, edicin tras edicin,
un ttulo tan poco significativo como Trait lmentaire de trigonomtrie rectiligne et
sphrique et application de lalgbre la gomtrie.
Aunque la denominacin de Geometra Analtica haba ido apareciendo subrepticiamente
a lo largo del siglo XVIII, parece que el primero que lo utiliza como ttulo es Lefranais en
una edicin de sus Essais de gomtrie de 1804 y decididamente Biot en la edicin de 1805
de sus Essais de gomtrie analytique.
LA ESCOLARIZACIN DE LA GEOMETRA
ANALTICA DE LACROIX
Portadas de dos obras de Lacroix, la edicin italiana de 1813 del Trait lmentaire de trigonomtrie
rectiligne et sphrique et application de lalgbre la gomtrie y de la edicin francesa de 1837 del
Trait elementaire du Calcul Diffrentiel et du Calcul Intgral.
Lacroix, discpulo y colega de Monge, fue el ms prolfico escritor de libros de texto para los
cursos que se impartan en la Escuela Politcnica y en la Escuela Normal Superior.
Estas obras de Lacroix, que se editaron numerosas veces, contienen, a pesar del ttulo, una
extensa y didctica visin panormica de la Geometra Analtica, tal como deba quedar
formalmente, despus de los numerosos problemas resueltos mediante las aplicaciones
sistemticas del clculo algebraico a la Geometra que hicieron Lagrange y Monge. Se tratan de
los primeros textos que, por su notacin, fraseologa y mtodos, podran servir perfectamente,
con pequeas modificaciones y ligeras extensiones, como base de un curso actual de Geometra
Analtica.
Gracias a Lagrange, Monge y Lacroix, se haba alcanzado la forma definitiva de uno de los
instrumentos cientficos ms potentes que se ha elaborado en la Historia del pensamiento
matemtico, y tan slo ciento cincuenta aos despus de que Fermat y Descartes establecieran los
fundamentos.
139
140
concepciones que todava Vieta, Fermat y Descartes consideraban el Anlisis para describir
la aplicacin del lgebra a la Geometra, puesto que el lgebra era el instrumento adecuado
para analizar el problema de construccin geomtrica.
ste es el camino que sigue el mtodo cartesiano en el que el estudio analtico se funde
con la sntesis algebraica en transicin de la Geometra al lgebra y del lgebra a la
Geometra. El Anlisis mediante el lgebra traduce los datos geomtricos de forma que
sean tratables por medio del automatismo del clculo algebraico, esto es el Anlisis
Algebraico. Se comprende, pues, el nombre de Geometra Analtica que en el curso de
la Historia se le dio al instrumento desarrollado Fermat y Descartes, aunque tal vez
hubiera sido ms descriptivo el de Geometra Algebraica que curiosamente resultara
de la permutacin de los trminos de lgebra Geomtrica con que se nombra buena
parte de la Matemtica de Los Elementos de Euclides aunque este nombre tambin
sera deficiente, toda vez que como hemos visto, la Geometra Analtica es mucho ms
que una mera aplicacin del lgebra a la Geometra. En suma, la Geometra Analtica
sera el Anlisis moderno, siendo el lgebra por su carcter algortmico el principal
instrumento de la aplicacin de ese Anlisis, por eso tambin se podra definir con
mayor precisin como la aplicacin del Anlisis Algebraico a la Geometra.
Histricamente, hasta muy tarde se han utilizado los trminos lgebra y Anlisis como
sinnimos. As aparecen, por ejemplo, en la famosa Encyclopdie, donde DAlembert
escribe:
El Anlisis es propiamente el mtodo de resolver los problemas matemticos,
reducindolos a las ecuaciones. El Anlisis para resolver problemas, emplea el
recurso del lgebra, o clculo de las magnitudes en general: estas dos palabras,
Anlisis y lgebra, son a menudo miradas como sinnimas [...] Algunos autores
definen el lgebra (como siendo) el arte de resolver los problemas matemticos: pero
sta es la idea del Anlisis o del arte analtico ms bien que del lgebra.
Cuestiones nominalistas aparte, volvamos a los orgenes para reiterar que la Geometra
Analtica recibe su nombre y sus procedimientos del mtodo de Anlisis de los griegos y
permite recuperar el Anlisis Geomtrico de los antiguos mediante la accin del lgebra,
ya que el carcter algortmico de sta promociona y acenta las aptitudes heursticas del
Anlisis. As lo observamos claramente en La Geometra, donde uno se convence de la
posibilidad cartesiana de reconstruir toda la Geometra con una simplicidad
sorprendente como el propio Descartes asegura (G.AT,VI,376):
[...] Se pueden construir todos los problemas de la geometra ordinaria, sin hacer ms
que lo poco que est comprendido en las cuatro figuras que he explicado.
Es asombroso cmo se puede hacer tanto con tan poco! Y es que el enfoque analtico,
siempre con el recurso algortmico del lgebra simblica, permite la generalizacin de
los mtodos y la aplicacin uniforme de los mismos procedimientos a cuestiones
similares.
Al partir del Anlisis Geomtrico griego como punto de partida y utilizar el Arte Analtica
de Vieta como instrumento algortmico bsico, Fermat y Descartes conducen el Anlisis
142
Geometra Analtica aplicada al estudio de curvas y superficies, la forma casi actual que
haba adquirido la Geometra Analtica en su evolucin tras los trabajos de Euler y los
matemticos de la Revolucin Francesa ocup un lugar primordial en el advenimiento y
desarrollo de la Geometra Diferencial de Monge y sus epgonos.
Como hemos podido observar, entre la Geometra Analtica moderna y la de Descartes y
Fermat hay una cierta diferencia, de modo son anacrnicas las expresiones actuales como
sistema de coordenadas cartesianas. Incluso parece ser que el trmino coordenadas
fue acuado por Leibniz a finales del siglo XVII para referirse a lo que Descartes llama, por
primera vez en el Problema de Pappus lneas principales de referencia. De hecho,
Descartes pocas veces utiliza ejes perpendiculares, conocidos como cartesianos, sino que
emplea diferentes sistemas de coordenadas, en general oblicuas, que a veces resultan poco
claras a nuestros ojos. Descartes no elabor propiamente un sistema de coordenadas para
localizar puntos, de manera que sus coordenadas no son, como para nosotros o para
Oresme, parejas de nmeros. Mientras Oresme representaba la evolucin de un fenmeno
mediante el grfico de la ley correspondiente, obteniendo una curva que ilustraba
geomtricamente la relacin de dependencia entre dos variables, a Descartes ms que los
lugares de puntos que satisfacan una ecuacin dada, le interesaba la posibilidad de
construir esos puntos, a lo que se reconduca ciertos problemas geomtricos. La Geometra
Analtica tal como hoy se ensea, no se reconocera de una forma palmaria, por tanto, en el
tratado de Descartes. Lo que uno encuentra en Descartes no es tanto la Geometra de
coordenadas como la transcripcin algebraica de las construcciones con regla y comps.
En su forma acadmica actual, la Geometra cartesiana debe tanto a Fermat y Descartes
como a sus propios contemporneos y sucesores. Lo que se ensea hoy en las aulas no es
Geometra Analtica en el sentido como la entendan sus creadores, ni en cuanto a los
objetivos ni en cuanto a los mtodos. Pero s que hay algo importante en comn, la
Geometra Analtica, la de entonces y la de ahora es un potentsimo instrumento algortmico
de resolucin de problemas geomtricos de importancia trascendental para otras ramas de
la Matemtica y de las Ciencias de la Naturaleza, tal como comprobamos en nuestras aulas.
La Geometra Analtica, de origen remoto en el Anlisis Geomtrico de los griegos con su
incipiente uso retrico de coordenadas en las Cnicas de Apolonio y su apoyo en la
mecnica algortmica del lgebra simblica de Vieta, domina el pensamiento matemtico
desde la poca de sus creadores, Fermat y Descartes, hasta nuestros das. 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, 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 para el conocimiento y dominio de la
naturaleza. Por eso como escribe Kline (1992, vol.1, p.425):
La Geometra Analtica cambi la faz de las Matemticas.
La fuerza algebraica inexorable de la Geometra Analtica, su universalidad y su autonoma
de la fortuna que depende de la inspiracin, democratiza la Geometra y la Matemtica
en general y pone al servicio de la Humanidad, es decir, de cualquier persona normal, de
todo escolar 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:
La Geometra Analtica cambi la faz de las Matemticas y de la Educacin
matemtica.
146
y=x2+4x
147
148
149
150
Bibliografa
Obras originales sobre La Matemtica Griega
1. EUCLIDES: Elementos. Traduccin y notas de M.L.Puertas. Gredos, Madrid, 1996.
2. HEAT,T.L.: The thirteen books of The Elements. 3 Vols. Dover, New York, 1956.
3. VER EECKE,P.: Les Coniques dApolonius de Pergue. Blanchard, Pars, 1959.
4. VER EECKE,P.: Diophante dAlexandrie. Les six livres arithmtiques. Blanchard, Pars, 1959.
5. VER EECKE,P.: Les Oeuvres compltes d'Archimde. Vaillant-Carmanne, Lige, 1960.
6. VER EECKE,P: Pappus dAlexandrie. La Collection Mathmathique. Blanchard. Pars, 1982.
7. VERA,F.: Cientficos griegos (Ediciones en espaol de Los Elementos de Euclides, Las Cnicas
de Apolonio, La Aritmtica de Diofanto y La Coleccin Matemtica de Pappus). Aguilar, Madrid,
1970.
151
152
54. CHASLES,M.: Aperu historique sur lorigine et le dveloppment des mthodes en Gomtrie.
Pars 1875.
55. CLAGETT,M.: Nicole Oresme and the Medieval Geometry of Qualities and Motions. University of
Wisconsin Press, 1968.
56. COLERUS,E.: Breve historia de las Matemticas, Vol.1, Caps.1,2,4,5,8,9; Vol.2, Cap.1. Doncel.
Madrid, 1972.
57. COOLIDGE,J.L.: A History of the conics sections and quadric surfaces. Dover, New York, 1968.
Caps.1,2,3.6,5.1,5.3.
58. DEDRON,P; ITARD,J.: Mathematics and Mathematiciens. TSLB, Londres, 1974. Vol.2, Cap.3.
59. DEDRON,P.: Mathmatiques et Mathmaticiens. Magnard, Pars, 1959. Cap.X.3.
60. DUNHAM,W.: El Universo de las Matemticas. Pirmide. Madrid, 1995. Caps.5,6,7.
61. DUNHAM,W.: Euler, el maestro de todos los matemticos. Nivola, Madrid, 2000. Cap.7.
62. EGGERS,C.: El nacimiento de la Matemtica en Grecia. EUDEBA. Buenos Aires,1995. Cap.6.
63. EVES,H.: An Introduction to the History of Mathematics. CBS College Publishing,New York, 1983.
Caps.3,4,5,6,10,12.
64. EVES,H.: Great Moments in Mathematics. The mathematical association of America, 1977. Vol.I.
Caps.5,6,8,11,12,23.
65. GELFAND,E.: EL mtodo de las coordenadas. MIR, Mosc, 1981.
66. GONZALEZ URBANEJA,P.M.: Las races del Clculo Infinitesimal en el siglo XVII. Alianza. Madrid,
1992. Caps.1,3.1,3.2.
67. GONZLEZ URBANEJA,P.M; VAQU, J.: El mtodo relativo a los teoremas mecnicos de
Arqumedes. Pubs. Univ. Aut. de Barcelona, Eds. Univ. Polit. de Catalunya. Col. Clsicos de las
Ciencias. Barcelona 1993. Apndice 1.
68. GONZLEZ URBANEJA,P.M. y VAQU JORDI, J.: Mtode dArquimedes sobre els teoremes
mecnics dedicat a Eratstenes. Fundaci Bernat Metge. Barcelona, 1997. Cap.2.
69. GONZALEZ URBANEJA,P.M.: El Pensament geomtric en el mn grec. ICE. Universitat de
Barcelona, 1996. Caps. 8,10,12.
70. GONZALEZ URBANEJA,P.M.: La Matemtica de la Revolucin Francesa. Seminario Orotava de
Historia de la Ciencia, Actas, ao II, Las Palmas , 1997.
71. GONZALEZ URBANEJA,P.M.: Pitgoras, el filsofo del nmero. Nivola. Madrid, 2001. Cap.6.
72. GONZALEZ URBANEJA,P.M.: Matemticas y matemticos en el mundo griego (en El legado de las
Matemticas. De Euclides a Newton. Los genios a travs de sus libros). Consejera de Cultura.
Junta de Andaluca. Sevilla, 2000.
73. GONZALEZ URBANEJA,P.M.: Pitgoras. El umbral del Pensamiento occidental (en Reflexiones
sobre el pasado, presente y futuro de las Matemticas). Publ. Universidad de Huelva. 2002.
74. GONZALEZ URBANEJA,P.M.: Los orgenes de la Geometra Analtica. Fundacin Canaria
Orotava de Historia de la Ciencia. Tenerife, 2003.
75. HEAT,T.L.: A History of
Caps.5,6,9,10,11,14,19,20.
Greek
Mathematics.
Vols.
Dover,
New
York,
1981.
76. KLEIN,J.: Greek mathematical thought and the origin of algebra. Dover, New York, 1992.
Caps.10,11.
77. KLINE,M.: El pensamiento matemtico de la Antigedad a nuestros das. 3 Vols. Alianza Univ.
Madrid, 1992. Caps.3,4,5,15,23.
78. KNORR,W.R.: The ancient tradition of geometric problems. Dover, New York, 1981. Caps.2,3,4,7,8.
79. LEVI,B.: Leyendo a Euclides. Zorzal, Buenos Aires, 2001. Cap.3.
80. LORIA,G.: Histoire des sciences mathmatiques dans lantiquit hellnique. Gauthiers-Villars,
Pars, 1929. Caps.2,3.
81. MALET,A.: El lgebra en el perodo renacentista. La recuperacin de los clsicos griegos. PPU.
Barcelona, 1989. Caps.1,2, Ap.1,3,4.
153
106. WUSSING,H.: Lecciones de Historia de las Matemticas. Siglo XXI. Madrid, 1989. Cap.7.2.
154
155
LA GEOMETRA ANALTICA