Professional Documents
Culture Documents
Matemticas:
Enseanza Universitaria
Abstract
The Cartesian method of establishing true propositions in the sciences and rightily seeking
for them is studied from a historical standpoint in relation to the predecessors of Descartes,
particularly Lulio and de la Rame, and its main characteristics are expounded.
The
Key words:
Gomtrie
, are analized.
AMSC(2000):
Resumen
Se exponen las caractersticas del mtodo creado por Descartes para la bsqueda de las
proposiciones verdaderas en las ciencias y se le sita histricamente, en relacin con sus
antecedentes, particularmente Lulio y de la Rame. Se analizan los aportes de Descartes a
la invencin de la geometra analtica y al lgebra, contenidos en el texto de la
Gomtrie
Introduccin
A. de la Torre
El mtodo cartesiano
la mthode pour bien conduire sa raison et chercher la verit dans les sciences.
Este texto estaba acompaado de tres apndices, titulados:
La dioptrique
Les mtores
La gomtrie
A. de la Torre
que est por encima de ella y la engendra. La matemtica universal es, tan
solo, una aplicacin del mtodo a los objetos ms simples. Los hombres que
vayan a dedicar su vida a la bsqueda de la verdad en cualquiera de las ciencias deben aprender la matemtica universal, como una manera de habituar la
mente a aquellas operaciones intelectuales que constituyen la razn, pero con
algunas salvedades: (i) No se trata de aprender las matemticas tradicionales
sino aquella nueva matemtica creada por Descartes, que l denomin matemtica universal; (ii) el inters no es el de aprender esas matemticas por
s mismas sino como un ejercicio en el mtodo, para pasar despus a estudiar
objetos mucho ms importantes.
En cuanto a las operaciones que se emplean en el razonamiento matemtico, Descartes dice que son solamente de las tres clases siguientes: intuicin,
deduccin y enumeracin. La fundamental es la intuicin, que es un acto de
la inteligencia por el cual concebimos un cierto trmino, complejo o simple,
como, por ejemplo, una esfera o la rectitud. El acto de aprehensin intuitiva
es directo, singular, instantneo e infalible, y no se presenta como el resultado
de una inferencia.
El primer paso del razonamiento es el conocimiento intuitivo de algunas
proposiciones, que se presentan a la mente por fuera de toda duda y cuya
certeza se extender paso a paso a las proposiciones que de ella dependen.
A travs de la intuicin, se conocen no solo las proposiciones verdaderas, a
partir de las cuales se inicia el razonamiento, sino tambin el lazo que une a
esas proposiciones y las que dependen de ella inmediatamente. Es as como
la intuicin, a la que Descartes llama instinto intelectual y luz natural,
nos permite adquirir una gran cantidad de conocimientos, que bastan para
demostrar innumerables proposiciones.
Esta demostracin se lleva a cabo mediante la segunda operacin intelectual, la deduccin. La deduccin, en Descartes, no es como la del silogismo,
sino que es una operacin consecuente con la intuicin. Mediante la deduccin salen a la luz, en una secuencia de trminos sucesivamente intuidos, las
relaciones de dependencia o de necesidad que hay entre ellos.
Se trata de un movimiento ininterrumpido a travs de una especie de cadena de verdades; despus de haber captado por intuicin el lazo que une a
cierta verdad con otra prxima a ella, se procede mediante la enumeracin a
reconocer rpidamente los distintos eslabones, buscando que se d la impresin de que son captados al primer golpe de vista, casi sin el recurso de la
memoria.
En la matemtica universal el mtodo es, ante todo, orden. La nocin de
orden, en Descartes, es frtil y tiene como ejemplo las progresiones matemticas, en las cuales cuando se conocen los primeros trminos, es fcil determinar
los restantes. El orden permite determinar el valor de los trminos desconocidos por el lugar que stos tienen asignado en la progresin. Se trata de un
orden que es inherente a la naturaleza de los trminos que constituyen la
A. de la Torre
o Arte magna,
que pretende ser un mtodo para descubrir la verdad y para unicar todas las
ramas del conocimiento en un sistema universal, fundado en la idea de una
A. de la Torre
La geometra analtica
X,
X =
la incgnita,
anlisis, en el sentido que los griegos le haban dado a esta palabra. Por eso,
Vite calic el lgebra como un arte analtica; de ah que despus de Vite
se usaran las palabras anlisis y lgebra como sinnimos, hasta mediados del
siglo XVIII, cuando empez a usarse el trmino anlisis, especcamente, para
denotar el lgebra de los procesos innitos.
El lgebra de Vite, sin embargo, estaba basada en la teora de las magnitudes geomtricas, creada por los griegos y expuesta por Euclides, 300 aos
antes de Cristo. En esta teora, una variable correspondera a la longitud de
algn segmento rectilneo, el producto de dos variables al rea de algn rectngulo, y el producto de tres variables al volumen de algn paraleleppedo
rectangular. Estrictamente hablando, los griegos no tenan cmo seguir adelante, ni cmo darle signicado al producto de cinco variables, o de seis, o de
siete. Dicho de otra manera, si
X 2 representara un
X 4 , X 5 , X 6 , etc.?
rea y
X3
Pero, adems, la teora griega supona el postulado de Arqumedes o propiedad arquimediana ([2], p. 56), segn el cual dos magnitudes no se podan
comparar a menos que un mltiplo de una de ellas pudiera exceder a la otra,
10
A. de la Torre
lo que no permita sumar reas con longitudes o con volmenes. En esa teora,
por consiguiente, la expresin
X2 + X
no tena sentido.
X2
X,
1, X y X , y
1 : X = X : X 2.
denidas cinticamente.
Como una aplicacin de su mtodo, Descartes discuti el problema general
de Pappo. Los casos ms importantes de este problema piden encontrar el
lugar de un punto tal que el producto de las distancias del punto a
rectas
dadas est en una razn constante con el producto de las distancias a otras
rectas dadas. Los griegos haban resuelto el problema por medios geomtricos
M = 1, N = 2.
Pappo haba conjeturado que para M = N = 2, el lugar sera una seccin
para
M = N = 1,
y para
M = 3, N = 2,
encontrando que
11
3.
Y,
Y,
X,
f (X, Y ) = 0,
y a
f (X, Y ) = 0,
(X, Y )
Y:
X,
Simplemente, dado
X,
la
correspondiente, y as obtena
tomado sobre un eje. El uso de los dos ejes se impuso por comodidad, no
por necesidad lgica. Trminos como coordenadas, abscisa, ordenada, en el
sentido que les damos hoy, fueron introducidos por Leibniz, en 1692, 55 aos
despus de la publicacin del opsculo de Descartes.
El segundo libro de la Gomtrie trae el mtodo de Descartes para hallar la normal y la tangente a una curva en un punto dado e incluye una
clasicacin de las curvas planas en geomtricas y mecnicas, la cual fue superada posteriormente, en 1704, por Newton, quien introdujo la clasicacin
hoy vigente, en curvas algebraicas y trascendentes.
12
A. de la Torre
en
es igual a
N:
primera vez por Gauss, 160 aos despus de Descartes, y se conoce como el
teorema fundamental del lgebra. En este libro, Descartes ja la costumbre de
emplear las primeras letras del alfabeto para denotar las cantidades conocidas
y las ltimas letras para las incgnitas, as como el sistema de ndices, hoy en
boga, para denotar las potencias. Emplea all, por primera vez, el mtodo de
los coecientes indeterminados e introduce la regla de los signos, que permite
acotar el nmero de races positivas y el de races negativas de una ecuacin
polinomial.
Descartes escribi este pequeo tratado en un estilo intencionadamente
oscuro, que hace muy difcil su lectura. En 1649, apareci la traduccin del
Francs al Latn, con notas explicativas debidas a Van Schooten, las cuales
tuvieron muy amplia acogida.
El hecho notorio es que los contemporneos de Descartes no captaron
el nuevo mtodo en toda su profundidad y la geometra analtica slo vino
a imponerse despus de la invencin del clculo innitesimal. En 1704 es
decir, 67 aos despus de la publicacin del Discurso del mtodo de Descartes
utiliz Newton de manera sistemtica la geometra analtica en su clasicacin
de las curvas planas cbicas, la cual fue publicada como uno de los apndices
de su Optica. All se mostraba que existen 68 especies de estas curvas, las
cuales no haban podido ser ni siquiera imaginadas por los mtodos griegos
de la geometra sinttica, que imperaron hasta Descartes.
Ms de cien aos tard el mtodo enseado por Descartes en la Gomtrie
en alcanzar, a manos de Euler, Monge, Lagrange y Lacroix, la forma sistemtica de exposicin que se encuentra todava en los textos de matemticas de
hoy, incluida la extensin de dichos mtodos al estudio de las supercies en
el espacio tridimensional.
Aunque no es el objeto de este artculo analizar los detalles de la disputa entre Descartes y Fermat con respecto a la primaca en la invencin de
la geometra analtica, s debe sealarse un hecho notable: cuando Descartes
clasic las curvas algebraicas segn sus grados, estableci tambin que los
puntos de interseccin de dos curvas pueden encontrarse resolviendo simultneamente sus ecuaciones, de donde se inere que una innidad de curvas
distintas pueden estar referidas a un mismo sistema de coordenadas. Este resultado, que le abre la puerta a la ms amplia generalidad, no fue vislumbrado
por ninguno de los antecesores de Descartes en el uso de las coordenadas, y
no hay nada en los trabajos de Fermat que muestre que este matemtico lo
hubiera alcanzado. Sin embargo, el enfoque que le dio Fermat a la geometra
analtica era ms completo y sistemtico que el de Descartes, hasta el punto
de haberle permitido a Fermat obtener las ecuaciones generales de la recta,
el crculo con centro en el origen, la elipse, la parbola y la hiprbola rectan-
13
gular referida a las asntotas como ejes, desde 1629, es decir, 8 aos antes de
la publicacin del Discurso del mtodo.
Reconocimiento. Este trabajo se enmarca dentro del proyecto de investigacin Una metodologa alternativa para la enseanza y el aprendizaje del
concepto de lmite, COLCIENCIAS 1115-11-12704; fue presentado por
el autor en el X Encuentro de la Escuela Regional de Matemticas (ERM),
Universidad de Medelln, 2004, con el ttulo de Descartes y la modernidad.
Referencias
[1] Brhier, E.: Historia de la losofa, Vol. 1, Tecnos, Madrid,1988.
[2] De la Torre, A.: Anotaciones a una lectura de Arqumedes, Editorial
Universidad de Antioquia, Medelln, 1997.
[3] Descartes, Ren: Discours de la mthode suivi de Mditations mtaphysiques, Les ditions varits, Montreal, Canada, 1950.
[4] Descartes, Ren: The Geometry, Dover, New York, 1954.
[5] Descartes,
Ren:
Discurso
del
mtodo
Meditaciones
metafsicas,