Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Geometrias No Euclidianas
Geometrias No Euclidianas
NDICE
PREFACIO..........................................................................................................................................5
Captulo I: UNA INTRODUCCIN...................................................................................................7
1.1 EN LA ANTIGEDAD GRIEGA...........................................................................................8
Thales y Pitgoras......................................................................................................................8
Periodo Alejandrino...................................................................................................................9
Eudoxo.....................................................................................................................................10
Euclides y Apolonio.................................................................................................................11
Arqumedes..............................................................................................................................12
Algunas caractersticas de la poca..........................................................................................12
Los romanos.............................................................................................................................13
1.2 EN LA EDAD MEDIA...........................................................................................................14
El "regreso'' de los griegos.......................................................................................................16
Los rabes.................................................................................................................................16
1.3 RENACIMIENTO Y REVOLUCIN CIENTFICA............................................................18
Matemticas renacentistas........................................................................................................20
Las nuevas ideas.......................................................................................................................20
La Revolucin Cientfica.........................................................................................................22
Los lmites de la geometra clsica..........................................................................................22
Los logros de la Revolucin Cientfica....................................................................................24
1.4 DE LA GEOMETRA ANALTICA AL CLCULO...........................................................25
La Geometra Analtica............................................................................................................25
Descartes..................................................................................................................................25
Fermat......................................................................................................................................26
El lgebra................................................................................................................................26
Las matemticas del siglo XVII...............................................................................................27
El Clculo.................................................................................................................................28
1.5 EN EL SIGLO XVIII..............................................................................................................31
Intuicin y aplicacin en las matemticas................................................................................31
Un balance................................................................................................................................31
El Anlisis................................................................................................................................32
Los matemticos franceses del siglo XVIII.............................................................................33
Una sntesis..............................................................................................................................34
1.6 EL SIGLO XIX Y LAS NUEVAS MATEMTICAS...........................................................34
Dos factores claves...................................................................................................................34
Geometra proyectiva...............................................................................................................35
lgebra.....................................................................................................................................36
Geometra y lgebra.................................................................................................................37
La lgica...................................................................................................................................39
1.7 LAS GEOMETRAS NO EUCLIDIANAS............................................................................40
Otra periodizacin....................................................................................................................40
La autonoma de las matemticas.............................................................................................41
1.8 PREGUNTAS.........................................................................................................................42
Captulo II: En la Geometra Euclidiana...........................................................................................44
2.1 LOS POSTULADOS..............................................................................................................45
Postulados................................................................................................................................46
Nociones comunes....................................................................................................................48
El quinto postulado..................................................................................................................49
2.2 AUTOEVIDENTES?............................................................................................................49
2.3 PREGUNTAS.........................................................................................................................51
Captulo III: El quinto postulado ......................................................................................................52
3.1 DE EUCLIDES A SACCHERI..............................................................................................53
Ptolomeo..................................................................................................................................53
Proclus......................................................................................................................................54
Nasr-Eddn..............................................................................................................................54
Wallis.......................................................................................................................................54
La formulacin ms conocida: el postulado de las paralelas...................................................56
Mtodos indirectos...................................................................................................................57
3.2 SACCHERI.............................................................................................................................57
3.3 OTROS PRECEDENTES.......................................................................................................60
Klgel.......................................................................................................................................60
Lambert....................................................................................................................................60
Schweikart................................................................................................................................61
3.4 PREGUNTAS.........................................................................................................................61
Captulo IV: Las nuevas geometras .................................................................................................62
4.1 GAUSS Y LA NUEVA GEOMETRA..................................................................................62
La geometra es emprica.........................................................................................................63
4.2 BOLYAI Y LOBACHEVSKY...............................................................................................64
Lobachevsky............................................................................................................................64
Bolyai.......................................................................................................................................64
4.3 PRIORIDAD Y SENTIDO HISTRICOS............................................................................65
Una revolucin.........................................................................................................................66
Dos paralelas y una perpendicular...........................................................................................67
4.4 ALGUNAS IMPLICACIONES..............................................................................................68
1. El sentido social de la ciencia y de las matemticas............................................................68
2. Varios factores sociales........................................................................................................68
3. Pleitos...................................................................................................................................69
4. Inercia y temor.....................................................................................................................69
5. Individuo y colectividad.......................................................................................................69
4.5 PREGUNTAS.........................................................................................................................70
PREFACIO
Uno puede interpretar la geometra como un juego. Todo juego posee reglas. Cules son las reglas
del juego geo-m-trico? Podemos decir que las reglas de ste juego son dadas por los postulados y
axiomas, es decir por las suposiciones ms bsicas y los procedimientos y acciones permitidas.
En el ftbol, por ejemplo, se tiene 11 jugadores en cada equipo, dos porteras, algunos jugadores
pueden tocar la bola con sus manos y otros no, tambin depende de ciertas condiciones cundo se
vale tocar la bola con la mano. A veces el rbitro pita por ejemplo "fuera de juego'' y se sabe que es
porque se transgredi una regla.
Pues lo mismo sucede en la geometra. La geometra comn que usted, estimado lector, conoce se
llama euclidiana. Posee reglas muy precisas. Y lo usual es que las haya conocido y estudiado
durante muchos aos de su vida.
Se puede pensar qu pasara si se cambia algunas de las reglas del ftbol. Por ejemplo, que todos
los jugadores puedan tocar la bola con sus manos en cualquier lugar de la cancha, o que solamente
se pueda usar el pie derecho y no el izquierdo. Evidentemente, el nuevo juego tendra algo de
parecido con el ftbol pero ya no sera el mismo. Ms parecera balonmano o rugby.
Ahora qu pasara si cambia algunas de esa reglas de la geometra? Es este el tipo de asuntos que
vamos a tratar en este captulo. Porque, precisamente, podramos decir que las geometras no
euclidianas respresentan un cambio de algunas de esas reglas. El nuevo juego resulta diferente pero
tambin contiene cosas similares.
En lo que sigue, vamos a conocer algunas de las geometras que se generaron al cambiar algunos de
los postulados clsicos de Euclides. Este no fue un proceso sencillo y fcil porque la geometra
euclidiana ha estado asociada a lo que se ha credo es el espacio que nos rodea. Y cambiar una
geometra as rompa y todava rompe muchos de los esquemas mentales e ideas que poseemos.
Su historia es la historia de una de las ms grandes revoluciones del pensamiento humano. Es
apasionante. Debera recordarse como se recuerda la Revolucin Francesa o el descubrimiento de
Amrica, y sin embargo la realidad es que pocas personas saben que existi esta revolucin.
Este libro constituye esencialmente una resea histrica e introductoria de las geometras no
euclidianas, pero tambin hemos querido dotarlo de algunos ejemplos o representaciones fsicas (o
visualizables) de las mismas. La primera parte est constotuida por cuatro captulos. El primer
captulo nos ofrece un recuento breve de los postulados y axiomas de la geometra euclidiana. El
segundo captulo recorre la historia del famoso quinto postulado, cuya negacin fue responsable de
la generacin de las geometras no euclidianas. En el tercer captulo resumimos la obra de Gauss,
Bolyai y Lobachevsky, los padres de este tipo de geometras. En el captulo cuarto describimos la
evolucin de las geometras no euclidianas y especialmente dentro del marco de la geometra
diferencial. Los captulos quinto y sexto, que constituyen la segunda parte del libro, ofrecen
representaciones visuales y fsicas de las nuevas geometras.
Este libro busca llenar una necesidad cultural y educativa en torno a la geometra y las
matemticas. Por sus caractersticas la geometra no euclidiana permite avanzar en la comprensin
de la naturaleza de las matemticas; en particular el sentido que en esta disciplina poseen las
premisas, los axiomas, y la lgica. Pero, ms importante, la historia de estas geometras ofrece un
ejemplo de cmo funciona la construccin matemtica en la realidad, en donde las condiciones
sociales, histricas e individuales ocupan un papel trascendental.
Para terminar este prefacio, deseo expresar mi agradecimiento a la Editorial de la Universidad de
Costa Rica por su apoyo para la publicacin de este libro.
Angel Ruiz
Catedrtico
Escuela de Matemtica
Universidad de Costa Rica
9 de setiembre de 1997.
Al describir la historia de las matemticas lo adecuado sera ofrecer una visin integral que
incorporara las contribuciones matemticas de otras culturas importantes adems de la occidental;
sin embargo, no es ste nuestro propsito en la presente resea orientada a la comprensin de la
creacin de las geometras no euclidianas. As pues, vamos a comenzar este libro con el
establecimiento de una periodizacin histrica, en general en concordancia con la historia de la
sociedad occidental.
Una primera etapa podemos decir que fue la greco-romana, donde la fase griega fue ms
sustantiva y significativa para las ciencias y las matemticas.
Una segunda etapa: la poca medieval, dominada esencialmente por una atmsfera cultural
poco propicia para el progreso de las ciencias y, por ende, un escaso desarrollo social y
cientfico.
Una tercera etapa: el Renacimiento, donde lo fundamental fue un cambio de actitud frente al
conocimiento y frente a la vida.
Una cuarta etapa fue la Revolucin Cientfica en el siglo XVII y, si se quiere, parte del siglo
XVIII.
Podemos decir que una quinta etapa la constituye el trabajo realizado por los matemticos
del siglo XVIII y parte del XIX, cuya caracterstica esencial fue el desarrollo de los temas y
mtodos matemticos generados en la revolucin matemtica y cientfica del XVII, con
especial nfasis en trabajos relacionados con el Clculo Diferencial e Integral.
Una sexta etapa se desarrolla en el siglo XIX, donde los elementos significativos fueron el
desarrollo del lgebra y en particular de la teora de grupos, la geometra proyectiva, las
geometras no euclidianas y la rigorizacin del anlisis y las matemticas en general.
7
Se puede decir que en algn momento en esta ltima etapa emerge la matemtica moderna que
llega hasta nuestros das. Es una decisin algo convencional el establecer los lmites finales de una
sexta etapa y el inicio de una stima, con toda precisin, porque las principales tendencias que
todava dominan las matemticas, de alguna forma, fueron planteadas y desarrolladas durante el
mismo siglo XIX.
En este captulo no ponemos nfasis en los resultados propiamente matemticos sino, ms bien, en
lo aspectos histricos generales que nos permitan ubicar el trabajo de los matemticos. Es decir, no
hay detalles matemticos solo descripcin de fases y caractersticas histricas globales de inters
especial para la comprensin del lugar intelectual que ocupan las geometras no euclidianas.
Thales y Pitgoras
Los primeros nombres de matemticos que vienen a nuestra mente son los de Thales de Mileto
(circa 625-545 a.C.) y Pitgoras de Samos (c. 580-500 a.c.), aunque no se sabe con exactitud cules
son los resultados matemticos que realmente obtuvieron. Probablemente, y a diferencia de otras
obras como las de Platn (c. 429.348 a.C.) o Herodoto, no existen obras especficas que nos den
certeza sobre sus trabajos y resultados.
En el caso de Pitgoras, que estableci una escuela cientfica y religiosa, ni siquiera se puede decir
si los resultados que se le atribuyen son suyos o de sus discpulos y correligionarios.
En general, con relacin a todas las obras de la Antigedad Clsica es muy difcil saber con
precisin el de-sarrollo histrico y las caractersticas especficas del mismo pues mucho se ha
perdido a lo largo de tantos siglos. No obstante, podemos establecer algunas ideas y concensos en
torno a este momento de las matemticas griegas.
Un primer detalle: tanto Thales como Pitgoras tuvieron influencia de las civilizaciones del bronce,
grandes culturas que dominaron el mundo conocido durante muchos siglos. Es Thales quien se
supone que inici la geometra deductiva, y a quien se le atribuye el teorema de que un ngulo
inscrito en una circunferencia es recto, y, tambin, que el crculo es dividido en dos partes iguales
por un dimetro.
Pitgoras
Periodo Alejandrino
Una nueva poca en la civilizacin griega comenz a partir de la conquista realizada por los
macedonios, un pueblo del norte de Grecia; se dice que los macedonios destruyeron la civilizacin
griega clsica y generaron la apertura de una nueva fase en la historia griega. La conquista
macedonia comenz con Filipo II alrededor del ao 352 a.C., de hecho Atenas fue derrotada en el
338 a.C.; sin embargo, quien ms huella dejara en la historia de la humanidad fue Alejandro El
9
Grande, precisamente hijo de Filipo. Alejandro conquist Grecia, el Cercano Oriente, Egipto y
lleg hasta la India; sin embargo, muri muy pronto y su gran imperio se dividi en tres partes. Una
de las partes que ms importancia tendra para el desarrollo de Occidente y, en particular, de las
ciencias, las tcnicas y la matemtica, fue el llamado Imperio de los Ptolomeos, cuya ciudad ms
importante llev el nombre de Alejandra.
Eudoxo
Antes de la nueva fase alejandrina, debemos mencionar el trabajo de Eudoxo (c.408-355 a.C.) que
naci en Cnido alrededor del ao 408 a.C. Este fue uno de los matemticos ms importantes de
toda la cultura griega. Eudoxo se supone fue discpulo de Arquitas (fl.c.400-360 a.C.), en Tarento;
y tambin form parte de la Academia de Platn. Es muy conocido por haber desarrollado el
llamado mtodo de exhauscin , para aproximar reas geomtricas.
Es interesante mencionar que Eudoxo evit considerar los nmeros irracionales como nmeros;
evit dar valores numricos a longitudes de segmentos de recta, tamao de ngulos y a otras
magnitudes as como las razones entre ellas. Esto implic una drstica separacin entre geometra y
aritmtica, y un cambio en la orientacin anterior que daba un nfasis al nmero como concepto
central (visin pitagrica).
10
Euclides y Apolonio
Ya en pleno perodo alejandrino, se suele citar los nombres de Euclides (fl.c.300 a. C.) y de
Apolonio de Perga (c.262-190 a.C.), aunque el trabajo de Apolonio se dice que posee el espritu del
perodo anterior.
Euclides es bien conocido por un famoso libro llamado Elementos, cuya influencia en la historia ha
sido extraordinaria, precisamente porque sintetiz, resumi y sistematiz todo el conocimiento
matemtico previo y, en particular, a travs de un mtodo que echaba mano de la lgica: la
axiomtica. Ya hablaremos de Euclides en los siguientes captulos. Ahora solo nos interesa colocar
su contribucin en el marco histrico que describimos.
Conjunto de puntos cuya distancia de un punto fijo es un mltiplo de su distancia de otro punto fijo
11
Arqumedes
La figura matemtica ms importante de toda la poca podemos decir que fue Arqumedes (c.287212 a.C.), quien estudi en Alejandra; aquel centro del Imperio de los Ptolomeos que fue una base
para la cultura y el aprendizaje en el mundo griego.
Adems del clculo de reas y volmenes, aproxim el nmero
hidrosttica, astronoma, y mecnica.
Se afirma que tuvo relacin con discpulos de Euclides precisamente en Alejandra y algunos de los
detalles de su vida son conocidos por medio de una historia escrita por el famoso Plutarco, 45-120
d.C., (Vidas paralelas: Marcellus), acerca de un general romano llamado Marcelo.
Arqumedes
12
Los romanos
Por diversas razones, el mundo griego fue derrotado por Roma y se cre una nueva fase en el
Mediterrneo gobernada por la influencia de los habitantes de la Pennsula Italiana.
Los romanos dejaron su impronta en la historia occidental, pero, en pocos siglos, a eso del V siglo
D.C., haban entrado en una plena decadencia.
Durante la poca romana si bien se dieron progresos con relacin a la organizacin poltica y
jurdica, a los medios de transporte y distribucin, para la cultura no represent una gran victoria:
los trabajos en ciencias, matemticas y en tcnicas fueron prcticamente congelados; es decir: un
gran retroceso durante siglos para el desarrollo del conocimiento.
13
14
econmicos, polticos y sociales y puede decirse que toda la poca estuvo llena de importantes
contradicciones culturales. Al igual que domin un contexto nada propicio para las ciencias y las
matemticas -como ya sealamos-, de la Edad Media son las primeras universidades "modernas'',
desarrollos urbanos novedosos, el progreso de mtodos y tcnicas agrcolas, y de transporte, etc.
Nos resulta ms apropiado, entonces, un enfoque "prudente'' que parta de esta diversidad y que
seale algunas tendencias importantes en su devenir social y cultural.
Los rabes
Antes de que hablemos un poco ms del Renacimiento y de la Revolucin Cientfica, expresemos
algunas consideraciones sobre el influjo rabe en la historia del pensamiento occidental, el cual
normalmente no es ampliamente divulgado en los libros de historia y los textos que usamos en
nuestras escuelas primarias y secundarias.
Los rabes eran un conjunto de pueblos nmadas que vivan en lo que hoy es la Pennsula Arbiga,
que bajo el liderazgo de un gran dirigente religioso llamado Mahoma constituyeron un
extraordinario imperio en el Mediterrneo. En el ao 632 d.C. el Imperio Arabe limitaba con la
India y Espaa, inclua el norte de Africa y el sur de Italia, mientras que Europa era apenas un
grupo de pueblos esencialmente atrasados y aislados. Los rabes construyeron una extraordinaria
civiliza-cin que cultiv ciencias, artes e incluso promovieron una atmsfera cultural, social y
poltica bastante flexible y tolerante con relacin a las religiones y a los pueblos alrededor del
Mediterrneo. Los rabes, por lo menos hasta el siglo XV, constituyeron el principal centro de
cultura, educacin, y ciencias de toda la regin. El fundamento bsico de su desarrollo cultural
16
Al-Khoarizmi
Solo para mencionar un ejemplo, debemos decir que en el caso de las matemticas su papel fue
esencial por la relevancia que le dieron al lgebra y a la aritmtica. Los griegos antiguos haban
geometrizado el lgebra y la aritmtica debido a los problemas que encontraron con los nmeros
irracionales y con algunas paradojas numricas. Las debilidades griegas hicieron que se
restringieran las posibilidades de desarrollo de la misma geometra; aunque los ms afectados
fueron el lgebra y la aritmtica. Los rabes usaron a diestra y siniestra los nmeros irracionales, al
igual que los hindes. La notacin posicional en base 10 y los nmeros negativos fueron
introducidos en Europa por el influjo hind y rabe.
Podemos citar el nombre de dos insignes matemticos rabes que han quedado guardados en
nuestra cultura: Mohamed ibn Al-Khoarizmi (c.825 d.C.) y Omar Khayyam (c.1038-1123).
La principal influencia rabe podemos decir que empez a tener su impacto en el mundo europeo
sobre todo a partir del mismo siglo XII, cuando represent ese extraordinario puente entre los
intelectuales europeos y la Antigedad griega. En muchas ocasiones, las primeras versiones que
recibieron los europeos de los textos clsicos de la Antigedad (tanto en matemticas, medicina,
qumica y otras reas del conocimiento y las tcnicas) fueron textos y obras traducidos por los
islmicos al arbigo.
17
18
19
Con el Renacimiento, que arranc en Italia y luego se extendi por otras partes del suelo europeo,
comenz una verdadera revolucin de ideas y una nueva actitud ante la sociedad, la naturaleza y el
hombre; revolucin que afirmamos constituye uno de los principales fundamentos del mundo
moderno.
El reencuentro con la Antigedad clsica fue importante, pero no fue el nico factor que pes;
diversas condiciones econmicas, polticas y sociales fueron un autntico caldo de cultivo para
poder potenciar los resultados cognoscitivos de la Antigedad que "reentraban'' en el mundo
occidental.
Matemticas renacentistas
El Renacimiento no produjo grandes resultados en matemticas, lo que no era el caso en otras
partes de la vida cultural, por ejemplo en la literatura y el arte. Pero la realidad es que en esta poca
se estaba logrando crear la infraestructura para dar el salto que se realiz en el siglo XVII y que
podemos sintetizar con el nombre de Revolucin Cientfica.
De esta poca, vienen a nuestra mente los nombre de algunos matemticos: Nicols de Cusa (14011464), Regiomontano (1436-1476), Luca Pacioli (1445-1514). Tambin es necesario mencionar
que los importantes trabajos en el lgebra (que como veremos seran fundamentales en el nuevo
periodo) estuvieron asociados a los italianos Hiernimo Cardano (1501-1576), y Niccolo Tartaglia
(c. 1500-1557). Otros matemticos de la poca fueron: Robert Recorde (1510-1558), Georg
Rheticus (1514-1576), Pierre de la Rame (1515-1572), Johannes Werner (1468-1522), Albrecht
Drer (1471-1528), Gerard Mercator (1512-1594) y Francesco Maurolico (1494-1575).
20
La teora heliocntrica (los planetas giran alrededor del Sol) de Coprnico (1473-1543), que posea
antecedentes en la misma Antigedad, fue defendida radicalmente por Galileo, integrando no solo
el marco terico de Coprnico sino tambin los resultados de los astrnomos Tycho Brahe (15461601) y Johannes Kepler (1571-1630). El combate que libr este gran cientfico con las ideas e
instituciones dominantes (que le cost condena y castigo por la Inquisicin) se convirti en un
impulso extraordinario en la construccin de la nueva ciencia.
El debate con relacin a los mtodos de la ciencia resida en que para los escolsticos las
"verdades'' se encontraban en la revelacin divina y no en el ejercicio de la experiencia y la razn.
Fueron muy pocos los intentos antes del Renacimiento por acudir a la experiencia o a
procedimientos experimentales.
Galileo Galilei
21
La Revolucin Cientfica
Para la revolucin intelectual que se dio en las ciencias y las matemticas del siglo XVII fue
necesaria la matemtica griega y rabe, pero adems el desarrollo de ciertas ciencias empricas y
algunas tcnicas nuevas. Tampoco puede decirse que las matemticas del Renacimiento y el nfasis
que se le dio al lgebra y a la aritmtica fueran producto exclusivo del influjo griego o de los
mismos trabajos rabes; las tradiciones medievales realizadas en ciudades italianas y germanas
durante la poca medieval, tambin, jugaron su papel.
Durante el Renacimiento, las matemticas tuvieron aplicacin en varias reas: desde la
contabilidad, la cartografa hasta la agrimensura, el arte y la ptica.
Durante esta poca hubo un inters por las obras griegas de cierta complejidad terica, pero esto no
fue muy significativo; podemos decir que obras de Apolonio, Arqumedes o de Pappus (fl.c. 320 d.
C.) no haban sido todava traducidas al latn durante esta poca. Tampoco la geometra tuvo
mucho desarrollo pero, como hemos dicho antes, lo fundamental no estaba tanto en los resultados
como en la actitud que se haba abierto hacia la realidad y hacia los mtodos del conocimiento.
Ya en el siglo XVII, la Revolucin Cientfica busc de-sarrollar mtodos matemticos y cientficos
apropiados para poder integrar una gran coleccin de resultados en la fsica y en la astronoma que
se haban estado generando.
22
Entonces: en los tiempos de una sociedad emergente (como la europea del Renacimiento del siglo
XVII), todo conduca a un replanteo del tipo de geometra que se hizo en la Antigedad, y no solo
de la geometra sino, tambin, de las matemticas en general.
Consideremos un ejemplo: uno de los temas claves de la historia de las matemticas es el de los
mtodos infinitesimales que constituyen la base del Clculo Diferencial e Integral. En la
Antigedad griega se trabaj con los conceptos de infinito y continuidad que son los que estn a la
base del Clculo.
Obras de Eudoxo y de Arqumedes en esa direccin son pioneras y constituyen, tambin, una
muestra de la calidad de pensamiento que se lleg a tener en esta fase de la historia de la
humanidad, sin embargo, la geometra euclidiana (que ocup un lugar tan importante en la historia
de las matemticas durante siglos y siglos) posea limitaciones que le impedan integrar
tericamente los mtodos infinitesimales. Exclua, por ser esencialmente esttica, el tiempo en los
fenmenos fsicos que trataba de describir.
Los procesos cinemticos no podan ser captados por la geometra tradicional. Incluso, curvas
como la espiral de Arqumedes, la cuadratiz de Hippias o la conchoide de Nicomedes, no podan
ser integradas por esta geometra clsica porque stas curvas estaban definidas en trminos de
movimiento.
Los mtodos de Pappus tampoco podan integrarse y, por supuesto, no poda integrarse en ese
marco conceptual el movimiento de los cuerpos fsicos, los cambios en el espacio y el tiempo, la
variacin de las cantidades: asuntos fundamentales para los matemticos y cientficos del siglo
XVII.
23
24
La Geometra Analtica
Una mencin aparte y especial para nosotros en este libro merece la Geometra Analtica que, como
sabemos, conecta los conceptos de la geometra con los del lgebra y viceversa; al decir de
Descartes, la expresin de curvas por medio de relaciones algebraicas. Ya desde la Antigedad esta
vinculacin se trat de plantear. Por ejemplo Menecmo, quien fue discpulo de Eudoxo, se supone
que conoca algo de geometra analtica; aunque con las limitaciones impuestas al lgebra por los
griegos es difcil que esto haya sido muy desarrollado. Sin embargo, Apolonio de Perga en su
famosa obra Las Cnicas, y quien vivi alrededor de los aos 262 y 190 a.C., us rectas de
referencia para puntos, tambin un dimetro y una tangente a la misma para expresar esos puntos;
es decir, algo parecido a lo que en geometra analtica moderna hacemos cuando usamos los ejes de
coordenadas. Tambin Pappus y Omar Khayyam los usaron en su resolucin de ecuaciones
cbicas.
Parte de la obra de Las Cnicas fue traducida por los rabes y fue introducida en Europa
precisamente por Edmund Halley (1556-1742) quien fue un cientfico amigo de Newton.
Descartes
Muchos otros matemticos hicieron algunos avances en esta relacin entre lgebra y geometra
durante esta poca. Giovani di Casoli, Nicole Oresme (c. 1323-1382) y el mismo Galileo haban
tratado de establecer representaciones grficas de conceptos como los de tiempo, rapidez, distancia
y velocidad; sin embargo, fue Ren Descartes quien di el impulso definitivo en esta direccin a la
geometra. Subrayemos que Descartes es considerado el primer filsofo moderno y, por eso mismo,
debe interpretarse que la geometra analtica corresponde al espritu de lo que ya es una nueva era
en el desarrollo de la sociedad occidental.
Ren Descartes
25
Fermat
Se le atribuye tambin la creacin de la geometra analtica a Pierre de Fermat, quien escribi sobre
estos temas antes incluso que Descartes hubiera publicado su obra seminal sobre el tema, pero que,
desafortunadamente, fue publicada de manera pstuma posteriormente a la obra de Dercartes.
El lgebra
Lo importante a subrayar ac es el uso de los mtodos algebraicos. Podramos decir que hasta el
siglo XVII el lgebra estuvo subordinada a la geometra y a partir de este momento el rol se invirti
y, con ello, se dio un cambio sustancial en la historia de las matemticas.
A pesar del impacto de la geometra analtica desarrollada por Descartes y Fermat, su repercusin
no fue tan grande en esa poca; fue hasta el trabajo de Gaspard Monge (1746-1818) y sus
discpulos en la Escuela Politcnica Francesa, ya en el siglo XVIII y XIX, que lleg a tener la
importancia, proyeccin, dinamismo e impacto que hoy reconocemos a la geometra analtica. Sin
embargo, debemos decir que la geometra analtica fue decisiva para el desarrollo del Clculo
Diferencial e Integral, que constituy una autntica revolucin en el pensamiento matemtico.
26
En el siglo XVII las ideas cientficas se abrieron con gran intensidad. Gassendi (1592-1655)
introdujo de nuevo una forma de la teora atomista de Leucipo y Demcrito. Grimaldi (1618-1663)
y despus Newton obtuvieron resultados en la ptica y en el esclarecimiento de la naturaleza de la
luz. Huygens hizo una descripcin matemtica de un funcionamiento ondulatorio de la luz.
Torricelli (1608-1647), discpulo de Galileo, invent el barmetro descubriendo la presin
atmosfrica y tambin el "vaco''. Es el siglo de Boyle con sus resultados sobre el vaco y la teora
de gases; tambin de Hooke, a quien se le atribuye haber sido el principal fsico experimental antes
de Faraday. Los resultados y las figuras cientficas del XVII pueden seguir enumerndose pero, sin
duda, es la obra de Newton la que culmina la llamada Revolucin Cientfica.
La teora newtoniana de la gravitacin universal complet la destruccin del modelo cosmolgico
anterior. Con Newton, efectivamente, puede considerarse que una fase intelectual fue completada.
En las etapas histricas siguientes nuevos saltos cualitativos hacia adelante en la ciencia van a
demandar ms condiciones econmicas, tcnicas, polticas y sociales.
27
Isaac Newton
El Clculo
Con la creacin del Clculo infinitesimal va a completar los trabajos matemticos que desde
Eudoxo y Arqumedes en la Antigedad hasta Kepler, Fermat y Descartes (entre muchos otros en la
nueva poca) se venan dando en busca de un mtodo para abordar el "continuo''. El Clculo
infinitesimal represent el resultado matemtico ms decisivo del siglo XVII, que generara un
extenso territorio intelectual para los siglos siguientes no solo en las matemticas sino en la ciencia
en general. Ya slo esto hubiera sido suficiente para inmortalizar a Newton, pero realiz otra
hazaa intelectual: la mecnica celeste; es decir, la descripcin del movimiento de los astros a
partir de las leyes de la mecnica terrestre. Fue la fundicin terica de los resultados de Coprnico
y Kepler con los de Galileo. No se trataba de un sistema filosfico, sino de una descripcin
matemtica.
La obra que condens sus extraordinarias contribuciones a la mecnica fue el famoso Philosophiae
naturalis principia mathematica ("Principios matemticos de la filosofa natural''), publicado en
1687. Es una de las joyas del pensamiento humano. En ella, donde aplica hasta cierto punto el
Clculo, formula con gran rigor matemtico las leyes de Kepler sobre el movimiento planetario, las
cuales haban sido establecidas de manera emprica. Newton demostr que estas leyes se deducan
de la ley de gravitacin de los cuadrados inversos:
La fuerza gravitacional entre dos masas es igual a una constante por el producto de las masas,
dividido ste por el cuadrado de la distancia entre ellas.
Explic el movimiento de los cuerpos celestes y de las mareas. Tambin estableci los
fundamentos de la teora del movimiento de la Luna. Newton asumi un tratamiento axiomtico y
matemtico, en el que asuma el espacio y el tiempo como absolutos.
El descubrimiento-construccin del Clculo lo realiz entre 1665 y 1666 mientras estaba en su
lugar de nacimiento en el campo para escapar de la peste que atormentaba Cambridge.
28
Newton construy el Clculo entre 1665 y 1666 mientras Leibniz lo hizo entre 1773 y 1776, pero
fue Leibniz quien public primero sus resultados entre 1684 y 1686 y, luego, lo hizo Newton entre
1704 y 1736. Ambos hicieron sus contribuciones de manera independiente y con caractersticas
propias, sin embargo se dio una polmica muy famosa, que dur dcadas, sobre quin lo haba
encontrado primero.
Con el Clculo se resolvieron problemas fundamentales que implicaban el uso de un concepto
central: el lmite. Tanto Newton como Leibniz usaron esta nocin pero lo hicieron de una manera
ms bien intuitiva, fsica o geomtrica. Una formulacin ms precisa y rigurosa tendra que esperar
ms de un siglo en la historia de las matemticas.
Wilhelm Leibniz
Con la idea de "lmite'' no solo se respondera a los problemas inmediatos con los que se
enfrentaron los matemticos de la Revolucin Cientfica, sino a aquellos originados en la
Antigedad alrededor del infinito y la continuidad. Todos esos procesos matemticos en los que se
us el trmino "indefinidamente'' hacan referencia al lmite. Ya fuera que se planteara realizar
sumas indefinidas de trminos o subdivisin indefinida de una longitud, rea o volumen, hay una
relacin con los mtodos infinitos. Es la nocin de lmite a la que se apela cuando en el mtodo de
Exhauscin se pasa del rea de polgonos regulares inscritos en un crculo con lados, al rea del
crculo. O, tambin, cuando se puede dividir un rea en un nmero infinito de rectas "indivisibles'',
o cuando para calcular el rea bajo la curva se construye rectngulos y, luego, este nmero se
vuelve infinito o, lo que es igual, la base de los mismos "se va hacia el cero''.
29
Para el clculo de reas se retom el espritu del mtodo de eshauscin con aproximaciones al rea
por medio de figuras geomtricas representadas analticamente; los rectngulos sustituyeron los
tringulos (o polgonos compuestos por tringulos) que se usaron anteriormente. El concepto de la
integral posee su origen en estos objetivos. Debe subrayarse la existencia de una ntima relacin
entre Geometra Analtica y Clculo. Aunque el clculo de reas, longitudes y volmenes ocup
una historia ms larga en las matemticas, el clculo de la tangente a una curva (planteado en el
siglo XVII) fue decisivo y determinante para el desarrollo de los mtodos El clculo de la recta
tangente y el de la velocidad instantnea se redujeron al clculo de la derivada, lo que hoy
reconocemos como un tipo particular de lmite. Newton, incluso, consider sus derivadas como
velocidades. No podemos dejar de mencionar que la relacin complementaria o inversa entre los
procesos de la derivacin y la integracin fue uno de los resultados ms interesantes y
sorprendentes de esta temtica.
30
Un balance
En menos de dos siglos los matemticos europeos lograron sobrepasar con creces los lmites de
toda la produccin matemtica de la Antigedad. Eso se explica sin duda por las diferencias en las
sociedades y en el trabajo intelectual que existi entre ambos tipos de organizacin social. Es
importante sealar esta diferencia en tanto expresa la existencia de un ritmo muy elevado en la
produccin cientfica y matemtica que ha sido -desde entonces- decisivo para el progreso de la
cultura y la sociedad occidental. Debe subrayarse, adems, que no solo se ampli cuantitativamente
31
el nmero de trabajos sino que hubo un progreso cualitativamente superior, tanto en la profundidad
de los mtodos como en la creacin de nuevos conceptos y diferentes disciplinas matemticas.
Los matemticos del siglo XVII terminaron de establecer varios cambios fundamentales con
relacin a las matemticas antiguas:
Papeles diferentes para el lgebra y la geometra: del dominio en mtodos y criterios de
rigor basados en la geometra (en la Antigedad), se pas a darle relevancia al lgebra.
Los resultados de las matemticas dejaron de percibirse como simples idealizaciones de la
experiencia y se empez a favorecer --lentamente-- un tratamiento ms abstracto: de la
idealizacin inmediata a la construccin de conceptos y mtodos.
La introduccin del Clculo con mtodos alejados de los estndares de rigor y deduccin de
la geometra clsica promovi el uso de procesos inductivos.
La estrecha relacin entre matemticas y ciencias naturales condujo a una interdependencia
y fusin que no permita muchas distinciones entre ciencias y matemtica.
Las matemticas del siglo XVIII, a diferencia de las del siglo XVII, fueron esencialmente
cuantitativas. Fue un siglo de un gran desarrollo matemtico conectado a la evolucin de las
ciencias llamadas naturales. Configuraba, como veremos, una situacin que podramos caracterizar
como contradictoria. Se tena una gran produccin matemtica, un gran xito en la capacidad de
prediccin en la ciencia de los resultados matemticos y, al mismo tiempo, segn muchos
historiadores "un marasmo lgico en los fundamentos''. El centro del Anlisis era el Clculo y a
pesar de la enorme oscuridad lgica, a pesar del uso "liberal'' de los nmeros, ste experiment un
enorme desarrollo.
El Anlisis
El ms grande de los matemticos del siglo XVIII fue, sin duda, el suizo Leonhard Euler y el ms
prolfico de todas las pocas: 886 libros y artculos, sobre cada uno de los campos de la
matemticas de su poca.
Leonhard Euler
32
El trabajo de este gran matemtico permite apreciar la diversidad de los usos matemticos y
aplicaciones que poda tener el Clculo: ecuaciones diferenciales, geometra analtica y diferencial
de curvas y superficies, series y clculo de variaciones. En la fsica, Euler us la mecnica analtica
(la aplicacin del Clculo a la mecnica tradicionalmente geomtrica). Calcul la perturbacin de
los cuerpos celestes en la rbita de un planeta y las trayectorias de proyectiles lanzados en medios
con resistencia determinada. Estudi la propagacin del sonido y la consonancia y disonancia
musicales. Fue el nico de los cientficos del siglo XVIII que afirm el carcter ondulatorio de la
luz (y no corpuscular y analiz el calor como oscilacin molecular). Euler describi con ecuaciones
diferencialesel movimiento de un fluido (ideal) y aplic su modelo a la circulacin sangunea.
Segn el parecer de algunos historiadores: Euler hizo por el Clculo infinitesimal de Newton y
Leibniz lo que Euclides hicieron por la Geometra de Eudoxo y Teeteto, o Vieta por el lgebra de
Al-Khoarizmi y de Cardano. Con Euler los resultados de Newton y Leibniz se integraron
armnicamente al Anlisis, concebido ste como el campo matemtico que engloba el estudio de
los procesos infinitos. La obra que esencialmente realiza esta precisin y ampliacin del Clculo
infinitesimal fue Introductio in analysin infinitorum, publicada en 1748. En este libro la idea de
funcin, que estuvo presente de forma intuitiva en sus predecesores es convertida por Euler en el
concepto central del nuevo anlisis. El concepto de funcin y las funciones algebraicas y
trascendentes elementales ya haban sido introducidas en el siglo XVII. En la consideracin de
varios problemas clsicos, Leibniz, Jacques y Jean Bernoulli, L'Hpital, Huygens y Pierre
Varignon usaron funciones conocidas y construyeron muchas otras de mayor complejidad.
De la misma manera, en este siglo se desarroll tambin el clculo de funciones de 2 y 3 variables.
Aunque Newton, Jean y Nicolaus Bernoulli haban realizado la diferenciacin en funciones de 2
variables, la teora fue plenamente desarrollada por varios matemticos: Alexis Fontaine de Bertins
(1705-71), Euler, Clairaut y D'Alembert. Entre 1744 y 1745, D'Alembert trabajando en dinmica
extendi el clculo de las derivadas parciales.
33
Una sntesis
En el siglo XVII hubo desarrollos importantes en el lgebra, se inici la Geometra Proyectiva y
tambin la Teora de las Probabilidades, se cre la Geometra Analtica, y muchos asuntos de la
Antigedad clsica fueron abordados y resueltos. Lo ms importante, sin embargo, sera la creacin
del Clculo Diferencial e Integral.
Ya en el siglo XVIII el Clculo ampliara extraordinariamente los campos abiertos y generara
nuevos, por ejemplo: las Series Infinitas, el Clculo de Variaciones, la Geometra Diferencial, las
Ecuaciones Diferenciales, el Anlisis de Funciones con variables complejas y muchas otras.
Geometra proyectiva
Un campo de la geometra que tambin posee importancia fue el estudio de las propiedades
proyectivas de las figuras, lo que se suele llamar como la Geometra Proyectiva. Puede encontrarse
trazos de sta en Pascal y Desargues, y se puede sealar como referencia la obra desarrollada
primeramente por Gaspard Monge (1746-1818), quien fue director de la Ecole Polytechnique en
Francia y que, muchas veces, se caracteriza como el primer especialista moderno de la geometra.
Monge public su libro Gomtrie descriptive, que condensaba sus lecciones en la Ecole Normale
entre 1794 y 1795, que utilizaba proyecciones.
35
Vctor Poncelet
Fue, sin embargo, un discpulo de Monge, Jean Victor Poncelet (1788-1867), quien realmente hizo
una gran sistematizacin de estas propiedades proyectivas de las figuras (Applications d'analyse et
de gomtrie 1813-1814, Trait des propiets projectives des figures , 1822).
En Francia, Michel Chasles (1793-1880) continu la obra de Poncelet (Trait de gomtrie
supriure, 1852).
En Alemania, Jakob Steiner (1796-1863) tambin hizo geometra proyectiva (Systematische
Entwicklungen, 1832). Tiempo despus, el alemn K. G. C. von Staudt (1798-1867) construy la
geometra proyectiva sin usar magnitudes ni mmeros (en su obra Geometrie der Lage, 1847).
Estos trabajos tambin tendran un impacto importante en las matemticas del siglo XIX.
lgebra
Uno de los campos ms desarrollados en el siglo XIX tambin fue el lgebra, y una de las grandes
creaciones del lgebra fue la Teora de Grupos, donde la figura ciera es la del francs Evariste
Galois (1811-1832).
Evariste Galois
36
Un conjunto de elementos forma un grupo con una operacin si: el conjunto es cerrado bajo esa
operacin (operar dos elementos da otro del mismo conjunto), contiene un elemento neutro (
, para cada elemento existe un elemento inverso (
), y la
operacin es asociativa
El conjunto puede estar formado de
nmeros, puntos, rectas y otras figuras, transformaciones (algebraicas o geomtricas) y otros
objetos. Las operaciones pueden ser aritmticas, algebraicas o geomtricas. La fuerza de
generalizacin que estos instrumentos matemticos poseen es extraordinaria.
Galois, usando ideas que haba mencionado el matemtico tambin francs Joseph Louis Lagrange
(1736-1813) y el italiano Paolo Ruffini (1765-1822), expres las propiedades fundamentales de lo
que se suele llamar el Grupo de Transformaciones de las races de una ecuacin algebraica.
A partir de un trabajo sobre estos grupos, muchos de los problemas clsicos podan ser resueltos
como, por ejemplo, la triseccin del ngulo, la duplicacin del ngulo, la solucin de las
ecuaciones cbica y bicuadrtica, as como la solucin de ecuaciones algebraicas de diferentes
grados.
Aunque la obra de Galois fue anterior a la de los britnicos, sus ideas no tuvieron impacto hasta
1846 cuando se publicaron. Su influencia condujo tambin a la elaboracin del concepto de cuerpo
a travs de resultados de los alemanes Richard Dedekind, Leopold Kronecker (1823-1891) y Ernst
Eduard Kummer (1810-1893).
En el mundo britnico, ya mencionamos los trabajos algebraicos de Hamilton y Clifford, tambin
debemos mencionar que muchos de los resultados de los ingleses en el siglo XIX fueron en el
lgebra y sus aplicaciones a la geometra; entre los nombres ms relevantes que podemos citar
estn: Cayley, Sylvester y Salmon. Por ejemplo Cayley trat de dar una sistemtica teora de los
invariantes de formas algebraicas, con simbolismo propio y y sus leyes (algo as como una
contraparte algebraica de la geometra proyectiva de Poncelet); sus trabajos le permitieron integrar
la geometra mtrica dentro de la proyectiva. James Joseph Sylvester (1814-1897) obtuvo una
teora de los divisores elementales (1851) y una ley de la inercia de formas cuadrticas (1852).
George Salmon (1819-1914) contribuy esencialmente en la redaccin de textos en geometra
analtica y teora de invariantes que fueron decisivos para muchas generaciones. La influencia
anglosajona lleg a los Estados Unidos, lo que se aprecia en la obra de Benjamin Peirce (18091880).
No solo en el mundo anglosajn tuvieron impacto los algebristas britnicos. Tambin en Alemania,
con matemticos como Otto Hesse (1811-18749 , Siegfried Heinrich Aronhold 81819-1885),
Alfred Clebsch (1833-1872) y Paul Gordan (1837-1912).
Geometra y lgebra
Buena parte de los trabajos en geometras no euclidianas, geometra proyectiva y en lgebra y
teora de grupos, fue sintetizada de una manera extraordinaria por un gran matemtico alemn:
Felix Klein (1849-1925).
37
En 1872, Klein sistematiz la geometra usando la teora de grupos en algo que se llam el
Programa de Erlangen. Una geometra era el estudio de las propiedades de figuras que se
mantienen invariantes cuando se aplica un grupo de transformaciones. El asunto se puede poner
as: al ampliar o reducir el grupo se pasa de una goemtra a otra. Se asocia, entonces, grupos de
transformaciones y clases de geometras. Un ejemplo: la geometra eucldea plana se asocia al
grupo de transformaciones dado por las traslaciones y rotaciones en el plano (los objetos son las
figuras del plano invariantes bajo este grupo de transformaciones); la geometra proyectiva se
asocia a un grupo que se denomina precisamente proyectivo.
Felix Klein
Esta aproximacin revolucionaria domin la geometra hasta hace poco tiempo. La Teora de
Grupos permita la sntesis de los trabajos algebraicos y geomtricos de Monge, Poncelet, Gauss,
Cayley, Clebsch, Grassmann y Riemann. Para que se tenga una idea, Klein demostr que las
geometras no euclidianas se podan concebir como geometras proyectivas.
Debe mencionarse en todos estos resultados la colaboracin de un gran matemtico noruego:
Sophus Lie (1842-1899), que con Klein juntos comprendieron la importancia del uso de los grupos;
de hecho, mientras Klein enfatiz los grupos discontinuos, Lie lo hizo en los continuos.
Tal vez podamos decir que al igual que la Geometra Analtica en el siglo XVII integr la
geometra clsica con mtodos algebraicos desarrollados por los algebristas del Renacimiento y
rescatando tradiciones medievales y rabes, Klein tambin integr esta vez resultados de la
geometra del siglo XIX con el lgebra de la misma poca. Estos vnculos entre lgebra y
geometra, como tambin sucedera entre todas las diferentes disciplinas y campos de las
matemticas, se convertiran hasta hoy en da en una caracterstica esencial de la matemtica
moderna.
38
La lgica
Dos asuntos plantearon el desarrollo de los mtodos lgicos en las matemticas del siglo XIX. Uno
de ellos fue los problemas de rigor, las "lagunas'', que se encontraron en el desarrollo del Clculo;
esto condujo a una construccin ms rigurosa de los mtodos infinitesimales y de los nmeros
reales (especialmente los irracionales). Los trabajos de Bernard Bolzano (1781-1848), Augustin
Louis Cauchy (1789-1857), Karl Weierstrass (1815-1897) y Richard Dedekind (1831-1916), y
hasta el mismo creador de la teora de conjuntos Geor Cantor (1845-1918), se colocan en esta
direccin.
Por otra parte, ms por el lado algebraico (generalizacin de objetos, reglas operatorias,
simbolismo) se encuentra los resultados de los britnicos Augustus De Morgan (1806-1871) y
especialmente el trabajo de George Boole, 1815-1864, (The Laws of Thought, 1854) que trat de
construir una lgebra de la lgica, en la direccin de lo que haba sido una idea de Leibniz: una
characterica generalis, es decir: un lenguaje simblico y operatorio para realizar el pensamiento.
Los trabajos de Boole superan los de Leibniz (que ya haban intentado ser superados por diversos
autores previos: Segner, J. Lambert, Ploucquet, Holland, De Castillon, Georgonne). Sus trabajos
tambin van a servir como base para Jevons, el mismo De Morgan y el norteamericano Charles
Sanders Peirce. De Morgan haba establecido en su Formal Logic de 1847 que la lgica se refiere
esencialmente a relaciones, al igual que Boole. Peirce extendera estos resultados en sus escritos
entre 1870 y 1893, y Schreder los sistematizara. El nfasis en las relaciones era una consecuencia
del flujo general que apuntalaba la axiomtica y de una nueva aproximacin hacia la matemtica y
la lgica. Peirce enfatiz los conceptos de "funcin proposicional'' y los cuantificadores. La
conjuncin de relaciones, clases, funciones proposicionales y cuantificadores abra una nueva etapa
en la lgica y describa el panorama de las misma previo a un gran lgico alemn: Frege.
Estos trabajos motivaron en buena parte el proyecto logicista de Gottlob Frege que busc toda su
vida reducir las matemticas a la lgica (Die Grundlagen de Arithmetik, 1884). Para buscar su
cometido, Frege construy el aparato simblico ms importante de la lgica desde Aristteles
(Begriffsshrift, 1879). En esa direccin se coloc durante bastantes aos la obra del ingls Bertrand
Russell (1872-1970); su libro escrito con Alfred North Whitehead (1861-1947), Principia
Mathematica, es un clsico de la filosofa de las matemticas y de la lgica.
Resulta intersante mencionar el trabajo en lgica matemtica del italiano Giuseppe Peano (18581932), que buscaba -como Frege- un lenguaje formalizado para expresar las matemticas (padre de
smbolos como:
contiene a
pertenece a
unin).
39
David Hilbert
No sobra mencionar otra aproximacin a estos intentos de fundamentacin de las matemticas: el
intuicionismo, desarrollado esencialmente por el holands L.E.J. Brouwer (1881-1966), que
afirmaba que lo ms importante para la naturaleza de las matemticas era la intuicin y no el
lenguaje y la lgica. En el bando intuicionista estuvo uno de los colegas de Einstein en Zrich en
1913, y un gran matemtico: Hermann Weyl (1885-1955). Toda esta temtica ocup un lugar
importante en las primeras dcadas del siglo XX.
Otra periodizacin
Podemos considerar la historia de las matemticas dividida en dos grandes fases: antes del siglo
XIX y sus resultados matemticos, y despus de estos resultados. El asunto que establece la
divisin es la naturaleza de las matemticas o, mejor dicho, la opinin y conciencia sobre la
naturaleza de las matemticas que la comunidad matemtica desarroll.
Hasta el siglo XIX, con la emersin de las geometras no euclidianas, lgebras y nmeros
abstractos no conmutativos, siempre, de alguna u otra forma, se asumi las matemticas como una
descripcin directa de la realidad fsica del mundo que nos rodea. La tesis de que los nmeros
representan cosas, corazn de la visin pitagrica de la Antigedad, se filtr en la conciencia
occidental, en el Renacimiento, la Revolucin Cientfica y en el perodo posterior para afirmar una
40
41
1.8 PREGUNTAS
Conteste las siguientes preguntas
1. Cul es el periodo alejandrino de la historia de las matemticas?
2. Cules consecuencias tuvo la actitud de Eudoxo con relacin a los inconmensurables?
3. Quin se podria decir fue el principal matemtico de la Antigedad griega?. Por qu?
4. Describa las caractersticas esenciales de la educacin y el conocimiento en la Edad Media?
5. Qu es el Renacimiento?
6. Mencione algunos de los logros de la llamada Revolucin Cientfica.
7. Explique algunas de las contribuciones intelectuales de Galileo.
8. Explique por qu el autor considera que la geometra euclidiana posea lmites.
9. Mencione 3 resultados famosos del trabajo intelectual de Newton.
10.Explique y compare algunas de las principales caractersticas de las matemticas del siglo
XVIII.
11.Qu hizo Euler por el Clculo?
12.Seale 2 resultados que para el autor de este libro fueron decisivos en la historia de las
matemticas del siglo XIX.
13.Cu fue la principal contribucin de Galois a las matemticas?
14.Cul fue la contribucin matemtica de Lobachevsky?
15.Explique qu era el Programa de Erlangen?
16.Cmo se dividieron su trabajo matemtico Lie y Klein?, explique.
17.Que teora famosa cre Georg Cantor?
18.Mencione una contribucin de Peano a las matemticas?
19.Qu es el Logicismo?
Diga si la proposicin es falsa o verdadera. Explique.
20.Pitgoras perteneci al periodo alejandrino.
21.Apolonio rechaz los irracionales.
22.Las paradojas de Zenn fueron utilizadas por San Agustn.
23.Las matemticas medievales fueron producto exclusivo de los europeos.
24.Los rabes dieron importancia al lgebra y a la aritmtica.
25.La Revolucin Cientfica precedi al Renacimiento.
26.La Geometra Analtica fue creada por Apolonio de Perga.
42
43
Los historiadores de las matemticas ms conocidos sealan que se ha perdido por lo menos la
mitad de las obras de Euclides. Algunos especulan que hasta elementos de geometra analtica
podan haber estado en estos libros y obras perdidos.
Las cinco obras de Euclides que sobrevivieron hasta nuestra poca han sido: Los Elementos, Los
Datos, La Divisin de Figuras, Los Fenmenos y La Optica. El libro ms importante y de mayor
influencia histrica fue claramente los Elementos.
Ahora bien, la opinin de los historiadores es que no se trataba de un compendio; es decir, no se
trataba de una sntesis de los trabajos matemticos previos a la poca, sino que ms bien era algo
as como un libro introductorio, con la aritmtica y la geometra elementales bsicas disponibles.
Euclides nunca en este libro asumi o pidi crdito de originalidad, por lo que se supone que
probablemente tom muchos elementos de matemticos anteriores o de la poca; lo que
esencialmente hizo fue una ordenacin lgica y siguiendo un mtodo que se le suele atribuir como
algo original. El asunto es todava ms complejo si entendemos que este trabajo fue copiado
posteriormente a Euclides y, posiblemente, los copistas aadieron cosas que no correspondan a la
creacin de Euclides; es decir, es seguro que no sabemos cunto fue realmente de Euclides.
Los Elementos de Euclides fue el primer libro de texto que tuvo el mayor impacto en la historia de
la humanidad. La primera versin impresa del libro apareci en el ao 1482 en Venecia, uno de los
primeros libros que se imprimi, y desde entonces se afirma que ha tenido ms de mil ediciones.
Hay quienes dicen que salvo la Biblia, probablemente, no existe otro libro que haya tenido tantas
ediciones.
45
"Verdades'' como las anteriores son las que se conocen como los famosos postulados y axiomas de
la geometra clsica y que se encuentran en el libro Elementos de Euclides.
Los Elementos contiene trece libros o captulos (aunque se le aadieron 2 libros ms escritos por
autores posteriores). Los primeros 6 son sobre geometra plana, los tres siguientes sobre teora de
nmeros, el dcimo sobre inconmensurables, y los tres ltimos sobre geometra de slidos. El libro
empieza con 23 definiciones, dos de las cuales son:
"un punto es lo que no tiene parte'',
"una recta es una longitud sin anchura''.
Los postulados de Euclides tambin se encuentran en el Libro I de los Elementos. Se suele hacer
una distincin entre postulados y nociones comunes o axiomas.
Postulados
1. Se puede trazar una recta desde un punto a otro cualquiera.
46
5. Que si una lnea recta corta a otras dos rectas formando con ellas ngulos interiores del mismo
lado menores que dos ngulos rectos, las dos lneas rectas, prolongadas indefinidamente, se cortan
del lado por el cual los ngulos son menores que dos ngulos rectos.
47
Nociones comunes
1. Cosas que son iguales a la misma cosa son iguales entre s.
2. Si iguales se suman a iguales, los resultados son iguales.
3. Si iguales se restan de iguales, los restos son iguales.
4. Cosas que coinciden una con otra son iguales entre s.
5. El todo es mayor que la parte.
Los dos primeros postulados son abstracciones derivadas de nuestra experiencia con una regla.
El tercer postulado se obtiene de nuestra experimentacin con un comps.
El cuarto postulado es tal vez menos obvio y ms abstracto, pero se deduce de nuestra experiencia
midiendo ngulos con un transportador (donde la suma de ngulos suplementarios es 180, tal que
ngulos suplementarios son congruentes entre s).
La nocin cuarta se refiere a la "superposicin'' de figuras y es geomtrica en su carcter; por eso
debera Euclides haberla colocado ms bien como un postulado.
Los Elementos condens el desarrollo lgico de la matemtica de la poca y tuvo que pasar ms de
2 000 aos para que se realizara una formulacin ms cuidadosa.
Para que se tenga una idea, el Libro I contiene los teoremas sobre congruencia de tringulos,
construcciones elementales con regla y comps, desigualdades relativas de ngulos y lados en un
tringulo, rectas paralelas, paralelogramos y demostraciones del teorema de Pitgoras y su
recproco.
48
El quinto postulado
El quinto postulado ha sido el controversial.
Es diferente de los otros porque no se puede verificar empricamente si dos rectas se cortan, ya que
solo podemos trazar segmentos y no las rectas completas.
Podemos extender los segmentos cada vez ms lejos para ver si se cortan en algn punto, pero no
se pueden extender infinitamente.
Con ese postulado, Euclides ofreci una formulacin de este asunto fundamental que es el
paralelismo.
Tiempo despus se demostrara que este quinto postulado, tal y como lo plante Euclides, es
equivalente a afirmar que por un punto externo a una recta dada solo pasa una paralela.
Buscando paralelas
2.2 AUTOEVIDENTES?
Pero volvamos a los postulados.
El gran filsofo de la Antigedad griega Aristteles haba hecho una distincin entre postulados y
nociones comunes o axiomas.
Los axiomas eran evidentes en s mismos y comunes para todas las ciencias.
Los postulados eran menos evidentes.
Fue Proclus -tiempo despus- quien llam axiomas a las nociones comunes.
49
Es interesante notar que Aristteles pensaba que los postulados aunque no tenan que saberse
verdaderos, sin embargo, se deba probar su verdad demostrndose que las proposiciones deducidas
de ellos coincidan con la realidad.
Proclus pensaba algo un poco diferente: toda la matemtica era hipottica, es decir sin importar si
sus deducciones eran o no verdaderas.
Aunque se supone que Euclides acept el criterio de Aristteles, en su libro no hizo diferencia entre
ambos tipos de proposiciones.
Lo decisivo para la historia del pensamiento fue que los matemticos de las pocas posteriores
asumieron los postulados y los axiomas como verdades incuestionables.
Y como los teoremas y proposiciones de esa geometra eran derivados de los axiomas, entonces,
todo el edificio euclidiano no poda ser cuestionado.
El espacio real se consider descrito por la geometra euclidiana y por sus axiomas y postulados.
Es decir, la geometra euclidiana describa perfectamente el mundo que nos rodea.
Nada ni nadie deba dudar de esta verdades sobre nuestra realidad.
Durante ms de dos mil aos esto fue as.
Sin embargo, aunque nadie dudaba de su verdad, el quinto postulado no pareca ser tan
autoevidente como los dems.
50
2.3 PREGUNTAS
Conteste las siguientes preguntas.
1. Cuntos captulos contiene los Elementos de Euclides?
2. Enuncie los primeros cuatro postulados de Euclides.
3. Enuncie tres "nociones comunes'' de Euclides.
4. Explique por qu el quinto postulado fue el ms polmico a lo largo de la historia de las
matemticas.
5. Explique las diferencias que estableca Aristteles entre postulados y axiomas.
6. Explique qu quiere decir "autoevidente''.
Diga si la proposicin es falsa o verdadera. Justifique su respuesta. Puede usar un diagrama
para mostrar su punto de vista.
7. No se puede extender un segmento cualquiera a una recta en la geometra euclidiana.
8. En la geometra euclidiana es posible describir un crculo a partir de su radio.
9. La suma de dos ngulos rectos es en la geometra siempre 180 grados.
10.En la geometra euclidiana, el todo es siempre mayor que la parte.
11.El quinto postulado de Euclides era igualmente evidente que los otros postulados.
51
52
Ptolomeo
El primer intento fue hecho por el famoso astrnomo Claudio Ptolomeo, quien trat de deducir el
quinto postulado de los otros 9 axiomas y postulados as como de los teoremas 1 al 28 de Euclides
que no dependen del quinto postulado.
53
Proclus
Proclus en el siglo V d. C. (410-485 d. C) le rest validez al postulado y adems seal algunas
inconsistencias en el trabajo de Ptolomeo. Dijo:
La afirmacin que dos rectas convergen ms y ms conforme son producidas y entonces ellas se
encontrarn en algn momento es plausible pero no necesaria.
Para demostrar su punto de vista dijo que la hiprbola se aproxima a su asntota tan cerca como se
quiera, pero nunca se tocan. Es decir: existen figuras geomtricas que por ms que se acercan no se
cortan nunca. Por qu tenan que cortarse las dos rectas en el caso del quinto postulado?
Proclus dio una prueba del quinto postulado pero basado en otro axioma, con lo que simplemente
sustituy un axioma por otro.
La hiprbola
Nasr-Eddn
Otra prueba fue dada por el persa Nasr-Eddn (1201-1274), editor de Euclides, cuya obra fue
reproducida posteriormente por el ingls John Wallis (1616-1703). Wallis que critic la prueba del
persa, tambin ofreci la suya propia.
Wallis
Wallis escribi sobre esto en 1663 pero public su trabajo hasta 1693. Wallis propuso un nuevo
axioma que pens era ms plausible que el de las paralelas (por medio de ste y el resto de axiomas
prob el quinto postulado).
54
y dado un segmento
, existe un tringulo
(es decir
(con
como
).
La idea intuitiva es que uno puede estirar o encoger un tringulo como uno quiera sin que haya
distorsin.
El deca que el axioma de Euclides de que se puede construir un crculo con un centro y radio
dados presupone que hay un radio arbitrariamente largo a nuestra disposicin, por eso, uno puede
igualmente asumir su anlogo para figuras rectilneas como un tringulo.
No hay razn para considerar el postulado de Wallis ms plausible que el quinto de Euclides,
puesto que resulta ser lgicamente equivalente a ste.
55
El gran matemtico francs Legendre tambin trabaj durante 40 aos alrededor del famoso
postulado. Hizo pruebas del mismo, pero siempre se filtraba un axioma que era equivalente o
igualmente complejo que el quinto postulado. Por ejemplo, prob que el quinto postulado era
equivalente a:
La suma de los ngulos de un tringulo es igual a dos ngulos rectos.
56
Mtodos indirectos
El trabajo de Ptolomeo se puede ver tambin como un esfuerzo por deducir el quinto postulado de
los otros. Este mtodo y otros que se usaron podemos decir que fueron intentos de demostrar
directamente que el quinto postulado se derivaba de los otros.
Pero no solo pruebas directas se ofrecieron, tambin se dieron indirectas. Es decir, se usaba una
versin contraria al postulado con el propsito de demostrar que este conjunto nuevo de postulados
con la versin contraria conduca a una contradiccin.
Tipos de demostracin
3.2 SACCHERI
El ms famoso esfuerzo en esta direccin fue realizado por el italiano Gerolamo Saccheri (16671733), jesuita de la Universidad de Pavia.
Poco antes de morir Saccheri public un libro intitulado Euclides ab omni naevo vindicatus
(Euclides liberado de todo error).
El procedi mas o menos as:
Construy un cuadriltero
con
son rectos.
57
son iguales.
que
que
58
Con base en la primera hiptesis y los 9 axiomas restantes Saccheri encontr un contradiccin:
prob que los angulos
que eran obtusos).
Hizo lo mismo con la hiptesis del ngulo agudo y lleg a resultados que consider contradictorios
con la naturaleza de las rectas, y concluy entonces que el quinto postulado se derivaba de los
otros. Sin embargo, la ``contradiccin'' que encontr no estaba tan clara y se refera ms bien a la
naturaleza de las rectas; es decir se refera a la idea sobre lo que una recta deba ser y no a una
inconsistencia lgica.
Saccheri lleg al siguiente teorema: dados cualquier punto
ngulo agudo existe en el lapiz ( familia) de rectas a travs de
, y la segunda consiste de
en algn lugar de
Saccheri dedujo que y tendran una perpendicular comn en su punto comn, que es en el
infinito. Es esto lo que Saccheri consider que no corresponda a la naturaleza de las rectas.
Qu quiere decir matemticamente que algo es repugnante? O bien cul es la naturaleza de las
rectas? Sobre esto se puede decir mucho y desde diversos puntos de vista ideolgicos. Saccheri
lleg a un formidable resultado pero no pudo obtener las conclusiones adecuadas debido al marco
intelectual que usaba.
El problema de las paralelas sigui abierto durante muchos aos ms.
Tal era la trascendencia de este problema que el gran matemtico francs d'Alembert lo
consideraba como "el escndalo de los elementos de geometra''.
La historia empez a tener un signo diferente cuando se empez a pensar que la geometra no tena
por qu corresponder con el mundo que nos rodea, y ms todava cuando se lleg a la idea que los
axiomas euclidianos no eran verdades autoevidentes sino que estaban condicionados por nuestra
experiencia sensorial. Pas mucho tiempo, sin embargo, para que este tipo de visiones se
desarrollara.
Klgel
Una de las primeras referencias en esta direccin la constituye el matemtico alemn Georg Klgel
(1739-1812), quien afirm que Saccheri no haba llegado a una contradiccin sino que haba
llegado a resultados que no correspondan con la experiencia.
Klgel expres dudas acerca de la posibilidad de demostrar el quinto postulado.
Lambert
El matemtico suizo Johann Heinrich Lambert (1728-1777), en un libro escrito en 1766, y
probablemente influenciado por Klgel, realiz un trabajo parecido al de Saccheri (con el
cuadriltero).
Pero a diferencia de Saccheri no concluy que exista una contradiccin al asumir la hiptesis del
ngulo agudo. Ms que eso, obtuvo algunos resultados matemticos de inters.
La visin de Lambert se adelant a su poca.
Para l: una geometra poda ser vlida siempre que fuera lgicamente consistente aunque no
correspondiera con la realidad.
60
Schweikart
Un abogado alemn, dedicado a las matemticas en sus momentos libres, Ferdinand Schweikart
(1780-1859), tambin concluy que existan dos geometras: una la eucldea y la otra la que da al
suponer que la suma de los ngulos de un tringulo no es dos ngulos rectos; esta ltima la llam
geometra astral, porque deca que se daba en el espacio de las estrellas.
Los teoremas de esta geometra eran los obtenidos por Saccheri y Lambert asumiendo la hiptesis
del ngulo agudo.
Un sobrino de ste: Franz Adolf Taurinus (1794-1874), sigui estudios en esta geometra astral, y
afirm que era lgicamente consistente (es decir que no posea contradicciones lgicas).
Todos estos matemticos e intelectuales reconocieron la existencia de la geometra no euclidiana,
pero ninguno lleg a la conclusin radical de que la geometra euclidiana no era la nica que poda
describir aspectos de la realidad. Cronolgicamente, fue Carl Gauss el primero en dar este paso.
3.4 PREGUNTAS
Conteste las siguientes preguntas.
1. Quin hizo el primer intento por deducir el quinto postulado de otros?
2. Para qu Proclus ofreci el ejemplo de una hiprbola? Redacte su explicacin.
3. Qu fue lo que hizo Playfair con relacin al quinto axioma de Euclides?
4. Quin fue Gerolamo Saccheri? De qu pas provena y en cul siglo vivi?
5. Qu significa en matemticas un mtodo de prueba indirecta?
6. En qu se diferenciaba la opinin del matemtico Lambert de la de Saccheri en torno a los
similares resultados que obtuvieron?
7. Trate de comprobar la equivalencia del quinto postulado con el hecho que los ngulos
suman 180 grados.
Diga si la proposicin es falsa o verdadera. Justifique su respuesta.
8. John Wallis reprodujo la obra de Nasr-Eddn sobre Euclides.
9. John Playfair fue quien estableci el axioma: "Dos rectas que se cortan no pueden ser
paralelas a una tercera recta''.
10.Saccheri hizo una demostracin indirecta del postulado cuarto de Euclides.
61
62
Los esfuerzos de Gauss en la geometra no euclidiana empezaron desde 1792, cuando tena 15
aos, cuando le habra dicho a su amigo Schumacher que tena la idea de una geometra vlida sin
el quinto postulado euclidiano. No obstante Gauss pas varios aos tratando de deducir el
postulado a partir de otros.
En 1799 Gauss le escribi un carta al matemtico hngaro Wolfgang Farkas Bolyai (1775-1856) en
la que le expresaba su opinin: no se poda deducir el quinto postulado de los otros postulados
euclidianos, y empez a prestarle mucho cuidado a la existencia de geometras sin ese postulado
vlidas y tambin aplicables a la realidad.
A partir de 1813 Gauss trabaj en la nueva geometra que llam primero anti-euclidiana, luego
astral y finalmente no euclidiana. Gauss lleg a la conclusin que no poda probarse que los
resultados de la geometra euclidiana fueran autoevidentes y su verdad necesaria, lo que s suceda
-en su opinin- con la aritmtica..
La geometra es emprica
Para Gauss la aritmtica era a priori, es decir su verdad se establece sin recurrencia alguna al
mundo que nos rodea. La mecnica, contrariamente, no es a priori y exige la recurrencia a la
realidad y sus proposiciones pueden ser modificadas de acuerdo a la experiencia. Gauss lleg a la
conclusin que la geometra se pareca ms a la mecnica que a la aritmtica.
Gauss incluso trat de mostrar la aplicabilidad de la nueva geometra: midi los ngulos del
tringulo formado por tres montaas Hohenhagen, Brocken y Inselsberg para intentar demostrar
que esta suma era superior a los 180 grados. No pudo concluir nada porque el margen de error
haca imposible que el resultado fuera fiable.
63
Bolyai
Jnos Bolyai era hijo de un profesor hngaro de matemticas de provincia: Wolfgang (Farkas)
Bolyai, quien fue amigo de Gauss. Farkas haba tratando de demostrar el postulado de las paralelas
la mayor parte de su vida. Cuando supo que su hijo estaba interesado en el asunto lo advirti
radicalmente:
"Por amor de Dios te lo ruego, olvdalo. Tmelo como a las pasiones sensuales, porque lo mismo
que ellas, puede llegar a absorver todo tu tiempo y privarte de tu salud, de la paz de espritu y de la
felicidad en la vida''
64
En 1832-1833, Jnos public "Ciencia absoluta del espacio'' como apndice en un libro de su
padre: Tentamen Juventutem Studiosam in Elementa Matheseos Purae Introducenci (Intento de
introducir la juventud estudiosa en los elementos de Matmticas Puras). Aunque public ms tarde
que Lobachevsky, Bolyai haba trabajado las geometras no euclidianas por lo menos desde 1823.
Tanto Gauss, Lobachevsky, como Bolyai concluyeron que el postulado euclidiano de las paralelas
no se poda probar como deduccin de los otros 9 postulados y axiomas de la geometra euclidiana,
y que un postulado adicional era necesario para fundamentar esta geometra.
65
La realidad es que el tema estaba en el ambiente matemtico de la poca y no debe parecer extrao
que varios matemticos llegaran a conclusiones similares. Para empezar, varios trabajos fueron
precedentes: Saccheri, Lambert, Schweikart y Taurinus; Gauss, Lobachevsky y Bolyai tuvieron
acceso a o referencia de ellos.
No est de sobra mencionar, sin embargo, que hubo una conexin entre Gauss y Bolyai, as como
Gauss y Lobachevsky. En el primer caso, la amistad de Gauss con Wolfgang, el padre de Jnos
Bolyai, ofreci por lo menos la oportunidad a Jnos de conocer los puntos de vista de Gauss. En el
segundo caso, resulta que Lobachevsky fue discpulo de otro amigo de Gauss: Johann Martin
Bartels (1769-1836) quien estuvo al tanto de las ideas de Gauss.
Es decir, tanto Bolyai como Lobachevsky tuvieron contacto con Gauss va amigos cercanos del
gran matemtico alemn. Lo menos que puede decirse es que, al margen de los resultados tcnicos
propios, estos matemticos estaban al tanto de las opiniones y los enfoques gaussianos en torno a la
geometra.
Una revolucin
Histricamente la geometra no euclidiana constitua una autntica revolucin. Sin embargo, su
influencia en la comunidad matemtica tom su tiempo. Gauss no public sus resultados y
Lobachevsky y Bolyai no provenan de los pases ``importantes'' en la ciencia de la poca.
Lobachevsky public primero en ruso y los rusos que lo leyeron fueron muy severos con su trabajo
(fue hasta 1840 que Lobachevsky public en alemn).
Dos cosas ms deben mencionarse: por un lado, durante esa poca la geometra de moda era la
proyectiva, y, por otra parte, los matemticos no se sentan cmodos con ideas radicalmente
nuevas.
Despus de la muerte de Gauss, en 1855, se public sus trabajos incluyendo notas y
correspondencia en torno a la geometra no euclidiana. Esto hizo que se le pusiera atencin al tema.
Los trabajos de Bolyai y Lobachevsky fueron mencionados en 1866-1867 por el matemtico
Richard Baltzer (1818-1887) y poco despus se fue tomando conciencia de la trascendencia de la
nueva geometra.
La geometra que desarrollaron asumi que por un punto exterior a una recta pasan un nmero
infinito de rectas paralelas a la dada (es decir que no poseen puntos de interseccin). Esto se
derivaba de la hiptesis del ngulo agudo de Saccheri.
De hecho, es con dos paralelas que trabaj Lobachevsky:
Existen dos rectas paralelas a una dada que pasan a travs de un punto que no est en la recta dada.
66
rectas paralelas a .
67
El ngulo
. Si
es ms corto, el ngulo
depende de la longitud de la
se acerca a 0 el
ngulo
se acerca a 90 grados. En la geometra euclidiana un ngulo no cambia de tamao si
cambian de longitud los rayos o segmentos que le dan origen.
Otro resultado:
La suma de lo ngulos de un tringulo es menor que 180 grados. Y, ms an, si el rea del
tringulo disminuye entonces aumenta la suma. Se acerca a 180 cuando el rea del tringulo se
acerca a 0.
El matemtico Lambert ya haba notado que en la nueva geometra la suma de los ngulos de un
tringulo aumentaba conforme el rea del tringulo decreca.
68
Saccheri se detuvo y crey que haba reivindicado a Euclides, al ver una contradiccin sobre lo que
pensaba era la naturaleza de la geometra. La "contradiccin'' a la que le condujo la hiptesis del
ngulo agudo no era lgica sino ideolgica. Un siglo despus, el contexto social e ideolgico
permiti otro resultado. La "contradiccin'' poda ser vista no como una contradiccin sino como
una proposicin vlida, que se poda sostener perfectamente. Para Saccheri la geometra euclidiana
(con todos sus postulados y axiomas) era autoevidente, su verdad era necesaria, y describa el
mundo que nos rodea. Suponer el postulado quinto falso y no llegar a una contradiccin o encontrar
una geometra que violase nuestra percepcin de la realidad era impensable.
Admitir que una nueva geometra no euclidiana poda ser lgicamente vlida constituy un paso
hacia adelante. Pero ms lejos fue Gauss: asumi que no solo era una geometra vlida en trminos
lgicos sino que sta poda explicar o describir partes de nuestra realidad. Evidentemente, el nuevo
contexto ideolgico y social as como el desarrollo mismo de las matemticas y de las otras
ciencias haca posible sostener este tipo de ideas.
Gauss asumi la geometra como basada en la experiencia emprica al igual que la mecnica y la
aritmtica como conocimiento a priori compuesto de verdades autoevidentes y necesarias. Esta
ltima apreciacin era tambin ideolgica y sera comn a otros matemticos y lgicos del siglo
XIX.
3. Pleitos
No ha sido extrao, por la naturaleza colectiva y social de las matemticas y la ciencia, la
existencia de malentendidos, rivalidades, debates y hasta odios encontrados entre miembros de una
comunidad cientfica.
4. Inercia y temor
Es interesante que resultados de tanta trascendencia terica no hayan tenido el impacto inmediato
en la comunidad matemtica de la poca. No solo se trataba de la ausencia de medios de
comunicacin, tambin pesaban hechos como que la comunidad matemtica se inclinaba por
estudiar otras cosas: la geometra proyectiva o los fundamentos del Clculo Diferencial e Integral
por ejemplo; o, tambin pesaba, la inercia y conservadurismo de la comunidad matemtica para
aceptar resultados tan revolucionarios.
5. Individuo y colectividad
Si Gauss hubiera publicado sus resultados habra permitido un desarrollo ms pronto y,
probablemente, ms amplio y profundo en la comunidad matemtica, capaz de nutrir o redirigir el
curso de la investigacin matemtica de la poca. Esta es la dialctica entre lo colectivo y lo
individual: la matemtica ser colectiva y social en muchas de sus dimensiones, pero el papel del
individuo es tan importante como para poder cambiar el curso de la historia si las circunstancias lo
colocan en el lugar indicado.
69
4.5 PREGUNTAS
Conteste las siguientes preguntas.
1. De qu pas era Lobachevsky?
2. Por que Gauss deca que la geometra se pareca ms a la mecnica?
3. Quin fue Wolfgang Bolyai?
4. Por qu decimos que tanto Bolyai como Lobachevsky estuvieron "al tanto de las opiniones
y los enfoques gaussianos en torno a la geometra''?
Diga si la proposicin es falsa o verdadera. Justifique su respuesta.
5. Gauss desarroll sus trabajos fundamentales en la ciudad suiza de Zrich.
6. Para Gauss la aritmtica era como la mecnica.
7. Bolyai pens que Lobachevsky haba copiado su trabajo sobre las geometras no
euclidianas.
Comente:
"Los conceptos y mtodos matemticos, en general, no son el producto de una o dos mentes
aisladas. (...) As funciona la ciencia, es posible ver hacia adelante pero siempre sobre los
hombros de muchos otros. Las influencias de unos sobre los otros son claras. Eso s: los
caminos son muchos dependiendo de la poca y las circunstancias''.
70
Las geometras no euclidianas tuvieron un impacto en la historia de las matemticas pero tambin
de la fsica y la ciencia en general. Piense las implicaciones que poda tener el que la geometra
euclidiana no correspondiera necesariamente con la realidad. Si algo que se crea verdadero y
absolutamente seguro por ms de 2000 aos ya no lo era qu pasara con las cosas menos
verdaderas, el resto de las cosas? Sera posible obtener teoras cientficas verdaderas o el ser
humano est condenado a la ignorancia y la incertidumbre?
Qu pasara con los puentes y edificios construidos con base en esa geometra? Y las medidas de
los terrenos? Significaba que se iban a caer las edificaciones o que haba que repartir las fincas de
otras manera?
Nuestra historia posee ms captulos. Por ejemplo: su influencia en la gestacin de la teora de la
relatividad de Albert Einstein, que revolucionara la fsica moderna. As que aqu vamos a seguirle
la pista a las nuevas geometras.
5.1 RIEMANN
Las geometras no euclidianas no seran plenamente integradas a las principales lneas del
desarrollo de las matemticas hasta el trabajo realizado por el alemn Georg Bernhard Riemann
(1826-1866). Riemann fue el hijo de un pastor luterano, aunque naci enfermizo posea una
inteligencia precoz. Fue estudiante de Gauss en la Universidad de Gttingen y luego logr ser
profesor de esa prestigiosa institucin alemana.
71
Sobre la esfera.
No hay paralelas
Al igual que Gauss, Bolyai y Lobachevsky asumi un postulado contrario al quinto de Euclides.
Pero en lugar de asumir que existe un nmero infinito de rectas paralelas que pasan por un punto
exterior a una recta dada, asumi que no pasaba ninguna. Para Riemann, estaba en mayor acuerdo
con la realidad el que no existiera ninguna recta paralela. Es decir, si se extendieran las rectas tarde
o temprano se cortaran.
72
73
Otro resultado:
Dos tringulos semejantes son congruentes.
Esto sucede tambin en la geometra de Lovachevsky.
Este es el tipo de geometra con el que nos familiarizaremos en el siguiente captulo, a travs de
una representacin de la misma.
La geometra diferencial
Riemann hizo ms que crear una nueva geometra: coloc a las geometras no euclidianas en un
marco terico ms general. Ya no se trataba de que se cumpliera el postulado de las paralelas o no,
Riemann preconizaba un cambio de visin total sobre la geometra. Para Riemann la geometra ya
no deba ser sobre puntos o las rectas del espacio como solemos conocerlo, la geometra deba
tratar de lo que se llama variedades. Vamos a ver algunos aspectos de esta historia.
Gauss haba realizado mucho trabajo en la construccin de mapas y la llamada geodesia. Y de aqu
se engendrara un nuevo enfoque sobre el sentido del espacio.
El asunto tiene que ver con el Clculo Diferencial e Integral, creado por Newton y Leibniz en el
siglo XVIII. El concepto clave es el de "geometra diferencial'' (trmino llamado as por primera
vez por Luigi Bianchi, 1856-1928, en 1894).
Este tema se podra definir como el estudio de las propiedades de las curvas y superficies que
varan de un punto a otro. Cuando se da este tipo de variacin (de punto en punto) se utiliza las
tcnicas del Clculo. Se trataba de una temtica que naca del desarrollo del Clculo pero que tena
importantes implicaciones en la geometra misma.
Para que se tenga una idea: el clculo de rectas normales o tangentes, puntos de inflexin (de
cambio de concavidad), curvaturas, seran los asuntos de la geometra diferencial en un plano.
74
De la esfera al plano.
75
76
Por pedazos
En su investigacin Riemann concluy que para estudiar el espacio deba hacerse localmente y no
como un todo. Es decir, se deba analizar el espacio por pedazos. No se poda dar resultados
aplicables para todo el espacio. Esto era precisamente lo que haca la llamada geometra diferencial
al estudiar las propiedades de las curvas y superficies en el espacio.
Usando bastantes resultados de Gauss en la geometra de las superficies en un espacio euclidiano,
Riemann generaliz este tipo de resultados.
Una variedad diferencial era precisamente uno de esos pedazos a estudio. Habl entonces de una
geometra de
coordenadas.
; en 3
77
78
Esto es un resultado maravilloso. Estudiar el espacio debe hacerse tomando en cuenta estas colinas
y honduras.
La asociacin entre espacio y materia, que sealamos en Clifford y Riemann, condujo en la
direccin de la teora de la relatividad.
La Botella de Klein es una superficie que posee una sola cara. Extrao no es cierto?
79
Curvatura
El segundo concepto ms importante usado por Riemann en 1854 fue el de curvatura de una
variedad. A travs de este concepto Riemann trat de caracterizar el espacio euclidiano y, de
manera ms general, los espacios en los cuales las figuras pueden ser movidas sin que cambien en
forma y magnitud. El concepto de curvatura que us Riemann era una generalizacion de un
concepto similar usado por Gauss para las superficies.
Las geometras no euclidianas que ms inters suscitaron despus de Riemann fueron las de
curvatura constante. Este concepto no lo vamos a definir aqu, pero s a sealar su trascendencia. El
mismo Riemann haba sugerido en 1854 que un espacio de curvatura constante positiva en dos
dimensiones se poda realizar en la superficie de una esfera, en la cual las geodsicas se tomaran
como las rectas.
Este tipo de geometra se llama una geometra doble elptica. (A veces se conoce simplemente por
elptica).
Entonces: la geometra esfrica que luego veremos con cierto detalle es un modelo de geometra no
euclidiana que se llama doble elptica.
La geometra de Gauss, Lobachevsky y Bolyai fue llamada por el alemn Felix Klein como
geometra hiperblica.
La pseudoesfera
En 1868, Beltrami acab con el asunto de la prueba del quinto postulado: prob que una prueba no
era posible. Prob esto demostrando que la geometra no euclidiana es igualmente consistente que
la geometra euclidiana (es decir sin contradicciones lgicas internas).
Para lograr su prueba cre un modelo de estas ltimas (para un pedazo de su plano) que se llama la
pseudoesfera. Este modelo sale de rotar una curva llamada tractrix alrededor de su asntota: Y da
algo parecido a lo siguiente:
Pseudoesfera de Beltrami
80
La esfera
El matemtico Heinrich Liebmann (1874-1939) prob que la esfera es la nica superficie cerrada
analtica (sin singularidades) de curvatura positiva constante. Es la nica que puede ser usada como
un modelo euclidiano para la geometra doble elptica.
81
82
5.3 PREGUNTAS
Conteste las siguientes preguntas.
1. Quin formul por primera vez el nombre de "geometra diferencial''?
2. Quin fue el primer matemtico que dijo que una superfice se poda ver como un espacio
en s mismo?
3. Hacia qu teora condujo la asociacin que hacan Clifford y Riemann entre espacio y
materia?
4. Cmo se llama la geometra desarrollada por Gauss, Lobachevsky y Bolyai?
En los siguientes ejercicios diga si la proposicin es falsa o verdadera. Justifique su
respuesta.
5. Para Riemann la geometra euclidiana era emprica.
6. Segn la geometra de Riemann es posible estudiar el espacio como un todo.
7. Eugenio Beltrami fue quien definitivamente zanj la discusin en torno a la validez del
quinto postulado de Euclides.
8. La geometra euclidiana es ms general que la geometra proyectiva.
9. Para Poincar la geometra no euclidiana era la ms conveniente para describir la realidad.
83
En los pasados captulos hemos hecho un recorrido breve alrededor de la historia de la geometra
no euclidiana. No hemos intentado visualizar ningn modelo fsico de ellas. En este captulo es esto
ltimo lo que pretendemos, aunque siempre de una manera muy introductoria y si si quiere
informal. Nos interesa aqu, entonces, hacer una representacin fsica de lo que puede ser una
geometra no euclidiana, para que en particular se aprecie bien la utilidad de las mismas.
Una de las representaciones ms interesantes y atractivas es la que se puede lograr por medio de
una esfera. Para que usted se ubique en el tema, considere una bola de ftbol o un globo terrqueo
y trate de trazar una longitud entre los polos con una cinta mtrica. Trace tambin una longitud
entre dos puntos que no estn en los polos:
Cuntas trayectorias podra usar usted en el caso del globo y cuntas en el de la bola?
84
En el plano y en la esfera
La distancia ms corta entre dos puntos no es el segmento sino el arco de un crculo grande.
El segmento
es un arco.
85
Aplicaciones
La aplicacin de esta geometra en la realidad es mucha.
Consideremos por ejemplo el globo terrqueo.
En el dibujo al final mostramos las lneas de longitud y las lneas de latitud que se usan para definir
la posicin en nuestro planeta.
Como se puede ver las lneas que unen los polos son todas crculos grandes, mientras que entre las
lneas de latitud solo el Ecuador es un crculo grande.
86
La pirmide axiomtica
El quinto postulado
El postulado euclidiano ms famoso y controversial, como estudiamos antes, fue el quinto.
Recordemos su enunciado:
Dadas dos rectas en un plano y una tercera recta que las corta: si la suma de los ngulos interiores
de un lado es menor que dos ngulos rectos, entonces las rectas, si se extienden suficientemente, se
cortarn en el lado en el cual la suma de los ngulos es menor que dos ngulos rectos.
Observe bien nuestro dibujo. Note que si usted extiende las rectas hacia la derecha rpidamente se
cortaran en el lado derecho de la pgina. Usted, sin embargo, podra preguntar qu pasara si
cambiamos las rectas y stas se cortan en un punto que estuviera fuera de esta hoja?
Casi paralelas
Bueno, la respuesta es fcil: use una hoja ms grande.
Pero, usted insiste qu pasara si los ngulos internos a la derecha suman digamos 179, 99999
grados, es decir rectas casi paralelas? dnde se cortan las rectas? Sin duda tendra que conseguir
un papel muchsimo ms grande.
Y si seguimos poniendo 9's a 179, 99999 grados...? Aqu hay un problema. Cul? Cmo lo
describira usted?
Este postulado, como usted ya sabe, se suele llamar como Postulado de las Paralelas por el
equivalente postulado dado por el matemtico y fsico escocs John Playfair (1748-1819):
Por un punto dado externo a una recta dada solo puede pasar a lo sumo una recta paralela a la recta
dada.
88
Varias paralelas
2. Dado un punto exterior a una recta dada, no pasa ninguna recta paralela a la recta dada.
Ninguna paralela
Cada una de estas suposiciones dio origen a geometras distintas.
89
En la geometra esfrica
Dos crculos grandes distintos (la rectas esfricas)
y
interseccin. Haga un dibujo para representar esta situacin.
y un punto externo
interseca a
en dos puntos.
La conclusin es:
Dados una recta
y un punto
paralela a
90
Angulos de un tringulo
La suma de los tres ngulos de un tringulo esfrico es mayor que 180 grados. Tambin: esa suma
vara dependiendo del rea del tringulo.
La realidad es que conforme se hace ms pequeo el rea del tringulo, la suma de sus ngulos
aunque mayor que 180 grados se acerca cada vez ms a los 180 grados.
Veamos un ejemplo grfico de cmo sucede:
existe por lo
91
6.3 PREGUNTAS
Conteste las siguientes preguntas.
1. Explique con sus palabras qu es la geometra que en este libro hemos llamado esfrica?
2. En un cilindro cunto suman los ngulos de un tringulo?
3. Cules son las rectas de la geometra esfrica?
4. Es un arco la distancia ms corta entre dos puntos en la geometra esfrica? Explique su
respuesta por escrito.
5. Mencione un ejemplo de aplicacin de la geometra esfrica.
6. De dos caractersticas de los postulados en geometra.
Diga si la proposicin es falsa o verdadera. Justifique su respuesta. Puede usar un diagrama
para mostrar su punto de vista.
7. En la geometra esfrica, dos rectas distintas se intersecan en dos puntos.
8. En la geometra euclidiana, dados dos puntos existe por lo menos una recta que los
contenga.
9. La suma de los ngulos de un tringulo esfrico es mayor de 180 grados.
10.Dos rectas esfricas se intersecan en 2 puntos.
11.Dados una recta esfrica
por
y un punto
que pasa
92
Como hemos visto, en la geometra esfrica no pasa una paralela por un punto exterior a una recta.
Esta geometra sobre la superficie de una esfera constituye lo que llamamos un modelo o una
representacin de algo que se llama la geometra doble elptica, planteada por el gran matemtico
alemn Bernhard Riemann en el siglo XIX.
Antes vimos que si no se asume el quinto postulado de Euclides es posible asumir dos postulados
contrarios. Ya vimos uno de ellos.
Si asumimos el otro posible criterio, es decir si por un punto exterior a una recta dada pasan ms de
una recta paralela, estaremos en lo que se llama geometra hiperblica.
Como precisamos antes, fueron los grandes matemticos Gauss, Lobachevsky y Jnos Bolyai
quienes construyeron este tipo de geometra.
Para conseguir un modelo (un ejemplo) de geometra hiperblica las cosas no son tan fciles. La
primera aproximacin que vamos a hacer es a travs de una silla de montar .
fuera de ella.
93
Usted puede fcilmente observar que existe ms de una paralela que pasa por
y el punto
, existen rectas
y son paralelas a .
es el radio.
94
tales que
Note que los puntos de la circunferencia no son parte de este plano hiperblico.
Sigamos:
95
Una cuerda es un segmento que conecta dos puntos A y B que estn en la circunferencia.
Este segmento sin los puntos terminales se llama cuerda abierta.
Se denota
. Vea la figura:
Entonces:
Una recta en este modelo es una cuerda abierta.
Es decir: las cuerdas abiertas son las rectas de este plano.
96
El punto
.
est en
y que
est entre
y la recta .
abierta .
La figura siguiente evidencia nuestra anterior afirmacin:
Bueno, usted se habr preguntado cul es la definicin de paralelismo para que las cosas
funcionen as?
Aqu la definicin de dos rectas paralelas es que no posean un punto en comn.
Es decir: dos cuerdas abiertas son paralelas si no poseen puntos en comn.
97
98
constryase un crculo
Es decir que en sus puntos de interseccin, sus respectivos radios sean perpendiculares. Esto lo
podemos visualizar as:
99
Debe recordar siempre que el plano hiperblico no incluye los puntos en la circunferencia de .
Entonces:
Los dimetros de
El ngulo se mide a partir de las rectas tangentes (euclidianas) a las curvas en el punto de
interseccin.
100
Ahora usted puede darse cuenta que existe un nmero infinito de rectas paralelas a una recta
que pasan por un punto externo
101
Note que uno de los vrtices es el centro del disco. Si lo ampliamos nos queda as:
Observe que este cuadriltero posee 3 ngulos rectos y uno agudo. Este tipo de cuadrilteros fue
planteado por el matemtico suizo Lambert en el siglo XVIII. Como ha podido notar, al cambiar
algunas reglas del juego geomtrico, toda la geometra comn se trastoca. Es un nuevo juego
aunque participen algunas caractersticas similares.
102
y perpendiculares al eje ;
b) como semicrculos en la aprte superior del semiplano cuyo centro descansa sobre el eje .
Las nociones de "estar entre'' e "incidencia'' son las eucldeas.
Un comentario final: los tres ltimos modelos no son tan diferentes; en realidad se puede establecer
una correspondencia unvoca (es decir, uno a uno) entre los puntos y rectas de un modelo y los
correspondientes de otro, de tal manera que se preserve la "incidencia'', la relacin "estar entre'' y la
"congruencia''.
7.5 PREGUNTAS
Conteste las siguientes preguntas.
1. Enuncie el postulado contrario al de las paralelas que sirve de base para la geometra
hiperblica.
2. Mencione el nombre de los tres creadores de la geometra hiperblica.
3. Si tomamos el plano como una silla montar cuntas rectas paralelas a una recta dada
pasan por
, un punto externo a ?
103
Las geometras no euclidianas engendran modelos compatibles con el mundo real; es decir pueden
servir para describir la realidad que nos rodea.
Con relacin a eso el modelo de la esfera para la geometra riemanniana es muy evidente.
Con claridad vemos que las longitudes en nuestro planeta estn sobre geodsicas que poseen
curvatura.
Es ms exacto pensar en trminos de curvas que de rectas.
De hecho, otro ejemplo, los peritos topgrafos necesitan usar reglas geomtricas diferentes a las
euclidianas para realizar sus mediciones de terrenos que no son planos ni rectos.
El concepto de recta eucldea es una abstraccin ms que una realidad.
La pregunta que surge es por qu en la historia de la humanidad surgi primero una geometra
como la euclidiana y no, por ejemplo, una esfrica?
Newton y Einstein
Para distancias fsicas pequeas la geometra euclidiana sirve.
Newton elabor sus leyes con base en la geometra eucli-diana (y con los conceptos de espacio y
tiempo absolutos e independientes).
Pero en el espacio esto ya no es as. Geometras no eucli-dianas son las que sirven para explicar
fenmenos estelares.
Los rayos de luz se toman como las lneas rectas de la geometra espacial. Pero los rayos de luz se
distorsionan (se ``curvan'') por la accin gravitatoria de las masas planetarias.
El Sol, la Tierra, la Luna, Jpiter y otros astros distorsionan los rayos de luz.
Un paradigma
Pero volvamos a la historia de la geometra. Una vez escogida la lnea recta, todas las otras figuras
geomtricas se vieron condicionadas por esa escogencia. Entonces pas lo que ya sabemos: una
escogencia de lo que podemos llamar un paradigma (un modelo de ideas sobre la realidad)
realizada socialmente, y con influencia de las limitaciones y ca-ractersticas de nuestra especie,
defini una evolucin cultural durante ms de 2000 aos.
106
Las matemticas no son colecciones de verdades sobre la realidad. Al igual que en todas la
ciencias, las teoras de las matemticas son descripciones aproximadas de nues-tro mundo.
Las teoras se usan de acuerdo a su utilidad y capacidad para describir y explicar procesos
de nuestro mundo. Si no sirven o no son adecuadas a esos propsitos otras teoras las
sustituirn.
Las teoras matemticas son contruidas por individuos de carne y hueso en grupos y culturas
humanas precisas. Estas trasmiten sus limitaciones, sus prejuicios, opiniones y capacidades,
y condicionan las caractersticas y el destino de las teoras. Las comunidades matemticas
deciden sus criterios para aceptar la validez de sus teoras. Esos criterios son tambin
histricos y sociales. Por eso a veces son unos y a veces otros.
A veces las comunidades se equivocan.
107
8.3 PREGUNTAS
Conteste las siguientes preguntas.
1. Por qu la gente pensaba que la Tierra es plana?
2. Qu es un paradigma?
3. Son las matemticas colecciones de verdades absolutas? Explique.
4. Qu le sucede a los rayos de luz en el espacio cuando pasan cerca de planetas?
Diga si la proposicin es falsa o verdadera. Justifique su respuesta.
5. Newton mejor el modelo de la fsica de Einstein.
6. Las geometras no euclidianas son mejores que la geo-me-tra euclidiana.
7. Comente
"Las teoras matemticas son contruidas por indivi-duos de carne y hueso en grupos y culturas
humanas precisas. Estas trasmiten sus limitaciones, sus prejuicios, opiniones y capacidades, y
condicionan las caractersticas y el destino de las teoras. Las comunidades mate-m-ti-cas deciden
sus criterios para aceptar la validez de sus teoras. Esos criterios son tambin histricos y sociales.
Por eso a veces son unos y a veces otros. A veces las comunidades se equivocan.''
108
BIBLIOGRAFIA
Boyer, Carl B. The Calculus and its Conceptual Development. New York: Dover, 1959.
Boyer, Carl B. A History of Mathematics. John Wiley and Sons, 1968. Posee una
traduccin al espaol por Alianza Editorial: Madrid, 1986.
Campbell, Douglas y Higgins, John C.. Mathematics: People, problems, Results. Belmont,
California, EUA:Wadswoth, Inc., 1984.
Cohen, I. Bernard. Revolution in Science. Cambridge, Mass.: Harvard University Press,
1985.
Coxeter, H. S. M., Introduccin a la Geometra, Mxico: Limusa--Wiley, 1971.
Fauvel, J. y Gray, J. (editores) The History of Mathematics: A Reader, Milton Keynes,
Reino Unido: Open University, 1987.
Gauss, Carl Friedrich. Disquisitiones Arithmeticae. Versin espaola publicada por la
Academia Colombiana de Ciencias Exactas, Fsicas y Naturales: Bogot, 1995, y realizada
por Angel Ruiz, Hugo Barrantes, y Michael Josephy de la Universidad de Costa Rica.
Gillies, Donald (editor). Revolutions in Mathematics. Oxford: Clarendon Press Oxford,
1992.
Greemberg, Marvin Jay. Euclidean and non-Euclidean Geometries. New York: W.H.
Freeman and Company, 1974. (Primera edicin en 1972).
Hartshorne, R., Companion to Euclid: A course of geometry, based on Euclid's Elements
and its modern descendants. Providence, RI: American Mathematical Society, 1997.
Heath, T. L.: A History of Greek Mathematics. Oxford: Clarendon Press, 1921.
Heath, T. L. Euclid`s Elements. New York: Dover, 1956.
Hull, L. W. H. History and Philosophy of Science. Messr. Longmans, Green and Co. Ltd.,
1959. Versin en espaol por Seix Barral: Barcelona, 1962.
Kline, Morris. Mathematics in Western Culture. New York: Oxford 1953.
Kline, Morris. Mathematics for the Nonmathematician. New York: Dover, 1985. La primera
edicin apareci como Mathematics for liberal arts. Reading, Mass., EUA: Addison
Wesley, 1967.
Kline, Morris. Mathematical Thought from Ancient to Modern Times. New York: Oxford
University Press, 1972.
Kline, Morris. Mathematics. The Loss of Certainty. New York: Oxford University Press,
1980.
Kline, Morris. Mathematics and the search for Knowledge. New York: Oxford University
Press, 1985.
Kneale, William y Martha. The Development of Logic. Oxford: Clarendon Press, 1962.
Versin en espaol de Editorial Tecnos: Madrid, 1972.
110
Kramer, Edna. The Nature and Growth of Modern Mathematics. Princeton, N. J.: Princeton
University Press, 1981.
Klein, F. Geometry, parte 2 del libro Elementary Mathematics from an Advanced
Standpoint. New York: Dover, 1948.
Knorr, Wilbur R.. The ancient tradition of geometric problems. Boston: Birkhuser, 1986.
Otra edicin por Dover: New York, 1993.
Lakatos, Imre. Mathematics, Science and Epistemology Philosophical Papers. Volume 2.
Londres: Cambridge University Press, 1978. La versin en espaol es de Alianza Editorial:
Madrid, 1983.
Newman, James (editor). The World of Mathematics. New York: Simon and Schuster,
1956. Edicin en espaol por Ediciones Grijalbo S. A.: Barcelona, 1969.
Poincar, H. Science and Hypothesis. New York: Dover, 1952.
Poly, G. How to solve it. A New Aspect of Mathematical Method. Princeton, N. J.:
Princeton University Press, 1945.
Ruiz, Angel. "Sobre la revolucin cientfica y matemtica en el siglo XVII'', en el libro
editado por A. Ruiz: Las Matemticas en Costa Rica (Memorias "Tercer Congreso Nacional
de Matemticas''), Octubre 1990, San Jos, Costa Rica.
Ruiz, Angel. "Polmicas de mtodo en la historia de la ciencia y las matemticas'', en el
libro editado por A. Ruiz : Las Matemticas en Costa Rica (Memorias "Tercer Congreso
Nacional de Matemticas''), Octubre 1990, San Jos, Costa Rica.
Ruiz, Angel. Matemticas y filosofa. Estudios logicistas. San Jos, Costa Rica: Editorial de
la Universidad de Costa Rica, 1990.
Ruiz, Angel. "Los orgenes de la Revolucin Cientfica'', Elementos, N.14, Ao 4, Vol. 2,
julio setiembre 1990, Univ. Autnoma de Puebla, Puebla, Mxico.
Ruiz, Angel. Ocaso de una utopa. Costa Rica: Editorial de la Universidad de Costa Rica,
1993.
Ruiz, Angel. "Tecnologa y humanismo''. Panorama de un mundo cambiante. Ctedra de
Historia de la Cultura, Estudios Generales, Univ. C.R., agosto 1994.
Ruiz, Angel, y Barrantes, Hugo. Elementos de Clculo Diferencial (2 volmenes), San Jos,
Costa Rica: Edit. Univ. CR, 1997.
Ruiz, Angel, y Barrantes, Hugo. Elementos de Clculo Diferencial. Historia y ejercicios
resueltos, San Jos, Costa Rica: Edit. Univ. CR, 1997.
Smith, D. E. History of Mathematics. Boston: Ginn, 1923. Tambin en Dover: New York,
1958.
Struik, D. J. A Concise History of Mathematics. New York: Dover, 1967.
111
112