Historia de las Matemáticas prehelénicas a la transición al Cálculo

Centro de Altos Estudios Universitarios de la OEI
Curso Iberoamericano
de formacin permanente
de profesores de matemtica
Tema 30: Historia de las Matemticas

Historia de las Matemticas

Contenido de este documento:
Matemticas prehelnicas
Grecia: el nacer de una nueva concepcin cientfica
La matemtica china
Las matemticas rabes
De la Edad Media al Renacimiento
El Renacimiento
La aparicin del Logaritmo
La concepcin de una matemtica moderna
Descartes
Pierre Fermat
La transicin al Clculo
Preparando el camino para Newton y Leibniz
1. Matemticas prehelnicas
La idea de nmero actual como ente abstracto, que es tan evidente,
es el fruto de una larga evolucin y trabajo de abstraccin de la mente
humana. En un inicio el nico nmero representado era el uno, como una
marca realizada en un hueso o pedazo de madera, en una piedra, etc. Se
haca una marca para cada cosa, de esa forma se contaba. De aqu
llegamos, tras largos perodos, hasta la representacin; la necesidad de
transmitir cantidades mayores hace necesaria la adopcin de una
representacin del nmero. Los signos con las manos son, parece ser, las
formas ms primitivas. La asociacin de cantidades a las posiciones de
las manos o incluso a lugares del cuerpo, son la base de los signos
numricos de muchas civilizaciones. Pero una cosa es el nmero como
cantidad y el signo que lo representa y otra muy distinta es la idea
sucesiva de nmero y del orden de los nmeros. Los primeros indicios de
Sistemas de Numeracin los encontramos en las civilizaciones egipcias,
sumerias y babilnicas. Si bien es cierto que la numeracin maya o china
es tambin muy antigua, esta no ha tenido influencia en la historia de la
matemtica europea. El sistema de numeracin sumerio se basa en
los conocidos calculi, pequeas piedras de arcilla datadas de la segunda
mitad del IV milenio a. C., en las que con diversas formas representaban
cifras distintas: el cono pequeo vale 1, la bola 10, el cono grande 60, el
gran cono perforado 3600 y la esfera perforada 36000. Estos objetos
se guardaban en una bola envoltorio hueca, mucho ms grande que el
resto, se utilizaba para envolver el contenido. De esta forma, cuando se
cerraba un trato, los calculi se depositaban en el interior de la bola
hueca. La bola sellada haca perenne el contrato, y si se quera saber el
- 2-
contenido, para no tener que romperlo, se realizaba en su superficie

unas muescas que representaban los calculi introducidos.
En Mesopotamia aparece la escritura cuneiforme sobre el 3300 a. C.

cuyo soporte era en arcilla. Se manejaban dos tipos de smbolos: un
clavo para la unidad y una espiga para la decena, y estaba basado en un
sistema de numeracin de base 60. En Egipto, la escritura jeroglfica
tena smbolos para las potencias de diez entre 1 y un milln. En estas
civilizaciones el sistema de numeracin es un sistema aditivo, esto es,
para representar el trece se utiliza tres veces el smbolo del uno y una
vez el smbolo del diez, de esta forma no existe todava en estas culturas
el sistema numrico posicional.
El sistema de numeracin romano, segn la clasificacin de Georges

Ifrah, sera un sistema hbrido entre el aditivo y posicional. Para los
romanos el uno era I, el cinco V, el diez X, el cincuenta L, el cien C,
quinientos Q y mil M. Con la regla de que todo nmero colocado a la
izquierda de una cifra superior se resta.
El origen de la numeracin de posicin est en la cultura rabe. Los

primeros datos los encontramos junto al descubrimiento del alfabeto, en
el S. XV a. C., en la zona de Siria-Palestina, los semitas del Noroeste en
un afn de abreviacin, buscaron romper con las escrituras intilmente
complicadas de tipo egipcio o asirio-babilnico. A partir del S. IX a. C. la
escritura alfabtica de origen fenicio, de veintids letras, se expande por
las costas del Mediterrneo y poco a poco fue adoptada por los pueblos
occidentales, que la adaptaron a sus lenguas respectivas, modificndola
y aadiendo algunos signos. Los smbolos actuales nuestros, del 1 al 9
provienen del brahmi, la primera escritura de este tipo data del S. III a.
C. (los edictos de Ashoka en diversas regiones del Imperio de los
Maurya).
Las matemticas que se reflejan de los documentos obtenidos en

Egipto y Mesopotamia indican un uso de la matemtica instrumental, es
decir de indicacin ms o menos tiles para resolver problemas
similares. La preocupacin no radicaba en los objetos matemticos en s,
no buscaban sus propiedades ni reglas ni en la fundamentacin de las
conclusiones obtenidas, sino que se limitaba a exponer cmo manejar
instrumentalmente esos objetos matemticos en situaciones concretas.
Hay muchos documentos que se conservan desde la antigedad: el

papiro de Mosc de 1890 a. C. contiene 25 problemas resueltos; el
Papiro Leather de 1800 a. C. contiene una tabla de 26 descomposiciones
de fracciones unitarias; el papiro de Berln de 1800 a. C., con dos
- 3-
problemas de ecuaciones, una de ellas de segundo grado; papiro de

Reisner contiene clculo de volmenes.
Pero sin duda alguna el ms importante documento matemtico

egipcio que se conserva es el conocido como Papiro de Rhind o Papiro de
Ahmes. En 1858, el egiptlogo y anticuario escocs Henry Rhind adquiri
en una ciudad comercial del Nilo un papiro de 30 cm de alto y 6 m de
longitud, depositado actualmente en el British Museum. El documento
data de 1650 a. C. El autor es el escriba Ahmes, de ah los dos nombres
con los que se le conoce, y est escrito con escritura hiertica, una
escritura que se adapta mejor al pincel y al soporte sobre el que est
elaborado.
De los mtodos utilizados por los egipcios destaca de forma especial

la utilizacin de las fracciones. Su tcnica se basaba principalmente en el
uso de fracciones unitarias. De este modo las fracciones irreducibles de
numerador distinto de uno se descomponan en fracciones unitarias,
aquella cuyo numerador es uno, por ejemplo la fraccin se
descompona como la suma De hecho el papiro de Rhind
comienza con una tabla en la que se expresan las fracciones como
suma de fracciones unitarias distintas para todos los valores desde n = 5
hasta n = 101, de esta forma , , y
.
La multiplicacin en la poca de Ahmes se basa en la duplicacin, por

ejemplo para multiplicar 67 por 25, se consideran todas las potencias de
2 menores que 25 desde 20=1, en este caso 1, 2, 4, 8 y 16. Se forma
una tabla de dos columnas, en la primera columna se considera 67 y se
duplica tantas veces como potencias de 2 se consideran, en este caso 4
duplicaciones.
67 1 67 Como el nmero 25 es suma de
134 2 las potencias de dos 1+8+16, se
268 4 suman las duplicaciones
536 8 536 correspondientes, esto es,
1072 16 1072 67+536+1072=1675 obteniendo
1675 el resultado del producto.
En el campo actual de la resolucin de ecuaciones algebraicas,

encontramos en las civilizaciones egipcia y babilnica los primeros
antecedentes. En el caso de la civilizacin egipcia, son los primeros en
aplicar el mtodo, que hoy se conoce como Regula falsi o Mtodo de la
falsa posicin, consiste en suponer un resultado cierto y, posteriormente,
calcula la proporcin para que el resultado final sea correcto. Por
ejemplo, en el problema 24 se propone, calcular el valor de un montn,
- 4-
si el montn y un sptimo del montn es 19. La solucin dada por

1
Ahmes es la siguiente: supn que el montn es 7, entonces 7 .7 8 .
7
19
Pero el resultado correcto debera ser 19, como 8. 19 , tendremos que
8
multiplicar 7 por 19 , para obtener el valor correcto y lo expresa con
8
1 1
fracciones unitarias como 16 16,625
2 8
En 1930 Neugebauer descubri que los babilnicos haban trabajado

con ecuaciones cuadrticas. Por ejemplo, en un problema se pide el
lado de un cuadrado tal que si al nmero de su rea le restamos el
nmero de su lado obtenemos 14,30 (en notacin sexagesimal). Esta
ecuacin sera la equivalente a la que hoy escribiramos como
(en notacin decimal: ). La solucin encontrada era
la siguiente: 1 Toma la mitad de 1, que es 0;30, y multiplica 0;30 por
0;30, que es 0;15; suma este nmero a 14,30, lo que da 14,30;15. Este
es el cuadrado de 29;30; ahora suma 0;30 a 29;30, cuyo resultado es
30, que es el lado del cuadrado. Es la aplicacin directa, en notacin
sexagesimal, de la conocida frmula de resolucin de una ecuacin
cuadrtica Otro elemento que nos muestra
los avances de la matemtica babilnica es la resolucin de algunas
ecuaciones cbicas. En Babilonia se haban calculado tablas de
cuadrados, de cubos y de las sumas de los cuadrados y los cubos. Con
ayuda de esas tablas resolvan ecuaciones del tipo . Era
bastante sencillo mirando las tablas obtener . O la ecuacin
mirando en las tablas obtenan .
Para las ecuaciones del tipo , los babilonios

usaban su mtodo de sustitucin: multiplicaban primero por 12 ambos
miembros y hacan , la ecuacin se convierte en ,
de donde mirando en las tablas , por tanto . Las
ecuaciones del tipo se reducan a la forma cannica
multiplicando ambos miembros por para obtener la ecuacin
y resolverla por sustitucin.
2. Grecia: el nacer de una nueva concepcin cientfica.
Desde los siglos IX al VII a. C., la crisis social vivida en la Grecia

antigua produjo una serie de corrientes migratorias y colonizaciones de
las costas del Mediterrneo y del mar Negro, lo que se tradujo en unas
- 5-
importantes influencias culturales mutuas. El mundo griego descubri, a

travs de las diversas culturas a las que se acercaba, una diversidad de
mitos entre las distintas civilizaciones, claramente incompatibles entre s.
Desde luego era claro que todos no podan ser verdaderos, pero, dando
un paso ms, la pregunta lo sern los mitos griegos? era inmediata. Y
si stos eran tan falsos como los dems, dnde estaba la verdad
necesaria?
A mediados del siglo VII a. C., la prdida sistemtica de creencias
produce una profunda crisis intelectual en Grecia, de la que arranca la
filosofa griega, cuya finalidad ltima era la bsqueda de una explicacin
necesariamente verdadera acerca del mundo, de la estructura de lo real
y de sus orgenes. La bsqueda de la verdad, como no poda ser de otra
forma, se apoy en dos creencias. La primera, que el mundo es
inteligible por la mente humana y la segunda, que en lo que cambia no
puede residir la verdad, la autntica verdad, la verdad sin condiciones. La
realidad se manifiesta en apariciones cambiantes, y la verdad reside en
el trasfondo inmutable oculto por la realidad aparente.
Las matemticas griegas se extienden, aproximadamente, en el
perodo que va entre el 600 a. C. al 640 d. C. Es habitual considerar la
produccin matemtica griega dividida en tres etapas, con la siguiente
caracterizacin:
1. Perodo helnico: 600 al 300 a. C.

a) Perodos jnico y pitagrico: 600 al 450 a. C.
b) Los siglos V y IV: 450 al 300 a. C.
2. Perodo greco-alejandrino: 300 a. C. al 415 d. C.
a) El siglo III.
Los matemticos ms clebres de este siglo de oro de la
cultura griega son: Euclides, Arqumedes y Apolonio.
b) Los siglos II a. C. al II d. C.
c) Edad alejandrina tarda: 250 al 350 d. C.
Los matemticos ms celebres de esta poca son Diofanto y

Pappus (290-350).
d) El final del perodo alejandrino: 350 al 415 d. C.
3. El final del mundo griego: 415 al 640 d. C.
Es comprensible la relevancia que toman las matemticas para la
filosofa griega. Los nmeros y las figuras geomtricas se trataban como
objetos inmutables, no sometidos a cambios, descarnados de cualquier
realidad aparente. Y las matemticas, pasarn a ser, as, una forma de
- 6-
acceso a la verdad. Los nuevos filsofos griegos empiezan a cultivar las

matemticas, pero unas matemticas puras, alejadas por completo de
aquellas matemticas aplicadas del mundo prehelnico. Las matemticas,
experimentan un cambio profundo de Egipto y Mesopotamia a Grecia,
pasando de ser una manipulacin instrumental de los objetos
matemticos a un estudio de sus propiedades necesariamente
verdaderas, es decir, a buscando una ontologa de los objetos
matemticos.
Las primeras matemticas griegas, tanto en Thales, que vivi entre
los siglos VII y VI a.C., y su escuela (la Filosofa Natural Jnica), como
luego en Pitgoras, que vivi en el siglo VI a.C. y los pitagricos, tienen
una serie de caractersticas distintivas: su objetivo es averiguar
propiedades intrnsecas verdaderas de los objetos matemticos; se trata
de conseguir propiedades necesariamente verdaderas, sencillas y
completamente intiles para las necesidades prcticas de la vida
cotidiana; los teoremas mostraban la validez universal de sus
afirmaciones.
Cul era ste mtodo que les permita a Thales y a los pitagricos
estar seguros de que sus afirmaciones eran verdaderas necesariamente?
La demostracin, tena la caracterstica esencial de ser una presentacin
a la percepcin visual; de ah que el vocablo teorema tenga la misma raz
griega que teatro, pues en el primer caso indica lo que se contempla, y
el segundo indica contemplar. De este modo los nmeros y las figuras
geomtricas ponan en evidencia sus propiedades, por un simple proceso
visual que encerraba un grado de certeza irrefutable. As, Thales para
demostrar que en cualquier crculo cualquier dimetro lo divide en dos
partes iguales, giraba el crculo media vuelta alrededor del dimetro, con
lo que cada semicrculo pasaba a ocupar la posicin que ocupaba antes el
otro. De la misma manera, los pitagricos para demostrar que la suma
de dos nmeros impares cualesquiera es un nmero par, disponan los
dos nmeros distribuidos en parejas; como los dos son impares sobrar
una unidad en cada uno y al unirlos, ambas constituirn una pareja, con
lo que la suma resultar un conjunto de parejas y consecuentemente un
nmero par.
Este mtodo emprico visual ms que demostrar en un sentido
actual, a pesar de la aparente irrefutabilidad de sus conclusiones, lo que
haca era mostrar. Y con este mtodo se construyeron las primeras
matemticas modernas durante aproximadamente cien aos. As, con
este mtodo Thales demostr que:
1. Todo crculo queda dividido en dos partes iguales por un
dimetro.
2. Al cortarse dos rectas, los ngulos opuestos por el vrtice son
iguales.
3. Si un tringulo tiene dos lados iguales, los ngulos opuestos a
- 7-
esos lados son iguales.

4. Si dos tringulos son tales que dos ngulos y un lado de
uno de ellos son respectivamente iguales a dos ngulos y
un lado del otro, entonces los dos tringulos son
congruentes.
5. Todo tringulo inscrito en una semicircunferencia es recto.
Pero es la aparicin de un monstruo en el seno de las matemticas
pitagricas la que pondr fin a este mtodo y ser, a su vez, el origen
del mtodo axiomtico-deductivo, cuya vitalidad ha persistido hasta
nuestros das, con las matizaciones que ms adelante realizaremos.
Para la filosofa pitagrica todo objeto estaba formado por un cierto
nmero de tomos, entendidos como pequeas esferas indivisibles, por
lo que los entes podan identificarse por el nmero de estos tomos, de
suerte que todo poda aritmetizarse. Desde esta ptica los pitagricos
desarrollan la aritmtica y tambin la geometra, que la aritmetizan. Y es
en esta ltima, en la medida de los segmentos, en donde se produce la
aparicin del primer monstruo matemtico: los segmentos
inconmensurables.
Desde su concepcin filosfica, desde su creencia, concluan que
dados dos entes cualesquiera, uno de ellos estara formado por un cierto
nmero de esferas indivisibles y el otro por esferas. Los pitagricos
crean que siempre sera posible encontrar un cierto nmero ,
suficientemente pequeo, que est contenido un nmero exacto de
veces tanto en p como en , de donde se obtendra que y .
La existencia del valor siempre y en todos los casos, permite obtener
una de una unidad de medida comn y por tanto todo es expresable en
trminos de nmeros, todas las cosas son medibles y expresables como
proporciones. Este proceso para calcular r se llamaba antiphairesis, que
no era otra cosa que lo que ms tarde aparecer y se conocer como
algoritmo de Euclides, para el mximo comn divisor de y . Mediante
este procedimiento, vistos los nmeros como segmentos, el segmento
menor se lleva tantas veces como sea posible sobre el mayor, el resto
se llevar, de la misma forma, sobre el menor de los dos anteriores; el
nuevo resto se llevar ahora sobre , y as sucesivamente, llegndose
necesariamente, desde la concepcin atomista de los pitagricos, a un
resto ; por tanto, ser la mayor unidad de medida comn a
ambos segmentos.
La teora pitagrica se basaba por tanto en la proporcionalidad. Y es
dentro de sta donde Hipaso de Metaponto (siglo V a.C.) encontr una
pareja de segmentos inconmensurables, cuando trat de conocer la
proporcionalidad entre el lado del pentgono regular y la diagonal del
mismo. Al aplicar el mtodo de antiphairesis, observ que al cabo de
- 8-
tres etapas se volva a repetir el proceso con el pentgono interior

formado por la interseccin de las diagonales, esto es que , y as
de forma indefinida. Pero si dos segmentos admiten una unidad de
medida comn, la antiphairesis debe tener un nmero finito de pasos;
por lo que, si este proceso no tiene fin debe ser porque no hay ninguna
unidad de medida comn a los dos segmentos.

Pero este no era el nico nmero inconmensurable (que no tiene
medida) encontrado, la diagonal de un cuadrado tambin lo era, y con l
muchos otros nmeros. El razonamiento utilizado para deducir la
inconmensurabilidad de la diagonal del cuadrado con el lado es el
siguiente. Supongamos un cuadrado cuyo lado AB sea impar, si nos
fijamos en la razn entre la diagonal y el lado, observamos que
tambin es la razn entre la hipotenusa y el cateto en un tringulo
rectngulo issceles ABC.
Como , se tiene que . Entonces dado

que es par, tiene que serlo tambin, puesto que el cuadrado de
cualquier nmero impar es impar. Ahora bien, si es par, entonces
y por tanto como se tiene que , de
donde, , por lo que , es decir que es par, en
contra de lo supuesto inicialmente.
Esta demostracin, que es la misma que se usa en la actualidad,
apareca incluida en antiguas ediciones de los Elementos de Euclides
- 9-
como proposicin 117 del libro X. Sin embargo, lo ms probable es que

no apareciera en el texto original de Euclides y, por tanto, se suele omitir
en las ediciones modernas.
Las consecuencias de este hallazgo fueron demoledoras y
condujeron a la primera gran crisis de los fundamentos de las
matemticas. Desde luego dio al traste con la teora atmica de los
pitagricos, pero sobre todo invalid el mtodo emprico-visual aceptado
hasta el momento. Cul era la naturaleza de los objetos matemticos?,
de qu estaba hecho un segmento?; si los objetos matemticos no eran
tan simples como se haba pensado, el examen directo de los mismos ya
no poda aceptarse como garanta de verdad, la intuicin haba entrado
en crisis, por quin sustituirla?, qu mtodo podra garantizar la
verdad de los resultados que se obtuviesen?
As, el concepto de demostracin vara radicalmente, frente a la
percepcin de la verdad puesta en evidencia al mostrar las cualidades
de los objetos matemticos, aparece la validacin de la verdad a travs
de un encadenamiento de afirmaciones sobre un sistema de objetos
matemticos, que comienzan por axiomas y proceden por aplicaciones
sucesivas de las leyes deductivas correctas. La afirmacin final de cada
cadena, necesariamente verdadera, es un teorema. Las demostraciones
han de ser procesos finitos, por eso aunque Hipaso de Metaponto
descubre los segmentos inconmensurables, la demostracin de ello no
poda fundamentarse en un proceso ilimitado. Es de la mano de los
eleticos, escuela antagnica de los pitagricos, que mantenan que la
realidad era una e indivisible, de la que proviene el procedimiento para la
demostracin, concretamente de Zenn (s. V a. C.) que introduce la
demostracin indirecta o demostracin por reduccin al absurdo. Este
mtodo ser la caracterstica esencial de la obra de Euclides (365300 a.
C.).
Los Elementos de Euclides, fue concebido como un libro de texto, no
como un compendio del saber de la poca, para estudiantes avanzados.
Los Elementos se componen de trece libros a los que en poca posterior
se aadieron dos ms: el libro XIV de Hypsicles (S. II a. C.) y libro XV,
presumiblemente de Damasquios (S. V d. C.) el contenido del conjunto
de los libros est estructurado de la forma siguiente:
Planimetra
Libro I. Del punto al teorema de Pitgoras del periodo jnico.
Libro II. lgebra geomtrica del periodo jnico.
Libro III. Teora del Crculo del periodo jnico.
Libro IV. Polgonos regulares inscritos y circunscritos del periodo
jnico.
- 10-
Libro V. Extensin de la teora de las magnitudes a los irracionales

de periodo helnico (Eudoxo).
Libro VI. Proporciones: aplicacin a la planimetra del periodo
helnico.
Teora de nmeros
Libro VII. Teora de divisibilidad de nmeros primos de origen
pitagrico.
Libro VIII. Nmeros cuadrados y cbicos, series geomtricas de
origen pitagrico.
Libro IX. Teora de lo par e impar de origen pitagrico.
Irracionales
Libro X. Clases de irracionales cuadrticos. Anexin de reas. del
periodo helnico (Teeteto).
Estereometra
Libro XI. Estereometra elemental del periodo jnico.
Libro XII. Mtodo de exhauscin: pirmide, cono, esfera del
periodo helnico (Eudoxo).
Libro XIII. Poliedros regulares del periodo helnico (Teeteto).
Si consideramos la estructura de cada libro se puede observar que
est estructurado en definiciones, postulados o axiomas, nociones
comunes, proposiciones y lemas. El libro I comienza con 23 definiciones
y cinco postulados. Se puede afirmar que el quinto de estos primeros
cinco postulados (axiomas) ha sido el gran quebradero de cabeza para
muchos matemticos hasta el siglo XIX, estos postulados son:
1. Postlese el trazar una lnea recta desde un punto cualquiera
hasta un punto cualquiera.
2. Y el prolongar continuamente una recta finita en lnea recta.
3. Y el describir un crculo con cualquier centro y distancia.
4. Y el ser todos los ngulos rectos iguales entre s.
5. Y que si una recta al incidir sobre dos rectas hace los ngulos
internos del mismo lado menores que rectos, las dos rectas
prolongadas indefinidamente se encontrarn en el lado en el
que estn los menores que dos rectos.
- 11-
Ninguna proposicin de los Elementos ha tenido una vida tan agitada

como la del quinto postulado. Siempre estuvo rodeado de un futuro
incierto. Su redaccin, bastante diferente a la de los otros cuatro,
produjo sobre l una gran cantidad de acontecimientos. En algunas
ediciones fue asumido como postulado por la tradicin de respetar a su
traductor Adelardo de Bath y en la edicin de Giovanni Campano (1482),
as como por varios editores y comentadores renacentistas: Zamberti
(1505), Luca Paccioli (1509), Tartaglia (1543), Commandino(1572). En
otras muchas, quizs a partir de la editio princeps de Simon Grynaeus
(1533), han preferido incluirlo entre las nociones comunes: F. Candalla
(1556), Clavio (1574), Vitale (1682), Gregory (1703).
Pero el trance ms radical fue el de parecer una proposicin
necesitada de prueba, esta amenaza se cerni sobre l desde un
principio. Proclo, historiador griego y director de la Academia de Atenas
en el S. V, afirma en sus Comentarios al libro I de los Elementos de
Euclides: Debe ser borrado por completo de los postulados porque se
trata de un teorema henchido de dificultades, que Tolomeo se propuso
resolver en un libro, y su demostracin requiere varias definiciones y
teoremas. Ms an: La proposicin conversa es efectivamente
demostrada por el propio Euclides como un teorema. Proclo alude al
parecer a la proposicin 17 del libro I: La suma de dos ngulos
cualesquiera de un tringulo es menor que dos rectos, pues el postulado
quinto equivale a decir que las rectas, al llegar a encontrarse por el lado
correspondiente a los ngulos cuya suma es menor que dos ngulos
rectos, forman un tringulo.
En el caso presente -contina Proclo un poco ms adelante-, el hecho
de que las rectas convergen cuando los ngulos rectos son minorados,
es cierto y necesario; por contra, la afirmacin de que como convergen
ms y ms a medida que se prolongan, llegarn alguna vez a
encontrarse, es una afirmacin verosmil pero no es necesaria a falta de
un argumento que pruebe que esto es verdad acerca de las lneas
rectas. Pues el hecho de que haya algunas lneas que se aproximan
indefinidamente pero permanecen sin tocarse [asmptotoi], por ms
improbable y paradjico que parezca, tambin es cierto y est
completamente comprobado en relacin con lneas de otro tipo. Por
qu en el caso de las rectas no es posible lo mismo que ocurre con las
lneas mentadas?
Finalmente, el intento fallido de reducir el postulado desemboc en
el alumbramiento de las geometras no euclidianas en el siglo XIX.
El nombre de Eudoxo de Cnido (ca. 408 - ca. 355 a. C.) no puede
pasar desapercibido en cualquier estudio sobre ciencia y cultura griega.
Segn algunos autores se le puede considerar el ms grande de los
matemticos griegos, tan solo superado por Arqumedes. Discpulo de
Platn, fue mdico, astrnomo, gemetra, legislador y gegrafo. Cre la
- 12-
primera teora astronmica de los movimientos celestes. En el terreno

de la matemtica su primera contribucin fue dar un nuevo enfoque a
las proporciones. El descubrimiento de cada vez ms inconmensurables
hizo necesario hacer frente a este tipo de nmeros. Cmo extender los
procedimientos y demostraciones geomtricas que se basaban en
longitudes, reas y volmenes conmensurables a los inconmensurables?.
Esto, que hoy es algo usual, para los griegos, y sobre todo desde que
Platn introdujera el rigor en el procedimiento deductivo, deba
comenzarse por unas premisas y mediante una cadena de razonamientos
deductivos llegar a una proposicin. Esto era la demostracin legtima de
la proposicin. En este campo, Eudoxo introdujo la idea de magnitud
continua. No se trataba de nmeros sino de entidades, tales como
segmentos, ngulos, reas, volmenes y tiempo que podan variar de
una manera continua. No se produca un salto desde el tres al cuatro. Es
importantsima la introduccin de este hecho puesto que lleva implcita
en s misma la idea de clculo infinitesimal. Para tomar consciencia de la
importancia y dificultad de este concepto consideremos la definicin del
axioma 5 del libro V de los Elementos que Euclides tom de Eudoxo: Se
dice que dos magnitudes estn en la misma razn, la primera a la
segunda y la tercera a la cuarta, cuando, tomados cualesquiera
equimltiplos de la primera y la tercera y cualesquiera equimltiplos de
la segunda y la cuarta, entonces los primeros equimltiplos ambos
exceden, son iguales o son menores que los segundos equimltiplos,
tomados en el orden correspondiente.
Es decir, si y solo si, dados dos nmeros naturales cualesquiera
y , si entonces , o si entonces , o bien
si entonces . Por ejemplo, para demostrar que ,
elegimos 3 y 5 al azar, si multiplicamos 3 y 4 por 3 obteniendo 9 y 12, si
multiplicamos 6 y 8 por 5, obteniendo 30 y 40, como se verifica que
9<30 entonces se tiene que 12<40, Por el contra, como podemos
encontrar dos nmeros 3 y 7, tales que multiplicando 3 y 2 por 7
obtenemos 21 y 14 y multiplicando 6 y 5 por 3, obtenemos 18 y 15 y se
tiene que mientras que 21>18 no es cierto que 14>15. Por lo que hemos
encontrado una pareja de nmeros, 7 y 3, que no cumplen la condicin
de equimltiplos.
Hoy da utilizamos esta proposicin para caracterizar la igualdad de
proporciones en el sentido de que, , la definicin de
Eudoxo, se utiliz en el S. XIX para generar una cortadura de Dedekind,
tomando los racionales en dos subclases, segn que o .
Pero la mayor contribucin de Eudoxo a la matemtica fue lo que se
conoce como Mtodo de Exhauscin. Surge de la comparacin entre las
reas de figuras curvilneas o, lo que es lo mismo, la cuadratura de estas,
- 13-
que era uno de los grandes retos de la matemtica griega. En la

proposicin 1 del libro X de los Elementos se recoge la base fundamental
de este mtodo: Dadas dos magnitudes desiguales, si se quita de la
mayor una magnitud mayor que su mitad y, de la que queda una
magnitud mayor que su mitad y as sucesivamente, quedar una
magnitud que ser menor que la magnitud dada. Este enunciado equivale
a los que hoy escribiramos as,
entonces tal que si se verifica que por lo que se
puede afirmar, en trminos actuales que
Veamos la aplicacin que Eudoxo hizo de este mtodo a la
demostracin de que las reas de dos crculos son en s como las reas
de los cuadrados construidos sobre sus dimetros, demostracin que los
Elementos de Euclides recogen en la proposicin 2 del libro X. Sean dos
crculos y de dimetros y y reas y . Se trata de probar que
Veamos que no puede ocurrir que ; en ese caso existira
tal que ; sea como . Inscribimos en los crculos
y dos polgonos regulares de lados y sean y sus reas
respectivas.
Si consideramos las reas intermedias entre los polgonos y los
crculos, es obvio que estas reas intermedias son menores la mitad de
las reas de los crculos. Por lo tanto, si duplicamos el nmero de lados
de los polgonos, estas reas intermedias se van reduciendo hasta que
se tenga , y entonces, dado que , tendremos que
. Ahora bien, se sabe que las reas de los polgonos semejantes
inscritos en crculos son uno a otro como los cuadrados de los dimetros
(Libro XII, prop. 1 de los Elementos), esto es que , y como
habamos supuesto que resulta que ; por lo tanto si

entonces deber ser . Pero es el rea de un polgono inscrito en
el crculo de rea , con lo que tambin
- 14-
Contradiccin, es falsa la premisa de que -.De forma anloga se

comprueba que tampoco puede ocurrir. Con lo cual la nica
posibilidad es que
Arqumedes de Siracusa estudi en Alejandra y fue discpulo de

Euclides. Pero Arqumedes (ca. 287- ca. 212 a. C.) naci y vivi en
Siracusa, su vida ha sido muy novelada, como suele ocurrir con los
grandes. Es sin duda uno de los matemticos ms grandes de la historia.
Fue el primero en expresar con correccin la idea de infinitamente grande
e infinitamente pequeo que expresaba as: Si hay mucho, ste debe ser
a la vez grande y pequeo, y efectivamente grande hasta la inmensidad
y pequeo hasta la insignificancia.
Arqumedes utiliz el mtodo de Eudoxo para resolver los primeros
problemas de integracin. Este mtodo, con un razonamiento formal, lo
expuso en Mtodo de los teoremas deducibles mecnicamente. Con l
da una rigurosa demostracin de la cuadratura de la parbola en la que
emplea, por primera vez en la historia, la suma de una serie geomtrica
infinita. En el ao 225 a. C., escribe Sobre la cuadratura de la parbola
donde obtiene el primer avance importante, calcular que el rea de un
segmento de parbola es igual a del rea de un tringulo con la misma
base y vrtice o del rea de paralelogramo circunscrito.
Dado un segmento parablico con base en el segmento , el punto

es el ms alejado desde la base y se llama vrtice del segmento, y la
(perpendicular) distancia de a es su altura. Arqumedes prob que
el rea del segmento es cuatro tercios del rea del tringulo inscrito .
Esta rea, la del segmento de la parbola, es veces el rea de un
tringulo con la misma base y la misma altura.
En la obra titulada Medicin del crculo demuestra las tres

proposiciones siguientes:
1. Todo crculo es equivalente a un tringulo rectngulo, uno de los
catetos es igual al radio y el otro al permetro del crculo.
2. El rea del crculo es al cuadrado de su dimetro como 11 es a 14.
- 15-
3. El permetro de todo crculo es igual al triple del dimetro

aumentado en un segmento comprendido entre de dicho
dimetro.
Veamos el razonamiento de Arqumedes para demostrar estas

proposiciones. Considera la relacin conocida de que el rea de un
polgono regular de permetro y apotema es . Para demostrar que
Todo crculo es equivalente a un tringulo rectngulo en el que uno de los
catetos es igual al radio y el otro al permetro del crculo considera las
dos figuras: un crculo de radio , circunferencia y rea , y un
tringulo rectngulo con base , altura y rea . La proposicin
sostiene que y para comprobarlo comprueba que no puede ser
, ni .
Supongamos que el rea del crculo es mayor que el rea del
tringulo, esto es que o lo que es lo mismo que es positivo.
Al inscribir un cuadrado dentro de un crculo y dividir en dos partes
iguales repetidamente sus lados, se puede llegar a un polgono regular
inscrito en el crculo cuya rea difiera del rea del crculo en menos que
una cantidad positiva prefijada (Mtodo de Exhauscin), o sea que
llamando al rea del polgono regular inscrito . De ah se
deduce que el rea del tringulo es menor que el rea del polgono
. Por otro lado, el permetro del polgono es menor que el permetro
del crculo, al ser este inscrito y su apotema es menor que el radio, se
tiene que , entonces , contradiccin con que
.
Supongamos ahora que ; en ese caso es positiva,
circunscribimos alrededor del crculo un polgono regular, entonces su
rea es superior a la del crculo, si llamamos al rea del polgono
regular circunscrito, tenemos que, siguiendo un razonamiento similar al
anterior, puedo tomar el polgono de forma que la diferencia con el
crculo sea menor que una cantidad prefijada, esto es ,
resulta entonces que, pero la apotema del polgono es igual al
radio del crculo mientras que el permetro es mayor que la circunferencia
del crculo, entonces , entonces est en
contradiccin con . Por tanto, al no poder ser el rea del crculo ni
mayor ni menor que el rea del tringulo, tiene que ser igual a ella.
Arqumedes dedujo la segunda proposicin una vez demostrada la
tercera, la cual la deduce del siguiente modo: Arqumedes toma un
hexgono inscrito y otro circunscrito al crculo, entonces el permetro del
crculo se encuentra comprendido entre el permetro de los hexgonos
inscritos y circunscritos, esto es
- 16-
Posteriormente duplica el nmero de lados del hexgono, inscribiendo

un dodecgono y calcula su permetro, este proceso le obliga a calcular
la raz de tres con unos mtodos similares a los utilizados por los
babilonios, llegando a la aproximacin Despus contina
con los polgonos de 24, 48 y 96 lados. En cada paso tuvo que aproximar
los valores de races cuadradas desconocidas y al llegar al polgono de 96
lados encontr que
valor que sustituy por los valores ms sencillos
Volvi a repetir los clculos con los polgonos circunscritos de 12, 24,
48 y96 lados llegando a que la razn del permetro del crculo con el
dimetro es menor que , valor que sustituy por . Esto nos da
que Arqumedes lleg, sin conocer todava , a establecer que su valor
est entre 3.1412989 y 3.1428265.
Arqumedes haba obtenido que el rea de dos crculos estn en la
misma proporcin que los cuadrados de sus dimetros, proposicin ya
conocida por Euclides, es decir que el rea de un crculo es igual que
donde es una constante. Esa constante sabemos que hoy da es , y
Arqumedes vuelve a sorprendernos con la aproximacin (el valor real
es 0,785398 y el de Arqumedes es 0,785714). Arqumedes ha
calculado el valor de , como la relacin entre el rea de un crculo y el
cuadrado de su dimetro. Hay que tener en cuenta que la aproximacin
de este valor ha sido una de las constantes en la bsqueda de resultados
matemticos en toda la historia. De hecho, la demostracin de la
irracionalidad de conseguida por Lambert en 1761 se consigue
demostrando la irracionalidad de esa misma fraccin de .
En los libros Sobre la esfera y Sobre el cilindro se dedica al clculo
de superficies no polidricas y al manejo de longitudes de arcos. Expone
que la relacin entre el volumen de un cilindro y de la esfera por l
contenida est en proporcin . Este descubrimiento debi de
satisfacerle especialmente ya que quiso que en su tumba quedara
representada la figura del cilindro y la esfera.
Sobre el mtodo relativo a los teoremas mecnicos, conocido como El
mtodo es sin duda una de las principales obras de Arqumedes. En
1906 Heiberg descubri en una biblioteca de Constantinopla un
palimpsesto, esto es, un pergamino que se ha lavado para poder volver
- 17-
a escribir de nuevo, que procede del siglo X y lavado en el S. XIII para

escribir textos de carcter religioso. Heiberg mediante tcnicas
fotogrficas consigui recuperar 185 pginas donde haba copias de:
Sobre la esfera y el cilindro, Sobre el equilibrio de los planos, Sobre
cuerpos flotantes, la mayor parte de Sobre espirales y parte de Sobre la
medida del crculo. Pero adems pudo descubrir un nuevo texto
desconocido hasta el momento, lo que ser la nica copia superviviente
de El Mtodo. Este documento volvi a perderse tras la primera guerra
mundial y apareci en 1991 en manos de una familia parisina que
intentaba venderlo pensando que era un texto religioso. Al texto se le
haban aadido falsas miniaturas de imgenes con la intencin de
incrementar su valor. Tras numerosos anlisis se comprob que era el
texto descubierto por Heiberg y en 1998 fue sometido a subasta por la
conocida empresa de subastas Christies. Finalmente fue adquirido por
2.2 millones de dlares por una persona annima y que puso el
documento a disposicin de los investigadores en el museo Walters de
Baltimore. En este museo se limpi y proceso el libro con tcnicas
modernas de tratamiento de imgenes, lo que ha permitido rescatar el
texto casi en su totalidad.
Esta investigacin ha permitido comprobar que Arqumedes lleg a
conclusiones sobre suma de indivisibles muy similares a aquellas que
aos ms tarde permitieron la invencin del Clculo diferencial por
Newton y Leibniz. Lo fundamental de los trabajos de Arqumedes, tanto
en matemticas como en fsica, es su estructuracin lgica, el rigor de
sus demostraciones, la originalidad y profundidad de la actividad
intelectual. As como un magistral dominio de las herramientas de
clculo.
La muerte de Arqumedes entra en los dominios de la Leyenda. Con el
asedio de Siracusa por los romanos durante la segunda guerra Pnica,
destac como ingeniero al hacerse cargo de la defensa de la ciudad
cuando sta fue atacada por Roma. Durante dos aos mantuvo en
jaque a la armada de Marcelo; construy mquinas para lanzar piedras a
gran distancia y palancas con las que, con una sola mano, volcaba los
barcos. De ah la famosa frase: Dadme un punto de apoyo y mover el
mundo. Se dice, aunque ms bien parece cosa de leyenda, que incendi
las embarcaciones de los sitiadores por medio de un sistema de espejos
parablicos. Finalmente cuando los romanos lograron entrar en Siracusa,
segn cuenta Plutarco en Vidas Paralelas, Marcelo quiso conocer a
Arqumedes y orden que lo trajeran vivo a su presencia. Arqumedes
absorto en la resolucin de un problema no respondi a las rdenes de
un soldado romano quien, sin conocerle, se irrit al no obtener de l
ninguna respuesta y lo mat.
El gran trabajo de Apolonio de Perga (ca. 262- ca. 190 a. C.) en
matemticas es Cnicas, aunque estas fueron estudiadas mucho antes
- 18-
por otros matemticos, fue Apolonio quien les dio una forma sistemtica.
Se sabe que Apolonio escribi adems varias obras: Reparto rpido,
Seccin de una razn dada, Secciones en un rea dada, Secciones
determinadas, Tangencias, Inclinaciones y Lugares Planos. No se
conserva ningn original de estas obras, sin embargo podemos conocer
el contenido de ellas con bastante precisin segn las
descripciones de Pappus. Por ejemplo, de Lugares
planos se sabe que trat los siguientes problemas:
1. El lugar geomtrico de los puntos tales que la
diferencia entre los cuadrados de sus distancias
a dos puntos fijos es constante. (La solucin es
una recta perpendicular a la que determinan
estos dos puntos).
2. El lugar geomtrico de los puntos cuya razn de
distancias a dos puntos fijos es constante y
distinta de uno. (Es una circunferencia, conocida
como crculo de Apolonio)
Pero una de las principales contribuciones de
Apolonio es el sistema utilizado para la representacin
del movimiento de los planetas: los ciclos y epiciclos.
Propuso dos sistemas:
Sistema epicclico: el planeta P se mueve girando
uniformemente sobre una circunferencia que tiene su centro C sobre
otra mayor o deferente, con centro en la Tierra (E).
Sistema excntrico: el planeta P se mueve uniformemente sobre una
circunferencia de centro C que est sobre un crculo menor con
centro en la Tierra (E).
Es evidente que si las distancias de P a C en el sistema epicclico es la
misma que la distancia de C a E en el excntrico el movimiento de P es
equivalente en los dos casos.
Este sistema alcanz gran popularidad entre los astrnomos
durante ms de 1800 aos debido a que fue adoptado por Ptolomeo
en su Almagesto.
Veamos algunas curiosidades de las Cnicas, de esta obra se
conserva la mitad del original, cuatro de los ocho libros que lo
componen, aunque Thabit ibn Qurra tradujo otros tres al rabe antes de
que se perdieran. En 1710 Edmund Halley public una traduccin al latn
de los siete libros y desde esta se han realizado despus muchas otras
versiones. En esta obra Apolonio da la definicin de cono (de dos hojas)
que actualmente manejamos, el generado por una recta que gira sobre
un punto fijo y una circunferencia que no est el en mismo plano que el
punto. Adems da el nombre a las cnicas: elipse, parbola e hiprbola
que obtiene y estudia en profundidad en ese cono. Es el primero en
- 19-
considerar la hiprbola como una curva de dos ramas en vez de dos

curvas diferentes.
Adems propuso un problema que ha jugado un papel importante a
lo largo de la historia: El lugar geomtrico determinado por tres o cuatro
rectas. Se trata de lo siguiente: dadas tres (o cuatro) rectas en un
plano, hallar el lugar geomtrico de un punto P que se mueve de tal
manera que el cuadrado de la distancia de P a una de estas rectas es
proporcional al producto de las distancias de las otras dos midiendo
siempre estas distancias en direcciones que formen ngulos dados con
las lneas correspondientes. En el caso de las cuatro rectas el producto
de las distancias a dos de ellas es proporcional al producto de las
distancias a las otras dos. Con los mtodos analticos modernos es fcil
demostrar que este lugar geomtrico es una cnica, en el caso de
tcnicas geomtricas no es sencillo, Apolonio necesit ms de 50
proposiciones para dar la solucin. Si las rectas tienen ecuaciones
,
, y los ngulos segn los cuales
hay que medir las distancias son y entonces el lugar
geomtrico es:
Que al ser una ecuacin de segundo grado sobre y es, en general,

el lugar geomtrico es una cnica. Posteriormente, Pappus, propuso una
generalizacin de este problema para ms de cuatro rectas y fue esta
generalizacin del problema la utilizada por Descartes en 1637 para
demostrar la utilidad de su geometra analtica.
Los mtodos de Apolonio no difieren en gran medida del
planteamiento analtico moderno, su mtodo se ha llegado a considerar
como una anticipacin a la geometra analtica de Descartes. Utiliza
rectas para establecer sistemas de referencia, las distancias medidas
sobre un dimetro a partir de un punto de tangencia son las abscisas y
los segmentos paralelos a la tangente, interceptadas por el dimetro y la
tangente son las ordenadas. Lo que no se consideraban era magnitudes
negativas y cada curva tena un sistema de referencia propio y diferente
del de otras curvas. No se planteaba describir una curva a partir de un
sistema de referencia, sino al revs, el sistema de referencia depende de
la curva.
Aristarco de Samos (ca. 310 - ca. 230 a. C) escribe sobre el 260 a. C.
el libro Sobre los tamaos de y distancias del Sol y la Luna, en el que
supone un universo geocntrico, a pesar de que segn Arqumedes y
Plutarco, haba expuesto un sistema astronmico heliocntrico. En esta
obra, Aristarco realiza la observacin de que cuando la Luna est
exactamente medio llena, el ngulo entre la visual dirigida al centro del
- 20-
Sol y la visual dirigida al centro de la Luna es menor que un ngulo recto

en un treintavo de ese cuadrante (esto es ). Al no disponer
de tablas trigonomtricas, Aristarco recurre a las desigualdades
siguientes , para 0< < < 90.
De aqu llega a la conclusin de que , con lo que el Sol

est entre 18 y 20 veces ms lejos que la Luna. Hay que destacar que si
bien los resultados se alejan mucho de la realidad, ms de 400 veces
ms lejos, el procedimiento es totalmente correcto y los resultados
seran vlidos si en vez de obtener un ngulo de 87 hubiera obtenido los
89 50 correctos. A partir de aqu y con una sencilla semejanza de
tringulos obtuvo la relacin de radios entre el Sol y la Luna con la
Tierra.
Para conseguir una estimacin de los tamaos reales de la tierra y el
sol, se necesitaba medir el radio de la Tierra. Entonces Eratstenes de
Cirene (ca.276 - ca. 195 a. C.) realiza los clculos ms precisos de la
poca griega. Eratstenes observ que el da del solsticio de verano, a
medioda, el Sol alumbraba directamente en vertical el fondo de un pozo
muy profundo en Syena (cerca de Assuan).
Con ayuda de un compaero observaron que en Alejandra, a unos
5000 estadios al norte de Syena, el Sol proyectaba una sombra que
indicaba que el ngulo con el cenit del Sol era de un cincuentavo del
crculo, entonces, por la igualdad de ngulos y , la
circunferencia de la tierra debe ser de 50 veces la distancia entre Syena
y Alejandra. Esto supone un permetro de 250000 estadios, o bien, como
cada estadio son unos 185 m., unos 46000 Km. Posteriores
aproximaciones llegaron a 252000 estadios, unos 46620 Km.

Otro hecho por el que Eratstenes es conocido es por su famosa
criba. Es un mtodo para obtener los nmeros primos. Escribe en una
tabla todos los nmeros naturales ordenados de forma creciente, a partir
del dos se va suprimiendo alternativamente uno s, el siguiente no, a
partir del tercer nmero (de la sucesin original) se suprime cada tres,
as sucesivamente. Los huecos que quedan son los nmeros primos.
Esto se conoce como La criba de Eratstenes.
- 21-
Claudio Ptolomeo (ca. 83 - ca. 161) escribi el

libro Sintaxis Matemtica que tuvo gran
trascendencia en las obras astronmicas y
trigonomtricas posteriores, hasta el punto que en
Arabia se le conoca como Almagesto (el ms
grande) y desde entonces se le conoce con este nombre. En este libro
se exponen una gran cantidad de tablas trigonomtricas y los mtodos de
clculo empleados. Entre esas construcciones est el clculo de cuerdas
en un crculo, de aqu surge el conocido teorema de Ptolomeo:
Teorema: Si es un cuadriltero convexo inscrito en una
circunferencia, entonces , es decir la suma
de los productos de lados opuestos, es igual que el producto de las
diagonales.
La demostracin es sencilla si trazamos el segmento tal que el

ngulo sea igual al ngulo y observamos que el tringulo
es semejante entonces al tringulo y tambin es semejante a
, entonces o lo que es lo mismo .
Como tambin se tiene que entonces .
Sumando miembro a miembro ambos resultados.
A partir de aqu considera el caso en el que es un dimetro,

entonces si llamamos a , al arco y al arco ,
entonces , ,
y
- 22-
Por lo tanto, el teorema de Ptolomeo conduce a los siguientes

resultados conocidos:
De forma similar se obtendran
3. La matemtica china
La civilizacin china, una de las ms antiguas del mundo situemos

cientficamente tiene sus los orgenes unos milenios antes de los griegos.
Entre los muchos autores que podran destacarse, sealamos al
matemtico, gegrafo y astrnomo Zhang Heng (78 - 139), lleg a ser
Astrlogo Jefe y Ministro bajo el Imperio Anti de China. En el ao 123
corrigi el calendario para introducir las estaciones. Posteriormente, en
132, Heng invent el primer seismoscopio para medir terremotos. El
aparato tena forma de cilindro con ocho cabezas de dragn rodeando la
parte superior, cada dragn tena una bola en la boca. Rodeando la parte
inferior haba ocho ranas, debajo de cada una de las cabezas de dragn.
Cuando ocurra un terremoto una bola caa desde la boca del dragn
hasta la boca de la rana haciendo ruido. Heng fue la primera persona en
China en construir un Globo celeste giratorio. Escribi sobre el tema en
su libro Hun-i chu donde describe su versin del universo: El cielo es
como un huevo de gallina, y da vueltas como el perdign de una
ballesta. La tierra es la yema del huevo, completamente sola en el
centro. El cielo es grande y la tierra es pequea.
La civilizacin china tambin realiz aproximaciones al nmero , en
el S. III Liu Hiu, mediante el clculo a travs de un mtodo similar al de
Arqumedes con un polgono de 3072 lados llega a la aproximacin de
3.14159 y, posteriormente, Tsu Cheng-Chih llega al valor de 3.1415927
por exceso y 3.1415926 por defecto, situndolo muy cerca del valor real.
Uno de los documentos ms antiguos es el Chui-chang suan-shu o
Nueve captulos sobre el arte matemtico, es la obra que
probablemente ejerci la mayor influencia de todos los libros chinos.
- 23-
Contiene 246 problemas sobre agrimensura, agricultura, compaa,

ingeniera, impuestos, clculo, resolucin de ecuaciones y propiedades de
los tringulos rectngulos. Entre las tcnicas de resolucin expuestas
destaca el mtodo de la falsa posicin.
Uno de los problemas ms conocidos del noveno y ltimo captulo de
libro es el problema del bamb roto: Hay un bamb de 10 pies de
altura que se ha roto de tal manera que su extremo superior se apoya en
el suelo a una distancia de tres pies de la base, se pide calcular a qu
altura se ha producido la rotura.
Es muy destacable en los Nueve captulos la introduccin de los
cuadrados mgicos; segn cuenta una leyenda, en los das del
emperador Yii, famoso ingeniero hidrulico, vio una tortuga del ro que
llevaba en su caparazn el siguiente cuadrado mgico:
4 9 2
3 5 7
8 1 6
Tambin destacamos la resolucin de un sistema de ecuaciones

mediante el mtodo que hoy conocemos como Mtodo de Gauss. Para a
resolver el siguiente sistema de ecuaciones lineales:
escribiendo el sistema en columnas y mediante operaciones sobre dichas

columnas de la matriz reducindola a la forma triangular
con lo que se obtiene el sistema de ecuaciones
de donde se obtiene fcilmente, y de forma sucesiva que las soluciones

son
Uno de los ltimos matemticos chinos fue Chu Shih-Chieh (ca. 1270
- ca.1330), que escribi dos tratados Suan-hseh chi-meng o
Introduccin a los mtodos matemticos, que estuvo desaparecido
- 24-
hasta el S. XIX y que no es ms que un libro de matemtica elemental. El

otro Ssu-yan y-Chien o Espejo precioso de los cuatro elementos,
escrito en 1303 y que estuvo tambin perdido durante un siglo, marca la
cota del desarrollo chino donde se dan mtodos para resolver
ecuaciones individuales de grados hasta 14. Se desarrolla el mtodo de
resolucin Horner, llamado por l fan fa, si se pretende resolver la
ecuacin obtenemos la primera aproximacin, que
es o , se aplica, el fan fa que es la transformacin
, para obtener la ecuacin , el valor
aproximado de la raz de esta ecuacin est entre y , y es
, por lo tanto la solucin a nuestra ecuacin es .
Otro trabajo destacable es el de Chin Chiu Shao (cas 1202 - ca.

1261) que en su libro Shu-Shu Chiu-Chang o Tratado matemtico en
nueve secciones marca un sistema de congruencias simultneas que
posteriormente fue utilizado por Gauss, Lebesgue y Stieltjes. Adems es
curioso que utiliza reiteradamente el mtodo Horner para calcular la raz
cuadrada de 71824. En primer lugar parte de la ecuacin ,
determina que la solucin es mayor de , por tanto aplica la
transformacin x = y 200 llegando a la ecuacin
. Para esta segunda ecuacin encuentra que es una aproximacin de
la raz y aplica la transformacin ., obteniendo la ecuacin
de la que es una raz, y por tanto encuentra que
De una forma anloga llega a resolver ecuaciones cbicas y
curticas.
Otro matemtico chino fue Yang Hui (ca. 1238 - ca. 1298) que
escribi Cheng Chu Tong Bian Ben Mo o Alfa y omega de variaciones en
multiplicacin y divisin. A l se le deben los primeros cuadrados
mgicos chinos de orden mayor que tres y hasta el orden diez, de hecho
dio dos ejemplos de cada orden hasta el ocho, un ejemplo de nueve y
otro de diez. Este tipo de cuadrado ha intrigado a mucha gente desde
entonces, incluso el mismsimo Benjamin Frankiln, diputado por
Filadelfia y redactor, junto a Jefferson y Adams, de la declaracin de
Independencia de los Estados Unidos e inventor del pararrayos, en los
debates polticos del congreso se dedicaba a confeccionar cuadrados
mgicos cuando estos se volvan tediosos.
4. Las matemticas rabes
Mahoma nace aproximadamente en el ao 570 en La Meca y muere

en Medina en el ao 632. Un siglo despus los rabes tienen el control
del Imperio Bizantino, Egipto, Siria, Persia, la India, etc. En el ao 755 el
estado islmico se escindi en dos partes, el reino occidental, con capital
- 25-
en Crdoba, y la oriental en Bagdad. Los rabes recogen la herencia

griega, los trabajos de Diofanto, etc. Alrededor del 800 traducen al rabe
los Elementos de Euclides de los bizantinos. Traducen a Ptolomeo en el
ao 827. Tambin, entre otros, a Apolonio, Arqumedes, Hern y las
obras hindes. Conocieron el sistema posicional de los hindes, pero a
pesar de que estos ltimos aceptaban los nmeros negativos, ellos los
rechazaron. Del 650 al 750 fue un desierto intelectual.
De no ser por el despertar cultural de la civilizacin rabe durante la
segunda mitad del siglo VIII, se habran perdido una gran cantidad de
obras y conocimientos de ciencia y matemtica. En esa poca el imperio
rabe estaba escindido en dos reinos con capitales en Bagdad y Crdoba.
Las dos capitales atrajeron a cientficos y apoyaron fuertemente su
trabajo, si bien Bagdad fue la que realiz una labor ms importante. Los
sabios procedentes de Siria, Irn y Mesopotamia, judos o cristianos,
fueron trasladados a Bagdad y formaron la Casa de la Sabidura
comparable al Museo de Alejandra. Los Califas Al-Mansur , Harun Al-
Rasid y Al-Mamun convirtieron a Bagdad en centro de la cultura, durante
el reinado del segundo, conocido por Las mil y una noches, se tradujeron
al rabe parte de la obra de Euclides, pero fue durante el reinad de Al-
Mamun (809 - 833) cuando se dieron rienda suelta a las traducciones.
Se dice que Aristteles se le apareci al Califa y a consecuencia de ello
decidi traducir al rabe todas las obras griegas, de los bizantinos
trajeron los Elementos de Euclides, en 827 tradujeron el Almagesto y
Tetrabiblos de Ptolomeo, y muchas otras obras de Arqumedes,
Aristteles, Apolonio, Hern, Diofanto y obras de origen hind.
Despus de leer y asimilar las obras se dedicaron a mejorarlas e
introducir comentarios en ellas. En este proceso surgen grandes
cientficos y matemticos como Abu Jafar Muhammad ibn Musa Al-
Khwarizmi (ca. 780 - ca. 850). El tratado sobre lgebra Hisab al-jabr
wal-muqbala, escrito en el 830, es el ms famoso e importante de
todos los trabajos de Al-Khwarizmi. En este libro de inspiracin en la obra
de hind Bramagupta (c. 598), aunque tambin tiene influencias
babilnicas y griegas, introduce mtodos de resolucin de ecuaciones
lineales y de todos los tipos de ecuaciones cuadrticas. Al-jabr significa
restauracin del equilibrio mediante la transposicin de trminos de
una ecuacin; muqbala significa la simplificacin de la expresin
mediante la cancelacin de trminos semejantes de cada lado de la
ecuacin. Trata tambin de problemas geomtricos, de clculo de
volmenes y reas y de la aritmtica de objetos algebraicos.
Precisamente cuando se tradujo esta obra al latn, se conocen dos
versiones, una en rabe y, la primera del S. XII, se tradujo como Ludus
algebrae et almucgrabalaeque, (Juegos de restauracin y simplificacin).
En todas las traducciones aparece la adaptacin de Al-jabr a la palabra
actual lgebra, por ejemplo, la traduccin Liber algebrae et almucabala, a
- 26-
la que le falta el prlogo.

En este prlogo Al-Khwarizmi nos indica que el Califa Al-Mamun le
anima a: ... componer una obra breve sobre el Clculo por las reglas de
la Completacin y de Reduccin, limitndose a lo que es a la vez ms
fcil y ms til en la aritmtica, y tal como lo que los hombres necesitan
constantemente en los casos de herencias, legados, particiones, pleitos,
as como en el comercio y en todas sus relaciones unos con otros, o
donde se necesitan mediciones de tierras, excavaciones de canales,
clculos geomtricos y otros asuntos de muy diversos tipos.
El libro se inicia con una introduccin sobre notacin posicional para
los nmeros y expone, en seis captulos, la solucin de los seis tipos de
ecuaciones considerando la presencia de los tipos de cantidades: Tesoro
(cuadrados), races y nmeros, esto es, x2, x y nmeros. As se obtienen
las siguientes ecuaciones:
Tesoro igual a races

Tesoro igual a nmeros
Races igual a nmeros
Tesoro y races igual a nmeros
Tesoro y nmeros igual a races
Tesoro igual a races y nmeros
Donde a, b y c son siempre positivos. En su trabajo evita los

nmeros negativos en solitario y la sustraccin de cantidades mayores
que el minuendo. Al-Khwarizmi reconoce que una ecuacin cuadrtica
puede tener dos races, pero da solamente las que son reales y positivas,
aunque sean irracionales. Las soluciones estn formuladas en forma de
recetas orientadas a completar cuadrados y aplicados a ejemplos
concretos. Las frmulas se justifican mediante construcciones
geomtricas. Veamos a continuacin la forma de resolver ecuaciones de
segundo grado propuestas por Al-Khwarizmi, concretamente nos
referimos al cuarto caso, una ecuacin del tipo:
Debes tomar la mitad del nmero de races, esto es cinco,

y multiplicarlo por s mismo y obtienes 25, al que le sumas
el nmero 39, con resultado 64. Tomas la raz cuadrada
de este nmero que es 8 y le restas la mitad de las races
y obtienes 3, que es el valor buscado
En notacin moderna tendramos que que se

corresponde para una ecuacin, en general, de la forma q, con
observar que la ecuacin se transforma en y
- 27-
como , se tiene que
Al-Khwarizmi aporta una justificacin geomtrica en la que para

resolver esta ecuacin identifica con un cuadrado unido a un rectngulo
de altura x y base 10, esta figura tendr un rea total de 39 unidades.
Contina con la divisin del rectngulo en dos partes iguales, de base

5 cada una, trasladando y girando 90 se llega a la figura:
Completando sta con un cuadrado de lado 5, tendramos una figura

en la cual el rea total es de unidades y que tambin es un
cuadrado de lado .
Pero, como su rea es de 64 unidades, el lado debe ser 8, y por
tanto x debe ser 3. En este caso, aunque Al-Kwarizmi es consciente de
que la solucin 7, tambin es posible, no la contempla por ser
negativa.
Otro ejemplo interesante es la resolucin del quinto caso: Divide 10
en dos partes, multiplica cada parte por s misma, sumas y obtendrs 58
dirhams. La solucin que l expone para este problema es la siguiente:
Llamamos a una de las partes x, la otra ser , multiplcala por si
misma, as obtendrs , y multiplicando por , tendrs
. Smalas y obtendrs , 58 dirhams. Enriquece los
del deficiente que aadirs a los 58 obteniendo
- 28-
,
Devuelve esto a un nico , lo que hars tomando la mitad de todo lo
que tienes, obtendrs
x.
Haz el equilibrio ah dentro, es decir quita de los 50 los 29, se quedar
Debes tomar la mitad del nmero de las races, en este caso 5,

multiplcalo por s mismo, obtienes 25 al que debes restar los nmeros,
en este caso 21, obteniendo 4. Extrae la raz cuadrada que es 2 y lo
restas del nmero de la mitad de las races, que era 5, y obtienes 3 que
es la solucin. Si deseas puedes tambin sumar ese valor 2 a la mitad
de las races que es 5 y obtienes 7, que tambin es solucin. Cuando un
problema est dado en esta forma, puedes ensayar con la adicin. Si no
resulta, es indudable que resultar con la sustraccin. Este es el nico
caso en que hay que tomar la mitad de las races, y que puede ofrecer
solucin por adicin o sustraccin.
Si observamos este procedimiento de forma geomtrica, vemos que
la solucin para este problema es la siguiente: Supone que es un
cuadrado de lado desconocido x y aade un rectngulo de la misma

altura y base indeterminada pero con rea 21.
Al ser igual que , como la altura de la figura es x, entonces la base
debe ser 10, por lo que divide esta base por la mitad y levanta un
cuadrado con este lado.
Ahora resta un cuadrado desde la parte superior del cuadrado de
lado 5 y las reas sombreadas son iguales.
Por lo tanto el rea sombreada de la siguiente figura tambin es 21.
Pero el rea del cuadrado grande era 25, por lo que el rea del
cuadrado ms pequeo es , de donde su lado es 2 y por tanto,
, que es la altura del rectngulo, mide . Utilizando un dibujo
- 29-
semejante Al-Khwarizmi encuentra la otra solucin positiva x = 7.

Otros libros interesantes de Al-Khwarizmi son: Algoritmi de numero
Indorum, slo se conserva una traduccin al latn, habla sobre el
funcionamiento del sistema decimal de numeracin y del cero que se
usaba en la India; Sindhind zij sobre astronoma, basado en los trabajos
hindes sobre astronoma y en l expone calendarios; clculos correctos
de la posicin del Sol, la Luna y varios planetas; tablas de senos y
tangentes; astronoma esfrica; tablas astrolgicas; clculos de eclipses
y visibilidad de la Luna. Al-Khwarizmi tambin escribi el mayor trabajo
de la poca sobre geografa, en l daba las latitudes y longitudes de 2402
localizaciones de todo el mundo: ciudades, montaas, mares, islas,
regiones geogrficas y ros.
El S. IX es un siglo fundamental para la matemtica rabe, adems
de las obras de Al-Khwarizmi, tenemos a Abu-I-Hasan Thabit Ibn-Qurra
ibn Marwan al-Harrani (826 - 901), que fue fundador de una escuela de
traductores, especialmente del griego y del sirio. A l se le deben las
traducciones de las obras de Euclides, Arqumedes, Apolonio, Ptolomeo y
Eutocio. De no ser por Ibn Qurra, conoceramos los cuatro primeros libros
de las Cnicas de Apolonio en vez de los siete primeros. Pero Thabit
adems de traducir las obras intentaba generalizar y sugerir
modificaciones. Una de las ms notables es la siguiente: si son
nmeros primos de la forma: y
entonces los nmeros y son nmeros amigos, es
decir, cada uno de ellos es igual a la suma de todos los divisores propios
del otro.
En el libro Sobre el movimiento de las estrellas, escrito por Abu
Allah Mohammad ibn Jabir Al-Battani (ca. 850 - 929), que se le conoce
en Europa como Albategnius, nos encontramos las ideas bsicas de la
trigonometra moderna. Y en esa misma poca Abul-Wefa Muhammad
inb Yahya ibn Ismail ibn al-Abbas al Buzgani (940 - 998) ordena el
Almagesto de Ptolomeo reemplazan- do el clculo con cuerdas por la
utilizacin de la funcin seno. Da las frmulas de seno de ngulo doble y
ngulo mitad. Desarroll con una formulacin clara y precisa el teorema
de los senos para tringulos esfricos, construy una nueva tabla de
senos de ngulos de cuarto en cuarto grado con ocho cifras decimales,
una tabla de tangentes, y todos sus clculos los hizo utilizando las seis
razones trigonomtricas y sus relaciones.
Su sucesor, Abu Bakr Muhammad ibn al-Hassan al-Hasib al-Karkhi (
ca.1020) se interes ms por el lgebra de Al-Khwarizmi y lleg a
realizar la primera resolucin numrica de una ecuacin de la forma
c, en la que slo consideraba las races positivas
abandonando la restriccin diofntica de no tener en cuenta ms que los
nmeros racionales. Se le considera el primer rabe que enunci y prob
teoremas de la teora de nmeros sobre la suma de cuadrados y de
- 30-
cubos para los primeros nmeros naturales.

Hemos de destacar tambin a Abu Rayhan Muhammad ibn Al-Buruni
(973- 1048) quien para resolver la inscripcin del polgono de nueve
lados en una circunferencia llega a la conclusin de que el problema se
reduce a la resolucin de la ecuacin , dando una solucin
aproximada en fracciones sexagesimales equivalente a 1.8798352468,
con una precisin de al menos seis cifras decimales exactas.
Abu Ali al-Hasan ibn Al-Haytam (ca. 965 - 1039), conocido como
Alhazn en occidente, fue uno de los grandes mdicos y matemticos
rabes. Se conocen ms de 92 ttulos de sus obras, de ellas 25 versaban
sobre matemticas. En el tratado ms importante, Los tesoros de la
ptica, realiza una contribucin muy importante al sustituir los rayos
visuales , que segn Ptolomeo partan del ojo, por rayos luminosos que
van desde el objeto hasta el ojo. Analiz el aumento aparente de las
dimensiones de la Luna cerca del horizonte, la estimacin de la altura de
la atmsfera partiendo de la observacin de que los rayos del Sol
permanecen visibles hasta el momento en el que el Sol est situado a
191 por debajo del horizonte. Dej un problema, conocido con su
nombre: Dado un espejo esfrico, encontrar un punto del mismo que
tenga la propiedad de reflejar hacia un observador un rayo luminoso que
parte de una fuente neta.
Llegamos a Abu-I-Fath Umar ibn Ibrahim al-Jayyami Giyat al-Din (ca.
1048- ca. 1122), que era poeta, algebrista y reformador del antiguo
calendario persa. Escribi un lgebra que extenda la Al-Khwarizmi hasta
las ecuaciones cbicas. Para las ecuaciones cuadrticas daba dos tipos
de soluciones: las aritmticas y las geomtricas, mientras que para las
ecuaciones cbicas pens que no habra posibilidad de dar soluciones
aritmticas, por lo tanto slo daba soluciones geomtricas. Utiliz la idea
expresada por Mecnemo, Arqumedes y Alhazn de utilizar intersecciones
de cnicas para resolver las ecuaciones cbicas, aunque su xito se basa
en dar un mtodo general para cubrir todas las ecuaciones cbicas que
tengan alguna raz positiva. A este respecto Umar Jayyam expresa la
observacin siguiente: esto no puede resolverse por medio de la
geometra plana debido a que tiene un cubo, para resolverlo necesitamos
secciones cnicas. Los mtodos que utilizaba Umar Jayyam para resolver
ecuaciones cbicas se pueden expresar actualmente de una forma ms
sencilla: Sea la ecuacin cbica si sustituimos en
ella por obtenemos , que es la
ecuacin de una hiprbola, entonces la solucin de la ecuacin cbica es
la interseccin de la hiprbola y la parbola de ecuacin
Para tomar conciencia de la dificultad de mtodo utilizado, hay que
tener en cuenta que Umar Jayyam no tena bien asimilada la raz
negativa, la expresin de una cnica en trminos de parmetros, los
coeficientes negativos o cero, el conocimiento de todas las intersecciones
- 31-
de cnicas, etc.
A todo esto hay que aadir que, mientras que en el lgebra griega las
soluciones geomtricas se obtenan por segmentos y daban segmentos,
el tratamiento de Umar Jayyam era con nmeros. En este sentido
podemos afirmar que, en cierta forma, se anticipa a Descartes cuando
afirma: Quien quiera que piense que el lgebra es un sistema de trucos
para obtener los valores de incgnitas, piensa vanamente. No se debe
prestar ninguna atencin al hecho de que el lgebra y la geometra son
en apariencia diferentes. Los hechos del lgebra son hechos geomtricos
que estn demostrados.
En el texto de su lgebra expresa que ha encontrado una regla para
hallar las potencias cuartas, quintas, sextas y de grado ms elevado de
un binomio, pero hasta ahora no se ha encontrado dicho texto. Se
supone que debido a las conexiones de China con Persia por la antigua
ruta de la seda pudo pasar alguna informacin cientfica y entre ella el
conocido tringulo de Pascal, que segn todos los indicios, apareci en
China por esa misma poca. En este tringulo podra ser la referencia de
Umar Jayyam para las potencias del binomio.
Como hemos visto hasta el momento, los rabes se sentan ms
atrados por el lgebra y la aritmtica que por la geometra. Sin
embargo, hay un aspecto de sta que merece un anlisis ms detallado.
Ya en la poca de Euclides, como habamos comentado, hubo intentos de
demostrar el quinto postulado de Euclides a partir de los otros cuatro.
Los rabes continuaron con este intento, en este sentido Alhazn
comenz considerando un cuadriltero trirectngulo, cuadriltero
conocido hoy como cuadriltero de Lambert, en su demostracin
supona Alhazn que el lugar geomtrico de un punto que se mueve
permaneciendo a una distancia constante de una recta dada es siempre
otra recta paralela a la dada, hiptesis equivalente al postulado de
Euclides. Umar Jay- yam critic, en su obra Comentarios sobre las
dificultades de los postulados de los Elementos de Euclides, este
planteamiento ya que la idea de movimiento haba sido excluido, de
forma terminante por Aristteles, en la geometra. Entonces inici su
planteamiento partiendo de un cuadriltero que tiene dos lados
semejantes y perpendiculares a la base, lo que hoy se conoce como
cuadriltero de Saccheri, y se pregunta sobre la naturaleza de los
ngulos superiores del cuadriltero que son necesariamente iguales.
Elimina, en virtud de la convergencia de dos lneas que implica una
interseccin comn, la posibilidad de que sean agudos y obtusos, por lo
que solo seran rectos.
De esta forma mediante 4 principios y 8 proposiciones desarrolla una
argumentacin que, por primera vez en la historia, conduce a la hiptesis
del ngulo agudo, del ngulo obtuso y del ngulo recto. Estas tres
hiptesis fueron ampliamente estudiadas por Girolano Saccheri (1667 -
- 32-
1733) y condujeron respectivamente a la geometra no eucldea de

Bolyai-Lobatchevski y a la geometra de Riemann.
En esa misma obra, Comentarios, realiza una exposicin crtica de la
teora de las proporciones de los Elementos de Euclides. Su formulacin
sobre la igualdad de dos proporciones podemos considerarla como un
avance de la teora de Dedekind y Cantor sobre la definicin del nmero
real, de hecho afirma: dos razones son iguales si pueden ser
expresadas mediante la razn de nmeros enteros, con un nivel de
precisin tan grande como se desee. Es, indudablemente, una igualdad
en la que recurre a la idea actual de lmite.
Tras la muerte de Umar Jayyam la ciencia rabe entra en un proceso
de decadencia. Las discordancias de tipo religioso y poltico podran estar
entre las causas de esta decadencia. En esta decadencia an quedan
unos pocos trabajos que destacan. Uno de ellos es el de Nasir al-Din al-
Tusi (1201 - 1274), astrnomo al servicio del nieto de Gengis Khan, que
continu con los esfuerzos de demostrar el axioma de las paralelas, sus
trabajos fueron publicados en el S. XVII por Wallis y parece ser que son
la base de los trabajos de Saccheri. Tambin escribi el primer tratado
sistemtico de trigonometra plana y esfrica exponindolo como una
materia independiente de la astronoma. Tambin se le debe una de las
primeras crticas a la teora de ciclos y epiciclos de Ptolomeo, en su
trabajo indicaba que si daban ciertas condiciones el movimiento del
planeta podra ser rectilneo. El resultado se conoce como el Teorema
de Nasir al-Din.
Finalmente sealamos tambin a Ulugh Beg (1394 - 1449), quien a
los diecisis aos fue gobernador de Samarcanda, convirtindola en un
importante centro militar, poltico y cultural de la zona. Ulugh Beg era en
primer lugar cientfico, fundamentalmente matemtico y astrnomo, pero
tambin se dedicaba a la poesa, teologa e historia. En este ltimo
campo escribi Historia de los cuatro Uls (tribus oriundas de Gengis
Kan). Construy el observatorio de Samarcanda y escribi excelentes
libros sobre mtodos numricos de resolucin precisa para ecuaciones
cbicas, teoremas del binomio, frmulas de trigonometra esfrica.
Elabor tablas precisas de senos y tangentes con hasta ocho decimales
correctos y es especialmente importante su Catlogo de las estrellas de
1437, el primer compendio estelar desde Ptolomeo, que da la posicin
de 992 estrellas. Un ejemplo de sus tablas trigonomtricas es
mientras que la aproximacin correcta es
.
Lleg a establecer que un ao solar tiene una duracin de 365 das 5
horas 49 minutos y 15 segundos, muy cercana a la que hoy da se
considera de 365 das 5 horas 59 minutos y 45,5 segundos. Teniendo en
cuenta que hay una variacin de aproximadamente medio segundo por
siglo, la medida de Ulugh Beg se puede considera muy buena. Al
- 33-
servicio de Ulug Beg se encontraba Ghiyath al-Din Jamshid Masud al-

Kashi (ca. 1380 - ca. 1429), cientfico y escritor fecundo que cuenta en
su haber numerosas obras sobre matemticas y astronoma. Su
estimacin del nmero , utilizando el mtodo Horner, no fue mejorada
hasta finales del siglo XVI. Con este mtodo lleg a dar el valor de 2,
en forma sexagesimal: 6; 16, 59, 28, 34, 51, 46, 15, 50, y en forma
decimal: 6,2831853071795865. Tambin nos encontramos en su obra el
desarrollo del binomio en la forma del tringulo de Pascal.
5. De la Edad Media al Renacimiento
Para analizar bien el paso de la ciencia por la Edad Media es

inevitable tropezar con el desarrollo de la Iglesia. Demos un breve repaso
a la situacin de Europa en esta Edad Media, a principios del S. IV los
hunos condujeron hacia el oeste a los godos y a las tribus germnicas
que ocupaban Europa central.
En el S. V los godos conquistaron el Imperio Romano de Occidente.
Incluso antes de la cada del Imperio Romano, la Iglesia Catlica estaba
organizada y era poderosa. La iglesia convirti gradualmente a los
brbaros germnicos y godos al cristianismo y comenz a fundar
escuelas; estas estaban asociadas a monasterios ya existentes, que
conservaban fragmentos de las culturas griega y romana y haban estado
enseando a la gente a leer los servicios de la iglesia y los libros
sagrados. La necesidad de formar hombres para puestos eclesisticos
motiv el desarrollo de escuelas superiores.
En la ltima mitad del s. VIII, algunos dirigentes seglares fundaron
ms escuelas. En el imperio de Carlomagno, las escuelas fueron
organizadas por Alcuino de York (730 - 804), un ingls que vino a Europa
por invitacin del mismo Carlomagno. Estas escuelas tambin estuvieron
asociadas a catedrales o monasterios, y enfatizaban la teologa cristiana
y la msica. En realidad, las universidades en Europa se desarrollaron a
partir de las escuelas eclesisticas, con profesores suministrados por las
rdenes religiosas, como los franciscanos y los dominicos. Bolonia, la
primera universidad, fue fundada en 1088 y le siguieron las
universidades de Pars en 1200, Oxford en 1214, Padua en 1222 y
Cambridge en 123. Por supuesto que, en sus comienzos, difcilmente
podan ser consideradas como universidades en el sentido actual.
Adems, aunque formalmente eran independientes, estaban
esencialmente dedicadas a los intereses de la Iglesia.
A medida que la Iglesia extenda su influencia, iba favoreciendo e
imponiendo una determinada cultura, el latn era la lengua oficial de la
Iglesia y por ello se convirti en el lenguaje internacional de la ciencia.
- 34-
Se impona la necesidad de unos traductores. El principal traductor,

cuyas obras fueron ampliamente utilizadas hasta el siglo XII, fue Anicio
Manlio Severino Boecio (ca. 480 - 524), descendiente de una de las ms
antiguas familias romanas. Su Institutione aritmetica libri duo (Tratado
de aritmtica en dos libros) basada en la obra de Nicmaco de Gerasa (S.
II) sirvi para dar a conocer a los estudiosos medievales la teora de
nmeros de Pitgoras. Tradujo algunos libros los Elementos de Euclides y
obras de Aristteles, escribi una astronoma basndose en Ptolomeo.
Las obras de este traductor junto a Aurelio Casiodoro (ca. 480 - ca. 575)
e Isidoro de Sevilla (ca. 560 - 636) sirvieron de base para la enseanza
del quadrivium en los centros de enseanza medievales. En esa poca
formaban el quadrivium: aritmtica, geometra, astronoma y msica.
Estas cuatro materias junto con las del trivium : gramtica, lgica y
retrica, constituan las siete artes liberales. De este modo parece que la
divisin tradicional de Letras y Ciencias sea, en nuestros planes de
estudios, un resto arqueolgico del trivium y quadrivium.
Hacia finales del primer milenio, Gerberto (ca. 940 -1003), un francs
educado en las escuelas rabes de Espaa, que ms tarde fue el papa
Silvestre II, introdujo el uso de un tipo de baco. Al crearse las
universidades, se crean tambin las llamadas escuelas de baco que
podran considerarse como las primeras escuelas de formacin
profesional ya que en ellas se imparta la formacin necesaria para los
comerciantes y mercaderes.
A finales de la Edad Media lo que se busca es la restauracin de la
ciencia clsica, se pretende volver a la ciencia y cultura griega,
recuperar los momentos dorados del saber humano. Por ello surgen
escuelas de traductores, la ms importante fundada por Alfonso X el
Sabio (1252 - 1284) en Toledo. En esta Escuela de Traductores de
Toledo estn personas como Gerardo de Cremona (1114 - 1187), que l
solo tradujo del rabe ms de ochenta obras; Adelardo de Bath (ca. 1075
- 1160), traductor junto a Pedro Alonso de las Tablas astronmicas de Al-
Khwarizmi (1126), de los quince libros de los Elementos de Euclides
(1142) -Euclides solo escribe trece- y del Almagesto de Ptolomeo;
Roberto de Chester tradujo lgebra de Al-Khwarizmi en 1145 y otros
muchos ms. Desde Toledo se extienden todas estas obras hacia toda
Europa y comienza a admirarse la matemtica rabe. Es en esta poca
cuando comienza, con las traducciones, la confusin entre el nombre Al-
Khwarizmi y la palabra algorismo o algoritmo.
En 1202 escribe Leonardo de Pisa (ca. 1180 - 1250), conocido como
Fibonacci, su libro Liber abaci (Libro del baco), que curiosamente no
trata sobre el baco, sino que es un tratado muy completo sobre
mtodos y problemas algebraicos en el que recomienda enrgicamente
el uso de los nmeros hind-arbigos. El libro comienza defendiendo la
idea de que la aritmtica y la geometra estn conectadas y cada una se
- 35-
apoya en la otra. Sin embargo, se ocupa mucho ms del nmero que de

la geometra; en primer lugar describe las nueve formas hindes del
nmero junto con el signo 0 que llama zephirum (en rabe) y es esa
palabra la que da origen a las palabras cifra y cero. l mismo indica el
motivo de tal presentacin:
Cuando mi padre, escribano pblico en la oficina de Buga
para los mercantes pisanos que a ella afluyen, fue por la
Repblica encargado de dirigirla, me hizo ir junto a l en mi
adolescencia, y dndose cuenta de la utilidad que me
proporcionara, quiso a continuacin que por bastantes das
permaneciera all para estudiar el baco y que sobre l fuera
instruido.
Fui introducido en tal arte de una maravillosa enseanza
por medio de las nuevas figuras de los hindes, mucho me
gust por lo dems conocer tal arte.
Y esforzndome a fondo comprend todo lo que de l se
estudiaba en sus varios aspectos en Egipto, Siria, Grecia,
Sicilia y Provenza, lugares comerciales que sucesivamente
visit y donde aprend a confrontarme en disputas...
Asumido en breve tal procedimiento de los hindes y
aplicndome con celo a l, y aadiendo algunas cosas mas,
y, ms an, adjuntando algunas sutilezas de Euclides, me
he dedicado a componer, en el modo ms comprensible
que me ha sido posible, este libro, donde presento con
prueba cierta casi todo lo que en l he introducido. Y todo
esto con el objetivo de que aquellos que, por esta ciencia
se sientan atrados, vengan instruidos en ella de modo
perfecto, y que la gente latina no se halle excluida de ella
como hasta ahora.
Resulta curioso que el libro que introduce los numerales hind-
arbigos no haga referencia alguna a la mayor utilidad de estos: a las
fracciones decimales y se expongan todo este tipo de clculos con
fracciones sexagesimales o unitarias. El libro no es fcil de leer, sin
embargo, tuvo que tener un gran xito ya que han llegado a nuestros
das ms de quince ejemplares. Sin duda alguna el problema de Fibonacci
que ms ha inspirado a los matemticos es el siguiente: Cuntas
parejas de conejos se producirn en un ao, comenzando con una pareja
nica, si cada mes cualquier pareja engendra otra pareja, que se
reproduce a su vez desde el segundo mes?.
Este famoso problema da lugar a la conocida sucesin de Fibonacci:
1, 1, 2, 3, 5, 8, 13, 21,..., ... donde para . Una
sucesin que contiene muchas e interesantes propiedades tales como la
relacin con la proporcin urea y que despiertan el inters de muchas
- 36-
personas.
Adems en 1941, el arquitecto cubista Charles Edouard Jeannet-Gris,
llamado Le Corbusier, patent el sistema de medida conocido como
Modulor basado en la aplicacin de la proporcin urea a la arquitectura.
Consiste en la aplicacin del nmero de oro para construir dos series de
Fibonnacci de nmeros enteros entre las que es posible elegir para
seguir ms exactamente las necesidades de cada programa.
Tras el Liber abaci se produjeron muchos tratados similares para
utilizar en las escuelas el baco. A los autores de estos tratados se les
llama abacistas y en la actualidad se conservan ms de 300 de estos
textos escritos entre los siglos XIII y el XVI.
6. El Renacimiento
La matemtica clsica era, para las gentes del S. XV y XVI, una

materia fuertemente esotrica, accesible slo a aquellos que contaban
con un alto grado de entrenamiento previo, y por lo tanto la divulgacin
de los tratados griegos sobre estos temas no fue muy grande. Tan solo
se exceptuaba la parte ms elemental de los Elementos de Euclides. Por
otro lado, los estudios latinos medievales sobre geometra elemental y la
teora de proporciones, as como las contribuciones rabes a la teora de
las operaciones aritmticas y de los mtodos algebraicos, no presentaban
evidentemente dificultades comparables con las que tenan las obras de
Arqumedes o Apolonio. De este modo las ramas ms elementales de las
matemticas fueron el centro de atencin general.
Johann Mller (1436 - 1476), matemtico y astrnomo alemn,
conocido como Regiomontano haba estudiado en las universidades de
Leizpig y Viena, acompa al cardenal Bearin en su viaje por Italia,
donde aprendi griego y se familiariz con las corrientes cientficas y
filosficas de entonces. A su regreso a Alemania instal una imprenta y
un observatorio en Nuremberg con el objeto de promover el inters por
la ciencia y la literatura. Tena la intencin de imprimir traducciones de
las obras de Arqumedes, Apolonio, Hern y Ptolomeo, entre otros
cientficos, pero su muerte temprana acab con el proyecto. La obra de
Regiomontano comienza con la reedicin del Almagesto de Ptolomeo,
consideraban que necesitaba de una nueva adaptacin y limpieza de las
aberraciones introducidas por la traduccin realizada hasta el momento
de las lenguas rabes. Este proyecto dio lugar a varias obras, la primera
de ellas era Eptome del Almagesto de Ptolomeo al que le pone un gran
nfasis en la parte matemtica de la obra, que era lo que se omita casi
siempre. Mucho ms importante fue De triangulis omnimodis, escrito
hacia el ao 1464, es una exposicin sistemtica de los mtodos de
resolucin de tringulos que marc el verdadero renacimiento de la
trigonometra. El primer Libro del De trangulis comienza con una
- 37-
exposicin de los conceptos fundamentales sobre magnitudes y razones,

inspirada evidentemente por Euclides; a continuacin vienen ms de 50
proposiciones que tratan de la resolucin de tringulos basndose en las
propiedades de los tringulos rectngulos. El Libro II comienza
enunciando con claridad el teorema de los senos y demostrndolo, y
siguen diversos ejemplos de problemas sobre determinacin de lados,
ngulos y reas de tringulos planos, conocidos otros datos.
Entre las novedades que nos encontramos en el De triangulis de
Regiomontano est el uso de frmulas para el rea, aunque escritas
con palabras del lenguaje ordinario, pero en cambio esta obra desmerece
un tanto el tratamiento de la funcin tangente. Sin embargo, la funcin
tangente s se incluye en otro tratado trigonomtrico de Regiomontano,
sus Tabulae directionum. Las sucesivas revisiones de la obra de Ptolomeo
haban puesto de manifiesto la necesidad de nuevas tablas de funciones
trigonomtricas y a calcularlas se dedicaron un cierto nmero de
astrnomos del siglo XV, entre los que se contaba Regiomontano. Para
evitar el uso de fracciones se acostumbraba, ya desde la antigedad,
adoptar como radio del crculo bsico un valor grande, que reciba el
nombre de sinus totus. En una de sus tablas Regiomontano sigue a sus
predecesores inmediatos utilizando un radio de 600000 unidades,
mientras que para otras adopt los valores de 10000000 o de
600000000, y para su tabla de tangentes en las Tabulae directionum
eligi como radio 100000. Regiomontano no llama tangente a esta
funcin, sino que usa solamente la palabra numerus para los valores,
grado por grado, en la tabla titulada Tabula fecunda o Tabla
fructfera. La repentina muerte de Regiomontano se produjo antes de
que se publicaran sus dos obras trigonomtricas, lo que retras
considerablemente su efecto. Las Tabulae directionum se publicaron el
ao 1490 y De triangulis en 1533, aunque se conocan de forma
manuscrita.
El ao 1484 apareci en Francia un manuscrito que, tanto por su nivel
como por la importancia de las ideas expuestas, era quiz el ms notable
desde la publicacin, casi tres siglos antes, del Liber abaci de Fibonacci,
y que, al igual que el Liber abaci, tampoco fue impreso hasta el siglo XIX.
La obra a que nos referimos, titulada Triparty en la science des nombres,
fue escrita por Nicols Chuquet (?- ca. 1500). El Triparty apenas se
parece a ninguna obra anterior sobre aritmtica o lgebra, y los nicos
autores que se citan en ella son Boecio y Campano. S se observa, sin
embargo, una evidente influencia italiana, que debe provenir
posiblemente de que Chuquet conociese bien el Liber abaci de Fibonacci.
La primera de las Tres partes trata de las operaciones aritmticas
racionales con nmeros, incluyendo una explicacin detallada del sistema
de numeracin hind rabe. De los numerales hind rabes, dice
Chuquet que la dcima figura no tiene o significa ningn valor. La obra
- 38-
est escrita en un estilo esencialmente retrico, aunque con las

importantes sincopaciones que veremos ms adelante, y las cuatro
operaciones fundamentales vienen representadas por las palabras plus,
moins, multiplier par y partyr par, de las que las dos primeras aparecen a
veces abreviadas a la manera medieval como y . En la segunda
parte de la obra, que trata del clculo con races de nmeros, hay ya una
cierta sincopacin, y as lo que sera en nuestro lenguaje moderno,
aparece en la forma no demasiado distinta, aunque s
ambigua,
La ltima parte y, con mucho, la ms importante del Tripart y se
refiere a la Regle des premiers, es decir, la regla de las incgnitas o lo
que nosotros llamaramos lgebra. Durante los siglos XV y XVI se
utilizaron diversos nombres para la cosa desconocida, tales como res
en latn, chose en francs, cosa en italiano o coss en alemn; en este
contexto la palabra premier que utiliza Chuquet es completamente
inusual. A la segunda potencia le llama champs, mientras que el nombre
latino sola ser el de census, la tercera potencia cubiez, y la cuarta
champs de champ. La segunda mitad de la ltima parte del Triparty est
dedicada a la resolucin de ecuaciones. Aqu nos encontramos con
muchos de los problemas que haban aparecido ya en sus predecesores,
pero tambin hay por lo menos una novedad importante y es que por
primera vez aparece un nmero negativo aislado en una ecuacin
algebraica. Chuquet no admita en general el cero como raz de una
ecuacin, pero por lo menos en una ocasin hace observar que el nmero
buscado era cero; al estudiar ecuaciones de la forma
, donde los coeficientes y los exponentes son todos ellos nmeros
positivos, se encontr con que en algunos casos habra races
imaginarias, limitndose a aadir en estos casos que tel nombre est
ineperible. El Triparty no se imprimi hasta el 1880, y por lo tanto
debieron conocerlo pocos matemticos de la poca.
Sin duda la obra ms importante de Luca Pacioli (1445 - 1514) es la
Summa de arithmetica, geometra, proportioni et proportionalita, escrita
en italiano en 1487 y publicada en 1494, que, a su vez, puede ser
considerada como el mejor y ms famoso tratado de baco. La Summa
acab con los tratados de baco de manera definitiva. Su influencia fue
tremenda y las razones habra que buscarlas en el hecho de que fue
impresa, lo que facilit su difusin, y que lo fue en lengua vulgar, en
italiano y no en latn, facilitando el acceso a lectores que no conocan otra
lengua que la propia. La primera parte de la Summa se dedica a la
aritmtica y al lgebra y est dividida en nueve distinzioni, cada una de
las cuales se divide en tratados. Entre las fuentes usadas cita a Boecio,
Euclides, Jordano Nemorario, Blaslus de Parma, Alberto de Sajonia,
Arqumedes, Sacrobosco y Leonardo de Pisa, entre otros. La parte
aritmtica incluye las operaciones con los nmeros y la aritmtica
- 39-
comercial, que recibe un trato muy elaborado, como corresponde a su

importancia en esa poca. Se incluyen muchos ejemplos prcticos de
cmo aplicar las operaciones elementales a las diferentes situaciones en
que se ve envuelto un comerciante. En la parte algebraica se incluye la
resolucin de ecuaciones de primer y segundo grado. Sigue despus una
tabla de pesos, monedas y medidas, usados en las principales ciudades
italianas y las conversiones entre ellas. La obra termina con un resumen
de la geometra de Euclides.
La parte quiz ms original de la obra de Pacioli es la titulada De
computis et scrituris dedicada a la contabilidad. Introduce por primera
vez la llamada contabilidad de doble entrada, conocida tambin como
contabilidad veneciana o sistema veneciano. Por este motivo a Pacioli se
le considera el padre de la contabilidad moderna. La Summa de Pacioli
compil todos los conocimientos de lgebra de los siglos anteriores en
una sola obra de carcter enciclopdico y ms de 600 pginas. Se
convirti en lectura bsica para los algebristas del siglo XVI, que,
apoyados en ella, pudieron hacer nuevos descubrimientos. Todos ellos
citan a Pacioli en sus obras. Cardano, en su Arithmetica, lo hace de
manera reverencial, a pesar de dedicar un captulo entero a corregir
innumerables errores de la obra de Pacioli. Rafael Bombelli (1526 -1572),
en la introduccin de su lgebra, llega a afirmar que despus de
Leonardo Fibonacci, Pacioli primo fu que luce diedi a questa scientia
(fue el primero que dio luz a esta ciencia).
Otro libro destacable de Pacioli, publicado en 1509, es De divina
proportione en el que estudia los polgonos y los poliedros regulares y la
razn que se conocera ms tarde como seccin urea. En este libro
destacan las ilustraciones de las figuras que se atribuyen a Leonardo Da
Vinci (1452 - 1519).
Italia fue indiscutiblemente una de las principales vas por las que la
ciencia rabe penetr en Europa. Por otra parte, en otras zonas de
Europa, a pesar de la posicin privilegiada de Italia, se progresaba con
igual xito, como hemos visto en el caso de Regiomontano y Chuquet.
En Alemania, fueron tantas las obras de lgebra que se imprimieron que,
durante un cierto tiempo, la palabra germnica Coss (incgnita) se
impuso en otras partes de Europa; el lgebra se llam incluso durante
una poca arte csico. Adems, los smbolos germnicos + y - para la
adicin y la sustraccin provocaron el abandono de los smbolos italianos
p y m. Entre las numerosas lgebras germnicas, la del clebre
Rechenmeister (maestro calculista en alemn) Adam Riese (1492-
1559) ocupaba un lugar importante debido a la eficacia y a la precisin
de sus mtodos. Titulada Die Coss (la incgnita), y escrita en 1524,
forma parte de los numerosos libros de aritmtica que hicieron clebre a
Riese, hasta el punto que an hoy se utiliza la expresin nach (segn)
Adam Riese como tributo a la precisin de los procedimientos
- 40-
aritmticos.
En Alemania, durante la primera mitad del siglo XVI, aparecen
muchas obras de lgebra, las ms importantes de las cuales son Die Coss
(1525) de Christoph Rudolff (ea. 1500 ca. 1545), Rechnung (1527) de
Apiano (1495 1552), y Arithmetica integra (1544) del clebre
matemtico Michael Stifel (ca. 1487, 1567). En Die Coss encontramos
por primera vez en un libro impreso la utilizacin de fracciones
decimales, as como el smbolo moderno para las races. En el libro de
Apiano, obra de aritmtica comercial, el tringulo de Pascal aparece
impreso en primera pgina casi un siglo antes del nacimiento de Blaise
Pascal. El tercer libro, la Arithmetica integra de Stifel, es el ms
importante de los libros alemanes de lgebra impresos durante el siglo
XVI. Adems de contener el tringulo de Pascal, se ocupa de manera
significativa de los nmeros negativos, los radicales y las potencias.
Stifel, al utilizar coeficientes negativos en las ecuaciones, puede reducir
muchas ecuaciones cuadrticas a una forma nica, pero se cree en la
obligacin de explicar, siguiendo una regla especial, cundo debe
emplearse el + y cundo el -. Aunque no admite los nmeros negativos
como raz de una ecuacin, difunde el uso de los signos - y + en
detrimento de la notacin italiana. Conoca bien las propiedades de los
nmeros negativos, aunque los llam numeri absurdi. Adems, llam la
atencin sobre las relaciones entre las progresiones aritmticas y
geomtricas, como Chuquet lo haba hecho con las potencias de cero a
veinte de dos. Stifel aadi a la tabla de Chuquet las relaciones: ,
: , : (aunque sin notacin exponencial). Para las potencias
de la incgnita, Stifel utilizaba en su lgebra abreviaturas de las palabras
alemanas coss, zensus, cubus y zenzizensus, pero en un tratado
posterior propuso la utilizacin de una letra sencilla para la incgnita y la
repeticin de esa letra para las potencias de la incgnita, lo que har el
ingls Harriot en el siglo XVII. La Arithmetica integra fue un tratado
completo de lgebra hasta el ao 1544, pero al ao siguiente esta
lgebra qued en cierto modo anticuada como consecuencia de la
publicacin de una obra que contena la resolucin de ecuaciones cbicas
y bicuadrticas. En efecto, la solucin de la ecuacin cbica y de la
bicuadrtica fue probablemente el ms espectacular de los resultados
matemticos obtenidos por los matemticos italianos del siglo XVI.
Las necesidades prcticas y cientficas del S.XVI (trabajo cientfico,
avance tecnolgico, descubrimientos geogrficos, avances en la
astronoma y cartografa) impulsan el desarrollo de la aritmtica y el
lgebra. A partir de 1545, fecha de publicacin del Ars Magna de
Cardano, se puede considerar que el lgebra, como teora de la
resolucin de ecuaciones algebraicas, es una rama autnoma de las
matemticas. En los 70 aos que van de 1480 a 1550 el lgebra se
constituye en una nueva rama de las matemticas (la teora de
- 41-
ecuaciones algebraicas), que es la primera manifestacin de la corriente

de ideas que cristalizar en la Revolucin Cientfica. Entre 1580 y 1590
se generaliza y difunde el uso de la coma y cifras decimales, lo que es de
especial importancia para la ampliacin del concepto de nmero. El
lgebra como complemento de la aritmtica comercial.
Las caractersticas ms notables de las matemticas de la poca son:
1. Los mtodos algebraicos se conciben como herramientas para
la resolucin general de problemas. Se traducen los problemas a
lenguaje algebraico y se desarrolla el clculo formal (literal) en
detrimento de las justificaciones geomtricas.
2. Algebrizacin de los problemas de geometra plana. Aplicacin
sistemtica de mtodos algebraicos en problemas de geometra.
3. Utilizacin del lgebra no para resolver problemas especficos,
sino generales. Los mtodos generales son en s mismos objeto
de estudio. Este esfuerzo culmina en 1545 con el Ars Magna de
Cardano.
En 1546, Nicolo Fontana (1499-1557) o Tartaglia, publica Quesiti, et
inventione diverse, una obra de 9 tomos que toca una gran diversidad de
cosas y cuyo ltimo tomo dedica a problemas de aritmtica, geometra y
lgebra, acompandolo de referencias histricas que ha permitido
reconstruir el proceso de descubrimiento de las soluciones de las
ecuaciones cbicas.
Dice Tartaglia, en el Quesiti XIV del libro noveno, que Zuanne de Coi
(Profesor de Brescia) le propuso resolver dos ecuaciones que conducan a
ecuaciones cbicas: Encontrad un nmero el cual multiplicado por su raz
ms 3, me resulte 5. Por otra parte, encontradme tres nmeros con la
condicin de que el segundo sea dos ms que el primero, que el tercero
sea tambin dos ms que el segundo, y que multiplicados el primero
por el segundo y este producto por el tercero d 1000. El primer
problema, en lenguaje actual, si es el nmero y x su raz, lo
simboliza as , es decir . El segundo problema
tiene la forma , o lo que es lo mismo
. Dice Tartaglia que Fray Luca Pacioli y otros han juzgado este
tipo de problemas como imposibles de resolver. Apost a Zuanne diez
ducados contra cinco a que no sabra resolverlos, mientras que l
s, pues haba hallado la regla general para resolver los problemas del
primer tipo ( ):cubo y cuadrado igual a nmero", aadiendo
que no quiere desvelar dicha regla. Del segundo tipo dice no haber
encontrado la solucin.
Al parecer, el primero en resolver las ecuaciones del tipo
fue Scipione del Ferro (1465-1526) alrededor de 1506, quien lo cont
poco antes de morir a su discpulo Antonio Mara del Fiore (n. 1506)
- 42-
quien, segn cuenta Tartaglia en el Quesiti XXV del libro noveno, le acus
de impostor por no saber resolver las ecuaciones cbicas. Tartaglia dice
saber resolver las ecuaciones del tipo y por lo
que le desafi. Depositaron un dinero ante notario, que se llevara el que
ms problemas resolviera en cuarenta das, de una lista de treinta
problemas propuestos por el adversario. Tartaglia resolvi todos, pues los
problemas propuestos por Fiore se reducan a ecuaciones cbicas que
Tartaglia saba resolver; por su parte, Fiore no resolvi ninguno.
En los Quesiti XXXI a XXXV aparecen diversas epstolas de Gerolamo
Cardano (1501 - 1576) a Tartaglia y Ludovico Ferrari (1522 - 1565) en
las que se solicitan y transmiten informacin sobre la resolucin de las
ecuaciones cbicas y curticas con la intencin de justificar la autora de
la resolucin de la cbica por parte de Tartaglia. El propio Cardano
reconoce estos hechos en el siguiente texto extrado del Ars Magna:
Scipione del Ferro, de Bolonia, hace ms de treinta aos invent esta
regla y la comunic a Antonio Maria del Fiore, de Venecia, quien celebr
un certamen con Niccolo Tartaglia, de Brescia, lo que dio ocasin a que
Niccolo por s mismo la descubriera, el cual me la dio a m, suprimida la
demostracin, como consecuencia de mis ruegos. Pertrechado de este
auxilio, busqu la demostracin por varios caminos, lo que fue muy
difcil.
Tambin admite que la solucin de la curtica fue descubierta por su
secretario Ludovico Ferrari. Ferrari entr al servicio de Cardano,
convirtindose en su discpulo y colega. En 1543 Cardano y Ferrari
viajaron a Bolonia, donde examinaron los papeles de Scipione del Ferro,
encontrando la solucin de la cbica disminuida, por lo que Cardano no
se sinti ya obligado por la promesa hecha a Tartaglia y en 1545 publica
Ars Magna, dando a conocer la solucin general de la ecuacin cbica.
Ello provoc la respuesta airada de Tartaglia que condujo a un
enfrentamiento pblico (cartelli ") en Miln entre Tartaglia y Ferrari, en
el que venci este ltimo.
El titulo completo de la obra de Cardano es Artis Magnae, sive de
regulis algebraicis que quiere decir: El Gran Arte, o las reglas del
lgebra. Es el primer tratado avanzado de teora de ecuaciones,
concibiendo las ecuaciones como un mtodo para resolver problemas
numricos particulares. Se observa una preocupacin por fundamentar
los resultados enunciados y se preocupa por dar resultados que sean
generales, aunque se enuncien a partir de la demostracin de un caso
particular. Con esta obra nace el lgebra, como rama autnoma de las
matemticas. En los captulos XI al XXII se aborda el estudio completo
de las ecuaciones cbicas. El captulo XI (titulado Sobre el cubo y la cosa
igual al nmero) est dedicado al estudio de la cbica disminuida; se
inicia con el ejemplo y procede a resolver la ecuacin de
forma geomtrica, mediante la consideracin de un cubo descompuesto
- 43-
en seis trozos.
A continuacin describimos el procedimiento que sigue Cardano. Se
representa por un cubo de arista al que se aaden en tres de sus
caras concurrentes, tres prismas de volumen y a estos ltimos tres
prismas de volumen
Observemos que . Este volumen ,
ser 6x si uv=2, y en ese caso la figura nos indica que
. Ahora bien, y pueden determinarse de
nos indica que u3 v 3 = x3 + 6x = 20.
Si y son las races de una ecuacin de 2 grado, se tiene que la

suma es 20 y que el producto es -8, ello proporciona una ecuacin de
segundo grado, que haba estudiado en el captulo V (considerando los
casos ). Por ello, puede obtener
que y . Teniendo en cuenta que ,
resulta
El procedimiento general para una ecuacin de la forma
es el siguiente:
1. Considerar la identidad que es
inmediata hoy da, pero cuya deduccin se haca de modo
geomtrico, como se ha indicado anteriormente.
2. Por analoga de la identidad anterior con , se hace
, ,
3. De se tiens que ,
que es una ecuacin de segundo grado en .
Resolviendo se tiene que y
; y finalmente que
Y que Cardano dio segn los siguientes versos: Quando chel cubo
con le cose appresso // se agguagla a qualche numero discreto //
trovan dui altri differnti in esso.// Da poi terrai questo per consueto //
che il lor producto sempre sia eguale // al terzo cubo delle cose neto, //
El residuo poi suo generale // delli lor lati cubi ben sottratti // varr la
tua cosa principale. Que traducidos es: Cuando est el cubo con las cosas
- 44-
preso // y se iguala a algn nmero discreto// busca otros dos que

difieran en eso. // Despus t hars esto que te espeto // que su
producto siempre sea igual // al tercio cubo de la cosa neto// Despus
el resultado general // de sus lados cbicos bien restados // te dar a ti
la cosa principal.
En definitiva lo que quiere decir es lo siguiente: Cuando est el cubo
con las cosas preso, es decir, cuando en el mismo miembro de la
ecuacin se encuentra el cubo, con las cosas, , es decir: .Y
se iguala a algn nmero discreto, en definitiva Busca
otros dos que difieran en eso. Hay que buscar dos nmeros t y s, que
verifiquen Despus t hars esto que te espeto, que su
producto siempre sea igual, o sea ; al tercio cubo de la cosa neto,
quiere decir que sea igual a un tercio del coeficiente de la elevado al
cubo: . Despus el resultado general, la solucin de ese
sistema de ecuaciones, de sus lados cbicos bien restados, con lados
cbicos se refiere a sus races cbicas, por lo que tenemos , te
dar a ti la cosa principal, por lo que
Como en aquella poca se exiga que todos los coeficientes fuesen
positivos, Cardano tuvo que considerar como diferentes hasta trece
casos:
2 2
y ver que se pueden reducir a uno de los tres casos denominados

crticos o cbicas disminuidas
En el captulo XVII titulado Del cubo, cuadrado, y la cosa igual al
nmero, Cardano resuelve una ecuacin cbica completa,
. Una ecuacin general puede reducirse
a una ecuacin disminuida de la forma mediante
3 la
transformacin Para el caso , se efecta el cambio
, considerando la identidad:
) y mediante un
razonamiento similar al anterior se obtiene que:
Y anlogamente se hace para sin ms que cambiar en el

primer caso por . Por otro lado, puede ocurrir que , por
lo que aparece la raz cuadrada de un nmero negativo, de manera que
- 45-
la ecuacin resultara, histricamente hablando, irresoluble. Sin embargo,

por ejemplos concretos, se saba que haba solucin real. Por ejemplo la
ecuacin tiene como races , Aparece de
este modo lo que se llama el caso de la cbica irreducible. Cardano
pas por encima de esta dificultad y habr que esperar hasta 1572 en
que Rafael Bombelli (1526-1573) diera un paso adelante.
El perodo que separa la publicacin del Ars Magna (1545) de Cardano
hasta la aparicin, en 1637, de la Geometra de Descartes (1596-1650)
en 1637, constituye la fase ms espectacular de formacin y constitucin
del lgebra simblica. En menos de cien aos se avanz ms que en
todos los siglos anteriores.
Paralelamente al desarrollo del lgebra, de la mano de Stevin (1548-
1620), en 1585, se fundamentan los nmeros decimales, en su obra (en
holands) De Thiende. Primero define los nmeros decimales y luego
enuncia las reglas para realizar con ellos las operaciones elementales. Su
concepto del nmero es muy avanzado, pues todos los nmeros son
considerados como iguales y el tipo slo depende de la eleccin de la
unidad.
De la escuela alemana destaca Stifel (1486-1567) quien considera
coeficientes negativos en las ecuaciones, aunque no acepta los nmeros
negativos como soluciones. En su obra Arithmetica integra, de 1544,
aparece claramente el concepto de logaritmo. El clculo logartmico se
desarrollar a finales de este siglo y principios del siguiente de la mano
de Brgi (1552-1632) y Napier (1550-1617).
El clculo de probabilidades est a punto de iniciar su desarrollo de la
mano de Blais Pascal (1623-1662), con un claro e ilustre predecesor en la
figura de Cardano y de sus obras Liber de ludo alae, publicado
pstumamente, y De Regula Aliza, de 1570.
El ingls Robert Recorde (1510-1558) introduce el signo = en su libro
The Wheststone of Witte, de 1557. Se estaba gestando el lgebra
simblica, pero an permaneca en la frontera del lgebra sincopada. El
lgebra proporcionaba un lenguaje de operatividad inmediata que serva
para abordar problemas que se pudiesen traducir a este lenguaje y
fundamentaba sus procedimientos en la geometra. Con el lgebra se
haban resuelto muchos problemas, pero haban aparecido otros nuevos,
como:
1. El caso de las cbicas irreducibles.
2. El problema de las races negativas e imaginarias.
3. La relacin entre los coeficientes de una ecuacin y sus races,
clave para abordar el problema ms general: la resolubilidad de
las ecuaciones de grado superior a cuatro.
El proceso de investigacin llev a la creacin de un lgebra que se
independiza de las justificaciones geomtricas que estn en su origen.
- 46-
En este proceso de creacin de una nueva rama de las matemticas

Bombelli y Vite tendrn un papel decisivo.
Es la figura central y ms brillante del proceso de construccin del
lgebra. Su mrito reside en que orden y adecu todo el material
existente, otorgndole unidad y sentido lgico. En su obra In artem
analyten isagoge (Introduccin al arte del anlisis) de 1591, expone los
principios fundamentales del lgebra, estableciendo unos postulados en
los que se han de fundar las transformaciones algebraicas, definiendo los
smbolos operativos y las entidades literales. La explicitacin de las reglas
del clculo ofrece por primera vez un modelo para proceder a
demostraciones formales de las proposiciones algebraicas. A partir de
Vite ya se pueden efectuar demostraciones de resultados algebraicos
sin acudir a la geometra; en este sentido, Vite libera al lgebra de las
ataduras de la geometra.
Usa las vocales para representar las incgnitas e indeterminadas y
las constantes para representar los nmeros. Distinguiendo (por primera
vez) entre parmetro e incgnita. Adopta tambin los smbolos + y -,
pero el resto de su lgebra sigue usando retrica y abreviaturas; por
ejemplo lo designa por cubus y por A quadratus. El producto
lo representa por in, el igual por aequalis. Usa una ley de
homogeneidad, segn la cual slo pueden compararse magnitudes de
igual dimensin. Tales magnitudes son: el lado, el cuadrado, el cubo, el
cuadrado cuadrado, el cuadrado cubo, etc. y sus gneros son la longitud,
el plano, el slido, el plano plano, el plano slido, etc.
Su obra ms estrictamente algebraica es De Aequetionem
recognitime et emendatione. Tractatus duos, que versa exclusivamente
sobre teora de ecuaciones, est escrito en 159 y publicado en 1615. La
ecuacin de segundo grado la resuelve del siguiente modo:
Hace , por lo que , teniendo en cuenta
la ecuacin se tiene as de donde
y por tanto .
Para la ecuacin de tercer grado , mediante el
cambio se obtiene una cbica disminuida .
Haciendo llamando se tiene tal que .
Por tanto , multiplicando por
, , de donde . Pero como
sabemos que y que las races obtenidas son
y Como se llega
finalmente a
- 47-
La condicin muestra que slo

hay 3 valores de a partir de los 6
(complejos) de . Aunque Vite admite
coeficientes positivos y negativos, racionales
e irracionales, no considera sino las races positivas.
En De Aequationem Recognitione et Etmendatione pudo Vite resolver
el caso irreducible de la ecuacin de tercer grado, empleando la identidad
trigonomtrica cos 3A = 4 cos3 A 3 cos A, evitando as la frmula de
Cardano. Este mtodo an est hoy en uso. Utilizando un recurso
geomtrico de triseccin de un ngulo, Albert Girard (1595-1632) aporta
un curioso mtodo de resolucin:
Sea la ecuacin con la condicin de que , con
positivos. Recordemos que entonces , resultando en la
frmula de Cardano (y de Vite) que es complejo. Girard
considera una circunferencia de dimetro .
Por la desigualdad , existir una cuerda . Si se triseca

el ngulo , con , entonces 3
es raz positiva de la
ecuacin. En efecto, es un ngulo recto, por lo que
. De la misma manera, el ngulo es recto, por lo que
pero , luego
De donde:
dnde se ha tenido en cuenta la identidad .
- 48-
Luego se verifica la ecuacin, resultando que es raz positiva

p
de la ecuacin , para lo que hay que construir el ngulo , es
decir, la cuerda .
Si a partir de se divide la circunferencia en tres partes iguales,

mediante los puntos y , las cuerdas y son los
valores absolutos de las otras dos races de la ecuacin, ambas
negativas.
Girard escriba las ecuaciones en forma completa, admitiendo como
nulo el coeficiente de una potencia de la incgnita cuando sta no existe.
En su obra LInvention Nouvelle en lAlgbre, de 1629, afirma, sin
demostracin, el Teo- rema Fundamental del lgebra, es decir, que toda
ecuacin polinmica tiene tantas races como su grado, para lo que
considera races positivas, negativas, nulas, complejas, simples y dobles.
Incluso, aporta ejemplos en los que las races negativas tienen
interpretacin concreta. Utiliza las races negativas e imaginarias,
llamadas por l races imposibles, a los solos efectos de asegurar la regla
general.
7. La aparicin de Logaritmos
John Napier (1550 - 1617) no era un matemtico profesional y se
dedicaba a administrar sus extensas propiedades. En su tiempo libre se
dedicaba a escribir sobre temas variados y, dentro de la matemtica,
slo estaba interesado en temas relacionados con el nmero y la
trigonometra. Otro tema de inters para Napier eran las progresiones, o
sucesiones de potencias de un nmero.
La idea clave de la obra de Napier se puede explicar con gran
sencillez: para conseguir que los trminos de una progresin geomtrica
formada por las potencias enteras de un nmero dado estn muy
prximos unos a otros, es necesario tomar este nmero muy prximo a
uno. En consecuencia, Napier decidi tomar como el
nmero dado; entonces los trminos de la progresin (decreciente) de
potencias enteras crecientes, estn ciertamente muy prximos entre s,
demasiado prximos de hecho. Para conseguir un cierto equilibrio y evitar
el uso de decimales, multiplic Napier todas las potencias por .
Entonces, si L ser el logaritmo de Napier del nmero
N; as pues, el logaritmo de ser 0, el logaritmo de
ser 1, etc. Si dividiramos tanto los nmeros como los
logaritmos por , tendramos prcticamente un sistema de logaritmos
de base , puesto que no se diferencia ya demasiado del
- 49-
Hay que recordar, sin embargo, que Napier no utilizaba ninguna idea
de lo que es una base de un sistema de logaritmos, siendo como es su
definicin diferente de la nuestra. Los principios de su obra los explica
Napier en trminos geomtricos de la manera siguiente: Sea un
segmento y una semirrecta dados. Sea un punto que parte de
y se mueve a lo largo de con velocidad variable que decrece en
proporcin a su distancia a ; supongamos que un punto parte al
mismo tiempo de y se mueve a lo largo de la semirecta con
velocidad uniforme igual a la velocidad inicial del punto ; entonces
Napier llama a la distancia variable el logaritmo de la distancia .
Esta segunda
e
definicin geomtrica de Napier est de acuerdo,107 desde
luego, con la primera definicin numrica dada ms arriba. Para
demostrarlo, sea y . Si lo tomamos igual a y tambin
tomamos igual a la velocidad inicial de , entonces, en el simbolismo
moderno del clculo infinitsimal, tenemos que y con
. Entonces , o bien , donde la constante
puede calcularse a partir de las condiciones iniciales y resulta ser ;
as pues, bien .
Es decir, que si las distancias y estuvieran divididas por ;

entonces la definicin de Napier nos conducira precisamente a un
sistema de logaritmos de base , tal como decamos anteriormente. No
es necesario decir que Napier calcul sus tablas numricamente y no
geomtricamente, desde luego, tal como indica la palabra logaritmo
inventada por l. Al principio Napier llam a sus ndices de potencias o
exponentes nmeros artificiales, pero ms tarde se decidi por la
palabra compuesta de las dos palabras griegas logos (o razn) y
arithmos (o nmero).
Napier no pensaba, como hemos hecho notar ya, en una base para su
sistema, pero no obstante sus tablas venan calculadas por medio de
multiplicaciones repetidas, equivalentes a elevar a potencias el nmero
. Obviamente la potencia (o nmero) disminuye segn el ndice
(o logaritmo) aumenta, lo cual era de esperar ya que estaba, utilizando
esencialmente como base que es menor que 1. Una diferencia ms
notable entre sus logaritmos y los nuestros consiste en el hecho de que
- 50-
su logaritmo de un producto (o de un cociente) no es igual, en general, a

la suma (o a la diferencia) de los logaritmos.
Si y , entonces y
, y por lo tanto , de manera que la
suma de los logaritmos de Napier no ser directamente el
logaritmo de , sino de . Modificaciones anlogas tienen lugar,
desde luego, en los casos de logaritmos de cocientes, potencias y races.
Estas diferencias no son, hay que reconocerlo, demasiado importantes,
ya que se refieren nicamente a la posicin de la coma decimal, segn
los casos.
La idea de la funcin logartmica est ya implcita en la definicin de
Napier y en toda su obra sobre los logaritmos, pero el hecho es que esta
relacin funcional no ocupaba el primer plano en su pensamiento. Napier
construy laboriosamente su sistema con un objetivo concreto, la
simplificacin de los clculos, especialmente en el caso de los productos y
cocientes. Adems, es muy revelador de que tena en la mente los
clculos trigonomtricos concretos el hecho de que lo que nosotros
hemos llamados, para simplificar la exposicin, logaritmo de Napier de un
nmero, l lo llama el logaritmo de un seno. En la figura anterior el
segmento recibi el nombre de logaritmo del seno , lo cual no
supone diferencia alguna ni en la teora ni en la prctica.
La publicacin del sistema logartmico en 1614 fue acogida y aceptada
con gran rapidez, y entre los admiradores ms entusiastas de la nueva
teora estaba Henry Briggs (1561 - 1630), que fue el primer Savilian
Profesor de geometra en Oxford. Al ao siguiente, en 1615, Briggs visit
a Napier en su residencia en Escocia, donde discutieron ambos las
posibles modificaciones del mtodo de los logaritmos. Briggs propona
que se utilizasen potencias de diez, a lo que contest Napier que ya
haba pensado en ello y que estaba de acuerdo. Napier mismo haba
sugerido en un cierto momento una tabla basada en las igualdades
y , para evitar las fracciones, pero al final los
dos hombres llegaron a la conclusin de que lo ms conveniente sera
que el logaritmo de uno fuese cero y que el logaritmo de diez fuese uno.
Sin embargo, Napier se encontraba ya viejo y sin las energas
necesarias para llevar a la prctica estas ideas y muri en 1617.
El segundo de sus tratados clsicos sobre los logaritmos, el Mirifici
logarithmorum canonis constructio, en el que daba Napier una
exposicin completa de los mtodos que utiliz para calcular sus tablas,
apareci pstumamente en 1619. As pues, recay en Briggs la tarea de
construir la primera tabla de logaritmos llamados logaritmos vulgares o
de Briggs. En vez de tomar potencias de un nmero muy prximo a uno,
como haba hecho Napier. Briggs comenz a partir de la igualdad
, y despus fue calculando otros logaritmos tomando races
- 51-
sucesivamente. Por ejemplo, de obtiene Briggs que

, y anlogamente, de , que
. Continuando de esta misma manera calcul otros logaritmos
vulgares. En el ao 1617, el de la muerte de Napier, public Briggs su
obra Logarithmorum chilias prima, es decir, los logaritmos de los nmeros
del 1 al 1000, todos ellos con catorce cifras decimales. En 1624, en su
Arithmetica logarithmica, extendi Briggs su tabla hasta incluir los
logaritmos vulgares de los nmeros del 1 al 20000 y del 90000 al
100000, siempre con catorce cifras decimales.
Ahora se poda trabajar ya con los logaritmos exactamente igual que
lo hacemos hoy, puesto que las tablas de Briggs gozan de todas las
propiedades usuales de los logaritmos. Incidentalmente, hay que decir
que nuestros nombres caracterstica y mantisa se derivan del libro de
Briggs de 1624. Mientras que Brigss calculaba estas tablas de logaritmos
vulgares, un contemporneo suyo, John Speidell, calculaba los logaritmos
naturales (o neperianos) de las funciones trigonomtricas, publicndolos
en su obra New Logarithmes de 1619; de hecho, ya anteriormente, en
1616, haban aparecido algunos logaritmos naturales, en una traduccin
inglesa de la primera obra de Napier sobre los logaritmos, hecha por
Edward Wright (1559 1615). Raramente un descubrimiento nuevo se
acept tan rpidamente como el invento de los logaritmos, y el resultado
de ello fue la inmediata aparicin de tablas de logaritmos que eran ms
que suficientes para la poca.
8. La concepcin de una matemtica

moderna
Tycho Brahe (1546 1601) apasionado por la astronoma, tras visitar
observatorios extranjeros, volvi a su pas en 1571 y se estableci en el
monasterio de Herridsvadd. Al ao siguiente, reconoci y pudo estudiar
una nueva estrella de la constelacin Casiopea, que fue el objeto de su
primera obra: De nova stella anni 1572. Federico II le regal la isla de
Hveen, en el Sund, un feudo en Noruega y una pensin. En esta isla hizo
edificar el castillo de Uraniborg (palacio de Urania), en cuyas
dependencias se encontraban una imprenta, una fbrica de papel, etc.,
y tambin el observatorio Stelborg (castillo de las estrellas). Sin
embargo, su independencia religiosa, su desdn por los seores, le
expusieron a toda clase de calumnias y, a la muerte de Federico II en
1588), Cristin IV le retir la pensin; en 1597, Brahe dej Uraniborg y
parti hacia Alemania. Rodolfo II le ofreci asilo en Praga, donde
reemprendi sus trabajos. Se le deben notables mejoras en las teoras de
la luna; fue el primer astrnomo que tuvo en cuenta la refraccin y
- 52-
confeccion una tabla de correccin; redact un catlogo de 777

estrellas. Aunque fue un gran experto en astronoma, su inspiracin fue
menor en cosmologa: abandon el sistema heliocntrico que acababa de
proponer Coprnico, y volvi a un sistema geocntrico inspirado en el de
Herclides Pntico, aunque reconoca cierto movimiento de la Tierra.
El material acumulado por Brahe era extraordinariamente amplio y
minucioso sobre el recorrido de los planetas en la bveda celeste, sin
embargo no se senta feliz con su colaborador, Longomontano, a quien
haba confiado la interpretacin matemtica de sus observaciones. Por
ese tiempo Johannes Kepler (1571 - 1630) haba tomado cierto
reconocimiento por el libro Mysterium cosmographicum publicado en
1595. En este libro daba una audaz visin especulativa de conjunto que
aade a los cinco poliedros regulares seis mbitos de forma esfrica
sobre los cuales pasan las rbitas, supuestas circulares, de los planetas
ms conocidos: La tierra es un crculo que es medida de todo.
Circunscrbele un dodecaedro, el crculo que lo circunscribir ser Marte.
Circunscribe a Marte con un tetraedro, el crculo que comprende a ste
ser Jpiter. Circunscribe a Jpiter con un cubo. El crculo que comprende
a ste ser Saturno. Ahora inscribe en la Tierra un Icosaedro. El crculo
inscrito en este ser Venus. Inscribe en Venus un octaedro. El crculo
inscrito en l ser Mercurio. Tienes la razn del nmero de los planetas.
Brahe invita a Kepler para que fuese junto a l a Praga en calidad
de ayudante, pero frustrado y amargado por los resultados obtenidos
hasta el momento slo puso a disposicin de Kepler los datos de Marte.
Kepler se puso a trabajar con verdadero afn, pero el clculo de la rbita
de Marte opona dificultades insospechadas. A la muerte de Tycho Brahe,
el Kaiser Rodolfo II nombra a Kepler sucesor de Brahe y en 1609 publica
Astronomia Nova. Por una feliz coincidencia Brahe le haba encomendado
la rbita de Marte, la de mayor excentricidad, ello llev a Kepler a
convencerse de que los datos no se ponan en concordancia con la
hiptesis del crculo. Slo la hiptesis elptica produca la precisin
deseada. En Astronoma Nova formula las dos primeras leyes: I) Un
planeta se mueve a lo largo de una rbita elptica con el sol en uno de
los focos de la elipse y II) El radio vector desde el sol al planeta barre
reas proporcionales al tiempo empleado.
En la demostracin de la segunda ley calculaba el rea de un sector
de la elipse y su mtodo consista en imaginar las reas como sumas de
las reas de pequeos arcos de elipse con igual longitud de arco. Kepler
tena poco tiempo para el rigor griego y fue afortunado al obtener una
respuesta correcta despus de cometer errores en sus trabajos. Uno de
ellos es suponer que la velocidad de un planeta es inversamente
proporcional a la distancia del planeta al sol en vez de inversamente
proporcional a la distancia del sol a la recta tangente a la elipse que pasa
por el planeta. Hay que recordar que Kepler haba trabajado en las
- 53-
secciones cnicas en 1604 exponiendo curiosos resultados en Ad

Vitellionem paralipomena en el que expona la continuidad de las cnicas
y lleg a identificar la parbola como el caso lmite entre la elipse y la
hiprbola.
En 1619 publica Harmonices Mundi en el que se incluye la tercera ley:
III) Los cuadrados de los perodos de revolucin de los planetas son
proporcionales a los cubos de los semiejes mayores de sus rbitas. La
obra de Kepler, tanto Nova Astronomia como Harmonices Mundi se
pueden considerar como precursoras del posterior desarrollo de la fsica,
en ella no slo se analizaron por primera vez las formas de las rbitas
planetarias, sino que adems se desarrollaron ideas (liberadas de la
mstica y de la religin) sobre las causas del movimiento planetario. Los
ngeles ya no guiaban a los planetas, sino que una especie de
magnetismo. El mismo Kepler, en 1621, seal como causa del
movimiento de los planetas una fuerza, que llama vis, emanada del Sol.
En el libro Nova steriometra doliorum vinariorum (Nueva geometra
de los barriles de vino) publicada en 1615 intentaba facilitar a los
mercaderes un mtodo exacto para calcular el volumen de los barriles.
Sus trabajos concentrados sobre slidos de revolucin determina (exacta
o aproximadamente) el volumen de noventa de estos slidos. El mtodo
de Kepler en su Steriometra consiste en diseccionar el slido dado en un
(aparentemente) nmero infinito de infinitesimales piezas, o slidos
llamados indivisibles. Por ejemplo, la esfera es descompuesta en un
nmero infinito de pequeas pirmides con altura igual al radio de la
esfera. As demostr que el volumen de la esfera es un tercio de la
superficie multiplicada por el radio. Como los volmenes de las pirmides
son un tercio del prisma con la misma base y la misma altura, la suma de
todas las bases nos da la superficie de la esfera y al ser la altura de las
pirmides igual que radio, entonces tenemos que:
Kepler demostr tambin que el volumen del anillo de un ancla o toro

es generado por revolucin de un crculo de radio a sobre un eje vertical
a una distancia b de su centro y es igual al producto del el rea del
circulo y la distancia recorrida por su centro, esto es:
. l dedujo esta frmula al imaginar el toro diseccionado en
infinitas rebanadas circulares sobre planos que contienen al eje de
revolucin.
La principal contribucin de Galileo Galilei (1564 -1642) al mundo de
las matemticas consiste en infundir la mentalidad de que el mundo es
de naturaleza matemtica, aunque la matematizacin a la que procedi
era an bastante somera. Desempe un papel fundamental en la
introduccin de las matemticas para la explicacin de las leyes fsicas y
- 54-
expres sus relaciones funcionales con palabras. En sus trabajos sobre el

movimiento, por ejemplo, descubri que el espacio recorrido por un
cuerpo al caer desde el reposo con movimiento uniformemente acelerado
est en relacin con el cuadrado del tiempo empleado en ese recorrido
(esto sirvi cien aos ms tarde a Newton), que se poda escribir como
(donde s es el espacio, t el tiempo y K una constante). Demostr
que la trayectoria descrita por un proyectil disparado al aire era una
parbola y consider la curva como el lugar geomtrico de un punto
mvil. Us las matemticas para probar algunos experimentos de
Arqumedes. Fue profesor de matemticas en Pisa y Padua.
Puede considerarse el fundador de la mecnica moderna. Determin
las leyes de cada de los cuerpos y la independencia de la masa de los
cuerpos. Formul el principio de la relatividad del movimiento. Defini las
leyes del pndulo y utiliz ste para medir el tiempo. Demostr, de forma
poco rigurosa, las leyes del movimiento parablico. Sus experimentos
acerca de la cada de los cuerpos sobre un plano inclinado le llevaron a
considerar, en el caso lmite de un plano horizontal, una primera
formulacin del principio de inercia. Construy varios telescopios que
llegaban a aumentar hasta 30 veces un cuerpo. Con esto descubri
Jpiter, el anillo de Saturno, las manchas y la rotacin del Sol sobre su
eje, las fases de Venus, etc. Estudi profundamente la Luna llegando a
medir la altura de sus montaas.
Defendi las ideas heliocntricas de Coprnico sin considerarlas como
una hiptesis, lo que le produjo un gran enfrentamiento con la Inquisicin
de la Iglesia, la prohibicin de ensear esa doctrina y el juicio en 1633
que termin con su condena, la obligacin de abjurar de sus ideas y la
pronunciacin de la famosa frase Eppur, si muove (Sin embargo, se
mueve) refirindose a la tierra. La negacin de la inmovilidad de la Tierra
se enfrentaba a las ideas aristotlicas sobre el mundo y sobre todo a los
relatos bblicos sobre los orgenes del mundo interpretados, en aquella
poca, de manera literal. Galileo, en una carta a la Duquesa de Lorena,
manifestaba claramente que la interpretacin literal de la Biblia deba
descartarse y no tena por qu sustituir a la ciencia dado que su objetivo
era, ante todo, religioso.
Las obras de Galileo son: en 1606 publica Le operacioni del Compasso
Geomtrico e Militare un libro sobre los distintos usos del comps
geomtrico que haba diseado y construido. El 12 de marzo de 1610
publica, Sidereus Nuncios (el mensajero de los astros). De la obra se
hacen 500 ejemplares que se agotan en pocos das debido a su xito
inmediato. Un libro en el que expone todas las observaciones realizadas
con su nuevo telescopio. En mayo de 1612 publica Discurso sobre las
cosas que flotan en el agua o se desplazan por ella, en donde expona
experimentos al alcance de todos y de forma que rebata todos los
argumentos que hasta la fecha le haban expuesto. Demuestra, adems,
- 55-
que el aire es 800 veces menos pesado que el agua. En marzo de 1613
publica Historia y demostracin a propsito de las manchas solares en el
que expone su versin del origen de las manchas solares. En 1623
publica Il Saggiatore, considerada como una de las obras maestras de la
literatura italiana, es una obra en la que expone sus consideraciones
propias sobre la obra de Coprnico para rebatir las ideas y controversia
surgidas con la aparicin de nuevos cometas. En 1632, animado por el
Papa Urbano VIII, escribe Dialogo supra i due massimi sistemi del mondo
ptolemaico e copernicano (Dilogo sobre los dos mximos sistemas del
mundo ptolemaico y copernicano) escrito en forma de dialogo entre tres
amigos: Salviati (un intelectual bien informado cientficamente que
defiende la idea de Coprnico), Sagredo (un inteligente profano en la
materia que desea aprender) y Simplicio (un obtuso defensor del sistema
ptolemaico). En 1638, encerrado en su casa por orden de la inquisicin,
escribe Consideraciones y demostraciones matemticas sobre dos
ciencias nuevas en el que inaugura la mecnica moderna y expone sus
todos sus experimentos realizados sobre fsica. El libro se public en
Amsterdam para evitar problemas con la Inquisicin.
Entre sus descubrimientos astronmicos podemos destacar:
La existencia de montaas en la Luna, lo que falseaba la
distincin aristotlica entre regin sublunar y supra lunar
(celeste).
Las fases de Venus, descubrimiento que refutaba el modelo
Ptolemaico, segn el cual Venus se encontraba siempre entre la
tierra y el Sol, y por tanto, slo poda ser visto desde la Tierra en
fase creciente. La importancia de este descubrimiento se ve
acrecentada por el hecho de haber sido predicho por Coprnico,
aunque no poda comprobarlo.
Descubrimiento de cuatro planetas que giran en torno a Jpiter
(astros mediceos). Estos satlites constituyen un modelo de
sistema solar copernicano.
Descubrimiento de que la Va Lctea es un gigantesco conjunto
de estrellas, hecho que haca verosmil la idea de la enorme
extensin del universo y por tanto justifica la inobservancia del
paralaje estelar.
Las manchas solares que giran sobre el Sol, que constituyen un
modelo de la rotacin de la Tierra, y falsean la afirmacin de la
incorruptibilidad y perfeccin de los cielos.
Bonaventura Cavalieri (ca 1598-1647), nacido en Miln, religioso
jesuato (no confundir con jesuita) fue alumno de Galileo. Ense
matemticas en Bolonia desde 1629 hasta su muerte. Escribi varias
obras de matemticas, ptica y astronoma y fue en gran parte el
responsable de la rpida introduccin de los logaritmos en Italia. Pero
debe su fama a un tratado, cuya primera versin se public en 1635,
- 56-
consagrado al mtodo de los indivisibles. El Tratado de los indivisibles de

Cavalieri es verbal y no muy claro. El autor no dice en ninguna parte de
su obra qu entiende exactamente por el trmino indivisible, que
caracteriza a los elementos infinitesimales utilizados en su mtodo. Para
Cavalieri una superficie est constituida por un nmero indefinido de
rectas paralelas equidistantes y un slido por planos paralelos
equidistantes. En el mtodo de Cavalieri no existe ningn proceso de
aproximaciones sucesivas y, contrariamente a la afirmacin segn la
cual Cavalieri despreciaba los infinitesimales de orden superior, no omite
ningn trmino, puesto que recurre a la correspondencia biunvoco para
asociar los elementos de dos configuraciones que quiere comparar.
Podemos ilustrar el mtodo de los indivisibles con la siguiente
proposicin, conocida en estereometra con el nombre de Teorema de
Cavalieri: Si dos slidos tienen la misma altura y si las secciones que se
obtienen por planos paralelos a las bases y a igual distancia de stas
estn siempre en una razn dada, entonces los volmenes de los slidos
estn tambin en la misma razn.
Pero tambin se le debe otro resultado que iba a tener igualmente
consecuencias importantes. La espiral de Arqumedes y la
parbola haban sido bien conocidas desde la antigedad, pero
nadie haba descubierto previamente ninguna relacin entre ellas hasta
que Cavalieri tuvo la idea de comparar indivisibles rectilneos con
indivisibles curvilneos. Si se deseara, por ejemplo, torcer la parbola
en torno a su vrtice dndole la forma de una espiral de reloj, de
manera que el vrtice permanezca fijo mientras que el punto P pase a
ocupar la posicin P, entonces las ordenadas de los puntos de la parbola
las podemos considerar como transformadas en radios vectores por
medio de las relaciones que ahora llamamos coordenadas cartesianas y
polares. Los puntos de la parbola de Apolonio se transformarn
as en los de la espiral de Arqumedes . En este problema
podemos ver una interaccin de elementos que pertenecen a la
geometra analtica con otros que corresponden al clculo infinitesimal, y,
sin embargo, Cavalieri escriba cuando an ninguna de estas dos ramas
de la matemtica haba sido inventada formalmente. La falta de rigor en
Cavalieri fue muy criticada por Christiaan Huygens (1629-1695) diciendo
que es necesario en una demostracin que al menos sea convincente en
el rigor con que debe ser construida. Huygens ejerca una gran influencia
en Leibniz y as jug un papel importante en producir un gran avance en
el clculo. Lo mismo que pasa en otras partes de la historia de la
matemtica, vemos aqu que los grandes hitos histricos no aparecen
casi nunca de una manera repentina y espontnea, inesperada, sino que
suelen ser simplemente las formulaciones ms claras y precisas que
culminan un largo y espinoso camino de desarrollos irregulares.
Posteriormente John Wallis (1616-1703) generaliz este resultado
- 57-
para valores de exponentes no enteros en suq Aritmetica Infinitorum (La

Aritmtica de los Infinitos) de 1655. Aunque el caso en el que sea un
nmero racional positivo ya fue abordado por Fermat y Evangelista
Torricelli (1608-1647), este ltimo discpulo de Galileo y Cavalieri. Si bien
estas investigaciones son de fecha anterior a las de Wallis, fueron
publicadas con fecha posterior.
9. Descartes
En esta poca an no exista ninguna organizacin matemtica de tipo
profesional, pero tanto en Italia como en Francia e Inglaterra haba ya
algunos grupos de cientficos ms o menos organizados: la Accademia dei
Lincei (a la que perteneci Galileo) y la Accademia del Cimento en Italia,
el Cabinet Du Puy en Francia y el Invisible College en Inglaterra. Hubo
adems, durante el perodo que estamos considerando, un personaje
que, a ttulo individual, sirvi como central de informacin matemtica
gracias a sus amplios contactos por correspondencia. Se trataba del
fraile minimita Marin Mersenne (1588 1648), muy amigo de Descartes y
de Fermat, as como de muchos otros matemticos de la poca. Si
Mersenne hubiera vivido un siglo antes, el retraso en circular la
informacin relativa a la resolucin de la cbica no se haba producido,
porque en cuanto que Mersenne tena noticias de alguna cosa nueva,
toda la Repblica de las Letras era puntualmente informada acerca de
ella. As pues, a partir del siglo XVII la matemtica se desarroll ms
bien movida por su propia lgica interna que por fuerzas de tipo
econmico, social o tecnolgico, tal como se pone de manifiesto
claramente en la obra de Descartes, el matemtico ms conocido de la
poca.
Ren Descartes (1596 -1650) naci en una familia bien acomodada y
recibi una formacin slida y esmerada en el colegio de los jesuitas de
La Flche, en el los libros de texto de Clavius ocupaban un lugar
destacado. Despus se gradu en la Universidad de Poitier, en la que
estudi derecho sin demasiado entusiasmo. Ms tarde viaj Descartes
por diversos pases durante unos cuantos aos, participando en algunas
campaas militares, y sus breves perodos de servicio estuvieron
separados por largos intervalos de viajes independientes y de estudio,
durante los cuales entr en contacto con algunos de los intelectuales
ms importantes entonces de varias partes de Europa: Faulhaber en
Alemania y Desargues en Francia, por ejemplo. En Pars conoci a
Mersenne y al crculo de cientficos que discutan y criticaban libremente
el pensamiento peripattico; estimulado por este ambiente intelectual,
Descartes lleg a convertirse en el padre de la filosofa moderna, as
como a presentar una nueva concepcin cientfica del mundo y a crear
una nueva rama de la matemtica.
- 58-
En el ms famoso de todos sus tratados, el Discours de la mthode

pour bien conduire sa raison et chercher la vrit dans les sciences
(Discurso del mtodo para dirigir bien la razn y buscar la verdad en las
ciencias), de 1637, anunciaba Descartes su programa de investigacin
filosfica, por medio del cual, y a travs de la aplicacin de la duda
sistemtica, esperaba alcanzar unas ideas claras y distintas de las que
sera posible entonces deducir una cantidad innumerable de
consecuencias vlidas. Este planteamiento le condujo, en el campo de la
ciencia, a suponer que todo poda explicarse en trminos de materia (o
extensin) y de movimiento. El universo entero, segn postulaba
Descartes, estaba hecho de materia movindose incesantemente en
forma de vrtices o remolinos, y todos los fenmenos deban ser
explicados mecnicamente en trminos de fuerzas ejercidas por
porciones de materia sobre otras en contacto directo con ellas. La ciencia
cartesiana goz de una gran popularidad durante casi un siglo, pero
finalmente cedi su lugar a la teora razonada matemticamente de
Newton. No deja de ser irnico que fuera en gran parte la matemtica de
Descartes la que hizo posible ms tarde la derrota de la ciencia
cartesiana.
La primera contribucin matemtica de Descartes se remonta al
comienzo de su perodo de viajes y se refiere al descubrimiento de la
frmula, atribuida generalmente a Euler, v +c = a+2 donde v, c y a
representan, respectivamente, el nmero de vrtices, de caras y de
aristas en un poliedro simple. En 1628 escribe su primer tratado,
Regulae ad directionem ingenii; a continuacin una obra de cosmologa
titulada El mundo o Tratado de la luz, que estaba ya en manos del
impresor cuando sobrevino la condena de Galileo. Se abstuvo, pues, de
publicar su fsica, con el fin de no exponerse a polmicas y quiz, incluso,
a persecuciones. Sin embargo, se vio obligado, para completar su obra
cientfica, a recurrir a los poderes pblicos para obtener del Estado
crditos suficientes. Es tambin el fin que persigue publicando su clebre
Discurso del mtodo y algunos de sus descubrimientos cientficos.
Publicado sin el nombre del autor en Leiden en 1637, el Discurso serva
como prefacio a tres tratados cientficos: Geometra, Diptrica y
Meteoros. La Geometra, que fue la nica obra de Descartes sobre
matemticas, contiene sus ideas sobre la geometra de coordenadas y el
lgebra. Pueden encontrarse sus restantes contribuciones matemticas
en diversas cartas.
En una carta dirigida a Isaac Beckmann en 1628 encontramos el
origen de la geometra analtica de Descartes. Subrayaba en esta carta
que los progresos realizados en aritmtica y en geometra en los ltimos
nueve aos eran tales que ya no estaba interesado en proseguir estudios
en esos campos. Y justificaba esta afirmacin dando la regla para
construir todas las cbicas y las curticas por medio de una parbola.
- 59-
Mediante este enfoque geomtrico, se situaba en la prolongacin directa

de los trabajos de Vite, ya que la construccin de las races de las
ecuaciones algebraicas determinadas haba sido uno de los principales
temas de estudio de ste ltimo.
As, este esfuerzo por utilizar la geometra para resolver ecuaciones
algebraicas ilustraba bien el enfoque fundamental que desarrollara en su
Geometra. Haba descubierto que las interrelaciones entre el lgebra y la
geometra resultaban ms inteligibles mediante el uso de coordenadas en
el estudio de las ecuaciones con dos incgnitas, y su mtodo,
esencialmente nuevo, consista en utilizar la representacin grfica de las
ecuaciones indeterminadas. Descartes comprob el valor de su mtodo
cuando resolvi en poco tiempo el problema de lugar de Pappus con tres
y cuatro rectas, propuesto por Golius. Aunque tena la impresin de que
los antiguos, no haban podido resolver este problema, se dio cuenta de
las posibilidades que ofreca su enfoque y, consecuentemente, dio a
conocer la geometra analtica a sus contemporneos con su clebre
tratado.
La Geometra de Descartes est dividida en tres libros: el primero
trata de los problemas que se pueden construir empleando slo
circunferencias y rectas. El segundo se refiere a la naturaleza de las
curvas, mientras que el tercero abarca la construccin de problemas
slidos o ms que slidos.
La geometra cartesiana, en el sentido de Descartes, persegua un fin
muy diferente de nuestra geometra analtica moderna. En efecto, en el
primer prrafo de la Geometra, puede leerse: Todos los problemas de
geometra pueden reducirse fcilmente a trminos tales que no hace
falta ms que conocer la longitud de algunos segmentos rectos para
construirlos. No se trata, pues, de reducir necesariamente la geometra al
lgebra, sino ms bien de realizar una construccin geomtrica. As,
desde las primeras pginas del libro I, Descartes proporciona una base
geomtrica al lgebra mostrando que las cinco operaciones aritmticas
corresponden a construcciones sencillas con la regla y el comps.
Despus, Descartes introduce su notacin algebraica, y en particular su
notacin exponencial para las potencias. Resalta a continuacin el hecho
de que las potencias tales como etc., se interpretan
geomtricamente como segmentos simples y no, segn los griegos,
como cuadrados o cubos; en esto rompe con la tradicin griega. Para la
resolucin de un problema en geometra, Descartes indica cmo se debe
proceder: Se debe, en primer lugar, considerarlo como ya hecho, y dar
nombres a todas las lneas que aparecen necesarias para construirlo,
tanto las que son desconocidas como las otras. Despus, sin considerar
ninguna diferencia entre las lneas conocidas y desconocidas, se debe
recorrer la dificultad, segn el orden que muestre ms naturalmente en
qu medida dependen mutuamente unas de otras, hasta que se haya
- 60-
encontrado el medio de expresar una misma cantidad de dos maneras:

lo que se llama una ecuacin.
Descartes afirma a continuacin que, si un problema puede ser
resuelto mediante la geometra de lneas rectas y circulares trazadas
sobre una superficie plana -geometra de la regla y el comps-, la
ecuacin final contendr A un cuadrado desconocido y este segmento
se encuentra fcilmente. Porque, prosigue, si tengo por ejemplo
Construyo un tringulo rectngulo con el lado igual la

raz cuadrada de la cantidad conocida , y el otro lado, igual , la
mitad de la otra cantidad conocida que est multiplicada por , la cual es
el segmento desconocido por hiptesis. Prolongando , la hipotenusa
de este tringulo, hasta O, de manera que sea igual a , el
segmento es la lnea buscada.
Esto se expresa de esta formal
Descartes aplica su mtodo a otras

ecuaciones de segundo grado y subraya a
continuacin que las races obtenidas en
estos ejemplos podan encontrarse por
otros mtodos, y que los matemticos antiguos no parecan haber
descubierto un mtodo tan eficaz para el mismo gnero de problemas. Lo
enlaza a continuacin con el clebre problema de lugar de Pappus y,
despus de una larga exposicin sobre el tema, intenta demostrar que
su mtodo le permite resolver el problema, incluso si el nmero de rectas
es mayor de seis u ocho.
El libro II es el que se acerca ms a nuestra concepcin moderna de
la geometra analtica. Despus de una exposicin crtica sobre las
distinciones aportadas por los griegos en el tema de la clasificacin de las
curvas planas, slidas y lineales propone una nueva clasificacin que
reposa esencialmente sobre la exactitud del razonamiento. Las curvas
geomtricas como la recta, la circunferencia y las cnicas, son curvas
algebraicas descritas exactamente, por oposicin a las curvas mecnicas
como la cuadratriz y la espiral logartmica, que son ms bien curvas
trascendentes descritas inexactamente. La clasificacin de Descartes
permiti abrir el campo de las curvas admisibles, que era muy restringido
entre los griegos, y preparar el camino de una clasificacin de las curvas
basada en parte en la existencia de ecuaciones algebraicas.
El libro III de la Geometra vuelve al tema desarrollado en el libro I,
es decir, la solucin de problemas de construcciones geomtricas y, en
particular, la construccin de races de ecuaciones determinadas.
- 61-
Descartes resuelve as problemas de construcciones geomtricas en los

que las longitudes desconocidas (races) satisfacen ecuaciones de tercer
grado y grado superior. Nos dice que para la construccin de cada
problema hace falta tener cuidado de escoger siempre la ms sencilla de
aquellas mediante las que es posible resolverlo; se debe, pues, conocer
bien la naturaleza de las races de las ecuaciones a estudiar y saber, en
particular, cundo una ecuacin es reducible. Este ltimo libro constituye
una exposicin elemental de la teora de ecuaciones, escrita en un
lenguaje y con una notacin que se parecen mucho a los de nuestros
libros modernos. Se encuentran en l reglas para combinar, factorizar,
transformar y resolver ecuaciones. Tambin se muestra cmo descubrir
las races racionales cuando existen, disminuir el grado de una ecuacin
cuando se conoce una raz, aumentar y disminuir las races, cambiar su
signo, determinar el nmero posible de races positivas y negativas,
verdaderas y falsas en el lenguaje de Descartes, mediante la clebre
regla de los signos, etc.
En la bsqueda de la solucin de problemas de construcciones
geomtricas, Descartes no recurre al mtodo grfico apropiado a un
sistema de coordenadas. Utiliza esencialmente la construccin
geomtrica, el conocimiento de una longitud desconocida que satisface
una ecuacin y las propiedades geomtricas de las cnicas. Su solucin
ofrece un aspecto puramente algebraico, y se sirve de las ecuaciones de
las cnicas para deducir hechos referentes a las curvas y a su
construccin geomtrica. Su clasificacin de los problemas reposa sobre
el grado de las ecuaciones algebraicas obtenidas a partir de la
formulacin algebraica de los problemas de construccin. Es as como
una construccin realizada por medio de rectas y circunferencias se
formula en trminos de una ecuacin de primero o de segundo grado. Los
grados tres y cuatro de una ecuacin implican la utilizacin de las
secciones cnicas. En particular, Descartes afirma, de manera incidental,
que la triseccin de un ngulo y la duplicacin del cubo son de grado tres,
porque las rectas y las circunferencias no bastan para su construccin. Si
el grado de una ecuacin es superior a cuatro, se pueden necesitar
curvas ms complicadas que las secciones cnicas para asegurar su
construccin geomtrica.
El grado de la ecuacin de una curva resulta ser, en Descartes, una
especie de medida de su simplicidad. Nos recuerda, por otra parte, al
final de su libro, que ha presentado las construcciones ms sencillas
posibles para problemas de diferentes clases, lo que significa que ha
utilizado el grado menor posible para resolver un problema de
construccin. En lo que se refiere a las expresiones sistema de
coordenadas cartesianas y producto cartesiano, podemos decir que son
anacronismos. En efecto, Descartes no elabor un sistema de
coordenadas que le habra permitido localizar puntos como pudiera
- 62-
hacerlo un gegrafo, de la misma manera que sus coordenadas no son

consideradas como parejas de nmeros. Lo que Descartes hizo, fue
utilizar una recta como una lnea de base con un origen. Los valores de x
son entonces longitudes medidas sobre esta recta, mientras que los
valores de y son longitudes medidas desde la recta y que forman un
cierto ngulo constante con esta ltima. Esto era, de hecho, recurrir a
coordenadas oblicuas para situar puntos en el plano, pero Descartes
prefiri insistir en la idea misma de coordenadas en lugar de servirse de
ellas para trazar las curvas.
Oresme representaba una ley trazando el grfico de la funcin
correspondiente, y la curva obtenida ilustraba geomtricamente esta
relacin de dependencia entre dos variables. A Descartes no le
interesaban los lugares de puntos que satisfacen una ecuacin dada,
sino la posibilidad de construir estos puntos. Por otra parte, en la
Geometra no se encuentra ninguna curva trazada directamente a partir
de su ecuacin. En lo que se refiere a la utilizacin de cantidades
negativas, aunque saba que los segmentos negativos estn dirigidos en
el sentido opuesto a los segmentos positivos, no se preocup de
establecer un principio general aplicable en un sistema de coordenadas.
La determinacin de la recta tangente a una curva en un punto dado
es una de las constantes en los problemas de los matemticos en todas
las pocas. Descartes abord el problema de las tangentes en 1637
intentando determinar la normal a la curva de un punto M dado: Si N es
el punto donde la normal (perpendicular) corta al eje de las x, la
circunferencia descrita con este punto como centro, con radio N M, ser
tangente en M a la curva. Pero si N no coincide exactamente con el pie
de la normal, el radio N M cortar a la curva en un segundo punto P que
se aproximar indefinidamente a M, cuando N se aproxime
indefinidamente al punto que coincide con el pie de la normal. Este
mtodo est fundado en el principio siguiente:
Una lnea cualquiera variable que corta a una curva dada en un
punto fijo M dado y en un segundo punto P variable que se aproxima
indefinidamente a M, llega a ser tangente a esta curva cuando los dos
puntos de interseccin coinciden.
Este primer mtodo de las tangentes

apareci en el libro II de la Geometra, y fue
seguido de otros dos mtodos propuestos por
Descartes para apoyar su argumentacin en la
polmica que le enfrent a Fermat. El segundo
mtodo consista en determinar la tangente a una curva considerndola
como la posicin particular de una secante que gira en torno al pie de la
tangente, hasta que dos de sus puntos de interseccin con la curva llegan
- 63-
a coincidir. Fue propuesto como respuesta a las modificaciones y

correcciones hechas por Descartes a la regla de los mximos de Fermat.
El ltimo mtodo de Descartes, que dio a conocer algunos das despus
del segundo, expresa el punto de vista generalmente adoptado ahora: la
tangente est determinada por una recta que gira alrededor del punto de
contacto dado, hasta que el otro punto en el que aqulla corte a la curva
venga a coincidir con el primero.
Aunque Descartes manifestara antes de 1637 un cierto inters por los
mtodos infinitesimales, no particip en su desarrollo porque sus
trabajos matemticos, hay que recordarlo, no representan ms que un
episodio en el desarrollo de su filosofa. Sin embargo, con motivo de la
polmica con Fermat, puso de manifiesto su inters matemtico en el
problema de las tangentes. Descartes se dio cuenta plenamente de la
importancia de este problema en los siguientes trminos: Por esto creer
haber puesto aqu todo lo que se requiere para los elementos de las
lneas curvas, cuando haya ofrecido, en general, la manera de trazar
lneas rectas que formen ngulos rectos en aquellos de sus puntos que
se quiera escoger. Y me atrevo a decir que ste es el problema ms til y
ms general, no slo que yo sepa, sino incluso que yo haya deseado
jams conocer en geometra.
Hay que sealar que el mtodo de Descartes es puramente
algebraico y no recurre a conceptos de lmite o de infinitsimo. Sin
embargo, queriendo corregir la regla de los mximos y mnimos de
Fermat, utiliza un procedimiento que es prcticamente equivalente a
definir la tangente como lmite de la secante. Descartes evit el uso de
mtodos infinitesimales a causa de los riesgos que presentaban y debido
a la ausencia de bases tericas para el razonamiento infinitesimal. Se
opona as a un movimiento importante de su poca.
10. Pierre de Fermat

Pierre de Fermat (1601 - 1665) naci en Beaumont-de-Lomagne,
cerca de Montauban. Su padre era comerciante de cueros y despus de
dar una slida formacin en su familia, le envi a estudiar Derecho a
Tolouse. All pas el resto de su vida, ejerciendo Derecho; despus, a
partir de 1631, fue consejero en el Parlamento, y muri en Castres.
Fermat tuvo una carrera apacible, caracterizada por un cuidado ejemplar
de hacer bien su tarea y, en sus momentos de ocio, supo crearse
ocupaciones literarias y apasionarse por las matemticas.
Fermat public rara vez sus descubrimientos; apenas algunas notas
como apndices a tratados escritos por otros. Como trabajaba para
entretenerse, sus resultados ms bellos aparecen en los mrgenes de
estos tratados, y un gran nmero de sus trabajos se han perdido.
Mantuvo correspondencia con todos los cientficos de su poca; su
- 64-
reputacin de matemtico competente fue inmensa, y la estima en la

que se le tuvo fue general. Pascal confes que era aquel a quien tengo
por el gran gemetra de toda Europa, y este personaje tan atrayente, de
un carcter constante, afable, poco susceptible, sin orgullo, contribuy
ampliamente a la evolucin de las matemticas en campos tan variados
como la geometra analtica, el clculo diferencial e integral, la teora de
nmeros y la teora de probabilidades. Los principales escritos de Fermat
fueron publicados, despus de su muerte, por su hijo Samuel en 1679,
bajo el ttulo de Varia opera mathematica. Aunque esta publicacin no
encierra ms que una parte de su produccin, basta por s sola para
clasificar al clebre habitante de Toulouse como el ms importante
matemtico francs del siglo XVII.
El trabajo de restauracin de los grandes clsicos de Alejandra
emprendido por sus predecesores interes a Fermat despus de 1621
hasta tal punto que se propuso reconstruir los dos libros de Apolonio
sobre los Lugares planos a partir de informaciones contenidas en la
Coleccin matemtica de Pappus. Este trabajo le condujo al problema de
las circunferencias tangentes a tres circunferencias dadas de Apolonio,
que generaliz en trminos de esferas tangentes a cuatro esferas dadas.
Esta primera actividad matemtica de Fermat le llev en 1629, a la edad
de 28 aos, a un estudio analtico de los mximos y los mnimos.Luego,
algn tiempo despus, aplic el anlisis de Vite a los problemas de
lugares geomtricos y, en un corto ensayo titulado Ad locos planos et
solidos isagoge, que data como mucho de 1636, present en un estilo
moderno, con las notaciones de Vite, los principios fundamentales de la
geometra analtica. Esta obra, muy corta como todos sus ensayos,
comienza con una alusin al hecho de que los estudios sobre lugares
geomtricos han podido hacer que en ciertos casos los antiguos parezcan
difciles a causa de su incapacidad de enunciar el problema en una forma
general. Es as como se propone someter la teora de los lugares
geomtricos a un anlisis que indique el camino hacia un estudio general
de los problemas de lugares. Prosigue, a continuacin, enunciando el
principio fundamental de la geometra analtica: Cuando una ecuacin
contiene dos cantidades desconocidas, hay un lugar correspondiente, y
el punto extremo de una de estas cantidades describe una lnea recta o
una lnea curva. Esta proposicin constituye uno de los enunciados ms
significativos de la historia de las
matemticas. En efecto, introduce no
slo la geometra analtica, sino
tambin la muy til idea de variable
algebraica. En la terminologa de
Vite la cantidad desconocida
representaba una magnitud
determinada, mientras que en Fermat
el extremo de una de las variables
- 65-
puede ocupar diversas posiciones consecutivas, de manera que

represente una lnea.
El extremo de E es fijo (B) cuando la longitud de A est determinada
a partir de un punto O, que se toma como origen, y hasta el punto C. As,
Fermat utiliza coordenadas oblicuas, aunque el eje de las y no exista
explcitamente y aunque no emplee coordenadas negativas.
Las cantidades desconocidas y son autnticas variables que
utiliza en ecuaciones algebraicas que representan lugares. Subrayemos
que ni Descartes ni Fermat utilizaron la denominacin de sistema de
coordenadas o la idea de dos ejes, y que Fermat se limit a hacer
representaciones geomtricas en el primer cuadrante solamente, sin
considerar posibles los valores negativos. En su presentacin, introduce
la divisin clsica de los lugares en tres tipos plano, slido y lineal de la
manera siguiente: si el extremo de E describe una lnea recta o una
circunferencia, tenemos un lugar plano; s describe una parbola, una
hiprbola o una elipse, es un lugar slido; para todas las dems curvas,
el lugar correspondiente es un lugar lineal (locus linearis). Segn Fermat,
las ecuaciones pueden visualizarse fcilmente cuando las dos cantidades
desconocidas son tales que forman un ngulo dado, que ordinariamente
es recto.
En 1629, Fermat haba desarrollado su geometra analtica y, poco

tiempo despus, hizo dos descubrimientos importantes estrechamente
ligados a sus trabajos sobre los lugares. El ms importante es, sin duda,
una regla para la determinacin de los extremos de las funciones
algebraicas que sera descrita, sin demostracin, en un pequeo tratado
titulado Methodus ad disquirendam maximam el minimam, escrito en
1637. Se puede enunciar su mtodo de la manera siguiente: se trata
de buscar el mximo o el mnimo de la funcin f cuya variable es y lo
resuelve as:
Reemplacemos por (donde desempea el papel de nuestra
habitual) en , y hagamos , dividamos cada
trmino por y, finalmente, eliminemos todos los trminos que
contengan . La ecuacin resultante se anula para uno o varios
valores de la variable , y estos valores corresponden a mximos o
mnimos.
Veamos una aplicacin de su mtodo al problema de dividir un
nmero en dos partes de forma que el producto sea mximo. Sea el
nmero conocido y la cantidad desconocida. Tendremos que
. Para calcular el mximo, sustituimos por , por
consiguiente ,
igualamos a la anterior , y tenemos
, de donde simplificando y dividiendo por E obtenemos
- 66-
. Finalmente, haciendo en la ltima igualdad,

tendremos 2A = N. Es decir, es mximo cuando .
Es importante sealar que este mtodo algortmico, a efectos

prcticos, es equivalente al clculo aunque Fermat no
posea el concepto de lmite. Sin embargo, el cambio de variable de a
y los valores prximos utilizados por Fermat constituyen la
esencia del anlisis infinitesimal. Hacia 1632, Fermat aplica su mtodo de
los extremos a la determinacin de las normales y tangentes o, ms
precisamente, de las subtangentes a una curva.
El mtodo de cuadratura, clculo de reas encerrada bajo una curva,
conocido como mtodo de los indivisibles de Cavalieri muestra
principalmente que el rea de una curva del tipo en los valores 0 y a
es es lo que hoy da indicamos como , para todas las
potencias enteras positivas. Sin embargo, Cavalieri despus de la
publicacin de este resultado en 1635, no proporcion ninguna
demostracin completa ms que para . En 1635, Fermat demostr
rigurosamente este resultado general y, en la misma poca, consigui
extenderlo a las potencias fraccionarias positivas por medio de parbolas
generales de la forma . Adems, encontr las cuadraturas y
los centros de gravedad de estas parbolas. Se interes por la
cuadratura de la hiprbola fraccionaria aplicando una tcnica equivalente
a la que se utiliza para el clculo de la integral definida: divisin del rea
bajo la curva en pequeos elementos, estimacin de la suma de los
elementos del rea mediante rectngulos y de la ecuacin analtica de la
curva, procedimiento utilizado por Fermat para expresar el equivalente
de lo que se obtiene sirvindose del lmite de la suma. En cierta manera
podemos afirmar que Fermat lleg a reconocer todos los aspectos de la
integral salvo el de la integral misma.
Fue sobre todo en la teora de nmeros, inaugurada por Diofanto en
la Antigedad, donde Fermat se revel sin rival, como Pascal atestigua
en una carta: Buscad en otra parte quien os siga en vuestras invenciones
numricas; os confieso que me superan con mucho; no soy capaz ms
que de admirarlas. Los trabajos de Fermat en teora de nmeros estn
contenidos en sus observaciones, escritas en los mrgenes de su
ejemplar del Diofanto de Bachet y en su correspondencia. Para hacerse
una idea ms exacta de las contribuciones de Fermat a la reina de las
ciencias matemticas, segn Gauss, hay que tener en cuenta sus dos
fuentes: la correspondencia aporta un complemento precioso a sus
observaciones. Los primeros estudios de Fermat en teora de nmeros
se remontan a 1636, ao en el que consigue dilucidar el problema
siguiente: Sea , donde son racionales.
Demostrar que si x es raz, entonces es una diferencia de dos nmeros
inconmensurables. Pero es desde 1638 hasta 1644 cuando Fermat
- 67-
demuestra su verdadero talento. En esta poca da a conocer, entre

otras, las proposiciones siguientes:
1. Ningn tringulo rectngulo tiene por rea un cuadrado.
2. Las ecuaciones son irresolubles
en trminos de nmeros racionales, as como. .
3. Ningn nmero de la forma es cuadrado o suma de dos
o tres cuadrados.
4. Todo nmero es la suma de tres nmeros triangulares o ms,
de cuatro nmeros cuadrados, de cinco nmeros
pentagonales, etc.
5. es compuesto si n es compuesto; si es primo, es
congruente con 1 mdulo , y sus divisores primos son de
la forma .
6. , si es primo.
7. Cuando , con primos entre s, no tiene
ningn divisor de la forma .
8. (llamado nmero de Fermat) no es primo si
Uno de sus mtodos favoritos de demostracin es el conocido como
de descenso infinito, que est fundado en una especie de induccin
inversa. En efecto, si se supone que un nmero goza de una propiedad
especfica, y se puede probar que un nmero inferior goza tambin de
esta propiedad, por iteracin se llega a la conclusin del absurdo de la
suposicin, porque los nmeros no pueden decrecer indefinidamente.
En cuanto al clebre ltimo teorema de Fermat sobre la ecuacin
, no aparece en ninguna parte en su correspondencia. La
referencia que se tiene se debe a la publicacin por su hijo public de
una Aritmetica de Diofanto con todas las anotaciones al margen de su
padre, en donde figura la famosa frase: Cubum autem in duos cubos,
aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam
in infinitum utra quadratum potestatem in duos eiusdem nomini fas
dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis
exiguitas non caperet (Es imposible dividir un cubo en suma de otros dos
o un bicuadrado en otros dos bicuadrados, en general una potencia
cualquiera superior a dos en dos potencias del mismo grado; he
descubierto una demostracin verdaderamente maravillosa pero este
margen es demasiado estrecho para contenerla).
Se han necesitado unos 300 aos y construcciones de teoras muy
complicadas para poder demostrarlo. En 1995, Adrew Wiles public, tras
un intento fallido en 1993, la ltima parte de la demostracin en Annal of
Mathematics.
- 68-
En 1494, Luca Pacioli publica su Summa de arithmetica, en la que

discute los juegos de azar y sugiere el clebre problema de los puntos,
que consiste en repartir equitativamente la apuesta entre jugadores cuya
destreza es igual, y que convienen en dejar la partida antes de que sta
termine, con la condicin de que, para ganar la partida, el primero debe
alcanzar un nmero dado de puntos, diferente para cada uno de los
jugadores. Durante el siglo XVI, dos cientficos italianos estudiaron sobre
todo las probabilidades en relacin con el juego de los dados. En su
manual del jugador titulado Liber de ludo aleae, publicado en 1663,
Jernimo Cardano enuncia ciertas reglas vlidas para resolver problemas
de dados y hace una relacin de las precauciones a tomar para evitar las
trampas en los juegos de azar. Segn Ore, Cardano formul
correctamente los principios fundamentales y comprendi en cierta
medida la ley de los grandes nmeros, adems de obtener en su forma
casi general la ley de sucesos repetitivos. Por su parte, Galileo resolvi el
problema siguiente: con tres dados, demostrar que el nmero 10 aparece
ms frecuentemente que el 9. As, en los 216 casos posibles, Galileo
encuentra que 27 son favorables al nmero 10, contra 25 favorables al
nmero 9.
A principios del siglo XVII, Kepler afirma, a propsito de la aparicin
sbita de una estrella en 1605, que tales acontecimientos, como los del
juego de dados, no pueden producirse fortuitamente. Con esta
afirmacin, Kepler demuestra no ser ajeno al campo de las
probabilidades. Sin embargo, el clculo de probabilidades nace
verdaderamente en 1654, de un intercambio de correspondencia entre
Blaise Pascal (1623 - 1662) y Fermat. Mientras Pascal viva una actividad
matemtica muy intensa, el caballero de Mr, su amigo, le sugiri dos
problemas que se hicieron clebres: el problema de la partida, enunciado
por Pacioli, y el de los dados. Sigui una correspondencia entre Pascal y
Fermat sobre estos problemas y los dos eminentes cientficos franceses
llegaron a soluciones originales, ligadas esencialmente al anlisis
combinatorio. En particular, la solucin de Fermat al problema de los
puntos era vlida para un nmero de jugadores superior a dos.
Subrayemos el hecho de que Fermat encuentra, antes de 1636, la
frmula .
Ni uno ni otro publicaron sus resultados sobre el clculo de

probabilidades, y fue Huygens quien, al corriente de esta
correspondencia, se interes por ella hasta el punto de reunir los
problemas ya resueltos y aadir algunos nuevos, cinco de ellos de Fermat
y uno de Pascal; el conjunto fue publicado en un pequeo tratado, el
primero que haya aparecido sobre el tema, en 1657.
11. La transicin al Clculo

- 69-
Evangelista Torricelli (1608 1647), fsico y matemtico italiano, naci

el 15 de octubre de 1608 en Faenza, cerca de Ravena. Estudi primero
en el colegio de los jesuitas de su ciudad natal. A los veinte aos fue
enviado a Roma, donde recibi una formacin matemtica. En 1638,
Torricelli entr en contacto con los trabajos de Galileo y se sinti
profundamente impresionado. En 1641, atrajo la atencin de Galileo por
un trabajo sobre el movimiento de los cuerpos pesantes, y este ltimo le
invit a Florencia. Torricelli se apresur a responder a esta invitacin, y
se convirti a la vez en secretario y amigo de Galileo durante tres meses.
Sucedi a Galileo como matemtico del gran duque de Toscana. Torricelli
mantuvo una correspondencia importante con los matemticos de su
poca, en particular con Roberval y Mersenne. La publicacin, en 1644,
de su Opera geomtrica fue el origen de una larga polmica que le afect
mucho. Muri el 25 de octubre de 1647 en Florencia.
Torricelli conoca bien los trabajos de Arqumedes, de Galileo y el
mtodo de los indivisibles de Cavalieri. Sabemos que Cavalieri se haba
preocupado poco por el rigor matemtico de los indivisibles y por las
dificultades lgicas con que tropezaba su mtodo. Por el contrario, su
joven amigo Torricelli parece haber sido consciente de esas dificultades y
haberse dado cuenta plenamente de las ventajas e inconvenientes del
mtodo. Por eso, no satisfecho de las demostraciones por el mtodo de
Cavalieri, elabor otras pruebas a la manera de Arqumedes (mtodo de
exhauscin) a guisa de suplemento a estas demostraciones. As, por
ejemplo, en su De dimensione parabolae, Torricelli present veintiuna
demostraciones de la cuadratura de la parbola, diez de ellas elaboradas
por el mtodo de los antiguos, y otras once utilizando los indivisibles.
Adems, Torricelli y Cavalieri saban perfectamente que el mtodo de los
indivisibles conduca a veces a resultados absurdos, Y estos dos
discpulos de Galileo imaginaron incluso algunos ejemplos de esta
naturaleza con el fin de refutar los que otros haban encontrado, o de
profundizar an ms en la cuestin.
Sirvindose del antiguo mtodo de exhauscin de los antiguos, del
mtodo de los indivisibles de Cavalieri y, probablemente, de la
composicin de movimientos de Galileo, Torricelli lleg a un cierto
nmero de anticipaciones notables en el clculo. Mencionemos los
numerosos teoremas sobre las cuadraturas y las tangentes y algunas
rectificaciones de curvas. Sin embargo, hablamos de anticipaciones, a
propsito del clculo diferencial e integral, porque deba franquearse
todava otra etapa antes de poder afirmar que el clculo estaba bien
fundamentado. Aludimos, evidentemente, al teorema fundamental del
clculo integral que expresa la relacin de reciprocidad entre la
diferenciacin y la integracin. Sin embargo, algunos matemticos casi
llegaron a elucidar esta relacin fundamental antes que Newton y Leibniz.
- 70-
Torricelli reconoce, segn parece, esta relacin de reciprocidad desde un

punto de vista mecnico en un manuscrito que data de 1647, y que no
fue publicado hasta 1919. Es en los trabajos de Galileo publicados en su
clebre Discorsi e dimostrazione matematiche intorno a due nuove
scienze donde Torricelli busca la inspiracin para sus propias
investigaciones sobre esta cuestin. En su Discurso, Galileo representa el
movimiento uniformemente acelerado mediante un diagrama en el que
el tiempo est como abscisa y la velocidad como ordenada. Considerando
los dos diagramas del espacio y de la velocidad como funcin del tiempo,
Torricelli enunci que las ordenadas de la curva del espacio son
proporcionales a las reas limitadas por la curva de la velocidad,
mientras que las ordenadas de los puntos sobre la curva de la velocidad
son los coeficientes angulares de las tangentes de la curva del espacio.
Sin duda alguna, Torricelli fue uno de los matemticos ms
prometedores del siglo XVII y, gracias al trabajo de Mersenne, pudo
mantener correspondencia e intercambiar ideas con los grandes
matemticos franceses de esa poca. En la actualidad, Torricelli es
probablemente ms conocido como fsico, porque, siendo discpulo de
Galileo, su inters por la fsica le condujo, en particular, a la invencin del
barmetro. Muri a los 39 aos, en plena posesin de sus facultades
intelectuales y, si el destino hubiera querido prolongar su vida hasta una
duracin normal, quiz, los ttulos de gloria de Torricelli se habran
multiplicado otro tanto.
Blaise Pascal (1623 1662), naci en Ciermont Ferrand. Era el segundo
hijo de Etienne Pascal, presidente del Tribunal de Impuestos. Este perdi
a su mujer en 1626 y decidi, en 1631, instalarse con su hijo y sus dos
hijas en Pars, con el fin de consagrarse a la educacin de Blaise. Etienne
Pascal era tambin un matemtico aficionado que, mantenindose al
corriente de las principales actividades matemticas de su tiempo, fue
capaz de realizar con xito algunos estudios de naturaleza matemtica.
Por ejemplo, el caracol de Pascal recibi ese nombre en honor de
Etienne y fue Gilles Personne de Roberval (1602-1675) quien sugiri esta
denominacin. Adems, Mersenne nos habla de proposiciones admirables
que al parecer demostr sobre los tringulos y Fermat tambin habla de
ello.
En 1634 1635, Blaise se inicia en las matemticas contra la voluntad
de su padre quien, segn se dice, temiendo que este estudio le
apasionara hasta el punto de perjudicar su dbil constitucin y le
distrajera del latn o las lenguas, haba prohibido que se le enseara la
geometra e incluso que su hijo pudiera tener acceso a obras de
matemticas. Sin embargo, sobre la base de una informacin que
reduca la geometra a una ciencia consistente en trazar figuras exactas,
el joven Pascal emprende un da, a los doce aos, la tarea de demostrar
la trigsimo segunda proposicin de Euclides, y su padre le sorprende en
- 71-
ese trabajo. Asombrado por la precocidad de su hijo, Etienne suspende la

prohibicin, le facilita los Elementos y Blaise puede, desde ese momento,
dar rienda libre a su inteligencia. Despus de haber ledo a Euclides, el
joven Pascal se sumerge en los trabajos de Dsargues. A los catorce
aos es admitido, junto con su padre, en la Academia de Mersenne, que
agrupa a hombres como Mersenne, Dsargues, Roberval, Mydorge y
otros. A los diecisis aos, expone all teoras interesantes, como el
descubrimiento de una propiedad fundamental de las cnicas llamada
desde entonces el hexgono de Pascal. En 1640, publica una pequea
obra titulada Ensayo sobre las cnicas, del que nos quedan solamente
dos ejemplares, uno en Pars y el otro en Hannover. Este pequeo
ensayo, muy corto, termina con la promesa de un trabajo ms extenso y
parece, en efecto, que Pascal prosigui este estudio a lo largo de su
vida, redactando un trabajo de conjunto en forma manuscrita hacia 1654.
Pero Pascal, aun siendo un gemetra, consagr varios aos, a partir
de 1640, a la construccin de una mquina aritmtica, destinada a
simplificar los clculos fastidiosos que deba efectuar su padre como
comisario para la recaudacin de impuestos en Normanda. Su salud
comenz a alterarse cuando cumpli los dieciocho aos, pero esto no le
impidi inventar su mquina de calcular cuando slo tena diecinueve
aos. Ms tarde, en Run, a los veintitrs aos, despus de una visita de
Pierre Petit que repiti ante l los experimentos de Torricelli sobre la
gravedad, se apresur a disponer todo para verificar las conclusiones del
fsico italiano, cosa que realiz con xito. En 1647, gravemente enfermo,
Blaise Pascal se instala en Pars con su hermana Jaequeline y prepara,
despus de una entrevista con Descartes, su experimento del Puy de
Dme, pues no estaba enteramente satisfecho de los experimentos de
Run. Y el 19 de septiembre de 1648, el experimento sobre la gravedad
realizado en el Puy de Dme (1465 m) fue un xito completo. En 1651,
Etienne Pascal muere y, un ao ms tarde, Jaequeline, la hermana menor
de Blaise, entra en el convento de Port Royal. As, desde 1652 hasta
1654 vive solo en Pars y emprende la redaccin del Tratado del vaco,
revisa el Tratado del equilibrio de los licores y el Tratado de la gravedad,
presenta un Memorial a la Academia parisina en el que enumera sus
proyectos cientficos, intercambia cartas sobre el problema de las
partidas y el clculo de probabilidades con Fermat, y redacta el Tratado
del tringulo aritmtico y diversos trabajos anejos.
El lunes 23 de noviembre de 1654, es la noche de fuego en el curso
de la cual Pascal, que se haba convertido parcialmente al jansenismo en
1646, vive un xtasis religioso intenso que le lleva a abandonar todo para
seguir a los jansenistas. Se une a su hermana en Port Royal y, durante
cuatro aos, se consagra a la religin. Habiendo atacado los jesuitas a
los jansenistas, Pascal responde, en 1656 1657, con dieciocho cartas
llamadas las Cartas provinciales que constituyen un monumento de la
- 72-
literatura francesa. Mientras tanto, mantiene una correspondencia

matemtica con Fermat, Huygens y De Sluse. Una tarde del ao 1658,
Pascal sufre un terrible dolor de muelas y, segn parece, como
distraccin, aborda el estudio de la cicloide. Es la vuelta de Pascal a las
matemticas y el desafo lanzado a los matemticos en una carta circular
annima que contiene seis proposiciones sobre la ruleta. Despus, bajo
el nombre de Amos Dettonville, anagrama transparente de Louis de
Montalte (clebre gracias a las Cartas provinciales), public, en diciembre
de 1658, en forma de nueve fascculos, sus mtodos y resultados, que
son considerados como los trabajos matemticos ms significativos
publicados durante su vida. A finales de 1659, Pascal, gravemente
enfermo, abandona todo trabajo cientfico y consagra sus ltimos aos a
sus Pensamientos y al establecimiento de una lnea de autobuses,
comnmente llamada empresa de carrozas a cinco sueldos. El 19 de
agosto de 1662, muere Pascal a los 39 aos.
La primera obra impresa de Pascal, Ensayo sobre las cnicas, es el
nico estudio de geometra publicado en vida del autor. Se presenta en
la forma de un pequeo anuncio de formato 35 cm x 43 cm, impreso por
un solo lado, con un nmero inusitado de errores de impresin o
tipogrficos, y del que se tiraron 50 ejemplares. Parece como si
Dsargues no hubiera encontrado ms que un solo oyente para apreciar
las ideas fundamentalmente nuevas que introduce en el campo de la
geometra y sus aplicaciones. Pascal no slo comprende el inters de un
estudio unitario de las cnicas tal como el que emprende Dsargues con
ayuda de consideraciones proyectivas, sino que intenta realizar este
estudio por otro camino, el que anuncia su corto texto de 1640. Segn el
testimonio del mismo Pascal, la obra de Dsargues le sirvi de inspiracin
y modelo. El texto se compone de tres definiciones seguidas de tres
lemas que deben servir de base al futuro tratado de las cnicas, y
despus de un esquemtico programa de conjunto del que el autor extrae
cinco enunciados de propiedades fundamentales y algunos ejemplos de
problemas que debe tratar.
La primera definicin introduce la nocin de haz de rectas (ordenacin
de lneas) que Pascal extrae de los trabajos de Dsargues y que asocia el
caso de las rectas concurrentes al de las rectas paralelas. La segunda
definicin se refiere a la nocin de seccin de cono y enumera los tres
casos generales (elipse, hiprbola y parbola) y dos casos particulares.
Una tercera definicin se limita a anunciar el empleo de la palabra recta
en lugar de lnea recta. El primer lema formula, en el caso particular de la
circunferencia, la propiedad de alineacin de tres puntos de interseccin
de los lados opuestos de un hexgono inscrito. El segundo lema afirma
que el eje de un haz de planos pertenece al haz espacial de rectas
determinado por las intersecciones de los planos del haz con otro plano.
El tercer lema extiende el teorema del hexgono (primer lema) a una
- 73-
cnica cualquiera. A continuacin, a partir de estos tres lemas y de

algunas de sus consecuencias, Pascal anuncia un tratado completo de las
cnicas y enumera teoremas destinados a dar una idea bastante precisa
de la generalidad de su mtodo, adems de ofrecer algunos ejemplos de
los problemas que debe tratar.
Los trabajos ulteriores de Pascal en geometra proyectiva son
descritos y comentados en su Memorial de la Academia parisina y en
una carta de Leibniz a Etienne Prier, el 30 de agosto de 1676. En lo que
se refiere al gran Tratado de las cnicas, no fue editado, y su manuscrito
parece definitivamente perdido. La valoracin de la obra geomtrica de
Pascal no es cosa fcil a causa de la insuficiencia de las informaciones,
por lo que preferimos citar la opinin del historiador Ren Taton, que es
el especialista en la cuestin: Al revelar la riqueza de un pensamiento
profundamente consciente de la potencia de los mtodos proyectivos,
este anlisis nos conduce a considerar la obra geomtrica de Pascal,
desgraciadamente desaparecida, como una de las creaciones
matemticas ms originales del siglo XVII. Nos confirma igualmente en
la opinin de que la geometra fue uno de los campos de la ciencia donde
el genio de Pascal se manifest de forma ms fecunda.
En 1640, la familia Pascal dej Pars para instalarse en Run, donde
Etienne haba sido nombrado comisario para la recaudacin de impuestos
en Normanda. Blaise pens realizar una mquina que permitiera efectuar
las operaciones aritmticas elementales con el fin de facilitar las penosas
operaciones contables de las que haba sido encargado su padre. Pero,
partiendo de este objetivo utilitario, el hijo de Etienne se interes
pronto por el problema general de la mecanizacin del clculo aritmtico.
Se ha credo durante mucho tiempo que Pascal haba sido el primero en
abordar el problema de la construccin de una mquina aritmtica. De
hecho, Wilhelm Schickard (1592 1635), profesor de astronoma,
matemticas y hebreo en la Universidad de Tubinga, haba realizado en
1623 una mquina de ruedas dentadas capaz de calcular, a partir de
unos nmeros dados, instantnea y automticamente la suma, la
diferencia, el producto y el cociente de estos nmeros.
Desgraciadamente, el ejemplar que haba hecho construir para Kepler
fue destruido, y la correspondencia ulterior de Schickard no hace ya
ninguna alusin a esta mquina. nicamente se han conservado copias
de cartas que incluyen dibujos de la mquina, y se ha podido construir
una mquina que funciona correctamente a partir de las indicaciones de
esas cartas.
Pascal utiliza, segn sus palabras, las luces de la geometra, la fsica
y la mecnica para elaborar los planos de su mquina. Contrata obreros,
manda realizar ms de cincuenta modelos, debe luchar tambin con un
imitador, y supera toda suerte de dificultades tanto en el plano tcnico
como en el de la confeccin y la realizacin de las piezas. Finalmente,
- 74-
puede presentar al pblico, al canciller Sguier y a la reina Cristina de

Suecia el prototipo final, que se vende a cien libras, y cuyo
funcionamiento explica Roberval a quien lo desea. Existen todava varios
ejemplares en el Conservatorio Nacional de Artes y Oficios de Pars y en
otros museos. Aunque la mquina de Pascal sea todava rudimentaria en
su mecanismo y efecte slo las operaciones de adicin y sustraccin,
tiene el mrito de funcionar eficazmente y de servir, desde 1662, como
prototipo de varios modelos de sumadoras, adems de interesar a
Leibniz en este problema.
Mientras que Pascal pone a punto diversos trabajos geomtricos, su
amigo, el caballero De Mr, le interroga con respecto a problemas del
juego de dados y de las partidas. Por ejemplo, el primer problema del
juego de dados que aparece en la primera carta de Pascal a Fermat
consiste en responder a la cuestin siguiente: un jugador debe obtener
un seis con un dado lanzado ocho veces; supongamos que despus de
tres lanzamientos sin xito, decide retirarse; qu proporcin de la
apuesta le corresponde? Este fue el comienzo de una correspondencia
mantenida entre los dos matemticos franceses, y las seis cartas
intercambiadas sirvieron de punto de partida de la moderna teora de
probabilidades. Pascal relacion el estudio de las probabilidades con el
tringulo aritmtico y las combinaciones, y de esta manera elabor un
mtodo de demostracin conocido actualmente con el nombre de
induccin matemtica.
Los estudios de Pascal en anlisis versaron casi exclusivamente sobre
las sumaciones, las integraciones necesarias para calcular arcos,
superficies, volmenes, y para determinar centros de gravedad. Por el
contrario, no se ocup en absoluto del problema de las tangentes. Pascal
conoca los indivisibles y estaba al corriente de las discusiones sobre la
falta de rigor y los fallos observados en algunos autores. Por eso,
aprovechando las advertencias hechas por algunos crticos del mtodo,
decidi, no obstante utilizar los indivisibles, porque vea en ese lenguaje
una manera breve y elegante de expresar sus ideas.
Al introducir en su Tratado de los senos del cuadrante de
circunferencia la nocin de tringulo caracterstico, Pascal estuvo
notablemente cerca del descubrimiento del clculo diferencial. En efecto,
Leibniz declar que fue la lectura de ese tratado y, particularmente, la
utilizacin del tringulo caracterstico, lo que le inspir la invencin del
clculo diferencial.
Pascal imagina un radio y una divisin del cuadrante de la
circunferencia en arcos iguales que tendern a cero cuando su nmero
aumente indefinidamente. Desde los puntos de divisin, como por
ejemplo, traza tangentes sucesivas cuyas intersecciones formarn un
polgono regular circunscrito. Pascal llama al tringulo rectngulo el
tringulo caracterstico.
- 75-
Sirvindose de ese tringulo, llega a la integracin del seno y

encuentra teoremas equivalentes a lo que hoy da escribiramos como
Pascal no se consideraba a s mismo como una persona cuya primera

actividad fuera la matemtica, por lo que no crea necesario estar al
corriente de las actividades matemticas de su poca. Era no slo un
virtuoso aficionado a las matemticas, sino tambin un diletante que se
permita elegir los temas a los que consagraba su tiempo. Pascal fue,
efectivamente, un genio para captar rpidamente lo esencial de una idea
y para introducirla a veces en situaciones completamente nuevas. Sus
trabajos ejercieron una influencia cierta en el desarrollo de las
matemticas. Subrayemos entre otras, el estmulo ejercido por la
publicacin de las Cartas de Dettonville sobre el estudio de la cicloide, la
influencia que ejerci sobre Huygens, con ayuda de Fermat, a propsito
del clculo de probabilidades. Sus contribuciones originales en el
dominio de las matemticas son diversificadas y numerosas;
mencionemos solamente la geometra proyectiva, la induccin
matemtica, la integracin de los senos y el clculo de probabilidades.
Grard Dsargues (1591 1661) naci en Lyon, donde fue bautizado el
2 de marzo de 1591. Era, segn parece, el menor de una familia de
cuatro hijas y cuatro hijos. Su padre fue sucesivamente inquisidor en la
senescala, recaudador de los diezmos de la ciudad y de la dicesis y
notario real. No se tienen informaciones ni sobre los estudios que hizo, ni
sobre la profesin que escogi. La primera indicacin cierta sobre su vida
nos la presenta en 1630, instalado en Pars, donde le haba sido
concedido un privilegio real para diversos escritos que proyectaba
publicar. Desde esta poca, participa en la vida cientfica de la capital y
entabla amistad con Mersenne, Mydorge, Pascal y Claude Hardy.
Ingeniero cuyo talento era, segn parece, apreciado por el cardenal de
Richelieu, lleno de curiosidad por todas las cosas, tanto de la ciencia pura
como de la tcnica, de genio vivo, original y muy profundo, Dsargues
- 76-
se sinti atrado tambin por ciertas tcnicas ligadas a la arquitectura.

Reflexionando sobre las diferentes tcnicas referentes a la
perspectiva, la gnomnica, la prctica del corte de las piedras y la
construccin de los cuadrantes solares, Dsargues se esforz por poner a
punto nuevos mtodos universales, basados en una comprensin de los
fundamentos geomtricos comunes a esas diferentes tcnicas. En
1636, public un corto texto de perspectiva que muestra que la
geometra en para l bastante ms un medio de simplificar y generalizar
las diversas reglas grficas utilizadas por las diferentes tcnicas; y la
perspectiva era, en su opinin, una aplicacin directa de la geometra.
Descartes y Fermat descubrieron en esta obra el talento geomtrico de
su autor; en cambio, ciertos tericos de perspectiva no supieron
descubrir su profunda originalidad.
En 1638, Dsargues tom parte en una controversia que implica,
entre otros, a Descartes y Fermat sobre problemas de fsica y sobre el
famoso problema de la determinacin analtica de las tangentes a las
curvas planas. Dsargues, estimado por las dos partes enfrentadas,
desempe, segn parece, un papel muy objetivo, intentando conciliar
las tesis de cada uno y excluir toda animosidad personal. A finales de
1638, discuti con Descartes su nueva teora geomtrica de las cnicas
que estaba a punto de publicar en forma de pequeo tratado. Este
tratado vio la luz en los primeros meses de 1639: fue su clebre Brouillon
project dune atteinte aux evenemens des rencontres du Cone avec un
Plan (Borrador de un proyecto que trata de los resultados de los
encuentros de un cono con un plano), que recibi una acogida muy tibia;
slo Pascal tuvo el gran mrito de apreciar todo su valor e inters. Desde
1640 hasta 1644, Dsargues parece haber estado profundamente
afectado por las violentas polmicas que se desataron sobre su obra y
sobre s mismo. Desde 1644 hasta su muerte, acaecida en 1661, vivi
sucesivamente en Pars, Lyon, y otra vez Pars en 1657, donde ocup su
tiempo en realizaciones arquitectnicas y fue de nuevo objeto de vivas
crticas. No se sabe si muri en Pars, en Lyon o en Condrieu, pero una
cosa es cierta: su obra no fue reconocida en su tiempo, y los ataques de
que fue objeto eran desmesuradamente exagerados. El Borrador, del
que se hicieron slo cincuenta ejemplares por el propio Dsargues, se
convirti rpidamente en una pieza rara. Gracias a Michel Chasles fue
encontrada una copia en una librera de lance en 1847, copia que sirvi
de base a Poudra para su edicin de las Obras completas de Dsargues
en 1964. Sin embargo, este documento no era un ejemplar original;
afortunadamente, las investigaciones emprendidas por Ren Taton han
permitido rastrear un original en la Biblioteca Nacional con la ayuda,
segn parece, de Pierre Moisy.
La obra de renovacin de la geometra presentida por Durero, Werner
y Maurolico, fue claramente concebida por Dsargues. As, empujado por
- 77-
el deseo de racionalizar las diversas tcnicas grficas la perspectiva, el

trazado de planos y la construccin de cuadrantes solares, haba
conseguido no slo discernir los principios geomtricos subyacentes a
estas tcnicas, sino tambin poner de relieve los procedimientos de la
geometra proyectiva y las propiedades de la perspectiva geomtrica. Su
Borrador es esencialmente un libro sobre las cnicas en el que Dsargues
estudia las propiedades comunes a las tres cnicas: parbola, elipse e
hiprbola, que pertenecen igualmente a la circunferencia, buscando
siempre en las propiedades de la circunferencia las que se conservan por
perspectiva. La tcnica utilizada es la proyeccin a partir de una
circunferencia, y el concepto clave de su obra es el de involucin. Las
principales ideas rectoras que se encuentran en su obra son las nociones
de punto y de recta en el infinito; la relacin involutiva entre los puntos
de un eje, o entre las rectas de un haz; la involucin de cuatro puntos,
introducida para la divisin armnica de puntos; las definiciones de polos,
de polares, de tringulo polar; la involucin de puntos conjugados con
respecto a una cnica; la definicin del dimetro como el polar de un
punto en el infinito; los ejes, los dimetros conjugados, las asntotas de
una cnica obtenidas por proyeccin a partir de una circunferencia, o de
otra cnica.
Diversos problemas de geometra

perspectiva fueron resueltos por
Dsargues despus de 1639. El ms
clebre, al cual va unido su nombre,
fue publicado en 1648 en el Tratado de
perspectiva de Abraham Bosse (1611
1678), su discpulo y amigo. Es el
teorema de Dsargues, que enuncia
que dos tringulos perspectivos, y
, en el espacio o en el plano son
tales que los tres puntos de
interseccin de sus lados homlogos
estn alineados y
recprocamente.
La geometra proyectiva fundada sobre la obra original de Dsargues
y el Ensayo de Pascal qued olvidada rpidamente, y slo el genio de
Monge invirti parcialmente la marcha de la corriente matemtica que
prevaleci durante ms de un siglo. Este olvido se explica en gran
medida por el xito casi inmediato de la Geometra de Descartes, los
progresos fulgurantes del anlisis infinitesimal, fundamentado en la
utilizacin de los indivisibles y el punto de vista analtico que se extendi
muy ampliamente en los mtodos del anlisis.
- 78-
12. Preparado el camino para Newton y

Leibniz
Hasta aqu hemos visto la inmensidad de problemas que se han
tratado y resuelto en esta etapa hasta el siglo XVII. Se ha dilapidado en
general el rigor impecable de la exhaucin griega, pero se han ingeniado
magnficos mtodos heursticos de rpido descubrimiento. Se han puesto
de manifiesto hechos significativos (el incremento infinitesimal de la
variable independiente de Fermat y Barrow, el tringulo caracterstico y
sus semejantes vinculados a cada punto de la curva, la relacin inversa
entre cuadraturas y tangentes, cte.). En algo ms de medio siglo las
tcnicas infinitesimales han dado un salto de gigante. A partir de aqu se
plantea, histricamente, la necesidad de dos hechos fundamentales:
1. la generalizacin y unificacin de los problemas y mtodos
infinitesimales, es decir la elaboracin de un algoritmo aplicable
a todos los problemas
2. la reformulacin sobre bases rigurosas del nuevo Anlisis
infinitesimal.
La parte 1 es, lo que llamamos, el descubrimiento final del Clculo
por Newton y Leibniz. La parte 2 es la puesta en orden lgico del Clculo,
que realiza Cauchy y sus continuadores, la llamada Aritmetizacin del
Anlisis.
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,
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. Pero la
perspectiva de generalizacin estaba implcita en esos mtodos. Si no se
acert a encontrar la tcnica algortmico general bastante tuvo que ver
en ello el lenguaje matemtico al uso, todava primitivo, que se utilizaba.
Esto, es patente en el caso de Pascal que con admirable destreza y sin
utilizar frmula alguna elabora enunciados que pueden traducirse
inmediatamente en frmulas de nuestro Clculo integral.
El dominio incomparable del lenguaje le permite evitar el simbolismo
algebraico, con su claridad y precisin, pero su rechazo de las frmulas le
impidi descubrir el Clculo diferencial de Leibniz, va el tringulo
caracterstico, as como la frmula binomial de Newton, descubrimientos
que como Leibniz reconoce, se hicieron gracias a l. Como consecuencia
del precario lenguaje, era difcil acertar a vislumbrar las posibles
conexiones entre los problemas que se trataban, pero aun en el caso de
- 79-
advertirlas, como por ejemplo la relacin entre la rectificacin de la

parbola y la cuadratura de la hiprbola, o la esencial relacin inversa de
las tangentes con las cuadraturas, era difcil formularlas con exactitud, y
mucho ms captar el profundo significado y la importancia que tales
conexiones tenan en el camino de la generalizacin de los mtodos.
El gran acierto de Leibniz es precisamente la elaboracin de una
notacin especialmente afortunada, tan identificada con los propios
conceptos y tan significativamente definitiva, que, a veces, nos resulta
inevitable utilizarla, anacrnicamente, para exponer los resultados
infinitesimales de sus predecesores. Su virtuosismo en la creacin del
simbolismo le permitira traducir en frmulas los resultados y en
algoritmos los mtodos, tanto los de sus antecesores como los
descubiertos por l mismo, lo que a su vez le facilitara la utilizacin de
los recursos algebraicos para independizar el discurso matemtico de las
figuras geomtricas (a las que estuvo esclavizado Barrow, por ejemplo) y
con todo ello reconocer y aislar los conceptos fundamentales del Clculo
infinitesimal, creando un cuerpo de doctrina dotado de algoritmos
eficaces, es decir funcionando como un Clculo operacional que resuelve
todos los problemas planteados anteriormente, mediante procedimientos
uniformes y con una proyeccin a nuevos y ms complicados problemas,
como un potente instrumento de investigacin. En palabras del propio
Leibniz, se trataba de hacer con las tcnicas del Clculo lo mismo que
haba hecho Vite con la teora de ecuaciones y Descartes con la
Geometra.
El descubrimiento final del Clculo infinitesimal, requera la
confrontacin y contrastacin de los mtodos geomtricos de Cavalieri y
Barrow con los mtodos analticos de Descartes, Fermat y Wallis, con los
mtodos aritmticos de Roberval, Fermat y Wallis y con los mtodos
cinemticos de Torricelli, Roberval y Barrow. No se ajusta por tanto del
todo a la realidad histrica la asignacin categrica de Newton a la
tradicin cinemtica representada por Arqumedes, Galileo, Torricelli,
Roberval y Barrow y de Leibniz a la tradicin atomstica representada por
Demcrito, Kepler, Cavalieri, Fermat, Pascal y Huygens. Las dos
tradiciones afectaron tanto a Newton como a Leibniz. El descubrimiento
final del Clculo requera asimismo y sobre todo el reconocimiento de la
importancia del teorema fundamental del Clculo como ncleo de un
algoritmo universal, que establecera una forma general de proceder
aplicable a todos los problemas infinitesimales. El Clculo de Newton
comienza con la consideracin de elementos infinitesimales a la manera
de Fermat y Barrow (cuya aplicacin extiende mediante el teorema
binomial), pero en seguida deriva hacia una concepcin mecnica,
basada en la idea intuitiva del movimiento continuo, manejando el
concepto de fluente, como cantidad que vara respecto al tiempo y de
fluxin como su velocidad de cambio respecto al tiempo, y utilizando
constantemente las series infinitas para universalizar la aplicabilidad del
- 80-
clculo fluxional, valindose de la derivacin trmino a trmino. En

cuanto a la integracin, Newton cambia radicalmente la concepcin
tradicional del rea como lmite de una suma de infinitesimales, a base
de considerar la razn de cambio del rea respecto de la abscisa,
calculando despus el rea, mediante una antiderivacin, dejando
completamente claro, por vez primera, el carcter inverso de la
cuadratura y la tangente.
Newton recoge la influencia de Barrow (que en su versin del
teorema fundamental maneja la integral indefinida a expensas de la
integral definida), trocando la preeminencia que histricamente haba
tenido la integracin sobre la derivacin. Con Newton la derivacin
ocupar el papel principal, quedando la integracin reducida a ser el
problema inverso. De hecho Newton, con su intuicin algortmica,
concebir la idea de sustituir todas las operaciones de carcter
geomtrico involucradas en el Clculo, por una nica operacin analtica,
la derivacin, que resolver adems por inversin, la integracin
(teorema fundamental del Clculo), para lo que se auxiliar con el
reciente y poderoso algoritmo de los desarrollos en serie (derivacin e
integracin trmino a trmino).
El Clculo de Leibniz tiene en cambio una hechura ms analtica y
simblica, siendo las diferencias infinitesimales y la suma de
infinitamente pequeos las bases de su Clculo diferencial e integral,
respectivamente, lo que le permite, extrapolando el carcter inverso de
la suma y la diferencia, como operaciones, descubrir el vnculo entre
tangentes y cuadraturas, y a travs del tringulo caracterstico reducir
todos los problemas de cuadratura a una antiderivacin, considerando lo
que se llama la cuadratriz o sumatriz, y auxilindose, adems, con
transformaciones a modo de sustituciones, que son operaciones
totalmente anlogas a la integracin por partes y por cambio de variable.
A lo largo del recorrido de la etapa emprica del desarrollo del Clculo
anterior a Newton y Leibniz, hemos visto cmo se iba abriendo paso
lenta y subrepticiamente el concepto de lmite. Aunque muchos
matemticos aplican intuitivamente nociones muy prximas a las
nuestras, contextualizando sus resultados advertimos las dificultades
inherentes al ejercicio del pensamiento aritmtico en trminos de lmites,
que tan imprescindible se fue manifestando durante dos siglos en la
ardua tarea de reconstruir y sistematizar el Anlisis, fundamentndolo en
bases rigurosas. Newton, intentando evitar los infinitamente pequeos,
se ve abocado a considerar las primeras y ltimas razones de
cantidades evanescentes, que es un remedio ms de la idea de lmite
aunque ya ms prximo al rigor, pero no lo suficiente, como para no
encender la dura crtica del obispo Berkeley. Leibniz en cambio con su
reformulacin de los conceptos infinitesimales (los diferenciales)
disfraza, como haban hecho sus predecesores, el concepto de lmite bajo
su notacin y terminologa.
- 81-
Como conclusin, Newton y Leibniz, bajo concepciones y mtodos

infinitesimales diferentes, fueron capaces de separar la carga geomtrica
de los resultados de sus antecesores, encontrando el principio general
que les permitira reducir las operaciones fundamentales del Clculo
infinitesimal a un algoritmo universalmente vlido, produciendo una
ruptura radical, un cambio sustancial en el tratamiento y resolucin de
los problemas. Recogiendo todos los componentes de lo heurstico de la
fase emprica anterior, Newton y Leibniz, sin aadir grandes cotas de
rigor, desarrollan lo algortmico con la fecundidad, coherencia y
generalidad de sus diferentes sistemas infinitesimales, abriendo la
puerta a lo riguroso en el Anlisis moderno. Gracias a la ilustre plyade
de matemticos que les precedieron, estos sabios bien pudieron haber
manifestado la frase que se atribuye a diversos cientficos: Si he podido
vislumbrar ms all, es porque me he subido a hombros de gigantes.
- 82-

Historia de las Matemáticas prehelénicas a la transición al Cálculo

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Historia de las Matemáticas prehelénicas a la transición al Cálculo

Caricato da

Copyright:

Formati disponibili

Centro de Altos Estudios Universitarios de la OEI

Tema 30: Historia de las Matemticas

Historia de las Matemticas

contenido, para no tener que romperlo, se realizaba en su superficie

En Mesopotamia aparece la escritura cuneiforme sobre el 3300 a. C.

El sistema de numeracin romano, segn la clasificacin de Georges

El origen de la numeracin de posicin est en la cultura rabe. Los

Las matemticas que se reflejan de los documentos obtenidos en

Hay muchos documentos que se conservan desde la antigedad: el

problemas de ecuaciones, una de ellas de segundo grado; papiro de

Pero sin duda alguna el ms importante documento matemtico

De los mtodos utilizados por los egipcios destaca de forma especial

La multiplicacin en la poca de Ahmes se basa en la duplicacin, por

En el campo actual de la resolucin de ecuaciones algebraicas,

si el montn y un sptimo del montn es 19. La solucin dada por

En 1930 Neugebauer descubri que los babilnicos haban trabajado

Para las ecuaciones del tipo , los babilonios

y resolverla por sustitucin.

2. Grecia: el nacer de una nueva concepcin cientfica.

Desde los siglos IX al VII a. C., la crisis social vivida en la Grecia

importantes influencias culturales mutuas. El mundo griego descubri, a

1. Perodo helnico: 600 al 300 a. C.

Los matemticos ms celebres de esta poca son Diofanto y

acceso a la verdad. Los nuevos filsofos griegos empiezan a cultivar las

esos lados son iguales.

tres etapas se volva a repetir el proceso con el pentgono interior

unidad de medida comn a los dos segmentos.

Como , se tiene que . Entonces dado

como proposicin 117 del libro X. Sin embargo, lo ms probable es que

Libro V. Extensin de la teora de las magnitudes a los irracionales

Ninguna proposicin de los Elementos ha tenido una vida tan agitada

primera teora astronmica de los movimientos celestes. En el terreno

que era uno de los grandes retos de la matemtica griega. En la

habamos supuesto que resulta que ; por lo tanto si

Contradiccin, es falsa la premisa de que -.De forma anloga se

Arqumedes de Siracusa estudi en Alejandra y fue discpulo de

Dado un segmento parablico con base en el segmento , el punto

En la obra titulada Medicin del crculo demuestra las tres

3. El permetro de todo crculo es igual al triple del dimetro

Veamos el razonamiento de Arqumedes para demostrar estas

Posteriormente duplica el nmero de lados del hexgono, inscribiendo

valor que sustituy por los valores ms sencillos

a escribir de nuevo, que procede del siglo X y lavado en el S. XIII para

considerar la hiprbola como una curva de dos ramas en vez de dos

Que al ser una ecuacin de segundo grado sobre y es, en general,

Sol y la visual dirigida al centro de la Luna es menor que un ngulo recto

De aqu llega a la conclusin de que , con lo que el Sol

aproximaciones llegaron a 252000 estadios, unos 46620 Km.

Claudio Ptolomeo (ca. 83 - ca. 161) escribi el

La demostracin es sencilla si trazamos el segmento tal que el

A partir de aqu considera el caso en el que es un dimetro,

Por lo tanto, el teorema de Ptolomeo conduce a los siguientes

De forma similar se obtendran

La civilizacin china, una de las ms antiguas del mundo situemos

Contiene 246 problemas sobre agrimensura, agricultura, compaa,

Tambin destacamos la resolucin de un sistema de ecuaciones

escribiendo el sistema en columnas y mediante operaciones sobre dichas

con lo que se obtiene el sistema de ecuaciones

de donde se obtiene fcilmente, y de forma sucesiva que las soluciones

hasta el S. XIX y que no es ms que un libro de matemtica elemental. El

Otro trabajo destacable es el de Chin Chiu Shao (cas 1202 - ca.

4. Las matemticas rabes

Mahoma nace aproximadamente en el ao 570 en La Meca y muere