Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
HISTORIA
MATEMTICAS
Volumen I
Apuntes de Historia
de las Matemticas
Volumen 1, Nmero 1. Enero 2002.
UNIVERSIDAD DE SONORA
DIVISIN DE CIENCIAS EXACTAS Y NATURALES
Hermosillo, Sonora, Mxico.
Apuntes de Historia de las Matemticas
Apuntes de Historia de las Matemticas es una publicacin cuatrimestral cuyo fin
es generar material en espaol sobre la Historia de las Matemticas y ponerlo al alcance de
estudiantes, profesores y pblico en general. Su fuente principal es el Seminario de Historia de las
Matemticas que se viene desarrollando en este Departamento desde septiembre de 1999, con
dos conferencias semanales durante los semestres lectivos. Sin embargo, la publicacin est
abierta a todos los interesados, a quienes se invita a ponerse en contacto con el editor de esta
serie, a la direccin electrnica siguiente:
mavalenc@gauss.mat.uson.mx
Los trabajos debern escribirse en Word, en tipo Times New Roman de 12 puntos, en hoja
tamao carta, a rengln sencillo, en una sola columna, con los mrgenes usuales del procesador:
Izquierdo 3.0 cm, derecho 3.0 cm, superior 2.5 cm e inferior 2.5 cm.
El ttulo se escribir con maysculas, centrado y con el tipo Times New Roman en tamao
16. Los subttulos irn en maysculas, con el mismo tipo, pero en tamao 12, justificados a la
izquierda. Ttulo y subttulos irn en negritas.
Inmediatamente debajo del ttulo aparecer el nombre del autor, en itlicas y negritas,
justificado a la derecha. Los datos del autor se entregarn por separado para ubicarlos en otro
lugar de la publicacin. Las pginas se numerarn abajo y al centro del texto, en tamao 12.
El texto estar justificado en ambos mrgenes. Cada prrafo iniciar sin sangra, pero
despus de cada punto y aparte deber dejarse un rengln libre. Antes de cada subttulo debern
dejarse dos renglones libres, y uno despus. La extensin mnima ser de seis cuartillas, y la
mxima de catorce.
Al final se incluirn las referencias, iniciando con los apellidos de los autores en negritas,
colocados en orden alfabtico. Enseguida del nombre del autor o autores, se colocar entre
parntesis el ao de publicacin, luego el nombre del artculo, libro o publicacin en itlicas, y
finalmente los datos de edicin del libro o revista, o la direccin electrnica.
El trabajo se entregar impreso y en disco de 3.5 pulgadas. Ambas versiones incluirn las
ilustraciones, tal como debieran aparecer en la versin final.
C O N T E N I D O
Tales de Mileto
Jos Luis Daz Gmez ........................... 13
EL EDITOR,
INTRODUCCIN
La periodizacin es necesaria para poder orientarse con mayor facilidad en toda la riqueza
de hechos que presenta el desarrollo histrico de las matemticas. Sin embargo, el papel de
tales periodizaciones es puramente auxiliar y se determina por las necesidades del objetivo
fundamental: el descubrimiento de lneas objetivas del desarrollo de las matemticas.
Los testimonios materiales, por los que puede estudiarse este perodo, el ms antiguo en la
historia de las matemticas, son escasos e incompletos. El balance cronolgico de las
civilizaciones de los valles del Indo y del Changijiang (Yangts) - ros que nacen en el
Tbet y se dirigen respectivamente hacia el norte de la India y hacia el este de China se
apoya en crnicas cuya veracidad se pone en duda con frecuencia. Por el contrario, las
informaciones procedentes de los habitantes del valle del Nilo y del Creciente Frtil
ofrecen, en las fuentes recogida hasta ahora, una mayor objetividad y una interpretacin
ms acertada de las actividades matemticas de estos pueblos.
Las formas y vas del desarrollo de los conocimientos matemticos en los diferentes
pueblos son muy diversas; sin embargo, el comn para todos los pueblos es que todos los
5
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
conceptos bsicos de las matemticas: nmero, figura, rea, prolongacin infinita de la
serie natural, etc., surgieron de la prctica y atravesaron un largo perodo de
perfeccionamiento.
ORIGEN
FUENTES
Entre estas tablillas de arcilla encontramos textos matemticos procedentes del ltimo
perodo sumerio (hacia el ao 2100 a. de C.); un nmero mayor de ellos pertenece a la
primera dinasta babilnica (poca del rey Hammurabi), y por ltimo, muchos de ellos
pueden situarse entre el ao 600 a. de C. y el 300 d. de C. Los textos matemticos contienen
esencialmente series de nmeros, relaciones geomtricas y listas de problemas. En
particular, las tablillas contienen multiplicaciones, nmeros y sus inversos, cuadrados y
cubos, y tambin algunas relaciones numricas en trminos de exponentes. El contenido
matemtico revelado por estos textos es suficientemente variado.
Mientras tanto, a los escritos egipcios les ha ido mejor que a los babilnicos en este
aspecto. Fue la expedicin de Napolen a Egipto la que confiri el impulso suficiente al
estudio cientfico de la civilizacin egipcia; fueron soldados franceses los que llevaron a
cabo el ms importante de los descubrimientos: excavando cerca de Rosetta, al este de
6
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
Alejandra, extrajeron una piedra de basalto en la que haba una inscripcin en tres lenguas:
griego, demtico y jeroglfico. La piedra de Rosetta revelaba a los investigadores la
traduccin griega de un texto en escritura jeroglfica y en la vieja escritura popular egipcia
(demtico). Se tena la llave para descifrar los jeroglficos, pero cmo haba que utilizarla?
Esto se pudo lograr gracias al trabajo constante y minucioso.
3) El rollo de cuero de las matemticas egipcias. Rollo de cuero comprado con el papiro
Rhind y conservado en el Museo Britnico desde 1864. En 1927 se consigui, no sin
dificultad, desenrollar este documento de cuero y encontrar en l una coleccin, por
duplicado, de 26 sumas escritas en forma de fracciones unitarias, esto es, fracciones con
numeradores unitarios. Todo parece indicar que este rollo era una copia de un manual
que serva de gua prctica para un futuro trabajo, lo cual arroja mucha luz sobre el
aspecto mecnico contenido en las principales fuentes de las matemticas egipcias, de
la aritmtica, adems de proporcionar una justificacin de la supuesta existencia de
tablas tpicas de fracciones.
7
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
SISTEMAS DE NUMERACIN
o ms bien
Generalmente, los egipcios utilizaban signos especficos para fracciones particulares como
2/3 y . En general, trabajaban con fracciones unitarias y cualquier fraccin de la forma p/q
se expresaba como una suma de fracciones unitarias. Las operaciones usuales se
efectuaban, casi en su totalidad, con ayuda del principio de adicin o por desdoblamiento.
8
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
ARITMTICA EGIPCIA
9
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
De la misma manera, para efectuar la divisin 847 33, se busca por cunto debe
multiplicarse 33 para obtener 847: Como los productos de 33 con potencias de 2 son 1, 33,
66, 132, 264, 528, etctera, y entonces
847=528+319
=528+264+55
=528+264+33+22
LGEBRA EGIPCIA
El origen de muchos de los 110 problemas contenidos en los papiros Rhind y de Mosc
est estrechamente relacionado con la vida cotidiana. Estos problemas se resuelven
generalmente con la sola ayuda de la aritmtica o utilizando ecuaciones lineales de la forma
x+ax=b o x+ax+cx=b, donde la incgnita x se llama aha.
En general, los egipcios no resolvan la ecuacin cuadrtica, pero eso no les impidi
resolver ciertas ecuaciones de segundo grado. Los egipcios utilizaban muy poco el
simbolismo en su lgebra; manipulaban con xito las progresiones aritmticas y quizs las
geomtricas y utilizaban con soltura la conmutatividad y la distributividad, y estaban
familiarizados con el inverso de un nmero.
La mayora de los problemas de geometra que aparecen en los papiros hacen referencia a
frmulas de medicin necesarias para evaluar el rea de figuras planas y de ciertos
volmenes. El rea de un tringulo issceles se obtiene multiplicando la mitad de la base
por la altura. Los egipcios parecen acostumbrados a transformaciones que comprenden la
semejanza de rectngulos con ayuda de tringulos issceles y trapecios issceles. Calculan
10
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
tambin el volumen de cilindros y prismas, pero desconocen el Teorema de Pitgoras en su
formulacin general.
Un ejemplo: El rea de un crculo se obtena aplicando un cuadrado cuyo lado es igual a 8/9
de la longitud del dimetro. As, el valor de es 31/6. He aqu una interpretacin que
explica el origen de este valor:
3 3 3
A partir de un cuadrado cuyo lado mide 9 unidades, se
construye un octgono de tal manera que el rea de
cada uno de los tringulos issceles de las esquinas
sea 4 unidades.
rea del cuadrado =81.
rea del octgono = rea del cuadrado reas de cada uno de los tringulos
= 81 18
= 63 (lo que es casi el rea de un cuadrado de lado 8).
Puesto que el rea del octgono difiere poco de la del crculo inscrito en este cuadrado, el
rea de un crculo ser aproximadamente igual a (8/9 d)2, o (16/9)2 r2 = r2, de donde
=(16/9)2 o sea, aproximadamente, 3 1/6.
Los egipcios utilizaban una regla precisa relativa a la circunferencia: la razn entre el rea
de un crculo y su circunferencia es la misma que entre el rea del cuadrado circunscrito al
crculo y su permetro. Segn Boyer, esta relacin tiene una significacin matemtica
mucho mayor que la aproximacin a . Adems, podan calcular el rea de tringulos,
rectngulos y trapecios. La semejanza y la proporcionalidad no parecen haberles sido
desconocidas. En el siglo XIII a. de C. dos figuras similares, aunque de dimensiones
diferentes, fueron dibujadas en las paredes de la habitacin donde se encuentra la tumba de
Seti I.
Es evidente que el escritor conoca la frmula : V = [a2 +ab +b2]h/3, que representa el
volumen de un tronco de pirmide de base cuadrada. Cmo fue descubierta? Se han dado
varias explicaciones, pero es difcil, incluso hoy, saber el mtodo empleado por los
egipcios. Los autores de estos documentos saban calcular la pendiente de los lados de una
pirmide y su volumen. Los problemas 56, 57, 58, 59 y 60 del papiro Rhind se refieren al
clculo de la razn entre la base horizontal de la pirmide y su altura, llamada seqt.
El valor de la seqt era importante para los constructores de pirmides, pues deban
mantenerla constante en los sucesivos bloques de piedra. Podemos considerarlas como las
cotangentes del ngulo de inclinacin de las caras de las pirmides.
11
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
La geometra en Egipto no se desarroll como una ciencia en el sentido griego de la
palabra, fue propiamente una aritmtica aplicada. El calculista tena conocimiento de
reglas, a partir de las cuales eran realizados los clculos, pero no se ha encontrado una
derivacin sistemtica de estas reglas.
La matemtica prehelnica no contaba con nada que pudiera llamarse teorema, y menos con
una prueba tal como la entendieron los griegos; slo contaban con recetas que elevaban al
rango de verdades al verificar una y otra vez que podan realizarlas. De ah que mostraran
una total indiferencia por contar con frmulas precisas. Este plantearse de manera general
los problemas es el paso que implic tomar el camino de la generalidad y la abstraccin.
Los griegos, al tratar de convertir esa especie de ciencia experimental que heredaron del
Oriente en una ciencia basada en la deduccin, dieron un giro que desemboc en la
formalizacin, al demostrar los resultados mediante razonamientos y ya no por simple
verificacin repetitiva; as, surgen las estructuras matemticas y los mtodos de
demostracin. De aqu, puede decirse que los egipcios eran expertos en el mtodo prctico
y los griegos en el terico.
Los materiales contenidos en los papiros permiten afirmar que 20 siglos antes de nuestra
era, en Egipto existan elementos de matemticas que apenas comenzaban a separarse de
los problemas prcticos, pero ya apuntaban hacia una ciencia.
REFERENCIAS
[1] Boyer, Carl P. (1968). A history of Mathematics. John Wiley & Sons, Inc. New York.
[2] Collette, Jean-Paul (1986). Historia de las Matemticas, tomo 1. Siglo Veintiuno
Editores, S.A. de C.V. Mxico, D.F.
[3] Chvez Rivera, Hctor (1995). Bosquejo histrico de la geometra griega hasta la
poca de Euclides. Departamento de Matemtica Educativa del CINVESTAV-
IPN. Mxico, D.F.
[4] Newman, James R. (1983). El mundo de las matemticas. Coleccin Sigma, tomo 1.
Ediciones Grijalbo, S.A. Mxico, D.F.
12
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
TALES DE MILETO
Jos Luis Daz Gmez
INTRODUCCIN
Tales, filsofo, astrnomo y matemtico griego naci en Mileto en el ao 624 a. de C. de
acuerdo con el pensador griego Apolodoro, y muri a la edad de 78 aos durante la
quincuagsima octava olimpada (548-545 a. de C) segn el historiador en filosofa griega
Digenes Laertes. Tales es el padre tradicional de la matemtica griega y aunque su
imagen completa es legendaria, subsiste por algo eminentemente real. Simboliza las
circunstancias bajo las cuales los fundamentos, no solamente de la matemtica moderna,
sino tambin de la ciencia y de la filosofa, fueron establecidas [7].
No hay escritos de Tales disponibles, as como tampoco hay fuentes contemporneas a las
que se pueda recurrir como referencia. Esto hace extraordinariamente difcil el poder
contabilizar lo logrado por Tales. La labor se hace an ms difcil por cuanto se sabe que en
la antigua Grecia haba la prctica de atribuirle muchos descubrimientos a personas
reconocidas como sabios sin que ellos hubieran tenido parte en ellos. La inclusin del
nombre de Tales en el canon de los legendarios Siete Hombres Sabios condujo a su
idealizacin y despus a la leyenda que le acompaa. De esos siete hombres se le consider
el primer filsofo, as como tambin un discpulo de los egipcios y caldeos, suposicin
de muy buen fundamento por los viajes de Tales a Egipto y Mesopotamia.
Para informacin respecto al trabajo de Tales y en general del desarrollo inicial de la
matemtica griega, deberemos confiar enteramente en pequeos fragmentos transmitidos
por autores posteriores y en observaciones dispersas de filsofos y de otros autores no
estrictamente matemticos [7].
Tales era un hombre esencialmente prctico: comerciante, hbil en ingeniera, astrnomo,
filsofo, estadista, gemetra.
TALES EL COMERCIANTE
Fue mercader en su juventud, y tuvo mucho xito como hombre de negocios; sus tareas
como mercader le llevaron a muchos pases y su ingenio natural le permiti aprender las
novedades que vea. Muchas leyendas y ancdotas se renen en torno a su nombre. Una de
las ancdotas que se cuentan de su vida es cuando estuvo encargado de unas mulas
13
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
cargadas con sacos de sal; en su camino, al cruzar el ro, una mula resbal; la sal se disolvi
y su carga se aliger. El animal entonces se sumerga maosamente cada vez que tena que
cruzar un ro. Tales encontr la solucin para darle una leccin a la mula: la carg con un
saco de esponjas. Otra ancdota -narrada por Aristteles- es que en otra ocasin se apoder
de todas las cosechas de olivas y al tener el "monopolio", como dueo del mercado, les
demostr lo negativo que esto podra ser y despus vendi todo a un precio tan razonable
que horrorizara a un capitalista de hoy en da. Como mercader acumul riqueza suficiente
para consagrarse al estudio durante los aos de su edad madura [6].
TALES EL INGENIERO
Como lo que ahora llamaramos ingeniero, estuvo dirigiendo obras hidrulicas y se dice que
desvi el curso del ro Halis mediante la construccin de diques.
TALES EL ASTRNOMO
Como astrnomo fue ms clebre, lo espectacular fue la prediccin del eclipse solar que
detuvo la batalla entre Alyattes y Cyaxares el 28 de mayo del ao 585 a. de C. Expertos
modernos en la materia estn convencidos de que Tales careca del conocimiento para
predecir con precisin la localidad donde el eclipse se poda observar o el carcter del
mismo y sus estimaciones debieron ser aproximadas. Es probable que el hecho de que el
eclipse fuera total y la localidad afectada correspondiera a la de una batalla importante
contribuyera enormemente a la reputacin de Tales como astrnomo.
El estudioso griego Calmaco registra que Tales descubri la constelacin de la Osa Menor
y recomend a los navegantes guiarse por ella en lugar de la Osa Mayor. Fue el primero en
comparar la magnitud del sol con la de la luna y encontr que sta era 700 veces menor que
el sol. Tambin se cree que conoci el recorrido del sol de un trpico a otro. Adems,
explic los eclipses de sol y de luna y delimit las estaciones del ao y asign a ste 365
das. Sus resultados astronmicos sustituyen lo que era poco ms que una elaboracin de
catlogos de estrellas por una ciencia autntica.
Tambin se cree que fue el primero en estudiar el fenmeno magntico (nombre dado por
Magnesia, lugar del hallazgo de la piedra imn), as como de trabajar en la propiedad
elctrica del mbar.
TALES EL ESTADISTA
Segn el historiador griego Herodoto, Tales fue un estadista prctico que estaba en favor de
la federacin de ciudades jnicas de Grecia.
14
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
TALES EL FILSOFO
Se ve en la figura de Tales de Mileto al Padre de la Filosofa. Fund en Mileto una escuela
de matemticas y filosofa, llamada escuela jnica; en esta escuela aporta un enfoque
diferente: racional y objetivo, para abordar los cuestionamientos a las preguntas sobre el
sentido ltimo de la existencia, que hasta ese momento slo se haban tratado desde un
enfoque mitolgico.
Tales busca el fundamento natural de las cosas y en su afn por la abstraccin, que
consideraba ms valiosa que la intuicin o la sensibilidad cree, al respecto, que el principio
originario, la sustancia primordial de todas las cosas es el agua, que en diversos grados de
condensacin da lugar a todos los elementos y estados y es una fuerza eterna, activa,
susceptible de dar existencia [4].
Esta afirmacin nos puede parecer ingenua pero l reconoca el estado hmedo en los
animales y las plantas, observaba que la tierra "flota sobre el agua". Quiz la respuesta no
sea apropiada pero debemos enfocar nuestro inters a la pregunta: por primera vez se
pregunta el hombre sobre el origen de todo lo que existe.
La importancia del intento de Tales no radica en su eleccin del agua como substancia
fundamental sino en tratar de explicar el comportamiento de la naturaleza a travs de la
simplificacin de los fenmenos y en buscar las causas de los mismos dentro de la misma
naturaleza ms que en los caprichos de dioses antropomrficos. A este respecto Aristteles
dice que para Tales la pregunta fundamental no es, qu es lo que sabemos, sino cmo lo
sabemos.
Tales pues, en su cosmologa, pensaba que el agua llenaba todo el espacio. Se imaginaba a
la Tierra como un gran disco flotando sobre las aguas, sobre la cual existira una burbuja
hemisfrica de aire, nuestra atmsfera, sumergida en la masa lquida. La superficie convexa
de la burbuja sera nuestro cielo y los astros, segn expresin de Tales, "navegaran por las
aguas de arriba".
TALES EL GEMETRA
En esa poca las culturas como la babilnica y la egipcia, resolvan problemas geomtricos
en forma eminentemente emprica ya que no utilizaban un sistema lgico deductivo. De
acuerdo con el historiador O. Neugebauer [5] la matemtica prehelnica no contaba con
nada que pudiera llamarse un teorema y por lo tanto una prueba tal como lo entendieron los
griegos. Se tenan conocimientos de ndole intuitiva y para probarlos les bastaba el hecho
de que tales resultados, cada vez que eran utilizados en la prctica, llevaban a conclusiones
que no contradecan lo que la experiencia haba recogido de la realidad [2].
Lo que puede decirse es que se haba alcanzado un alto grado de desarrollo de la habilidad
operatoria, para abordar todo tipo de problemas de la vida prctica; problemas que iban
desde la reparticin de una herencia y el clculo de inters compuesto, hasta los problemas
ligados a lo que despus llamaramos Geometra.
15
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
El mayor mrito de los sabios griegos fue el transformar la geometra al cambiar el enfoque
de la misma de emprico a deductivo. Se menciona que uno de los protagonistas de esta
transformacin fue tambin Tales de Mileto, a quien se le reconocen los primeros intentos
para transformar la geometra en una ciencia racional al abstraer, de las cosas perceptibles,
las lneas, ngulos y superficies que las determinan.
Un estudiante de Aristteles, llamado Eudemo de Rodas (ao 320 a. de C.), hace referencia
a Tales en su Historia de las Matemticas. Este documento, que fue una historia completa
de la geometra griega que cubra el perodo anterior a 335 a. de C., se perdi y antes de que
esto ocurriera, lleg a existir un resumen del mismo que posteriormente desapareci
tambin. Informacin relacionada con este resumen aparece en el Sumario de Eudemo,
escrito por el historiador Proclo en el siglo V d. de C. Este resumen contiene un
Comentario sobre el Primer libro de los elementos de Euclides, y es un esbozo muy
breve del desarrollo de la geometra griega desde los tiempos primitivos hasta Euclides [3].
All, despus de referirse a los orgenes de la geometra en Egipto y pasar a hablar sobre
Tales, Proclo dice:
...primero fue a Egipto y despus introdujo este estudio en Grecia. Descubri muchas de
las proposiciones por s mismo e instruy a sus seguidores en los principios que subyacen
en muchas otras, siendo su mtodo de ataque ms general en algunos casos, ms emprico
en otros.
Ms adelante en su Comentario y citando a Eudemo, Proclo afirma que Tales estableci
cuatro teoremas:
1. El crculo se bisecta por su dimetro.
2. Los ngulos de la base de un tringulo con dos lados iguales son iguales.
3. Los ngulos opuestos de lneas rectas que se intersectan, son iguales.
4. Si dos tringulos son tales que dos ngulos y un lado de uno son iguales a dos
ngulos y un lado del otro, entonces los tringulos son congruentes.
Algunos de estos resultados deban ser conocidos desde bastante antes; de algunos,
solamente se dice que fueron enunciados por l; lo importante aqu es la creencia de que
Tales usaba razonamientos lgicos para hacer ver que eran ciertos y no lo haca por medio
de la intuicin, la experimentacin y la comprobacin repetida, como en esas pocas se
haba hecho. Lo hiciera Tales o no, lo que s es cierto es que los Pitagricos desarrollaban
la matemtica de una manera deductiva.
Hay un quinto teorema que tradicionalmente se incorpora a la lista anterior y que dice:
5. El ngulo inscrito en un semicrculo es un ngulo recto.
Actualmente se piensa que este teorema pudo tener su verdadero origen en Babilonia y
posteriormente ser introducido por Tales en Grecia.
16
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
Segn el historiador Heath [3], si Tales hubiera sabido que el ngulo en un semicrculo es
un ngulo recto, podra haber demostrado que;
6. La suma de los tres ngulos interiores de un tringulo rectngulo es igual a dos
rectos.
Pero tambin es posible demostrar la proposicin 5) conociendo 6).
Tenemos aqu un caso de equivalencias de dos resultados. Si conocemos 5), podemos
probar 6). Si sabemos 6), podemos probar 5). Si Tales demostr 5). Cmo lo hizo? Habr
usado 6)? Hay referencias, Eudemo a travs de Proclo , que indican que 6) no solo fue
demostrado por los Pitagricos, sino que incluso fue descubierto por ellos. Y por tanto se
cree que Tales quiz demostr 5), a partir del conocimiento de 6), pero que no daba una
demostracin general; solo aceptndolo como cierto a travs de demostraciones de orden
particular y de carcter ms experimental e intuitivo, que las que ya aparecen en los
Elementos de Euclides.
Entre los resultados ms conocidos de Tales se encuentra el teorema que lleva su nombre,
relativo a la proporcionalidad de segmentos determinados en dos rectas cortadas por un
sistema de paralelas.
Teorema de Tales:
Si dos rectas r y r se cortan por un sistema de paralelas, los segmentos
determinados por los puntos de interseccin sobre una de ellas son
proporcionales a los determinados por los puntos correspondientes en la otra.
Parte de la leyenda atribuye a Tales el uso de sus conocimientos de geometra para medir
las dimensiones de las pirmides de Egipto y calcular la distancia a la costa de barcos en
alta mar. Digenes Laertes, junto con Plinio y Plutarco sealan que la medida de la altura
de las pirmides se llev a cabo a travs de la determinacin de la longitud de la sombra
que ellas producan cuando una vara clavada verticalmente en el suelo produca una sombra
igual a su altura. Para medir la distancia de los barcos en alta mar a la costa, la leyenda dice
que Tales fue el primero en emplear la proporcionalidad de los lados de tringulos
semejantes. Hay dudas muy grandes con respecto a esto, ya que estas ideas se haban
manejado con mucha anterioridad en Egipto y Mesopotamia, donde Tales invirti una parte
de su vida. Queda entonces planteada la interrogante de si Tales fue el primer hombre en la
historia en introducir estructuras lgicas en la geometra. Es muy posible que el verdadero
papel que haya jugado no sea tanto el de creador y est ms relacionado con el de un
intrprete, organizador y recopilador inteligente de esas estructuras lgicas.
A MANERA DE REFLEXIN
La mayora de los profesores y estudiantes de Matemticas piensan que la Matemtica es
una ciencia formal y exacta que poco, o mejor casi nada, tiene que ver con la Filosofa.
Pareciera entonces que la Filosofa y la Matemtica estuvieran en posicin irreconciliable
17
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
una frente a la otra. Muchos de quienes estudian Matemticas, ven como una prdida de
tiempo el cuestionarse sobre el sentido de la existencia, o sobre el origen del conocimiento.
Al estudiar el trabajo realizado por Tales se observa la relacin que existe entre la Filosofa
y la Matemtica, relacin que se da desde los mismos orgenes de ambas, y nos demuestra
que entre ellas hay mucho ms en comn que lo que uno podra esperar.
Se pueden estudiar otros ejemplos de grandes matemticos que a su vez han sido grandes
filsofos como Descartes y Leibniz y en ellos vemos la posibilidad y hasta la necesidad de
reconciliar estas dos disciplinas. Debemos ver con profundo respeto a los hombres que en
su tiempo se plantearon las grandes preguntas sobre el misterio de la existencia y el
conocimiento. En muchas ocasiones habr que resaltar que la principal aportacin que ellos
hicieron no son las respuestas, sino las preguntas mismas.
REFERENCIAS
[1] Eves, Howard (1969). Estudio de las geometras. Vol. I. Unin Tipogrfica editorial
Hispano Americana. Pgs. 9-11.
[2] Filloy Y., Eugenio (1976). La geometra y el mtodo axiomtico. Revista Matemtica.
Matemticas y Enseanza. Sociedad Matemtica Mexicana. Nmeros 3,4,5,6.
[3] Heath, T. (1921). A History of Greek Mathematics. Oxford University Press.
[4] Maras, Julin (1994). Historia de la filosofa. Alianza Universidad Textos. Pg. 13.
[5] Neugebauer, O. (1957). The Exact Sciences in Antiquity. Brown University Press.
[6] Newman, J. R. (1969). Sigma. El Mundo de las matemticas. Ediciones Grijalbo S. A.
Octava Edicin. Volumen I, Pgs. 9 12.
[7] Struik, D. J. (1980). Historia concisa de las matemticas. Serie Ciencia y Tcnica.
Instituto Politcnico Nacional. Pgs. 53-54.
[8] Wentworth, J. y Smith, D. J. (1981). Geometra Plana y del Espacio. Editorial Porra,
S. A. Dcima Edicin.
18
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
INTRODUCCIN
De los tres grandes matemticos del helenismo: Euclides, Arqumedes y Apolonio, este
ltimo ha sido el menos conocido a lo largo de los siglos. Aunque del personaje Euclides
no sabemos casi nada, su obra fue pronto el paradigma de la sistematizacin del saber
matemtico, la obra de los fundamentos, y conserv este halo por siempre. Arqumedes, por
su genio polifactico y por las leyendas creadas alrededor de su persona, coronadas con la
historia de su muerte, es sin duda, de entre los tres, la figura ms conocida universalmente.
Apolonio representa la grandeza tcnica especializada, el virtuosismo geomtrico por
excelencia. Es verdad que su obra hizo olvidar lo que antes de l se haba escrito en el
campo de su mayor brillantez, las cnicas, pero por su carcter tan especializado y tan
difcil, ni siquiera esta obra maestra, Las Cnicas, se conoce hoy en su integridad y ms de
la mitad de ella permaneci oculta para el mundo occidental hasta que fue publicada por
Edmond Halley en 1710.
Los tres genios griegos de la matemtica representan una nueva era y son verdaderos hijos
de su poca histrica. El helenismo significa, tanto en poltica como en filosofa, una
autntica fragmentacin. En poltica, el imperio de Alejandro se fragmenta en reinos ms o
menos pequeos que compiten en ser dignos herederos de la tradicin del siglo de oro
helnico. En filosofa se produce tambin una fragmentacin del saber unificado al que
Platn y Aristteles, siguiendo el trazo de la corriente pitagrica, aspiraron. El saber
orientado hacia el hombre, con sus hondas conexiones con la esttica, tica, religin,
poltica,... cede el paso al saber especializado que en matemticas viene a ser representado
por Euclides, Arqumedes y Apolonio, y muy particularmente por este ltimo.
EL ENTORNO DE APOLONIO
Los datos de la vida de Apolonio son ciertamente escasos y casi todos ellos provienen de
algunas noticias que aparecen en las introducciones de los diferentes libros de Las Cnicas.
Apolonio naci a mediados del siglo III a. de C. en Perga (ver figura 1), ciudad situada en
Panfilia, segn Heath hacia el 262 a. de C., segn otros entre 246 y 221. Fue probablemente
unos veinte aos ms joven que Arqumedes. Parece que estudi o pas largo tiempo en
Alejandra, cuyo Museo y Biblioteca constituan en aquel tiempo el centro del saber
occidental.
19
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
Parece extrao que, a pesar de esto, Apolonio no dedicara alguno de los libros de su gran
obra, Las Cnicas, a ninguno de los reyes de Alejandra, Tolomeo III Euergetes (246-222)
Tolomeo IV Filopator (222-205), ... sino a personajes de Prgamo, Eudemo (libros I, II, III)
y Atalo (tal vez el rey Atalo I de Prgamo, 241-197, libros IV-VIII). Sarton se pregunta si
Figura 1
pudo ser debido a problemas que surgieran entre Apolonio y las autoridades del Museo.
Apolonio pas algn tiempo tambin en Prgamo y en Efeso.
Las Cnicas fueron con certeza una obra de madurez, compuestas en Alejandra, pues enva
el segundo libro a Eudemo, en Prgamo, a travs de su hijo Apolonio. Parece ser que el
perodo de mximo florecimiento de Apolonio tiene lugar en el reinado de Tolomeo
Filopator (222-205). De su muerte no se sabe nada en absoluto, ni dnde, ni cundo, ni
cmo.
De entre los personajes nombrados en los prlogos de los libros de Las Cnicas se pueden
identificar Eudemo y Filnides. Filnides fue matemtico y filsofo epicreo conocido
personalmente por el rey selecida Antoco IV Epifanes ( 175-163) y por Demetrio Sotero
(163-150). Eudemo parece haber sido el primer maestro de Filnides. As, la presentacin
por Apolonio a Eudemo del joven Filnides tuvo lugar probablemente a comienzos del
siglo II. Las Cnicas debieron ser escritas por entonces y estas fechas casan bien con la
evidencia interna de la dependencia de Apolonio en otras obras con respecto a Arqumedes,
que muri ya anciano en 212.
Menecmo, hacia 350 a. de C., se ocupa del problema clsico de la duplicacin del cubo
(construir un cubo de doble volumen que otro dado), en cuya motivacin y descripcin no
entraremos aqu. Redujo el problema al de la construccin de las dos medias proporcionales
entre 2 y 1. En nuestro lenguaje, si encontramos x e y, tales que
Menecmo introduce estas curvas como secciones de un cono circular recto por un plano
perpendicular a una generatriz. Por eso la parbola fue llamada, y con esta terminologa
aparece todava en Arqumedes, seccin de cono rectngulo (es decir, seccin de un cono
cuyo ngulo de apertura es recto, cortado por un plano perpendicular a una generatriz). La
elipse era la seccin de cono acutngulo y la hiprbola (hasta Apolonio, slo se consider
una rama de ella) la seccin de cono obtusngulo.
El desarrollo de la teora de las cnicas debi ser muy rpido pues ya hacia fines del siglo
IV a. de C. existieron dos obras importantes. La primera es de Aristeo, el Libro de los
lugares slidos (lugares planos eran los que daban lugar a rectas y crculos; lugares
slidos, aquellos en los que aparecen las cnicas por interseccin de cilindros y conos con
planos; lugares lineales eran otras curvas de orden superior no reducibles a las anteriores,
como la cuadratriz o la concoide). La segunda obra de inters, tambin perdida, fue de
Euclides, en cuatro libros, cuyo contenido debi ser, en sus lneas fundamentales, el que se
encuentra en los cuatro primeros libros de Las Cnicas de Apolonio, si bien menos general
y menos sistemtico.
De este modo, al final del siglo IV, ya eran bien conocidas propiedades tales como la de la
ordenada (ver figura 2) y tambin la de las asntotas de la hiprbola (ver figura 3).
21
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
Figura 2. Figura 3.
Ahora, he aqu la forma sencilla como Menecmo pudo llegar a la propiedad que hoy
expresamos como y 2 2 px para la seccin del cono rectngulo (parbola, ver figura 4).
Figura 4.
PV PT .
22
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
Figura 5
23
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
El libro I comienza con la generacin del cono circular oblicuo de dos hojas que,
seccionado por un plano, dar lugar a los diferentes tipos de cnicas. Apolonio haba
captado cmo esta consideracin de un solo cono permite la obtencin de las tres cnicas
segn la inclinacin diversa del plano y adems identificar la hiprbola como una curva
con dos ramas. En estos puntos importantes se aparta de sus antecesores en el campo,
logrando una visin ms unitaria y mejor sistematizada del tema. Estudia las secciones
circulares del cono, paralelas y antiparalelas a la base; introduce el parmetro p = 2b2/a,
que llama lado recto; establece las propiedades de ordenada y abscisa de las cnicas;
considera el centro, ejes, dimetros conjugados, tangentes, ... y ataca el problema de la
construccin de la cnica dados diversos elementos suyos.
Figura 6.
24
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
En la proposicin 41 se establece cmo tres tangentes a la parbola se cortan en la misma
razn y as resulta la parbola como envolvente de las rectas con esta propiedad.
En la proposicin 43 aparece la hiprbola como lugar de puntos tales que xy constante,
siendo x e y abscisa y ordenada respecto a los ejes constituidos por las asntotas.
Figura 8
ecuacin
3
2 p
27 py 16 x (parbola)
2
2 2 2
ax 3
by 3
a2 b2 3
(elipse, hiprbola)
Las proposiciones del libro VII, nuevas en su mayor parte, como Apolonio mismo seala,
contienen numerosas relaciones mtricas entre dimetros conjugados, reas, etc...
Apolonio escribi unas cuantas obras ms que se difundieron bastante en su entorno, una
buena parte relativa a geometra, otras a campos de la fsica donde sus profundos
conocimientos geomtricos ms pudieron aportar, como es el caso del estudio de la
reflexin sobre espejos curvos; otras de astronoma, campo en el que Apolonio ejerci una
notable influencia, siendo citado explcitamente por Tolomeo, autor del Almagesto
(alrededor del ao 140 d. de C.), como responsable de un importante teorema en la teora de
epiciclos. Pero parece cierto que las otras obras matemticas de las que nos han llegado
26
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
noticias fueron de inters ms bien puntual, a juzgar por el tipo de problemas que trataban.
He aqu una descripcin sucinta de cada una de ellas.
La nica obra, aparte de Las Cnicas, que ha sobrevivido hasta nuestros tiempos, tiene por
ttulo Sobre la seccin de la razn ( ) que fue conservada en rabe y
traducida por Halley al latn en 1706. Halley haba hecho el esfuerzo de aprender rabe a
fin de ser capaz de leer esta obra de Apolonio. El problema principal se puede indicar de la
forma siguiente (ver figura 9):
Figura 9
Dado el punto A, los puntos M , N , las dos rectas r y s que pasan respectivamente por
M y N y dado el nmero trazar por A una recta t tal que PM / PQ .
Es fcil para nosotros, mediante nuestra geometra analtica, ver cmo este problema se
puede reducir a uno acerca de interseccin de cnicas y as es sencillo imaginar cmo pudo
proceder Apolonio en ste y otros problemas semejantes con suma facilidad, gracias a sus
conocimientos sobre cnicas.
Figura 10
27
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
La obra titulada Tangencias (E ) se hizo especialmente famosa a lo largo de la
historia por contener lo que se vino a llamar el Problema de Apolonio. Dados tres
elementos, cada uno de los cuales puede ser un punto, una recta o una circunferencia, se
pide hallar una circunferencia que sea tangente a ellos (pase por ellos en el caso de
puntos). El caso ms complicado, dadas tres circunferencias hallar otra tangente a las tres,
es el mencionado problema de Apolonio. No conocindose exactamente la solucin de
Apolonio, esta cuestin interes vivamente a muchos matemticos famosos, entre ellos
Vieta, Descartes, Newton, Euler, Poncelet,... El problema tratado en la obra sobre
Inclinaciones ( ) se puede proponer en general como sigue (ver figura 11): Dado
un punto A, dos curvas r y s , y la longitud p , hallar una recta t que pase por A tal que
MN p .
Figura 11
De estos tratados, se conocen algunas referencias sobre su contenido a travs de las noticias
que proporciona Pappus (siglo IV d. de C.), quien debi tener ante sus ojos las obras de
Apolonio o al menos algn catlogo ms extenso. Hay an otras obras que menciona cuyo
contenido es ms oscuro. Una especie de Arenario, al estilo del de Arqumedes, con
tcnicas para manejar nmeros grandes. Un tratado Sobre la hlice, otro Sobre el
dodecaedro y el icosaedro, en el que aparece la igualdad de las apotemas de los dos
poliedros regulares inscritos en la misma esfera, lo que conduce de modo directo a una fcil
comparacin de volmenes (mayor para el dodecaedro, contra lo que una primera intuicin
podra sospechar).
28
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
Pappus cita tambin un trabajo sobre Clculo rpido ( ) que debiera referirse al
clculo aproximado de . Tambin se nombran en el catlogo de Pappus dos trabajos de
ptica, Sobre el espejo custico ( ) y A los catrpticos ( s s
) en los que sin duda los conocimientos geomtricos de Apolonio se ponan
en accin con gran ventaja.
LA HUELLA DE APOLONIO
La influencia de Apolonio en los gemetras griegos y rabes fue muy profunda. No en vano
Apolonio fue llamado El Gemetra de la Antigedad. Sobre porciones ms o menos
extensas de su obra escribieron comentarios Pappus (s. IV d. de C.) Serenus Antissensis
(IV), Hyppathia (V), Eutoquio (VI), Abalphat de Ispahan (X), Abdomelek de Chiraz
(XIII),...
El primer texto griego de Las Cnicas que aparece en Occidente es el que Francisco Filelfo,
nacido en Tolentino en 1398, se trajo de Constantinopla a Venecia en 1427.
La primera versin al latn de los cuatro primeros libros de Las Cnicas fue realizada por el
matemtico Juan Bautista Memo, en Venecia. Revela grandes lagunas en el conocimiento
del griego, pero a pesar de ello, al morir Juan Bautista, un sobrino suyo, Juan Mara Memo,
edit la obra en 1537.
29
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
A partir de 1629 comienzan a conocerse en Occidente los primeros manuscritos rabes de
la obra de Apolonio, que contenan ms libros que los hasta entonces conocidos, a travs de
Golius, profesor de lenguas orientales en Leyden. El Padre Mersenne se hace eco de ello en
una obra en 1644. Golius los trajo consigo a Holanda, despus de un viaje por el Pronio, y
en principio plane traducirlos y publicarlos. No se sabe bien por qu no llev a cabo su
proyecto ni por qu su coleccin se dispers despus de su muerte.
Borelli por su parte hizo traducir el libro de Abalphat al latn y lo public con numerosos
comentarios en Florencia en 1661.
Otro manuscrito rabe que contena una versin abreviada de los mismos libros de Las
Cnicas, comentada por el gemetra persa Abdolmelek de Chiraz en 1250, fue adquirida en
1641 por el orientalista alemn Christian Rau. Este lo tradujo al latn y lo public en Kiel
en 1669.
La primera versin completa en rabe de los libros V, VI, VII, aparece pblicamente en
Occidente al comienzo del siglo XVII en Irlanda, en un manuscrito que los herederos de
Golius haban vendido al obispo de Armach (Codex Armachanus). Se trataba de una
traduccin del griego al rabe realizada en el siglo IX por Thabit ben Kurra, en Bagdad.
En 1704 Halley sustituy a Gregory como profesor de geometra en Oxford. Gregory haba
traducido los Elementos de Euclides y en 1703 los haba publicado en latn y griego. l y
Halley se haban propuesto traducir y publicar los siete libros de las Cnicas de Apolonio.
Con tal fin Halley decidi aprender rabe. En 1706 publica Halley el tratado de Apolonio
sobre la seccin de la razn. Muerto Gregory, Halley emprende en solitario la conclusin
de la publicacin de los siete libros conservados de las Cnicas y en 1710 aparece la obra
en una impecable presentacin. Se compone de tres partes.
La primera contiene el texto griego de los cuatro primeros libros, publicado (en griego) por
vez primera, junto con la versin latina de Commandino ms o menos corregida, con los
textos griegos de los lemas de Pappus y con el comentario de Eutoquio, todos los textos
griegos acompaados de sus versiones en latn.
30
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
La segunda parte comprende la traduccin latina de los libros V, VI, VII, basada sobre la
versin rabe de Thabit ben Kurra, seguida del texto griego de los lemas de Pappus
relativos a estos tres libros y una reconstruccin conjetural del libro VIII hecha por Halley
mismo.
La tercera parte contena el texto griego y una versin latina de los dos libros de Serenus
Antissensis sobre la seccin del cilindro y del cono.
En 1893 apareci la edicin crtica del texto griego de los cuatro primeros libros realizada
por Heiberg en Copenhague.
La nica traduccin completa de Las Cnicas a una lengua romance, el francs, fue
publicada en Brujas en 1923, realizada por Paul Ver Eecke. Tal versin est precedida por
un extenso comentario sobre lo que acerca de Apolonio se conoce hoy da, as como sobre
la huella de su obra a lo largo de la historia.
REFERENCIAS
[1] Boyer, Carl P. (1968). A History of Mathematics. John Wiley & Sons, Inc. New York.
SITIOS EN LA RED
[4] http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Apollonius.html
[5] http://aleph0.clarku.edu/~djoyce/mathhist/apollonius.html
[6] http://library.thinkquest.org/22584/temh3031.htm#top
31
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
LA GEOMETRA ANALTICA
DE DESCARTES Y FERMAT: Y APOLONIO?
Vctor M. Hernndez L.
Resumen
En este escrito se retoman algunos antecedentes histricos y prehistricos de
la Geometra Analtica como tal, con el propsito de mostrar cierta evidencia
de que, sin importar la magnitud y lo novedoso de un aspecto o rama de la
matemtica, el reconocimiento social de su autora es ms bien: una
asignacin que reconoce las aportaciones que sintetizan la convergencia, en
una poca determinada, de diversas corrientes y recursos del pensamiento
matemtico, que el desconocimiento o negacin de aquellos precursores,
cercanos y lejanos, que le dieron lugar.
El que Apolonio, el ms grande gemetra de la antigedad, fallara en
desarrollar la geometra analtica fue probablemente ms el producto de la
inexperiencia de la cultura antigua en una diversidad de curvas (se conocan
escasamente unas doce) y de la pesada herramienta retrica de que se
dispona; en cambio, las aportaciones modernas a la Geometra Analtica
tuvieron a su disposicin toda el lgebra renacentista.
INTRODUCCIN
Sin lugar a dudas, puede afirmarse que muy pocos aspectos o ramas de las matemticas
pueden asignarse al trabajo de un nico individuo. La Geometra Analtica de Descartes y
Fermat no fue la excepcin a esto, es decir, no fue un producto exclusivo de sus
investigaciones, sino ms bien, la sntesis de varias tendencias matemticas convergentes
en los siglos XVI y XVII. Entre los autores que contribuyeron a las tendencias citadas
pueden contarse Apolonio, Oresme, Vieta y muchos otros matemticos.
Resulta de particular inters, por su magnitud e importancia, el trabajo de Apolonio (262
190 a. de C.), Las Cnicas1, en el que ya se advierten, respecto al uso de coordenadas,
muchos aspectos tan similares a los acercamientos modernos, tanto que, en algunas
ocasiones, es juzgado como una geometra analtica que se anticip a aquella de Descartes
y Fermat por 1800 aos, en la que se identifican formas retricas de las ecuaciones de las
curvas establecidas por Apolonio como relaciones entre las abscisas y las ordenadas. Las
abscisas y las ordenadas de la poca eran aplicaciones de lneas de referencia en general, y
de un dimetro y una tangente en sus extremos en particular, lo que no hace diferencias
esenciales con un marco coordenado rectangular, o ms generalmente, oblicuo. En este
sistema de referencia, las distancias medidas a lo largo del dimetro desde el punto de
tangencia son las abscisas, y los segmentos paralelos a la tangente e intersecados entre el
eje y la curva son las ordenadas. Sin embargo, el lgebra geomtrica Griega no tena
1
Para una referencia ms extensa ver: Boyer, Carl B., A History of Mathematics. Segunda Edicin. Cap. 9. John Wiley &
Sons. USA. 1991.
32
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
33
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
la notacin exponencial para las potencias e inici la prctica comn de usar letras cerca del
inicio del alfabeto para los parmetros y aquellas cerca del final para las variables.
La intencin de ambos, Descartes y Fermat, fue aplicar los mtodos del lgebra renacentista
a la solucin de los problemas en geometra. Descartes establece el plan como sigue4:
Descartes empez con un problema geomtrico, que comnmente involucraba una curva
dada, y la defina tanto como un lugar geomtrico esttico a la manera de los griegos como
en trminos de un movimiento continuo uniforme (como la espiral de Arqumedes). Su
procedimiento fue trasladar un problema geomtrico al lenguaje de una ecuacin
algebraica, luego simplificarla y finalmente resolver esta ecuacin.
La primera referencia del Mtodo de Descartes se encuentra en una carta de Constantino
Huygens a Descartes, de octubre de 1635, donde aqul le manifiesta su satisfaccin por
haberse decidido a publicar la Diptrica y le aconseja sobre la mejor manera de hacer la
figura y de imprimirla.
En la portada de su libro: Discurso del Mtodo / para conducir bien la razn, y buscar / la
Verdad en las ciencias. / Adems / La Diptica / Los Meteoros / y / la Geometra / que son
ensayos de este Mtodo " no figura el nombre del autor, omisin voluntaria que obedeca al
propsito, como despus dijo el propio Descartes, de conocer mejor las opiniones y las
crticas.
La parte menos discutida en su poca fue la Geometra, sin duda porque, como dice el autor
no ignorarlo, ella tendra un pequeo nmero de lectores, pues deban ser personas que no
solamente estuviesen al corriente de todo lo que se saba de Geometra y de lgebra, sino
que deban ser, adems, "laboriosos, ingeniosos et attentos".
LA GEOMETRA DE DESCARTES
El Libro Primero de la Geometra5 trata de los Problemas que pueden resolverse sin
emplear ms que crculos y lneas rectas.
4
D.E. Smith y M.L. Latham, The Geometry of Rene Descartes. Chicago: Open Court, 1925 (Dover reprint).
5
La Geometra est formada por tres libros y es algo ms breve que los otros dos agregados al Discurso; abarca en la
edicin original 120 pginas, con 48 figuras, aunque son diferentes 30, pues se repite la impresin cuando vuelve a referirse
a una de ellas.
34
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
El Libro Segundo se titula De la naturaleza de las lneas curvas. Trata especialmente de las
de grado superior y, sobre todo, de la construccin y propiedades de tangentes y normales,
lneas stas cuya importancia deriva de los problemas de la reflexin de la luz sobre las
superficies curvas.
El Libro Tercero est dedicado a los problemas slidos o superslidos, lo cual lo lleva al
estudio de la resolucin de ecuaciones, discusin de sus races, y relaciones entre los
coeficientes. Muestra que una ecuacin puede tener tantas races como dimensiones tiene el
grado, y da luego su famosa regla de los signos. Por ltimo, trata los clebres problemas de
3er grado: la triseccin del ngulo y la duplicacin del cubo y seala que a ellos puede
reducirse cualquier otro problema de 3er grado.
En su Libro Primero, Descartes escribe6:
LIBRO PRIMERO
De los problemas que se pueden construir sin
emplear ms que crculos y lneas rectas.
Todos los problemas de Geometra pueden reducirse
fcilmente a tales trminos, que no es necesario conocer
de antemano ms que la longitud de algunas lneas rectas
para construirlos.
Cmo el clculo de la aritmtica se relaciona con las
Operaciones de geometra.
Y as como la aritmtica no comprende ms que cuatro o
cinco operaciones, que son la adicin, la sustraccin, la
multiplicacin, la divisin y la extraccin de races, que
pueden tomarse como una especie de divisin, as tambin
no hay otra cosa que hacer en geometra, respecto a las
lneas que se buscan, para prepararlas a ser conocidas, que
agregarles o quitarles otras, o bien, teniendo una, que
llamar la unidad para relacionarla lo ms posible con los
nmeros, y que ordinariamente puede ser tomada a
discrecin, y teniendo luego otras dos, encontrar una
cuarta que sea a una de esas dos, como la otra es a la
unidad, que es lo mismo que la multiplicacin; o bien
encontrar una cuarta que sea a una de esas dos como la
unidad es a la otra, lo que es lo mismo que la divisin; o,
en fin, encontrar una, dos, o varias medias proporcionales
entre la unidad y alguna otra lnea, lo que es lo mismo que
extraer la raz cuadrada, o cbica, etc. Y yo no temer
introducir estos trminos de aritmtica en la geometra, a
fin de hacerme ms inteligible.
La multiplicacin.
Sea, por ejemplo, AB la unidad, y que deba multiplicarse
BD por BC; no tengo ms que unir los puntos A y C,
luego
6
Transcripcin parcial de: Descartes, LA GEOMETRA, Traducida por Pedro Rossell Soler. Profesor de la Universidad de
Buenos Aires. Espasa - Calpe. Argentina. S.A. Buenos Aires - Mxico. 1947. P. 49 - 60
35
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
B
D A
H
F G K
36
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
Termina este apartado dando algunas indicaciones acerca de las precauciones a tomar para
no perder de vista los nombres y las asignaciones de stos con las lneas, para luego
abordar:
Cmo se llega a las ecuaciones que sirven para resolver
los problemas.
As, si se quiere resolver algn problema, debe de
antemano considerarse como ya hecho, y dar nombre a
todas las lneas que parecen necesarias para construirlo,
tanto a las que son desconocidas como a las otras. Luego,
sin considerar ninguna diferencia entre estas lneas
conocidas y desconocidas, se debe examinar la dificultad
segn el orden que se presente como ms natural de todos,
en la forma como aquellas lneas dependen mutuamente
las unas de las otras, hasta que se haya encontrado la
manera de expresar una misma cantidad de dos maneras:
lo que se denomina una ecuacin, pues [el resultado de]
los trminos de una de esas dos formas son iguales a los de
la otra. ...
Cmo se resuelven.
Y entonces sta raz o lnea desconocida, se encuentra
fcilmente. Si se tiene, por ejemplo
z2 az bb
construyo el tringulo rectngulo NLM, cuyo lado LM es
igual a b, raz cuadrada de la cantidad conocida b , y el
37
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
1
otro LN es a , la mitad de la otra cantidad conocida,
2
que est multiplicada por z, que supongo ser la lnea
desconocida. Luego, prolongando MN, base de ese
tringulo, hasta O, de modo que NO sea igual a
L
M
NL, la lnea total OM es z, la lnea buscada; ella se expresa
1 1
z a aa bb
2 4
Si se tuviera
yy ay b
e y fuera la cantidad que debe encontrarse, se construye el
mismo tringulo rectngulo NLM y de la base MN se
quita NP, igual a NL; el resto PM es y, la raz buscada. De
modo que tengo
1 1
z a aa bb .
2 4
Y lo mismo, si tuviera
x4 ax 2 b2
2 M
PM sera x y tendra L
38
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
1 1
x a aa bb
2 4
y as otros casos.
En fin, si tuviera
z2 a z bb
1
se hace NL igual a a , y LM igual a b, como
2
anteriormente; luego, en vez de unir los puntos M y N, se
traza MQR paralela a LN y trazando un crculo con centro
en N y que pase por L la cortar en los puntos Q y R; la
lnea buscada z es MQ, o bien MR, pues en este caso ella
se expresa de dos maneras, a saber:
1 1
z a aa bb
2 4
y
1 1
z a aa bb
2 4
Y si el crculo que tiene su centro en N y para por el punto
L no corta ni toca la lnea recta MQR, no hay ninguna raz
de la ecuacin, de manera que puede asegurarse que la
construccin del problema propuesto es imposible.
Por otra parte, estas mismas races se pueden encontrar por
una infinidad de otros medios y he indicado aqu
solamente esos muy simples, a fin de mostrar que se
pueden construir todos los problemas de la geometra
ordinaria, sin hacer ms que lo poco que est comprendido
en las cuatro figuras que he explicado. No creo que los
antiguos lo hayan observado; pues en tal caso ellos no
hubieran escrito libros tan voluminosos en que el solo
orden de las proposiciones nos muestra que no posean el
verdadero mtodo para resolverlas todas, sino que
solamente han recopilado las que haban resuelto.
7
Pappi Alexandrini mathematicae collectiones a Federico Commandino Urbinate in lantinum conversae et commentariis
illustratae. Pisa, 1588; Venecia, 1589.
39
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
DESCARTES Y FERMAT
As pues, mientras que Descartes comnmente empezaba con una curva y derivaba su
ecuacin algebraica, Fermat comenzaba con una ecuacin algebraica y derivaba de ella las
propiedades geomtricas de la curva correspondiente. Por ejemplo, l comenz con la
ecuacin de segundo grado en dos variables:
ax 2 bxy cy 2 dx ey f 0
mostrando mediante tcnicas de traslacin y rotacin que su lugar geomtrico es una
seccin cnica (excepto para casos degenerados), y clasific la variedad de casos de esa
ecuacin como elipse, hiprbola o parbola. Una discusin de este trabajo puede
encontrarse en el captulo 3 de Mahoney, la Biografa Matemtica de Fermat8.
As, los trabajos de Descartes y Fermat tomaron juntos, acompasadamente, los dos aspectos
complementarios de la geometra analtica - estudiando ecuaciones a travs del significado
de las curvas y estudiando curvas definidas por ecuaciones. Una caracterstica comn e
importante de su trabajo en geometra analtica fue su concentracin en ecuaciones
indeterminadas que involucraban variables continuas. Vieta, por ejemplo, haba estudiado
solamente ecuaciones determinadas en las cuales la "variable", aunque desconocida, es de
hecho una constante fija a ser encontrada.
8
M.S. Mahoney. The Mathematical Career of Pierre De Fermat. Princeton, N.J.: Princeton University Press. 1973. Chapters
II, III.
40
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
41
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
10
Hay otro problema llamado tambin de Pappus, que se refiere al trazado de un segmento de longitud dada, apoyando
sobre los lados de un ngulo y que debe pasar por un punto dado, situado sobre la bisectriz de dicho ngulo. Hay un libro
de A. Maroger (Ed. Vuibert) que recopila cien soluciones diferentes de este problema.
42
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
11
FERMAT, uvres, edic. P. Tannery et Ch. Henry, t. I, p. 92.
43
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
CONCLUSIONES
Parece haber en la historia suficientes razones para pensar que el trabajo precursor de
Apolonio tuvo, y tiene, la suficiente fuerza y calidad de pensamiento matemtico como
para haber cobrado nueva vida en cuanto alcance y generalidad en la obra de Descartes y
Fermat, los que al disponer de las herramientas ms eficientes proporcionadas por el
lgebra renacentista, hicieron posible tanto la extensin de las propuestas de Apolonio,
como la generalizacin de sus resultados y la conformacin de lo que hoy conocemos
como Geometra Analtica, es decir, aquella disciplina matemtica caracterizada por los
recursos mediante los que se abordan fundamentalmente los siguientes dos problemas12:
1. Dada una ecuacin, hallar el lugar geomtrico que representa.
2. Dado un lugar geomtrico definido por determinadas condiciones, hallar su
ecuacin matemtica.
Esta versin de Geometra Analtica integra de manera complementaria los trabajos de
Descartes y de Fermat.
Y..., en adelante, la historia del pensamiento matemtico sigue concretndose en las
diferentes tendencias de la obra de quienes lo cultivan y, eventualmente, concretando la
12
Kindle, Joseph H., Geometra Analtica. McGraw Hill. Serie de Compendios Schaum. Colombia. 1969.
44
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
REFERENCIAS
[1] Boyer, Carl B. (1991) A History of Mathematics. John Wiley & Sons, Inc. USA.
[2] Collette, Jean Paul (1986). Historia de las Matemticas. Editorial Siglo Veintiuno,
Mxico.
[3] Edwards, C.H. (1979) "The Historical Development of the Calculus" Springer- Verlag
New York, Inc. USA.
[4] Newman, James R. (1980) El Mundo de las Matemticas. Enciclopedia Sigma, Tomo
4. Ediciones Grijalbo, Mxico.
[5] Struik, Dirk J. (1967) "A concise History of Mathematics". Dover Publications, Inc.
New York, USA.
[6] Thuiller, Pierre (1991) "De Arqumedes a Einstein. Las Caras Ocultas de la Invencin
Cientfica". Consejo Nacional para la cultura y las Artes / Editorial Alianza Mxico.
SITIOS EN LA RED
[7] http://smard.cqu.EDU.AU/Links/Websites/History_of_Mathematics/
[8] http://www-groups.dcs.st-and.ac.uk/~history/Indexes/_1000_AD.html
[9] http://math.rice.edu/~lanius/Geom/his.html
45
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
INTRODUCCIN
Por otro lado, debe entenderse que el progreso de las ideas no se da en el tiempo a travs de
una trayectoria perfectamente delineada y preconcebida; existen muchos elementos que en
el camino son descartados, reformulados o aadidos. Las concepciones filosficas sobre la
realidad, el papel de la ciencia, y en especial las concepciones sobre las caractersticas que
debe reunir el conocimiento matemtico para ser considerado como conocimiento
cientfico, han determinado los enfoques asumidos en cada poca, de tal manera que el
impacto que tuvieron los personajes y las contribuciones consignadas en la historia
difcilmente puede ser comprendida cabalmente si estas consideraciones no se toman en
cuenta.
46
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
Con estas reflexiones en mente, la relacin de algunas aportaciones que hicieron posible el
nacimiento del Clculo y que a continuacin trataremos de resumir, tiene la finalidad de
que cada uno de nosotros encuentre ms inters en dar apoyo y mejores significaciones a
cada uno de los conceptos que hasta ahora conforman nuestro conocimiento de esta
disciplina. Este es, insisto, tan slo un breve resumen de algunas aportaciones importantes
que posiblemente deje muchas sin considerar-, por lo tanto, no ms que una invitacin a
una indagacin ms profunda sobre las ideas y los hechos presentados.
Por un lado, las paradojas de Zenn provocaron el escepticismo griego que ms tarde
plantea el cuestionamiento sobre la posibilidad de alcanzar el verdadero conocimiento, ya
47
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
sea por la razn o la experiencia. Por otro lado, la ciencia aristotlica mostr que mediante
la lgica y la observacin es posible -al menos- conseguir una representacin consistente
del fenmeno estudiado; las matemticas, por lo tanto, vienen a ser con Euclides un patrn
idealizado de relaciones deductivas. Los postulados inducidos por la observacin de la
realidad, generan por la deduccin una consistente y funcional interpretacin de la
naturaleza.
La dificultad lgica que enfrentaron los antiguos matemticos griegos en sus intentos de
expresar sus ideas intuitivas sobre razones o proporciones de lneas -que vagamente
reconocan como continuas-, en trminos de nmeros -los que mantenan como discretos-,
los involucr con un concepto lgicamente insatisfactorio (pero intuitivamente atractivo): el
infinitesimal. La imposibilidad de enfrentarlo ampliamente origin que los problemas sobre
la variacin no fueran atacados cuantitativamente por los matemticos griegos. Estos
problemas fueron retomados hasta el siglo XIV por los filsofos escolsticos, y su
discusin, cualitativa en gran parte, pero apoyada en demostraciones grficas, hizo posible
la introduccin posterior de la geometra analtica y la representacin sistemtica de
cantidades variables.
Una poca de avances hacia la formulacin posterior del Clculo como estudio de la
variacin, una poca en la que se enfrent la necesidad de herramientas matemticas que no
tenan ms fundamento que la geometra arquimediana para tratar con los
inconmensurables; mtodo cuya visin de rigor haba obstaculizado trabajar ms libremente
con los infinitsimos, relacionados a la variacin y al continuo.
x
A
k
con k=1,2,3,4,5,6,7,8,9.
NACE EL CLCULO
Isaac Newton (1643-1727). En 1687 fue publicada su obra magistral
Philosophiae Naturalis Principia Mathematica en el cual se exponen, en diferentes
pasajes, claras exposiciones del concepto de lmite, idea bsica del clculo.
Notacin utilizada:
Si fluentes x, y entonces fluxiones x , y. Si fluentes x, y entonces fluxiones x , y.
| | | | || ||
Si fluxiones x, y entonces fluentes x, y. Si fluxiones x , y entonces fluentes x, y.
Leibniz siempre se dio cuenta que estaba trabajando con una nueva materia. Se especula
que Newton, hasta que supo de esta postura de Leibniz consider l mismo su mtodo de
fluxiones como una nueva materia tambin y un modo de expresin matemtica organizado
ms que simplemente una til modificacin de reglas anteriores.
mn
Tomemos un o, momento o incremento infinitsimo en la abscisa, siguiendo la notacin
de James Gregory. La nueva abscisa ser entonces x + o y el rea incrementada ser
mn
n
z y a ( x ) n
mn
Si en esta expresin aplicamos el teorema del binomio, dividimos por o y entonces
m
negamos los trminos que an contengan o, el resultado ser y ax n .
m n m
n
Esto es, si el rea esta dada por z ax n
, la curva ser y ax . n
mn
m m n
n
Inversamente, si la curva es y ax , el rea ser z ax
n n 1
mn
1
Citado en Boyer Carl B. The History of the Calculus and its Conceptual Development
50
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
sta es una expresin para el rea a la cual se llega, no por la determinacin de la suma de
reas infinitesimales, ni a travs de mtodos equivalentes usados por los predecesores de
Newton desde Antifn a Pascal. En su lugar, como vemos, fue obtenida por la
consideracin de incrementos momentneos en el rea en el punto en cuestin. En otras
palabras, mientras que las cuadraturas previas haban sido encontradas a travs del
significado o equivalencia de la integral definida como lmite de una suma, Newton
determina la primera razn de cambio del rea y desde sta, encuentra la propia rea a
travs de lo que ahora llamamos la Integral Indefinida de la funcin.
El primer recuento de sus hallazgos, Leibniz lo titul Un Nuevo Mtodo para Mximos y
Mnimos como para Tangentes tambin, el cual no se obstruye por Cantidades
Fraccionarias o Irracionales, un tratado de seis pginas que aparece publicado en 1684 y
posteriormente se incluye en el Acta Eruditorum. En su contenido se explicitan, sin
pruebas, las reglas para las sumas, productos, cocientes, potencias y races, y unas pocas de
aplicaciones a problemas de tangentes y clculos de mximos, mnimos y puntos de
inflexin. Las cuadraturas las trata igualmente en publicaciones independientes
posteriores, antes de ser incorporadas a su Acta Eruditorum.
Tanto Newton como Leibniz establecen en su mtodo reglas operativas para sus principales
elementos fluxiones y diferencias respectivamente- y ambos las combinan haciendo
notoria la propiedad inversa fluente y suma, respectivamente. Sin embargo, para
ambos, la Diferenciacin es la operacin fundamental; la Integracin se considera
simplemente como la inversa de ella. Este es un punto de vista que prevalece en el Clculo
elemental actual. Lo que es importante sealar es que a ambos Newton y Leibniz- se les
considera como los Fundadores del Clculo precisamente por haber establecido las reglas
de operacin y las relaciones descritas.
Cabe tambin considerar que las distintas formas de definir la integral que tuvieron Newton
y Leibniz han heredado al Clculo actual la Integral Indefinida y la Integral Definida:
Mientras que Newton define el fluente como la cantidad generada por una fluxin dada
como lo vimos antes, es decir, como la cantidad que tiene una magnitud dada como su
fluxin, o como la inversa de la fluxin-, Leibniz define la Integral como la suma de todos
los valores de una magnitud, o como la suma de un nmero infinito de rectngulos
51
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
estrechos, o en la forma que lo expresamos actualmente- como el lmite de cierta suma
caracterstica.
CONCLUSIN
Si bien las reglas de operacin y las principales relaciones entre ellas quedaron claramente
establecidas con Newton y Leibniz, y con ello sala a la luz una nueva materia: el Clculo,
todava quedaba mucho por hacer. Sus fundamentos eran imprecisos, no solamente para sus
autores, sino para los estudiosos de las matemticas que les sucedieron en el siglo XVIII:
durante ese tiempo se busc pasar de la justificacin basada en el pragmatismo dado por la
consistencia de los resultados obtenidos, con la visin del mundo fsico que ofreca la
geometra Euclideana, hacia una explicacin que fuera ms all de lo intuitivamente
plausible... Esto no fue posible hasta el siguiente siglo, en el que el xito en el desarrollo
del formalismo algebraico dio lugar al impulso de sistemas matemticos independientes de
los postulados afines a la experiencia sensorial. Fue hasta entonces que el Clculo tuvo
manera de adoptar sus propias premisas y construir sus propias definiciones sujetas
solamente a los requerimientos de su consistencia interna.
Queremos insistir que en un bosquejo como ste se pretende resaltar la gran cantidad de
aportaciones que contribuyeron al nacimiento del Clculo y hacer notar que el desarrollo de
sus conceptos principales, la derivada y la integral, tuvieron una larga evolucin; primero
para llegar a establecerse como operaciones inversas entre s con sus reglas bien definidas,
y luego para evolucionar en sus fundamentos desde argumentaciones asentadas en la
experiencia sensible, hasta su elaboracin final como abstracciones matemticas definidas
en trminos de lgica formal mediante la idea de lmite de una serie infinita. As, la
derivada y la integral estn en el anlisis matemtico moderno definidas sintticamente en
funcin de consideraciones ordinales, y no en funcin de aquellas consideraciones de
variacin fsica y cantidades geomtricamente continuas que les dieron origen.
REFERENCIAS
[1] Boyer, Carl B. (1991) A History of Mathematics. John Wiley & Sons, Inc. USA.
[2] Collette, Jean Paul (1986) Historia de las Matemticas. Editorial Siglo Veintiuno,
Mxico.
[3] Edwards, C. H. (1979) "The Historical Development of the Calculus". Springer- Verlag
New York, Inc. USA.
[4] Newman, James R. (1980) El Mundo de las Matemticas. Enciclopedia Sigma, Tomo
4. Ediciones Grijalbo, Mxico.
52
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
[5] Struik, Dirk J. (1967) "A concise History of Mathematics". Dover Publications, Inc.
New York, USA.
[6] Thuiller, Pierre (1991). "De Arqumedes a Einstein. Las Caras Ocultas de la Invencin
Cientfica". Consejo Nacional para la Cultura y las Artes / Editorial Alianza. Mxico.
SITIOS EN LA RED
[7] http://smard.cqu.EDU.AU/Links/Websites/History_of_Mathematics/
[8] http://www-groups.dcs.st-and.ac.uk/~history/Indexes/_1000_AD.html
[9] http://math.rice.edu/~lanius/Geom/his.html
53
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
SURGIMIENTO DE LA
TEORA MATEMTICA DE LA PROBABILIDAD
Oscar Vega-Amaya
Una historia debe comenzar en algn parte,
pero la historia no tiene principio.
D. G. Kendall
INTRODUCCIN
54
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
largo de esta nota, esperamos convencer al lector que este origen ni es modesto ni es ms
frvolo que las motivaciones actuales de muchas disciplinas cientficas.)
La Teora de Probabilidad tiene una larga historia, y en ella, la huella de cientficos de gran
talla como Galileo, Fermat, Pascal, Huyguens, Jean y Jacques Bernoulli, Gauss, Laplace,
Kolmogorov, Wiener, entre muchos otros. Su desarrollo, como el de cualquier disciplina
cientfica, no se dio por la simple acumulacin de avances o resultados parciales; por el
contrario, la historia de la probabilidad est llena de paradojas, interpretaciones msticas o
ambiguas, agrias disputas entre sus protagonistas, revaloracin de conceptos olvidados,
etc. Por ejemplo, despus de su axiomatizacin, la Teora de Probabilidad experiment una
gran aceptacin y una expansin sin precedentes, pero an continan las controversias
sobre su significado, campo de validez y la posibilidad de axiomticas alternativas a la de
Kolmogorov. Sin entrar en la polmica, veamos algunas opiniones al respecto:
J. L. Doob (1986): Hasta finales de los aos treinta, los probabilistas haban trabajado
bajo la desventaja sicolgica que representa que su campo de investigacin no fuese
considerado por sus colegas como una disciplina matemtica, quienes no entendan, por
un lado, la insuficiencia de la notacin estndar de la poca y, por otro, porque haban
resucitado conceptos viejos como los de variable aleatoria y esperanza. Adems, los libros
de probabilidad estaban llenos de conceptos no matemticos: dados, casas de juego,
Pedro y Pablo.
55
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
ambos propsitos. Lo anterior, que es una evidencia de la existencia de nociones
probabilsticas entre los asirios y sumerios, se vuelve una certeza en el caso de la
civilizacin egipcia: algunas pinturas encontradas en las tumbas de los faraones muestran
tanto astrgalos como tableros para el registro de los resultados.
Los juegos con dados se practicaron ininterrumpidamente desde los tiempos del imperio
romano hasta el renacimiento en todos los estratos sociales, aunque poco se sabe de las
reglas especficas con la que se jugaban. Uno de estos juegos, denominado hazard,
palabra que en ingls y francs significa riesgo o peligro, fue introducido a Europa con la
Tercera Cruzada, y las races etimolgicas del trmino provienen de la palabra rabe al-
azar que significa dado. Posteriormente, en el Purgatorio de Dante, el trmino ya se ha
simplificado a la palabra azar y, ms tarde, los matemticos italianos introducen los
vocablos ludo aleae para referirse a los juegos con dados.
56
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
tiempo. Desgraciadamente, no se conoce la forma exacta en que los parmetros se
estimaban a partir de los datos originales. El problema de estimacin de parmetros tom
mayor fuerza en siglos posteriores y se convirti en una fuente importante de desarrollo
para la Teora de Probabilidad, cuyo momento cspide se alcanz con las contribuciones de
Gauss, Legendre y Laplace.
En cuanto a los censos, su realizacin en la antigedad est bien documentada [7]. Se sabe
que el Emperador Augusto (27 a. de C. 17 d. de C.) realizaba censos en cada territorio
recin conquistado. William El Normando ( 1027-1087), despus de conquistar Inglaterra
en el ao 1066, orden la realizacin de un estudio econmico exhaustivo y la organizacin
de una lista con el propsito de establecer procedimientos adecuados para la determinacin
de impuestos. La lista, conocida como Doomsday list, contiene informacin detallada
sobre la realeza, la Iglesia, la extensin y riqueza de los feudos, tamao de los rebaos de
vacunos, as como un registro de la poblacin por ocupacin y otras categoras. Crnicas
rusas del siglo X tambin hacen referencia a la recoleccin de informacin estadstica,
mientras que en Venecia en los aos 1268 y 1296 se promulgaron decretos que obligaban a
los principales seores feudales a la realizacin de inventarios agrcolas.
Otra fuente de experiencias la proporcionaron las compaas de seguros, las cuales hicieron
su aparicin por primera vez en el siglo XV en Italia y Holanda. Inicialmente estas
compaas aseguraban el transporte de bienes por vas martimas y posteriormente
ampliaron su cobertura a envos por rutas a travs de continentes, ros y lagos. Para fijar las
primas de seguro, estas compaas evaluaban los riesgos a los que estaban sometidos los
envos y, como resulta natural, a un riesgo mayor le asignaban una prima mayor; de hecho,
la prima para envos martimos oscilaba entre el 12% y 15% del valor de los bienes
asegurados, mientras que para los envos continentales la prima variaba entre el 6% y el
8%.
En resumen, hacia finales del siglo XV exista un campo frtil, abonado por una variedad
de experiencias, que haca plausible el surgimiento de una nocin ms o menos precisa de
azar y la posibilidad de evaluarlo, esto es, de proponer un clculo de probabilidades. Estas
experiencias encontraron en los juegos de azar (juegos con dados) un modelo adecuado
para su estudio, pues en l se abstraa el rasgo comn a todas ellas que es la imposibilidad
de hacer predicciones con certeza, y a la vez permita, por la simplicidad del modelo
mismo, un clculo de probabilidades.
El primer libro que se escribi sobre juegos de azar es Liber de Ludo Aleae de Girolamo
Cardano (1501-1576), el cual se public en 1663--casi cien aos despus de la muerte de su
autor. Posteriormente, Galileo (1564-1642), quien aparentemente no tena conocimiento del
trabajo de Cardano, se ocup de los juegos de azar en Sopra le Scoperte dei Dadi, obra
que fue publicada hasta 1718. Tal vez la publicacin en extremo tarda del Liber explique
parcialmente el inters de Galileo por problemas que ya haban sido resueltos previamente
por Cardano. De cualquier manera, en ambos trabajos ya aparecen de forma definida los
elementos que constituyen el enfoque que actualmente conocemos como Enfoque Clsico
de la Probabilidad.
57
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
Desde la perspectiva actual, el Enfoque Clsico puede parecernos muy claro y demasiado
simple como para que se le considere una contribucin importante; sin embargo, grandes
cientficos y matemticos dieron respuestas incorrectas a problemas de juegos de azar, lo
cual evidencia que el Enfoque Clsico ni es simple ni obvio. Entre estas personalidades
podemos mencionar a Niccolo Tartaglia (1499-1557), a quien debemos entre otras cosas la
frmula para obtener soluciones de ecuaciones cbicas; a G. W. Leibniz (1646-1716), co-
fundador del Clculo Diferencial; a Jean dAlembert (1717-1783), uno de los principales
promotores de la Enciclopedia Francesa.
58
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
En el ao de 1654, Pascal (1623-1662) y Fermat (1601-1665) establecen comunicacin
epistolar (cuatro cartas en total) en la que discuten y resuelven el famoso Problema de los
Puntos, tambin conocido como Problema de las Apuestas. Este problema ya haba sido
estudiado por matemticos italianos en el siglo anterior pero las soluciones que se
proponan eran poco satisfactorias y controversiales, a tal grado que se le consideraba una
paradoja. El impacto que provocaron las soluciones de Pascal y Fermat fue tan profundo,
que para muchos historiadores 1654 es el ao del nacimiento de la Teora de Probabilidad,
mientras que los progresos previos solamente son prehistoria. (Se seala a menudo que
Laplace di el crdito de la fundacin de la Teora de Probabilidad a Fermat y Pascal por
ser franceses.)
El origen del Problema de los Puntos es incierto, pero ya se hace referencia al mismo en un
manuscrito italiano del ao 1380, aunque se cree que es de origen rabe o que se introdujo a
Italia en textos rabes. Este problema forma parte de una gran familia de problemas de
divisin que preocupaba a la emergente clase de mercaderes, en los siglos XV y XVI, en
torno al problema de equidad en tratos comerciales.
Fra Luca dal Borgo (1445-1514), tambin conocido como Pacioli, era un profesor itinerante
de matemticas, ampliamente conocido en Italia. En su obra Summa Arithmetica,
Geometria, Proportioni, publicada en 1494, aborda la siguiente versin del problema de
los puntos:
Es obvio que al jugador A debe corresponderle una parte mayor, pero exactamente cul?
Pacioli propone que la apuesta se distribuya de acuerdo a la proporcin de las rondas
ganadas por los jugadores, es decir, en proporcin 5:3.
Tartaglia (1499-1557) tambin aborda el Problema de los Puntos, entre otros problemas
combinatorios y de probabilidad, en su trabajo Trattato Generale di Numeri e Misuri
publicado en 1556. En relacin con el Problema de los Puntos, Tartaglia seala que la regla
que Pacioli propone ni es buena ni conciliadora, pues si por azar, el jugador A tiene una
ronda a su favor y B ninguna, el primero debe tomar toda la apuesta, lo cual obviamente no
tiene sentido. Luego afirma que la solucin de este problema es ms bien de carcter
judicial que matemtico, de manera que cualquiera que sea el procedimiento para la
distribucin siempre habr motivos para litigio. Posteriormente propone soluciones a los
siguientes problemas, que en su opinin son las menos controversiales:
La solucin que Tartaglia propone es la siguiente: puesto que los puntos que A tiene son 1/6
de los requeridos para ganar el juego, debe tomar 22/6 de la cantidad aportada por el
59
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
jugador B; en consecuencia, al jugador A le corresponden en total 22+22/6, es decir, 25 2/3
ducados.
Problema II. Bajo las mismas condiciones del juego anterior, A tiene 50 puntos y B tiene
30 puntos. Cmo debera distribuirse la apuesta?
Para esta situacin, Tartaglia considera la diferencia de los puntos que tienen A y B, esto es,
50-30=20 puntos, y propone que A tome 20/60 =1/3 de la aportacin de B. Entonces, al
jugador A le corresponden en total 22+22/3=29 1/3 ducados.
Pascal, en su carta dirigida a Fermat con fecha 29 de julio de 1654, considera el siguiente
caso del Problema de los Puntos:
Dos jugadores han pactado el juego a tres rondas y cada uno apuesta 32 pistolas; el
primero ha ganado dos veces y el segundo solamente una vez.
... si ellos juegan otra ronda y el primero gana, este se lleva toda la apuesta, esto es, las 64
pistolas; si el otro gana, entonces cada uno tiene dos rondas a su favor, en cuyo caso, si
desean parar el juego, cada uno deber tomar su propia apuesta, esto decir, 32 pistolas.
60
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
Entonces, si el primer jugador gana, este se queda con las 64 pistolas, si pierde se queda con
32 solamente. Luego, si ellos no desean correr el riesgo de una ltima ronda y desean
separarse del juego, el primer jugador argumentara lo siguiente: Estoy convencido que me
corresponden 32 pistolas, an cuando pierda la ronda, ellas me pertenecen; con relacin a
las otras 32, existen las mismas posibilidades de que sean para usted como para m.
Entonces dividamos estas 32 pistolas en partes iguales y deme una de ellas, as como las 32
que de seguro son mas.
En la misma carta, Pascal encuentra la distribucin justa de la apuesta para otros casos
usando el mismo tipo de argumentos. Es impactante la simplicidad de sus argumentos, pero
son poco adecuados para usarse en casos ms complicados.
Es interesante notar que en la formulacin del problema, Fermat ya no hace referencia a los
juegos ganados que tiene cada individuo sino a la cantidad de juegos que le falta a cada uno
para llevarse la apuesta completa. La solucin de Fermat es la siguiente: El juego puede
continuarse a lo ms en cuatro rondas. Cules son los resultados posibles para estas cuatro
rondas? Indiquemos con el smbolo + las victorias de A y con el smbolo - las victorias
de B. Existen 16 resultados posibles, los cuales se describen en siguiente tabla.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
+ + + + - + + - + - - - - - + -
+ + + - + + - + - + - - - + - -
+ + - + + - + + - - + - + - - -
+ - + + + - - - + + + + - - - -
61
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.1, ENERO 2002
solucin de Fermat. En perspectiva, podemos afirmar que en esencia estos mtodos
coinciden.
REFERENCIAS
[1] F. N. David (1955). Dicing and gaming (a note on the history of probability).
Biometrika 42, pp. 1-15.
[4] M. Kendall (1956). The beginnings of probability calculus, Biometrika 43, pp. 1-14.
[5] M. Kendall (1961). The book of fates, Biometrika 48, pp. 220-222.
[6] E. S. Pearson and M. Kendall (Eds.) (1970). Studies in the History of Statistics and
Probability, Vol. I, Charles Griffin & Company Limited, London.
[7] Maistrov. L. E. (1974). Probability Theory: A Historical Skecht. Academic Press, New
York and London.
[8] R. L. Plackett (1958). The principle of the arithmetic mean. Biometrika 45, pp. 515-518.
62
DEPARTAMENTO DE MATEMTICAS
TALLER EDITORIAL
Apuntes de Historia
de las Matemticas
Volumen 1. Nmero 2. Mayo 2002.
UNIVERSIDAD DE SONORA
DIVISIN DE CIENCIAS EXACTAS Y NATURALES
Hermosillo, Sonora, Mxico.
APUNTES DE HISTORIA DE LAS MATEMTICAS
VOL.1, NO.2, MAYO 2002.
C O N T E N I D O
El Siglo de la Geometra
Martn Gildardo Garca Alvarado.............. 05
Nikolai Lobachevskii
Rosalinda Mena Chavarra ....................... 15
El lgebra de la Lgica
Francisco Cndido Garca Durn .............. 47
http://fractus.mat.uson.mx/~tedi/apuntes/
http://www.mat.uson.mx,
EL EDITOR,
EL SIGLO DE LA GEOMETRA
Martn Gildardo Garca Alvarado
Durante el Siglo XIX, al que nos referimos aqu como ``El Siglo de la Geometra, las
matemticas en general vieron una de las pocas ms productivas y fructferas; una
rama particularmente enriquecida durante este perodo fue la geometra.
Comentaremos aqu sobre algunos de los tpicos que fueron generados y/o impulsados
durante este siglo: Iniciamos con una breve descripcin del problema de las paralelas
(Secciones 1 y 2), despus nos detendremos a revisar algunas cuestiones de geometra
no euclidiana (Secciones 3, 4, 5 y 6) y terminaremos haciendo un breve apunte sobre
otras ramas de la geometra (Seccin 7).
Los Elementos empiezan con una serie de definiciones y cinco postulados en los que se
basan todas las demostraciones de los teoremas presentados por Euclides. Los primeros tres
postulados se refieren a construcciones geomtricas (por ejemplo, el primer postulado
establece que es posible trazar una nica lnea recta que pase por dos puntos diferentes).
Los postulados cuarto y quinto son de naturaleza diferente. El cuarto establece que todos
los ngulos rectos son iguales. Esta idea implica que las propiedades geomtricas de una
figura son independientes de la posicin en que se coloque en el espacio. El famoso quinto
postulado, llamado postulado de las paralelas dice (ms o menos):
5
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.2, MAYO 2002
Si una recta que intersecta a dos rectas hace que los ngulos interiores de un mismo lado sumen
menos de dos rectos, entonces, si las dos rectas se prolongan indefinidamente, se intersectarn en
el lado en que la suma de los ngulos interiores es menor de dos rectos.
La decisin de Euclides de tomar esta idea como un postulado dio origen a la geometra
euclidiana. Es claro que el quinto postulado es, digamos, de naturaleza diferente que los
otros cuatro. Aparentemente, este postulado no satisfaca del todo a Euclides y trat de
evitar usarlo tanto como le fue posible. De hecho, las primeras 28 proposiciones de los
Elementos se demuestran sin recurrir al quinto postulado.
2. EL QUINTO POSTULADO.
En 1697, el Jesuita Girolamo Saccheri produjo uno de los ms notables intentos de de-
mostracin del quinto postulado. La importancia del trabajo de Saccheri reside en el hecho
de que supuso que el quinto postulado es falso e intent obtener una contradiccin. Ocurri
que no slo no obtuvo contradiccin alguna sino que obtuvo, sin darse cuenta del alcance
que podra tener lo que estaba haciendo, varios teoremas pertenecientes a lo que hoy
conocemos como geometras no euclidianas.
Durante los siglos XVII y XVIII la geometra elemental estuvo tan avocada al problema del
postulado de las paralelas que DAlembert, en 1767, lo llam el escndalo de la geometra.
6
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.2, MAYO 2002
3. GEOMETRAS NO EUCLIDIANAS.
La primera persona que entendi lo que estaba ocurriendo con el problema de las paralelas
fue J. K. F. Gauss (1777-1855) quien, en 1792 (cuando tena slo 15 aos de edad) empez
a trabajar sobre el problema de demostrar el postulado de las paralelas a partir de los otros
cuatro. En 1813 (es decir, despus de 21 aos), haba tan poco progreso que escribi: en la
cuestin de las paralelas no estamos ahora ms adelantados que Euclides; sta es una parte
vergonzosa de las matemticas Para 1817 Gauss estaba convencido de que el quinto
postulado era independiente de los otros cuatro y empez a trabajar sobre las consecuencias
geomtricas que tendra el suponer que es posible trazar ms de una paralela a una recta
dada por un punto dado. Gauss discuti sobre el problema de las paralelas con su amigo el
matemtico Farkas Bolyai, quien escribi varias pruebas falsas del postulado. Farkas
Bolyai ense matemticas a su hijo, Janos Bolyai, pero a pesar de haberle aconsejado que
no gastara ni una hora de su tiempo en ese problema, Janos trabaj intensamente en l.
En 1823 Bolyai escribi a su padre dicindole: he descubierto cosas tan maravillosas que
estoy sorprendido Partiendo de la nada he creado un mundo nuevo y extrao. Bolyai
public sus descubrimientos en un apndice de 24 pginas en un libro de su padre. Despus
de leer el trabajo de Bolyai, Gauss se mostr muy impresionado (Yo considero que este
joven gemetra Bolyai es un genio de primer nivel, le escribi a un amigo). En cierto
sentido, Bolyai slo supuso que era posible la existencia de una nueva geometra, pero es
precisamente el reconocimiento de esta posibilidad lo que constituye una significativa
aportacin por parte de Bolyai. Gauss manifest que l haba llegado, varios aos antes, a
las mismas conclusiones de Bolyai, pero que haba decidido no publicarlas. Aunque esta
afirmacin de Gauss es, sin lugar a dudas, cierta, no representa demrito alguno al logro de
Bolyai, as como tampoco lo representa el hecho de que Lobachevski publicara, en 1829,
sus trabajos sobre geometra no euclidiana. Ni Bolyai ni Gauss tenan noticias sobre los
trabajos de Lobachevski debido, principalmente, a que fueron publicados en ruso en la
revista El Mensajero de Kazn, editada de manera local por una universidad (El intento de
Lobachevski por alcanzar una audiencia ms grande no tuvo xito cuando su trabajo fue
rechazado por Ostrogradski.). La exposicin ms completa del trabajo de Lobachevski se
public bajo el ttulo Investigaciones Geomtricas Sobre el Problema de las Paralelas. La
publicacin de una versin de este trabajo en francs en la revista Crelle, en 1837, permiti
que las revolucionarias ideas de Lobachevski fueran conocidas por una amplia audiencia.
Es importante sealar que, hasta donde sabemos, no se ha probado que las descrip- ciones
de Bolyai o la de Lobachevski de la nueva geometra sean consistentes. De hecho, en este
sentido no hay mucha diferencia con lo que ocurre con la geometra de Euclides, aunque los
ya muchos siglos de trabajo con la geometra euclidiana son suficientes para tener la
esperanza de que nunca aparecer una contradiccin.
Vamos a presentar tres modelos de geometra hiperblica: el de Poincar, el del semi- plano
superior y el de Klein-Beltrami. Estas son estructuras inmersas en el espacio euclidiano de
dimensin dos. Los modelos de Klein-Beltrami y de Poincar son modelos finitos y el del
semiplano superior es infinito.
8
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.2, MAYO 2002
EL MODELO DE POINCAR
El modelo de Poincar consiste en un disco abierto D en el que las lneas rectas se
representan mediante arcos euclidianos que intersectan perpendicularmente a la frontera de
D. La Figura 2 muestra algunas rectas en el modelo de Poincar; en esta figura: l, m y n
intersectan ortogonalmente a la frontera de D. Las rectas m y n no son paralelas pues
tienen un punto en comn. l y n son divergentemente paralelas, lo que significa que estas
rectas no tienen puntos en comn ni en D ni en la frontera de D. l y m son rectas
asintticamente paralelas, lo que significa que tienen un punto en comn que no est
contenido en el modelo.
Figura 2
En este modelo el ngulo entre dos rectas que se intersectan es el ngulo (euclidiano) entre
las tangentes a los correspondientes arcos euclidianos. Por ejemplo, para determi- nar el
ngulo entre las rectas no euclidianas AB y BC (vase la Figura 3), trazamos las tangentes
euclidianas BA y BC a los arcos en el punto de interseccin y medimos el ngulo ABC.
El ngulo entre las rectas no euclidianas AB y BC es, por definicin, el ngulo euclidiano
ABC. Esta definicin de ngulo tiene sentido pues este modelo se obtiene mediante una
transformacin conforme del plano euclidiano.
El elemento de arco en el modelo de Poincar es
dz
ds 2
.
1 z
La distancia entre puntos en el modelo de Poincar se calcula de la siguiente manera. Sean
P y Q dos puntos en D (vase la Figura 4). Estos dos puntos determinan una nica recta no
euclidiana en D que se aproxima a la frontera de D en los dos puntos euclidianos A y B.
Figura 3 Figura 4
9
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.2, MAYO 2002
Ntese que A y B no son puntos en D pues estn en la frontera de D. Si |PA|, |PB|, |QA| y
|QB| denotan las distancias euclidianas de P a A, etctera, entonces, la distancia (no
euclidiana) de P a Q se calcula mediante
| PA | / | PB |
d ( P, Q) ln .
| QA | / | QB |
Figura 5
Este modelo tambin se obtiene mediante una transformacin conforme del plano. Por esta
razn el ngulo entre dos rectas no euclidianas es el ngulo que forman las
correspondientes rectas euclidianas tangentes en el punto de interseccin.
Figura 6
10
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.2, MAYO 2002
EL MODELO DE KLEIN-BELTRAMI
El modelo de Klein-Beltrami para una geometra hiperblica consiste en un disco abierto D
en el que las rectas son cuerdas euclidianas cuyos extremos estn en la frontera de D.
Figura 7
Si P y Q son los dos extremos de la cuerda que pasa por los puntos X y Y en el disco de
Klein-Beltrami, la distancia no euclidiana entre X y Y se calcula mediante
1 ( XP)(YQ)
d ( X ,Y ) ln
2 (YP )( XQ)
11
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.2, MAYO 2002
Los diferentes modelos de geometras hiperblicas (los que hemos presentado aqu, as
como otros que hemos omitido; por ejemplo, el modelo de Minkowski) son equivalentes,
en el sentido de que existen funciones que transforman un modelo en el otro, de manera que
las nociones de objetos geomtricos como puntos, rectas, ngulos y distancias se preservan.
En la Figura 8 presentamos esquemticamente algunas de estas transformaciones.
6. GEOMETRA RIEMANNIANA.
En 1854, en una conferencia titulada ber die Hypothesen welche der Geometrie zu
Grunde Liegen (Sobre las Hiptesis que Forman los Fundamentos de la Geometra),
Bernhard Riemann present una visin comprensiva de la geometra. Conciente de las
limitaciones que presentaba la geometra euclidiana, formul una geometra no euclidiana
que hoy conocemos como geometra elptica. Al parecer, Riemann no saba que
Lobachevski y Bolyai haban demostrado la posibilidad de construir una geometra
consistente sin tomar en consideracin el quinto postulado de Euclides. De hecho, el
trabajo de Riemann constituye una alternativa a los sistemas de geometra no euclidiana de
Lobachevski y Bolyai. Por ejemplo, en geometra euclidiana, dos rectas son paralelas s son
Figura 8
12
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.2, MAYO 2002
Los n2 coeficientes gik son las componentes de un campo tensorial simtrico covariante de
orden dos, llamado tensor fundamental.
1/ 2
Esta geometra se reduce a la geometra euclidiana si ds (dx1 ) 2 (dx n ) 2 . Si
x(t ) x j (t ), a t b es una curva en este espacio, la longitud de arco se calcula mediante
b
dx i dx j
s g ik dt .
a i ,k dt dt
A las curvas que son la conexin ms corta entre dos puntos se les llama geodsicas.
La longitud de un vector Aj se calcula mediante
A g ik Ai A k ,
i, k
y el ngulo entre dos vectores A i y B k (de longitudes no nulas) est dado por
g ik Ai B k
i, k
cos .
AB
Es muy complicado presentar de manera informal y breve, con las limitaciones naturales de
escrito como el presente, un panorama medianamente completo de una teora tan extensa y
rica como lo es la geometra riemanniana. En esta seccin hemos tratado de indicar cmo se
define sta y cmo se realizan las mediciones de las principales magnitudes (longitud de
arco, norma, ngulo entre vectores). Para dejar este tema queremos comentar que un
indicador del nivel de importancia de la geometra riemanniana est en el hecho de que
jug un papel fundamental en el desarrollo de la teora de la relatividad en la que el espacio
riemanniano es el universo fsico (de dimensin 4) equipado con la mtrica
ds 2 2
1
2
2 3
2 2
4 ( 1 , 2 , 3 , 4 formas diferenciales lineales). Las componentes
gik del tensor fundamental estn determinados por el potencial gravitacional. En este
espacio las trayectorias seguidas por los rayos de luz son curvas nulas, definidas por la
ecuacin diferencial ds2=0, mientras que las trayectorias de partculas, sin la accin de
fuerzas externas, son las geodsicas. En este sentido, la geometra del espacio no est
definida a priori sino que est determinada por la distribucin de materia en el universo. Se
han hecho muchos intentos, alguno por el mismo Einstein en sus ltimos aos, para
13
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.2, MAYO 2002
desarrollar una teora del campo unificado en la que tanto el campo gravitacional como el
electromagntico se puedan explicar a partir de una misma base. Esto lleva a una
generalizacin de la geometra riemanniana a geometras como la de Weyl, la mtrica de
dimensin cinco, de Kaluza y la teora de la relatividad proyectiva de Oswald Veblen. Sin
embargo, no se han obtenido resultados conclusivos en este sentido.
Para cerrar esta seccin diremos que Flix Klein demostr que las nicas geometras no
euclidianas posibles son la hiperblica, la de Lobachevski, y la elptica, de Riemann.
7. OTRAS GEOMETRAS.
Durante el siglo XIX se desarrollaron otras geometras, entre las que se pueden apuntar las
siguientes. La geometra descriptiva, desarrollada inicialmente por Gaspard Monge (1746-
1818) en la memoria Gomtrie Descriptive, publicada en 1799. Monge es tambin
considerado el padre de la geometra diferencial debido a su obra Application de lanalyse
la gomtie, en la que introduce el concepto de lneas de curvatura de una superficie en el
espacio euclidiano tridimensional. En 1822, Jean Victor Poncelet (1788-1867) public
Trait des proprits projectives des figures, que es un estudio de aquellas propiedades
geomtricas que permanecen invariantes ante proyecciones. Este trabajo contiene las ideas
fundamentales de la geometra proyectiva, tales como los conceptos de razn cruzada,
involucin y puntos circulares al infinito. En el siglo XVII los matemticos franceses Ren
Descartes y Pierre de Fermat estudiaron las secciones cnicas y determinaron que stas
satisfacan ecuaciones algebraicas de orden dos en dos variables. Posteriormente Isaac
Newton estudi ecuaciones polinomiales de orden tres y clasific los lugares geomtricos
correspondientes, las cbicas, en 72 clases. De modo que Descartes, Fermat y Newton
pueden considerarse como los iniciadores del estudio de curvas algebraicas planas, un
tpico bsico en geometra algebraica. Esta disciplina se enriqueci durante el siglo XIX
con los trabajos de H. G. Zeuthen (1839-1920) y P. E. Appell (1835-1930), entre muchos
otros.
REFERENCIAS:
[2] Haines, G. K., Heat, T. L. (Editors) (1956). Thirteen Books of Euclids Elements,
Dover.
14
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO.2, MAYO 2002
SITIOS EN RED:
[5] http://www-history.mcs.st-and-ac.uk/~history/BiogIndex.html
[6] http://www.math.uncc.edu/~droyster/math3181/notes/hyprgeom/node55.html
15
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
NIKOLAI LOBACHEVSKII
Rosalinda Mena Chavarra
La educacin tiene por tarea esencial inculcar la alegra de vivir, porque vivir es
sentir, gustar, ensayar algo nuevo, cultivar todas las facultades espirituales, todos
los dones, todas las pasiones; porque nada es ms miserable que la apata, la
ausencia de imaginacin, y el desamor a lo bello. Lobachevskii
SU ORIGEN
Kazn era en esa poca un gran centro administrativo y comercial del Este de Rusia;
cabecera del territorio del Volga y del Kama, as como el nico camino a travs del cual se
efectuaba el comercio con toda Rusia del Nordeste, Siberia y los pases orientales. Era el
principal centro intelectual. Hasta mediados del siglo XVIII, los centros docentes de Kazn
eran casi exclusivamente religiosos. Era una ciudad grande para su poca, muy animada y,
segn la opinin de sus contemporneos, extraordinariamente pintoresca. Al iniciar el siglo
XIX, Kazn tena entre 20,000 y 25,000 habitantes.
15
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
SUS ESTUDIOS
Por decreto del Senado, con el fin de prepararar estudiantes para que ingresaran a las
Universidades de Mosc y San Petersburgo, se impuls la fundacin de gimnasios, y el
primero de la regin fue el gimnasio de Kazn, centro de enseanza general de nuevo tipo y
de categora superior, inaugurado en 1759, donde ms tarde recibi enseanza media N. I.
Lobachevskii.
16
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
ao que sigui a la apertura de la universidad. poca maravillosa de un puro amor por los
conocimientos, de un noble entusiasmo!
Ingres Lobachevskii en la Universidad a la edad de quince aos y ya era capaz de leer las
memorias cientficas latinas, alemanas y francesas; termin cuatro aos ms tarde. Estudi
en la Universidad materias muy diversas: filosofa, historia, geografa, estadstica general,
historia antigua, griego y latn, literatura rusa, aritmtica, lgebra, geometra, secciones
cnicas, clculo diferencial, clculo integral y clculo de las variaciones, geometra
analtica, mecnica, esttica, aerosttica, hidrosttica, hidrulica, fsica, qumica, historia
natural, tecnologa, derecho (natural, poltico y ruso).
Los profesores Hermann, Bartels, Bronner y Renner solicitaron y obtuvieron del Consejo el
grado de maestro para Lobachevski. El 3 de agosto de 1811, Lobachevski y su hermano
Aleksei fueron confirmados en ese grado. De este modo terminaron los aos de estudio de
Lobachevski. Haba adquirido vastos conocimientos, tanto en matemticas como en fsica y
astronoma; haba adquirido amigos y mentores entre los profesores llenos de amor por la
ciencia y que aspiraban a crear en Kazn una slida escuela de matemticas.
SU TRABAJO
En la primera obra del joven Gauss, titulada Investigaciones aritmticas, que sali a la luz
en 1801, una parte est dedicada a la teora de las ecuaciones binomiales, es decir, de las
ecuaciones de tipo xn-1=0. Lobachevksii estudi esta obra. En la introduccin a su
lgebra, escribe:
En esa poca las matemticas elementales tenan una gran importancia en la Universidad,
porque los estudiantes de primer ao estaban mal preparados en esa materia.
Aparentemente se preparaba con el mayor cuidado, por lo cual tuvo que reconsiderar los
propios fundamentos de las matemticas, que fue, sin duda, lo que le llev a escribir sus
dos manuales, titulados Geometra y lgebra o clculo de finitos.
17
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
Lobachevskii enseaba la teora de los nmeros segn las obras de Gauss y de Legendre, y
para sus clases de anlisis, se apoyaba en las obras de Lacroix y Monge.
En la primera dcada del siglo antepasado, las tendencias reaccionarias del gobierno de
Alejandro I pesaron sobre la vida de las universidades, y tambin sobre la de Kazn. Al
principio, stas se expresaron contra los estudiantes sospechosos. La brutal reaccin que
como una ola incontenible se extendi sobre toda Europa despus de la derrota de la
Revolucin Francesa, tambin se reflej fuertemente en la sociedad rusa. Rusia sufri un
yugo particularmente monstruoso y absurdo.
Es necesario hacer justicia a Lobachevskii que, a pesar de estas penosas condiciones, haba
utilizado esos aos con el mayor provecho. El joven profesor debutante se haba convertido
en un profesor excepcional, perfectamente versado en varias ramas de las ciencias exactas,
investido de la confianza del cuerpo profesoral y, adems, un administrador provisto de una
slida experiencia en todos los dominios de la vida universitaria y de la actividad
pedaggica. Adems, en el transcurso de esos aos de aislamiento, donde una actividad
incesante del espritu era su nico refugio, Lobachevski escribi sus primeros trabajos
cientficos y cre el fundamento de su notable teora.
SU GEOMETRA
En el siglo XVIII, el manual de geometra eran los Elementos de Euclides, obra capital
hasta el primer cuarto del siglo XX. Los artculos de DAlembert consagrados a la
Geometra, publicados en la Enciclopedia, se difundieron con amplitud, desde 1751, y en
ellos no estimaba que los elementos de la geometra debiesen tratarse segn el plan de
Euclides; los autores los tomaban en consideracin al componer nuevos Elementos de
geometra. Citemos tres obras importantes aparecidas a finales del siglo XVIII y a
comienzos del siglo XIX: el Curso de Bzout, los Elementos de Legendre y los
Elementos de Lacroix. Estas obras se adaptan ms o menos a la obra de DAlembert. No
existe la menor duda de que Lobachevskii conoca bien esas obras destacadas de geometra
elemental, ya que se haban traducido al ruso. Estos materiales sirvieron de base a los
puntos de vista de Lobachevskii sobre los fundamentos de la geometra y sobre su
enseanza. Aunque Lobachevskii se form su propio punto de vista en cuanto a la
estructura de los principios de la geometra, as como su propio sistema acerca de la
argumentacin de dicha estructura. Esto fue lo que lo condujo a sus grandes
descubrimientos.
Lobachevskii estimaba que la geometra es la parte de las matemticas puras que trata de
los procedimientos de la medida del espacio. Para la poca, ese punto de vista mtrico era
progresista; estaba claramente dirigido contra la enseanza segn el sistema puramente
formal de Euclides, que separaba la geometra de sus aplicaciones y la llevaba a una
concepcin puramente lgica.
SU INFORME PRINCIPAL
Poda esperarse que una hiptesis tan absurda a primera vista condujese a una contradiccin
con la geometra absoluta. Si en ello haba un desacuerdo con la intuicin y las indicaciones
visuales, en compensacin, en el plano lgico no haba ninguna oposicin con lo que se
haba demostrado anteriormente. Por el contrario, las deducciones establecidas por
Lobachevskii con un riguroso espritu de continuacin se compaginaban progresivamente
en un edificio armonioso que Lobachevskii llam geometra imaginaria, Gauss
geometra no euclidiana y que llamamos hoy geometra de Lobachevskii o hiperblica.
Dado que su trabajo contena ya los principios de una nueva geometra no euclidiana, es
cierto que se trataba no de una tentativa indita de demostrar el postulado de las paralelas,
sino de una nueva presentacin rigurosa de toda la teora de las paralelas.
Otro factor importante es que, refirindonos ahora a la Figura 1B, de la paralela CK, que
forma con la perpendicular CD un ngulo agudo DCK, decimos que es paralela a AB en el
sentido AB, mientras que la segunda paralela CL lo es en el sentido BA. Tal concepcin de
paralelismo conserva la propiedad esencial de las paralelas euclidianas: dos rectas paralelas
a una tercera en un mismo sentido son paralelas en ese mismo sentido. En la geometra
21
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
euclidiana, las dos paralelas a una recta se confunden; los ngulos KCL y KCL, opuestos
por el vrtice, se desarrollan cada uno en dos ngulos rectos, mientras que los ngulos
KCL y KCL, contiguos a aqullos, se reducen a cero. Lobachevskii, llama ngulo de
paralelismo en el punto C con respecto a la recta AB, a cada uno de los ngulos agudos
DCK y DCL iguales que forman, por ambas partes, paralelas con la perpendicular CD (ver
de nuevo la Figura 1B).
K C L
L K
A D B
FIG. 1B
OTROS TRABAJOS
23
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
Lobachevskii public tambin tres estudios dedicados a la teora general de la convergencia
de las series infinitas, en 1834, 1835 y 1841.
En las Memorias de la Universidad de Kazn aparecieron otros dos trabajos suyos, que
no estn relacionados con su obra matemtica: Acerca de la resonancia y la vibracin
recproca de las columnas de aire, de 1828, y Acerca de la integracin de las ecuaciones
diferenciales de la hidrodinmica reducidas a forma lineal, de 1845.
ADMINISTRADOR
A fines de 1830, durante su primer perodo en la rectora, estall en Kazn una epidemia de
clera, y las medidas que tom para proteger a la comunidad universitaria fueron decisivas,
adems de influir para que en la ciudad se tomaran medidas sanitarias adecuadas. En la
Universidad, de 560 personas internas, tan slo enfermaron 12. Por su actividad durante la
epidemia del clera, Lobachevskii recibi el agradecimiento del propio zar en una carta que
ste le dirigi. Este comportamiento ejemplar de solidaridad y de gran sentido prctico se
repiti en 1842, cuando Kazn sufri un gran incendio.
LTIMOS AOS
Durante este ltimo perodo de su vida, los problemas econmicos, los problemas de salud
y los problemas familiares lo abrumaron; tuvo muy pocas satisfacciones, como haber sido
nombrado miembro de honor de la Universidad de Kazn primero, y luego de la
Universidad de Mosc, con motivo del primer centenario de la fundacin de sta. An as,
en 1855, con motivo de una publicacin por el cincuentenario de la Universidad de Kazn,
escribi su ltima obra, un artculo en francs titulado Pangeometra o resumen de
geometra fundada en una teora general y rigurosa de las paralelas. Muri el da 24 de
febrero de 1856, a los 63 aos de edad, sin tener la ms mnima idea de la fama e
importancia que sus trabajos tendran, pues su obra matemtica no le fue reconocida en
vida.
Nikolai Ivnovich , hombre alto, delgado, vivo, alegre y sociable, a quien el intenso trabajo
y los penosos sufrimientos espirituales cambiaron su aspecto jovial a uno un poco
encorvado y con la cabeza siempre baja, que le confera un aire pensativo, era de carcter
extraordinariamente inmutable, jams elevaba la voz, hablaba suavemente, haciendo notar
su bondad y preocupacin por las personas que le rodeaban, sobre todo por las personas que
mostraban inters por el trabajo cientfico...Sin duda, Nikolai Ivnovich Lobachevskii fue
un
25
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
REFERENCIAS
[1] Kagn V. F. (1986), Lobachevski. Traduccin del ruso por Jess Ynez Pelletier.
Editorial MIR, Mosc.
SITIOS EN RED
26
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
Gauss se cas por primera vez el 9 de octubre de 1805, con Johanna sthof, quien era 3
aos menor que Gauss. Tres das despus de la boda, Gauss escribi estas palabras a su
gran amigo de Gtingen, Farkas Bolyai: La vida se alza ante m como una eterna
primavera, con nuevos y brillantes colores. En 1806 tuvieron su primer hijo, al que
llamaron Joseph en honor a Piazzi, el descubridor de Ceres y responsable indirecto de la
fama de Gauss. Posteriormente tuvieron una hija y otro hijo a los que les dieron tambin los
nombres de pila de otros dos astrnomos: Wilhelmine (Minna) por Olbers, descubridor de
Pallas, entre obras cosas, y Louis, en honor a Harding, que descubri Juno, otro de los
asteroides. En 1807 Gauss y su familia se trasladaron a Gtingen. Casi dos aos despus,
en 1809, Johanna muri a consecuencia del parto en el que naci su tercer hijo: Louis,
quien falleci pocas semanas despus. Gauss, sin embargo, se volvi a casar muy pronto
27
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
con la mejor amiga de Johanna, Minna Waldeck, esto ocurri en agosto de 1810 y al poco
tiempo tuvieron hijos: en 1811 a Eugene, en 1813 a Wilhelm y en 1816 a Theresa. Su
segunda esposa muri en el ao de 1831. La relacin de Gauss con sus seis hijos fue muy
diferente; con sus hijas siempre fue cordial y muy carioso. Theresa le hizo compaa toda
la vida; con su hijo mayor, Joseph, la relacin fue bastante buena, era un buen ingeniero y
fue asistente de Gauss en una poca en que ste estaba involucrado en un proyecto
geodsico. Con los otros dos hijos varones las cosas no salieron bien. Tanto Eugene como
Wilhelm emigraron a Estados Unidos despus de prolongados conflictos con su padre.
Gauss fue un verdadero nio prodigio, su padre, como ya se mencion antes, intent evitar
que recibiera una educacin adecuada, pero en cambio su madre, que tampoco haba
recibido ningn tipo de educacin, anim siempre a su hijo en sus estudios, y ms tarde se
mostr muy orgullosa de sus logros. De nio Gauss asisti a la escuela local, dirigida por
un maestro de costumbres rutinarias. Un da, con el fin de mantener la clase atareada y en
silencio durante un buen rato, el maestro tuvo la idea de hacer sumar a sus alumnos todos
los nmeros del 1 al 100, ordenndoles adems que, segn fuera terminando cada uno esta
tarea, deberan colocar su pizarra sobre la mesa del maestro. Casi inmediatamente coloc
Carl su pizarra sobre la mesa, diciendo: ya est; el maestro lo mir desdeosamente
mientras los dems trabajaban con ahnco. Cuando todos hubieron terminado y el maestro
revis al fin los resultados obtenidos, se encontr con la sorpresa notable de que la nica
pizarra en la que apareca la respuesta correcta, 5.050, sin ningn clculo accesorio, era la
de Gauss. El muchachito de ocho aos haba hecho evidente el clculo mental de sumar la
progresin aritmtica 1+ 2+ 3+ ...+ 98+ 99+ 100 asociando parejas de trminos igualmente
(m 1)m
alejados de los extremos, es decir, esencialmente utilizando la frmula . Si la
2
ancdota anterior nos da una idea del genio de Gauss, se conoce otra tan sorprende o ms;
se dice que Goethe escribi y dirigi pequeas obras para un teatro de marionetas a los seis
aos, y que Mozart compuso su primer minueto infantil a los cinco, pero Gauss corrigi un
error en las cuentas salariales de su padre a la edad de tres.
A los quince aos Gauss comenz en Brunswick su enseanza media, gracias a la ayuda del
duque de Brunswick, el Duque qued impresionado con el muchacho y decidi pagar su
educacin posterior, primero en el Colegio Carolino en Brunswick (1792-1795) y ms tarde
en la Universidad de Gtingen (1795-1798). En el Colegio Carolino, Gauss complet su
dominio de las lenguas clsicas y explor las obras de Newton, Euler y Lagrange. Gauss
estaba entonces indeciso, dudando entre hacerse fillogo o matemtico, a pesar de que
haba inventado ya, y justificado, el mtodo de mnimos cuadrados, una dcada antes de
que Legendre publicara el mismo artificio. El 30 de marzo de 1796 se decidi al fin por la
matemtica, porque ese mismo da, cuando le faltaba an un mes para cumplir 19 aos,
hizo un brillante descubrimiento. Desde haca ms de 2.000 aos se saba cmo construir
con regla y comps el tringulo equiltero, el cuadrado y el pentgono regular (as como
algunos otros polgonos regulares cuyos nmeros de lados son mltiplos de dos, de tres o
de cinco), pero ningn otro polgono regular con un nmero primo de lados. Ese crtico da
28
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
de 1796 que acabamos de mencionar, Gauss consigui construir, de acuerdo con las normas
eucldeas, el polgono regular de 17 lados. Y ese mismo da comenz a llevar un diario en
el que fue apuntando, durante los 18 aos siguientes, algunos de sus ms grandes
descubrimientos; el primer registro es, naturalmente, el de la construccin del polgono
regular de 17 lados.
El sello de Gauss llevaba escrito el lema: pauca sed matura (pocos pero maduros) y lo
cierto es que su mente estaba tan rebosante de ideas originales que no tena materialmente
tiempo de verlas madurar a todas ellas hasta el punto de perfeccin en que insista tenerlas
antes de publicarlas. Sin embargo, su descubrimiento del 30 de marzo de 1796 s lo anunci
pblicamente en una revista literaria; siempre estuvo tan orgulloso de este descubrimiento
que, a imitacin de Arqumedes, antiguo rival en talla matemtica, expres el deseo de que
se grabara sobre su tumba un polgono regular de 17 lados. Este deseo no se cumpli nunca
porque el obtuso cantero encargado de tallar la lpida se neg rotundamente, insistiendo en
que la figura resultante no se distinguira de una circunferencia, pero al menos en el
monumento a Gauss en Brunswick puede verse tallado realmente el egregio polgono.
La representacin grfica de los nmeros complejos haba sido descubierta ya en 1797 por
Caspar Wessel (1745-1818) y publicada en la revista de la Academia de Ciencias danesa en
1798, pero lo cierto es que la obra de Wessel pas desapercibida prcticamente, y as el
plano de los nmeros complejos se suele denominar hoy como plano de Gauss, a pesar de
que Gauss no public sus ideas al respecto hasta 30 aos ms tarde. Desde la poca de
Girard era bien conocido que los nmeros reales, positivos, cero y negativos se pueden
representar en correspondencia con los puntos de una recta. Wallis haba llegado a sugerir
incluso que los nmeros imaginarios puros se podran representar por los puntos de una
recta perpendicular al eje de los nmeros reales. Y, sin embargo, sorprendentemente nadie
antes que Wessel y Gauss pens en franquear la obvia etapa de considerar las partes real e
imaginaria pura de un nmero complejo a+bi como las dos coordenadas rectangulares de
un punto en el plano, al cual estara asociado dicho nmero complejo. El cubrir esta simple
etapa hizo sentirse a los matemticos mucho ms cmodos con los nmeros imaginarios, ya
que ahora podan visualizarse en el sentido de que todo punto del plano corresponda a un
nmero complejo y viceversa. Lo cierto es que ver es creer, y las viejas ideas acerca de la
no existencia de los nmeros imaginarios fueron abandonadas por casi todos los
matemticos.
La tesis doctoral de Gauss vena a demostrar que toda ecuacin polinmica f(x)=0 tiene al
menos una raz, ya sean los coeficientes reales o complejos. No podemos entrar aqu en los
detalles de la demostracin, pero una ilustracin indicar por lo menos las lneas generales
2
que seguan las ideas de Gauss. Vamos a resolver la ecuacin z 4i 0 grficamente,
demostrando para ello que hay un valor complejo z a bi que satisface la ecuacin.
Sustituyendo en ella z por a bi y separando las partes real e imaginaria, nos queda que ha
2
de ser a b 2 0 y ab 2 0 .
Interpretando a y b como variables y representando estas dos ecuaciones en un mismo
sistema de coordenadas, en las abscisas la parte real a y en las ordenadas la parte
imaginaria pura b, obtenemos dos curvas: la primera consiste en el par de rectas
a b 0 y a b 0 , y la segunda es la hiprbola equiltera ab 2 , tal como se
observa en la Figura 1. Est claro, por la representacin grfica, que las dos curvas se
cortan en un punto P en el primer cuadrante (e, incidentalmente, en otro P en el tercero).
Obsrvese en particular que una rama de la primera curva se aleja del origen en las
direcciones 1 /4 y 3 / 4 ; el punto de interseccin est entre las dos
direcciones 0 /4 y 3 / 4 , y que una rama de la segunda curva se acerca
asintticamente a las direcciones 0 /4 y 2 / 4 ; el punto de interseccin est
entre las dos direcciones 0 y / 2. Las coordenadas a y b de este punto de
interseccin son la parte real e imaginaria del nmero complejo que es solucin de la
2
ecuacin z 4i 0.
30
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
Figura 1
Si nuestra ecuacin polinmica original hubiera sido de tercer grado en vez de segundo
grado, habra habido una rama de una de las dos curvas que se aproximase a las direcciones
1 /6y 3 / 6 , y la otra curva se aproximara a las direcciones 0 /6 y
2 / 6 . Las ramas son continuas en todos los casos, por lo tanto tienen que cortarse en
algn punto en el ngulo que va de 0 a / 3 . Para una ecuacin de grado n
habr una rama de una de las dos curvas con direcciones asintticas 1 / 2n y
3 / 2n , mientras que una rama de la otra curva tendr las direcciones asintticas
0 / 2n y 2 / 2n , y estas dos ramas tienen que cortarse necesariamente en un
punto entre 0y / n , y las coordenadas a y b del punto de interseccin sern de
nuevo las partes real e imaginaria de un nmero complejo, que es una raz de la ecuacin.
Vemos pues as que, sea cual sea el grado de la ecuacin polinmica, tiene que haber al
menos una raz compleja. A partir de este resultado se puede demostrar ya fcilmente el
teorema de la tesis de Gauss de que un polinomio cualquiera se puede factorizar en factores
reales lineales y cuadrticos.
La demostracin del teorema fundamental del lgebra dada por Gauss en su tesis se basa en
parte en consideraciones geomtricas, lo que no resultaba del todo satisfactorio. Aos ms
tarde, en 1816, public Gauss dos nuevas demostraciones, as como otra en 1850, pugnando
siempre por encontrar una demostracin puramente algebraica.
31
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
como el lgebra de las congruencias, ejemplo primitivo de trabajo con clases de
equivalencia. La exposicin se abre con la definicin siguiente:
La notacin que adopt Gauss es la misma que seguimos usando hoy, b c (mod. a), y a
continuacin procedi a construir un lgebra para la relacin anloga al lgebra usual
expresada en el lenguaje de la igualdad. Algunas, pero no todas las reglas estndares del
lgebra, se pueden aplicar a la nueva situacin. Por ejemplo, en el lgebra usual, en el anillo
de los primeros enteros, si ax ay, con a 0, entonces se deduce que x y, pero esta
ley de cancelacin no se verifica para las congruencias, como se ve fcilmente con un
contraejemplo: si a 3, x 4 e y 7, se tiene que 3.4 3.7 (mod. 9). El divisor a, para
que se pueda cancelar en una congruencia, ha de ser primo con el mdulo. Por otra parte, si
tenemos x.y=0 podemos deducir en lgebra ordinaria que o bien x, o y, o ambos, son cero.
Que ste no es el caso para congruencias se ve fcilmente del hecho que 6.5 0 (mod. 15),
pero ni 6 ni 5 es congruente con cero mdulo 15. Para que sea vlida esta regla para
congruencias, el mdulo y los factores x e y deben ser primos entre s. Otro ejemplo: en el
lgebra usual la ecuacin general de primer grado ax b, con a, b, x, enteros y a 0 ,
tiene una solucin como mximo. En cambio, una congruencia lineal puede tener varias
soluciones distintas, como puede verse del hecho que x=1, x=4 y x= 7 son soluciones de la
congruencia 6 x 15 (mod. 9). Slo si a y m son primos entre s podemos asegurar que
ax b (mod. m) tendr una y slo una solucin menor que m. Por otra parte, la relacin
tiene las mismas tres propiedades fundamentales de reflexividad, simetra y transitividad
que la relacin =, es decir: 1) a a (mod. m); 2) si a b (mod. m) entonces b a
(mod. m); 3) si a b (mod. m) y b c (mod. m), entonces a c (mod. m). Es decir, en
resumen, tanto = como son relaciones de equivalencia.
En varios lugares, la obra de Gauss vena a coincidir con la de Legendre, y este ltimo se
dej dominar por una celosa antipata hacia el ms joven y ms brillante colega. En las
Disquisitiones, por ejemplo, aparece la ley de reciprocidad cuadrtica que haba publicado
Legendre un par de aos antes. Gauss llam a esta ley el Theorema aureum, o la joya de la
aritmtica; en trabajos posteriores, Gauss intent demostrar teoremas anlogos para las
n
congruencias x p (mod. q), con n=3 y 4, pero para estos casos descubri que era
necesario extender el significado del concepto de entero para incluir a todos los llamados
enteros de Gauss o enteros gaussianos, es decir, los nmeros complejos de la forma
a+bi, con a y b enteros. Los enteros gaussianos forman un dominio de integridad como el
de los enteros estndares, pero ms general, evidentemente. Los problemas de divisibilidad
se hacen aqu ms complicados, ya que, por ejemplo, 5 no es primo, sino que es
factorizable en el producto de los dos primos 1+2i y 1-2i. De hecho, ningn primo
32
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
natural de la forma 4n+1 es un primo de Gauss, mientras que los primos naturales de la
forma 4n-1 siguen siendo primos en el sentido generalizado. En las Disquisitiones inclua
Gauss el Teorema Fundamental de la Aritmtica, uno de los principios bsicos que contina
siendo vlido en el dominio de integridad de los enteros gaussianos. De hecho, a cualquier
dominio de integridad con la propiedad de factorizacin nica se le conoce hoy con el
nombre de dominio de integridad gaussiano. Una de las contribuciones de las
Disquisitiones fue la de dar una demostracin rigurosa del teorema, conocido desde
Euclides, de que todo entero positivo mayor que 1 se puede expresar de una y slo una
manera (excepto por el orden de los factores) como un producto de los nmeros primos.
No todo lo que descubri Gauss sobre los nmeros primos aparece en las Disquisitiones. En
la ltima pgina de un ejemplar de una tabla de logaritmos que tena desde que era un
muchacho de 14 aos, aparece escrita la siguiente crptica expresin en alemn
a
Primzahlen unter a ( )
1a
Esta es una formulacin un tanto esotrica del famoso teorema de los nmeros primos: el
nmero de nmeros primos menores que a tiende asintticamente al cociente a/lna cuando
a crece indefinidamente.
Legendre haba estado muy cerca de anticipar este teorema, pero lo sorprendente es que si
Gauss escribi esto, como suponemos que en efecto lo hizo, se reserv este bello resultado
para s mismo. No sabemos si tena o no una demostracin del teorema, y ni siquiera
sabemos cundo fue escrita la frmula anterior. La distribucin de los primos ha ejercido
una verdadera fascinacin sobre muchos matemticos. En 1845, cuando Gauss era ya viejo,
un profesor de Pars, Joseph L. F. Bertrand (1822-1900), conjetur que si n>3 hay siempre
al menos un nmero primo entre n y 2n (o, ms exactamente, 2n-2) inclusive. Esta
conjetura, conocida como la conjetura de Bertrand, fue demostrada en 1850 por Pafnuti
Tchebycheff (1821-1894) (o Chebychew o Chebichew o Tschebytschew, segn las
traducciones) de la Universidad de San Petersburgo. Tchebycheff era un rival de
Lobachevsky en lo que se refiere al rango de primer matemtico ruso de la poca, y lleg a
ser miembro extranjero del Institut de France y de la Royal Society de Londres.
Tchebycheff, desconociendo evidentemente la obra de Gauss sobre los nmeros primos,
1n n
consigui demostrar que si ( n ). tiende a un lmite cuando n crece indefinidamente,
n
entonces este lmite tiene que ser 1, pero no pudo demostrar la existencia del lmite. Hasta
dos aos despus de la muerte de Tchebycheff, en 1894, no se conoci ninguna
demostracin, pero en 1896 dos matemticos, trabajando independiente uno del otro,
consiguieron sendas demostraciones el mismo ao. Estos dos matemticos coincidieron
tambin casualmente en alcanzar ambos una edad venerable. Uno de ellos fue el
matemtico belga C. J. de la Valle-Poussin (1866-1962), que vivi casi 96 aos, y el otro
fue el francs Jacques Hadamard (1865-1963), que muri poco antes de cumplir los 98
aos.
33
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
LOS POLGONOS REGULARES CONSTRUCTIBLES
Los problemas relativos al nmero y distribucin de los nmeros primos han fascinado,
como hemos dicho, a muchos de los matemticos ms importantes de la historia, desde
Euclides o antes hasta nuestros das. Un teorema que podemos considerar como un
profundo y difcil corolario al teorema de Euclides sobre la infinitud de los primos fue el
que demostr un amigo de Gauss que le sucedi en Gtingen en 1855. Nos referimos a
Peter Gustav Lejeune Dirichlet (1805-1859), el hombre que hizo ms que ningn otro por
extender las Disquisitiones. El teorema de Dirichlet afirma que no slo el nmero de los
primos es infinito, sino que si consideramos solamente los nmeros naturales de una
progresin aritmtica indefinida
a, a+b, a+2b, ..., a+nb, ...
en la que a y b son primos entre s, entonces incluso en este subconjunto relativamente
diseminado de nmeros naturales hay an infinitos primos. La demostracin que dio
Dirichlet exiga complicadas herramientas de anlisis, campo en el que el nombre de
Dirichlet ha quedado asociado tambin al criterio llamado de Dirichlet para la convergencia
uniforme de una serie de funciones. Entre otras contribuciones de Dirichlet a la teora de
nmeros est la primera demostracin del teorema conocido como conjetura de Bertrand,
del que ya hemos hablado. No podemos entrar aqu en esas sutilezas cada vez ms
sofisticadas de la teora de nmeros del siglo XIX, pero s tenemos que subrayar que el
teorema de Dirichlet vena a mostrar que el dominio discreto de la teora de nmeros no
pareca poderse estudiar aislado de la rama de la matemtica que trabaja con variables
continuas, es decir, que la teora de nmeros pareca exigir la ayuda del anlisis. Gauss
mismo, en sus Disquisitiones, haba dado ya un sorprenderte ejemplo del hecho que las
propiedades de los nmeros primos se infiltran de las maneras ms inesperadas incluso en
el dominio de la geometra.
Gauss haba planeado las Disquisitiones como una obra en dos volmenes, pero lo cierto es
que nunca lleg a escribir el segundo volumen. Aunque en una ocasin se refiri a la
matemtica como la reina de las ciencias y a la aritmtica (es decir, la teora de nmeros)
como la reina de las Matemticas, durante los primeros aos del siglo XIX, fue reclamada
su atencin por tantos otros temas interesantes. Entre los otros campos que cautivaron su
atencin tuvo un papel destacado la astronoma, a la que se vio conducido de una manera
casi accidental. En las dos primeras dcadas del siglo XIX, Gauss produjo un flujo
permanente de trabajos sobre temas astronmicos, de los que destaca el tratado Theoria
Motus Corporum Coelestium (1809), fue la biblia de los astrnomos planetarios durante
un siglo. Ms tarde se lamentaba de haber abandonado su primer amor. Exactamente el
primer da del siglo XIX se descubri un nuevo planeta o asteroide, al que se le puso por
nombre Ceres, y que al cabo de unas semanas se perdi de vista de nuevo, debido a su
tamao pequeo. Gauss gozaba de una facilidad excepcional para el clculo numrico, a la
que vena a unirse la ventaja de su mtodo de los mnimos cuadrados, y con estas armas se
encontr al verdadero desafo que supona el calcular, a partir de las pocas observaciones
registradas del asteroide, la rbita que recorra en su movimiento. Gauss invent un mtodo
para el clculo de rbitas de cuerpos celestes a partir de un nmero limitado de
observaciones, conocido como mtodo de Gauss, que an se utiliza para seguir la
trayectoria de los satlites artificiales.
El resultado de los clculos de Gauss fue un xito resonante: a finales del ao volvi a
encontrarse el asteroide casi exactamente en la posicin que indicaban dichos clculos.
Desde este momento la astronoma y la estadstica contaron entre los intereses ms serios
de Gauss, que dedic gran parte de los siguientes 20 aos a clculos astronmicos. Esta
actividad est en contraste con la opinin expresada por Gauss de que todas las medidas
del mundo no equivalen a un solo teorema que produzca un avance importante en nuestra
ciencia, la ms grande de todas. Sin embargo, a partir de entonces su fama en astronoma
qued tan slidamente establecida como en matemticas; como consecuencia de ello fue
nombrado director del Observatorio Astronmico de Gtingen en 1807, puesto que ocup
durante unos 40 aos. Gauss podra muy bien haber ocupado una ctedra universitaria de
matemticas, pero es probable que eligiera su cargo en el observatorio, no por preferencia
35
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
por la astronoma sino por aversin a la enseanza. Gauss disfrutaba ayudando a unos
pocos discpulos brillantes y entusiastas, pero la enseanza rutinaria y elemental de la clase
parece haberle desagradado.
FUNCIONES ELPTICAS
Los resultados no publicados de Gauss pendan como una autntica espada de Damocles
sobre la matemtica de la primera mitad del siglo XIX. Cuando algn otro matemtico
anunciaba un nuevo resultado importante, ocurra muy a menudo que Gauss haba tenido ya
la idea anteriormente, pero no se haba molestado en publicarla. Entre los ejemplos ms
sorprendentes de esta situacin est el del descubrimiento de las funciones elpticas,
descubrimiento en el que estuvieron mezclados cuatro matemticos de primera fila. Uno de
ellos era Legendre, desde luego, que haba estado casi 40 aos estudiando las integrales
elpticas de una manera casi aislada. Legendre desarroll una gran cantidad de frmulas en
este contexto, algunas de las cuales recordaban en cierto sentido las relaciones entre las
funciones trigonomtricas inversas, algunas de las cuales ya eran conocidas desde mucho
antes por Euler. Este hecho no es sorprendente, dado que la integral elptica
dx
(1 K 2 x 2 )(1 x 2 )
incluye la integral
dx
1 x2
como caso particular para K=0. Sin embargo, quedaba para Gauss y dos de sus
contemporneos ms jvenes el mrito de aprovechar de una manera completa las ventajas
de un punto de vista que facilita enormemente el estudio de las integrales elpticas. Si
escribimos la integral
v dx
u o
1 x2
36
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
como u=arcsen v, entonces u viene expresada como funcin de la variable independiente v
(puesto que x es la variable ligada de integracin), pero resulta ms ventajoso invertir los
papeles de u y v eligiendo u como variable independiente. En este caso tendremos v=f(u) o,
en el lenguaje trigonomtrico usual, v= sen u. Esta funcin v= sen u es mucho ms cmoda
de manejar y tiene adems una notable propiedad que u=arcsen v no tiene: es una funcin
peridica. Los papeles privados de Gauss muestran que quiz tan pronto como hacia el
1800 haba descubierto ya la doble periodicidad de las funciones elpticas (o
lemniscticas). Sin embargo, hasta el 1827-1828 fue redescubierta esta notable propiedad
por uno de los matemticos ms brillantes de todos los tiempos, Niels Henrik Abel (1802-
1829), en una memoria publicada en el Journal de Crelle. El joven Abel muri cuando slo
tena 26 aos, dejando tras s varios resultados muy profundos en lgebra y teora de
funciones.
37
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
dos dimensiones, abren la puerta a la geometra riemanniana, al anlisis tensorial y a las
ideas de Einstein.
Gauss tuvo tambin una gran cantidad de contribuciones en diferentes campos de la fsica
adems de la astronoma, como ya se coment, principalmente en electricidad y
magnetismo. Tras una visita de una semana a Gauss, Jacobi escribi a su hermano: Las
matemticas estaran en una posicin bien diferente si la astronoma aplicada no hubiese
desviado a este genio colosal de su carrera.
REFERENCIAS
[1] Boyer, Carl B. (1986). Historia de la Matemtica. Alianza editorial. Pgs. 627-639.
[2] Norea, Francisco (1992). El develador de las incgnitas Carl F. Gauss. Pangea
editores, Consejo Nacional para la Cultura y las Artes
SITIOS EN RED
[5] http://www.maths.tcd.ie/pub/HistMath/Links/MathBiog.html.
38
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
39
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
El resultado del conflicto interno de Weierstrass fue que no asisti a las clases de
matemticas, ni a las de su bien planeado curso. Reaccion al conflicto interno
pretendiendo que no le importaban sus estudios, y se pas cuatro aos practicando esgrima
(con espadas), bebiendo cerveza en reuniones y leyendo libros de matemtica. Despus de
cuatro aos, regres a casa sin graduarse en nada. Biermann escribe en [2]:
... el conflicto entre el deber y su inclinacin lo condujeron a la tensin fsica y
mental. Intent, en vano, superar sus problemas llevando una vida descuidada
de estudiante...
No obstante estudi matemticas por su cuenta, leyendo la Mecnica Celeste de Laplace y
posteriormente el trabajo de las funciones elpticas de Jacobi. Lleg a comprender los
mtodos de la teora de las funciones elpticas, leyendo transcripciones de las conferencias
de Gudermann. En una carta a Lie, escrita casi 50 aos despus, le explic cmo por sa
poca lleg a tomar la decisin definitiva para estudiar matemticas a pesar de los deseos
de su padre (ver [2]):
... cuando me di cuenta de esto [una carta de Abel a Legendre] en la Revista de
Crelle durante mis aos de estudiante, [esto] fue de suma importancia. La
deduccin inmediata de la forma de la representacin de la funcin dada por
Abel..., de la ecuacin diferencial que define esta funcin, fue la primera tarea
matemtica que yo me propuse; y su solucin afortunada me llev a la decisin
de dedicarme totalmente a las matemticas. ; tom esta decisin en mi sptimo
semestre...
Weierstrass tom la decisin de hacerse matemtico, an cuando todava estudiaba finanzas
pblicas y administracin. Despus de su decisin, pas un semestre ms en la Universidad
de Bonn, su octavo semestre finaliz en 1838, y no aprob las materias en las que se haba
inscrito. El padre de Weierstrass estaba desesperadamente disgustado con su hijo por haber
abandonado sus estudios. Pero fue persuadido por un amigo de la familia, el presidente del
tribunal de justicia de Paderborn, de permitirle a Karl estudiar en la Academia Teolgica y
Filosfica de Mnster para que pudiera tomar los exmenes necesarios para obtener el
grado de maestro de secundaria [10].
El 22 de mayo de 1839 Weierstrass se inscribi en la Academia de Mnster. All se
encontr con su inspiracin matemtica, el profesor de matemticas Cristoph Gudermann
(1798-1852).
Weierstrass asisti a las conferencias de Gudermann sobre las funciones elpticas, y recibi
una enseanza personal en la que el profesor introdujo a Weierstrass en el tema de las series
de potencias, tema que utilizara como la base de su trabajo. Gudermann anim fuertemente
a Weierstrass en sus estudios matemticos. A lo largo del resto de su vida, Karl expres
siempre gratitud a su maestro.
Al dejar Mnster en el otoo de 1839, Weierstrass estudi para el examen de maestro para
el cual se haba registrado en marzo de 1840. Sin embargo, por estas fechas, el padre de
Weierstrass de nuevo haba cambiado de trabajo, llegando a ser el director de los trabajos
40
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
f ( z) an ( z p)n
n
Los conceptos sobre los cuales Weierstrass bas su teora de funciones de variable
compleja de los aos posteriores a 1857 se encuentran explcitamente en sus trabajos
inditos escritos en Mnster de 1841 a 1842, cuando estaba bajo la influencia de
Gudermann. La transformacin de su concepcin de una funcin analtica a partir de una
funcin diferenciable, a una funcin expandible en una serie de potencias convergente la
realiz durante este perodo temprano de su actividad matemtica.
Weierstrass empez su carrera como maestro de matemticas de secundaria en el Pro-
Gimnasio en Krone Alemania en 1842, donde permaneci hasta que se cambi al Colegio
Hoseanum en Braunsberg, en 1848. Siendo maestro de matemticas, le exigieron que
41
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
enseara tambin otras materias y, as, Weierstrass ense fsica, botnica, geografa,
historia, alemn, caligrafa e incluso gimnasia. Pasaba la mayor parte de su tiempo libre
haciendo amistades en la taberna local y trabajando en sus matemticas. Posteriormente
Weierstrass describi "la tristeza inacabable y el fastidio" de estos aos miserables en los
cuales [2]:
... no tena un colega para las discusiones matemticas, ni acceso a una
biblioteca matemtica, y el intercambio de cartas cientficas era un lujo que no
poda permitirse pagar.
Alrededor de 1850 Weierstrass empez a padecer ataques de vrtigo muy severos y que
despus terminaban en aproximadamente una hora de fuertes mareos. Los ataques
frecuentes en un perodo de aproximadamente 12 aos le dificultaron el trabajo y se piensa
que la causa de estos problemas fueron los conflictos mentales que sufri cuando era
estudiante, junto con la tensin de aplicarse a la matemtica en cada minuto libre de su
tiempo mientras realizaba el trabajo agotador de la enseanza.
No es sorprendente que cuando Weierstrass public los artculos sobre las funciones
abelianas en los prospectos de la escuela de Braunsberg pasaran inadvertidos por los
matemticos. Sin embargo, cuando public Zur Theorie der Abelschen Functionen en la
Revista de Crelle1 en 1854 ste indudablemente fue notado. En este artculo se da una
descripcin preliminar de los mtodos que comprenden la representacin de funciones
abelianas como series de potencias convergentes [10].
Con este artculo Weierstrass sali de la oscuridad y sobresalt a la comunidad matemtica
que se preguntaba cmo era que este genio estaba enseando a nios. Casi de inmediato la
Universidad de Knigsberg le confiri el grado de Doctor Honoris Causa el 31 de marzo
de 1854. Weierstrass solicit la ctedra que qued vacante en la Universidad de Breslau
cuando Kummer se cambio a Berln. Kummer, sin embargo, intent influir en las cosas
para que Weierstrass no fuera designado y se fuera a Berln, en lugar de a Breslau. Una
carta de Dirichlet al Ministro Prusiano de Cultura escrito en 1855 apoy fuertemente a
Weierstrass para que se le diera un nombramiento universitario. Los detalles se dan en [1].
Despus de ser promovido como conferencista mayor en Braunsberg, Weierstrass obtuvo
un ao de licencia para dedicarse al estudio de la matemtica avanzada. Sin embargo, ya
haba decidido no regresar a ensear a la escuela.
Weierstrass public una versin completa de su teora de inversin de integrales
hiperelpticas en su siguiente artculo denominado Theorie der Abelschen Functionen y
publicado en la Revista de Crelle en 1856. A partir de l varias Universidades le ofrecieron
una ctedra. Mientras las universidades en Austria discutan la perspectiva, le lleg la oferta
de una ctedra del Instituto de la Industria en Berln. Aunque l hubiera preferido ir a la
universidad de Berln, Weierstrass no quiso volver al Colegio Hoseanum en Braunsberg por
lo que acept la oferta del Instituto el 14 de junio de 1856 [10].
1
Revista fundada y dirigida por el matemtico August Leopold Crelle, cuyo nombre completo es: Journal fr
die reine und angewandte Mathematik.
42
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
Weierstrass continuo recibiendo ofertas, incluso cuando imparta una conferencia en Viena
en septiembre de 1856 se le ofreci a una ctedra en cualquier universidad austriaca que
eligiera. Antes de decidir sobre esta oferta, en octubre la Universidad de Berln le ofreci
una plaza de profesor asociado. ste era el trabajo que l haba deseado durante mucho
tiempo y acept rpidamente, aunque habiendo aceptado antes la oferta del Instituto de la
Industria, no pudo ocupar la plaza de la Universidad de Berln formalmente durante algunos
aos [10].
El xito de las conferencias de matemticas de Weierstrass atrajo a estudiantes de todo el
mundo. Los temas de sus conferencias incluyeron: la aplicacin de series de Fourier e
integrales a la fsica matemtica (1856/57), una introduccin a la teora de funciones, la
teora de funciones elpticas (su tema de investigacin principal), y aplicaciones a
problemas en geometra y mecnica.
En sus conferencias de 1859/60 Weierstrass present su Introduccin al anlisis, donde
abord los fundamentos de esta materia por primera vez. Weierstrass comprendi que el
esclarecimiento conceptual de muchos teoremas, slo sera posible mediante la
construccin rigurosa de los nmeros reales. Dio una demostracin basada en lo que hoy en
da conocemos como el teorema de Bolzano-Weierstrass (1874): toda sucesin acotada
tiene un punto de acumulacin.
Adems del teorema del valor intermedio, Weierstrass demostr mediante argumentos
puramente analticos (es decir, sin tomar en cuenta la evidencia geomtrica) que una
funcin definida en un intervalo cerrado, tiene un mximo y un mnimo absolutos. Este
resultado aparece en las conferencias de Weierstrass de 1861 bajo el nombre
Hauptlehrsatz, esto es, Teorema Principal. [6]
En 1860/61 disert sobre el Clculo Integral. En 1861 su nfasis en el rigor lo llev a
descubrir una funcin que, aunque continua, no tiene derivada en ningn punto.
f ( x) b n cos( a n x)
n 1
en donde a es un nmero impar, b un nmero real en (0, 1) y ab> 3 /2. Este ejemplo era
contrario a toda intuicin geomtrica. Los analistas que dependan fuertemente de la
intuicin para sus descubrimientos se desanimaron con esta funcin anti-intuitiva. El
impacto causado a la comunidad matemtica fue inmenso y provoc reacciones muy
variadas que iban desde la incredulidad hasta el horror, pero la llamada de atencin estaba
dada, sobre el poco rigor y la engaosa intuicin, y precipit en gran medida la imperiosa
necesidad de construir sobre bases irrefutables los nmeros reales.
Los efectos causados por la existencia de esta clase especial de funciones (continuas sin
derivada en punto alguno) fueron muchas. En primer lugar, la continuidad de una funcin
no siempre representaba una propiedad de su grfica pues estos ejemplos no son
graficables ya que una continuidad sin derivabilidad quera decir que la grfica de la
funcin tiene un pico en cada punto! [6]
43
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
44
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
45
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
sta sera una tarea difcil. Los primeros dos volmenes aparecieron en 1894 y 1895, siendo
los nicos que aparecieron antes de su muerte en 1897. Sus ltimos aos fueron difciles
[4]:
Durante sus ltimos tres aos estuvo confinado a una silla de ruedas, inmvil y
dependiente. Muri de pulmona.
Los volmenes restantes de sus Obras Completas aparecieron despacio; el volumen 3 en
1903, el volumen 4 en 1902, los volmenes 5 y 6 en 1915, y el volumen 7 en 1927. Los
siete volmenes se reimprimieron en 1967. Mucho de su trabajo contina siendo publicado
hoy, particularmente las versiones de sus conferencias tomadas de las notas hechas por
aquellos que asistieron a las conferencias.
Irnicamente, comprendi sus propias limitaciones. l dijo una vez: Es cierto que un
matemtico que no tenga tambin algo de poeta nunca ser un matemtico perfecto. l
entendi que la perfeccin matemtica, as como la perfeccin potica, es imposible,
aunque no hay nada malo en intentarlo [9].
REFERENCIAS
[1] Behnke H. and Kopfermann K.(eds.) (1966), Festschrift zur Gedchtnisfeier fr Karl
Weierstrass. Cologne-Opladen.
[2] Biermann K.-R. (1965), Dirichlet ber Weierstrass, Praxis Math. 7. pp. 309-312.
[3] Blling R. (1994), A photo album for Weierstrass. Braunschweig.
[4] Dictionary of Scientific Biography (1990). K. Weierstrass. New York.
[5] Encyclopaedia Britannica. Karl Weierstrass.
[6] Kochina P. Ya., Karl Weierstrass, 1815-1897 (Russian), Nauka (Moscow, 1985).
[7] Moreno A. Luis (1977). Weierstrass: Cien aos despus. Miscelnea Matemtica 25,
pp. 11-27.
[8] Neuenschwander E. (1981), Studies in the history of complex function theory II:
Interactions among the French school, Riemann, and Weierstrass, Bull. of the A.M.S.
5, pp. 87-105.
[9] Richter K. (1983), Weierstrass, in H Wussing and W Arnold, Biographien bedeutender
Mathematiker , Berlin.
SITIOS EN RED
[10] O'Connor J. J. and Robertson E. F. Karl Theodor Wilhelm Weierstrass.
http://www-history.mcs.st-and.ac.uk/history/Mathematicians/Weierstrass.html
46
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
EL LGEBRA DE LA LGICA
Francisco C. Garca Durn
INTRODUCCIN
A reserva de lo que depare el futuro, desde el ahora de nuestro siglo XXI es posible
afirmar que los aos decisivos para el desarrollo de las matemticas fueron los
decimonnicos. Durante ellos hicieron su aparicin varias reas disciplinarias nuevas, entre
ellas las geometras no-euclidianas y las lgebras de vectores y matrices, adems del
lgebra abstracta, que dieron lugar a cambios en la concepcin de las matemticas y en
cules son sus temas de estudio. Brevemente podramos decir que durante el siglo XIX se
pas de una matemtica apegada a la realidad de los sentidos fsicos: nmeros y espacio
euclidiano, a una matemtica dedicada a conceptos y cuestiones abstractos, propios de la
disciplina y sin liga directa aparente con la realidad. La lgica no escap a este fenmeno, y
si a principios del siglo XIX los estudios lgicos no utilizaban herramientas matemticas,
durante el transcurso de ste se propici una tan estrecha cercana con las matemticas que
a su trmino hubo intentos, principalmente de Bertrand Russell (1872-1970) y Alfred N.
Whitehead (1861-1947), para fundamentar la matemtica en la lgica.
Este cambio en la tendencia del desarrollo de la lgica se dio durante la primera mitad del
siglo decimonnico a partir del punto de quiebre que signific la aparicin del lgebra de la
lgica, obra del ingls George Boole (1815-1864). Con l se inicia el uso de herramientas
matemticas, en particular algebraicas, para la investigacin lgica, dando lugar as al
surgimiento de la teora de lo que hoy conocemos como lgica matemtica. En este texto
damos un vistazo general a la historia de dicha aparicin, que es un claro ejemplo de cmo
un ambiente ad hoc, con intercambio de ideas, fomenta una nueva teora. Nos limitaremos a
las ideas ms inmediatamente precursoras, tanto dentro de las matemticas como en la
lgica, y a las ideas iniciales bsicas de esta lgebra, tal como fue presentada por Boole.
Toda la historia que nos ocupa transcurre en las islas britnicas y se inicia con los trabajos
del algebrista George Peacock (1791-1858), quien en su obra A Treatise on Algebra (1830)
adelanta la idea de que el lgebra es una ciencia deductiva al igual que la geometra, y trata
de darle un tratamiento lgico al estilo de los Elementos de Euclides. Posteriormente
publica una segunda versin en dos partes, diferenciadas para sendas lgebras. El volumen
I (1842) est dedicado a lo que l llama lgebra aritmtica y en la cual consideramos los
smbolos como representantes de nmeros, y las operaciones a las cuales ellos estn
sometidos tan incluidas en las mismas definiciones (sean expresadas o entendidas) como en
la aritmtica comn: los signos + y denotan las operaciones de adicin y sustraccin en
su significado ordinario solamente, ...as en expresiones ... como a b, debemos suponer a
47
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
mayor que b... [4]. El volumen II (1845) est dedicado al lgebra simblica que el autor,
citado en [6], describe como la ciencia que trata las combinaciones de signos y smbolos
arbitrarios por medios definidos a travs de leyes arbitrarias y en la que podemos asumir
cualesquiera leyes para la combinacin e incorporacin de tales smbolos, en tanto nuestras
suposiciones sean independientes, y por tanto no inconsistentes una con otra.
En su trabajo, Peacock defenda dos puntos centrales. Primero, en todos los procesos del
lgebra no se poda usar ninguna propiedad de una operacin si no haba sido puesto de
manifiesto que tal propiedad perteneca a esa operacin, y no se le haba establecido como
una ley verdadera desde el comienzo o no haba sido obtenida por deduccin a partir de las
leyes iniciales. Era as necesario el establecimiento completo del cuerpo de leyes que
conciernen a las operaciones utilizadas en dichos procesos. En segundo lugar, para efectos
deductivos, se debe considerar que los signos de las operaciones no tienen otros sentidos
que aquellos que les han sido asignados por las leyes. Por ejemplo, ninguna propiedad de la
multiplicacin puede ser utilizada si no figura en la lista de propiedades de ella. sta es
cualquier operacin arbitraria que posea las propiedades expuestas en las leyes del lgebra
relativas al signo (o a cualquier otro signo que se pudiera proponer para la
multiplicacin).
Todo S es M.
Todo M es P.
Luego, todo S es P.
Para la formacin de los silogismos, a Aristteles le bast con los cuatro enunciados
categricos tradicionalmente conocidos por las letras A, E, I y O:
As, la lgica anterior a la lgica matemtica puede ser considerada como una serie de
interminables tentativas de reformar, mejorar o extender el silogismo aristotlico para
comprender nuevas formas de inferencia.
El primer trabajo sobre lgica de este matemtico ingls fue publicado en 1839 con el ttulo
First Notions in Logic, y sus papeles lgicos fueron publicados en una serie titulada On the
Syllogism, aunque los primeros cuatro pueden ser encontrados tambin en su obra,
publicada en 1847, Formal Logic; or, the Calculus of Inference, Necessary and Probable.
En sus trabajos, De Morgan usa letras maysculas, tales como X, Y, Z, etc. para trminos
generales arbitrarios o nombres, y para lo contrario de un nombre no usa un operador
explcito de negacin, sino la letra minscula correspondiente al nombre. Por ejemplo, lo
contrario del nombre X es denotado x. La conjuncin de proposiciones P y Q es expresada
como PQ, y la disyuncin como P,Q. Con esta notacin una de sus leyes se enunciara
como: lo contrario de PQ es p,q. De Morgan pareca poco consciente de la importancia de
una buena notacin, como es evidente al comparar la notacin anterior para las operaciones
entre proposiciones con su notacin para los cuatro enunciados categricos:
EL LGEBRA DE LA LGICA
x+ y=y+x xy= yx
x+ (1 x)=1 xy= x
z= z1 = zx + z( 1 x ) 1x =x
z( x + y ) = zx + zy 0x=0
Es posible x 0, y 0, tal que xy = 0 x(1 x ) = 0
52
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
electivo, representa la operacin mental de seleccionar de ese grupo todas
las Xs que contiene, o de fijar la atencin sobre las Xs con la exclusin de
todas las que no son Xs, y la operacin mental de seleccionar las Ys, y as
sucesivamente; entonces, al ser 1 o el universo la concepcin dominante,
tendremos
x1 o x = la clase X,
y1 o y = la clase Y,
x y1 o x y = la clase donde cada miembro est en ambos X e Y,
y as sucesivamente.
Por la naturaleza de las operaciones mentales involucradas, Boole afirma que se cumplen
las leyes de la distributividad, la asociatividad y la de xn = x, a la cual llama ley del ndice
y la considera peculiar del clculo. Aclara que la verdad de stas no depende de las clases y
sus miembros, ni de sus mutuas relaciones, sino que ellas estn de hecho incorporadas en
todo lenguaje hablado o escrito. Adems,
con estas leyes est conectado un axioma general. Hemos visto que las
operaciones algebraicas ejecutadas con smbolos selectivos representan
procesos mentales. As, la conexin de dos smbolos por el signo +
representa la agregacin de dos clases (ajenas) en una clase singular, la
conexin de dos smbolos xy como en la multiplicacin, representa la
operacin mental de seleccionar de una clase Y aqullos miembros que
tambin pertenecen a otra clase X, y as sucesivamente. Por tales
operaciones, la concepcin de una clase es modificada. Pero al lado de esto
la mente tiene el poder de percibir relaciones de igualdad entre clases. El
axioma en cuestin, entonces, es que si una relacin de igualdad es
percibida entre dos clases, esa relacin permanece inalterada cuando ambos
sujetos son igualmente modificados por las operaciones arriba descritas.
Este axioma, y no el dictum de Aristteles, es el real fundamento de todo
razonamiento, la forma y carcter del proceso, siendo, sin embargo,
determinada por las tres leyes ya establecidas.
Observemos que posteriormente Jevons propone que la suma sea considerada entre clases
no necesariamente ajenas. Con esto se tiene la ley x + x = x, distinta de la ley booleana
original x + x = 0. A partir de estos conceptos, Boole transforma las proposiciones
cuantificadas en ecuaciones y as, cualquier silogismo puede ser transformado en un
sistema de ecuaciones, el cual es vlido si las ecuaciones correspondientes a las premisas
sometidas a manipulacin algebraica nos permiten llegar a la ecuacin correspondiente a la
conclusin. Adems, dadas las premisas de un silogismo, era posible obtener una
conclusin manipulando algebraicamente las ecuaciones correspondientes a las premisas y
53
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 2, MAYO 2002
llegando, si era posible, a una ecuacin con interpretacin lgica. A manera de ejemplo de
la conversin a ecuaciones, veamos cules son las correspondientes a las cuatro
proposiciones categricas aristotlicas:
A: y = vx
E: y = v( 1 x )
I: vy = vx
O: vy = v( 1 x )
Boole llev a cabo una completa formulacin de sus ideas en la primera mitad de su obra
de 1854, An Investigation of the Laws of Thought on which are founded the mathematical
theories of logic and probabilities. En ella fue mucho ms lejos en su intento de hacer uso
de las operaciones y procesos de matemticas para la construccin de su teora lgica.
Estaba dispuesto a permitir el uso de cualquier idea del lgebra aritmtica, siempre y
cuando ello le ayudase a obtener las respuestas correctas. No le importaba que con ello los
pasos intermedios en la resolucin de un problema lgico no tuviesen sentido desde el
punto de vista lgico. Este predominio de lo aritmtico pareciera un resabio de la atadura
aritmtica de Peacock, siendo uno de los defectos que le encontr Jevons, quien, por el
contrario, pensaba que todo paso algebraico debera corresponder a un paso lgico.
Lo notable del lgebra de la lgica de Boole es que tambin poda ser interpretada, como lo
hizo en su momento su propio creador para la hasta entonces poco trabajada lgica
proposicional. Con ello se daba por primera vez una teora unitaria de la lgica. En esta
lgebra de proposiciones se tienen todas las leyes del lgebra de clases y una ms que le es
completamente propia: x = 0 o x = 1. Esperamos que, con lo hasta aqu dicho, el lector
obtenga una apreciacin favorable de la genialidad de George Boole y de por qu ocupa un
lugar preponderante en la historia de la lgica.
REFERENCIAS
[1] Agazzi, Evandro (1986). La Lgica Simblica. Ed. Herder, Barcelona, Espaa.
[2] Boole, George (1848). The Calculus of Logic. Cambridge and Dublin Mathematical
Journal, Vol. III, pp. 183-198.
[3] Gardner, Martin (1973). Mquinas Lgicas y Diagramas. Col. DINA, Editorial
Grijalbo, D. F., Mxico.
[4] Peacock, George (1940). A Treatise on Algebra. Vol. I. Arithmetical Algebra. Scripta
Mathematica, New York, N. Y., USA.
SITIOS EN RED
[6] http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/CalcLogic.html
54
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
SU FORMACIN
Emmy Amalie Noether naci el 23 de marzo de 1882 en Erlangen, Alemania, donde sigui
la escuela elemental de 1889 a 1897. En 1900, en su ciudad natal, obtuvo un certificado
como maestra de ingls y francs; sin embargo, no era ese su destino, pues realiz grandes
contribuciones al mundo de las Matemticas y de la Fsica. Hizo frente a muchos
problemas durante el trayecto de su vida, ya que estaba empeada en lograr una educacin
que la mayora de las mujeres no conseguan debido a que, en Alemania y a inicios del
siglo XX, las mujeres no podan matricularse en las universidades de manera oficial y se
tena que solicitar autorizacin a cada profesor para asistir a su asignatura.
Emmy luch para poder obtener el permiso y, as, logr asistir a clases en las universidades
de Erlangen, de 1900 a 1902 y de Gttingen, en 1903 y 1904. En Gttingen, asisti a
ctedras de matemticos tan importantes como David Hilbert (1862-1943), Felix Klein
(1849-1925) y Hermann Minkowski (1864-1909). En 1904 obtuvo la aprobacin para
matricularse y tres aos despus, el viernes 13 de diciembre de 1907, obtuvo el doctorado
con la tesis Los sistemas completos de invariantes para las formas bicuadrticas
ternarias bajo la direccin de Paul Gordan.
Al doctorarse, Emmy emprendi una nueva batalla, para poder dar clases en las
universidades; tuvo que hacerlo bajo el nombre de su padre, distinguido matemtico y
profesor en Erlangen, o de su amigo, el matemtico David Hilbert (a quien se le atribuye la
deduccin de las ecuaciones de campo de la teora de la relatividad, independientemente de
Albert Einstein) quien, conjuntamente con Flix Klein, mantuvo una dura pugna con las
autoridades acadmicas para que le concedieran a Emmy una plaza.
55
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
SU TRABAJO
La fama de Emmy creci cuando aparecieron sus publicaciones, las que tuvieron
importante influencia en el desarrollo del lgebra moderna y la teora de la relatividad. De
entre sus contribuciones, el concepto ms conocido es el de anillos ideales, los cuales son
conocidos como anillos noetherianos. Para presentar la idea de anillo noetheriano,
iniciamos primeramente con un conjunto A que cumple con las siguientes condiciones de
anillo conmutativo:
a) a, b A implica que a b A
b) a b b a para a, b A
c) a b c a b c para a, b A
d) Existe un elemento 0 A tal que a 0 a para todo a A .
e) Dado a A existe b A tal que a b 0
f) a, b A implica que a b A
g) a b c a b c para a, b, c A
h) a b c a b a c y b c a b a c a para a, b, c A
1. Si a, b I , entonces a b I
2. Si a I y si r A, entonces r a I
Por ejemplo:
56
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
notacin, (2) es el ideal del anillo A, cuyos elementos son de la forma 2r 2n, donde
r A y n es un entero.
n n
4) El subconjunto I de un anillo A cuyos elementos son de la forma ri a i n ja j
i 1 j 1
Entre los ideales, tambin estn definidas operaciones. Por ejemplo, si M y N son dos
ideales de un anillo conmutativo A; la suma M + N es el conjunto de todas las sumas m + n
para m M y n N . Para ilustrar el caso consideremos el anillo Z de enteros, y sea M = (9)
y N = (12). Entonces M + N es el conjunto de todos los enteros que pueden expresarse en la
forma 9a +12b, con a, b enteros. Un pequeo examen muestra que M + N = (3). M N es
el conjunto de todos los enteros que son mltiplos de 9 y de 12, por lo tanto, M N (36) .
Por ltimo, si A y B son dos ideales del anillo conmutativo R, se tiene que:
AB A B A o B A B
Ahora bien, para que un anillo N sea noetheriano, debe satisfacer la siguiente condicin de
encadenamiento ascendente para ideales (CEA): Un anillo R se dice que satisface CEA,
si toda sucesin de ideales I 1 , I 2 , de N tal que I 1 I 2 tiene un nmero finito de
trminos. Por ejemplo, si I consiste de todos los mltiplos de 27, es decir, I = (27),
entonces (27) es un subconjunto de (9) y (9) es un subconjunto de (3), as los tres ideales
(27), (9) y (3) es la cadena ms larga posible correspondiente al ideal I.
En 1918, Emmy Noether prob un importante teorema y su inverso, este teorema revel la
conexin general entre las simetras y las leyes de conservacin en la fsica. Surgi de los
intereses de Hilbert por la relatividad general einsteiniana. El teorema,
que lleva su nombre, es empleado en mecnica y teora de campos.
Pertenece al clculo diferencial y pas inadvertido en su momento.
Actualmente goza de enorme prestigio entre los fsicos de partculas.
Este teorema se basa en las propiedades de invariancia del lagrangiano
de un sistema, bajo la accin de ciertas transformaciones llamadas
simetras. A las leyes de conservacin a las que obedece dicho sistema, se
57
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
les llama tambin "principios" porque rigen en todas las leyes de la
naturaleza gobernadas por lagrangianos invariantes bajo el mismo
grupo de transformaciones. As ocurre con el principio de conservacin
de la energa, o el principio de conservacin de la cantidad de
movimiento o impulso de los cuerpos o el principio de conservacin del
momento angular. El principio de conservacin de la energa en
mecnica clsica, por ejemplo, enuncia que la energa total, la cintica y
potencial de un sistema aislado, es decir, de un sistema que no
intercambie energa con el exterior, es constante. Otros principios de
conservacin son el de la carga elctrica, el del nmero barinico o el del
nmero leptnico. El teorema de Noether expresa, de manera general,
que si al principio de una reaccin se cuenta con cierto nmero de
entidades (cargas, bariones, leptones), al final se encontrar el mismo
nmero de entidades.
.
Emmy Noether funda los principios de conservacin en la invariancia
formal de las leyes de la fsica. Es decir, en mecnica, un sistema queda
descrito por una funcin matemtica que depende de sus coordenadas de
posicin y velocidad, as como del tiempo. Esta funcin se llama
lagrangiano del sistema y es igual a la diferencia entre la energa cintica
y la potencial. La cuestin es: qu leyes fsicas son vlidas aunque se
cambie el sistema de coordenadas, efectuando en l unas
transformaciones llamadas, muy genricamente, simetras, entre las que
podemos incluir, por ejemplo, traslaciones o rotaciones?
El teorema de Noether presenta una correspondencia entre cada
principio de conservacin de una magnitud fsica (as, la energa, el
impulso, la cantidad de movimiento) y una invariancia formal de las
leyes de la fsica. Dicho de otro modo, para toda simetra continua (por
ejemplo, una rotacin espacial) del lagrangiano del sistema, hay una
magnitud conservada a lo largo de la evolucin del mismo. Las
conclusiones ms interesantes se obtienen en el caso de las
transformaciones eucldeas, como las espaciales, las rotaciones o las
temporales, esto es, en aquellos casos en que la transformacin no
deforma los objetos. En estos casos simples, el teorema de Noether
conduce a los siguientes resultados.
1. Cuando un lagrangiano es invariante bajo traslaciones del tiempo,
su expresin formal no cambia al variar la variable tiempo,
entonces la energa total de sistema se conserva durante el
movimiento.
2. Si es invariante el sistema por traslacin espacial, la magnitud
conservada es el impulso o momento lineal.
3. Cuando es invariante por rotacin, se conserva el momento
angular.
58
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
Aqu estn los tres grandes principios de conservacin de la fsica
clsica: el de energa, que se basa en la invariancia del lagrangiano por
traslacin temporal; el del impulso mecnico, que se basa en la
invariancia por traslacin espacial y, el del momento angular, que se
fundamenta en la invariancia por rotacin. Podran remitir la
conservacin de la energa a la constancia de las leyes de la fsica y,
consiguientemente, a la uniformidad del tiempo; la conservacin de la
cantidad de movimiento, a la universalidad de las leyes fsicas y,
finalmente, la conservacin del momento angular a la isotropa del
espacio (ninguna direccin goza de privilegio alguno sobre otras)?
SU DESTIERRO
A pesar de sus indudables mritos, Emmy Noether no consigui ningn
puesto acadmico en la Universidad de Gottingen. Ni siquiera pudo
pasar la prueba de Habilitacin, requisito indispensable para obtener el
derecho a la docencia en las universidades alemanas, ya que, segn la
ordenanza legal de 1908, slo poda ser concedida a los candidatos
masculinos. Una protesta posterior ante el Ministerio de Cultura hizo
que esta ley fuese derogada. Segn testimonio de Hermann Weyl (1885-
1955), su colega en Gttingen, fueron los mismos matemticos e
historiadores quienes ms se opusieron a su nombramiento.
Acabada la primera Guerra Mundial, las cosas cambiaron un tanto.
Emmy Noether pudo superar en 1919 la ltima prueba para conseguir su
Habilitacin, que consista en dar una conferencia. A partir de entonces
pudo dar clases en la Universidad y recibir parte del dinero que pagaban
sus estudiantes (Privatdozent). En 1922, recibi un ttulo acadmico que
era un mero ttulo sin obligaciones y sin salario. Posteriormente obtuvo
un modesto Lehrauftrag (Encargo de Magisterio) para lgebra que
llevaba asociado un pequeo salario. As permaneci hasta 1933.
Siendo juda, adems de mujer, la llegada de los nazis al poder, complic
an ms su situacin. En abril de este mismo ao, 1933, se le retir tanto
su venia legendi como su Lehrauftrag y, con ello, su salario. Con la ayuda
de Bryn Mawr, de Pennsylvania, y de Sommerville, de Oxford, ambas
colegas femeninas, pudo conseguir un puesto, de un ao acadmico de
duracin, en el Bryn Mawr College. En octubre de 1934, se exili a
Estados Unidos.
A partir de 1934 empez a dar clases semanales en el Institute for
Advanced Study de Princeton, no lejos del Bryn Mawr College, donde se
le renov su contrato acadmico por un ao ms. La suerte, sin embargo,
no la acompa. El 14 de abril de 1935 Emmy Noether muere en el Bryn
Mawr Hospital como consecuencia de una operacin que no pareca
excesivamente peligrosa.
59
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL.1, NO. 2, MAYO 2002
REFERENCIAS
[1] Barnes Wilfred E. (1965). Introduction to Abstract Algebra. D.C. Heath and
Company Boston.
[2] Mutafian Claude (1980). Anillos, Campos y Teora de Galois. C.E.C.S.A., Mxico.
[3] Weiss-Dubisch (1975). Algebra Superior. Editorial Limusa, Mxico.
SITIOS EN RED
[4] http://www.agnesscott.edu/lriddle/women/noether.htm
[5] http://cedar.evansville.edu/~ck6/bstud/noether.html
[6] http://www.awm-math.org/noetherbrochure/AboutNoether.html
[7] http://www.uwm.edu/Dept/Math/Research/Algebra/algebra.html
[8] http://www.mizar.org/JFM/Vol12/ideal_1.6.html
[9] http://www.emmynoether.com/math.htm
[10]http://www.physics.ucla.edu/~cwp/articles/noether.asg/noether.html
[11]http://cuhwww.upr.clu.edu/mate/museo/mujeres/emmy.htm
[12]http://www.physics.ucla.edu/~cwp/articles/noether.asg/noether.html
[13]http://www.math.wsu.edu/math/faculty/barbut/integer_ideals.html
60
DEPARTAMENTO DE MATEMTICAS
TALLER EDITORIAL
Apuntes de Historia
de las Matemticas
Volumen 1. Nmero 3. Septiembre 2002.
UNIVERSIDAD DE SONORA
DIVISIN DE CIENCIAS EXACTAS Y NATURALES
Hermosillo, Sonora, Mxico.
APUNTES DE HISTORIA DE LAS MATEMTICAS
VOL.1, NO.3, SEPTIEMBRE 2002.
C O N T E N I D O
1. INTRODUCCIN
El lgebra moderna, o lgebra abstracta como tambin se le conoce, tiene un papel tan
importante dentro de las matemticas contemporneas que hay quienes lo comparan con la
funcin que la matemtica, en general, desempea en las ciencias, en las que ha probado
ser de gran utilidad. Nos referimos a sus aplicaciones a la fsica, a la qumica, a la biologa,
a la economa, etctera, para las cuales, la matemtica es parte fundamental de sus
desarrollos modernos, en algunos de los cuales, las nuevas teoras algebraicas han tenido un
papel protagnico (ver [1, pp. 57-58, 261-262]).
En este escrito abordaremos algunos de los ms importantes episodios que han dado forma
al lgebra, tal como la conocemos actualmente, y veremos que est muy alejada de la
antigua idea segn la cual "El algebra es, propiamente hablando, el anlisis de
ecuaciones" como lo expresa J. A. Serret en su libro Cours d'Algbre Suprieure publicado
en 1885. Ciertamente ese anlisis de las ecuaciones ha sido una parte muy importante en el
desarrollo de esta ciencia, pero tendremos oportunidad de ver que el lgebra es mucho ms
que eso. De hecho, en las primeras dcadas del siglo XIX se di un movimiento lidereado
por varios matemticos ingleses que tena como propsito dotar al lgebra de un marco
axiomtico, similar al de la geometra euclidiana. Esto propici el surgimiento de una
multitud de nuevas estructuras y teoras algebraicas que revolucionaron las viejas
concepciones y marcaron el camino a seguir para los desarrollos futuros del lgebra
moderna.
Por otro lado, debemos advertir que sta no es una historia exhaustiva de todo ese
movimiento creador pues el espacio nos impone limitaciones, sin embargo, pondremos
nfasis en ciertos aspectos que nos ayudarn a comprender la relevancia del lgebra en las
matemticas modernas. Adems, hemos dividido el documento en tres partes: En la primera
de stas tocamos algunos aspectos de las matemticas egipcia, babilnica y griega, a los
que podramos calificar como de tipo algebraico, aunque cada uno de ellos de ndole muy
distinta, como se ver en las siguientes secciones. Esta primera parte abarca un perodo que
empieza aproximadamente en 1600 a. C. y termina alrededor del ao 600 d. C.; en esta
etapa podemos hablar de una pre-lgebra pues an no se toma conciencia del lgebra como
1
Ver [7], p. 43.
5
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
una rea independiente de la aritmtica y de la geometra (en el caso de Egipto y Babilonia,
podemos hablar de una lgebra aritmtica y en el caso de Grecia de una lgebra
geomtrica). En ambas situaciones, encontramos problemas muy especficos que
podramos llamar algebraicos y para los cuales tenan mtodos de solucin que son
equivalentes a resolver ciertos tipos de ecuaciones algebraicas y que abordaremos ms
adelante.
Un desarrollo mucho ms consciente y profundo en lo que se refiere al estudio de
ecuaciones algebraicas es llevado a cabo por los matemticos rabes, quienes preservan,
aprehenden y cultivan las ciencias que provienen de fuentes babilnicas, hindes y griegas.
Si bien la matemtica rabe tiene su perodo de mximo esplendor entre los siglos IX y XI,
su influencia se percibe en Europa hasta muy entrado el Renacimiento, por lo que los
matemticos europeos continan el estudio de las ecuaciones hasta las primeras dcadas del
siglo XIX. As, esta etapa la podemos identificar con la idea expuesta por Serret: El lgebra
ligada a la resolucin de ecuaciones, y nos ocuparemos de estos aspectos en la segunda
parte del documento.
Finalmente, en la tercera parte hablaremos sobre los desarrollos modernos del lgebra que
se inician con el surgimiento del lgebra simblica en Inglaterra y que logran un triunfo
significativo con la labor de axiomatizacin del lgebra por parte de la escuela alemana
hacia la mitad del siglo XX. Es en este perodo donde se marcan las tendencias modernas
del desarrollo algebraico, las cuales se centran en una idea fundamental: el concepto de
operacin o ley de composicin, del cual Bourbaki afirma ser uno de los conceptos ms
primitivos en matemticas [3, p.74]. Esperamos que con este estudio introductorio sobre la
evolucin del lgebra, el lector se logre dar una idea del poder del sta.
No debemos olvidar, por otro lado, que una caracterstica distintiva de las matemticas es
su gran unidad, es decir, es imposible hablar de reas que evolucionen de manera aislada, o
como lo dice David Hilbert : "La matemtica es en mi opinin un todo indivisible, un
organismo cuya vitalidad est condicionada por la conexin de sus partes" [19]. Por lo
tanto, el desarrollo de una rea necesariamente marca su impacto en las otras y todas se
retroalimentan entre s. En particular, el lgebra no es ajena a esta tendencia y a lo largo de
su desarrollo es posible observar su influencia en otras ramas de la matemtica y cmo se
ha visto beneficiada por los desarrollos de stas. Sin embargo, a pesar de que sera muy
fructfero asomarnos un poco a este proceso no nos es posible revisar en este documento
esas conexiones del lgebra con otras reas y slo le pedimos al lector tener en cuenta que
el lgebra no ha evolucionado de forma aislada y es posible notar su presencia en la
matemtica toda.
En la actualidad se tienen bastantes evidencias que nos muestran que al menos desde 1600
a. C., varios de los pueblos que habitaron la Mesopotamia resolvan problemas concretos
que involucraban ecuaciones algebraicas de primero, segundo y tercer grados. Por
problemas concretos nos referimos a que su matemtica tena un fin utilitario solamente y
no se desarroll como una ciencia autnoma, como s ocurri en la antigua Grecia, aunque
en este caso fueron la Geometra y la Aritmtica (entindase Teora de Nmeros) las que
lograron un alto nivel de desarrollo con respecto a las matemticas de las civilizaciones que
les precedieron.
6
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
Es en el declinar de la matemtica griega, aproximadamente del 250 al 600 d. C., cuando se
retoman las antiguas tradiciones de los calculistas de la Mesopotamia y surge de nuevo el
inters por la resolucin de ecuaciones. Notemos que en ese perodo el Imperio Romano ya
tena siglos de haberse establecido como la fuerza avasalladora de Europa y Oriente Medio,
imponiendo su ley en esas regiones. Sin embargo, la matemtica no fue especialmente
cultivada por esa civilizacin, y en general la ciencia, como la conceban los griegos, fue
puesta en segundo trmino por los romanos.
La cada de Roma en el ao 476 de nuestra era marca el inicio de la Edad Media, pero esto
no significa el fin de la civilizacin romana pues el nuevo centro del poder viene a ser
Constantinopla, y a pesar de los cambios, religiosos sobre todo, pues se adopta el
cristianismo como la religin oficial, la cultura hegemnica subyacente es la romana,
aunque nace un nuevo imperio, el Bizantino.
Por otra parte, un nuevo movimiento poltico-religioso se gestaba en el Medio Oriente con
el nacimiento del Islam (alrededor de 622 d. C.), y es la civilizacin rabe la que dara un
nuevo impulso, que result ser definitivo, al estudio de las ciencias y fueron ellos los que
preservaron y cultivaron el legado de los griegos y de otras civilizaciones como la hind.
Adems, gracias a que los rabes conquistaron gran parte de la pennsula Ibrica, Espaa se
convirti bajo su dominio en un centro cultural muy importante al que acudan eruditos de
varias partes de Europa a nutrirse del conocimiento cientfico, lo que propici su
propagacin. De hecho, Euclides, Aristteles, Platn, Arqumedes, Ptolomeo y muchos
otros pensadores griegos fueron conocidos por los escolares medievales por las
traducciones que los rabes haban hecho de sus obras y fueron estos acadmicos europeos
los que tradujeron estas obras del rabe al latn y pudieron as ser estudiadas por las
generaciones posteriores. Nos atrevemos a decir que slo esto libr a Europa de un
oscurantismo total durante la Edad Media, que termina en el ao 1453 con la cada de
Constantinopla.
En particular, es a los rabes a quienes debemos el nombre lgebra, como veremos en la
Seccin 2, y fueron ellos los que introdujeron a occidente el sistema de numeracin usado
en la India; con el tiempo, los numerales evolucionaron hasta convertirse en los que
usamos actualmente, pero las ventajas de este sistema posicional de base diez result ser
fundamental para el avance de las ciencias. Nuestra deuda para con ellos es ciertamente
mucho mayor que lo implicado por estos hechos pues su contribucin a la ciencia no se
limit nicamente a la preservacin y transmisin del conocimiento logrado por otras
culturas sino que ellos mismos hicieron aportaciones originales en varias ramas del saber y
ciertamente debemos reconocer sus logros.
El auge comercial en la Italia de los siglos XIII y XIV fue determinante para la adopcin de
los nmeros indo-arbigos en occidente y junto con estos llegaron a la Europa occidental
muchos de los tratados cientficos de los rabes, mismos que fueron traducidos al latn por
los acadmicos europeos, actividad sta que tuvo lugar en los monasterios cristianos,
principalmente. Fue esta revolucin comercial la responsable de que se fundaran escuelas
del baco a finales del siglo XIII. Sin embargo, a medida que se extenda el uso de los
numerales indo-arbigos se puso en evidencia que los maestros algoristas, aquellos que
dominaban las tcnicas de operacin con estos nmeros, superaban por mucho a los
maestros abacistas cuando se trataba de hacer clculos aritmticos. De esta manera, los
7
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
comerciantes adoptaron su uso y desempearon un papel determinante en la propagacin de
este nuevo sistema.
El lgebra de los rabes encaj perfectamente en este ambiente pues estaba orientada a
resolver problemas por mtodos aritmticos que involucraban, en la mayora de los casos,
ecuaciones lineales (primer grado) y cuadrticas (segundo grado). Muchos de esos
problemas trataban sobre la reparticin de herencias, transacciones comerciales, medida de
terrenos, etctera (lo que los hombres constantemente requieren en todos sus tratos entre
ellos2). As, el lgebra se convirti en una herramienta indispensable para los
comerciantes; ya para el siglo XIV los que antes eran los maestros del baco se
convirtieron en algebristas y adems fueron capaces de hacer contribuciones originales en
esta rea. Algunas de esas aportaciones tenan que ver con la solucin de ecuaciones
cbicas (tercer grado) y bicuadrticas (cuarto grado) particulares, relacionadas con
problemas prcticos muy especficos.
Esto llev de forma natural a la bsqueda de mtodos que funcionaran para cualquier tipo
de ecuacin cbica o de cuarto grado, pues el lgebra rabe ya haba dado cuenta de los
distintos tipos de ecuaciones de cuadrticas y se tenan mtodos generales para resolverlas,
que consistan en completar el cuadrado. Aqu debemos sealar que el lgebra en esta poca
era de carcter retrico pues no se tena la notacin simblica a la que estamos
acostumbrados; adems, las soluciones de una ecuacin slo podan ser positivas o cero
pues no se tena idea de los nmeros negativos, que fueron introducidos hasta mucho
tiempo despus. Damos un ejemplo para ilustrar este punto, el cual est tomado del libro de
lgebra de al-Juarismi, del cual hablaremos ms adelante:
El siguiente es un ejemplo de cuadrados y races3 iguales a nmeros: un cuadrado y 10
races son iguales a 39 unidades. La cuestin en este tipo de ecuacin es como sigue:
Cul es el cuadrado que combinado con diez de sus races dar una suma total de 39? La
manera de resolver este tipo de ecuacin es tomar la mitad de las races ya mencionadas.
Ahora, las races del problema son 10. Por lo tanto, toma 5, que multiplicado consigo
mismo da 25, una cantidad que agregas a 39, y lo cual da 64. Habiendo tomado entonces
la raz cuadrada de esto la cual es 8, resta de esto la mitad de las races, 5, lo que deja 3.
El nmero 3 representa por tanto una raz de este cuadrado, mismo que es, por supuesto,
9. Nueve por lo tanto da ese cuadrado.
Notemos que la forma de proceder de al-Juarismi para resolver este problema es completar
el cuadrado perfecto. En efecto, si traducimos este problema y su solucin a nuestra
moderna notacin simblica vemos que en l se pide resolver la ecuacin x 2 10 x 39
para x 2 . Procedemos de la siguiente manera: completamos el trinomio,
x 2 10x ( 12 10)2 39 ( 12 10)2 , lo cual nos da x 2 10x 25 64 , esto es, (x 5) 2 8 2 ,
por lo que x 5 8 . As, x 8 5 3 . Por lo tanto, x 2 9.
Por otra parte, es oportuno sealar que no se confiaba en estas soluciones si no estaban
justificadas geomtricamente pues el lgebra en ese tiempo no era concebida como una
2
Tomado del Prlogo del libro Hisb al-jabr wal-muqbalah del matemtico rabe Mohammed ibn Musa,
al-Juarismi.
3
Por cuadrado se refiere al rea de un cuadrado y una raz significa el lado del cuadrado.
8
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
rama independiente de las matemticas y la nica ciencia segura, enteramente deductiva,
era la geometra, lo cual se pone de manifiesto en los Elementos de Euclides, que los
matemticos rabes conocan muy bien y que eran el paradigma a seguir por todo
conocimiento que pretendiera llamarse ciencia. As, el lgebra rabe y posteriormente el
lgebra de la escuela italiana estaban muy influenciadas por el pensamiento geomtrico
griego. Tan grande era esa influencia que los nmeros se entendan o bien como longitudes
de segmentos de recta, o como reas o volmenes.
Este estado de cosas continu hasta muy entrado el siglo XVI y se empezaron a dar
cambios importantes cuando se introdujo una nueva notacin que poco a poco llevara el
lgebra de lo verbal a lo simblico, y se le dara el reconocimiento a sta como una ciencia
autnoma dentro de las matemticas, al desligarla de la teora de ecuaciones. Esta labor fue
iniciada en la escuela inglesa del siglo XIX y con ello se sentaban las bases de lo que hoy
conocemos como lgebra moderna.
2. EL NOMBRE
El uso de la palabra lgebra para designar una de las ramas de las matemticas tiene su
origen en el libro Hisb al-jabr wal-muqbalah del matemtico rabe Muhammed ibn
Musa, al-Khwarizmi4 (al-Juarismi). Esta obra data de alrededor del ao 825 y una
traduccin libre del ttulo podra ser La solucin de ecuaciones por medio de restitucin y
reduccin, aunque el mismo al-Juarismi menciona en el prlogo de su libro que es " un
corto trabajo sobre [cmo] Calcular por medio de [las reglas de] Completacin y
Reduccin, confinndose a lo que es lo ms fcil y de ms utilidad en aritmtica, tal como
los hombres constantemente requieren en casos de herencias, legados, reparticiones, ".
Otro trabajo significativo de al-Juarismi versa sobre los nmeros indo-arbigos en el cual se
describe el sistema hind de numeracin posicional basado en los diez smbolos 1, 2, 3, 4,
5, 6, 7, 8, 9 y 0. Tambin se describen los mtodos del clculo aritmtico con este sistema,
as como un mtodo para extraer la races cuadradas. De esta obra slo se ha conservado la
versin latina que tiene por ttulo Algoritmi de numero Indorum (al-Juarismi sobre el Arte
de Numeracin Hind); es claro que de esta obra se derivaron las palabra guarismo y
algoritmo, que tienen significados precisos en la matemticas. Aparte del anterior, hay
otros libros de al-Juarismi sobre astronoma y geografa, pero no nos ocuparemos de ellos
en este trabajo, sin embargo, la influencia que este matemtico rabe tuvo sobre sus
continuadores nunca podr ser lo suficientemente valorada y es justo llamarle el Padre del
Algebra, algo en lo que estn de acuerdo varios autores (por ejemplo [4, p. 230] y [12, p.
21]). Para reforzar lo dicho, citamos un pasaje tomado de [12, p. 33]: "La ciencia
matemtica en Europa fue ms vitalmente influenciada por Mohammed ibn Musa que por
cualquier otro escritor desde los tiempos de los griegos hasta Regiomontanus (1436-1476).
A travs de su aritmtica, con la presentacin del arte hind de numeracin, revolucion
los procesos comunes de calcular y a travs de su lgebra puso los fundamenteos para el
anlisis moderno".
Literalmente, la palabras al-jabr y al-muqbalah significan restauracin y oposicin,
respectivamente, por lo que en este contexto hacen referencia a resolver una ecuacin
4
Mohammed, hijo de Moiss de la aldea de Khwarezm.
9
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
agregando o quitando las mismas cantidades en cada lado de una ecuacin, lo cual restaura
el balance de la misma (esto es al-jabr), y se simplifica la ecuacin por medio de la
cancelacin de los trminos opuestos (por eso la palabra oposicin en el ttulo: al-
muqbalah). Un ejemplo muy sencillo del uso de estas palabras es el siguiente: Si
consideramos la ecuacin
7 x 2 5 x 10,
entonces restauramos el balance de la misma como sigue (hacemos al-jabr):
7 x 5x 2 2 5 x 10 5 x 2 ,
y cancelando los opuestos (al-muqbala) se obtiene
2x 8,
por lo que la solucin final es x 4.
En el al-jabr de al-Juarismi se presenta un estudio exhaustivo y sistemtico de los seis
diferentes tipos de ecuaciones lineales y cuadrticas, clasificadas de la siguiente forma: (a)
cuadrados iguales a races (v.g. 13 x 2 4 x ), (b) cuadrados iguales a nmeros ( 5 x 2 80 ), (c)
races iguales a nmeros ( 4x 20 ), (d) cuadrados y races iguales a nmeros
( x 2 10 x 39 ), (e) cuadrados y nmeros iguales a races ( x 2 21 10 x ) y (f) races y
nmeros iguales a cuadrados ( x 2 3x 4 ). Los ejemplos se tomaron de este libro y los
casos se analizan en el orden aqu expuesto.
Todas estas ecuaciones se consideraban distintas pues, como ya hemos mencionado, en ese
tiempo todava no se introducan los nmeros negativos, razn por la cual era necesario
separar los diferentes casos. Abundaremos ms sobre esto en las siguientes secciones.
Una observacin importante y que es necesario recalcar es que al-Juarismi no slo da las
soluciones a los problemas que plantea sino que va mucho ms all, pues como l mismo lo
explica en su libro: Hasta aqu hemos dicho bastante sobre los clculos numricos en lo
que respecta a los seis tipos de ecuaciones. Ahora, sin embargo, es necesario que
demostremos geomtricamente la verdad de los mismos problemas que hemos explicado
con nmeros [4, p. 230] Esta preocupacin por demostrar la validez de los mtodos
empleados nos revela una clara influencia griega que est presente en toda la matemtica
rabe. Podemos decir que sta se caracteriza por un espritu eclctico pues aprovecharon lo
mejor de los babilonios, los hindes y los griegos, lo cual se refleja en el lgebra de al-
Juarismi.
La primera traduccin al latn del al-jabr fue realizada por Robert de Chester en 1145 y
llevaba por ttulo Liber algebrae et almucabala. Despus de esta aparecieron otras
traducciones al latn, tales como Ludus algebrae almucgrabalaeque, Gleba mutabilia, y
traducciones a otros idiomas con ttulos como Algiebar and almachabel y Gebra und
Almuthabola. Sin embargo, en los tratados algebraicos que van apareciendo a lo largo del
siglo XVI, la palabra muqbalah se elimina de los ttulos de estos y aparecen obras como
Artis Magnae, sive de Regulis Algebraicis (Gernimo Cardano, 1545), Algebr
compendiosa facilisque descriptio, qua depromuntur magna Arithmetices miracula (John
Scheubelius, 1552), De oculta parte numerorum quam Algebram vocant (Pelle-tiers, 1558)
y Libro de Algebra y Arithmetica y Geometria (Pedro Nez, 1567). Es claro entonces que
10
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
estos usos de la palabra al-jabr dieron origen al nombre que ahora usamos. De hecho, una
traduccin inglesa del al-jabr hecha por Fredreric Rosen se publica simplemente como The
Algebra of Mohammed ben Musa, y aparece en Londres en el ao 1831.
La palabra rabe usada por al-Juarismi y otros matemticos rabes posteriores a ste para
referirse a la incgnita en una ecuacin es sha, que significa cosa (cualquier cosa, alguna
cosa, algo), y que en un problema algebraico podramos usar como sigue: el cuadrado de la
cosa ms seis veces la cosa suman siete, lo cual corresponde a la ecuacin x 2 6 x 7 . Res
es la palabra que se usa para cosa en las primeras traducciones latinas del al-jabr y que
traducen al italiano como cosa, razn esta por la que algunos escritores italianos llaman al
lgebra la Regola de la Cosa5.
Por otra parte, ya desde 1494 algunos autores usan los nombres Arte magiore, Ars Mayor o
Artis Magnae para referirse al lgebra, en contraste con el ars minor, nombre muy usado
para hacer referencia a la aritmtica. Por ejemplo, Girolamo Cardano publica en 1545 su
libro Artis Magnae, sive de Regulis Algebraicis, esto es El Arte Magno o las Reglas del
Algebra. Tambin es importante mencionar que el primer tratado de matemticas publicado
en el Continente Americano fue el Sumario Compendioso6 de Juan Dez, aparecido en la
Ciudad de Mxico en el ao de 1556; al final de esta obra encontramos siete pginas bajo el
ttulo Notables Quistiones. Quistiones del Arte Mayor Tocantes al Algebra [18]. Aqu se
resuelven diez problemas algebraicos que involucran la solucin de ecuaciones cuadrticas
y cbicas principalmente.
Un dato curioso del uso de la palabra lgebra es que la podemos encontrar en El Quijote [5,
p. 358, (II, Cap. XV)]: En esto fueron razonando los dos, hasta que llegaron a un
pueblo donde fue ventura hallar un algebrista con quien se cur el Sansn desgraciado
Esto se explica fcilmente si pensamos en que al-jabr significa restaurar, pues los Moros
(musulmanes del norte de frica), llevaron la palabra a Espaa con ese significado y la
palabra algebrista era usada para nombrar al restaurador de huesos, es decir, a aquel que
compona huesos rotos. Esta costumbre sigui en uso mucho tiempo despus de la
expulsin de los moros de Espaa en 1492, y haba incluso algunas barberas donde se
podan leer las palabras Algebrista y Sangrador.
En el siglo XVI hubo intentos para rechazar la palabra lgebra por parte de algunos
acadmicos europeos (Francois Vite, por ejemplo), pues no tena significado alguno en las
lenguas de Europa y propusieron trminos como anlisis y logstica para nombrar al arte
mayor. Es por esta razn que durante mucho tiempo, todo lo que no fuera geometra era
llamado anlisis. Sin embargo, con el devenir del tiempo y con los desarrollos que se dieron
en la Inglaterra del siglo XIX, los cuales vinieron a dar forma al lgebra simblica, la
palabra lgebra se us para nombrar a una rama enteramente autnoma dentro de las
matemticas, de la cual nos ocuparemos en este escrito.
5
La regla de la cosa.
6
El ttulo completo es Sumario Compendioso de las Cuentas de Plata y Oro que en los Reinos del Per son
necesarias a los mercaderes y todo gnero de tratantes. Con algunas reglas tocantes a la Aritmtica.
11
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
3. EL ALGEBRA EN EGIPTO Y MESOPOTAMIA
Las mayores fuentes histricas que se han conservado sobre las matemticas en Egipto son
el papiro de Rhind y el papiro de Mosc. El primero de estos tambin se conoce como
papiro de Ahmes (Ahmose), quien lo copi alrededor del ao 1700 a. C. de un prototipo
que puede situarse entre 2000 y 1800 a. C.
Mucho tiempo despus, pero todava antes de la edad de oro de la matemtica griega,
encontramos en Egipto los primeros problemas que involucran ecuaciones cuadrticas:
"Otro ejemplo de la distribucin de una rea dada, en cuadrados. Si se te dice que
distribuyas 100 ells cuadrados [ell: unidad de rea] sobre dos cuadrados de tal modo que
el lado de uno sea 34 del lado del otro: por favor, dame cada una de las incgnitas". En
nuestra notacin algebraica, este problema es equivalente a resolver el sistema de
ecuaciones
x 2 y 2 100
y 34 x.
a3 , a2 , a1 , a0 ; b1 , b2 , b3 ,
Debemos sealar que su matemtica tambin estaba orientada a resolver problemas
cotidianos de clculo de impuestos, clculo de longitudes, reas y volmenes, etctera. Sin
embargo, a diferencia de las matemticas egipcias, se tiene cierta conciencia de algunas
reglas generales que hacen que sus mtodos funcionen en los casos particulares a los que se
aplican, aunque no logran dar ese paso de ir de lo particular a lo general que es lo que
distingue al pensamiento abstracto de lo comn.
En lo que respecta al lgebra babilnica7, que era de tipo verbal al igual que la egipcia, se
han encontrado muchos registros de alrededor del ao 1600 a. C. que muestran que los
problemas de ecuaciones lineales eran muy elementales para ellos y en cambio podan
resolver problemas que involucraban ecuaciones cuadrticas y cbicas usando frmulas
desarrolladas exprofeso. De estas tablillas es posible concluir que los babilonios podan
resolver ecuaciones cuadrticas con un mtodo que es, en esencia, el que nosotros
aprendemos en la secundaria: el de la frmula general. Este mtodo se basa en expresar una
ecuacin cuadrtica en su forma normal y, seguidamente, aplicar un mtodo para resolver
esta forma normal que podemos describir como: Encontrar dos nmeros si se conoce su
suma (o su diferencia) y su producto.
Notemos que en nuestra moderna notacin algebraica, podemos escribir la forma normal
como sigue: Dados dos nmeros s y p que cumplen x y s y xy p , encontrar los
valores de x e y.
El mtodo que los babilonios usaban para resolver este problema consista de los siguientes
pasos: (1) Tomar la mitad de la suma [ 2s ]; (2) Elevar al cuadrado el resultado obtenido
[ ( 2s ) 2 ]; (3) De lo anterior, restar el producto [ ( 2s ) 2 p ]; (4) Tomar la raz cuadrada de lo
7
No es del todo correcto llamarle as pues Babilonia no fue siempre el centro hegemnico de las culturas que
florecieron en la Mesopotamia; sin embargo seguimos la costumbre impuesta por varios autores.
13
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
Veamos que esto es en realidad equivalente a resolver una ecuacin cuadrtica. En efecto,
multiplicando la ecuacin s x y por x se obtiene
sx x 2 yx ,
y tomando en cuenta que p=xy obtenemos
x 2 p sx , (3.1)
o equivalentemente
x 2 sx p 0 . (3.2)
Esto significa que x es solucin de esta ltima ecuacin y, por simetra, y tambin lo es.
Por otra parte, notemos que los pasos (1) a (5) que los babilonios realizaban para resolver la
forma normal, en notacin simblica nos llevan a las soluciones
x 2s ( 2s )2 p y y 2s ( 2s )2 p.
Estas dos solucione las podemos podemos expresar como
s s2 4 p
x, y ,
2
y sustitutyendo los valores (3.3) y (3.4) para s y p , obtenemos la conocida frmula general
para obtener las races de una ecuacin de segundo grado:
b b 2 4ac
x, y . (3.5)
2a
Esto nos dice que, en esencia, esta frmula ya era conocida desde hace ms de 3700 aos,
hecho que quizs debiera enfatizarse en los cursos de lgebra de secundaria o preparatoria.
14
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
que resolvemos en forma anloga a la anterior, auque en el paso (3) sumamos el producto a
la mitad de la diferencia al cuadrado: ( d2 ) 2 p , y se obtienen las soluciones
x d2 ( d2 )2 p y y d
2
( d2 ) p,
que tambin son casos particulares de la frmula general (3.5).
Para darnos una idea de la destreza de los matemticos babilonios para calcular y resolver
ecuaciones cuadrticas presentamos el siguiente ejemplo encontrado en una tablilla del
perodo Selecida (Aprox. de 312 a 64 a. C.) en el que se pide encontrar un nmero tal que
sumado con su recproco se obtiene un nmero dado.
Las ecuaciones cuadrticas en las que aparecen los tres trminos, como en (3.3), se
clasificaban, al menos desde los tiempos de al-Juarismi, en uno de los siguientes tres tipos:
(a) x 2 px q , (b) x 2 px q , (c) x 2 q px , y de los cuales vimos ejemplos en la
Seccin 2 cuando se coment sobre el al-jabr. Esta clasificacin perdur durante toda la
Edad Media y la ecuacin cuadrtica general de la forma (3.3) slo se introdujo con la
notacin desarrollada al final del siglo XVI. Sin embargo, es posible encontrar estos tres
tipos de ecuaciones en los textos babilonios, por lo que su familiaridad con ellas queda
fuera de toda duda.
Con respecto a las ecuaciones cbicas, se tienen muchos ejemplos particulares que
equivalen a resolver cbicas puras del tipo x3 a , como es el caso de la ecuacin
x 3 0;7,30 , de la cual se da la solucin x 0;30 sin mayor explicacin, pues se tenan
tablas de cubos y de races cbicas, elaboradas exprofeso. Las cbicas mixtas de la forma
x 3 x 2 a se resolvan de forma anloga, consultando las tablas disponibles en las que
aparecan los valores de la suma n 3 n 2 para valores enteros de n de 1 hasta 30; as por
15
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
ejemplo, con la ayuda de tales tablas poda leerse inmediatamente que la solucin de la
ecuacin x 3 x 2 4,12 es x 6 .
Para los casos un poco ms generales de ecuaciones cbicas tales como 144 x 3 12 x 2 21 ,
los babilonios usaban su mtodo de sustitucin: multiplicando por 12 ambos miembros y
haciendo y 12 x , la ecuacin se convierte en y 3 y 2 4,12 de donde resulta y 6 ,
luego, x 12 o bien x 0;30 .
Por otra parte, no se tienen evidencias de que los babilonios hayan sido capaces de reducir
la cbica general ax 3 bx 2 cx d a su forma cannica. Sin embargo, debemos hacer
notar que la resolucin de ecuaciones cuadrticas y cbicas en Mesopotamia constituy un
logro notable que hay que admirar, no tanto por el alto nivel de habilidad tcnica puesta en
juego como por el nivel de madurez y flexibilidad de los conceptos algebraicos que
intervinieron en el proceso. El lgebra babilnica alcanz un nivel de abstraccin tan
extraordinario que las ecuaciones ax 4 bx 2 c y ax 8 bx 4 c fueron consideradas
correctamente como simples ecuaciones cuadrticas disfrazadas, es decir, como ecuaciones
cuadrticas en x 2 y x 4 respectivamente.
4. EL ALGEBRA EN GRECIA
Es mucho lo que las matemticas deben a los antiguos griegos. En general, la ciencia tal y
como la conocemos actualmente, tiene su origen en la Grecia clsica y mucho de su legado
cultural ha tenido un impacto profundo en la civilizacin occidental. "Todos los hombres,
por naturaleza, desean conocer" nos dice Aristteles, y quiz estas palabras reflejen mucho
el espritu de aventura griego. Ese deseo por conocer los llev a viajar a Egipto y a
Babilonia, en donde aprendieron mucho de la ciencia de estas civilizaciones, la cual
desarrollaron hasta llegar a crear sus propias ciencias "como cosas vivientes, basadas en
principios primarios y firmes, con una capacidad de un desarrollo infinito." [8]. En
particular, las matemticas no escaparon a esa inventiva genial de los griegos, pues " de
todas las manifestaciones del genio griego, ninguna es ms impresionante ni ms
imponente que la que es revelada por la historia de la matemtica griega" [8].
Por otra parte, supieron reconocer su deuda con las dos grandes civilizaciones que les
precedieron y "todo lo que nosotros los griegos recibimos lo mejoramos y perfeccionamos",
como nos dice Platn. Pero en realidad hicieron mucho ms que eso pues supieron
reconocer en el uso de la razn una poderosa herramienta con la que podan ser capaces de
entender la naturaleza y, ms an, tenan el convencimiento de que sta poda ser explicada
en trminos matemticos. El dicho pitagrico de que "Todo es nmero" es una muestra
clara de lo que hemos dicho.
16
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
Adems, lograron tener xito en donde sus predecesores haban fallado pues supieron dar a
la matemtica el rango de ciencia deductiva por excelencia. Esto fu posible gracias a que
entendieron la gran diferencia que existe entre manejar ideas abstractas y generales en vez
de las limitaciones que impone la cienca prctica, es decir, la que est orientada a resolver
los problemas cotidianos. As por ejemplo, supieron distinguir que una recta, un
tringulo,un crculo, etctera, son conceptos abstractos que surgen cuando se idealizan sus
imperfectas realizaciones en la naturaleza o en las cosas que usamos en nuestra vida diaria.
Todo esto los llevara al convencimiento de que slo con el uso de la razn era posible
conocer pues los sentidos siempre nos dan imgenes imperfectas del mundo que nos rodea.
Aqu est la semilla que di lugar a una genuina preocupacin por la formalizacin, es
decir, la justificacin lgica de sus razonamientos. Esto los llev a reconocer que en todo
razonamiento es preciso partir de ciertos principios bsicos y evidentes por s mismos, y de
los cuales se pueden deducir, con el uso de la razn, resultados ms profundos. Tenan claro
tambin que no era posible basar sus principios bsicos en otros todava ms elementales o
demostrarlos mediante otros principios pues " En cuanto a la demostracin circular, su
imposibilidad absoluta es patente, si es cierto que la demostracin ha de partir siempre de
cosas anteriores y ms notorias. En efecto, es imposible que las mismas cosas sean
respecto de unas mismas cosas anteriores y posteriores a la vez Los partidarios de la
demostracin circular, no slo cometen la falta que aqu indicamos, sino que en el fondo se
limitan a decir que una cosa existe si existe " [2, pp. 158-159].
As, no puede haber demostraciones con un retroceso infinito ni con un proceso circular, y
todo sistema deductivo debe partir de axiomas. Esto trae como consecuencia el surgimiento
del mtodo axiomtico, del cual podemos decir que es la aportacin ms grande de los
griegos a la ciencia en general y a las matemticas en particular. Este mtodo tuvo su mayor
realizacin en los Elementos de Euclides y durante miles de aos fueron el modelo a seguir
en los desarrollos matemticos.
Como resultado, el lgebra babilnica, que los pitagricos conocan y manejaban, deba
ajustarse a la geometra. As, la forma normal de los babilonios, el encontrar dos nmeros
dada su suma (o diferencia) y su producto, deba reinterpretarse geomtricamente. De esta
manera, el problema de encontrar los nmeros x y y que cumplen x y s y xy p ,
para s y p dados, se interpretaba como sigue: Construir un rectngulo sobre un segmento
17
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
de longitud s , con una anchura x , de tal manera que el rea de este rectngulo ( sx ) , sea
mayor que el rea p en un cuadrado de rea x 2 , esto es, sx p x 2 (ver ecuacin (3.1)).
En este nuevo esquema, ya no era posible sumar longitudes con reas ni reas con
volmenes, etctera. Por ejemplo, una ecuacin de la forma ax bc deba interpretarse
como una igualdad entre las reas ax y bc , y no como una proporcin, es decir, una
igualdad entre las razones ba y cx . El efecto que estos cambios produjeron en la matemtica
griega fu muy negativo para el lgebra pues cancel toda posibilidad de desarrollo
independiente para sta; adems, tambin elimin todo intento encaminado a crear una
notacin simblica que les permitiera a los calculistas (aritmticos) abreviar sus frmulas y
mtodos de clculo.
Esta lgebra de tipo geomtrico, a la que podramos llamar lgebra geomtrica, fue la que
prevaleci en la matemtica griega y la que perdurara durante muchos siglos por venir. Sin
embargo, hay que destacar que las propiedades de las operaciones de suma y multiplicacin
que son propias del lgebra, tales como la asociatividad de la suma o la propiedad
distributiva a(b c) ab ac , resultaban obvias en esta lgebra geomtrica. Asimismo,
identidades como (a b)2 a 2 2ab b2 y a 2 b2 (a b)(a b) se demuestran
fcilmente en este contexto. Incluso la ecuacin x 2 ab es fcil de resolver. De hecho,
todas estas frmulas se demuestran en el segundo libro de los Elementos, pero siempre en
trminos geomtricos. Adems, esto hace muy difcil el manejo de ecuaciones de grado
mayor a dos, por lo que raramente se tratan ecuaciones cbicas o bicuadrticas.
El libro quinto de los Elementos ha sido, a lo largo de la historia, uno de los ms admirados
de entre los trece que componen esta obra. En el se trata la teora de las magnitudes, de la
cual Bourbaki dice que es la creacin ms original de la matemtica griega [3, p. 75].
Mucho del material de este libro es atribuido a Eudoxo pues su teora de las proporciones se
aborda en el mismo y, en cierta manera, esta fue una respuesta al problema de la
inconmensurabilidad pues desde que se descubrieron las proporciones no conmensurables,
los griegos trataron de eliminar en lo posible el uso de las proporciones. De esta manera,
Eudoxo vino a establecer las bases para una teora de la proporcin que era independiente
de la conmensurabilidad.
Desde el punto de vista algebraico este libro es muy importante pues se prueban algunas
propiedades para magnitudes que seran lo anlogo a las propiedades distributivas
m(a b) ma mb y (a b)n an bn . Incluso se prueba que el producto de dos razones
es independiente del orden en que se realice la operacin, es decir, esta multiplicacin es
conmutativa.
Arqumedes de Siracusa fue sin duda uno de los ms grandes matemticos griegos. Su
genio se deja ver a travs de sus muchos descubrimientos en diversas reas tales como la
mecnica, la hidrosttica, la astronoma y, por supuesto, en las matemticas. Sus
aportaciones a esta ciencia fueron tan importantes que ocuparamos volmenes enteros
analizando su obra. Sin embargo, lo que nos interesa mencionar en esta breve exposicin
del lgebra en la antigua Grecia con respecto al trabajo geomtrico-algebraico de
18
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
Arqumedes, es un problema que aparece en su libro Sobre la Esfera y el Cilindro (ver [4,
p. 132]) y es el siguiente: Cmo cortar una esfera por medio de un plano de tal manera
que la razn de los volmenes de los dos segmentos esfricos sea igual a una razn dada
a
b
? Este problema es analizado por Arqumedes con mtodos geomtricos, por supuesto, y
logra dar algunos resultados importantes. En efecto, el problema es equivalente a resolver
una ecuacin cbica de la forma
4r 2 ( 3r x )( a b )
x2 ar
,
y Arqumedes logra reducirlo a un problema que para nosotros equivaldra a encontrar la
solucin de una cbica de la forma
x 2 (c x) dp2 .
La manera en que Arqumedes llega a una solucin es a travs de encontrar la interseccin
de la parbola cx2 p 2 y con la hiprbola (c x) y cd , y ms an, es capaz de dar
condiciones sobre los coeficientes de la ecuacin que le permiten determinar el nmero de
soluciones reales. Despus de Arqumedes, pasaran muchos siglos para que se retomara el
anlisis de ecuaciones cbicas y es durante la hegemona rabe, concretamente con Omar
Khayam, cuando se estudian nuevamente este tipo de problemas.
De entre sus logros es posible destacar las leyes de los signos, pues una operacin del tipo
(7 3)(5 2) (4)(3) 12 lo lleva a establecer una identidad de la forma
(7 3)(5 2) 7 5 7 2 3 5 3 2 35 14 15 6 12 , por lo que concluye que "ms
por menos es menos" y "menos por menos es ms", y vemos en su trabajo el primer ejemplo
de clculo con nmeros negativos. Adems de esto, logr dar reglas que equivalen a las
leyes de los exponentes que nosotros escribiramos como x m x n x m n , para valores
pequeos de los exponentes, los cuales tambin podan ser negativos.
Los problemas que se tratan en la Aritmtica nos muestran una gran habilidad matemtica
por parte de Diofanto. Por ejemplo, un problema es el siguiente: Encontrar dos nmeros
tales que su suma sea 20 y la suma de sus cuadrados sea 208. En nuestra notacin moderna
esto lo escribimos como el sistema de ecuaciones
x y 20 ,
19
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
2 2
x y 208.
En lugar de escribir el problema en esta forma, Diofanto lo expresa de manera equivalente
como
(10 x) (10 x) 20 ,
(10 x)2 (10 x)2 208.
De aqu se sigue que x 2 , por lo que un nmero es 8 y el otro es 12.
Hay quienes llaman a Diofanto el padre del lgebra, aunque nosotros hemos reservado ese
ttulo para al-Juarismi. La razn de esto es que Diofanto todava no tiene una concepcin
independiente del lgebra y su Aritmtica no es, propiamente hablando, un texto de lgebra
como s lo es el al-jabr. Por otra parte, problemas que dan lugar a los tres tipos de
ecuaciones cuadrticas (a) ax2 bx c , (b) ax2 c bx y (c) ax2 bx c , se tratan en la
Aritmtica, pero sus soluciones se presentan como algo incidental, pues se requieren para la
solucin de otros problemas, y no como resultado de un anlisis sistemtico de estas
ecuaciones. De hecho, cuando trata con problemas que lo llevan a resolver ecuaciones del
tipo ax m bx n , Diofanto habla de su intencin de escribir un tratado sobre las ecuaciones
cuadrticas, tarea que al parecer no llev al cabo.
Con lo expuesto hasta aqu hemos dado un breve repaso al desarrollo del lgebra en las
civilizaciones antiguas, a las que debemos reconocer sus logros matemticos pues con ellos
se dieron los primeros pasos que nos han llevado a esta gran aventura del intelecto humano
que llamamos matemticas. En la segunda parte de este trabajo tendremos oportunidad de
ver otro tipo de logros que nos acercan ms con la concepcin moderna que se tiene de las
matemticas y que propiciaron, en particular, la evolucin del lgebra abstracta.
REFERENCIAS
20
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
[6] G. Cardano (1993), Ars Magna or the Rules of Algebra (Translated by T. Richard
Witmer), Dover Publications, Inc., New York, (MIT Press, 1968)
[7] J. Dieudonn (1965), La Abstraccin en Matemticas y la Evolucin del Algebra, en La
Enseanza de las Matemticas, Editorial Aguilar, Madrid, pp.42-57.
[8] H. M. Edwards (1984), Galois Theory, Springer, New York.
[9] Euclides (1956), The Thirteen Books of The Elements (Translated with Introduction and
Commentary by Sir Thomas L. Heath), Vol. II, Second Edition, Dover Publications
Inc., New York.
[10] T. L. Heath (1981), A History of Greek Mathematics, Volume II, Dover, New York.
[11] D. B. Johnson, T. A. Mowry (1995), Mathematics, a Practical Odissey, PWS
Publishing Company, Boston.
[12] L. C. Karpinski (1915), Robert of Chester's Latin Translation of the Algebra of Al-
Khowarizmi, The MacMillan Company, London.
[13] M. Kline (1972), Mathematical Thought from Ancient to Modern Times, Volume 2,
Oxford University Press, New York.
[14] O. Neugebauer (1969), The Exact Sciences in Antiquity, Second Edition, Dover, New
York (Brown University Press, 1957).
[15] J. Piaget et al. (1965), La Enseanza de las Matemticas, Aguilar, Madrid.
[16] F. Rosen (1831), The Algebra of Mohammed ben Musa, Farbury, Allen and Co.,
London.
[17] D. E. Smith (1958), History of Mathematics, Volume II, Dover, New York.
[18] D. E. Smith (1921), The Sumario Compendioso of Brother Juan Diez, Ginn and
Company, Boston.
[19] The Mathematical Intelligencer, Vol. 9, No. 2, 1987.
21
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
INTRODUCCIN
Los primeros libros impresos de Europa del oeste datan de 1447 y, aunque a fines de siglo
haba mas de 30000 ediciones, pocas de estas fueron matemticas. Al principio, la
geometra griega clsica fue menos significativa que las ediciones de las traducciones
latinas medievales de los tratados algebraicos y aritmticos rabes.
Varios de los tratados de Arqumedes fueron accesibles en latn a travs de las traducciones
de William de Moerbeke; pero fue muy poco para apreciar las matemticas clsicas. Estas
fueron accesibles slo para quienes tuvieran un entrenamiento preliminar.
REGIOMONTANO
22
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
adquirir un gran conocimiento del griego, con lo que enlaz el conocimiento clsico
preservado en Constantinopla y el movimiento renacentista.
La lista de libros que planeaba imprimir se conserva, lo que indica que el desarrollo de las
matemticas se habra acelerado si hubiera sobrevivido.
El libro III contiene teoremas encontrados en los textos griegos sobre esferas, antes del uso
de la trigonometra.
23
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
El libro IV es sobre trigonometra esfrica e incluye leyes de los senos esfricas.
Entre lo novedoso est el uso de frmulas de rea; pero no incluy la funcin tangente; la
funcin tangente fue considerada en otro tratado de trigonometra de Regiomontano:
Tabulae directionum.
Para obviar fracciones fue costumbre utilizar valores grandes para el radio del crculo.
Regiomontano utiliz un radio de 600,000 para una de sus tablas de senos; para otras
adopt 10,000,000 o 600,000,000. Para su tabla de tangentes en Tabulae directionum eligi
100,000. No llam la funcin tangente, sino utiliz solo la palabra nmeros para las
entradas, grados para grados, en una tabulacin con el encabezado Tabula fecunda.
Regiomontano muri antes de que sus dos trabajos de trigonometra fueran publicados.
Tabulae directionum fue publicada en 1490, pero el ms importante, De triangulis,
apareci en prensa hasta 1533 (y de nuevo en 1561). Sin embargo, los trabajos fueron
conocidos en forma manuscrita por el crculo de matemticos de Nuremberg, donde
Regiomontano estuvo trabajando y es muy posible que hayan tenido influencia a principios
de siglo XVI. Cien aos despus de la cada de Constantinopla, las ciudades europeas:
Viena, Cracovia, Praga y Nuremberg, fueron lderes en astronoma y matemticas. La
ltima de ellas lleg a ser un centro para la impresin de libros.
CHUQUET
La expresin
24
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
El ltimo y ms importante, trata de la Regle des premiers, es decir de la incgnita, lo que
nosotros llamaramos lgebra.
Durante los siglos XV y XVI se utilizaron varios nombres para la incgnita: res en latn,
chose en francs, cosa en italiano, coss en alemn. Chuquet utiliz premier, y a la segunda
potencia la llam champs (en latn se le llam census) a la tercera potencia le llam cubiez
y a la cuarta champs de champs. Para mltiplos de stas, invent una notacin exponencial.
Las potencias cero y negativas tambin son consideradas. As, 9x0, 9x-2 fueron escritas
como .9.0 , .9.2.m.
La segunda parte del ltimo de los Triparty est dedicada a la solucin de ecuaciones. Una
de las novedades es que expres, por primera vez, un nmero negativo aislado en una
ecuacin algebraica.
Triparty fue impresa hasta 1880. Pero la Larismethique nouvellement compose, publicada
en Lyon por Etiene de la Roche en 1520 y de nuevo en 1538, depende en gran parte del
trabajo de Chuquet.
PACIOLI
La mejor lgebra conocida de ese perodo se public diez aos mas tarde (1494) en Italia: la
Summa de arithmetica, geometrica, proportioni et proportionalita de Luca Pacioli, tambin
conocido como Luca di Borgo (1445-1514).
Pacioli public en 1509 una edicin de Euclides y un trabajo titulado De divina proportione
que trata sobre polgonos y slidos regulares y la razn posteriormente conocida como la
seccin dorada. Las ilustraciones en De divina proportione se atribuyen a Leonardo da
Vinci (1452-1519).
Coss (1525), uno de los libros de lgebra alemanes de principios del siglo XVI, de
Christoph Rudolff (1500?-1545?), es uno de los primeros libros impresos que utiliza
fracciones decimales, as como los smbolos para races.
Se presume que el mismo Tartaglia haba recibido ideas sobre la solucin de la ecuacin
cbica de fuentes anteriores. Cualquiera que sea la verdad en la controversia entre Cardano
y Tartaglia, parece claro que ninguno de ellos fue el primero en hacer el descubrimiento.
No se sabe cmo ni cuando el profesor de matemticas en Bologna, Scipione del Ferro
(1465-1526) hizo el descubrimiento, nunca public la solucin, pero antes de su muerte la
revel al estudiante Antonio Mara Fior.
26
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
El conocimiento de la posibilidad de resolver la ecuacin cbica inspir a Tartaglia para
tratar de encontrar el mtodo por s mismo, ya sea independientemente o con alguna
sugerencia, en 1541 mostr cmo resolver ecuaciones cbicas. En una competencia entre
Fior y Tartaglia, cada contendiente propuso treinta cuestiones al otro para resolverlas en un
tiempo determinado. Cuando lleg el da, Tartaglia haba resueltos todos los problemas
propuestos por Fior, mientras que ste no resolvi ninguno de los propuestos por Tartaglia.
Hoy identificamos la ecuacin cbica de una manera, pero en ese tiempo se consideraban
varios tipos, de acuerdo a valores y signos de los coeficientes.
Se considera que la solucin de las ecuaciones cbica y curtica son la mayor contribucin
al lgebra desde los babilonios. No ha habido otros descubrimientos que hayan estimulado
el desarrollo del lgebra como lo hizo Ars Magna. Lo ms importante es que impuls la
investigacin en lgebra en varias direcciones. Por ejemplo, un resultado inmediato de la
solucin de la ecuacin cbica fue el uso de un nuevo tipo de nmeros. Aunque los
racionales fueron aceptados desde el tiempo de Cardano, los imaginarios tuvieron que ser
calculados, an cuando se intentara restringir a races reales.
BOMBELLI
En el aspecto anterior, Rafael Bombelli (1526-1573), lleg a apreciar que los radicales
deben estar relacionados de la misma manera como estn relacionados los radicandos. Es
decir, que son imaginarios conjugados que producen nmeros reales, anticipando el papel
que los conjugados jugaran en el futuro.
Bombelli escribi su lgebra alrededor de 1560 y fue impresa, en parte, hasta 1572.
Contiene smbolos parecidos a los de Chuquet, por ejemplo, los smbolos italianos p y m
para la adicin y sustraccin; pero utiliza tambin otras formas de expresin, por ejemplo,
las potencias de la incgnita aparecen como nmeros arbigos arriba de un pequeo arco
circular. No aparece smbolo para la igualdad; aunque ya se tena.
RECORDE
Se puede decir que Recorde estableci la escuela matemtica inglesa. Su primer trabajo en
matemticas fue Grounde of Artes (1541), una aritmtica popular que contena clculo por
baco y algoritmos, con aplicaciones comerciales. En 1551 aparecieron sus otros dos libros:
Castle of knowledge, una astronoma en la cual se cita el sistema de Coprnico y Pathewaie
to knowledge, un compendio de los Elementos y primera geometra que apareci en ingls.
27
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
COPRNICO
Los mayores progresos en matemticas durante el siglo XVI fueron en lgebra. Aunque
tambin hubo avances en trigonometra, estos no fueron tan espectaculares. Durante la vida
de Regiomontano, Polonia haba logrado un gran nivel en la enseanza y la Universidad de
Cracovia, donde Coprnico se inscribi en 1491, alcanz gran prestigio en matemticas y
astronoma.
Rheticus combin las ideas de Regiomontano y de Coprnico con las suyas propias en el
tratado Opus palatinum de triangulis donde dej de considerar las funciones con respecto al
arco de un crculo y se concret a las lneas en un tringulo recto. Les dio uso a las seis
funciones trigonomtricas y calcul tablas para ellas. Como las fracciones decimales no
eran comunes, utiliz hipotenusas de 10,000,000 y lados e hipotenusas de 10,000,000 de
partes para intervalos en el ngulo de 10. Dej iniciadas tablas con base de 1015 partes, ya
que el tratado lo termin y edit, en 1596, su alumno Valentin Otho (1550-1605).
LA GEOMETRA
Un hecho importante en que difiere el arte renacentista del arte de la edad media, es en el
uso de la perspectiva en la representacin plana de objetos tridimensionales. El arquitecto
florentino Filippo Brunelleschi (1377-1446), atac este problema, pero el primer intento
formal de abordar algunos problemas de este tipo lo dio Leon Battista Alberti (1404-1472)
en el tratado Della pictura de 1435 e impreso en 1511.
Leonardo conect tambin el arte con las matemticas. En sus notas se encuentran
cuadraturas, construcciones de polgonos regulares y razonamientos sobre centros de
gravedad y sobre curvas de doble curvatura; pero se distingui ms por su aplicacin de las
matemticas a la ciencia y la teora de la perspectiva. En su Trattato della pittura inicia con
la advertencia: quien no sea un matemtico no lea mi trabajo.
Uno de los primeros innovadores fue el matemtico alemn Peter Apian (1495-1552). En
1520 public el primer mapa del Viejo y el Nuevo Mundo en el que se us el nombre
Amrica.
Mercator encontr que por medio de una modificacin de estas distancias, determinada
empricamente, era posible preservar las direcciones y las figuras. En 1599, Edward Wright
(1558-1615), en Cambridge, desarroll las bases tericas de la proyeccin de Mercator
calculando la relacin funcional entre la distancia D desde el ecuador y la latitud
D = a ln tan( /2 + 45)
30
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
Arqumedes se imprimi una traduccin, debida a Tartaglia, en 1543, luego una edicin
griega en 1544 y una traduccin en latn por Federigo Commandino (m. en 1575) en
Venecia en 1558. Del trabajo Cnicas de Apolonio slo los primeros cuatro libros (de los
ocho originales) permanecieron en Grecia. (El matemtico rabe, Thabit ibn Qurra, tradujo
los siguientes tres libros. En 1710, Edmund Halley logr una traduccin latina de los siete
libros). La traduccin latina de los cuatro primeros se imprimi en Venecia en 1537. La
traduccin de Maurolico, terminada en 1548, fue publicada hasta 1654. La traduccin de
Commandino fue impresa en Bologna en 1566. (Commandino tambin tradujo la coleccin
matemtica de Pappus, pero fue impresa hasta 1588).
Maurolico tuvo acceso a la geometra antigua disponible, ya que lea griego y latn. De
algunas observaciones de Pappus al trabajo de Apolonio, sobre normales a las secciones
cnicas, Maurolico trat de reconstruir el libro V de las Cnicas, en ese tiempo perdido.
Esto llev a que la reconstruccin de los trabajos perdidos, en general, y de los ltimos
cuatro libros de las Cnicas, en particular, llegaran a ser uno de los principales estmulos
para la geometra antes de Descartes.
REFERENCIAS
[1] Boyer, Carl B. (1968), The Renaissance; A History of Mathematics. John Wiley &
Sons, Inc., New York.
[2] Colerus, Egmont (1972), Apolonio de Perga, Matemticas y virtuosismo - Arqumedes,
Matemticas y realidad - Leonardo de Pisa, El despertar de las Matemticas - Nicols
de Oresme, Naturaleza y Matemticas; Breve Historia de las Matemticas, Vol. 1.
Editorial DONCEL, Espaa.
[3] Colerus, Egmont (1973), Descartes, La Matemtica como mtodo; Breve Historia de las
Matemticas, Vol. 2. Editorial DONCEL, Espaa.
[4] Courant, Richard (1964), Mathematics in the Modern World; Mathematics in the
Modern World, Readings from Scientific American,USA.
[5] Crombie, A. C. (1959), Descartes; Mathematics in the Modern World, Readings from
Scientific American, USA.
[6] Descartes, Ren (1980), La Geometra; Sigma, El Mundo de las Matemticas, Vol. 1.
[7] Dyson, Freeman J. (1964), Mathematics en the Physical Sciences; Mathematics in the
Modern World, Readings from Scientific American, USA.
[8] Kline, Morris (1964), Geometry; Mathematics in the Modern World, Readings from
Scientific American, USA.
[9] Thomas, Ivor (1980), Matemticos Griegos; Sigma, El Mundo de las Matemticas,
Vol. 1.
[10] Turnbull, Herbert Western (1980), Los grandes Matemticos; Sigma, El Mundo de las
Matemticas, Vol. 1.
31
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
Ronald A. Fisher naci en Finchley, Londres, el 17 de febrero de 1890. Fue hijo de George
Fisher, subastador y miembro de una familia conformada mayormente por hombres de
negocios y de Katie Heath, mujer dedicada al hogar e hija del notario londinense Thomas
Heath.
A muy temprana edad, Fisher mostr una gran inteligencia y precocidad por las
matemticas. Antes de los seis aos su madre le ley un libro de astronoma que lo motiv
a continuar con este estudio, por lo que a la edad de siete u ocho aos atendi las clases de
Sir Robert Ball.
Sus problemas de la vista consistentes en una extrema miopa, le impedan trabajar con luz
elctrica, por lo que, bajo la tutora de G. H. Mayo, desarroll una gran habilidad para
resolver problemas matemticos sin el uso de lpiz y papel, tan slo efectuando clculos
mentales. En estas tutoras trabaj principalmente trigonometra esfrica y con esto logr
un gran sentido geomtrico que fue de gran influencia en sus trabajos posteriores. Esta
facilidad era en ocasiones un inconveniente pues algunos matemticos de su tiempo,
carentes de esta habilidad, no entendan sus razonamientos, que para l resultaban obvios.
En abril de 1912 public su primer artculo, en el cual desarroll lo que luego sera
conocido como el mtodo de mxima verosimilitud. Ronald Fisher tuvo por mucho tiempo
una relacin amistosa con William S. Gosset, hombre generoso, amigable y con una gran
variedad de intereses. Gosset publicaba bajo el seudnimo de Student y en el verano de
1912 mantuvo correspondencia con Fisher en relacin al denominador (n-1) de la frmula
de la varianza, ya que, derivando el estimador de mxima verosimilitud para la varianza de
una muestra proveniente de una poblacin normal, Fisher haba llegado al denominador n
en lugar de (n-1) obtenido por Gosset. La facilidad matemtica que Fisher tena, le permiti
1
Es la posicin ms alta en los mathematical tripos, concursos tradicionales en Cambridge.
32
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
reformular el problema en trminos de configurar la muestra en un espacio n-dimensional y
mostr que usar la media muestral en lugar de la media poblacional, era equivalente a
reducir en uno la dimensionalidad del espacio muestral. De esta manera lleg a un trmino
que despus llam grados de libertad. Esta formulacin geomtrica del problema lo llev a
derivar la distribucin t de Student y, en septiembre de ese ao, la enva a W. Gosset, quien
ya la haba derivado empricamente, por lo cual se le conoce con su seudnimo. Gosset
inmediatamente envi esta demostracin a Pearson, sugirindole su publicacin, aunque
aclaraba No pude entender todo este material. No me siento a gusto trabajando en ms de
tres dimensiones, pero puedo comprenderlo de otra manera. Me parece una prueba
matemtica que puede ser muy atractiva para muchas personas. La prueba no fue
publicada y la correspondencia ces por un tiempo.
El trabajo de Fisher era admirado por muchos, entre ellos Gosset, quien pudo mantener a un
mismo tiempo una amistad con Ronald Fisher y Karl Pearson. Todos saban que Fisher
tena el defecto de no admitir que poda cometer errores y llegar a reconocer alguno le
tomaba bastante tiempo.
Fisher reanud su relacin por correo con William Gosset cuando se dedic a derivar la
distribucin muestral del coeficiente de correlacin, retomando un artculo que este ltimo
public cuando pas un ao trabajando con Karl Pearson, en el University College, en
1907. El trabajo de Fisher lleg a Karl Pearson, quien en 1915 le public un artculo sobre
la distribucin muestral del coeficiente de correlacin en la revista Biometrika, que estaba
bajo su direccin. Pearson era muy reconocido por sus investigaciones en estadstica y en
gentica y, por cuenta propia, realiz un estudio cooperativo en sus laboratorios, con el que
public en 1917 lo que consideraba correcciones al artculo de Fisher, sin notificrselo
previamente. La razn es que Pearson no haba entendido el mtodo de mxima
verosimilitud que Fisher utilizaba y lo llam inferencia inversa, algo que este ltimo haba
evitado deliberadamente. En ese tiempo Fisher era un desconocido y se sinti agredido por
los comentarios de Pearson, quien ignor la propuesta de Fisher de demostrar la
significancia de las correlaciones haciendo una transformacin al coeficiente de correlacin
r, dada por
1
z ln 1 r 1 r ,
2
y con la cual se logra que distribuciones altamente sesgadas y con varianzas desiguales se
transformen en distribuciones aproximadamente normales con varianzas constantes.
Lo anterior cre una confrontacin, pues Pearson ignor nuevas explicaciones de Fisher e
inclusive algunas de las teoras nuevas que ste propona. Por su parte, Fisher encontr
algunos errores en el clculo de los grados de libertad de ciertas tablas que Pearson haba
33
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
publicado, pero dada la fama de este ltimo, no fueron tomados en cuenta por la Royal
Society, la que rechaz, en 1917, un artculo sobre la correlacin entre parientes bajo el
supuesto de herencia Mendeliana. Como saba que a Pearson no le agradaban sus
demostraciones, Fisher intent nuevas pruebas, esperando que el nuevo mtodo que
empleaba agradara a Pearson, pero tambin esto fue ineficaz. Debido a estas
confrontaciones, en 1919 Fisher rechaz la invitacin de Pearson de presentar solicitud para
una posicin en su departamento de estadstica.
Es de reconocer que Fisher en un principio trat con mucho respeto el trabajo de Pearson.
Se afirma que si este ltimo hubiera tenido una mente ms abierta, habra percibido en
Fisher al hombre que poda resolver muchos de los problemas que en ese momento se
tenan. Sin embargo, hizo lo opuesto, se dedic a poner dificultades en su camino y
demostrar que Fisher estaba equivocado, llegando inclusive a rechazarle publicaciones en
Biometrika.
Por otra parte, entre 1922 y 1925, Fisher desarroll los fundamentos de la teora de
estimacin. Estaba principalmente interesado con el manejo de muestras pequeas ya que
dispona de observaciones de experimentos cientficos con estas caractersticas y fue muy
claro en hacer una distincin entre estadsticos muestrales y valores poblacionales o
parmetros. A Fisher se le deben los conceptos de eficiencia, suficiencia, informacin y
consistencia de un estimador. Cuando retoma su trabajo sobre el coeficiente de correlacin,
deriva distribuciones muestrales de otros estadsticos de uso comn, entre ellas la
distribucin F.
Para 1925, estando en Rothamsted, publica su libro Statistical Methods for Research
Workers. Este libro lleg a ser la biblia de los investigadores en todo el mundo y contena
34
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
bsicamente todas las nuevas tcnicas desarrolladas, que fueron de gran utilidad para los
bilogos. Fisher tena un principio de justicia muy fuerte y escribi una nota histrica en
este libro elogiando a Gosset y donde dice: El trabajo de Student no ha sido totalmente
apreciado, de hecho ha sido ignorado en las revistas donde ha aparecido, y uno de los
principales propsitos de la primera edicin de este libro es que se reconozca la
importancia de estas investigaciones y su consecuente trabajo matemtico.
Dado que Fisher siempre se haba interesado en gentica y evolucin, en esta estacin
experimental inicia una serie de experimentos de cras de ratones, caracoles y aves, y con
estos ltimos confirma su teora de dominancia en la evolucin. En Rothamsted nunca se
haban efectuado este tipo de experimentos, pero se le proporcionaron tierras para la cra de
ciertos animales, como aves y caracoles. Los ratones tuvo que mantenerlos en su casa con
la ayuda de su esposa e hijos. As, para 1930 public Genetical Theory of Natural Selection
en la que logra una reconciliacin entre las ideas de Darwin sobre seleccin natural y la
teora de Mendel, pues relaciona la teora de la evolucin de Darwin con los principios
genticos de Mendel. Su esposa le ayud en la escritura de este libro y el contenido del
mismo era un interesante tema de discusin para su familia. Fisher siempre trat de
involucrar a sus hijos en su trabajo y algunos de ellos le ayudaban con la cra de animales.
Por otra parte, retom The annals of eugenics de Karl Pearson, revista que haba sido
originalmente fundada para la publicacin de artculos en eugenesia y gentica humana;
bajo la direccin de Fisher lleg a ser una revista de gran importancia en estadstica.
35
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
En 1935 public su libro The Design of Experiments, el cual fue el primer libro
explcitamente dedicado a esta materia. A pesar de las controversias que este libro motiv,
las nuevas ideas en diseo y anlisis experimental pronto fueron aceptadas por la mayora
de los investigadores y los mtodos han sido adoptados casi universalmente, no solamente
en agricultura, sino en todas las reas que involucran el manejo de material altamente
variable. Gracias a un buen diseo experimental se han logrado muchos avances en la
produccin agrcola.
Es difcil describir toda la produccin de Ronald Aylmer Fisher pues por cerca de medio
siglo public por lo menos un artculo cada dos meses y muchos de ellos marcaron nuevas
lneas de investigacin. Por lo tanto, no es sorprendente que haya sido distinguido con
varios premios y honores durante su vida, inclusive ser nombrado Caballero en 1952.
Aunque Fisher se vio involucrado en una larga batalla con otros estadsticos por sus
investigaciones acerca de estimacin y prueba de hiptesis, gracias a todas sus
contribuciones es considerado uno de los fundadores de la estadstica moderna.
Es interesante conocer como Ronald Fisher lleg a establecer varios conceptos y tipos de
diseos para el anlisis de experimentos. Cuando lleg a la estacin Rothamsted en 1919,
como ya se mencion, haba gran confusin sobre los errores a que estaban sujetos los
resultados experimentales. El conocimiento del error experimental es no slo necesario para
tener una idea de la exactitud de los resultados sino que tambin provee las bases para la
validez de las pruebas de significancia. Fisher mostr a los investigadores de la estacin
experimental que el utilizar rplicas en los experimentos era una manera de estimar este
error.
36
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
Por otra parte observ que el anlisis de varianza era una poderosa tcnica que permita
separar las fuentes de variacin de los ensayos efectuados en campos agrcolas. En 1923
public una primera aplicacin, donde estudi el efecto de tres tratamientos en doce
variedades de papas y para ello utiliz tres rplicas. El experimento fue bsicamente del
tipo de parcelas divididas y aunque en un principio Fisher cometi el error de utilizar una
sola estimacin del error para todas las comparaciones entre tratamientos, para 1925
comprendi mejor las fuentes de error experimental y not que en este tipo de diseo era
necesario separar este error en dos fuentes: el proveniente de la parcela completa y el
correspondiente a la subparcela.
En su libro Statistical Methods for Research Workers estableci por vez primera los
principios de aleatorizacin y enfatiz que las pruebas de significancia slo son vlidas
cuando se aleatorizan los tratamientos en las unidades experimentales. Desde la primera
edicin de este libro se incluye una tabla de la distribucin normal para p=0.05 y pruebas
de significancia para el anlisis de varianza en el caso de tener pocos grados de libertad en
uno o varios componentes del anlisis.
En ese tiempo no era bien comprendida la ventaja de utilizar bloques hasta que, mediante el
anlisis de varianza, Fisher logr aislar la varianza suscrita a las diferencias en los bloques
y estudi cmo sta podra eliminarse del anlisis. Demostr tambin que en los diseos de
cuadrados latinos la varianza podra ser separada en dos direcciones, con el inconveniente
de que en estos diseos el nmero de repeticiones deba ser igual al nmero de tratamientos
comparados.
Tambin por este tiempo Fisher clarific sus ideas sobre el anlisis de resultados en un
diseo factorial, esto es, diseos donde se incluyen todas las combinaciones de los niveles
de un grupo de tratamientos o factores en un mismo experimento. Los investigadores de
Rothamsted efectuaban experimentos factoriales, pero al analizar los resultados, crean que
era mejor investigar un factor a la vez. Fisher mostr cmo evaluar correctamente los
resultados de estos experimentos considerando las posibles interacciones que pudiera haber
entre factores.
37
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
Ya establecidas las ideas bsicas de la confusin en bloques, Fisher dej a otros su
desarrollo, como Frank Yates, quien al iniciar su trabajo en Rothamsted investig bastante
sobre bloques confundidos. Para 1935 todo el marco conceptual estaba completo y se
establecieron conceptos como ortogonalidad, y confusin parcial.
En 1930 H. G. Sanders publica un artculo donde plantea una extensin del anlisis de
varianza. Dicha tcnica es una combinacin de ste con el anlisis de regresin y lo llama
anlisis de covarianza. En su artculo hace la aclaracin de que este tipo de anlisis se debe
a R. Fisher y utiliza un ejemplo para mostrar cmo con este procedimiento se puede
incrementar la precisin de un experimento.
Todas estas nuevas ideas sobre diseo experimental dieron lugar a una gran cantidad de
controversias. Se cuestionaba la validez de las pruebas t y z, en el sentido de que estaban
basadas en teoras de normalidad y en muchos de los experimentos los errores no estaban
normalmente distribuidos. Se atacaba la aleatorizacin pues se pensaba que un investigador
con experiencia y conocimiento del material experimental, poda lograr un mejor arreglo
que el obtenido aleatoriamente. Fisher trataba de aclarar estos comentarios en discusiones
durante los congresos cientficos a que asista, en privado y en los artculos que publicaba.
Durante un tiempo se dio una gran controversia entre l y su amigo W. Gosset sobre el
valor de la aleatorizacin en el clculo del error experimental, misma que dio lugar a una
serie de cartas y artculos donde se pueden apreciar todas estas discusiones.
Fisher encontr de gran inters todos los problemas combinatorios surgidos de diseos
experimentales e hizo contribuciones notables a la materia. De hecho, encontr que existan
56 cuadrados latinos estndar de 5 5 y no los 52 que MacMahon, quien era una autoridad
en anlisis combinatorio, expuso en Combinatory Analysis.
DISTINCIONES RECIBIDAS
Durante su vida, Fisher recibi muchos honores y premios entre los que se pueden
mencionar:
39
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
La Weldon Memorial Medal en 1928.
La Guy Medal, en oro, de la Royal Statistical Society en 1947.
Tres medallas de la Royal Society: The Royal Medal (1938), The Darwin Medal
(1948) y The Copley Medal (1956).
Recibi doctorados honorarios en muchas universidades como la University of
Glasgow, University of Adelaide, Iowa State University, University of Leeds y
Harvard University, entre otras, adems de The Indian Statistical Institute.
Fue Asociado Extranjero en la Academia Nacional de Ciencias de Estados Unidos.
Miembro Honorario Extranjero de la Academia Americana de Artes y Ciencias.
Miembro Honorario de la Asociacin Americana de Estadstica.
Miembro Extranjero de la Real Academia de Ciencias de Suecia y la Real
Academia Danesa de Ciencias.
Miembro de la Academia Imperial Alemana de Ciencias Naturales y de muchas ms
academias de ciencias.
En 1952 recibi el ttulo de Caballero de manos de la Reina Isabel.
REFERENCIAS
[1] Fisher B. Joan, R. A. Fisher and the Design of Experiments, 1922-1926, The
American Statistician, Volumen 34, Nmero 1, Febrero 1980.
[2] Fisher B. Joan, Gosset, Fisher, and the t Distribution, The American Statistician,
Volumen 35, Nmero 2, Mayo 1981.
[4] The MacTutor History of Mathematics Archive. Sir Ronald Aylmer Fisher.
University of St. Andrews, Fife, Scotland, Enero 2002, [consultado 15-08-2002]
http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Fisher.html
40
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
1
La topologa algebraica es una parte de la topologa que tiene por objeto descubrir las
propiedades de los espacios topolgicos por medio del lgebra y hallar las condiciones
necesarias para que dos espacios topolgicos sean homeomorfos, o sea equivalentes.
41
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
Eiges, comprendi pronto que su alumno tena un notable talento para las matemticas ([3]
y [4],[6]):
... en la escuela primaria estudi mecnica celeste y anlisis matemtico. Pero su
inters estaba dirigido principalmente hacia los problemas fundamentales de la
matemtica: los fundamentos de la geometra y la geometra no-euclidiana. Eiges
tena gran aprecio por su alumno y ejerci una influencia firme en su eleccin de una
carrera en la matemtica.
En 1913 Aleksandrov se gradu de la escuela primaria siendo el primero de su escuela y
gan una medalla de oro. Ciertamente en este momento ya haba decidido estudiar una
carrera en matemticas, pero no haba puesto sus ojos tan alto como en llegar ser un
maestro universitario, sino ms bien, estaba pensando en hacerse maestro de matemticas
de la escuela preparatoria. Eiges era el modelo al que aspiraba en esta fase, pero Eiges
haba hecho algo ms que ensearle matemticas a Aleksandrov, l tambin haba
influenciado su gusto por la literatura y las artes ([6]).
Aleksandrov ingres a la Universidad de Mosc en 1913 e inmediatamente le ayud
Stepanov. Stepanov trabajaba en la Universidad de Mosc y era siete aos, pero su casa
tambin estaba en Smolensk y visitaba con frecuencia la casa de Aleksandrov. Stepanov fue
una influencia importante para Aleksandrov en este perodo y le sugiri a Aleksandrov que
se uniera al seminario de Egorov, incluso en el primer ao de sus estudios en Mosc. En su
segundo ao de estudios, Aleksandrov entr en contacto con Luzin, quien haba regresado a
Mosc. Aleksandrov escribi ( [3], [4], [6]):
A finalizar la conferencia de Luzin, me dirig hacia l y le solicit un consejo sobre
cual es la mejor forma de continuar mis estudios de matemticas, e impact a la
mayora la amabilidad de Luzin hacia el hombre que se dirigi a l - un estudiante de
18 aos de edad... despus me convert en un estudiante de Luzin, durante su perodo
ms creativo... ver a Luzin por esos aos era ver una representacin de lo que se
llama una relacin inspirada en la ciencia. No slo aprend matemticas de l, sino
que tambin recib una leccin de lo que hace a un verdadero estudioso y lo que un
profesor universitario puede y debe ser.
Aleksandrov demostr su primer resultado importante en 1915, a saber, que todo conjunto
no numerable de Borel contiene un subconjunto perfecto. No slo era un resultado muy
importante para la teora de conjuntos, sino tambin los mtodos que Aleksandrov us y
qu resultaron ser de los ms tiles en la teora de conjuntos. Despus de los grandes xitos
de Aleksandrov, Luzin hizo lo que muchos supervisores deberan hacer, comprendi que
tena en Aleksandrov a uno de los ms grandes talentos matemticos, as que pens que
mereca la pena pedirle que tratara de resolver el mayor problema abierto en la teora de
conjuntos, ciertamente la hiptesis del continuo.
La hiptesis del Continuo establece que no hay ningn conjunto cuya cardinalidad
est entre la de los nmeros Naturales y la de los nmeros Reales.
42
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
Cuando Aleksandrov no pudo resolver la hiptesis del continuo2, pens que no estaba
capacitado para una carrera matemtica y se fue a Novgorod-Severskii, donde se hizo
productor de teatro. Posteriormente se fue a Chernikov donde, adems del trabajo teatral,
ense ruso e idiomas extranjeros, e hizo amistad con poetas, artistas y msicos. Despus
de un perodo corto en la crcel, en 1919 durante la revolucin rusa, Aleksandrov regres a
Mosc en 1920. Luzin y Egorov haban formado un grupo de investigacin impresionante
en la Universidad de Mosc al que los estudiantes llamaron Luzitania y ellos, junto con
Privalov y Stepanov, recibieron muy bien a Aleksandrov en su regreso ([6]).
Sin embargo, el regreso de Aleksandrov a Mosc no fue inmediato, ya que pas de 1920-21
en su casa en Smolensk, donde ense en la Universidad. Durante este tiempo trabaj en su
investigacin, yendo a Mosc por lo menos un mes para estar en contacto con los
matemticos y prepararse para sus exmenes. Alrededor de este tiempo Aleksandrov se
hizo amigo de Urysohn, quien era un miembro de 'Luzitania', y la amistad pronto desarroll
una mayor colaboracin matemtica.
Despus de presentar sus exmenes en 1921, Aleksandrov fue designado como
conferencista en la universidad de Mosc y disert en una variedad de temas incluyendo
funciones de una variable real, topologa y teora de Galois. En julio 1922 Aleksandrov y
Urysohn fueron a pasar el verano a Bolshev, cerca de Mosc, donde empezaron a estudiar
los conceptos de la topologa. Del libro de Topologa tomamos la siguiente definicin [5]:
En un conjunto R de elementos cualesquiera se dice que se define una
correspondencia topolgica, si a cada subconjunto M de R, se le asocia un
subconjunto M de R. Al conjunto R y la correspondencia topolgica en l definida
se le llama espacio topolgico general. Lo designaremos, siempre que no haya lugar
y confusin con R...
En 1914 Hausdorff public un libro llamado Grundzge der Mengenlehre, en el que,
construyendo sobre el trabajo de Frchet y otros, haba creado una teora topolgica y de
los espacios mtricos. Aleksandrov y Urysohn impulsaron esta teora hacia los espacios
compactos contables, produciendo resultados de importancia fundamental. La nocin de un
espacio compacto y un espacio localmente compacto se debe a ellos. Del libro Topologa
tomamos las siguientes definiciones [5]:
Definicin: Un espacio topolgico se llama, segn Frchet, compacto si todo
subconjunto infinito de l posee, al menos, un punto de acumulacin.
Teorema: Un espacio mtrico es compacto si y slo si, toda sucesin de puntos del
espacio contiene una sucesin parcial convergente.
2
Lo que no es sorprendente, ya que no puede demostrarse ni refutarse, como lo mostr
Cohen en los aos sesenta. Se demostr que es independiente de los axiomas de la teora de
conjuntos, en el mismo sentido en que el Quinto Postulado de Euclides es independiente de
los otros axiomas de la geometra euclidiana.
43
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
44
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
3
La homologa es una manera de vincular grupos abelianos (u objetos algebraicos ms
detallados) a un espacio del topolgico para obtener invariantes algebraicos.
45
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
46
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
REFERENCIAS
[1] Dictionary of Scientific Biography. Pavel Sergeeivich Aleksandrov (New York
1970-1990).
[2] Enciclopedia Britannica. Pavel Sergeeivich Aleksandrov.
[3] A. V. Arkhangelskii, A. N. Kolmogorov, A. A. Malcev and O. A. Oleinik, Pavel
Sergeevich Aleksandrov : on his 80th birthday, Russian Mathematical Surveys 31
(5) (1976), 1-13.
[4] A. V. Arkhangelskii, A. N. Kolmogorov, A. A. Malcev and O. A. Oleinik, Pavel
Sergeevich Aleksandrov : on his 80th birthday (Russian), Uspekhi Mat. Nauk 31 (5)
(1976), 3-15.
[5] Alexandroff, Pavel, y Hopf, Heinz. Topologa de conjuntos. Versin castellana del
original alemn por Oscar Valdivia Gutirrez, C. I. E. A. I. P. N., 1965.
SITIOS EN LA RED
[6] J. J. O'Connor and E. F. Robertson. Pavel Sergeevich Aleksandrov.
http://www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Aleksandrov.html
[7] Aleksandrov, Pavel Sergeevich
http://www.xrefer.com/entry/170311
47
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
Nos conformaremos con mencionar una lista no exhaustiva de reas que enriqueci debido
a su investigacin: La teora de las series trigonomtricas, de la medida, de conjuntos, de
integracin, en lgica constructiva, topologa, teora de aproximacin, de probabilidad, de
procesos estocsticos, de informacin, de estadstica matemtica, sistemas dinmicos, teora
de autmatas, de algoritmos, lingstica matemtica, teora de turbulencia, mecnica
celeste, ecuaciones diferenciales, el dcimo tercer problema de Hilbert, balstica, y
aplicaciones de la matemtica a la biologa, geologa y cristalizacin de metales.
Con ms de 300 artculos, libros de texto y monografas, Kolmogorov cubri casi todas las
reas de las matemticas, excepto la teora de nmeros. En todas esas reas, sus
contribuciones no fueron en temas aislados sino que expusieron tanto introducciones
fundamentales como profundas relaciones, adems de que iniciaron nuevos campos de
investigacin.
48
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
Ciencias de Alemania (1959), la Academia Americana de Ciencias y Artes de Boston
(1959).
Pas sus primeros aos (antes de la revolucin de 1917) en el seno familiar. Los datos
acerca de su padre son menos claros; aparentemente, el padre de Kolmogorov fue hijo de un
clrigo y fue agrnomo con un entrenamiento altamente especializado, al que llamaban en
ese tiempo un agrnomo docto.
Por algn tiempo Kolmogorov estuvo tan interesado en la historia rusa como en las
matemticas, de ah que realiz una investigacin cientfica seria sobre los manuscritos de
los siglos XV y XVI referentes a relaciones agrarias del Novgorod antiguo. En este perodo
temprano de la post-revolucin de Octubre, la vida matemtica en Mosc era dominada por
la joven Luzitania (1920-1923) y por la post-Luzitania (1923-1927), un apodo para la
escuela de la teora de funciones reales, encabezada por N.N. Luzin, legendario personaje
logr al parecer la admiracin entusiasta de sus pupilos. Entre los primeros temas
matemticos que tom Kolmogorov se cuentan la teora de conjuntos, la geometra
descriptiva y la teora de las funciones analticas. En 1921-22 obtuvo su primer resultado
matemtico independiente (la existencia de la serie de Fourier-Lebesgue con coeficientes de
49
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
Fourier arbitraria y lentamente decrecientes) y se hizo discpulo de N.N. Luzin. Durante ese
tiempo tambin se acerco a P.S. Urysohn, quien trat de interesarlo en problemas
topolgicos. Puesto que Kolmogorov haba obtenido algunos resultados en la teora
descriptiva de funciones, este trabajo no se adapt a los planes de Luzin y Urysohn lo puso
en contacto con P.S. Alexandrov quien tena interesantes investigaciones mejor
relacionadas con este tema. Sin embargo, por ese tiempo Kolmogorov construy una serie
de Fourier divergente dondequiera, un resultado que atrajo la atencin internacional y lo
llev de nuevo al lado de Luzin. Por esta razn los contactos de Kolmogorv con
Alexandrov estuvieron muy limitados en ese tiempo. Kolmogorov se interes tambin en
Lgica Matemtica y en 1925 public un artculo en la revista Mathematicheskii Sbornik
sobre la ley de exclusin media, el cual fue una fuente continua de trabajos posteriores en
lgica matemtica. Esta fue la primera publicacin Sovitica sobre lgica matemtica que
contena resultados novedosos (muy substanciosos) y la primera investigacin sistemtica
en el mundo de la lgica intuitiva. Kolmogorov se anticip a una larga y amplia
formalizacin del razonamiento intuitivo de A. Heyting, e hizo una correlacin ms
definida entre la matemtica clsica y la intuitiva. Kolmogorov defini una operacin por
incrustacin de una teora lgica en otra. Usando esta histricamente la primera de tales
operaciones, ahora llamada operacin Kolmogorv incrustacin de la lgica clsica en la
lgica intuitiva, prob que la aplicacin de la ley de exclusin media por s misma no lleva
a una contradiccin. En 1932, Kolmogorov public un segundo artculo sobre lgica
intuitiva, en el cual por primera vez se propuso una semntica (para esta lgica) libre de
fines y aspiraciones filosficas e intuitivas. Este artculo hizo posible tratar a la lgica
intuitiva como lgica constructiva.
50
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
teora de la probabilidad y estadstica, lo hicieron merecedor del reconocimiento como el
mejor representante de esta disciplina.
En 1931 apareci el artculo de Kolmogorov Mtodos analticos en la teora de la
probabilidad, en el cual puso los fundamentos para la teora moderna de los procesos de
Markov. De acuerdo a Gnedenko: En la historia de la teora de la probabilidad es difcil
encontrar otros trabajos que hayan cambiado los puntos de vista establecidos y las
tendencias bsicas en la investigacin de manera tan decidida. En realidad, este trabajo
podra considerarse como el principio de una nueva etapa en el desarrollo de la teora
global.
JUVENTUD: 1929-1940
Kolmogorov se interes en cada rama de la ciencia, y sus alumnos escribieron acerca del
crecimiento cristalino, acerca de la geometra de la interaccin de las plantas, tambin hizo
contribuciones significativas al proceso nacimiento y muerte y a la gentica. Uno de esos
artculos lo llev a una confrontacin con Lysenko. En una postura valerosa para enfatizar
la verdad cientfica, en un artculo publicado en 1940 en la seccin Gentica de Dokl.
Akad. Nauk. URSS, Kolmogorov mostr que el material recolectado por los seguidores del
acadmico Lysenko recomendado de Stalin, apoyaba las leyes de Mendel, contrario a la
opinin general. Otro trabajo conjunto (con Piskunov y Petrovsky) trataba la tasa de avance
de un gen ventajoso en un medio ambiente lineal, (un tema estudiado de manera
independiente por R.A. Fisher, para quien Kolmogorov tena un alto respeto). ste fue
adaptado despus para describir la propagacin de epidemias, de rumores y de
innovaciones.
52
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
La teora de suavizamiento y prediccin de series de tiempo estacionarias es asociada
usualmente al nombre de Norbert Wiener pero en realidad sta fue desarrollada
simultneamente por Wiener y Kolmogorov durante la segunda guerra mundial.
53
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
Despus de una larga controversia de cuatro dcadas en la pretendida nocin de von Mises
de una sucesin aleatoria infinita, en un artculo en 1925 Kolmogorov usa la teora de
algoritmos para describir la complejidad de un objeto finito como la longitud de la
descripcin ms corta (algoritmo para reconstruirla). Esto hace parecer que la definicin
depende del mtodo algortmico usado. Sin embargo, esto nos devuelve a que existen
mtodos ptimos y universales para los cuales las complejidades de los objetos descritos
son asintticamente ptimos. Aunque hay muchos mtodos ptimos, las complejidades
correspondientes difieren por no ms de una constante aditiva. Es natural llamar un objeto
54
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
aleatorio finito si ste no tiene una descripcin de complejidad menor a la que tiene por si
mismo. Esto es tentador para definir una sucesin aleatoria infinita como una cuyo
crecimiento de complejidad es suficientemente rpido si los segmentos iniciales tienen
longitud apropiada, esto relaciona las primeras aproximaciones de von Mises. Debido a las
inevitables oscilaciones de la complejidad de prefijos como funcin de su longitud es que
esto no se resolvi. Sin embargo, un matemtico Sueco, P. Martn-Loef, que visit a
Kolmogorov en Mosc en 1964-1965 pudo mostrar que bajo definiciones axiomticas
apropiadas de aleatoriedad, uno puede probar de una vez por todas que las sucesiones as
definidas satisfacen todas las pruebas efectivas para aleatoriedad y tienen una medida en el
conjunto de tales sucesiones infinitas. Esta rigurosidad defini una clase apropiada
intuitivamente satisfactoria tambin para calificar como Kollektivs de von Mises. Despus
fue mostrado por L.A. Levin, P. Gacs y G.J. Chaitin que uno puede refinar la nocin de
complejidad definindola en relacin a un conjunto de descripciones admisibles. Si las
descripciones admisibles son restringidas de tal manera que no haya una descripcin de un
prefijo apropiado de cualquier otra descripcin, entonces una sucesin infinita es Martn-L
aleatoria si y slo si cada una de estas sucesiones iniciales finitas tienen una complejidad
igual a su longitud (hasta una constante fija).
Uno de los ltimos artculos de Kolmogorov fue sobre el tema de teora de informacin
algortmica un artculo publicado en 1987 junto con Uspenskii.
COMO PROFESOR
55
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
Las actividades pedaggicas de Kolmogorov comienzan en 1922, cuando es profesor en una
escuela experimental modelo, del Comisariado para la Educacin de la Poblacin. Ah
ense hasta 1925. De 1925 a 1929 fue instructor en la Universidad. Trasmitir
conocimientos e ideas cientficas fue muy importante para Kolmogorov, su rango de inters
en esta actividad abarc desde los primeros niveles de educacin hasta el nivel superior y
ocup mucho de su tiempo. Tom parte activa en Olimpadas escolares y dio plticas a
nios en educacin primaria. En ese entonces escribi en su libreta sobre el tema:
Matemticas como una profesin, la cual circul en decenas de miles de copias. Puso
especial nfasis en la seleccin de jvenes dotados matemticamente, aunque entrenaba
matemticamente al resto en sus carreras posteriores. De acuerdo a Kolmogorov, la mitad
de sus estudiantes tenan alrededor de 14-15 aos y stos tomaban la conclusin de que las
matemticas y la fsica seran poco usadas por ellos. Por este hecho sigui un programa
simplificado especialmente para estos estudiantes. "Los principios mecnicamente
entendidos en las escuelas que proporcionaban la educacin general, que excluye escuelas
con un estudio ms detallado de temas individuales, han sobrevivido. Como las
aplicaciones matemticas han sido destruidas ya por la creacin de las escuelas que daban el
entrenamiento especial a los operadores computacionales y a los informticos". Y: "a la
edad entre 14-16 aos todo cambia. En esta edad el inters en las matemticas llega a ser
generalmente evidente, rpidamente y sin dolor conduce al estudiante al trabajo
concentrado y entonces al trabajo de investigacin verdadero del cientfico joven (entre 18-
20 aos). Para los principiantes, la gente joven que entra a por primera vez a la ciencia,
es importante que sean convencidos cuanto antes de que son capaces de hacer algo original
por ellos mismos. Al ofrecer un tema para la investigacin a un graduado o a un estudiante
de investigacin, este trabajo sobre el tema que sea deber estimular el desarrollo del joven
cientfico, y debe estar dentro de su capacidad de realizarlo, y al mismo tiempo demandar el
esfuerzo mximo del cual sea capaz". La habilidad para ofrecer al estudiante exactamente lo
que es ms importante y maduro en el desarrollo de la ciencia, y evitar perseguir punto
finales, y que sea al mismo tiempo poderoso y que el estudiante lo pueda llevar a cabo, era
muy caracterstico en Kolmogorov. El nmero de estudiantes de investigacin de
Kolmogorov que obtuvieron su doctorado excede de sesenta.
Segn V.I. Arnold, " Kolmogorov nunca explic nada sin motivo, siempre planteaba
problemas justos previamente preparados, es decir, no los inventaba a la ligera. l dio al
estudiante independencia completa y nunca forzaba para hacer cualquier cosa, siempre
esperando del estudiante algo notable. l no intervena en el trabajo de los otros profesores
y tena un respeto completo por la personalidad del estudiante. Recuerdo solamente un caso
donde l interfiri con mi trabajo: en 1959 me pregunt si estaba de acuerdo en omitir del
artculo sobre reas del crculo auto-mapeadas la seccin de aplicaciones a los latidos del
corazn, que fue publicada por L. Glass 25 aos ms tarde, para concentrar mis esfuerzos
en las aplicaciones mecnico-celestes de la misma teora ".
L.S. Pontryagin relata: " Kolmogorov me dio una tarea interesante...: para estudiar (en
algunos problemas) campos algebraicos localmente compactos en los cuales la
multiplicacin no es necesariamente conmutativa... Seal una semana ms tarde a
Aleksandrov que lo haba solucionado en el caso de campos conmutativos. Con una duda
irnica, Kolmogorov dijo: "bien ahora, Lev Semenovich, le oigo haber solucionado ya mi
problema, oigmosle". Kolmogorov declar que mi primera declaracin era falsa, pero lo
refut inmediatamente. Entonces l dijo: " s, parece que el problema result ser mucho ms
fcil de lo que yo supuse ". Nada del resto de mi respuesta despert duda. Para el caso del
campo no conmutativo, el problema era bastante ms difcil. Me tom un ao entero
trabajarlo". Tambin se dice que Kolmogorov era uno de los pocos matemticos no-
polticos en la Unin Sovitica con verdadero poder. Por esto pudo ayudar reservadamente
a la gente talentosa con visiones que no necesariamente seguan la moda del pensamiento.
CARRERA CIENTFICA
REFERENCIAS
58
APUNTES DE HISTORIA DE LAS MATEMTICAS VOL. 1, NO. 3, SEPTIEMBRE 2002
59
PRESENTACIN
Por otra parte, les recordamos que contamos ya con un sitio en la red, donde
tambin publicamos los artculos de estos Apuntes. La direccin electrnica es
http://fractus.mat.uson.mx/~tedi/apuntes/
http://www.mat.uson.mx,
Los dos ltimos artculos abordan la vida y obra de dos matemticos de la Rusia
sovitica que realizaron una obra extraordinaria y fueron amigos y colaboradores
en una etapa de su vida. Primeramente, sobre la vida de Pavel Sergueievich
Aleksandrov nos platica el doctor Jos Luis Daz Gmez, destacando sus
primeros contactos con las matemticas, su dedicacin definitiva a ellas y su
capacidad creativa puesta al servicio del desarrollo de la Topologa. Por su parte,
el maestro Francisco Armando Carrillo Navarro nos hace un bosquejo de la vida y
obra de Andrei Nikolaievich Kolmogorov, destacando la diversidad de ramas de
las matemticas y de la ciencia en las que hizo contribuciones fundamentales, as
como su trascendente labor en el campo de la educacin matemtica. Estos dos
trabajos nos pueden servir, adems, para ilustrarnos sobre la forma de trabajar las
matemticas que tena la escuela sovitica de la primera mitad del siglo XX.
EL EDITOR,
Por autor:
Carrillo Navarro, Francisco Armando. Andrei Nikolaievich Kolmogorov. No. 3, pp. 48-59.
Carrillo Navarro, Francisco Armando. El Prncipe de las Matemticas. No. 2, pp. 27-38.
Dvila Rascn, Guillermo. El Desarrollo del lgebra Moderna. Parte I. No. 3, pp. 5-21.
Daz Gmez, Jos Luis. Karl Theodor Wilhelm Weierstrass. No. 2, pp. 39-46.
Daz Gmez, Jos Luis. Pavel Sergueievich Aleksandrov. No. 3, pp. 41-47.
Daz Gmez, Jos Luis. Tales de Mileto. No. 1, pp. 13-18.
Figueroa Preciado, Gudelia. Ronald Aylmer Fisher. No. 3, pp. 32-40.
Garca Alvarado, Martn Gildardo. El Siglo de la Geometra. No. 2, pp. 5-14.
Garca Durn, Francisco Cndido. El lgebra de la Lgica. No. 2, pp. 47-54.
Hernndez Lizrraga, Vctor Manuel. La Geometra Analtica de Descartes, Fermat: Y
Apolonio? No. 1, pp. 32-45.
Mena Chavarra, Rosalinda. Nikolai Lobachevskii. No. 2, pp. 15-26.
Morales Peral, Lina. Las Matemticas en el Antiguo Egipto. No. 1, pp. 5-12.
Rodrguez Snchez, Oscar Mario. Las Matemticas en el Renacimiento. No. 3, pp. 22-31.
Tapia Moreno, Francisco Javier. Apolonio, el Gemetra de la Antigedad. No. 1, pp. 19-31.
Tapia Moreno, Francisco Javier. La Dama del lgebra. No. 2, pp. 55-60.
Vega Amaya, Oscar. Surgimiento de la Teora Matemtica de la Probabilidad. No. 1, pp. 54-60.
Villalba y Gutirrez, Martha Cristina. El Nacimiento del Clculo. No.1, pp. 46-53.
Por ttulo:
Andrei Nikolaievich Kolmogorov. Carrillo Navarro, Francisco Armando. No. 3, pp. 48-59.
Apolonio, el Gemetra de la Antigedad. Tapia Moreno, Francisco Javier. No. 1, pp. 19-31.
El lgebra de la Lgica. Garca Durn, Francisco Cndido. No. 2, pp. 47-54.
El Desarrollo del lgebra Moderna. Dvila Rascn, Guillermo. No. 3, pp. 5-21.
El Nacimiento del Clculo. Villalba y Gutirrez, Martha Cristina. No.1, pp. 46-53.
El Prncipe de las Matemticas. Carrillo Navarro, Francisco Armando. No. 2, pp. 27-38.
El Siglo de la Geometra. Garca Alvarado, Martn Gildardo. No. 2, pp. 5-14.
Karl Theodor Wilhelm Weierstrass. Daz Gmez, Jos Luis. No. 2, pp. 39-46.
La Dama del lgebra. Tapia Moreno, Francisco Javier. No. 2, pp. 55-60.
La Geometra Analtica de Descartes, Fermat: Y Apolonio? Hernndez Lizrraga, Vctor
Manuel. No. 1, pp. 32-45.
Las Matemticas en el Antiguo Egipto. Morales Peral, Lina. No. 1, pp. 5-12.
Las Matemticas en el Renacimiento. Rodrguez Snchez, Oscar Mario. No. 3, pp. 22-31.
Nikolai Lobachevskii. Mena Chavarra, Rosalinda. No. 2, pp. 15-26.
Pavel Sergueievich Aleksandrov. Daz Gmez, Jos Luis. No. 3, pp. 41-47.
Ronald Aylmer Fisher. Figueroa Preciado, Gudelia. No. 3, pp. 32-40.
Surgimiento de la Teora Matemtica de la Probabilidad. Vega Amaya, Oscar. No. 1, pp. 54-60.
Tales de Mileto. Daz Gmez, Jos Luis. No. 1, pp. 13-18.