Documente Academic
Documente Profesional
Documente Cultură
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]
11
12
Vestigios analticos en la Matemtica griega
El lgebra Geomtrica de Los Elementos de Euclides
El alumbramiento de la Geometra Analtica por parte de Fermat y Descartes supone un
salto revolucionario sin precedentes en la Historia de la Matemtica, por eso para ponderar
en su justo valor el nuevo instrumento cientfico y comprender cmo tuvo lugar su gestacin
es imprescindible conocer la naturaleza que adopt la Geometra griega ante la solucin que
le dio Eudoxo (hacia 370 a.C.), mediante la Teora de la Proporcin, a la tremenda crisis de
fundamentos provocada por la aparicin de los inconmensurables, con la consiguiente
estructuracin rgida de la Matemtica griega elemental en la enciclopdica obra de Los
Elementos de Euclides, que establece como paradigma un estilo sinttico de exposicin que
oculta la va heurstica del descubrimiento, impulsa la Geometra al margen de la Aritmtica,
impide el desarrollo de un lgebra en sentido algortmico y simblico y limita la introduccin
de nuevas curvas a su construccin mediante interseccin de superficies o lugares
geomtricos definidos a travs de relaciones de reas o longitudes, en forma de proporcin,
y no por medio de ecuaciones.
La solucin de Eudoxo, llamada Teora de Magnitudes que se aplica indistintamente a
magnitudes conmensurables o inconmensurables, no es plasmada por Euclides en Los
Elementos hasta llegar al Libro V, lo que le obliga a remodelar con gran ingenio la doctrina
geomtrica de los cuatro libros anteriores, que son de origen pitagrico, sustituyendo las
pruebas pitagricas por demostraciones independientes de la citada teora.
Como consecuencia de la aparicin de las magnitudes inconmensurables, los griegos no
podan reconocer la existencia de nmeros irracionales, lo que les dificultaba el tratamiento
numrico de longitudes, reas, volmenes y ngulos. Esta limitacin operacional junto a un
deficiente sistema de numeracin que utilizaba las letras del alfabeto para representar los
nmeros enteros, con la consiguiente dificultad para realizar las operaciones, impeda
asignar a las figuras geomtricas nmeros que midieran sus longitudes, reas y volmenes
y por tanto los griegos tenan que tratar directamente con las figuras a modo de magnitudes.
El abismo infranqueable que se haba abierto entre nmero y magnitud continua impeda
someter las magnitudes geomtricas a manipulaciones algebraicas, como se hace con los
nmeros, lo que determin la transformacin del lgebra oriental que los pitagricos haban
heredado de los babilonios en el lgebra Geomtrica del Libro II de Los Elementos de
Euclides que juega un papel fundamental en la Geometra griega. Con gran habilidad en la
prctica geomtrica, los griegos hicieron de su lgebra Geomtrica un poderoso instrumento
para la resolucin de ecuaciones, mediante el mtodo de la Aplicacin de las reas, teora
que segn Proclo sera de ascendencia pitagrica.
El lgebra Geomtrica, denominacin acuada por el historiador de la Matemtica H.G.
Zeuthen hacia 1886, viene a ser una geometrizacin de los mtodos algebraicos practicados
por los babilnicos, una especie de Geometra algebraica, en la que los nmeros son
sustituidos por segmentos de recta y las operaciones entre ellos se llevan a cabo
respetando escrupulosamente la homogeneidad de los trminos mediante construcciones
geomtricas de la siguiente forma:
La suma de dos nmeros se obtiene prolongando sobre el primero un segmento
igual al segundo.
La diferencia de dos nmeros se obtiene recortando del primero un segmento
igual al segundo.
El producto de dos nmeros es el rea del rectngulo cuyos lados tienen como
longitudes esos nmeros.
El cociente de dos nmeros es la razn de los segmentos que los representan
(segn los principios del libro V de Los Elementos de Euclides).
La suma y la diferencia de productos se reemplaza por la adicin y sustraccin de
rectngulos.
La extraccin de una raz cuadrada se establece mediante la construccin de un
cuadrado de rea equivalente a la de un rectngulo dado (Euclides II.14).
13
Por ejemplo, el viejo problema mesopotmico en el que dada la suma o diferencia y el
producto de los lados de un rectngulo, xy=A , xy=b, se peda hallar dichos lados, se
interpretaba geomtricamente de la siguiente forma:
xy = A b
y = b x , x(b x) = A , bx x = A
2
x+y =b
A x
y x
xy= A b
x = b + y , y(b + y) = A , by + y = A
2
xy=b
A y
y
x
La solucin geomtrica lleva a la construccin sobre un segmento b de un rectngulo cuya
altura desconocida x debe ser tal que el rea del rectngulo en cuestin exceda del rea
dada A (en el caso de signo positivo) en el cuadrado de lado x; o difiera del rea dada (en el
caso de signo negativo) en el cuadrado de lado y.
En su lgebra Geomtrica los griegos utilizaron principalmente dos mtodos para resolver
cierto tipo de ecuaciones, el mtodo de las proporciones y el mtodo de Aplicacin de las
reas. El mtodo de las proporciones permite construir exactamente, como se hace hoy, un
segmento de lnea x dado por:
a c
= , ax = bc
b x
x
b
Cuarta proporcional (Euclides VI.12)
a c
o bien
a x 2
= , x = ab
x
x b
Media proporcional (Euclides VI.13)
a b
S R S R C S C R
A B,Q A Q B A B Q
1. Cuando Q coincide con B, se dice que el paralelogramo AQRS se ha aplicado sobre el
segmento AB.
2. Cuando Q est entre A y B, se dice que el paralelogramo AQRS se ha aplicado sobre el
segmento AB de forma elptica o con defecto el paralelogramo QBCR.
15
3. Cuando Q est en la prolongacin de AB, se dice que el paralelogramo AQRS se ha
aplicado sobre el segmento AB de forma hiperblica o con exceso el paralelogramo
QBCR.
A C D B
Sea AB el segmento de lnea recta
dado, dividido de forma igual por C y de
forma desigual por D, la proposicin
establece que: ADDB + CD2 = CB2.
Tomando AB=2a, AC=a, CD=b, resulta
K L H M la identidad algebraica:
(a + b)(ab) + b2 = a2 .
Simplificando el lenguaje retrico de
E G F
Euclides tenemos:
ADDB + CD2 = AKHD + LEGH = AKLC + CLHD + LEGH =
= CLMB + CLHD + LEGH = CLMB + HGFM + LEGH = CB2.
Digamos que ms importante que la demostracin exhibida, es el diagrama que utiliza
Euclides en esta demostracin porque es un esquemas grfico que jugaran un papel
fundamental en la resolucin geomtrica de ecuaciones cuadrticas.
En efecto: sea resolver en la Geometra griega la ecuacin axx2=b2, es decir, encontrar un
segmento de lnea x que cumpla la condicin expresada por la ecuacin axx2=b2, donde
a,b son segmentos tales que a>2b.
Sea ahora AB=a, y sea C el punto medio de AB, levantemos por C una perpendicular CP de
longitud igual a b. Con centro en P y radio a/2 tracemos una circunferencia que corte a AB
en el punto D.
Construyamos sobre AB un rectngulo ABMK de anchura BM=BD y completemos el
cuadrado BDHM. Este cuadrado es el rea x2 que cumple la condicin expresada por la
ecuacin cuadrtica. En lenguaje griego de la Aplicacin de las reas se ha aplicado de
forma elptica al segmento AB=a un rectngulo AH de rea (ax)x, es decir axx2, que es
igual a un cuadrado dado b2, y que es deficiente del rectngulo AM en un cuadrado DM. La
demostracin de este hecho viene dada por la Proposicin Euclides II.5, segn la cual el
rectngulo ADHK es igual al polgono cncavo CBFGHL, es decir, difiere de (a/2)2 en el
cuadrado LHGE cuyo lado es por construccin CD= (a/2)2 b2 .
Sintetizando los clculos geomtricos:
A C D B AB=a, AC=CB
CP=b, PD=a/2, LH=CD= (a/2)2 b2 .
Rectngulo ABMK (BM=BD)
Cuadrado BDHM = x2 .
Euclides II.5: ADDB+CD2=CB2 .
L H M ADHK + LHGE = CBFE ,
K
ADHK = ABMK BDHM ,
P ADHK = CBFE LHGE ,
ABMKBDHM=CBFELHGE
E G F 2
ax x2 = (a/2)2 (a/2) 2 -b2 = b2 .
De manera similar Euclides resuelve la ecuacin cuadrtica ax+x2=b2 en la Proposicin II.6.
16
EL LGEBRA GEOMETRICA DEL LIBRO II
DE LOS ELEMENTOS DE EUCLIDES
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
LA PROPOSICIONES II.5 Y II.6 EN LA EDICIN DE
OLIVER BYRNE DE LOS ELEMENTOS DE EUCLIDES
1. La Proposicin II.5.
2. La Proposicin II.6.
3. 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
EL MS ANTIGUO DOCUMENTO SOBRE LA APLICACIN DE LAS REAS
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
EUCLIDES, EL AUTOR DE LOS ELEMENTOS
20
Las cnicas de Menecmo y el problema de la Duplicacin del Cubo
Se atribuye a Menecmo (hacia 350 a.C.) de la Academia platnica el ms famoso de los
discpulos de Eudoxo y maestro de Aristteles y Alejandro Magno, la introduccin de las
secciones cnicas, es decir, el descubrimiento de las curvas que despus recibieron el
nombre de elipse, parbola e hiprbola, la llamada Triada de Menecmo. Veremos que el
descubrimiento fue un feliz hallazgo en relacin con el problema dlico de la duplicacin
del cubo. Menecmo detect que para la resolucin del problema haba una familia de
curvas adecuadas, los tres tipos de cnicas obtenidos por el mismo mtodo, a partir de la
seccin por un plano perpendicular a la generatriz de conos rectos de tres tipos, segn que
el ngulo en el vrtice fuera agudo, recto u obtuso.
Partiendo de un cono circular recto de una sola hoja con ngulo recto en el vrtice,
Menecmo descubri que al cortar el cono por un plano perpendicular a una de sus
generatrices, la curva interseccin es tal que su ecuacin (utilizando un anacronismo en
trminos de Geometra Analtica moderna) puede escribirse en la forma y2=lx, donde l es
una constante, que depende exclusivamente de la distancia del vrtice del cono al plano de
la seccin. Ignoramos como obtuvo exactamente Menecmo esta propiedad, pero como
quiera que depende nada ms de algunos teoremas de la Geometra elemental, Menecmo
utilizara los conocimientos geomtricos que seran familiares a los matemticos de la
Academia platnica.
Sea pues ABC el cono y sea EDG la curva obtenida al cortarlo por un plano perpendicular
en el punto D a la generatriz ADC del cono. Sea P un punto cualquiera de la curva seccin y
un plano horizontal que corta al cono en la circunferencia PVQR, siendo Q el otro punto de
interseccin de la curva seccin con esta circunferencia.
y2 = 2ax
xy = 2a2
x2 = ay
a x y
Sea un cubo de arista a. A partir de la proporcin continua: = = , 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
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.
Se ha especulado a veces incluso con un origen de las cnicas por generacin
cinemtica como la Cuadratriz de Hipias o la Espiral de Arqumedes, pero parece
desmentirlo la persistencia hasta el siglo XVII del nombre que los griegos dieron de
Problemas slidos a los que dependan de las cnicas para su resolucin, como si se
quisiera insistir en su origen estereomtrico.
Las cnicas se definen ahora como lugares de puntos en el plano para los que las
distancias a una recta directriz y a un punto foco estn en una determinada razn
excentricidad. Esta definicin se traslada de forma muy simple al lenguaje algebraico
de ecuaciones de nuestra Geometra Analtica y adems, la trigonometra permite
mediante la rotacin de ejes pasar fcilmente de la ecuacin de la hiprbola referida a
sus ejes a la referida a sus asntotas. De modo que realmente impresiona la
extraordinaria habilidad de Menecmo descubriendo la ms til familia de curvas de toda
la Matemtica y de toda la Ciencia y en ausencia del instrumento y el simbolismo
algebraicos. Pero no slo esto, sino que, independiente de su origen plano o
estereomtrico, Menecmo fue capaz de vincular ambos aspectos de las cnicas,
mostrando que las secciones de los conos tenan importantes propiedades como
lugares planos, traducibles en bsicas expresiones geomtricas (equivalentes a
nuestras ecuaciones), que permitan deducir, a su vez, otras innumerables propiedades
de las cnicas, que seran plasmadas por Apolonio en los primeros libros de Las
Cnicas. Es bajo esta visin sobre el trabajo de Menecmo que algunos historiadores
modernos (Zeuthen, Coolidge, Loria y Heath) reclaman para los griegos, y empezando
por Menecmo, la paternidad de la Geometra Analtica, al establecer como la esencia de
esta rama de la Matemtica el estudio de los lugares por medio de ecuaciones.
Debemos aquilatar ciertas afirmaciones en torno a elementos precursores de la
Geometra Analtica, porque al sealar tales atribuciones, ms o menos fundadas o
infundadas, siempre nos encontraremos con las serias limitaciones impuestas por el
carcter geomtrico-sinttico de la Geometra griega y por la ausencia de un lgebra
simblica en sentido algortmico, que es un componente ineludible de una verdadera
Geometra Analtica general, y que a fin de cuentas es lo que permite la real y mutua
correspondencia entre curvas y ecuaciones. Esto fue realmente lo que se plantearon y
resolvieron Fermat y Descartes con el concurso del Arte Analtica de Vieta, al establecer
que una ecuacin arbitraria en dos cantidades indeterminadas determina, con respecto
a un sistema dado de coordenadas, una curva en este plano, cuestin de capital
importancia al ser una de las vertientes del Principio fundamental de la Geometra
Analtica. La vertiente opuesta establece que una curva plana tiene asociada, con
respecto a un sistema dado de coordenadas, una ecuacin en dos cantidades
indeterminadas. Con las reservas que se quieran apuntar (lenguaje retrico y sinttico,
ausencia de lgebra simblica, etc) basadas en la naturaleza de la Geometra griega, es
indudable que esta segunda cara del Principio fundamental de la Geometra Analtica
era muy familiar a los griegos, a partir de Menecmo y sobre todo de Apolonio, como
veremos enseguida, al menos en el mbito de las cnicas.
23
LA GENERACIN DE LAS CNICAS DE APOLONIO
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
Coordenadas en Las Cnicas de Apolonio
Euclides escribi, adems de Los Elementos, otras muchas obras de las que tenemos
constancia e incluso fragmentos a travs de El Tesoro del Anlisis de Pappus. Una de ellas
fue un trabajo sobre secciones cnicas, incorporado ms tarde a Las Cnicas de Apolonio.
Asimismo y por desgracia, por haberse perdido, no tenemos ms que ligeras referencias de
Los Porismas. Segn Pappus un porisma es un elemento matemtico intermedio entre un
teorema donde se propone algo para ser demostrado y un problema donde se propone
algo para ser construido. Los griegos dividan las proposiciones geomtricas en tres tipos:
teoremas, problemas y porismas, segn que hubiera que demostrar, construir o encontrar
algo. Para otros autores, como Chasles (1793-1880), un porisma era una proposicin en la
que se anuncia la posibilidad de determinar ciertas cosas (y se hallan efectivamente), que
tienen cierta relacin con otras fijas y conocidas y con otras variables indeterminadas,
establecindose una ley de variacin, quiz una ligera aproximacin al concepto de funcin
en Grecia. Todava para otros estudiosos un porisma sera algo parecido a la expresin
retrica de una ecuacin verbal de una curva. Segn lo dicho, la doctrina de los porismas
sera la geometra analtica de los antiguos griegos y el libro de Euclides podra haber
representado una aproximacin helnica a un cierto tipo de incipiente Geometra Analtica,
donde el discurso retrico sustituira al simbolismo y la construccin geomtrica a las
tcnicas algebraicas.
El Tesoro del Anlisis de La Coleccin Matemtica de Pappus estaba constituido en gran
parte por obras de Apolonio, perdidas o conservadas entonces de forma fragmentaria, que
deban de incluir mucho material geomtrico cuyo estudio forma parte hoy de la Geometra
Analtica. Como veremos ms adelante durante el siglo XVII hubo una autntica obsesin,
en particular por Fermat, por la reconstruccin de muchas de las obras perdidas de Apolonio
y precisamente en esta labor estuvo el origen de su Geometra Analtica.
A ttulo de ejemplo en Los Lugares Planos de Apolonio aparecen dos importantes lugares
geomtricos:
a) El lugar geomtrico de los puntos cuya diferencia de los cuadrados de sus
distancias a dos puntos fijos A, B, es constante, es una recta perpendicular al
segmento AB,
b) El lugar geomtrico de los puntos cuya razn de distancias a dos puntos fijos es
constante, es una circunferencia..
Asimismo en el libro Secciones en una razn dada se resuelven diversos casos del siguiente
problema:
Dada dos rectas y sendos puntos en ellas, trazar por un tercer punto otra recta que
corte a las anteriores en segmentos, que medidos sobre ellas desde los respectivos
puntos dados, estn en una razn dada.
Este problema conduce a una ecuacin cuadrtica de la forma axx2=bc. Tambin en el libro
Secciones en un rea dada se resuelve un problema similar que pide que los segmentos
determinados por las intersecciones formen un rectngulo equivalente a otro dado. En este
caso el problema lleva a una ecuacin cuadrtica de la forma ax+x2=bc.
Finalmente en el Libro Secciones determinadas, Apolonio plantea el problema siguiente:
Dados cuatro puntos A, B, C, D, sobre la misma recta, hllese un quinto punto P
sobre ella, de modo que el rectngulo construido sobre AP y CP est en una razn
dada con el construido sobre BP y DP.
Como en los casos anteriores el problema es equivalente a la resolucin de ecuaciones
cuadrticas, con las que se tratan todas las variantes que se presentan en los datos y las
correspondientes soluciones.
25
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.
P D
Lo que demuestra Apolonio en la
Proposicin I.13 con un lenguaje retrico es
que hay una relacin constante entre ciertas
reas, el cuadrado de lado la cuerda PQ y el
O R rectngulo determinado por los segmentos
Q C OQ, QR del dimetro.
En particular se verificar:
PQ2 OQQR
= .
CD2 OCCR
Tomando coordenadas con origen en el vrtice O, y llamando x, y, a, b y l, como antes, se
tiene:
y 2 x(2a x)
= ,
b2 a2
de donde resulta:
2b2 b2
y2 = x 2 x2 ,
a a
es decir:
b2 2
y 2 = lx x ,
a2
donde l=2b2/a es el latus rectum, como se quera probar.
Vemos que las relaciones de reas de Apolonio que expresan propiedades intrnsecas de la
curva se prestan con gran facilidad a ser traducidas en el ulterior lenguaje del lgebra
simblica de ecuaciones que permitir la asociacin de curvas y ecuaciones en la
Geometra Analtica.
A la vista de las expresiones obtenidas para las cnicas, trasunto de la propiedad
fundamental que satisfacen como lugares planos, se aprecia que, en el caso de la elipse
y2<lx, mientras que para la hiprbola y2>lx. Estas propiedades de las curvas expresadas por
estas desigualdades son las que sugirieron, con base en el lenguaje griego ordinario, los
nombres de las cnicas, parbola, elipse e hiprbola bautizadas por Apolonio hace ms de
dos mil aos. As los nombres no slo no son arbitrarios sino que responden a la semntica
de los trminos y han sido tan afortunados que han quedado firmemente asociados a las
cnicas para siempre.
El Libro I de Las Cnicas de Apolonio se inicia con la generacin de las cnicas, pero una
vez que se obtienen mediante consideraciones estereomtricas las relaciones bsicas entre
lo que llamaramos las coordenadas de un punto de la curva en el plano, expresadas por las
ecuaciones descritas, Apolonio se dedica a estudiar por mtodos planimtricos las
propiedades fundamentales de las cnicas, incluyendo tangentes y dimetros conjugados, a
partir de esas ecuaciones planas, obviando toda referencia explcita al cono generador.
Apolonio utiliza de forma sistemtica un par de dimetros conjugados o un dimetro y una
tangente como equivalente de un sistema de coordenadas oblicuas, habiendo demostrado
previamente que si se traza una recta por un extremo de un dimetro de una elipse o de una
hiprbola, paralela a su dimetro conjugado, la recta trazada es tangente a la cnica. El
sistema de referencia dimetrotangente se muestra de una significativa utilidad ante la
invariancia de la ecuacin de la cnica frente a un cambio de referencia dimetrotangente
de un punto a otro punto de la cnica (Proposiciones 41 a 49). En particular, Apolonio
conoca las propiedades de la hiprbola equiltera referida a sus asntotas xy=a2.
27
LAS CNICAS DE APOLONIO
Las Cnicas de Apolonio en ocho libros, de los que conservamos siete gracias a los trabajos
de Thabit ibn Qurra (hacia 856 d.C.) y de Halley es una de las obras cumbres de la
Matemtica griega, que supera con creces y oscurece lo que con anterioridad haban escrito
sobre el tema Menecmo, Aristeo y Euclides.
Gracias a este texto, a Apolonio se le llam el gran gemetra, porque si entre los
matemticos griegos Euclides representa el maestro sistematizador y Arqumedes el genio
investigador, el tercer talento del helenismo, Apolonio de Perga, personifica el virtuosismo
geomtrico.
La obra tuvo una importancia trascendental en el descubrimiento de la Geometras
Analticas de Fermat y Descartes.
El problema da lugar a diez casos diferentes. Los dos ms sencillos son: circunferencia que
pasa por tres puntos (Euclides, IV.5) y circunferencia inscrita a un tringulo (Euclides, IV.4).
Sobre el ms complicado: Dadas tres circunferencias hllese otra tangente a las tres,
durante lo siglos XVI y XVII los eruditos sospecharon que Apolonio no lo haba resuelto por
lo que algunos como Vieta (1540-1603) y Descartes se aplicaron a ello. Los matemticos
rabes Ibrahim ibn Sinan (909-946) y Ibn al-Haytham (965-1041) haban encontrado una
solucin mediante el lgebra. En el siglo XVI, Regiomontano ensay su resolucin
recurriendo a las secciones cnicas y Vieta da una solucin puramente geomtrica en su
obra Apollonius Gallus. Despus de haber dado la solucin general, Vieta da cuatro
soluciones particulares segn que el cuarto crculo sea tangente en el interior o en el exterior
de los otros tres. Descartes retoma el problema con los instrumentos algebraicos de La
Geometra en su correspondencia de noviembre de 1643 con la princesa Elisabeth de
Bohemia, donde ms que resolver un problema geomtrico (el problema ya lo haban
resuelto otros matemticos), se plantea un problema esttico: Cul ser la solucin ms
hermosa? Newton le dio una solucin slo con regla y comps en el problema XLVII de su
Arithmetica Universalis.
En la Dedicatoria de las Cnicas, Apolonio hace alusin a otro problema que con el tiempo
se convertira en uno de las cuestiones ms difciles e importantes sobre la que se probar
la reconocida capacidad de la Geometra Analtica de Fermat y Descartes para resolver
antiguos y nuevos problemas, se trata del famoso Problema de Pappus o lugar geomtrico
determinado por tres o cuatro rectas:
Dadas tres (resp. cuatro) rectas en un plano, encuntrese el lugar geomtrico de un
punto que se mueve de forma que el cuadrado de la distancia a una de las tres rectas
es proporcional al producto de las distancias a las otras dos (resp. El producto de las
distancias a dos de ellas es proporcional al producto de las distancias a las otras dos),
si las distancias se miden en direcciones tales que formen ngulos dados con las
lneas correspondientes.
30
LAS CNICAS DE APOLONIO
Portada de Apollonii Pergaei Conicorum Libri IV.
Cum commentariis.
Edicin de C. Richardi, Amberes, 1655.
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
LAS CNICAS DE APOLONIO
Lmina con figuras de Apollonii Pergaei Conicorum Lib. V, VI, VII. Edicin de Borelli.
Florencia 1661. Biblioteca de la Universidad de Pava.
32
El lgebra sincopada de La Aritmtica de Diofanto
Siendo el lgebra simblica el instrumento algortmico bsico de la Geometra Analtica, en
el rastreo de los orgenes de sta deberamos encontrar las races primigenias de aqulla,
de ah la necesidad de mencionar a Diofanto de Alejandra (hacia 250 d.C.) que con su obra
La Aritmtica inaugura lo que Nesselman llam en 1842 el lgebra sincopada. A base de
adoptar ciertas letras o expresiones como abreviaturas para las cantidades indeterminadas y
sus potencias y para las operaciones ms habituales, Diofanto fragua un incipiente
simbolismo antecedente de la notacin algebraica, que inicia la construccin de una
mquina mental de asombrosa precisin y eficacia, que constituye la matriz del lgebra. Por
ello a Diofanto se le reconoce, a veces, como el padre del lgebra, ya que su trabajo
representa un avance considerable con respecto al farragoso lenguaje del lgebra
Geomtrica de Euclides. Aunque no lleg a crear un verdadero algoritmo de automatizacin
de la resolucin de ecuaciones, Diofanto es un pionero en el proceso que sembrado durante
1300 aos por los rabes y por los matemticos renacentistas italianos, transforma la
logstica numerosa que opera con nmeros en otra que opera con todo tipo de especies,
la Logistica speciosa de Vieta, que generalizar los mtodos mediante el clculo literal hacia
la doctrina algebraica como uno de los cimientos de la Matemtica al convertirse en su
propio lenguaje. As se lo reconocer Descartes en la Regla IV de sus Reglas para la
direccin del espritu de 1628 (Regulae ad directionem ingenii).
Los smbolos de las cantidades indeterminadas en La Aritmtica de Diofanto representan
incgnitas ms que variables en el sentido de la Geometra Analtica. Por tanto, en estos
aspectos Diofanto no se acerca a la lnea histrica de la Geometra de las coordenadas.
Pero, como quiera que la principal deficiencia que tuvo la Geometra griega para alcanzar la
Geometra Analtica fue la ausencia del lgebra simblica como aparato algortmico
independiente, y el trabajo de Diofanto inicia la construccin de este instrumento, podemos
afirmar que la labor de Diofanto es un eslabn importante en la cadena que une la Aritmtica
y el lgebra de los babilonios con la empresa de Fermat y Descartes.
Portada del Libro I de La Aritmtica de Diofanto
(Diophanti Alexandrini Arithmeticorum Libri Sex
et de Numeris multangulis). Edicin de G. Bachet
de Meziriac, publicada en Pars en 1621.
Sobre un ejemplar de esta edicin hizo Fermat
sus famosas anotaciones sobre lo que despus se
ha llamado Teora de Nmeros.
Diofanto es el responsable de los primeros
escarceos del lgebra simblica el lgebra
sincopada. A base de adoptar ciertas letras o
expresiones como abreviaturas para las
cantidades indeterminadas y sus potencias y
para las operaciones ms habituales, fragua un
incipiente simbolismo antecedente de la
notacin algebraica.
En la obra de Diofanto, que representa la
primera aritmetizacin de la Matemtica, la
clsica solucin grfico-geomtrica de las
ecuaciones del lgebra Geomtrica clsica
eucldea , es sustituida por los antiguos mtodos
aritmticos de los babilonios, como
consecuencia de que los smbolos que utiliza ya
no son pensados como segmentos de lnea, sino
que realmente son nmeros. Por esta razn
Diofanto va ms all de las ecuaciones cbicas y
considera potencias de la incgnita hasta la
sexta, a la que llama cubo-cubo.
Al ser el lgebra simblica un instrumento
algortmico ineludible de la Geometra
Analtica, y Diofanto el primer iniciador de esta
utilidad, debemos situar su obra, La Aritmtica,
en una direccin conveniente hacia la
generacin de la Geometra Analtica.
33
LA NOTACIN DIOFNTICA
Potencia cuadrada Dg d x2
Potencia cbica Kg k x3
34
La Coleccin Matemtica de Pappus
El ltimo de los grandes gemetras griegos es Pappus que escribi La Coleccin
Matemtica, una obra muy heterognea, de un valor cientfico, histrico y metodolgico
inconmensurable. Es a travs de esta obra que conocemos muchos de los trabajos
geomtricos anteriores perdidos. La obra nos ofrece una panormica bastante amplia de la
Geometra griega con una gran profusin de originales aportaciones del propio autor, desde
lemas para hacer ms inteligible algn teorema, hasta demostraciones alternativas,
generalizaciones y nuevos resultados. Encontramos en la obra de Pappus, adems de
infinidad de teoremas y problemas sobre Geometra superior no incluida en Los Elementos
de Euclides, un gran nmero de cuestiones que debemos situar en las races histricas de
la Geometra Analtica como son la ms elaborada exposicin sobre los mtodos de Anlisis
y Sntesis, numerosas soluciones a los problemas clsicos sobre todo la duplicacin del
cubo y la triseccin del ngulo, nuevos estudios y extensiones de propiedades de las
secciones cnicas como lugares geomtricos en particular el Teorema VII.238 que permite
unificar en la Geometra escolar la definicin de las tres cnicas como lugares geomtricos
en relacin con distancias a un punto, el foco y a una recta, la directriz, y la clasificacin
definitiva de los problemas geomtricos en planos, slidos y lineales segn sean
resolubles, respectivamente, con rectas y circunferencias, cnicas u otras curvas
superiores, que persegua la idea de ajustar la envergadura de los instrumentos
geomtricos a utilizar a la enjundia de los problemas geomtricos a resolver, en la lnea de
aplicar siempre los medios ms simples posibles, lo que ser no slo un rasgo distintivo de
las Geometras Analticas de Fermat y Descartes, sino un componente general de la mejor
Matemtica, que siempre exige elegancia y economa en el razonamiento.
Pero quiz el asunto ms importante sea el tratamiento general del llamado Problema de
Pappus o lugar geomtrico de n rectas, que en su formulacin ms sencilla, para tres o
cuatro rectas ya era conocido por Apolonio, siendo la solucin una cnica, y que ha tenido
un valor emblemtico para la Historia de la Geometra Analtica. Pappus realiza un estudio
exhaustivo del problema, propone la generalizacin a ms de cuatro rectas y reconoce que
independientemente del nmero de rectas involucradas en el problema, queda determinada
una curva concreta. He aqu la observacin ms general sobre lugares geomtricos de toda
la Geometra griega, lo que implica, adems, la consideracin de infinitos tipos nuevos de
curvas planas, algo esencial en un mundo geomtrico tan limitado en cuanto a curvas
planas. Pappus vacila a la hora de considerar el problema para ms de seis lneas porque:
no hay nada contenido en ms de tres dimensiones. De haber seguido en esa direccin,
se habra dado un paso muy importante de anticipacin de la Geometra Analtica, toda vez
que ello hubiera propiciado un necesario tratamiento algebraico y no geomtrico de los
productos de lneas involucradas en el problema. Esto fue precisamente uno de los grandes
logros de Descartes, la reforma de la notacin, hacia la invencin de la Geometra Analtica,
al escribir (G.AT,VI, 371).:
Es de sealar que para a2 o b3 u otras expresiones semejantes, yo no concibo
ordinariamente ms que lneas simples, aunque para servirme de los nombres usados
en lgebra, los designe por cuadrados, cubos, etc.
35
LA COLECCIN MATEMTICA DE PAPPUS
En esta monumental obra Pappus realiza una encomiable labor de compilacin, comentario,
restauracin, organizacin, clasificacin y generalizacin del conocimiento matemtico de la
antigedad griega considerado como superior, es decir, no incluido en Los Elementos de Euclides.
La Coleccin Matemtica de Pappus como Las Cnicas de Apolonio, tuvo una incidencia decisiva
en la evolucin del lgebra Geomtrica griega hacia las Geometras Analticas de Fermat y
Descartes. Es un gigantesco manantial bibliogrfico esencial para el estudio de la Historia de la
Geometra griega porque describe una multitud de trabajos matemticos perdidos de Euclides,
Arqumedes, Apolonio, Aristeo y Eratstenes sobre Geometra superior que constituyen lo que se
llama Tesoro del Anlisis. De este modo, la obra de Pappus preserva para la posteridad buena parte
del saber geomtrico con lo que evita la desaparicin irremediable del acervo matemtico griego y
as se convierte, en muchos casos, en la principal fuente de informacin y a veces la nica sobre
los trabajos de Geometra griega perdidos. Adems, Pappus nos relata las vas que segua la
investigacin geomtrica, oculta en los grandes tratados clsicos debido a su estilo sinttico, es
decir, lo que los antiguos gemetras entendan por Anlisis y Sntesis.
Aparte de su valor compilador de la Geometra griega superior, la obra tiene un gran valor
didctico por la multitud de lemas introducidos para hacer inteligibles muchos teoremas. Adems,
Pappus aporta muchos resultados originales de su propia cosecha.
La obra de Pappus una de las principales fuentes de informacin e inspiracin matemtica a partir
del Renacimiento contiene soluciones nuevas a numerosos problemas clsicos, la clasificacin
definitiva de los problemas geomtricos en planos, slidos y lineales, estudios definitivos de las
cnicas como lugares geomtricos y una visin ms general del famoso Problema de Pappus del
Libro VII autntico bautismo de fuego que puso a prueba la superioridad de los mtodos
analticos cartesianos todas ellas cuestiones de trascendental influencia sobre el advenimiento de
las Geometras Analticas de Fermat y Descartes.
36
El Anlisis Geomtrico griego y la Geometra Analtica
Veamos ahora una cuestin metodolgica que nos permita entender la evolucin del
lgebra Geomtrica de los griegos hacia la Geometra Analtica de Fermat y Descartes. Los
Elementos de Euclides establecieron un severo modelo de exposicin y demostracin que
oculta el camino de la investigacin hacia el descubrimiento. Surge de forma natural la
pregunta acerca de cmo los gemetras griegos encontraban sus impresionantes resultados
que despus plasmaban en sus obras con un rigor impecable e implacable. Pues bien, es
aqu donde interviene el Anlisis como un procedimiento metodolgico capital para el
progreso de la Matemtica, del que la Geometra Analtica heredar no slo su nombre sino
sobre todo sus procedimientos.
Proclo (411-485 d.C.) en sus Comentarios al Libro I de los Elementos de Euclides atribuye a
Hipcrates de Quos (hacia 450 a.C.) la invencin del Mtodo Analtico cuando lo define:
La apagog es una reduccin de un problema o de un teorema a otro, que si es
conocido o determinado, conduce a la solucin de la cuestin propuesta.
Pero siempre se ha imputado su paternidad a Platn (427-347 a.C.) segn ciertos pasajes
del Menn (86e87a), la Repblica (510c) y la tica a Nicmaco de Aristteles (1095a),
que lo formulara como un mtodo pedaggicamente conveniente, viniendo a decir que
cuando una cadena de razonamientos desde unas premisas a una conclusin no es obvia,
se puede invertir el proceso; uno puede empezar por la proposicin que ha de probarse y
deducir de ella una conclusin que es conocida. Si entonces podemos invertir los pasos en
esta cadena de razonamientos, el resultado (Sntesis) es una prueba legtima de la
proposicin. Es decir, mediante el Anlisis se asume como cierto aquello que hay que
probar y se razona con base en esta asuncin hasta llegar a algo que forma parte de los
principios o alcanzar un resultado cierto por haber sido previamente establecido. Si entonces
podemos invertir la secuencia de los pasos anteriores se obtiene una demostracin del
teorema que haba que probar. As pues, el Anlisis viene a ser un procedimiento
sistemtico de descubrir condiciones necesarias para que un teorema sea cierto, de modo
que si por medio de la Sntesis se muestra que estas condiciones son tambin suficientes,
se obtiene una demostracin correcta de la proposicin.
Conviene explicar un poco en qu medida la Geometra Analtica recibe su nombre
precisamente del mtodo de Anlisis de los griegos. Como se ha dicho, el Anlisis empieza
asumiendo como cierto aquello que hay que probar. Esto es precisamente un principio
que aplica Descartes desde el comienzo de La Geometra. Por ejemplo en el segundo
epgrafe del Libro I, titulado: Cmo se llega a las ecuaciones que sirven para resolver los
problemas, Descartes escribe (G.AT,VI,372):
As, si se quiere resolver algn problema, debe de antemano considerarse como ya
resuelto,[...]
Descartes no slo realizar una aplicacin directa de los procedimientos del Anlisis y la
Sntesis de los griegos sino que reformulados sern las dos reglas intermedias de las cuatro
reglas del El Discurso del Mtodo (DM.AT,VI,17-18). Una y otra vez en la multiplicidad de
problemas que resuelve en La Geometra, Descartes empezar por suponer el problema
resuelto. En concreto en dos de los problemas ms importantes que trata, Descartes escribe
literalmente:
Primeramente yo supongo la cosa como ya hecha, [...] (Problema de Pappus
[G.AT,VI, 382]).
Supongamos que la cosa est hecha, [...] (rectas normales a una curva [G.AT,VI,
413]).
Naturalmente hay una diferencia notable entre la aplicacin que del mtodo de Anlisis y
37
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
ANLISIS Y LGEBRA EN LA REGLA IV (R.IV.AT.X.373-377) DE
LAS REGLAS PARA LA DIRECCIN DEL ESPRITU DE DESCARTES
[...] En las ms fciles de las ciencias,
la Aritmtica y la Geometra, vemos
con toda claridad que los antiguos
gemetras se han servido de cierto
Anlisis, que extendan a la resolucin
de todos los problemas, si bien
privaron de l a la posteridad. Y ahora
florece cierta clase de Aritmtica que
llaman lgebra, para realizar sobre los
nmeros lo que los antiguos hacan
sobre las figuras [...] Cuando por
primera vez me dediqu a las
disciplinas Matemticas, de inmediato
le por completo la mayor parte de lo
que suelen ensear sus autores, y
cultiv preferentemente la Aritmtica y
la Geometra, porque se las tena por
las ms simples y como un camino
para las dems. Pero no caan en mis
manos autores que me satisficieran
plenamente: lea cosas acerca de los
nmeros que yo comprobaba,
habiendo hecho clculos, ser
verdaderas; y lo mismo respecto de las
figuras; [...] Pero por qu esto era as,
y cmo eran halladas, no parecan
mostrarlo suficientemente a la mente,
[...] Pero como despus pensase por
qu suceda que antiguamente los
primeros creadores de la Filosofa no
Retrato caricaturesco de Descartes escribiendo un quisieran admitir para el estudio de la
libro y con el pie apoyado en una obra de
Aristteles. Grabado de C.Hellemans. Biblioteca sabidura a nadie que no supiese
Nacional. Pars. Mathesis, [...], tuve la sospecha de que
Descartes subraya en la regla IV (Regulae ad ellos conocan cierta Mathesis muy
directionem ingenii) que los antiguos gemetras diferente de la Matemtica vulgar de
utilizaban cierto Anlisis para la resolucin de nuestro tiempo [...] Y ciertamente me
todos los problemas geomtricos (como se advierte parece que vestigios de esta verdadera
en Pappus y Diofanto), pero privaron de l a la Mathesis aparecen en Pappus y
posteridad con la expresin sinttica que oculta los Diofanto, [...] Y fcilmente creera que
mtodos de descubrimiento, y merecen por ello (al
impedir la divulgacin de los mtodos de trabajo) despus fue ocultada por cierta
la ms acerba de las crticas. Descartes elogia, en audacia perniciosa por los mismos
cambio, a hombres de gran talento (Vieta?), que escritores; pues as como es cierto
han recuperado el Anlisis Geomtrico de los que lo han hecho muchos artistas con
antiguos y lo han desarrollado con los nuevos sus inventos, as ellos temieron quiz
instrumentos del lgebra (un arte que clarificado y
liberado de su actual farragosidad podra cumplir
que, siendo tan fcil y sencilla, se
una funcin similar a la del Anlisis de los envileciese despus de divulgada; y
antiguos). Con base en estos analistas Descartes para que les admirsemos prefirieron
destilar un autntico Anlisis Algebraico, que presentarnos en su lugar, como
histricamente se desarrollar en la lnea de una productos de su mtodo, algunas
verdadera Geometra Analtica. verdades estriles deducidas con
sutileza, en vez de ensearnos el mtodo mismo que hubiera hecho desaparecer por
completo la admiracin. Ha habido, finalmente, algunos hombres de gran talento que se
han esforzado en este siglo por resucitarla; pues aquel arte no parece ser otra cosa, que
lo que con nombre extranjero llaman lgebra, con tal que pueda zafarse de las mltiples
cifras e inexplicables figuras de que est recargado a fin de que no falte ya aquella
claridad y facilidad suma que suponemos debe haber en la verdadera Mathesis [...].
39
El texto de la IV Regla de Descartes es fundamental para poder entender la actitud mental
de Descartes sobre su magno proyecto de reforma de la Matemtica de donde surgen las
fuentes de su Geometra Analtica.
Como seala Descartes, en la plyade de gemetras griegos, Pappus fue una excepcin,
porque desarroll una singular metodologa en la forma de exposicin, codificando todo un
cuerpo de tratados analticos de solucin de problemas en el llamado Tesoro del Anlisis del
Libro VII de La Coleccin Matemtica. En estos tratados queda patente el camino que sigue
la investigacin matemtica ya que se procede a la reduccin de un problema dado a un
problema equivalente cuya solucin era ya conocida. Desgraciadamente la obra de Pappus
fue ignorada o desconocida por los escritores rabes, intermediarios en el trnsito a
occidente de la cultura clsica griega, permaneciendo oculta en manuscritos griegos
originales que vieron de nuevo la luz en los siglos XVI y XVII, bajo el nuevo espritu
humanista de Commandino, Maurlico, Vieta, Fermat y otros muchos, que se propusieron la
traduccin, recuperacin y restauracin de las obras antiguas.
Si Descartes hubiera conocido la obra de Arqumedes, El Mtodo relativo a los teoremas
mecnicos descubierta por el gran helenista J.L.Heiberg, en un palimpsesto medieval, en
1906, la excepcin que hace con Pappus tal vez la hubiera extendido con toda razn a
Arqumedes, ya que estos matemticos son los nicos en toda la Geometra griega que dan
a conocer la va heurstica de los descubrimientos, va analtica en el caso de Pappus y
tambin va mecnica en el de Arqumedes.
40
LAS OBRAS FUNDAMENTALES DE LA MATEMTICA GRIEGA DE GRAN
INFLUENCIA SOBRE LA GNESIS DE LA GEOMETRA ANALTICA
(EDICIONES DE P. VER EECKE)
41
42
El Tractatus Latitudinibus Formarum de Oresme
Si el trabajo de Apolonio es el primer estadio histrico sobre la aplicacin de coordenadas,
es decir, ciertas lneas, introducidas a posteriori, como ejes auxiliares de coordenadas
determinados por la figura curva dada a priori; la obra de Oresme (1323-1382) representa el
segundo estadio en la introduccin de las coordenadas, pero ahora el sistema de
coordenadas se introduce a priori y los puntos de la curva son representados con respecto a
l. Oresme realiza este trabajo en su obra Tractatus latitudinibus formarum escrito hacia
1362 donde desarrolla la teora de la latitud de las formas. Oresme escribe:
[...] Todo lo que vara, lo podemos imaginar como una cantidad continua
representada por un segmento rectilneo [...]
A B
aequalitas uniformes
44
Ahora bien, como ha sealado el gran
matemtico griego Pitgoras [la suma de 7
nmeros triangulares consecutivos es un
nmero cuadrado]: se tiene: 5
velocidad
1=1=1 vez 1 [=22] 3
1+3=4=2 veces 2 [=22] 1
1+3+5=9=3 veces 3 [=32]
1+3+5+7=16=4 veces 4 [=42]
................................. tiempo
se obtiene siempre un nmero cuadrado. Por este medio se pueden obtener las razones
mutuas de las cantidades [reas] totales.
Vemos, pues, que la representacin grfica, como instrumento bsico de la Geometra
Analtica ha empezado a dar su fruto: Oresme ha establecido la ley fundamental del
movimiento rectilneo uniformemente acelerado. La distancia recorrida es proporcional al
cuadrado del tiempo.
Es interesante analizar en qu sentido se
halla en Oresme un incipiente desarrollo
de Geometra Analtica y Clculo
Infinitesimal. La consideracin de coorde-
nadas cartesianas, denominadas por
Oresme longitud y latitud, no es en
realidad una innovacin ya que Apolonio y
otros matemticos y gegrafos griegos
haban utilizado algn sistema de
coordenadas. La verdadera innovacin de
Oresme es la representacin grfica de
una cantidad variable mediante
coordenadas, aunque se limitara a las
funciones afines, y en este aspecto el
trabajo de Oresme se desarrolla en el
sentido positivo de la Geometra Analtica.
Pero Oresme no recorre el otro sentido de
la Geometra Analtica, es decir, no
desarrolla el principio de que toda curva
plana puede ser representada, con
respecto a un sistema de coordenadas,
como una funcin. Oresme est ms bien
interesado por las cuestiones de la
variacin de las formas es decir, por los
aspectos diferenciales, as como por la
N.Oresme en su pupitre junto a una esfera variacin del rea bajo la curva es decir,
armilar. Ilustracin de su obra en francs Les los aspectos integrales, ms que por el
gloses du trait du ciel et du monde, que es un estudio analtico de la curva. En este
comentario a la traduccin que hizo de la
obra de Aristteles De Caelo. Siglo XV. sentido podemos decir que Oresme se
Biblioteca Nacional. Pars. acerc ms al Clculo Infinitesimal que a
la Geometra Analtica.
En resumen, Nicolas de Oresme introduce al menos implcitamente cuatro ideas
matemticas innovadoras:
a) La medida de diversas variables fsicas por medio de segmentos.
b) Algn tipo de relacin funcional entre variables.
c) Una aproximacin a la introduccin de las coordenadas mediante la representacin
grfica de relaciones funcionales.
d) Una especie de integracin o sumacin continua para calcular la distancia como el rea
bajo el grfico velocidad-tiempo
45
46
El Anlisis Algebraico-Geomtrico del Arte Analtica de Vieta
Como parte de la recuperacin del legado griego clsico, en el Renacimiento se emprende
la restauracin de la antigua tradicin matemtica griega basada en el Mtodo de Anlisis,
en cuya accin la importancia de la naciente lgebra simblica, como una poderosa tcnica
algortmica, ser decisiva. Vieta y otros matemticos, impelidos por la idea de crear un arte
simblico de razonamiento como instrumento fundamental de investigacin matemtica,
llegan a recorrer gran parte del camino que media entre la incipiente lgebra sincopada de
Diofanto y el lgebra simblica de Descartes. El propio Descartes constata la situacin en la
IV Regla de sus Regulae
[...] Ha habido, finalmente, algunos hombres de gran talento que se han esforzado
en este siglo por resucitarla [la verdadera Mathesis que aparece en Pappus y
Diofanto]; pues aquel arte no parece ser otra cosa, que lo que con nombre extrao
llaman lgebra, [...].
Descartes hace un elogio de algunos hombres de gran talento, que han recuperado el
Anlisis Geomtrico de los antiguos y lo han desarrollado con los nuevos instrumentos del
lgebra. Eso es precisamente lo que, con profunda inspiracin en Diofanto y Pappus,
emprende Vieta al publicar en 1591 Introduccin al Arte Analtico (In artem analyticem
isagoge), obra que instaura una nueva tradicin matemtica mediante un autntico
programa de investigacin. Al considerar que el carcter algortmico del lgebra intensifica
las aptitudes heursticas del Anlisis, Vieta destila un autntico Anlisis Algebraico, que
Descartes y Fermat desarrollarn en la lnea de una verdadera Geometra Analtica.
A partir de Vieta la forma de trabajar ser radicalmente diferente, empezando por el
simbolismo. El lgebra que se aplica est mucho ms elaborada que la de los Cosistas
italianos, porque ha iniciado el trnsito de lo sincopado a lo simblico. Como consecuencia
de la reformulacin de Vieta, El Arte de la Cosa de los algebristas italianos se trasformar
en La Doctrina de las Ecuaciones del Arte Analtica de Vieta, donde todo lo que los
antepasados griegos haban realizado en Geometra, ahora poda codificarse en realidad
reconstruirse heursticamente en la Teora Algebraica de Ecuaciones.
Los algebristas italianos que se haban mantenido en la lnea csica de utilizar abreviaturas
3 2
en su lgebra sincopada, escribiran la ecuacin x 4x +5x4 en la forma
1Cm.4Zp.5Rm.4 para abreviar la expresin 1cubus minus 4zensus plus 5 res minus 4.
Es Vieta quien introduce un primer atisbo de simbolismo, a propsito de la distincin radical
que hizo entre parmetros y variables, designados por letras maysculas, las vocales para
las magnitudes no conocidas las incgnitas y las consonantes para las conocidas los
parmetros, pero para las potencias permaneci en la tradicin indicando quad para el
cuadrado y cub para el cubo, aeq para la igualdad y in para el producto. As la ecuacin
3 2
x +5bx 2cx=d, Vieta la expresara como: A cub + B 5 in A quad C plano 2 in A aeq D
solido, donde los parmetros B,C y D deben ser tales que cada trmino de la ecuacin sea
tridimensional, ya que para Vieta, como herencia griega, las operaciones aritmticas estn
incluidas todava en un terreno estrictamente geomtrico, que mantiene la homogeneidad,
siendo cuadrado una magnitud plana y cubo una magnitud espacial.
Como se ve, el simbolismo en Vieta no es total, falta aplicar signos para la igualdad, el
producto, las potencias, y otros, que de hecho ya existan en su poca. De haberlo hecho,
Vieta, por ejemplo, podra haber escrito todas las ecuaciones cuadrticas de la forma
BA2+CA+D=0, donde A es la incgnita y B,C,D, son los parmetros. As pues, al manejar
todava simplemente abreviaturas el lgebra de Vieta sigue siendo sincopada. Ser
Descartes quien introducir la convencin actual para la codificacin de incgnitas y
potencias (G.AT,VI,371).
El Arte Analtica de Vieta perfecciona considerablemente el lgebra sincopada de Diofanto y
de los matemticos rabes y renacentistas, e inicia el clculo literal del lgebra simblica
mediante la introduccin de los parmetros, lo que le permite obtener la solucin general de
las ecuaciones mediante frmulas que expresan las incgnitas en funcin de los
47
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 s a ra
Sea a el lado mayor y e el menor (ae=b, = ), entonces = , e= ,
e r r ra s s
raa
por tanto: b = , de donde se obtiene la ecuacin final: raa=sb. En esta forma se
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
EL ARTE ANALTICA DE VIETA
Vinculada a la Logistica
speciosa de Vieta est su
ley de la homogeneidad,
segn la cual slo pueden
compararse magnitudes de
igual dimensin y las
manipulaciones se hacen
sobre las razones de las
magnitudes:
La ley fundamental e
inmutable de las igualdades
o proporciones, llamada ley
de los homogneos es la
siguiente: los homogneos
deben compararse con
homogneos
Estas magnitudes son: el
lado, el cuadrado, el cubo,
etc., y sus gneros son: la
longitud, el plano, el slido,
el plano-plano, el plano-
slido, el slido-slido, etc.
As pues, para Vieta una
letra representa una
longitud, por tanto el
Fragmento del opsculo de Vieta aequationum recognitione et producto de dos letras es
emendatione tractatus duo, publicado por A.Anderson (Pars, 1615), una superficie, y el de tres
donde se reconoce muy claramente la notacin utilizada por Vieta. un volumen. Cuando una
letra designa una constante,
precisa su naturaleza de
superficie o volumen,
hacindola seguir de las
palabras plano o slido.
Con su clculo literal, Vieta
abre una nueva va en la
Matemtica y en particular
aporta uno de los
ingredientes ineludibles de
la Geometra Analtica, pero
al mismo tiempo con la ley
de la homogeneidad
permanece fiel al espritu
del pasado geomtrico de
los griegos, gobernado por
la Teora de las
Proporciones, que haba
liberado a los antiguos del
trauma de la inconmensura
bilidad. Afortunadamente
Descartes se encargar de
eliminar esta reminiscencia
clsica en el tercer epgrafe
del Libro I de La Geometra,
titulado Cmo pueden
emplearse letras en
geometra (G.AT,VI,371).
Fragmento de la pgina 5 de In Artem Analyticem Isagoge de Vieta
(Tours, 1591), que contiene el final de captulo tercero sobre la ley
de los homogneos, con la terminologa de las magnitudes.
50
En la aplicacin que hace Vieta del lgebra a la Geometra no se encuentra el uso de
coordenadas, con motivo de que no incluye el estudio de lugares. Como consecuencia, en
Vieta no aparece la representacin grfica de ecuaciones en un sistema de coordenadas.
De hecho Vieta evit el estudio geomtrico de las ecuaciones indeterminadas. Para Vieta,
las vocales, en puridad, no son todava variables en el sentido de smbolos que representen
cualquier cantidad de un conjunto de valores. Y es que la notacin de vocales y
consonantes es aplicada por Vieta slo a ecuaciones determinadas en una sola incgnita,
de modo que las vocales no pasan de ser meras constantes que actan como cantidades
desconocidas incgnitas. Slo cuando las notaciones convencionales son aplicadas, ms
tarde, por Fermat y Descartes, a la representacin grfica de ecuaciones indeterminadas,
puede decirse que las vocales que conservar Fermat o las equivalentes x,y,z,
cartesianas, sern autnticas variables. En ese momento, la transicin iniciada por Vieta con
sus ideas algebraicas plasmadas en su notacin literal, desembocar en las Geometras
Analticas de Fermat y Descartes. Si Vieta, con su formidable aparato algebraico, hubiera
aplicado coordenadas se habra adelantado a la Geometra de Descartes en medio siglo.
As que el trabajo de Vieta representa un resurgimiento de la Geometra clsica griega bajo
el amparo de la nueva lgebra simblica, ms que Geometra Analtica propiamente dicha.
La obra de Vieta tuvo una contribucin decisiva en la generacin de las Geometras
Analticas de Fermat y Descartes, pero ella misma es un claro ejemplo de que la Geometra
Analtica es algo ms que una mera combinacin de lgebra y Geometra, es decir, necesita
como elementos imprescindibles para poder circular del lgebra a la Geometra y de la
Geometra al lgebra no slo el lgebra simblica sino tambin el uso de las coordenadas.
Menecmo, Apolonio y Pappus utilizaron el equivalente de un sistema de coordenadas pero
carecieron del lgebra simblica, mientras que, inversamente, Vieta pudo disponer del
instrumento algortmico del lgebra simblica pero no lleg a utilizar coordenadas. El
descubrimiento de la Geometra Analtica por parte de Fermat y Descartes tendr lugar al
aunar ambos aspectos en el estudio de las curvas: la introduccin de coordenadas y la
mecnica operatoria del lgebra simblica en la aplicacin a los lugares definidos por una
ecuacin en dos incgnitas. Por eso Fermat y Descartes son tributarios tanto de Apolonio y
Pappus como de Vieta.
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).
51
El lgebra de Vieta libera de la necesidad de tratar casos particulares y ejemplos concretos
obteniendo formulaciones generales. El simbolismo literal propicia el tratar los datos de un
problema como parmetros, y de ah su generalidad, al obtener como resultado de las
ecuaciones no un resultado numrico concreto, sino una solucin simblica que atrae la
atencin sobre la estructura de la solucin a tenor de la estructura de la ecuacin. Es decir,
mientras en las situaciones anteriores se ensayaba cada caso concreto de problema,
esclavizndose a su estructura geomtrica particular, el lgebra permite obtener solucin
generales en funcin de los parmetros. Como consecuencia del nuevo enfoque de Vieta, la
atencin se centr en las propias operaciones que conducan a la solucin de los
problemas, es decir, en los procedimientos de resolucin ms que en la propia solucin. La
distincin clara entre parmetros y variables propicia un cambio de actitud ante los
problemas, desde la resolucin directa del problema a la investigacin terica de la
estructura de la solucin, lo que introduce en la Matemtica un mecanismo dotado de unas
posibilidades de generalizacin que no posean los mtodos clsicos, de modo que se
polariza la atencin hacia las cuestiones de los mtodos de resolucin, de clasificacin de
los problemas a tenor de la naturaleza de la ecuacin subyacente o de las operaciones
involucradas en su resolucin y de la relacin entre ellos. Todo ello facilitar la
reorientacin metodolgica del siglo XVII, que intentar el trnsito del estudio de problemas
particulares a la investigacin de potentes mtodos generales, elemento esencial del
enfoque algortmico que caracteriza la Geometra Analtica y el Clculo Infinitesimal que
aparecern inmediatamente.
52
Aunque la contribucin de Vieta en la construccin de elementos relevantes de la Geometra
Analtica es la ms importante desde los tiempos clsicos, no es la nica. Benedetti en su obra
Diversarum speculationum de 1585 y Cataldi en su obra Algebra discorsiva numerale et bineare
de 1618 realizaron una pequea aportacin en la traslacin de la tradicin eucldea de
ecuaciones retrico-geomtricas a ecuaciones simblico-algebraicas. Ms importante es el
trabajo de Ghetaldi, discpulo de Vieta, en uno de los libros de su obra Apollonius redivivus
dedicado a la restauracin de obras perdidas del Gran Gemetra, donde reduce algunos
problemas geomtricos determinados al lgebra mediante ciertos artificios sistemticos, da
pruebas geomtricas de numerosas identidades algebraicas y, como Vieta, construye
geomtricamente las races de ecuaciones algebraicas determinadas. Incluso en su obra
pstuma De resolutione et compositione mathematica, Ghetaldi da un paso trascendente hacia la
Geometra Analtica al considerar algebraicamente varios problemas geomtricos
indeterminados. La invencin de la Geometra Analtica tiene lugar poco despus cuando Fermat
y Descartes alcanzan a comprender el gran valor que las ecuaciones indeterminadas tienen en el
estudio de lugares y curvas, como las cnicas, estableciendo un efectivo puente entre la
Geometra y el lgebra, mediante el que, en un exiguo periodo de tan slo doce aos, y de forma
independiente, descubren ms curvas que en toda la Historia de la Matemtica anterior.
En realidad el camino hacia los mtodos de la Geometra Analtica parece haber sido ms
abonado por los desarrollos del lgebra que los de la propia Geometra. Entre 1629 y 1631, ya
en los umbrales de la Geometra Analtica de Fermat y Descartes, aparecen tres importantes
trabajos: la Invention nouvelle en lalgbre de Girard, el Artis Analyticae Praxis ad Aequationes
Algebraicas Resolvendas de Harriot y el Clavis mathematicae de Oughtred. Son textos en los
que se acenta una abreviacin en el simbolismo del lgebra ya muy prximo a la claridad y
simplicidad de La Geometra de Descartes, y que por comparacin permiten advertir que a pesar
del gran avance de Vieta con sus vocales y consonantes, haba todava una precariedad en su
notacin de operaciones y relaciones.
Girard avanza hacia la notacin de ndices para las potencias, ensayada ya por Chuquet,
Bombelli, Stifel y Stevin; adems hace desaparecer la forma geomtrica de Vieta que mantena
la homogeneidad y maneja libremente cantidades negativas en las ecuaciones y segmentos con
signo, en lo cual realmente Girard avanza incluso ms all que Fermat y Descartes, que en sus
Geometras Analticas mantuvieron cierta ambigedad y confusin al respecto.
Harriot hizo importantes avances en ecuaciones cbicas y en cuanto a notacin sustituye las
maysculas de Vieta por minsculas, adopta el signo de la igualdad (=) de Recorde y reemplaza
la expresin de Vieta de las potencias A cub por AAA y Aquad por AA, de modo que su clculo
literal ya se aproxima mucho a la notacin cartesiana de La Geometra.
55
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.
P
Q
R
O
A
P Q R
He aqu el tema central del trabajo de Fermat: tomando coordenadas, justificar el resultado,
a base de la consideracin de casos de ecuaciones de grados progresivos.
Fermat empieza con la ecuacin de primer grado que segn la terminologa de Vieta
expresa en la forma D in A aequetur B in E (dx=by en lenguaje cartesiano):
I
Sea NZM una recta dada de posicin, en la que se
da el punto N. Igualemos NZ a la cantidad
desconocida a, y la recta ZI (trazada bajo el ngulo
dado NZI) a la otra cantidad desconocida e. Sea
da=be. El punto I estar sobre una recta dada de
posicin.
e b a a
En efecto, se tendr = . Por tanto la razn es
d e e
dada, as como el ngulo en Z. Por consiguiente el
tringulo NIZ es dado de especie, as como el
N a M ngulo INZ. Pero el punto N es dado, as como la
posicin de la recta NZ. Por tanto NI est
Z determinado. La sntesis es fcil (TH.OF.III.8687).
As pues, el lugar geomtrico en este caso resulta ser una recta, en realidad una semirrecta.
57
FERMAT EN LA HISTORIA DE LA CULTURA MATEMTICA
Retrato de Fermat como consejero del
parlamento de Toulouse (atribuido a Antoine
Durand). Acadmie des Sciences et Belles
Lettres de Toulouse.
59
FERMAT, EL PRNCIPE DE LOS AFICIONADOS A LAS MATEMTICAS
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).
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
Trcese NR paralela a ZI; tmese sobre NZ un punto
cualquiera, sea M, por el cual se traza MO paralela a ZI.
I Constryase el rectngulo NMO igual al rea c2. Por el
0 punto O, entre las asntotas NR, NM, descrbase una
hiprbola: ella queda determinada y pasar por el punto
e I, puesto que se supone ae, es decir, el rectngulo NZI,
a equivalente al rectngulo NMO.
N
Z M
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):
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
que caracterizara la esencia de la Geometra Analtica de Descartes.
Prosigue Fermat demostrando que b2x2=ky2 es una elipse (TH.OF.III.92) y que b2+x2=ky2 es
una hiprbola de la que da las dos ramas (TH.OF.III.9293).
Finalmente Fermat considera lo que califica como el caso ms difcil de todas las
ecuaciones, aquel que involucra trminos en x2, y2, xy y otros trminos. Mediante
transformaciones equivalentes a la rotacin de ejes convierte por ejemplo b22x2=2xy+y2 a
la forma de la elipse previa y como colofn escribe que toda ecuacin en trminos de x2, y2,
xy se reconducir a los casos precedentes por medio de un tringulo conocido de
especie. Aqu Fermat apunta a transformaciones de tipo trigonomtrico.
A continuacin Fermat pondera el valor de su sucinta exposicin (TH.OF.III.95):
Hemos abarcado en una exposicin breve y lcida todo lo que los antiguos han
dejado sin explicar sobre los lugares planos y slidos, de donde se reconocer
inmediatamente qu lugares dan todos los diversos casos de la ltima proposicin del
Libro I de Apolonio Sobre los Lugares Planos, y se descubrir en general todo lo que
concierne a esta materia.
Y como coronacin de este Tratado Fermat aade una muy bella proposicin cuya
evidencia es manifiesta ya que de acuerdo con las reglas del arte slo aparecen en cada
instancia ecuaciones de segundo grado, que ya han sido sometidas por Fermat a un
exhaustivo anlisis:
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 los cuadrados de las rectas
as trazadas es igual a un valor dado, el punto desde el que se las traza estar sobre
un lugar slido.
63
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, [...].
Sello emitido en 2001 con motivo del cuarto centenario del nacimiento de Fermat.
64
LA GEOMETRA ANALTICA DE LA ISAGOGE DE FERMAT
La Geometra Analtica de Fermat
tiene su origen en su profundo
conocimiento de la Geometra de
Apolonio y Pappus y del Arte
Analtica de Vieta.
Fermat se dio cuenta de que las
relaciones de reas, expresadas
segn el lgebra Geomtrica de los
griegos en forma de proporcin,
mediante las que Apolonio escriba
las propiedades intrnsecas de las
cnicas se prestaban con gran
facilidad a ser traducidas en el
lenguaje de ecuaciones del lgebra
simblica de Vieta. De esta forma el
symptoma de la curva de Las
Cnicas de Apolonio, forma retrica
de la expresin de la curva en el
lenguaje pitagrico de la Aplicacin
de las Areas, evolucionaba hacia la
ecuacin caracterstica de la curva de
la Introducccin a los Lugares Planos
y Slidos (Ad Locos Planos et
Solidos Isagoge) de Fermat.
Al vincular los trabajos matemticos
de Vieta y Apolonio, Fermat
alumbra su Geometra Analtica que
establece un efectivo puente entre la
Geometra y el lgebra, que
permite asociar curvas y ecuaciones,
a base de aplicar el Anlisis
algebraico de Vieta a los problemas
de lugares geomtricos de Apolonio
y Pappus, definidos en un sistema
de coordenadas, por una ecuacin
indeterminada en dos incgnitas. De
este modo Fermat resolver los
problemas del Anlisis Geomtrico
de los antiguos mediante la
mecnica operatoria del lgebra
simblica.
Con la Geometra Analtica de
Fermat se alcanzaba el mximo
grado de consumacin en la
aplicacin a los problemas
geomtricos del antiguo mtodo de
Anlisis de ah procede el adjetivo
Analtica que acompaa al
sustantivo Geometra, siendo el
lgebra por su carcter algortmico
el principal instrumento de la
aplicacin de ese Anlisis.
La Geometra Analtica se convierte
enseguida, en la mente de Fermat, en
una poderosa herramienta heurstica
de investigacin, mediante la cual l
mismo resolver de forma
prodigiosa y brillante, numerosos
problemas, antiguos y nuevos, en
particular numerosas cuestiones de
lugares geomtricos, mximos y
mnimos, tangentes, cuadraturas y
cubaturas, centros de gravedad y
problemas de rectificacin de
curvas.
Dibujo a plumilla de la tradicional efigie de Fermat.
65
FERMAT EN LA HISTORIA DE LAS MATEMTICAS
Puede decirse con certeza que la figura matemtica de Fermat est en el origen de casi todos las disciplinas
matemticas que aparecen a lo largo del siglo XVII: el Clculo Infinitesimal en sus dos vertientes,
diferencial e integral, la Geometra Analtica, El Clculo de Probabilidades y la Teora de Nmeros.
Toda persona de cultura media ha estudiado que Newton y Leibniz inventaron el Clculo Infinitesimal,
Descartes la Geometra Analtica y Pascal el Clculo de Probabilidades. Fermat es el ascendiente directo de
todos estos descubrimientos. A qu se debe entonces que Fermat no ocupe en la historia de estas disciplinas
cientficas el lugar que le corresponde? La respuesta a esta pregunta es mltiple y puede ir desde el mas serio
rigor histrico hasta la irona. Fermat ha precedido en la raz a Descartes, Pascal, Leibniz, Newton, etc. pero
estos matemticos llegaron mas lejos que l. Fermat dio el impulso inicial que es imprescindible para que
toda doctrina cientfica empiece a prosperar, pero no forj ninguna teora en un cuerpo de doctrina coherente
y acabado, plasmado en una obra cerrada y definitiva como por ejemplo hizo Descartes en La Geometra.
Roger Paintandre, Profesor de Matemticas del Lice PierreFermat de Toulouse ironiza en un discurso
pronunciado el 22 de junio de 1957 con motivo de la inauguracin de una exposicin sobre Fermat acerca del
olvido en que ha cado la figura de Fermat :
[...] Fermat no ha conocido por parte del gran pblico el renombre de un Pascal, un Galileo o un Newton.
[...] . Claro est que l no tuvo la precocidad de redescubrir a Euclides a los quince aos, [...] . No tuvo la
fortuna de ser perseguido por la Inquisicin, apenas particip en la Fronda ni comulg en exceso con el
jansenismo. Y nunca so con recibir una manzana sobre la cabeza mientras contemplaba la luna. Falta
imperdonable!. Pero mas all de estas ancdotas mas o menos vanas, Fermat fue uno de los grandes
genios de Francia y uno de los matemticos mas extraordinarios de todos los tiempos.
Ironas aparte, hay otras razones para comprender la oscuridad en la cay Fermat. Tras la lectura de los
trabajos de Fermat en particular su correspondencia, se puede afirmar que Fermat haca Matemticas, para
saciar una irrefrenable aficin y para satisfacer a sus amigos, por eso Fermat no redact casi nada de sus
descubrimientos y rehus su publicacin, de modo que lo esencial de su obra fue desarrollada en su asidua
correspondencia con los cientficos coetneos y en los mrgenes de sus libros. Es en sus brillantes epstolas,
dando muestra de una inteligencia poderosamente sinttica, donde inventa, explica, demuestra y se bate con
una contundencia argumental impecable en la defensa de sus ideas matemticas. Aqu reside el poderoso
atractivo que tiene la figura de Fermat para el estudioso de la Historia de las Matemticas.
A pesar de su grandeza como matemtico quiz comparable a Arqumedes, Descartes, Newton, Euler o Gauss,
Fermat es apenas conocido en los crculos de Filosofa e Historia de la Ciencia, quiz porque fue lo que se
llama un matemtico puro, quiz porque tras su desaparicin, las disciplinas matemticas que cre o que
contribuy decisivamente a desarrollar, dieron un paso de gigante oscureciendo la accin del pionero, quiz
por las vicisitudes que sufrieron la publicacin de sus obras. Cualquiera que sea la razn, Fermat es
injustamente poco conocido. Por ejemplo, apenas es citado por Brunschvicg (editor de las obras de Pascal) en
Les tapes de la Philosophie Mathmatique, o por A.Koir en Estudios de Histora del pensamiento cientfico,
que desarrolla captulos dedicados a Tartaglia, Cavalieri, Pascal, etc. Todava sorprende ms que no sea
mencionado por sus compatriotas Voltaire en su Diccionario filosfico y DAlembert en el Discours
Prliminaire de l'Encyclopdie donde se cita hasta trece veces a Descartes, una a Pascal y doce a Newton.
Sin embargo en el mbito del pblico matemtico, la figura de Fermat es casi mtica por sus geniales
contribuciones a la Teora de Nmeros su nombre va asociado a uno de los mas famosos problemas recin
resuelto de la Matemtica, pero en general se desconocen sus decisivas incursiones y sus magnficas
aportaciones en prcticamente todos los dems campos de la Matemtica, particularmente en el terreno del
Clculo Infinitesimal. No obstante, en los libros de Historia general del Clculo Infinitesimal o de Historia
general de las Matemticas, se elogia enfticamente a Fermat como el verdadero descubridor del Clculo
Diferencial y autntico adelantado de los conceptos fundamentales del Clculo Integral.
Si importantes son los descubrimiento matemticos de Fermat, no es inferior su relevancia histrica desde el
plano metodolgico. Fermat parte de un minucioso conocimiento de los clsicos griegos y arranca con
profundas races en el pasado clsico para crear un estilo matemtico que conduce el programa analtico de
Vieta hasta las ltimas consecuencias. Con ello, Fermat (y Descartes aunque con estilo y mtodo diferentes)
realiza la transformacin del modelo griego estrictamente geomtrico e instaura un modelo algebraico
completamente nuevo, destilando un Anlisis Algebraico que se convierte en un lenguaje y un instrumento
de trabajo e investigacin comn a todos los matemticos, que sustituye las complejas y particulares
construcciones geomtricas eucldeas por la resolucin general de los problemas mediante ecuaciones
algebraicas y la demostracin sinttica que oculta la va del descubrimiento por la derivacin analtica.
Fermat es uno de los principales artfices de la inflexin radical que presenta la Matemtica del siglo XVII
respecto a la clsica griega, donde el afn demostrativo eucldeo da paso a la heurstica de la creatividad y el
descubrimiento. Lo que importa a Fermat es la obtencin de mtodos que permitan resolver de forma directa
y operativa los problemas y escribirlos formalmente siguiendo la lnea de la propia investigacin geomtrica,
es decir, mtodos que al describir el proceso inventivo enseen a descubrir y rompan la clsica dualidad
helnica invencindemostracin ars inveniendi versus ars disserendi que tiene lugar en dos estadios
de tiempo y espacio diferentes. Fermta pondera la heurstica y se busca afanosamente la fusin, en un solo
acto matemtico, del descubrimiento y de la demostracin. En todo este panorama juega un papel
programtico esencial la intervencin del lgebra como instrumento inherente a la Geometra Analtica que
convierte a sta en una poderosa herramienta de investigacin y exploracin cientfica, en el ms til
instrumento para resolver con elegancia, rapidez y plenitud heurstica las cuestiones geomtricas.
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.
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.
Descartes persigue ante todo en El Discurso del Mtodo la bsqueda de un ars inveniendi, es decir,
un mtodo que sirviera para descubrir verdades y no para probar lo que ya se ha hallado, defender
tesis o exponer teoras, y aplicable en todas las ciencias y en particular en la Geometra. Como ya haba
sentado R. Bacon en el Novum Organum, la Lgica aristotlica era intil para la invencin cientfica
porque el silogismo no es aplicable a los principios de las ciencias, ya que slo sirve para imponer el
asentimiento y no para aprehender la realidad. Esta misma actitud asume Descartes con respecto a la
lgica tradicional tanto en El Discurso del Mtodo como en las Regulae:
La Lgica, sus silogismos y la mayor parte de sus otras reglas sirven ms bien para explicar a otro lo
que uno sabe ms que para aprenderlo (DM.AT,VI,17).
El silogismo es completamente intil para los que desean investigar la verdad de las cosas y slo puede
aprovechar, a veces, para exponer con mayor facilidad a los otros las razones ya conocidas
(RX.AT.X.406).
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
LAS PRINCIPALES REFERENCIAS SOBRE LA OBRA DE DESCARTES
Oeuvres de Descartes. Publies par C.Adam et Vie et Oeuvres de Descartes. tude historique
P.Tannery. 12 volmenes. Librairie par C.Adam. Pars, 1910.
philosophique J.Vrin. Pars. 1964-74.
Es una obra muy completa sobre la vida,
El Volumen VI contiene El Discours de la viajes, polmicas y escritos de Descartes:
Mthode, La Gomtrie y los otros Ensayos. El Metaphysique, Le Monde, Dioptrique,
Volumen X contiene las Regulae ad directionem Gomtrie, Discours de la Mthode,
ingenii entre otros tratados. Polmiques, Mditations, Principes de la
Philosophie, Passions de lme, ...
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
ALGUNAS EDICIONES DE LA GEOMETRA DE DESCARTES
74
Los tres Libros de La Geometra de Descartes
La Geometra se compone de tres libros bien diferenciados y a la vez muy entrelazados;
tiene en la edicin original 120 pginas, con 48 figuras de las que son diferentes 30.
El Libro Primero de La Geometra trata De los Problemas que pueden construirse sin
emplear ms que crculos y lneas rectas.
En este libro Descartes fija con base siempre en El Discurso del Mtodo la metodologa
cartesiana que aplicar a la traduccin algebraica de los problemas geomtricos clsicos, de
modo que el libro contiene el ncleo de toda la formulacin cartesiana de La Geometra.
Empieza el libro con una autntica declaracin de principios en la que Descartes anuncia las
coordenadas (G.AT,VI, 369):
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.
As pues, como las lneas rectas son lo
que se nos presenta de la forma ms clara
y distinta en el campo de la Geometra,
para resolver problemas geomtricos,
partiremos de ciertas lneas rectas en
realidad de algunos segmentos
rectilneos; pero como un problema
geomtrico slo est completamente
resuelto es decir, geomtricamente
resuelto cuando se ha construido la
solucin, es preciso dar sta en trminos
de segmentos que se deben construir.
El primer punto consistir en advertir que
las operaciones aritmticas elementales
entre segmentos producen siempre un
nuevo segmento, por eso en los primeros
captulos Descartes expone los
procedimientos ya conocidos para
construir de forma geomtrica las
operaciones de la Aritmtica: omite las
construcciones de la suma y diferencia de
segmentos y construye la multiplicacin, la
divisin y la extraccin de races
cuadradas, a base de introducir el
concepto de segmento unidad. As pues,
Descartes pone de manifiesto que el
producto de dos o de tres segmentos es
otro segmento, as como que el cociente
Primera pgina de la edicin de 1637 de La de dos segmentos tambin es otro
Geometra de Descartes. segmento.
Esta interpretacin geomtrico-algebraica de las operaciones aritmticas marca un hito en la
Historia de la Matemtica porque, por una parte soslaya la limitacin pitagrica que la
inconmensurabilidad haba impuesto a la Geometra griega la imposibilidad de asignar
nmeros a las figuras geomtricas ante el fantasma de lo inconmensurable, y por otra,
permite romper con el problema de la homogeneidad dimensional, que haba sido, sin duda
hasta entonces, otra de las grandes limitaciones de la aplicacin del lgebra a la Geometra.
Desde luego as haba sido en la Geometra griega, pero incluso en la poca de Descartes
el producto de dos segmentos era un rectngulo, y el producto de tres segmentos un
paraleleppedo, por tanto el producto de ms de tres segmentos no tena sentido y en
consecuencia no se llevaba a efecto.
75
Tras la construccin geomtrica de las operaciones, Descartes pasa a mostrar Cmo se
llega a las ecuaciones que sirven para resolver los problemas y Cmo se resuelven, lo
que aplicar a dar solucin al Problema de Pappus que trata en la forma ms general,
creando el mtodo analtico de solucin y discusin de los problemas matemticos. Este
problema haba sido resuelto por Descartes en 1632 cuando Golius se lo propuso para que
aplicara sobre l sus nuevos mtodos, convirtindose en una autntica piedra de toque que
pone a prueba el nuevo mtodo cartesiano.
El Libro Segundo de La Geometra titulado De la naturaleza de las lneas curvas consta
de cuatro partes bien diferenciadas:
a) La naturaleza geomtrica de las lneas curvas, vinculada sobre todo a dos cuestiones
ntimamente ligadas: los compases cartesianos y la teora de la proporcin continua.
Mientras en el Libro I, sin olvidar los lugares geomtricos, Descartes centra ms la
atencin sobre puntos individualizados, en el Libro II se proyecta sobre el objeto
geomtrico Curva. Descartes mantiene la divisin clsica griega de los problemas
geomtricos en planos, slidos y lineales (que se resuelven con ecuaciones de segundo,
tercer y cuarto o mayor grado, respectivamente) y demuestra que los problemas planos
se construyen con rectas y circunferencias, los slidos con secciones cnicas y el resto
con lneas ms complejas, llamadas por los antiguos curvas mecnicas, aunque ms
correcto sera llamarlas curvas geomtricas. Descartes tiene el propsito de poner un
poco de orden en el estudio de las curvas de la Geometra de los griegos, que segn l
era un caos completo, secuela de la limitacin platnica de la regla y el comps, al no
ser capaces de distinguir las diversas clases de curvas por no poder dilucidar la
naturaleza de las mismas. Esto es precisamente lo que se propone Descartes, a base de
establecer qu curvas son las que se pueden admitir en Geometra.
b) El Problema general de Pappus, ahora tratado con las herramientas precisas para poder
clasificar las diversas soluciones de los diferentes planteamientos del mismo. Con el
mtodo cartesiano el clsico Problema de Pappus queda completamente resuelto.
c) La construccin y propiedades de tangentes y normales a una curva geomtrica. Una
vez concebida y definida, de forma clara y distinta, la naturaleza geomtrica de las lneas
curvas, Descartes introduce uno de los principios bsicos de su mtodo: 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 establece cmo se puede utilizar la
expresin algebraica la ecuacin de las curvas para determinar los elementos
geomtricos ms notables de las curvas (dimetros, ejes, centros, etc.) y, en particular,
las normales, lneas cuya consideracin y utilidad deriva de los problemas de la reflexin
de la luz sobre las superficies curvas, y que literalmente es considerado por Descartes
como el ms importante problema geomtrico que pueda ser concebido.
d) Finalmente Descartes estudia los valos como curvas especiales que responden a
consideraciones fijadas de las tangentes o normales. Descartes introduce cuatro amplias
familias de curvas nuevas, de las que las cnicas son casos particulares.
El Libro Tercero de La Geometra trata De la construccin de los problemas que son
slidos o ms que slidos mediante el estudio de la resolucin de ecuaciones, discusin de
sus races, y relaciones entre los coeficientes. Descartes pretende ofrecer un mtodo de
resolucin de cualquier ecuacin algebraica. Muestra que una ecuacin puede tener tantas
races como dimensiones tiene el grado (existe la posibilidad de imaginar tantas races
como el grado del polinomio), da luego su famosa regla de los signos y adelanta el
Teorema de Ruffini del factor. Tras fundamentar las operaciones y propiedades algebraicas
necesarias, Descartes introduce el simple criterio de divisibilidad sobre el trmino
independiente de la ecuacin polinmica (como condicin necesaria aunque no suficiente)
para obtencin de races enteras y a partir de aqu ir reduciendo el grado de la ecuacin
mediante el algoritmo de la divisin. Para las ecuaciones cbicas Descartes hace intervenir
los clsicos problemas de la duplicacin del cubo y la triseccin del ngulo. De hecho, todo
problema cbico es equivalente a uno de estos dos problemas geomtricos (G.AT,VI, 471-
475). He aqu un nuevo y magnfico xito del mtodo cartesiano aplicado a la Geometra: las
ecuaciones del lgebra son el reflejo lingstico de los problemas de la Geometra.
76
La construccin geomtrico-algebraica de las operaciones aritmticas
Veamos cmo dados un segmento unidad y dos segmentos a y b, Descartes construye,
mediante circunferencias y rectas, el producto ab, el cociente a/b y la raz cuadrada a ,
que resultan ser segmentos, porque se obtienen como una cuarta proporcional o como una
media proporcional, de modo que establece que las operaciones aritmticas elementales de
segmentos dan segmentos que se construyen mediante la regla y el comps.
La multiplicacin.
E
Sea, por ejemplo, AB la unidad, y que deba
C multiplicarse BD por BC; no tengo ms que unir los
puntos A y C, luego trazar DE paralela a CA, y BE
B es el producto de esta multiplicacin.
D A
La divisin
O bien, si deben dividirse BE por BD, habiendo unido los puntos E y D, se traza AC
paralela a DE y BC es el resultado de esa divisin.
77
La extraccin de la raz cuadrada
I
O, si hay que extraer la raz cuadrada de GH, se le
agrega en lnea recta FG, que es la unidad y
dividiendo FH en dos partes iguales por el punto K,
con ese punto como centro se traza el crculo FIH;
luego elevando desde el punto G una lnea recta, con
ngulos rectos sobre FH, hasta I, es GI la raz
buscada. No digo nada aqu de la raz cbica, ni de
F G K H las otras, pues de ellas tratar con ms detalle ms
adelante.
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 geomtrico-
sinttica 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
La notacin matemtica cartesiana
Al comienzo de su trabajo matemtico Descartes hace uso de la notacin csica. Pero ya en
Las Reglas para la direccin del espritu hay, quiz como secuela de la lectura de Vieta, una
primera evolucin hacia el simbolismo. En el ttulo de la Regla XVI Descartes pondera el
significado y la importancia que tiene una notacin sencilla (RXVI.AT.X.454):
En cuanto a las cosas que no requieren la atencin presente de la mente, incluso si
son necesarias para la conclusin, es mejor designarlas por medio de signos muy
breves que por figuras completas: pues as la memoria no podr fallar, mientras que
adems el pensamiento no se distraer en retenerlas, cuando se dedique a deducir
otras.
extraer la raz cuadrada de a2+b2; y C.a3 b3 + abb para extraer la raz cbica a3
b3+abb y as otras.
79
Es de sealar que para a2 o b3 u otras expresiones semejantes, yo no concibo
ordinariamente ms que lneas simples, aunque para servirme de los nombres usados
en lgebra, los designe por cuadrados, cubos, etc.
Por ltimo, a fin de no dejar de recordar los nombres de estas lneas, conviene
siempre hacer una anotacin separada, a medida que se las coloca o se las cambia,
escribiendo, por ejemplo,
AB 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 3
a3 b3 + abb
mediante C.a3 b3 + abb y la igualdad por medio del smbolo que pudiera provenir de
las dos primeras letras de la palabra latina aequare.
El penltimo prrafo tiene una gran trascendencia. Con anterioridad a Descartes,
geomtricamente slo tenan sentido las potencias cuadrtica a2 y cbica a3, que
representaban respectivamente un cuadrado de lado a y un cubo de arista a. El propio Vieta,
con su ley de los homogneos, haba permanece fiel al espritu del pasado geomtrico de
los griegos, gobernado por la Teora de las Proporciones, que haba liberado a los antiguos
del trauma de la inconmensurabilidad. Afortunadamente Descartes elimin esta
reminiscencia clsica en la Regla XVI de las Regulae (RXVI.AT.X.457), y como en muchas
otras cuestiones lo que Descartes aventura en las Reguale lo consolida en El Discurso del
Mtodo o en La Geometra, como es el caso. En la notacin cartesiana introducida en este
tercer epgrafe del Libro I de La Geometra hay una clave geomtrica que estriba en que un
segmento de recta es considerado tanto como magnitud geomtrica continua como una
medida numrica, pero la potencia de una lnea recta sigue siendo una lnea recta, as que
cuadrado y cubo no indicarn magnitudes planas o espaciales, sino la segunda o tercera
potencia de un nmero, de modo que las operaciones aritmticas quedan incluidas en un
terreno estrictamente algebraico. En este punto, Descartes rompe con la tradicin griega al
abandonar el principio de homogeneidad. La Geometra da carta de naturaleza a las
potencias superiores a4, a5, a6,..., todas ellas son legtimas lneas. De esta forma se produce
una cierta unificacin del lgebra y la Geometra. Descartes habra alcanzado lo que se
haba propuesto en El Discurso del Mtodo, ya aludido anteriormente (DM.AT,VI, 17-20):
Haba estudiado [...] el Anlisis de los antiguos y el lgebra de los modernos, [...], 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, [...]. 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. [...] 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.
80
LA NOTACIN MATEMTICA CARTESIANA
81
LA NOTACIN MATEMTICA CARTESIANA
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.
82
Anlisis y Sntesis: planteamiento y resolucin de las ecuaciones
Con las nuevas notaciones y smbolos, Descartes realiz una importante simplificacin en el
lenguaje matemtico. Ahora dispona de una Geometra que al poderse expresar de forma
algebraica permita desarrollar procedimientos para resolver problemas geomtricos a base
de traducirlos al lenguaje algebraico de las ecuaciones, simplificar stas y finalmente
resolverlas (lo que quiere decir construir las soluciones) mediante lo cual Descartes se
propondr rehacer la Geometra.
Cmo se llega a las ecuaciones que sirven para resolver los problemas
As, si se quiere resolver algn problema, debe de antemano considerarse como ya
resuelto, y dar nombre a todas las lneas que parecen necesarias para construirlo,
tanto a las que son desconocidas como a las otras. Luego, sin considerar ninguna
diferencia entre estas lneas conocidas y desconocidas, se debe examinar la dificultad
segn el orden que se presente como ms natural de todos, en la forma como
aquellas lneas dependen mutuamente las unas de las otras, hasta que se haya
encontrado la manera de expresar una misma cantidad de dos maneras: lo que se
denomina una ecuacin, pues [el resultado de] los trminos de una de esas dos
formas son iguales a los de la otra (G.AT,VI,372).
He aqu una aplicacin directa de los procedimientos del Anlisis y la Sntesis tal como los
haba descrito Pappus en El Tesoro del Anlisis del Libro VII de la Coleccin Matemtica y
tal como lo haba aplicado Vieta con la intervencin del lgebra en su Arte Analtica. Todo
conduce a determinar la ecuacin del problema geomtrico, es decir, transitar de la
Geometra al lgebra mediante la metodologa cartesiana, siguiendo unas pautas que
Descartes ya haba insinuado en las Reglas XVIIXXI de las Regulae :
a) Suponer el problema resuelto.
b) Dar nombre a todos los segmentos que parecen necesarios.
El propio Anlisis nos ayudar a determinar quines son stos, tanto los conocidos datos
como los desconocidos incgnitas sin considerar ninguna diferencia entre ellos.
Estos dos primeros pasos corresponden al Anlisis en sentido de Pappus. Ahora
examinando el problema, siguiendo un orden basado en la intuicin o en el Anlisis anterior,
estableciendo las relaciones que existen entre las diversas segmentos los conocidos y los
desconocidos hemos de conseguir expresar un mismo segmento por medio de dos
expresiones algebraicas diferentes, lo que permite realizar la Sntesis, es decir:
c) Determinar la ecuacin entre las longitudes conocidas y las desconocidas.
Finalmente para resolver de forma definitiva el problema quedan dos pasos:
d) Resolver la ecuacin resultante.
e) Construir geomtricamente la solucin.
Al plantearse problemas geomtricos en la Sntesis se han de obtener soluciones
geomtricas para cuya construccin el lgebra ser el instrumento analtico esencial.
As pues, ante un problema geomtrico se aplicar todo un protocolo de actuacin el
mtodo cartesiano: se empieza suponiendo el problema resuelto y se consideran las
relaciones entre las lneas, lo que lleva al establecimiento de las ecuaciones, es decir, el
estudio analtico se complementa con la sntesis algebraica que lleva a la construccin de la
solucin. El Anlisis y el lgebra que estn ordenados al estudio y conocimiento de la figura,
permiten traducir los datos geomtricos de forma que sean tratables por medio del clculo
algebraico; se concluye el problema de lgebra planteando y resolviendo las ecuaciones y
finalmente los resultados obtenidos deben ser traducidos de nuevo al lenguaje geomtrico,
operacin que nos da por fin la construccin de la solucin.
83
Enseguida Descartes realiza una caracterizacin algebraica de los Problemas Planos:
Descartes establece aqu una primera relacin entre los problemas de construccin y los de
clasificacin que tanta importancia tendr en el Libro II relacionando claramente un tipo
concreto de expresiones algebraicas con los instrumentos que permiten trazar determinadas
construcciones. En una primera trasferencia de la Geometra al lgebra, si un problema
geomtrico lleva a una ecuacin cuadrtica, ser resoluble con regla y comps, pero
Descartes trasciende esta obviedad, identificando totalmente una cuestin geomtrica con
una cuestin algebraica al establecer que cualquier problema geomtrico resoluble con regla
y comps conduce a una ltima ecuacin que necesariamente es cuadrtica.
Vamos a ver concretamente cmo resuelve Descartes las ecuaciones cuadrticas que
corresponden a los Problemas Planos y que son las nicas que Descartes trata en el Libro I.
1 1
x= a+ aa + bb
2 4
y as otros casos.
En fin, si tuviera z2 = ax bb
84
se hace NL igual a (1/2)a, y LM igual a b, como anteriormente;
luego, en vez de unir los puntos M y N, se traza MQR paralela a LN
y trazando un crculo con centro en N y que pase por L la cortar
en los puntos Q y R; la lnea buscada z es MQ, o bien MR, pues en
este caso ella se expresa de dos maneras, a saber:
1 1
z= a+ aa bb
2 4
1 1
z= 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.
1 1
z2=MR=MO+OR = a+ aa bb
2 4
Descartes construye las dos races porque ambas son positivas.
Si MR es tangente al crculo, es decir si b=(1/2)a, las races son iguales; mientras que si
b>(1/2)a, la lnea MR no cortar al crculo y entonces no hay races. Descartes expresa esto
en un lenguaje tributario todava de los gemetras griegos:
Y si el crculo que tiene su centro en N y pasa por el punto L no corta [no es secante]
ni toca [no es tangente] la lnea recta MQR, no hay ninguna raz de la ecuacin, de
manera que puede asegurarse que la construccin del problema propuesto es
imposible.
86
SNTESIS DEL PROGRAMA DE REFORMA CARTESIANA DE
LA GEOMETRA A TRAVS DE LOS TEXTOS DE DESCARTES
88
Sistemas de referencia. El Problema de Pappus
Hasta aqu, Descartes ha elaborado un potente mtodo analtico-sinttico de ataque de los
problemas geomtricos que utiliza el lgebra como instrumento algortmico y con el que se
propone no slo rehacer la Geometra griega sino ir mucho ms all en la resolucin de
antiguos y nuevos problemas geomtricos. Por eso se plantea al final del Libro I el abordaje
del famoso problema de Pappus de las tres o cuatro rectas, que tan firmemente se haba
resistido a los gemetras griegos, y que siendo generalizado a 2n1, 2n rectas campea a lo
largo de La Geometra de Descartes.
En el estudio de este problema nos ceiremos a aspectos que incidan sobre los orgenes de
la Geometra Analtica, en particular la aparicin de los sistemas de referencia y las
coordenadas.
Ejemplo tomado de Pappus (G.AT,VI, 377-380):
Y esto [la insuficiencia de los mtodos de la Geometra griega] puede verse bien
claramente en lo que Pappus ha puesto al principio de su Libro VII, donde despus de
haberse detenido a citar todo lo que haba sido escrito en geometra por los que lo
haban precedido, habla finalmente de un problema que, segn dice, ni Euclides ni
Apolonio haban podido resolver enteramente; he aqu sus propias palabras: [...]
89
Respuesta al problema de Pappus (G.AT,VI, 380-382)
He comprendido ante todo, que planteado el problema para tres, cuatro o cinco
lneas, se puede siempre encontrar los puntos buscados, por la geometra simple, es
decir sin servirse ms que de la regla y el comps, ni hacer otra cosa que lo ya dicho;
excepto solamente cuando, siendo cinco las lneas, ellas son todas paralelas.
................................................
Y he encontrado que cuando no hay ms que tres o cuatro lneas dadas, los puntos
buscados se encuentran todos no solamente en una de las tres cnicas sino a veces
en la circunferencia de un crculo o en una lnea recta.
................................................
De modo que pienso haber satisfecho enteramente lo que Pappus nos dice haber sido
buscado por los antiguos, tratar de dar la demostracin en pocas palabras: pues ya
me cansa tanto escribir.
Sean AB, AD, EF, GH, etc., varias lneas dadas y debe encontrarse un punto, como C,
del cual trazando otras lneas a las dadas, como CB, CD, CF y CH, de manera que los
ngulos CBA, CDA, CFE, CHG, etc. Sean dados, y que el producto de la multiplicacin
de una parte de estas lneas, sea igual al producto de la multiplicacin de las otras; o
bien que ellas tengan otra proporcin dada, lo que no hace, en modo alguno, ms
difcil el problema.
Cmo deben ponerse los trminos para llegar a la ecuacin de este ejemplo
(G.AT,VI, 382-385)
Primeramente yo supongo la cosa como ya hecha y para salir de la confusin de
todas esas lneas, considero una de las dadas y una de las que hay que encontrar, por
ejemplo AB y CB como las principales y a las cuales trato de referir todas las otras.
Sea designado x el segmento de la lnea AB comprendido entre los puntos A y B; y CB
sea designado y; y todas las dems lneas se prolonguen hasta que corten a estas dos
tambin prolongadas, si es necesario y si no le son paralelas; como se ve cortan la
lnea AB en los puntos A, E, G y la lnea BC en los puntos R, S, T.
S
R
E A B G
F C
=K 3
( a +b ) sen
2
1
2
1
2
1 ( a +b ) sen ( a +b ) sen
2
2
2
2 2
2
3
2
3 2
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
Las rectas normales a una curva. El Mtodo del crculo
Descartes desarrolla en el Libro II de La Geometra (G.AT,VI, 412-423) un mtodo para el
trazado de las tangentes a las lneas curvas el llamado mtodo del crculo, mediante la
construccin previa de la recta normal. Es sin duda uno de los ms significativos problemas
de aplicacin del mtodo cartesiano, con el que, adems, Descartes participa e interviene, a
travs de su celebre polmica con Fermat, en el mbito matemtico de la primera parte del
siglo XVII, muy ocupado en la resolucin del problema del trazado de las tangentes a las
lneas curvas.
Una vez concebida y definida en la primera parte del Libro II, de forma clara y distinta, la
naturaleza geomtrica de las lneas curvas, Descartes introduce uno de los principios
bsicos de su mtodo ponderando su importancia en la resolucin de los problemas sobre
curvas (G.AT,VI, 412-413):
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 la manera de
trazar otras lneas que las corten en todos esos puntos en ngulo recto.
Luego con slo saber la relacin que tienen todos los puntos de una lnea curva con
todos los de una lnea recta, en la forma que he explicado, es fcil tambin conocer la
relacin que ellos tienen con todos los otros puntos y lneas dadas; y, por lo tanto,
conocer los dimetros, los ejes, los centros, y otras lneas o puntos que tengan con la
lnea curva alguna relacin particular, o ms simple que otros; y, de ah imaginar
diversos modos de describirlas, y elegir los ms fciles. Y tambin, con slo esto, se
puede aun, encontrar casi todo lo que puede ser determinado respecto a la medida
del espacio que abarcan, sin que haya necesidad de que yo me extienda ms. Y, por
ltimo, en lo que respecta a todas las otras propiedades que pueden atribuirse a las
lneas curvas, ellas no dependen ms que de la magnitud de los ngulos que ellas
forman con otras lneas. Pero, cuando puedan trazarse lneas rectas que las cortan
en ngulo recto [normales], en los puntos en que se encuentran con aqullas con las
que forman los ngulos que se quieren medir, o, lo que aqu tomo como igual, en que
ellas cortan sus contingentes [tangentes], la magnitud de esos ngulos no es ms
difcil de encontrar que si ellos estuvieran comprendidos entre dos lneas rectas. Creo
por esto haber dado aqu todo lo que se requiere para los elementos de la lneas
curvas, cuando haya expuesto la manera general de trazar lneas rectas que las
corten en ngulos rectos en los puntos [de las curvas] que de ellas se elijan. 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 determina que 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, descrita por
medio de una expresin que es la ecuacin de la curva, y establece cmo se puede
utilizar esta expresin algebraica para encontrar los elementos geomtricos ms notables de
las curvas dimetros, ejes, centros, etc. y, en particular, las normales y tangentes. Con
ello, Descartes enuncia uno de los principios fundamentales de la llamada Geometra
Analtica: el conocimiento de la relacin que liga las coordenadas de los puntos los
segmentos o las lneas rectas a las que alude de una curva, es decir, la ecuacin de la
curva, es un elemento esencial para dilucidar y desentraar las propiedades y elementos de
la curva. La ecuacin de la curva realiza un trnsito de la Geometra al lgebra, que, por su
carcter operacional, permite, realizando clculos y en particular resolviendo ecuaciones,
regresar a la Geometra, para encontrar y solucionar cuestiones geomtricas, de modo que
se fija una correspondencia entre las propiedades algebraicas de la ecuacin y las
propiedades geomtricas de la curva asociada. Como consecuencia, la tarea de probar un
teorema en Geometra se traslada de forma muy eficiente a probarlo en lgebra y, adems,
sta se convierte en un poderoso instrumento de investigacin geomtrica. Pues bien, en
este lugar, Descartes aplica toda esta filosofa geomtrico-algebraica a encontrar las rectas
normales de las lneas curvas.
93
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
en lugar de x, y el cuadrado de esta suma en lugar de x2, y su
cubo en lugar de x3; y as los otros trminos si es x que yo deseo sacar; o bien, si es
y, poniendo en su lugar v + s x ; y el cuadrado o el cubo, etc. De modo que
2 2
quede siempre segn esto, una ecuacin en la cual no hay ms que una sola cantidad
indeterminada x o y.
94
EL MTODO DEL CRCULO DE LA GEOMETRA DESCARTES
96
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
qry 2qvy + qv 2 qs2
y2 +
qr
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
r 1
v =e e + r,
q 2
o bien, por haber nosotros supuesto e=y, se tiene
r 1
v=y y + r,
q 2
y tambin podra encontrarse s por el tercer trmino:
qv 2 qs2
e2 =
qr
pero, puesto que la cantidad v determina bien el punto P, que es el nico que
buscamos, no hay necesidad de proseguir.
98
APLICACIN DEL MTODO CARTESIANO DEL CRCULO
AL CLCULO DE TANGENTES A LAS CURVAS
Para mayor comprensin del mtodo del crculo de Descartes, interpretemos la tcnica
cartesiana para una funcin algebraica general, de forma deliberadamente anacrnica en
trminos del lenguaje moderno. Tendramos lo siguiente:
Sea la curva y=f(x), y P un punto cualquiera de ella de abscisa x, donde queremos trazar la
normal. Descartes supone como siempre el problema resuelto y la solucin dada por la
recta CP, siendo C=(v,o) la interseccin de la normal con el eje de abscisas.
y=f(x)
Q
r
f(x) D
C
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).
Identificando coeficientes se encuentra el valor de v, en trminos de la raz doble e.
En general mediante el mtodo de Descartes lo que se halla es la subnormal vx, que
permite hallar la pendiente de la normal: f(x)/(vx) y de sta la pendiente de la tangente
es decir, nuestra derivada : (vx)/f(x) .
La condicin de raz doble sobre (1) hoy la impondramos (utilizando las derivadas
formales de una curva algebraica), aplicando que toda raz doble de una funcin es raz de
su derivada, por tanto de (1) se deduce:
2f(x)f'(x) 2(vx) = 0,
y de aqu:
f'(x)=(vx)/f(x),
obtenindose el mismo valor que antes para la pendiente de la tangente.
99
APLICACIN DEL MTODO CARTESIANO DEL CRCULO
AL CLCULO DE TANGENTES A LAS CURVAS
Apliquemos la tcnica de Descartes, con lenguaje actual, a diversos casos sencillos.
A1.- La parbola y=x.
La ecuacin (2) ahora se escribe: x4 + (vx)2 r2 = (xe)2(x + bx + c).
Identificando coeficientes se obtiene: v=2e3 + e, sustituyendo e=x, la subnormal
vendr dada por: vx=2x3, y la pendiente de la tangente en el punto (x,x) de la curva
ser:
(vx)/f(x) = 2x3/x = 2x.
vx p p
= = .
f(x) 2px y
x 2 y2
B.- La elipse + = 1.
a 2 b2
La ecuacin (2) ahora se escribe:
x2
b2 1 2 + (v x)2 r 2 = (x e)2 c
a
xx o yyo
+ 2 = 1 , expresin habitual de la tangente a la elipse.
a2 b
100
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.
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.
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
Los Principios de la Geometra Analtica en La Geometra de Descartes
La Geometra Analtica vincula curvas y ecuaciones a travs de dos principios
fundamentales:
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.
P2. La interseccin de curvas que es un problema geomtrico se reconduce a la
resolucin de sistemas de ecuaciones que es un problema algebraico.
He aqu, pues, una correspondencia entre las propiedades geomtricas de la curva y las
propiedades algebraicas de la ecuacin asociada que anuncia la esencia de la Geometra
Analtica como puente entre el lgebra y la Geometra y poderoso instrumento de solucin
de problemas geomtricos mediante la intervencin del lgebra, una vez se ha definido un
sistema de coordenadas, mediante el que se obtiene la ecuacin de la curva como relacin
algebraica que liga las coordenadas de los puntos de la curva. El carcter algortmico y
operacional del lgebra convierte a sta en una potente herramienta no slo de resolucin
de problemas geomtricos concretos sino tambin en un magnfico til de exploracin e
investigacin geomtrica, que en esto consiste realmente la eficiencia de la Geometra
Analtica. Y ms todava, la propia expresin analtica de la ecuacin de una curva es una
incipiente aproximacin al concepto de funcin.
En cuanto al segundo principio fundamental de la Geometra Analtica, Descartes lo apunta
en el llamado Mtodo del crculo, tambin en el Libro II de La Geometra, donde resuelve
el importante problema del trazado de las normales a una curva en un punto, y que al
sintetizar e interpretar los prolijos desarrollos cartesianos, se expresara en la forma
siguiente (G.AT,VI, 417):
103
El problema geomtrico de la interseccin de curvas se traslada al problema
algebraico de resolucin de sistemas de ecuaciones.
En verdad, este problema marca una impronta en la gnesis de la Geometra Analtica por la
capacidad que el filsofo desarrolla 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 mediante sistemas de ecuaciones.
No es extrao que, con una retrica altisonante, Descartes considere que el problema del
trazado de las normales a una curva en un punto es el ms importante, no slo de cuantos
ha resuelto sino de cuantos aspirara a descubrir en Geometra. Realmente es una de las
muestras ms representativas de las races cartesianas de la Geometra Analtica, ya que
Descartes despliega una eficaz alfombra que enlaza la Geometra y el lgebra al aplicar
toda la potencia algortmica del lgebra para resolver problemas geomtricos, que en ello
consiste la virtualidad de la Geometra Analtica.
104
LA GEOMETRA DE DESCARTES Y LA GEOMETRA ANALTICA
105
106
Estudio comparado de La Geometra de Descartes y la Isagoge de Fermat
La Geometra Analtica fue un descubrimiento independiente de dos ilustres personajes,
ninguno de los cuales era matemtico profesional. Fermat era un jurista con un inusitado
inters y conocimiento sobre las obras matemticas de Grecia clsica. Descartes era militar
aficionado y filsofo que encontr en la Matemtica la base racional de su pensamiento.
Ambos iniciaron sus estudios y descubrimientos matemticos all donde Vieta haba llegado,
pero ambos continuaron la labor de Vieta por caminos diferentes.
Bajo la inspiracin de Vieta, la gran visin que tuvieron Descartes y Fermat fue la de
apreciar que la aplicacin del lgebra como instrumento algortmico por excelencia
incrementara an ms la capacidad heurstica del Anlisis.
La exposicin de Fermat en la Isagoge es muy concisa, y como en casi todas sus memorias,
Fermat hace gala de una gran capacidad de sntesis. En general es ms didctica,
sistemtica y rigurosa que la de Descartes en La Geometra y su enfoque est ms prximo
al actual, salvo en lo que se refiere a la notacin y a la homogeneidad. La presentacin de
Descartes en La Geometra es muy extensa, ms general que la de Fermat, menos clara en
algunos pasajes y aborda cuestiones y problemas ms difciles.
Fermat se mantuvo fiel a la notacin de Vieta en cuanto nombrar incgnitas y parmetros y
aplic la doctrina de ste a nuevos problemas de lugares geomtricos. Descartes estuvo
ms prximo a los objetivos y propsitos de Vieta la construccin geomtrica de las races
de las ecuaciones algebraicas. Al asignar a cada segmento una longitud, despus de fijar
una unidad, Descartes facilita la asociacin implcita del sistema de nmeros reales con los
puntos de una lnea recta, proporciona con esta base un substrato geomtrico a las
operaciones aritmticas y muestra cmo se pueden construir con instrumentos euclidianos
pero con el concurso del lgebra las soluciones de las ecuaciones algebraicas. Con ello
soslaya la necesidad que haba en el lgebra Geomtrica griega de conservar la
homogeneidad y elimina la barrera dimensional.
Adems, Descartes aplica a los problemas y a las ecuaciones un nuevo y potente
simbolismo simplificador, explicativo y resolutivo, que va mucho ms all de la abreviatura
csica iniciada por Diofanto y desarrollada por los algebristas italianos e incluso allende la
escritura simblica de Vieta. La notacin matemtica no es una simple convencin como
deca Fermat (TH.OF.III.111). Los smbolos y trminos de la matemtica son el soporte de
sus conceptos y mtodos, por tanto tiene una gran importancia, y a pesar de la arbitrariedad
en la eleccin de los signos, conviene adoptar un criterio unificador, que al ser adoptado
universalmente, facilita la interpretacin y la comprensin, ahorra tiempo y espacio, entraa
economa de pensamiento y permite una mayor y ms rpida difusin. Esto es precisamente
lo que consigui Descartes con los convenios notacionales fijados en La Geometra, que
han tenido la virtualidad de convertirse en algo poderosamente definitivo, de modo que La
Geometra, es el primer texto matemtico en el que un lector actual no encontrara
dificultades con la notacin. As pues, Fermat y Descartes mantuvieron un contraste sobre el
tipo de notacin, ya que Fermat no lleg a valorar la facilidad mecnica del abandono de la
homogeneidad y la simplificacin del simbolismo. Curiosamente muchos matemticos
posteriores mantuvieron la homogeneidad formal de Fermat pero se adscribieron a las
notaciones de Descartes.
Como escribe E.Colerus, en un lenguaje casi mstico, en su Breve Historia de la Matemtica
(Vol. II, Doncel, Madrid, 1973, p.17,):
La Matemtica no es sino una obra mgica del pensamiento, y los espritus
aparecen cuando se les invoca con las frmulas adecuadas.
Los dos caminos que emprenden Fermat y Descartes al partir del rastro de Vieta llevan al
mismo Principio Fundamental de la Geometra Analtica, pero son divergentes en cuanto a la
distinta consideracin sobre la Geometra de los antiguos. Fermat pretende recuperar tanto
como sea posible el Anlisis Geomtrico griego y reformularlo mediante el lgebra simblica
del Arte Analtica de Vieta. A pesar de la introduccin de unas coordenadas, Fermat se
107
considera como un exgeta de la Geometra griega, a la que absorbe, en el sentido cultural
de la palabra, y le aplica el lgebra para enriquecerla y hacerla ms inteligible, pero
reconoce en la Geometra el eje fijo de la Matemtica. Curiosamente l se llama a s mismo
gemetra mientras llama analistas a los discpulos de Vieta de los que ha aprendido. La
actitud de Descartes es bien distinta empezando por la consideracin jerrquica de las
diversas partes de la Matemtica. Para Descartes la Aritmtica y el lgebra no slo
preceden lgicamente a la Geometra, sino que, adems, son superiores en esencia, porque
al ser las ciencias de las magnitudes, son mucho ms generales y aplicables, entre otros
mbitos al de la Geometra. A diferencia de Fermat, que era un ferviente admirador de la
Geometra griega, Descartes tena una opinin muy negativa sobre los mtodos sintticos
de los antiguos, por la ocultacin del proceso inventivo y la excesiva particularidad, y en
consecuencia no particip como hizo Fermat en el movimiento contemporneo de
restauracin de los trabajos perdidos de Apolonio. Descartes parte de la Geometra griega
para construir algo completamente nuevo, que se convertir en una Matemtica universal,
que, en particular apartar a la Geometra del eje central de la Matemtica al destronarla de
forma definitiva de su rango de reina de esta ciencia, de modo que la Matemtica
algebrizada de Descartes desplazar y ocupar el lugar de la Matemtica geometrizada de
los griegos. As pues Descartes en su Geometra Analtica convierte al lgebra en la reina
de las Matemticas, hasta que en el siglo XIX Gauss afirme que es la Aritmtica quien debe
ocupar el trono de la Matemticas.
Con su Arte Analtica, Vieta haba establecido una conexin entre lgebra y Geometra, al
obtener las ecuaciones que corresponden a diversas construcciones geomtricas, en el
caso de problemas geomtricos determinados, es decir, manejando slo ecuaciones
determinadas, en las que la variable aunque es una incgnita, es una constante fija a
encontrar. Fermat y Descartes, en sus Geometras, desarrollarn esta idea para problemas
geomtricos indeterminados mediante la consideracin de ecuaciones indeterminadas en
variables continuas que representan segmentos geomtricos.
Segn el principio fundamental de la Geometra Analtica, las ecuaciones indeterminadas en
dos incgnitas, f(x,y)=0, se corresponden con lugares geomtricos en general curvas
determinadas por todos los puntos cuyas coordenadas relativas a dos ejes satisfacen la
ecuacin. Un vertiente de esta idea es expresada por Descartes, como vimos, en el Libro II
de La Geometra, de la siguiente forma (G.AT,VI, 412):
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, [...].
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
ARTFICES DE LA GEOMETRA ANALTICA
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
LAS VICISITUDES DE LA PUBLICACIN
DE LAS OEUVRES DE FERMAT
La Edicin latina de 1695 de van Schooten contiene entre otros elementos los
siguientes:
Geometria, una cum notis Florimondi De Beaune.
Francisci Schooten In Geometriam Renati Des Cartes Commentarii.
Johannis Huddenii Epistola prima de Reductione quationum.
Johannis Huddenii Epistola secunda de maximis et minimis.
Renati Des Cartes Principia Matheseos Universalis seu Introductio ad Geometri
Methodum.
conscripta ab. Er. Bartholino. De quationum Natura, Constitutione, et Limitibus Opuscula
Duo.
Incepta Florimondo De Beaune ab Erasmio Bartholino.
Johannis De Witt Elementa Curvarum Linearum edita oper Francisci Schooten.
Francisci Schooten Tractatus de Concinnandis Demonstrationibus Geometricis ex Calculo
Algebraico.
114
DESCARTES FILSOFO, MATEMTICO Y ESCRITOR
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
CITAS MEMORABLES SOBRE LA GEOMETRA ANALTICA
11. Descartes mediante un nuevo mtodo hizo pasar de las tinieblas a la luz cuanto en
las Matemticas haba permanecido inaccesible a los antiguos y todo cuanto los
contemporneos haban sido incapaces de descubrir.
Spinoza. Los Principios de la Filosofa cartesiana.
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
La Geometra Analtica como instrumento del clculo infinitesimal
La poca de Fermat y Descartes da a luz multitud de mtodos y tcnicas infinitesimales
desarrolladas por Kepler, Cavalieri, Torricelli, Pascal, Roberval, Wallis, Barrow, el propio
Fermat, y otros matemticos, y que aplicadas a la resolucin de los problemas de
cuadraturas y tangentes, prepararan el ambiente para que poco ms tarde, Newton y
Leibniz, al separar la ganga geomtrica que haba en esos trabajos destilaran el algoritmo
universal que constituye el Clculo Infinitesimal. Pues bien, la Geometra Analtica
desarrollada por Fermat y Descartes tuvo un papel decisivo en todo este proceso de
alumbramiento de las tcnicas del Clculo del siglo XVII . El impacto del lgebra no tiene
lugar slo sobre la Geometra sino tambin sobre el Clculo Infinitesimal a travs de la
propia Geometra Analtica, apareciendo como resultados positivos los intentos de
aritmetizacin del mtodo de exhaucin de los griegos, que conducir a la utilizacin
incipiente y subrepticia de los lmites.
La investigacin infinitesimal tiene lugar en el planteamiento y resolucin de problemas de
cuadraturas y tangentes sobre curvas. Cabe decir que pioneros de los mtodos y tcnicas
del Clculo del siglo XVII, como Kepler e incluso Cavalieri, no tuvieron a su disposicin los
desarrollos geomtricos de Fermat y Descartes, de modo que el nmero de curvas que
manejaron y a las que podan aplicar las tcnicas algortmicas del Clculo que iban
descubriendo era muy limitado, prcticamente las mismas que conocieron los griegos las
cnicas de Menecmo y Apolonio, la cisoide de Diocles, la concoide de Nicomedes, la
cuadratriz de Hipias, la Hipopede de Eudoxo, la espiral de Arqumedes y pocas ms.
Adems, todava manejaron las curvas en el farragoso lenguaje del lgebra Geomtrica
mediante relaciones de reas y proporciones.
Los trabajos de Fermat y Descartes en la Isagoge y La Geometra, respectivamente, abren
el camino a la introduccin sistemtica de nuevas curvas y a un manejo ms til, sencillo y
operativo, mediante las ecuaciones de las curvas. En efecto, de acuerdo con el Principio
fundamental de la Geometra Analtica:
Siempre que en una ecuacin final se encuentran dos cantidades incgnitas, se tiene
un lugar geomtrico, [...],
las curvas planas estn determinadas por la ecuacin cannica asociada, y por tanto, por el
simple hecho de escribir una ecuacin una nueva curva queda definida en el panorama
geomtrico para la indagacin de problemas infinitesimales vinculados a ella, de modo que
aparece en el ambiente matemtico de los dos primeros tercios del siglo XVII una ingente
cantidad de nuevas curvas que se definen a propsito de la introduccin de la Geometra
Analtica, entre las que sobresalen: el caracol de Pascal, el folium de Descartes o galande
de Barrow, la curva de Lam, la espiral logartmica, la kappa-curva, la curva tangentoidal,
pero sobre todo las parbolas, hiprbolas y espirales generalizadas o de orden superior
(llamadas de Fermat por ser l quien las introdujo) y por encima de todas ellas, en cuanto a
importancia, la cicloide, la reina de todas las curvas, llamada la Helena de la Discordia, por
las polmicas que surgieron sobre cuestiones de prioridad y acusaciones de plagio acerca
de la resolucin de problemas vinculados a ella. A ella dedicaron tambin Fermat y
Descartes importantes trabajos.
El vasto horizonte de nuevas curvas promueve la aparicin de multitud de variadas tcnicas
algortmicas infinitesimales al disponer de un amplio material geomtrico al que aplicarlas.
En el caso de Fermat, sus magnficas contribuciones en el terreno del Clculo Infinitesimal,
tienen su raz en su propia Geometra Analtica, puesto que l mismo introduce parte de las
curvas sobre las que se construiran las tcnicas del Clculo.
La propia Geometra Analtica en s misma era un instrumental algortmico de primer orden,
por eso jug un papel decisivo en la investigacin Infinitesimal. Las Geometras Analticas
de Fermat y Descartes permiten utilizar la expresin algebraica de la ecuacin de una curva
para encontrar sus elementos geomtricos ms notables (dimetros, ejes, centros, etc.) y,
en particular, en el terreno infinitesimal resolver los problemas de cuadraturas y tangentes
119
relacionadas con la curva. Es decir, la ecuacin de la curva es un elemento esencial para
esclarecer las propiedades y encontrar los elementos relevantes de la curva. La Geometra
Analtica traslada los problemas infinitesimales de la Geometra al lgebra, la cual por su
carcter operacional, permite, tras la realizacin de clculos y en particular la resolucin de
ecuaciones, regresar a la geometra del problema, para encontrar y solucionar cuestiones
geomtricas. Como consecuencia, la tarea de probar un teorema o resolver un problema
geomtrico de ndole infinitesimal se conduce de forma muy eficiente a probarlo o resolverlo
mediante el lgebra, de modo que la aplicacin de la Geometra Analtica proporciona una
potente tcnica de resolucin de problemas infinitesimales, y algo que es todava ms
importante, un poderoso instrumento de investigacin geomtrica en el mbito infinitesimal.
Se comprende entonces por qu la aparicin de la Geometra Analtica en el horizonte
matemtico del siglo XVII produjo una brillante eclosin de multitud de mtodos y tcnicas
infinitesimales que condujeron al descubrimiento de Newton y Leibniz.
Mencionemos a ttulo de ejemplo, a Fermat y Wallis, dos de los matemticos ms
representativos de la etapa emprica del clculo anterior a Newton y Leibniz.
Fermat trasciende del infinitesimal geomtrico e instaura lo infinitesimal en el terreno de lo
numrico, y ello a pesar de Aristteles, que haba desterrado lo infinitamente pequeo de la
Aritmtica. La legitimidad de lo infinitesimal en la Aritmtica queda asegurada por la
heurstica algortmica de la Geometra Analtica. En efecto, el puente de doble sentido que
sta estableca entre Geometra y lgebra, permita hacer corresponder infinitesimales
aritmticos a los ya clsicos infinitesimales geomtricos, que hasta el momento tan tiles
haban sido, y a partir de ah utilizar todas las tcnicas algebraicas para facilitar la
sumaciones que planteaban sus cuadraturas aritmticas de las parbolas generalizadas
y=xn.
Wallis manifest una prodigiosa capacidad aritmetizadora, sobre todo en su obra Arithmetica
Infinitorum de 1655, donde consigue realizar la cuadratura de las curvas y=xp/q. Al corriente
del lgebra literal de Vieta, de los mtodos analticos de Descartes y Fermat y de las
tendencias hacia los lmites de los matemticos franceses (Roberval, Fermat, Pascal,...),
Wallis se propone rescatar e independizar la Aritmtica de la representacin geomtrica y
romper con el lgebra Geomtrica de los griegos. Wallis llega incluso a presentar
aritmticamente lo que para los helenos era la intocable Teora general de la Proporcin de
Eudoxo, que apareca en el libro V de Los Elementos de Euclides. Con ello Wallis es, entre
los predecesores del Clculo, quien ms prximo est a la idea de lmite y quien con mayor
soltura la utiliza, al menos en un nivel intuitivo. Los mtodos algebraicos introducidos en la
Geometra por Vieta, Fermat y Descartes, as como los instrumentos de computacin
numrica fundamentados en los logaritmos de Napier y Briggs, permiten a Wallis
despegarse de los mtodos geomtricos de los antiguos, a los que estuvo todava vinculado
Cavalieri, para, al igual que haba aritmetizado Las Cnicas de Apolonio (en su obra
Tractatus de sectionibus conicis de 1665), aritmetizar los indivisibles de aqul, a base de
sustituir los infinitos indivisibles geomtricos de una figura que se quiere cuadrar por
indivisibles aritmticos (de ah el nombre de su obra principal) con una longitud determinada
cada uno, de manera que mediante el uso de frmulas sobre series de nmeros, obtiene las
cuadraturas al tomar n muy grande (paso al lmite encubierto), es decir, al hacer que n
tienda a infinito. Es precisamente en este contexto donde Wallis introduce para la posteridad
el smbolo del infinito. La fuente de inspiracin del trabajo de Wallis es el mtodo de los
indivisibles de Cavalieri pero el instrumento de trabajo es la traduccin algebraica de los
problemas geomtricos que permite la Geometra Analtica de Fermat y Descartes. En
Wallis es patente la superacin de la limitacin pitagrica de la inconmensurabilidad
mediante la utilizacin de la construccin geomtrico-algebraica de las operaciones
aritmticas que haba introducido Descartes al comienzo de La Geometra y que Wallis
aplicar precisamente a la aritmetizacin de los indivisibles destilando de aqu la concepcin
intuitiva de lmite que aplica. Wallis contribuye a dar carta de naturaleza aritmtica a lo
irracional, supera el imperativo pitagrico de considerar lo irracional slo en el campo de la
Geometra, y remueve uno de los obstculos que impeda la formulacin del concepto de
lmite y por tanto la elaboracin rigurosa ulterior del nuevo Clculo.
120
LA GEOMETRA ANALTICA COMO
INSTRUMENTO DEL CLCULO INFINITESIMAL
121
LA GEOMETRA ANALTICA COMO
INSTRUMENTO DEL CLCULO INFINITESIMAL
La Geometra Analtica traslada los problemas infinitesimales de la Geometra al
lgebra, la cual por su carcter operacional, permite, tras la realizacin de clculos y en
particular la resolucin de ecuaciones, regresar a la geometra del problema, para
encontrar y solucionar cuestiones geomtricas. Como consecuencia, la tarea de probar
un teorema o resolver un problema geomtrico de ndole infinitesimal se conduce de
forma muy eficiente a probarlo o resolverlo mediante el lgebra, de modo que la
aplicacin de la Geometra Analtica proporciona una potente tcnica de resolucin de
problemas infinitesimales, y algo todava ms importante, un poderoso instrumento de
exploracin e investigacin geomtricas en el mbito infinitesimal.
La irrupcin de la Geometra Analtica en el panorama matemtico del siglo XVII
propicia una unificacin de los problemas infinitesimales. La sustitucin de las
complejas construcciones geomtricas de la Geometra Sinttica por automticas
operaciones algebraicas permite la aplicacin de las mismas tcnicas a problemas de
naturaleza geomtrica diversa, adems de poner de manifiesto el proceso heurstico de
descubrimiento que tiene lugar de consuno con la justificacin de las diversas tcnicas
y mtodos infinitesimales.
En las cuadraturas y cubaturas del Clculo Integral, la Geometra Analtica favorece
una progresiva aritmetizacin del mtodo de exhaucin de los griegos cuya aplicacin
dependa de manera esencial de la forma geomtrica particular de la figura a cuadrar.
Con ello se va favoreciendo una incipiente y subrepticia utilizacin de los lmites, que
aunque en un nivel intuitivo, su uso va siendo cada vez ms general
En cuanto a las tangentes del Clculo Diferencial, 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. As
pues, la Geometra Analtica permite sustituir la construccin geomtrica de la
tangente, que es singular para cada curva segn su estructura geomtrica, por una
operacin analtica, nica y universal: el clculo de una derivada
He aqu una muestra muy significativa de la trascendencia de la Geometra Analtica
como herramienta que simplifica y reduce una extensa tipologa de problemas
geomtricos el clculo de cuadraturas y cubaturas se reconduce al clculo de un lmite,
mientras el trazado de las tangentes de las diversas curvas se reduce a un nico y
concreto problema analtico: el clculo de la derivada.
La aplicacin de La Geometra Analtica al planteamiento y resolucin de los
problemas infinitesimales fue produciendo una progresiva transformacin analtica de
la Geometra Sinttica Infinitesimal de Arqumedes en el algoritmo infinitesimal del
Anlisis Matemtico de Newton y Leibniz. Por eso la Geometra Analtica de Fermat y
Descartes tuvo una importancia trascendental en el fecundo proceso de algoritmizacin
de los mtodos y tcnicas infinitesimales que condujo al descubrimiento del Clculo
Infinitesimal por Newton y Leibniz.
122
John Wallis. Operum ma
thematicorum (Oxford,
1693).
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.
Es Fermat como en otros muchos aspectos, el que ms se aproxima a nuestra idea de
derivada como algoritmo general para calcular mximos y mnimos y trazar tangentes. En
efecto, veamos su primera memoria sobre el tema, llamada Mtodo para la investigacin de
Mximos y Mnimos (Methodus ad disquirendam maximan et miniman et de tangentibus
linearum curvarum) (TH.OF.III.121-123).
Este documento que Fermat compone entre 1629 y 1636 es un procedimiento puramente
algortmico desprovisto de todo fundamento demostrativo, donde Fermat introduce la tcnica
de la adigualdad. Mersenne la recibe a finales de 1637 y la enva a Descartes en enero de
1638. Como segunda parte de este tratado, Fermat describe el primer ejemplo de aplicacin
del mtodo de mximos y mnimos al trazado de las tangentes a las lneas curvas, la
tangente a la parbola, que provoca la tempestuosa polmica de Descartes con Fermat
sobre los mximos y mnimos y las tangentes. Denominaremos a esta memoria el Methodus
y la transcribiremos ntegramente, a continuacin, respetando la secuencia del contenido,
pero separando ste en prrafos que, a nuestro juicio, resultan significativos, lo que facilitar
su aplicacin.
En el Methodus aparece por primera vez la genial y fructfera idea de incrementar una
magnitud asimilable a nuestra variable independiente (lo que desde entonces se ha
convertido en la esencia del Clculo Diferencial). Fermat se expresa con estas palabras:
123
Mtodo de Fermat para la investigacin de Mximos y Mnimos
(Methodus)
(TH.OF.III.121122):
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
La vaguedad y el laconismo de que Fermat hace gala en el Methodus, abona las
sistemticas interpretaciones de su mtodo en trminos de Clculo Diferencial o mtodo de
lmites, que manifiestan que en el Methodus subyace el clculo de una derivada que se
iguala a cero. Realmente es una verdadera tentacin reproducir el desarrollo de Fermat
poniendo a=x, y la cantidad a maximizar o minimizar f(x). La regla nos dara:
f(x + e) f(x)
4 y 5: f(x+e) - f(x) 0 , 6: 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
eo e
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
EL MTODO DE FERMAT PARA LAS TANGENTES EN
TRMINOS INFINITESIMALES DE LMITES Y DERIVADAS
f(x)
se deduce: a,
D O B e F f(x + e) f(x)
x x+e e
a
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)
y=f(x). Pero como la pendiente de la recta tangente es precisamente m = , resulta que
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.
a a+e
Escribimos la primera adigualdad: ,
f(x) f(x + e)
y hacemos operaciones:
y=x2
a a+e e e 1
= 2 =
x 2
( x + e ) ( x + e ) x e + 2xe e + 2x
2 2 2
126
A lo largo de los desarrollos de Fermat sobre mximos y mnimos y tangentes aparece el
trmino adigualdad que procede de La Aritmtica de Diofanto (en relacin con ciertos
problemas en torno a una especie de regla de falsa posicin), y que Fermat no llega a
aclarar en ningn momento, aunque el concepto va sufriendo una lenta transicin, a lo largo
de la evolucin de los mtodos de Fermat, desde una especie de pseudo-igualdad, o
cuasi-igualdad aplicada en las curvas algebraicas a un significado de aproximadamente
igual o igualdad en el caso lmite que tmidamente aplica en las tangentes de curvas
trascendentes sobre todo en la cicloide (que estudia en la memoria Doctrinam Tangentium
de 1640 y que es el ejemplo ms brillante de aplicacin del mtodo) y que dar plenamente
sus frutos en los magnficos resultados de Fermat sobre cuadraturas y rectificacin.
Debemos hacer una importante observacin sobre la evolucin de los mtodos de tangentes de
Fermat promovida por la invencin de su Geometra Analtica. Antes de escribir su Ad locos
planos et solidos isagoge, Fermat, como todos los dems gemetras, conoce y maneja casi en
exclusiva como curvas las cnicas, y adems definidas sus expresiones en forma de proporcin,
que es lo que se llamaba el symptoma de Apolonio. Pero esa invencin tiene lugar hacia 1635,
varios aos despus de la fecha que Fermat asigna a la invencin del mtodo de tangentes.
Cuando la necesidad de fundamentar sus desarrollos le aprieta, en el curso de su agria disputa
con Descartes, Fermat no duda en utilizar las nuevas posibilidades de expresin de curvas, en
trminos de ecuaciones, que le brinda la nueva Geometra Analtica. La aparicin de sta, altera
radicalmente los conceptos matemticos sobre curvas, y rpidamente hace crecer (como hemos
comentado) el nmero de curvas disponibles para la investigacin matemtica. Slo cuando a
toda curva (de las que nosotros llamamos algebraicas) se le puede asignar una ecuacin, que le
corresponde unvocamente y que implcitamente contiene todas sus propiedades, tiene inters
generalizar, en el ms amplio sentido, todo mtodo algebraico de tangentes. As pues la
Isagoge, promociona la descripcin de las curvas en trminos de ecuaciones, las cuales haban
llegado a ser las propiedades especficas de las curvas. El trmino propiedad especfica que
es de capital importancia para el incipiente concepto de funcin, aparece de repente en los
escritos de Fermat y empieza a tener un efecto inmediato sobre la reformulacin del mtodo de
tangentes.
Vemos cmo la lectura de La Geometra de Descartes y el desarrollo de su propia
Geometra Analtica, haba afectado de forma significativa, las nociones de Fermat sobre la
naturaleza de las lneas curvas y por tanto su sentido de la aplicabilidad general del mtodo
original de tangentes.
Descartes distingua entre curvas matemticas y curvas mecnicas. Las primeras
podan ser definidas mediante una ecuacin algebraica indeterminada en dos incgnitas,
correspondientes a segmentos rectilneos variables, mientras que las curvas mecnicas
requieren para su definicin longitudes de arco de otras curvas. Las del primer tipo tienen la
propiedad especfica expresable solo mediante lneas rectas. Para las segundas la
propiedad especfca requiere ser expresada no slo mediante segmentos de rectas sino
tambin mediante segmentos curvilneos.
Para las curvas del primer tipo la regla de tangentes ofrecida en el Methodus es suficiente. En la
Doctrinam Tangentium, Fermat no aade nada a la regla, pero pone por escrito, en unas cortas
pero significativas palabras, el algoritmo general, con una claridad incomparablemente superior a
la del Methodus y con un lenguaje muy prximo al de Descartes en La Geometra
(TH.OF.III.141):
Nosotros consideramos de hecho en el plano de una curva cualquiera, dos rectas dadas
en su posicin, de las que a una se la puede llamar dimetro y a la otra ordenada.
Nosotros suponemos la tangente ya encontrada en un punto dado de la curva, y
consideramos mediante la adigualdad la propiedad especfica de la curva, no sobre la
curva misma sino sobre la tangente a encontrar. Eliminando, siguiendo nuestra teora de
mximos y mnimos, los trminos que sean necesarios, llegamos a una igualdad que
determina el punto de contacto de la tangente con el dimetro, es decir la tangente
misma.
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
que aplicar, a continuacin, a la determinacin de la tangentes a dos curvas clsicas, la cisoide
de Diocles y la concoide de Nicomedes, en una forma que no difiere de las originales
aplicaciones de la regla, ms que por la complejidad algebraica de las propiedades especficas
de las curvas.
Pero sin duda alguna el ejemplo ms espectacular de la aplicacin de los mtodos de Fermat al
trazado de las tangentes a las lneas curvas es el caso de la cicloide, en el que desarrolla un
potente instrumental matemtico aplicable al trazado de las tangentes a las curvas mecnicas,
que resuelve de forma brillante el problema.
Sabiendo que a la cicloide no se le pueden aplicar directamente los mtodos desarrollados hasta
ahora porque es una curva de naturaleza esencialmente diferente a la parbola, elipse, cisoide,
concoide, folium, etc, ya que en su definicin interviene una longitud de arco, Fermat prepara el
camino con estas explicativas palabras (TH.OF.III.143):
Para el segundo caso que juzgaba difcil Descartes, para quien nada lo es, se obtiene por
un mtodo muy elegante y bastante sutil. Mientras que los trminos estn formados
solamente por rectas, se les busca y se les dibuja segn la regla precedente. Adems,
para evitar los radicales, se pueden sustituir las ordenadas de las curvas por las
ordenadas de las tangentes, halladas segn el mtodo precedente. Y en fin, lo que es el
punto importante, se pueden sustituir las longitudes de arco de las curvas por las partes
correspondientes de las tangentes ya halladas y llegar a la adigualdad, como hemos
indicado: se resolver as fcilmente la cuestin.
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 compli-
cados 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
La Geometra Analtica poscartesiana
Descartes y Fermat provocaron una autntica revolucin en el campo de la Geometra, una
ruptura radical con el pasado, pero la Geometra Analtica tal como la concibieron sus
fundadores result, desde un punto de vista didctico, poco eficaz. Slo cuando magnficos
pedagogos como Monge y sus discpulos, los llamados matemticos de la Revolucin
Francesa, le dieron una nueva forma, la nueva disciplina mostr su vitalidad y eficacia y
adopt al fin una forma definitiva similar a las exposiciones actuales, excepto en lo que se
refiere al lenguaje vectorial. Pero antes de describir esta transformacin debemos mencionar
los primeros avances inmediatamente posteriores a los de sus creadores.
El propio editor de La Geometra van Schooten haba escrito, como se mencion, un
extenso Comentarii que incorpor a las diversas ediciones de la obra de Descartes.
Tambin en 1657 escribi las Exercitationes Geometricae, considerado uno de los primeros
embriones de la Geometra Analtica de tres dimensiones.
Hacia1650 Jan De Witt, discpulo de van Schooten escribi Elementa curvarum linearum,
incorporado a las ediciones de La Geometra de Descartes de 1659 y 1695. Se valora esta
obra como el primer tratado sistemtico de Geometra Analtica en el plano, es decir, la
primera verdadera exposicin del mtodo de las coordenadas que permite la traduccin
automtica de la Geometra al lgebra y del lgebra a la Geometra.
El Tractatus sectionibus conicis (1665) de Wallis y los Elementa de De Witt son
complementarios en cuanto al estudio de las cnicas. Wallis primero expresa las secciones
cnicas en forma analtica, es decir, obtiene las ecuaciones de las cnicas trasladando las
condiciones geomtricas de Apolonio a la forma algebraica y luego de sus ecuaciones
deriva las propiedades de las curvas, mientras que De Witt primero obtiene las propiedades
de las cnicas geomtricamente y despus muestra analticamente que las ecuaciones de
segundo grado representan curvas con esas propiedades. La combinacin de las partes
analticas de ambos textos sera una razonable aproximacin a los materiales de los textos
modernos. Por otra parte algunos matemticos del siglo XVII, en particular De Witt en sus
Elementa redujeron algunas ecuaciones de segundo grado a sus formas cannicas.
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
Stirling, en su Lineae Tertii Ordinis Neutonianae de 1717, cerr el tema reduciendo la
ecuacin general de segundo grado a las diversas formas cannicas. Previamente Newton
en su The Method of Fluxions and Infinite Series haba hecho gran uso de la Geometra
Analtica, sobre todo la introduccin y el trazado de nuevas curvas mediante sus
ecuaciones, utilizando nuevos sistemas de coordenadas, en particular coordenadas polares.
Todos estos textos contribuyeron a difundir las ideas de la Geometra de coordenadas y a
popularizar las cnicas como curvas planas y lugares geomtricos ms que como secciones
de un cono.
Pero sin duda el trabajo ms importante es el de Euler en su famosa obra Introductio in
Analysin infinitorum de 1748, donde trata sistemticamente la Geometra plana con
coordenadas.
La Introductio de Euler es una de las tratados ms importantes de toda la Historia de la
Matemtica. C.B.Boyer dice sobre ella en su obra History of Analytic Geometry (Scripta
Mathematica, New York,1956, p.180):
La Introductio de Euler es probablemente el libro de texto ms influyente de los
tiempos modernos. Es el trabajo que convirti el concepto de funcin en bsico para
las Matemticas [...]. La Introductio es para el Anlisis elemental lo que Los Elementos
de Euclides es para la Geometra.
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
Tambin trataron el tema van Schooten en el escrito Exercitationes Geometricae y La Hire
en su obra Nouveaux lments des sections coniques (1679), donde para representar una
superficie, primero representa un punto en el espacio mediante tres coordenadas y llega a
escribir la ecuacin de una superficie, pero ambos fueron trabajos muy incipientes. El
desarrollo efectivo de la Geometra Analtica de tres dimensiones fue tarea del siglo XVIII y,
adems, como en el caso de la Geometra Analtica bidimensional, fue Euler quien
realmente abord de forma sistemtica la cuestin.
En efecto, la Introductio de Euler acaba con un largo y sistemtico apndice sobre
Geometra Analtica de tres dimensiones, que significa el estudio y representacin grfica de
curvas y superficies por medio de sus ecuaciones, y que representa la ms original
contribucin de Euler a la Geometra cartesiana y la ms importante exposicin sobre
Geometra Analtica slida. Como en la Geometra Analtica plana, Euler sigue utilizando un
solo eje de coordenadas como bsico, pero seala que se pueden utilizar tres planos
coordenados, y as aparece, a veces, en las ilustraciones. Adems, alude a los posibles
signos de las coordenadas en los ocho octantes del triedro de referencia. Divide las
superficies en algebraicas y trascendentes y las estudia a travs de las trazas segn varios
planos. As aparecen, con abundantes ilustraciones, conos, esferas, cilindros y conoides.
Euler proporciona la primera frmula para traslacin y rotacin de ejes en tres dimensiones,
que se ha convertido en la clsica transformacin que lleva su nombre.
En cuanto a la ecuacin del plano, Euler la escribe de forma general x+y+z=a y estudia
las intersecciones con los planos de coordenadas y con el nico eje, as como los ngulos
entre el plano dado y los de coordenadas, que los expresa mediante el coseno.
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
EULER, EL MAESTRO DE TODOS LOS MATEMTICOS
135
Monge, que fue uno de los matemticos ms importantes de la poca de la Revolucin
francesa, dio un impulso inusitado a la Geometra Analtica. En esta poca el nombre de
Geometra Analtica todava no haba alcanzado un reconocimiento general. Monge
imparte un curso en la Escuela Politcnica sobre Applications de l'analyse la gomtrie,
cuya primera parte es esencialmente una introduccin a la Geometra Analtica. Como no se
dispona de ningn libro de texto, Monge se ve forzado a escribir el contenido del curso y
publica en 1795 Feuilles d'analyse aplique a la gomtrie, donde da una forma bastante
definitiva a la Geometra Analtica. Otros materiales que haba utilizado tambin en su curso
son incluidos en 1802 en la memoria Application de l'algbre la gomtrie, que se
reeditar en 1807, 1809 y 1850. El primer teorema de la memoria es una generalizacin del
Teorema de Pitgoras:
La suma de los cuadrados de las proyecciones de una figura plana sobre tres planos
perpendiculares entre s es igual al cuadrado del rea de la figura plana.
Aparecen tambin las frmulas de traslacin y rotacin de ejes para las ecuaciones del
cambio de ejes de coordenadas, el tratamiento habitual de rectas y planos, la determinacin
del plano que pasa por tres puntos mediante coeficientes indeterminados, los cosenos
directores, las condiciones de paralelismo y perpendicularidad, los ngulos entre rectas y
planos, la determinacin de los planos principales de una cudrica, etc.
Monge demuestra que el plano que pasa por el punto (xo,yo,zo) y es perpendicular a la
interseccin de dos planos: ax+by+cz+d=0, ex+fy+gz+h=0, viene dado por :
A(x-xo)+B(y-yo)+C(z-zo)=0,
donde: A=bg-fc, B=ce-ga, C=af-eb, que hoy se llaman parmetros de direccin (o
coordenadas del vector director de la recta interseccin de los planos dados).
Monge da tambin las frmulas para la distancia de un punto a una recta y la distancia ms
corta entre dos rectas r, r, que se cruzan, tras la obtencin previa de la perpendicular
comn:
(bc ' cb ')(x 0 x '0 ) + (ca ' ac ')(y 0 y '0 ) + (ab ' ba ')(z0 z '0 )
d(r,r ') =
(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].
137
Lagrange realiz tambin importantes
contribuciones a la Geometra Analtica,
siempre bajo la filosofa de aplicar el
carcter algortmico del lgebra para
superar toda representacin concreta. En
sus desarrollos analticos, su formulacin,
de una brillante elegancia, ya est muy
prxima a la escritura del lgebra Lineal,
por ejemplo en clculos que se asemejan
a aspectos matriciales y determinantes. En
el artculo Solutions analytiques de
quelques problmes sur les pyramides
triangulaires (1775), Lagrange resolvi, de
forma puramente analtica, diversas
cuestiones ya conocidas sobre la
geometra del tetraedro: las frmulas, en
funcin de las coordenadas de los vrtices,
del rea, centro de gravedad y volumen,
as como los centros y radios de las
esferas inscrita y circunscrita. Al
desconocer la ecuacin normal del plano,
Lagrange obtiene las alturas como
problemas de mnima distancia mediante
los recursos del Clculo Infinitesimal.
Estos resultados estn redactados de tal
forma analtica que pueden ser entendidos
sin aludir a figura alguna, como el propio
Lagrange escribe en el artculo:
Me siento halagado por el hecho de que las soluciones que voy a dar sern
ciertamente de inters para los gemetras tanto por los mtodos como por los
resultados. Estas soluciones son puramente analticas y pueden entenderse incluso
sin figuras.
Y efectivamente no hay ni una figura a lo largo de este trabajo, lo que prefigura la ulterior
concepcin y estructura de la Geometra Analtica. Tambin en el Prefacio de su Mecnica
Analtica de 1788, Lagrange escribe:
El lector no encontrar figuras en esta obra. Los mtodos que propongo no requieren
construcciones ni razonamientos geomtricos o mecnicos; solamente operaciones
algebraicas sometidas a una regla de procedimiento metdica y uniforme.
138
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
Eplogo: La trascendencia de la Geometra Analtica
Las Geometras Analticas de Fermat y Descartes nacen de forma casi simultnea en un
periodo histrico, el siglo XVII, en el que acontece una autntica eclosin de nuevas ramas
de la Matemtica: Clculo Infinitesimal en su doble vertiente diferencial e integral, Clculo
de Probabilidades, Teora de Nmeros y Geometra Proyectiva. Es una poca en la que se
ha alcanzado el grado mximo de recuperacin y asimilacin del legado matemtico griego
de modo que las obras de Euclides, Arqumedes, Apolonio, Diofanto y Pappus, traducidas al
latn e incluso a las lenguas vernculas inundan literalmente los ambientes cientficos.
El apasionado inters por el mundo matemtico clsico de los griegos va ms all incluso de
la recuperacin y difusin de los grandes tratados traducidos, al pretender la restauracin
del material perdido a lo largo de los siglos. Impresionados por los resultados y al
desconocer los mtodos de descubrimiento de la Matemtica griega, los matemticos de la
poca estn animados por un espritu de reconstruccin de las obras perdidas de la
antigedad, sobre todo las de Apolonio, tal vez movidos por la conjetura de que al
reconstruir los libros perdidos, se podra descubrir el procedimiento que utilizaban los
griegos para obtener sus brillantes resultados, es decir, el mtodo, que nunca haban
desvelado, salvo en el caso exclusivo del Anlisis Geomtrico de Pappus. Sabemos que en
esta actividad de reconstruccin, la de Los Lugares Planos de Apolonio (Apolonii Pergaei
libri duo de locis planis restituti) est el origen del trabajo de Fermat sobre Geometra
Analtica, la Isagoge.
Bajo una nueva filosofa de la investigacin matemtica, Fermat y Descartes son los
principales artfices de la inflexin radical que presenta la Matemtica del siglo XVII respecto
a la clsica griega, que es ponderada y es la fuente de formacin y de inspiracin de los
matemticos, pero se abandonan y critican sus mtodos porque no son heursticos. Con un
nuevo enfoque se trata de crear y descubrir, ms que de expresar demostrativamente o
axiomticamente. Es ms relevante la forma de resolucin de los problemas que el estilo de
la presentacin. No importa tanto la expresin rigurosa como la aplicacin de mtodos que
permitan resolver de forma directa y operativa los problemas y escribirlos formalmente
siguiendo la lnea de la propia investigacin geomtrica, es decir, mtodos que al describir el
proceso inventivo enseen a descubrir y rompan la clsica dualidad helnica invencin-
demostracin que tiene lugar en dos estadios de tiempo y espacio diferentes. Se pondera la
heurstica y se busca afanosamente la fusin, en un solo acto matemtico, del
descubrimiento y de la demostracin. Pues bien, aqu es donde interviene el lgebra.
En efecto, el lgebra mecaniza la Matemtica de forma que el pensamiento se simplifica y
disminuye el esfuerzo de la mente ante la automatizacin de los procesos. Para Descartes
el lgebra debe preceder a las dems ramas de la Matemtica y en cierto modo es una
extensin de la Lgica, como motor del razonamiento, en la lnea de lo que llamaba
Matemtica universal la Mathesis de las Regulae. El lgebra es la ciencia universal del
razonamiento. Y al concretar sobre el mbito geomtrico, el lgebra es la clave para
reconocer los problemas de la Geometra y unificar cuestiones cuya forma geomtrica no
parece guardar a priori relacin alguna. Es decir, el lgebra aporta los principios de
clasificacin y jerarqua de los problemas y es el instrumento para discutir con elegancia,
rapidez y plenitud las cuestiones geomtricas. El lgebra simblica literal, con incgnitas,
variables y parmetros, libera de la necesidad de tratar casos especficos y ejemplos
concretos y permite formulaciones generales y desarrollos de procedimientos de resolucin
independientes de la estructura geomtrica particular, que posibilita la aplicacin de las
mismas tcnicas a situaciones anlogas.
Concretemos an ms qu funcin cumple el lgebra en la Geometra Analtica desde el
punto de vista del Anlisis de los antiguos, con el fin de justificar el propio nombre de
Geometra Analtica, que algunos, refirindose a Fermat y Descartes, consideran
inapropiado. El trmino Anlisis se aplica desde Platn y Pappus para describir el proceso
de remontarse desde lo que se desea demostrar hasta llegar a alguna verdad conocida,
admitida o probada anteriormente. En este sentido es lo opuesto a la Sntesis, que
representa la presentacin deductiva de lo que se hall mediante el Anlisis. Es bajo estas
141
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
a su mximo poder heurstico para la resolucin de los problemas geomtricos, a base
de concluir el estudio analtico con la sntesis algebraica, lo que permitir, mediante las
ecuaciones, transitar de la Geometra al lgebra y del lgebra a la Geometra. La
Geometra Analtica resultante, dotada del simbolismo literal, con todo el potencial de la
mecnica algortmica operatoria de clculo, manipulacin y simplificacin propios de las
ecuaciones del lgebra, reemplaza las ingeniosas y complejas construcciones
geomtricas del lgebra Geomtrica de los griegos por metdicas operaciones
algebraicas que permiten mediante un proceso analtico-sinttico de resolucin de los
problemas, no slo reconstruir la Geometra clsica con ms claridad, flexibilidad,
operatividad y versatilidad, sino crear, adems, una potente heurstica geomtrica, la
Geometra Analtica, como poderoso instrumento de exploracin e investigacin,
mediante el que Fermat y Descartes pudieron plantear y resolver de forma admirable,
brillante y prodigiosa problemas difciles, clsicos y modernos, como la determinacin de
las rectas normales a las curvas, el Problema de Pappus y el Problema de Apolonio,
entre otros, en el caso de Descartes y otros muchos problemas como los de lugares
geomtricos, estudio de elementos notables de las curvas (dimetros, ejes, centros,
asntotas, etc.), extremos y tangentes, cuadraturas y cubaturas, centros de gravedad y
rectificacin en el caso de Fermat. En este sentido, la Geometra Analtica tuvo una
decisiva influencia como instrumento clave de la eclosin de multitud de mtodos y
tcnicas infinitesimales, que condujeron al descubrimiento del Clculo por Newton y
Leibniz.
A pesar de ciertas reticencias por parte de Pascal, Barrow, Hobbes, e incluso Newton en
la aceptacin de los nuevos mtodos de la Geometra Analtica de Fermat y Descartes,
la extensin de sus aplicaciones a todos los mbitos de la Matemtica fue cada vez ms
inexorable. A ello contribuy sobremanera la difusin de las diversas ediciones crticas
de van Schooten, plenas de comentarios explicativos, aclaraciones complementarias y
apostillas extensivas de los mtodos cartesianos del propio editor y de otros
matemticos.
En las dos centurias siguientes a la de Fermat y Descartes, matemticos de la talla de
Euler, Monge, Lagrange, Lacroix, etc. imprimirn a la Geometra Analtica un ingente
desarrollo hasta situarla en el umbral de la Geometra Analtica moderna la que se
imparte hoy acadmicamente, salvo en lo que se refiere al instrumento vectorial, que la
convertir en una de las vetas ms fructferas del pensamiento matemtico, en un
instrumento responsable de la increble pujanza y del impresionante progreso que ha
desarrollado la Matemtica desde entonces. Por ejemplo, ms all del Anlisis
Matemtico, del encuentro de esta materia con la Geometra Analtica aplicada al
estudio de curvas y superficies surge, sobre todo tras los trabajos de Euler y Monge, la
Geometra Diferencial.
La Geometra Analtica goza de una serie de virtudes que hacen de ella una cmoda y
didctica herramienta matemtica para el abordaje de los problemas geomtricos. Por
una parte permite que las cuestiones geomtricas puedan formularse algebraicamente y
que los objetivos geomtricos puedan alcanzarse por medio del lgebra, e
inversamente, facilita la interpretacin geomtrica de los enunciados algebraicos, lo que
propicia una percepcin ms intuitiva de su significado, con la posible apertura a la
visin de nuevos problemas y conclusiones. As lo ve Lagrange cuando escribe en sus
Leons lmentaires de mathmatiques (1795):
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.
146
LA GEOMETRA ANALTICA COMO PODEROSO
INSTRUMENTO DE LA MATEMTICA ESCOLAR
y=x22x
y=x2+4x
148
CRONOLOGA DE LA GEOMETRA ANALTICA (2)
1643. DESCARTES. Correspondencia con la Princesa Elisabeth de Bohemia. Problema de
Apolonio.
1645. FERMAT. Novus Secundarum ... . Sugerencia sobre el Principio Fundamental de la
Geometra Analtica de tres dimensiones.
1649. VAN SCHOOTEN. Primera edicin en latn de La Geometra.
1650. DE WITT. Elementa Curvarum Linearum (incorporado a las ediciones de van Schooten de
1659 y 1695 de La Geometra de Descartes). Primer tratado sistemtico de Geometra
Analtica plana. Reduccin de algunas ecuaciones de segundo grado a formas cannicas
Reconocimiento de las cnicas segn el Discriminante.
1657. VAN SCHOOTEN. Exercitationes Geometricae. Primer texto con Geometra Analtica de tres
dimensiones.
1659. VAN SCHOOTEN. Nueva edicin en latn de La Geometra.
1665. WALLIS. Tractatus de sectionibus conicis. Cnicas como lugares geomtricos. Propiedades
de las cnicas a travs de sus ecuaciones.
1675. BARROW. Edicin de Las Cnicas de Apolonio.
1679. FERMAT. Samuel de Fermat publica Varia Opera Mathematica.
1679. LA HIRE. Nouveaux lments des sections coniques. Geometra Analtica de tres
dimensiones. Representacin grfica de superficies.
1695. VAN SCHOOTEN. nueva edicin en latn de La Geometra.
___________________________
149
150
Bibliografa
151
Obras sobre Descartes
26. LVAREZ,C.: Descartes y la ciencia del siglo XVII. Siglo XXI. Mxico, 2000. Caps.1,3,4.
27. CHICA,A.: Descartes, Geometra y Mtodo. Nivola. Madrid, 2001.
28. CROMBIE,A.C.: Grandes Matemticos. R. Descartes. Investigacin y Ciencia. Cap.3. 18-24.
Barcelona, 1995.
29. GARIN,E.: Descartes. Crtica, Barcelona ,1989.
30. GMEZ PIN,V.: Descartes. Barcanova. Barcelona, 1984.
31. MARITAIN,J.: Le songe de Descartes. Edit. Buchet/Chastel. Pars,1922.
32. MONTESINOS,J.: Descartes: el lgebra y la Geometra. Actas, ao II, Seminario Orotava de
Historia de la Ciencia, Canarias 1995.
33. RODIS-LEWIS,G.: Descartes et le Rationalisme. PUF. Pars, 1996.
34. ROSSELLINI,R.: Cartesius. RAI, una produzione Orizzonte 2000. 180'.
35. TURR,S.: Descartes. Del Hermetismo a la nueva Ciencia. Anthropos. Barcelona,1985.
36. SIRVEN,J.: Les annes d'apprentissage de Descartes. Albi. Pars,1928.
37. SHEA,W.R.: La magia de los nmeros y el movimiento: la carrera cientfica de Descartes. Alianza
Universidad, 746, Madrid, 1993.
38. VALENSIN,A.: Imgenes de Descartes. Cuadernos Taurus. Madrid, 1963.
39. VARIOS AUTORES. Descartes, les nouvelles lectures (Artculos sobre Descartes en el cuarto
centenario de su nacimiento). Magazine littraire,342. Pars, abril,1996.
40. VARIOS AUTORES. Artculos en la Prensa espaola sobre Descartes en el cuarto centenario de
su nacimiento. LA VANGUARDIA, 26/3/96; EL PAS, 3/1/96, 2/3/96, 25/3/96, 30/3/96, 19/7/96; EL
MUNDO, 23/3/96; AVUI 27/3/96, ABC, 29/3/96, 20/4/96, 4/5/96; HISTORIA Y VIDA, 341, 8/96.
41. VUILLEMIN,J.: Mathmatiques et mtaphisyque chez Descartes. PUF. Pars, 1987.
42. WILLIAMS,B.: Descartes. Catedra, Teorema, Madrid, 1996.
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 Greek Mathematics. 2 Vols. Dover, New York, 1981.
Caps.5,6,9,10,11,14,19,20.
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
82. MONTESINOS,J (Compilador): Historia de la Geometra griega. Seminario Orotava de Historia de
la Ciencia. Tenerife, 1992.
83. MONTESINOS,J.: Historia de las Matemticas en la Enseanza Secundaria. Sntesis. Madrid.2000.
Caps.1,6.
84. MONTUCLA,J.: Histoire des Mathmatiques. Cap.III.3,IV.2. Blanchard. Pars, 1968
85. NICOLAU,F.: La Matemtica i els matemtics. Claret, Barcelona, 2000. Cap.29.
86. REY,A.: El apogeo de la ciencia tcnica griega. UTEHA, Mxico 1962. Caps. III.1, III.2.
87. REY PASTOR,J.; BABINI,J: Historia de la Matemtica .Espasa-Calpe, Buenos Aires, 1951. Caps.
III.19, III.22, VI.33.
88. REY PASTOR,J.; BABINI,J.: Historia de la Matemtica. Gedisa, 2 Vols. Barcelona, 1984. Caps.
3,4,7,8,9.
89. RBNIKOV,K.: Historia de las Matemticas. MIR, Mosc, 1974. Cap. 5.2.
90. ROUSE BALL,W: Histoire des Mathmatiques. Libr. scientifique A.Hermann, Pars, 1906. Cap.15.
91. SCOTT,J.F.: A History of Mathematics. Taylor and Francis, New York, 1975. Cap.7.
92. SERRES,M. (Compilador): El Saber griego. Akal. Madrid, 2000. Cap.3.
93. SMITH,D.E.: History of Mathematics. Dover. New York, 1959.Vol.II, Cap.5.8.
94. SMITH,D.E.: A Source Book in Mathematics. Dover. 2 Vols. New York. Caps. III.14,III.15.
95. STRUIK.D.J.: A Source Book in Mathematics, 12OO-18OO. Harvard University Press, Cambridge,
1969. Caps.2.5,3.1,3.3,3.4,3.5.
96. SZAB,A.: Les dbuts des Mathmatiques grecques. Librairie Vrin. Pars, 1977. Caps.1.12, 3.2.
97. TANNERY,P.: La gomtrie grecque. Gauthier-Villars. Pars,1887. Caps.10,11,12.
98. THE OPEN UNIVERSITY: Laparici de la Matemtica grega. Televisi de Catalunya.
99. UNIVERSIDAD COMPLUTENSE: Libros antiguos de Matemticas. Madrid, 2000.
100. VAN DER WAERDEN,B.L.: Geometry and Algebra in Ancients civilizations. Springer-V, Berln,
1983. Caps.3,4.
101. VAN DER WAERDEN,B.L.: A History of Algebra. Springer-Verlag. Berln, 1985. Cap.3.
102. VARIOS AUTORES: Sigma, el mundo de las Matemticas. Grijalbo. Barcelona,1969. Vol.I, Cap.7.
103. VARIOS AUTORES: Mathmatiques a fil des ges. Gauthiers-Villars, Pars, 1990. Cap.6.
104. VERA,F.: Breve Historia de la Geometra. Losada. Buenos Aires. 1963. Caps. 2,3,4,5,7.
105. VERA,F.: Veinte matemticos clebres. Mirasol. Buenos Aires, 1961. Caps. 5,10.
106. WUSSING,H.: Lecciones de Historia de las Matemticas. Siglo XXI. Madrid, 1989. Cap.7.2.
154
117. RUNES,D.: Historia ilustrada de la Filosofa. Grijalbo. Mxico, 1967.
118. RUSSELL,B.: Historia de la Filosofa occidental. Austral.Madrid,1995. V.1.L1.Cap.24, V.2.L3.Cap.9.
119. SPENGLER,O.: La decadencia de Occidente. Austral, Madrid, 1998.Cap.I.1.
120. VARIOS AUTORES: Historia del Pensamiento. Ediciones Orbis, Vol.2. Cap.3. Barcelona, 1983.
121. BERTHET,J.: La mthode de Descartes avant le discours. Revue de Mtaphisique, 1896, 388-
415.
122. BOYER,C.B.: Proportion, Equation, Function, three steps in the development of a concept. Scripta
Mathematica, XII, 5-13, 1946.
123. BOYER,C.B.: Early contributions to Analytic Geometry. Scripta Mathematica, XIX, 1953, 97-108,
230-238..
124. BOYER,C.B.: Analytic Geometry in the alexandrian age. Scripta Mathematica, XX, 1954, 30-36,
143-154.
125. BOYER,C.B.: Fermat and Descartes. Scripta Mathematica, XX, 1955. 189-217.
126. BOYER,C.B.: Post-Cartesian Analytic Geometry. Scripta Mathematica, XXI, 1956, 101-135.
127. BOYER,C.B.: Mathematiciens of the French Revolution. Scripta Mathematica. XXV, 1960, 11-31.
128. CAN,C.: El alcance de un sueo. La Mathesis Universales (Descartes, el sueo y la razn).
Revista Quark. UPF. Barcelona, abril-junio, 1996.
129. COOLIDGE,J.L.: The Origin of Analytic Geometry. Osiris,I,1936, 231-25O.
130. GIBSON,B.: La Gometrie de Descartes au point de vue de sa mthode. Revue de Mtaphisique,
1896, 387-398.
131. GONZALEZ URBANEJA,P.M.: La aparicin de los inconmensurables. Mundo cientfico, n 220,
2/2001.
132. HEAT,T.L.: Greek Geometry whith Special Reference to Infinitesimals. The Matematical Gazzete,
XI,248-59, 1922-23.
133. MAHONEY,M.S.: Another Look at Greek Geometrical Analysis. Archiv of History of Exactes
Sciences, 5, 1968-69, 318-348.
134. MOLLAND,G.: Shifting the foundations: Descartes transformation of ancient gemeotry. Historia
Mathematica, 3, 1976, 21-49.
135. RITTER,F.: Francois Vite, inventeur de l'algebre moderne, 1540-1603, essai sur sa vie et son
oeuvre. Revue occidentale philosophique sociale et politique, 10 (1895) 234-74.
136. WHITESIDE,D.T.: Patterns of mathematical thought in de later 17th century. Archiv of History of
Exactes Sciences, 1, 1960-62, Cap.7, pgs290-311.
155
La Historia de la Matemtica como recurso
didctico e instrumento de integracin cultural
de la Matemtica