Editorial de la Universidad de Costa Rica

Primera edicin, 1999

 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
Captulo V: Desarrollos Posteriores..................................................................................................71
5.1 RIEMANN..............................................................................................................................71
No hay paralelas.......................................................................................................................72
La geometra diferencial...........................................................................................................74
La superficie como espacio......................................................................................................76
La geometra euclidiana es emprica........................................................................................77
Por pedazos..............................................................................................................................77
Espacio fsico como ejemplo de variedad................................................................................77
Una nueva visin del espacio...................................................................................................78
5.2 DE RIEMANN A KLEIN.......................................................................................................79
Curvatura..................................................................................................................................80
La pseudoesfera........................................................................................................................80
La esfera...................................................................................................................................81
Dentro de la geometra proyectiva...........................................................................................81
La aplicacin de las nuevas geometras...................................................................................82
5.3 PREGUNTAS.........................................................................................................................83

Captulo VI: Sobre la esfera .............................................................................................................84

6.1 GEOMETRA ESFRICA.....................................................................................................85
Aplicaciones.............................................................................................................................86
6.2 SEMEJANZAS Y DIFERENCIAS........................................................................................87
El quinto postulado..................................................................................................................87
Dos tipos de geometra.............................................................................................................89
En la geometra esfrica...........................................................................................................90
Angulos de un tringulo...........................................................................................................91
6.3 PREGUNTAS.........................................................................................................................92

Captulo VII: Otros modelos geomtricos ........................................................................................93

7.1 EN UNA SILLA DE MONTAR.............................................................................................93
7.2 DENTRO DE UN DISCO......................................................................................................94
7.3 OTRO MODELO....................................................................................................................99
7.4 EL OTRO MODELO DE POINCAR................................................................................102
7.5 PREGUNTAS.......................................................................................................................103

Captulo VIII: Algunas lecciones ...................................................................................................104

8.1 LA CUERDA ESTIRADA...................................................................................................104
Newton y Einstein..................................................................................................................105
Un paradigma.........................................................................................................................106
8.2 LECCIONES TILES..........................................................................................................106
8.3 PREGUNTAS.......................................................................................................................108

BIBLIOGRAFIA.............................................................................................................................109
 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.

5
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.

6
 Captulo I: UNA INTRODUCCIN

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.

1.1 EN LA ANTIGEDAD GRIEGA

Los primeros desarrollos de la geometra y, en general, de las matemticas podemos decir que se
encuentran alrededor de la cultura helnica, en la Grecia Antigua. Esta cultura fue una base
esencial de la civilizacin occidental.

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.

8
 Egipto: una de las civilizaciones del Bronce

Podemos recordar que Thales fue miembro de una famosa escuela de pensadores que trataron de
ofrecer una interpretacin naturalista sobre la realidad, la Escuela Jnica. Se asegura que esta
escuela constituye el primer eslabn en el desenvolvimiento de la cultura griega.
Los pitagricos establecieron una doctrina importante sobre la naturaleza de los nmeros: ellos
consideraban a los nmeros como el fundamento del universo; les daban a los nmeros un
significado abstracto. Para Pitgoras, cada cosa es un nmero especfico y, por supuesto, diferentes
cosas son representadas por diferentes nmeros.

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.287-
212 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 , y obtuvo grandes resultados en
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

Algunas caractersticas de la poca

Por razones que no vamos a desarrollar aqu, la matemtica griega, a pesar de su grandeza, tuvo
importantes limitaciones: poca relevancia del lgebra y la aritmtica (podemos decir que existi un
exceso de geometrizacin de las matemticas) y una geometra limitada por reglas muy rgidas
desprendidas de la construccin exclusiva con regla y comps.
Se afirma que pes en todo esto el descubrimiento de los nmeros irracionales, que enfrentaron la
visin dominante pitagrica que afirmaba a los nmeros enteros y racionales como fundamento del
universo.
Otros asuntos como las paradojas de Zenn (c. 450 a.C.) tambin jugaron un papel en las
caractersticas especficas de las matemticas griegas.

12
 La muerte de Arqumedes por un soldado romano

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
 1.2 EN LA EDAD MEDIA
Se suele considerar la Cada de Roma en el ao 476 como el inicio de la Edad Media, y el ao
1453, con la Cada de Constantinopla en manos turcas, su final. Se trata de una demarcacin en
esencia poltica.;, para la historia de las matemticas o de la ciencia en general otras fechas sera
mejores, pero vamos a seguir la divisin clsica por propsitos didcticos.

China: una cultura que contribuy a las matemticas medievales

Es necesario, sin embargo, hacer una advertencia: el grueso de la historia de las matemticas
medievales no fue exclusividad europea; ms bien fue el resultado de varias civilizaciones: rabe,
india, china, bizantina (Imperio Romano de Oriente) y lo que quedaba del Imperio Romano de
Occidente. Cada civilizacin posea diferentes lenguas. No vamos en este pequeo libro a analizar
ms que una de esas culturas, pero nos interesa resaltar el marco global diverso de esta evolucin
histrica. Esto es importante porque para muchos asuntos de esta poca la mejor comprensin se
logra solo si se estudian los contactos e interrelaciones culturales que existieron.
Alrededor del siglo XII y siglos previos la sociedad europea fue esencialmente una coleccin de
pueblos aislados y de poco nivel cultural, con la Iglesia Catlica como albacea intelectual.
Culturalmente durante todo este perodo no existi mucha relacin con la mayor parte del
pensamiento clsico griego, distancia que ya se haba establecido desde el mismo Imperio Romano.

14
 El Taj Mahal, del periodo indoislmico, se empez a construir en 1628

Durante siglos, la enseanza, el aprendizaje, el conocimiento escaso que se haba rescatado de las
culturas griega y romana, estuvieron asociados a la Iglesia Catlica y, sobre todo, a las necesidades
que ella tena (como, por ejemplo, en los servicios religiosos y la lectura de los libros sagrados). El
latn fue escogido como idioma oficial de la Iglesia, por eso durante todo este perodo en la
enseanza como en el intercambio de conocimiento fue el latn la lengua que se us.
Debe decirse que en toda esta poca no haba mucha matemtica disponible, aunque en el currculo
educativo para las pocas escuelas que hubo se le dio cierto nfasis a las matemticas. Por ejemplo,
el modelo educativo estaba formado por lo que se llama el cuadrivium y el trivium. El primero
estaba constituido por geometra, aritmtica, astronoma y msica. El trivium: por retrica,
gramtica y dialctica . Sin embargo, como hemos dicho, el nivel matemtico era bajo, apenas una
aritmtica y una geometra muy elementales.
La razn fundamental del bajo nivel de las matemticas y la ciencia era la ausencia de factores que
estimularan el de-sarrollo del conocimiento. Para la Iglesia de esos tiempos la verdad y las fuentes
y criterios de la misma slo se encontraban en la revelacin divina, y los estudios tenan que
orientarse hacia la lectura y anlisis de los textos sagrados, donde se supona se encontraban la
verdad y el conocimiento. En ese sentido, mtodos empricos o experimentales estaban
prcticamente excluidos para la investigacin del mundo circundante.
Como los temas principales de reflexin y anlisis eran el pecado, el temor al infierno, la salvacin
o cmo ascender al cielo, el estudio del mundo fsico real no solo se consideraba fuera de los fines
de la educacin y el conocimiento por parte de la Iglesia, sino que, muchas veces, era considerado
algo estril y, en ocasiones, hasta hertico.
Debe advertirse que el trmino "Edad Media'' convoca en realidad diferentes periodos histricos,
circunstancias culturales heterogneas, y resultados histricos que sera mejor separar o distinguir.
Hubo autnticas etapas "oscuras'' cultural y socialmente, y otras con importantes realizaciones
espirituales; hubo regiones cultas y otras muy atrasadas. Cohabitaron diferentes sistemas

15
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.

El "regreso'' de los griegos

La forma de vida que domin durante todos estos siglos, empez a sentirse afectado alrededor del
siglo XII por el descubrimiento por parte de los europeos de las grandes contribuciones en ciencias,
matemticas, literatura y arte, realizados en la Grecia Antigua. Fue a travs del comercio y diversos
tipos de viajes que tomaron contacto con obras que haban sido conservadas, traducidas e incluso
ampliadas por los rabes.
Los trabajos de la Antigedad griega fueron retomados por los intelectuales europeos y religiosos
de la poca, creando lo que se suele llamar la Escolstica; en sntesis podemos decir que se trat de
establecer una unidad entre el pensamiento del gran filsofo de la Antigedad Aristteles (c.384-
322 a.C.), y las ideas y doctrinas de la Iglesia Catlica. A pesar de la vinculacin con el
pensamiento griego antiguo y los resultados de aquella gran cultura, los dirigentes espirituales de la
poca no pusieron sus nfasis en los aspectos naturalistas o ms relacionados con la indagacin
emprica, sino en los aspectos, digamos, ms metafsicos: en la lgica y en las premisas
cosmolgicas que menos entraban en contradiccin con los dogmas establecidos. Por eso, a pesar
de que se lograron algunos resultados de inters en ciencias y en matemticas, stos no fueron de
una gran trascendencia. La situacin slo cambiara bajo la accin de importantes transformaciones
sociales, culturales y polticas que se suelen asociar con los trminos de Renacimiento y, tambin,
de Revolucin Cientfica.
Alrededor de esta poca se conocen algunos resultados matemticos asociados a los nombres de
Leonardo de Pisa (c. 1170-1250) y Nicole Oresme (c.1323-1382).

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
estuvo asociado al conocimiento griego de la Antigedad, a travs directamente de fuentes griegas
en versin siria o hebrea. Ellos haban tomado contacto con lo que qued del mundo griego en
Bizancio, lo que se suele llamar el Imperio Romano de Oriente, a la vez que de Egipto y escuelas
sirias de Edessa, Damasco y Antioqua; aunque tambin tuvieron contacto con obras conservadas
por los cristianos nestorianos en Edessa.

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
 1.3 RENACIMIENTO Y REVOLUCIN CIENTFICA
El Renacimiento signific un reencuentro con la cultura clsica antigua; pero esta vez no fue con la
lgica formal o la especulacin abstracta y no emprica que haban realizado los escolsticos, sino
con algo fundamental: la relacin con el mundo y la indagacin prctica de la naturaleza, el sentido
vital, el humanismo. Fue una poca en la que todo se cuestion y, con ello, se abri un perodo
extraordinario en la produccin intelectual y cultural de la sociedad occidental.

18
Detalle de La Escuela de Atenas de Rafael

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 (1401-
1464), 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).

Las nuevas ideas

Los cambios que se dieron en este periodo de la historia fueron extraordinarios. En lo que se refiere
a los mtodos de la ciencia fueron de fundamental impacto las ideas de Francis Bacon (1561-1626),
Ren Descartes (1596-1650) y de Galileo Galilei (1564-1642).
Con su trabajo se apoy el desarrollo de los mtodos experimentales y empricos, y el uso de
descripciones matemticas y mecnicas en la comprensin de la naturaleza.
Los nuevos mtodos se enfrentaron a las ideas del viejo orden, escolstico y aristotlico, y en un
principio se orientaron especialmente contra la cosmologa geocntrica dominante (la Tierra el
centro del universo).

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 (1546-
1601) 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
Galileo, adems de su lucha por abrir espacio al heliocentrismo, contribuy notablemente en la
afirmacin de la experimentacin emprica y, especialmente, en el uso de las matemticas
(cuantitativas) para la descripcin del mundo circundante. De la misma manera, el filsofo ingls
Bacon fue un verdadero profeta de la ciencia emprica, y Descartes, filsofo y matemtico francs,
adems de subrayar el papel de las matemticas, fue un abanderado por una explicacin
mecanicista del universo.

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.

Los lmites de la geometra clsica

Para que se tenga una idea de lo que significaba esta revolucin en las matemticas conviene que
hagamos una breve digresin sobre la geometra clsica. Los lmites que sta tuvo se debieron
esencialmente a dos caractersticas:
Por un lado: los griegos antiguos establecieron que las construcciones geomtricas y la
geometra en general tenan que hacerse con base en la regla y el comps, lo cual restringa
extraordinariamente los resultados geomtricos. De la misma manera, la geometra era
esttica, las figuras que se dibujaban eran producto de los procedimientos con regla y
comps que se haban establecido y, salvo en algunas excepciones importantes y
significativas, el grueso se realizaba de esa manera.
Por otro lado: las limitaciones en el lgebra, tambin, hacan que la geometra no tuviera
una interrelacin que pudiera potenciar sus posibilidades.

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
 Proyectiles, detalle de una pintura de 1648

Motivados por problemas planteados por las ciencias fsicas y por la vida social durante los siglos
XVI y XVII, los matemticos y cientficos buscaron un nuevo enfoque y nuevos mtodos para
abordar los problemas; ah naci precisamente el Clculo Diferencial e Integral, que tuvo una
repercusin extraordinaria en la historia de las matemticas y en la geometra.

Los logros de la Revolucin Cientfica

El siglo XVII fue una revolucin cientfica en muchos campos, pero esencialmente en las
matemticas y en la astronoma. Podemos tener una idea de lo que esto signific para las
matemticas cuando citamos algunas de las principales obras de la poca:
la Geometra Analtica de Descartes y Pierre de Fermat (1601-1665),
el mismo Clculo de Newton y Wilhelm G. Leibniz (1646-1716),
el Anlisis Combinatorio y la Teora de las Probabilidades que desarrollaron Fermat y
Blaise Pascal (1623-1662),
la Aritmtica superior de Fermat, la Dinmica de Galileo y de Isaac Newton (1642-1727) y
la Gravitacin Universal de Newton,
la Geometra Proyectiva de Gerard Desargues (1593-1662) y Pascal, y hasta
los principios de la Lgica Simblica con Leibniz.

24
 1.4 DE LA GEOMETRA ANALTICA AL CLCULO
En esta seccin nos interesa resear una de los momentos ms importantes en la historia de las
matemticas.

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
La obra de Descartes es autnticamente revolucionaria. Podemos decir que el mtodo que l
propona se reduce a tres pasos:
1- La expresin de un problema geomtrico en forma algebraica.
2- Resolucin de las ecuaciones algebraicas que corresponden al problema geomtrico.
3- Construir o interpretar geomtricamente lo que planteaba la solucin.
Descartes se dice que buscaba liberar a la geometra del exceso de figuras, pero tambin buscaba
darle sentido o significado al lgebra por medio de la geometra. Fue revolucionario Descartes al
establecer que una curva se construye con solamente ofrecer una ecuacin algebraica. Recordemos
que en la Antigedad para que una curva existiera era necesario que hubiera un procedimiento con
regla y comps para poderla construir.

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
Las matemticas del siglo XVII
De manera general, podemos decir que durante el siglo XVII las matemticas tuvieron un carcter
muy aplicado, lo cual corresponda a una demanda en crecimiento del uso de las ciencias en la vida
social, y a flujos e influjos en la economa y en las tcnicas que afectaron los trabajos en las
matemticas; aunque no puede decirse de una manera mecnica y determinista que las demandas de
la vida social y fsica fueron las que generaron los resultados matemticos.

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
1.5 EN EL SIGLO XVIII
Los matemticos europeos de estos siglos sobrepasaron la produccin matemtica antigua; esto en
trminos cuantitativos y, sobre todo, cualitativos: nuevas disciplinas y nuevos conceptos
matemticos se crearon en este perodo.

Intuicin y aplicacin en las matemticas

En el siglo XVIII las matemticas fueron an todava de carcter ms cuantitativo y con mayor
aplicacin fsica. A pesar de la gran cantidad de resultados que se dieron, muchos historiadores de
la ciencia consideran que tambin haba un marasmo lgico en los fundamentos de la matemtica
que se haca. El corazn de las matemticas era el Clculo y aunque ste haba generado un gran
progreso posea muchas lagunas lgicas; los nmeros irracionales, por ejemplo, no seran admitidos
sino hasta principios del mismo siglo XIX, aunque los nmeros negativos y los complejos no.
Los matemticos del siglo XVIII se concentraron en el Clculo y en sus aplicaciones a la mecnica.
Las principales figuras fueron el mismo Leibniz, los hermanos Bernoulli, Jacques (1654-1705) y
Jean (1667-1748), Euler (1707-1783), Lagrange (1736-1813) y Laplace (1749-1827). Aunque debe
incluirse a los matemticos franceses Clairaut (1713-1765), D'Alambert (1717-1783) y Maupertuis
(1698-1759), los hermanos suizos Nicolaus (1695-1726) y Daniel Bernoulli (1700-1782) hijos de
Jean.
Podemos decir que la mayor parte de las matemticas y la fsica entre 1600 y 1900 estuvo asociada
de alguna manera a los mtodos establecidos por el Clculo Diferencial e Integral. Estos han sido
aplicados extraordinariamente en todo fenmeno que exija una medicin tanto en mecnica,
magnetismo, electricidad, gravitacin, calor, luz, movimiento ondular.
El carcter aplicado que predomin en las matemticas del siglo XVII se ampli especialmente
durante el siguiente siglo. Esto era coincidente, adems, con una demanda creciente hacia el uso de
las ciencias en la vida social (en la produccin). Los influjos de la economa, las tcnicas o la vida
social en general afectan e influyen en la prctica matemtica. Debe reconocerse este tipo de
factores a la hora de estudiar la historia de las ciencias. Pero debe tenerse cuidado en no establecer
condicionamientos muy mecnicos o simples. Las capacidades humanas para la creacin intelectual
suelen distanciarse de los contextos materiales y sociales inmediatos, y dejar correr la imaginacin
y el razonamiento lgico muy lejos. En el caso de las matemticas esto es tambin cierto. El
estudio de propiedades abstractas de la realidad (una vez conceptualizadas) puede ampliarse al
margen de la influencia directa de la realidad social o material.

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.

Los matemticos franceses del siglo XVIII

Aparte de Jean D'Alembert (1717-1783), Alexis Claude Clairaut y Etienne Bzout (1730-1783),
Francia tuvo una presencia muy importante en las matemticas de la ltima parte del siglo XVIII,
con personalidades vinculadas o afectadas, de una u otra forma, con la Revolucin Francesa.
Los seis grandes matemticos de ese perodo fueron Lagrange (1736-1813), Legendre (1752-1833),
Laplace (1749-1827), Condorcet (1743-1794), Monge (1746-1818), y Carnot (1753-1823). Todos
ellos destinaron algunos de sus trabajos al Cl-culo diferencial e integral.
Por ejemplo, Monge hizo contribuciones a la geometra analtica y diferencial. Tambin Carnot
trabaj en geometra y, por otro lado, Legendre hizo aportes al Clculo, a la teora de funciones, la
teora de nmeros, y la matemtica aplicada.
Probablemente, quien ms lejos lleg de este grupo de franceses fue Lagrange, considerado muchas
veces el matemtico ms profundo del siglo XVIII (con Euler). Lagrange cre lo que se llama el
clculo de variaciones.

33
Laplace realiz contribuciones decisivas a las probabilidades, y a la mecnica (en particular a la
astronoma). Se ha considerado su libro Mcanique cleste (1799-1825, 5 volmenes) la
culminacin de la teora newtoniana de la gravitacin universal. Laplace demostr que el sistema
del mundo (descrito por la matemtica newtoniana) era estable. Algo as como que no era necesaria
la intervencin divina cotidianamente para el funcionamiento del universo.
La amplia aplicacin fsica de las matemticas por parte de los matemticos de este siglo origin
expresiones como que las matemticas eran solo un instrumento para la fsica (Laplace), o que la
historia se describa como una transicin de un siglo XVII de matemticas a una era de mecnica
(D'Alambert, Denis Diderot, 1713-1784). Sin embargo, tambin estaba la opinin (Lagrange) de
que la mecnica llegara a ser parte del Anlisis.

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.

1.6 EL SIGLO XIX Y LAS NUEVAS MATEMTICAS

En el siglo XIX, los temas que se desarrollaran fueron las Geometras no euclidianas, la Teora de
Nmeros, la Geometra de Grupos y el Algebra en general, el Anlisis con variables complejas; y
en la segunda mitad de ese siglo aparecera la Lgica Matemtica y la Teora de Conjuntos.

Dos factores claves

Hay dos elementos de la primera parte del siglo XIX que ocuparon un papel esencial en la historia
de las matemticas:
por un lado, la construccin de nmeros que no seguan lo esperable en ellos, los
cuaterniones de William Hamilton (1805-1865); y,
por otro lado, las geometras no euclidianas.
Estos dos resultados tericos representaron un autntico motor para sacudir el mundo
matemtico.
Los cuaterniones de Hamilton (dos libros condensan su obra: Lectures on Quaternions de 1853 y
Elements of Quaternions de 1866, pstuma) eran nmeros que no respetaban la propiedad de la
conmutatividad, es decir, , lo que rompa con la concepcin clsica o tradicional sobre
las operaciones. William Kingdon Clifford (1845-1879) generalizara los cuaterniones en lo que

34
llam bi-cuaterniones (1873-1876).
Por el otro lado, las geometras no euclidianas abran una interpretacin para la geometra y para
las matemticas en general que pareca encontrar contradiccin con la realidad fsica circundante.
Como veremos, la idea central de las geometras no euclidianas naca de reconocer que uno de los
axiomas de la geometra euclidiana clsica no se poda probar como una deduccin directa de los
otros axiomas que en esta geometra se daban. Al ser este famoso axioma, que se llam axioma de
las paralelas, un hecho independiente, se justificaba lgicamente la posibilidad de una proposicin
contraria al mismo; con un axioma contrario y los restantes axiomas euclidianos se podan construir
geometras diferentes. Los grandes creadores fueron Carl Gauss (1777-1855), Janos Bolyai (1802-
1860) y Nikolai Lobachevsky (1793-1856). Sus contribuciones las estudiaremos con detalle ms
adelante.
Aunque el impacto de estos resultados fue extraordinario en la historia de todas las matemticas del
siglo XIX, no fue sino hasta el trabajo realizado por el alemn Bernhard Riemann, 1826-1866, (ya
en la segunda parte del siglo XIX) que las geometras no euclidianas seran integradas a las
principales ejes de desarrollo de las matemticas del siglo XIX. Algo as como que Riemann coloc
a las geometras no euclidianas en un marco terico ms amplio.
Antes de Riemann, sin embargo, se dieron intentos de generalizacin de la geometra clsica;
aunque solo seran reconocidos despus de la muerte de Riemann. Vale la pena citar el trabajo de
Hermann Grassmann (Ausdehnungslehre, 1844), quien trabaj con espacios de dimensiones y
cuyos resultados seran retomados dcadas despus para crear el anlisis vectorial para espacios
afines y mtricos. Tambin Arthur Cayley en 1843 haba usado el concepto de espacio de
dimensiones.

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 (1809-
1880).
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 (1858-
1932), que buscaba -como Frege- un lenguaje formalizado para expresar las matemticas (padre de
smbolos como: contiene a pertenece a unin).
En una perspectiva diferente, pero dentro de la motivacin de formalizar las matemticas, se
encuentra una parte de la obra del gran matemtico alemn David Hilbert (1862-1943). Peano
haba ofrecido una fundamentacin formal y axiomtica del lgebra y el anlisis, pero faltaba la
geometra; Hilbert asumi esa tarea en su famoso libro Grundlagen der Geometrie (1899) Hilbert
us 21 axiomas para reconstruir el edificio de la geometra euclidiana.
El nfasis en los aspectos formales y axiomticos, dio pie para una filosofa de las matemticas que
se denomin formalismo, y de la que Hilbert fue su principal exponente. Aunque el formalismo
tena cosas en comn con el logicismo de Frege y Russell, haba diferencias filosficas de fondo.

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.

1.7 LAS GEOMETRAS NO EUCLIDIANAS

Podemos establecer una periodizacin de la historia de las matemticas distinta a la que ofrecimos
al comenzar este captulo, con una ptica un poco diferente, ms bien filosfica.

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
relacin vinculante y de dependencia entre las matemticas y la realidad.
Las cosas cambiaron en la conciencia de la comunidad matemtica ante la evidencia de teoras que
no parecan responder a la evidencia fsica y a una relacin con la realidad y el mundo que nos
rodea; se empez a desarrollar la idea y la opinin de que las matemticas no necesariamente se
refieren de manera directa al mundo, y que las teoras y conceptos de las matemticas tienen
validez en s mismos y medidos por parmetros establecidos por la comunidad matemtica, y que
suelen ser la validez lgica y el rigor conceptual.
Mientras en el siglo XVIII las matemticas eran vistas probablemente como una continuacin de la
fsica, de la mecnica y la cinemtica, capaces de predecir eventos de la realidad, en el siglo XIX
hay visiones que establecen con toda claridad una distancia de las matemticas con relacin al
mundo.

La autonoma de las matemticas

La autonoma e independencia de las matemticas conforman, entonces, un elemento diferente que
arranca con toda propiedad en el siglo XIX, aunque algunos cientficos y matemticos
anteriormente haban expresado ideas en ese mismo sentido.
Las matemticas como campos alejados de la aplicacin fsica y de la descripcin de la naturaleza
permita la creacin de especialistas de las matemticas puras: un profesional bastante diferente al
que en siglos anteriores poda "representar'' al matemtico.
Si ponemos las cosas en esta perspectiva histrica, la relevancia que ocupa la geometra no
euclidiana es extraordinaria. Hasta el siglo XIX, 23 siglos despus de la obra de Euclides que
estableci la mayor sistematizacin de la geometra antiga, se realiz un cambio de visin sobre
las matemticas; y este cambio de visin radical fue producto en especial de las geometras no
euclidianas, que rompan la organizacin axiomtica clsica y afirmaban, con plena validez
matemtica, teoras en contradiccin con la geometra euclidiana.
El impacto era enorme, pues la geometra euclidiana describa supuestamente el mundo o las
percepciones que sobre el mismo se tenan. Cmo era posible una geometra que no hiciera lo
mismo y fuera tambin vlida?, no se tratara, entonces, solamente de quitar, aadir o modificar
uno de los axiomas o postulados de la geometra euclidiana? Era evidentemente algo mucho ms
profundo que eso: era cambiar la visin sobre las matemticas y su relacin con el mundo que
predomin durante tanto tiempo.
Debe decirse, sin embargo, que no solo la geometra no euclidiana contribua a una percepcin
diferente de la relacin entre las matemticas y el mundo; el lgebra abstracta alter la
"normalidad'' de la artimtica tradicional, y esto tuvo un gran impacto. De hecho, el influjo de
abstraccin que supone la naturaleza misma del lgebra impregn crecientemente todos los campos
de las matemticas (unos ms que otros), y una actitud consistente de abstraccin y generalizacin
de objetos y mtodos, una "separacin'' de las matemticas del mundo.
Las geometras no euclideanas constituyen una de los grandes revoluciones en el pensamiento, con
implicaciones extraordinarias en la historia de las matemticas y de la ciencia. Y esto es lo que nos
interesa resear en las siguientes pginas de este libro.

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
27.Las matemticas del siglo XVIII estuvieron basadas en la lgica.
28.La geometra no euclidiana y los cuaterniones fueron resultados de la Revolucin
Cientfica.
29.Desargues fue el creador de la Geometra proyectiva.
30.Boole es el padre del Logicismo.
31.Galileo pensaba que la derivada era una velocidad.
32.Leibniz se adelant a Newton en la creacin del Clculo.
33.Frege public Principia Mathematica.
34.Hilbert cre una geometra no euclidiana.
Comente el siguiente prrafo:
"Las cosas cambiaron en la conciencia de la comunidad matemtica ante la evidencia de
teoras que no parecan responder a la evidencia fsica y a una relacin con la realidad y el
mundo que nos rodea; se empez a desarrollar la idea y la opinin de que las matemticas
no necesariamente se refieren de manera directa al mundo, y que las teoras y conceptos de
las matemticas tienen validez en s mismos y medidos por parmetros establecidos por la
comunidad matemtica, y que suelen ser la validez lgica y el rigor conceptual.''

43
 Captulo II: En la Geometra Euclidiana
El sentido de las geometras no euclidianas solamente se puede captar si se entiende la evolucin de
las matemticas. En particular el papel que jugaron y juegan esos trminos que solemos llamar
postulados o axiomas.
Si bien las matemticas no son reducibles a puras deducciones lgicas con base en axiomas, nadie
puede negar que estos asuntos han sido y seguirn siendo muy importantes para todas las
dimensiones de las matemticas. Y, por lo tanto, para su aprendizaje y enseanza.
Vamos a realizar una incursin en la historia de la geometra para desentraar los secretos de esas
geometras. Antes mencionemos que la palabra "geometra'' viene del griego geometrein (geo:
tierra, y metrein: medir). Segn Herodoto, el historiador griego del siglo V a.C., el origen de la
geometra se deba a los agrimensores egipcios; la realidad es que todas las viejas civilizaciones
tuvieron conocimiento o prcticas geomtricas.
Empezamos con Euclides y sus famosos postulados.
Euclides de Alejandra y su famoso libro los Elementos a veces se asocian como si fueran lo
mismo; la realidad es, sin embargo, que se guardan muchos libros o tratados que Euclides escribi
en campos que van desde la astronoma y msica a la ptica y mecnica, e, incluso, tuvo un trabajo
sobre las secciones cnicas.

Pgina de los Elementos, versin griega del siglo IX

44
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.

2.1 LOS POSTULADOS

Los antiguos griegos creyeron que los seres humanos podan reconocer inmediatamente ciertas
verdades acerca de las propiedades geomtricas de los objetos fsicos y del espacio que nos rodea.
Por ejemplo que al tener dos puntos es posible trazar una y solo una recta por ellos. O que el todo
siempre es ms grande que cualquiera de sus partes.

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.

2. Es posible extender un segmento de recta continuamente a una recta.

3. Es posible describir un crculo con cualquier centro y cualquier radio.

46
 4. Que todos los ngulos rectos son iguales.

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
 Captulo III: El quinto postulado

Como hemos mencionado en el captulo anterior, el problema se concentr en el quinto postulado.

Y su historia es la de los mltiples esfuerzos por descubrir la naturaleza de la geometra y del
mundo que nos rodea.
Mucho tiene que ver con las rectas paralelas, como las que usted puede ver en este techo:

52
 3.1 DE EUCLIDES A SACCHERI
Dos fueron los tipos de esfuerzo que desarrollaron los matemticos entre Euclides y el siglo XIX
para abordar el problema del postulado quinto. Por un lado trataron de obtener un postulado similar
que fuera ms evidente. Por el otro lado, trataron de deducir el quinto postulado de los otros
postulados y axiomas.

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.

Claudio Ptolomeo (c. 85-165 d. C)

Es decir, trat de obtener otra coleccin de axiomas y que el quinto se desprendiera de los nuevos.
Sin embargo, Ptolomeo asumi sin darse cuenta que 2 lneas rectas no encierran un espacio y que si
y son paralelas, entonces lo que sea vlido para los ngulos internos en un lado de
debe serlo tambin en el otro. Vea la figura.

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
 John Wallis (1616-1703)

El postulado deca:

Dado un tringulo y dado un segmento , existe un tringulo (con como

uno de sus lados) que es semejante a (es decir ).
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
La formulacin ms conocida: el postulado de las paralelas
Joseph Fenn en 1769 sugiri una sustitucin del postulado:
Dos rectas que se cortan no pueden ser paralelas a una tercera recta.
Al parecer este axioma haba aparecido en la obra de Proclus.
El axioma dado por Fenn es equivalente al dado por el escocs John Playfair (1748-1 819), que
constituye la versin ms conocida del quinto postulado:

m y n no pueden ser las dos paralelas a l

A travs de un punto exterior a una recta dada solo pasa una recta paralela a la recta dada.

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 (1667-
1733), 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 donde los ngulos y son rectos.

57
Fcilmente se prueba que los ngulos y son iguales.

El postulado de Euclides es equivalente a decir que los ngulos y son rectos. Para demostrar
eso Saccheri consider dos alternativas contrarias:

que y fueran obtusos : la hiptesis del ngulo obtuso;

que y fueran agudos: la hiptesis del ngulo agudo.

58
Con base en la primera hiptesis y los 9 axiomas restantes Saccheri encontr un contradiccin:
prob que los angulos y deban ser rectos (y esto no poda ser porque precisamente parta de
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 y una recta , sobre la hiptesis del
ngulo agudo existe en el lapiz ( familia) de rectas a travs de 2 lneas y que dividen el lapiz
en 2 partes. La primera de stas consiste de las lneas que intersecan , y la segunda consiste de
aquellas lneas (sobre el ngulo ) que poseen una perpendicualr comn con en algn lugar de
. Las lneas y son ellas mismas asintticas a . De este resultado y una argumentacin extensa,
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.

Saccheri dijo precisamente:

"La hiptesis del ngulo agudo es absolutamente falsa, porque (es) repugnante a la naturaleza de la
recta''.

59
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.

3.3 OTROS PRECEDENTES

Antes de la formulacin definitiva de la geometra no euclidiana muchas otras personas analizaron
esta situacin y buscaron resolver el estatus del quinto postulado. Algunas de las ideas que se
plantearon fueron muy importantes. Veamos algunas de ellas.

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
 Captulo IV: Las nuevas geometras

Hemos llegado al momento decisivo en la historia de la geometra no euclidiana.

Despus de centenares de aos de intentos por demostrar el quinto postulado deducido de los otros
postulados o de sustituirlo por otros ms sencillos, los gemetras cortaron el nudo gordiano.
Construyeron un nuevo marco terico que revolucionara (con el tiempo) la percepcin de las
matemticas.
Es interesante sealar que la construccin de estos resultados se dio en la primera mitad del siglo
XIX, que fue un periodo decisivo en la creacin de la sociedad moderna. A finales del siglo
anterior se haba dado la Revolucin Francesa con su cortejo de implicaciones para la historia.
Varios cambios en la percepcin del mundo se haban provocado.
El nuevo momento estableca tambin un contexto social y cultural para la aceptacin de una nueva
manera de ver la geometra y las matemticas en general.

4.1 GAUSS Y LA NUEVA GEOMETRA

Gauss al igual que el ruso Nikolai Ivanovich Lobachevsky (1793-1856), y el hngaro Jnos Bolyai
(1802-1860), crearon independientemente las geometras no euclidianas. Gauss se adelant en el
tiempo a los otros matemticos, pero no public sus resultados.
Carl Friedrich Gauss naci en 1777 en la ciudad alemana de Brunswick, y se educ en la
Universidad de Gttingen. Gauss produjo resultados del ms alto nivel en casi todos los campos de
las matemticas puras y aplicadas. Su trabajo le vali el ttulo de "Prncipe de los matemticos'', y
es considerado uno de los ms grandes matemticos de la historia.

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..

Carl Friedrich Gauss (1777-1855)

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
 4.2 BOLYAI Y LOBACHEVSKY

Lobachevsky
Nikolai fue hijo de un modesto funcionario del gobierno ruso, quien muri cuando el nio tena 7
aos.

Nikolai Lobachevsky (1793-1856)

A los 21 aos empez como profesor de la Universidad de Kazn de la que lleg a ser rector en
1827. Present en 1826 su aproximacin en torno a la nueva geometra, pero este trabajo se perdi.
Posteriormente public sus trabajos en Kazan, y tambin en el Journal fr Mathematik. El primer
ensayo se llam "Sobre los fundamentos de la geometra" (1829-1830) y un segundo trabajo:
"Nuevos Fundamentos de la Geometra con una Teora Completa de las Paralelas". (1835-1837). El
llam su geometra primeramente imaginaria y luego pangeometra.

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.

Jnos Bolyai (1802-1860)

Puesto que el postulado de las paralelas era un hecho independiente, se justificaba (lgicamente) la
adopcin de una proposicin contraria a ese axioma. Se trataba entonces de deducir las
consecuencias de un nuevo sistema donde se incluyera el nuevo axioma (contrario al de las
paralelas).

4.3 PRIORIDAD Y SENTIDO HISTRICOS

Como fue Lobachevsky el primero en publicar su obra, se le suele tomar como el padre de la
geometra no euclidiana. Pero, como hemos visto, las cosas son ms complejas.
No es difcil imaginar que se dio una polmica acerca de la prioridad histrica de los resultados.
Gauss al leer en 1832 el artculo de Jnos escribi a su padre dicindole que no poda aplaudir ese
trabajo porque de hacerlo sera aplaudir su propio trabajo (de Gauss). Similamente Bolyai pens
que Lobachevsky le haba copiado su trabajo.

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
La geometra as desarrollada inclua algunos de los resultados de la geometra euclidiana puesto
que asuma todos los otros axiomas salvo el quinto. Y, por supuesto, contena otros totalmente
diferentes.

Dos paralelas y una perpendicular

Considere un punto exterior a la recta dada , y rectas paralelas a .

Considere ahora una recta perpendicular a y que pasa por .

Dos paralelas y una perpendicular

67
El ngulo en la geometra euclidiana sera de 90 grados. Pero en la nueva geometra ste ngulo
es ms bien agudo. Y lo que es ms sorprendente es que el ngulo depende de la longitud de la
perpendicular . Si es ms corto, el ngulo se hace ms grande. Conforme 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.

4.4 ALGUNAS IMPLICACIONES

La construccin de la geometra no euclidiana revela varias caractersticas de las matemticas y de
las ciencias en general.

1. El sentido social de la ciencia y de las matemticas

Los conceptos y mtodos matemticos, en general, no son el producto de una o dos mentes
aisladas. Varios cientficos aportaron sus resultados creando un terreno frtil para dar pasos ms
decisivos y ambiciosos. Ah estaban Sacchieri, Lambert, Schweikart y muchos otros que durante
siglos trabajaron el postulado de las paralelas para buscar una mejor comprensin de la geometra.
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.
Hoy en da a partir de las revistas especializadas, el correo electrnico o las reuniones cientficas
constantes este tipo de procesos es ms evidente. En siglos pasados, la correspondencia personal o
el viaje itinerante de unos cientficos lograba la comunicacin y el intercambio social y colectivo
de ideas y opiniones. La construccin cientfica es un hecho histrico, social y colectivo.

2. Varios factores sociales

Si lo anterior nos lleva a tener que considerar las contrucciones de las ciencias como resultados
complejos con la participacin de muchos, la geometra no euclidiana tambin es un ejemplo de
cmo en la construccin matemtica intervienen los factores no matemticos, opiniones y
percepciones ideolgicas.

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
 Captulo V: Desarrollos Posteriores

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
 Georg Bernhard Riemann
(1826-1866)
Riemann contribuy directamente a la generacin de nuevas geometras de una forma muy
amplia.Una recta esfrica es un crculo grande. No posee principio ni fin. Es ilimitada, pero no es
infinita.

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
Esta era la hiptesis del ngulo obtuso de Saccheri.
Pero Riemann no se qued ah. Saccheri haba combinado este axioma (dos rectas se cortan) con
los otros 9 eucldeos, mientras Riemann propuso un cambio adicional. Si era vlido dudar del
quinto postulado por qu no era posible dudar de los otros?. Eso hizo con relacin al segundo
postulado.
Recordemos que en la geometra euclidiana:
"Es posible extender un segmento de recta a una recta''.
Es decir, de un segmento podemos obtener un recta infinita. Riemann pens que lo que realmente
podemos garantizar no es una recta infinita, sino ms bien que el proceso de extender un segmento
no posee fin. Hizo una distincin muy sutil entre entre longitud infinita y longitud ilimitada o
inacabable. Por ejemplo: uno puede recorrer un crculo ilimitadamente pero el crculo posee una
longitud finita. De esta manera, Riemann enfatiz una dimensin especial del concepto de recta;
stas aqu no son longitudes infinitas sino ilimitadas.
Armado con la reformulacin de estos dos nuevos postulados cre una nueva geometra no
euclidiana.
Como usaba postulados euclidianos, al igual que con las otras geometras no euclidianas, obtena

resultados euclidianos; como, por ejemplo, el criterio de congruencia de tringulos

Por supuesto, tambin resultados no euclidianos, por ejemplo:

La suma de los ngulos de un tringulo es siempre mayor de 180 grados.
Esta suma, adems, vara de acuerdo al tamao del tringulo. Conforme hacemos el
tringulo de menor rea, la suma se hace ms pequea, cercana a 0 cuando el rea tiende a
0.

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
Los mismos asuntos se pueden estudiar en el espacio de tres dimensiones.
Todos estos asuntos tenan una importancia vital en fsica, mecnica y en la confeccin de mapas.
Por ejemplo, consideremos el problema de representar en un plano (una hoja) la esfera; lo cual
sera parecido a poner en un mapa el planeta Tierra.
Era claro desde antes del siglo XVIII que esto no se poda hacer preservando las propiedades
geomtricas de la esfera en el plano (de la Tierra en el mapa). Pero s hay algunas propiedades
geometricas que s se preservan en esta representacin en el plano. Por ejemplo, los ngulos.
En efecto, el inters se volc durante muchos aos hacia las representaciones que permitan
preservar los ngulos de las curvas consideradas. J. H. Lambert, Euler, Lagrange y muchos otros
matemticos del siglo XVIII buscaron avanzar en estos temas tan apreciados para la cartografa.

De la esfera al plano.

75
La superficie como espacio
En 1827, Gauss escribi su formidable artculo sobre la geometra diferencial en las superficies:
Disquisitiones Generales circa Superficies Curvas (Investigaciones generales sobre superficies
curvas). Aqu dio Gauss una nueva idea que sera usada por Riemann: una superficie se poda ver
como un espacio en s mismo.
En 1854, Riemann dio una conferencia en Gttingen para optar a la categora de Privatdozent
(profesor). Gauss, quien le haba dado a Riemann como tema de estudio los fundamentos de la
geometra, estuvo presente. El trabajo sin embargo no fue publicado sino hasta 1868 y fue
intitulado ber die Hypothesen, welche der Geometrie zu Grunde liegen (Acerca de las hiptesis
que estn en los fundamentos de la geometra).

en el espacio de tres dimensiones

76
La geometra euclidiana es emprica
Riemann al igual que Gauss asoci geometra con mecnica, pero fue ms lejos que Gauss.
Riemann trat de demostrar que los axiomas especficos de Euclides eran empricos y no
autoevidentes y necesarios en s mismos al margen de la experiencia.
Su estrategia fue buscar qu era lo realmente a priori en la geometra del espacio y estudiar sus
consecuencias. Cualesquiera otras propiedades del espacio no eran a priori y entonces seran de
naturaleza emprica. Es decir, ver lo realmente necesario y autoevidente, y una vez resuelto esto
hacer ver que lo que quedaba fuera solo poda ser emprico.

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 dimensiones (aunque el caso de mayor inters era el de tres dimensiones).

Una variedad est compuesta por puntos con coordenadas. ; en 3

dimensiones los puntos son de la forma .
El conjunto de puntos forma una variedad.
Las variedades eran el concepto ms general y stas posean un conjunto de propiedades aplicables
a cualquier variedad. Este conjunto era las propiedades necesarias y autoevidentes que Riemann
andaba buscando.

Espacio fsico como ejemplo de variedad

Riemann demuestra que el espacio fsico es un caso especfico de variedad y, entonces, concluye
que la geometra del espacio no puede ser deducida del conjunto de propiedades generales de las
variedades.

77
 William Clifford (1845-1879)
Para Riemann estas propiedades que distinguen el espacio fsico de otras variedades de tres
dimensiones deben ser obtenidas por medio de la experiencia. Puesto de otra forma: la experiencia
es la que debe decidir si las propiedades especficas que sintetiza la geometra euclidiana
corresponden a la realidad o no.
Los axiomas de la geometra euclidiana pueden corresponder o no con la realidad que nos rodea.
Descubrir eso, deca Riemann, no es un asunto para la geometra sino para la fsica.

Una nueva visin del espacio

Esto planteaba una visin del espacio muy diferente de la que incluso hoy en da nos resulta
natural. El matemtico ingls William K. Clifford afirmaba las siguientes propiedades del espacio
fsico que probablemente coincidiran con las de Riemann:
El espacio es una superficie en promedio plana pero donde existen unas pequeas porciones
que son como pequeas colinas.
Esta propiedad de ser curvo o distorsionado se pasa de una porcin del espacio a otra como
hace una onda.
La variacin de la curvatura del espacio es lo que pasa en el movimiento de la materia.
En este mundo fsico esta variacin es lo nico que se da, adems de la ley de la
continuidad.
La conclusin que se obtiene frente a un espacio que cumpla lo anterior es muy importante. Se trata
de un espacio donde la curvatura vara de lugar en lugar y, debido al movimiento de la materia, la
curvatura cambia tambin de tiempo en tiempo. Es decir: hay variacin debida al espacio y al
tiempo. Es imposible que las leyes de la geometra euclidiana se puedan aplicar en un espacio as
concebido.
Entonces, la conclusin es muy fuerte: la geometra euclidiana no es la geometra del espacio que
nos rodea.

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?

5.2 DE RIEMANN A KLEIN

Despus de la muerte de Riemann en 1868, varios matemticos siguieron estas lneas de trabajo
ampliando los resultados: Eugenio Beltrami (1835-1900), Elwin Brunno Christoffel (1829-1900) y
Rudolph Lipschitz (1832-1903).

Eugenio Beltrami (1835-1889)

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.

La esfera como modelo de la geometra doble elptica

El desarrollo de estos modelos ayud a los matemticos a darle cierto sentido a las nuevas
geometras. Pero en esa poca todava faltaban otros resultados matemticos que permitieran
comprender con cabalidad las geometras no euclidianas.

Dentro de la geometra proyectiva

Probablemente el resultado que ms influy en esa direccin fue la conexin que se desarroll
entre la geometra euclidiana y la geometra proyectiva.
Los matemticos lograron demostrar que la proyectiva era ms general; es decir, por ejemplo, que
la euclidiana era un caso de la proyectiva.
De igual manera Felix Klein (1849-1925) fue ms lejos. Hizo ver que la geometra hiperblica y la
doble elptica podan englobarse dentro de la geometra proyectiva.
Un esquema de la clasificacin de Klein puede ser el siguiente (algunas de las geometras
mencionadas no las vamos a explicar en este libro).

81
 Clasificacin de algunas geometras segn Klein

La aplicacin de las nuevas geometras

Aunque Gauss, Bolyai y Lobachevsky creyeron en la aplicabilidad fsica de sus nuevas geometras,
los matemticos siguientes no pensaron igual. Incluso Cayley, Klein y Poincar no visualizaron
aplicaciones. Klein, por ejemplo, pensaba que el espacio fundamental era el euclidiano y las otras
geometras eran otras formas de geometra euclidiana con algunas variaciones (con nuevas
funciones de distancia). Poincar a lo nico que llegaba es a decir que la geometra euclidiana era
la ms conveniente. Con la emersin de la teora de la relatividad por Einstein todas estas
valoraciones del papel, importancia y lugar de las geometras no euclidianas y, por ende, de la
euclidiana, tuvieron que cambiar drsticamente.

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
 Captulo VI: Sobre la esfera

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:

Medida en los polos Medida fuera de los polos

Cuntas trayectorias podra usar usted en el caso del globo y cuntas en el de la bola?

84
6.1 GEOMETRA ESFRICA
Llamamos con los trminos geometra esfrica el estudio de las propiedades de rectas, puntos,
segmentos, y todas las figuras geometrcas puestas en la superficie de una esfera. Esta constituye
un modelo o ejemplo de geometra no euclidiana. Es decir: la geometra esfrica es una geometra
diferente a la clsica euclidiana pero que tiene perfecta validez.
En ella el plano es la superficie de una esfera.
Los puntos son iguales que en la euclidiana pero las rectas son los crculos grandes, aquellos que
pasan por dos puntos opuestos (tambin se llaman geodsicas ).
Vea la figura siguiente:

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.

Paralelos y meridianos en el globo terrqueo .

86
 6.2 SEMEJANZAS Y DIFERENCIAS
Como hemos visto, varios postulados constituyen la base de la geometra sistematizada por
Euclides. Los postulados suelen plantearse como verdades autoevidentes, es decir que su verdad
nos parece ms o menos obvia.
Otra caracterstica de los postulados es que stos no pueden ser deducidos de otros postulados. Es
decir: los postulados son evidentes en s mismos y adems elementos primarios (base de todos los
dems resultados).

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.

El quinto postulado de Euclides

87
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.

Un punto exterior a una recta

88
 Postulado de las paralelas

Dos tipos de geometra

Como sabemos, la negacin lgica del quinto postulado nos da dos proposiciones diferentes
1. Dado un punto exterior a una recta dada, pasan ms de una recta paralela a la recta dada.

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 siempre poseen dos puntos de
interseccin. Haga un dibujo para representar esta situacin.

Ahora considere una recta (esfrica), es decir un crculo grande y un punto externo .

Por lo anterior, cualquier recta que pase por interseca a en dos puntos.

La conclusin es:

Dados una recta y un punto fuera de ella, no existe una recta paralela a que pase por
.

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:

Por la construccin usted puede ver que los ngulos en y son rectos y, entonces, la suma de
los tres ngulos es mayor que 180 grados.

Dados y pueden pasar un crculo grande que los contuviera o, en el caso de ser y
opuestos, muchos crculos grandes. La conclusin es que dados dos puntos y existe por lo
menos una recta (esfrica) que los contiene.

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 y un punto , existe solo una recta perpendicular a que pasa
por .

92
 Captulo VII: Otros modelos geomtricos

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 .

7.1 EN UNA SILLA DE MONTAR

Esta geometra se puede representar como si el plano fuera una silla de montar a caballo. Recuerde
la forma de ese tipo de sillas. Consideremos en este plano una recta y un punto fuera de ella.

93
Usted puede fcilmente observar que existe ms de una paralela que pasa por .

En el dibujo anterior vea cmo dados la recta y el punto , existen rectas y que pasan por
y son paralelas a .

7.2 DENTRO DE UN DISCO

Ahora vamos a ver otra representacin de la geometra hiperblica. Le vamos a llamar el modelo
de Beltrami-Klein porque fue planteado por los matemticos Eugenio Beltrami (italiano) y Felix
Klein (alemn).

Dibujemos un crculo en el plano euclidiano normal.

Llamemos al centro del crculo.

Si es un punto en la circunferencia entonces es el radio.

Vea la figura siguiente:

94
 Interior del crculo

Como usted sabe muy bien, el interior de consiste de todos los puntos tales que
Ahora s, aqu est la definicin:
Los puntos del interior del crculo representan los puntos del nuevo plano hiperblico.

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:

y son cuerdas abiertas

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 quiere decir que est en la recta eucldea y que est entre y
.

Llegamos a un punto clave. Consideremos el punto y la recta .

Podemos trazar dos rectas paralelas y que pasan por y ambas son paralelas a la cuerda
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
Note que no importa que al extender y stas corten a la extensin de .

El plano hiperblico no sigue fuera del crculo .

98
 7.3 OTRO MODELO
Otro modelo de geometra hiperblica es lo que se suele llamar el disco de Poincar, en honor a un
matemtico francs de finales del siglo XIX y principios del siglo XX (de hecho, Poincar cre dos
modelos de geometra hiperblica). Es parecido al anterior de Beltrami-Klein.

Se toma, tambin, como plano al conjunto de los puntos del interior de un crculo .
Sin embargo las rectas se definen de manera diferente.
En primer lugar:
todos los dimetros son rectas.

Los dimetros son rectas

Otras rectas se definen de la siguiente manera:

Dado el crculo constryase un crculo que sea ortogonal a .

Es decir que en sus puntos de interseccin, sus respectivos radios sean perpendiculares. Esto lo
podemos visualizar as:

Crculos que se cortan ortogonalmente

99
El arco del crculo que est dentro del interior de representa una recta del plano de Poincar.

Debe recordar siempre que el plano hiperblico no incluye los puntos en la circunferencia de .
Entonces:

Los dimetros de y estos arcos as construidos son las rectas del plano de Poincar.

Un detalle: las longitudes se distorsionan cerca de la frontera (circunferencia) para hacerla

inalcanzable.
Para que se tenga una idea mayor, veamos como se encontrara un ngulo:

El ngulo se mide a partir de las rectas tangentes (euclidianas) a las curvas en el punto de
interseccin.

100
 Rectas tangentes a un crculo Rectas tangentes a una funcin

Ahora usted puede darse cuenta que existe un nmero infinito de rectas paralelas a una recta y
que pasan por un punto externo .

En la figura siguiente construimos 2 rectas paralelas a (que no poseen puntos en comn con ) y
que pasan por .

Vamos a representar un cuadriltero en este modelo:

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.

7.4 EL OTRO MODELO DE POINCAR

Para ofrecer una pincelada del otro modelo de Poincar, vamos a mencionar lo bsico: Este plano
hiperblico viene representado por los puntos de uno de los semiplanos determinados por una recta
eucldea fija. Considere la figura siguiente, en la cual tomamos el semiplano determinado por el eje
:

102
Las rectas se repreentan por 2 formas:

a) como rayos que emanan de puntos sobre el eje 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 ?
4. Cules son las rectas del modelo de Beltrami-Klein?
5. Explique por escrito qu son dos rectas paralelas en el modelo de Beltrami-Klein.
6. En el disco de Poincar, dnde estn sus puntos?
7. En este disco de Poincar, cuntos tipos de rectas existen?. Explique.
Diga si la proposicin es falsa o verdadera. Justifique su respuesta. Puede usar un diagrama
para mostrar su punto de vista.
8. En una silla de montar, la suma de los ngulos de un tringulo es de 180 grados.
9. En el modelo de Beltrami-Klein, se puede trazar un segmento que una dos puntos de la
circunferencia.
10.Las rectas del disco de Klein son las cuerdas.
11.En el modelo de Poincar, los dimetros son rectas.
12.Por un punto exterior a una recta dada, en el modelo de Poincar no pasan rectas paralelas.

103
 Captulo VIII: Algunas lecciones

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?

8.1 LA CUERDA ESTIRADA

La respuesta est en que los griegos antiguos escogieron una cuerda estirada o el borde una regla
como la lnea recta fsica y con esa escogencia establecieron los axiomas eucldeos, base de toda su
geometra.
Esta escogencia pareciera lo natural para seres vivientes que se mueven en superficies pequeas.
Por ejemplo, no podemos apreciar la curvatura de las longitudes del planeta Tierra tan fcilmente.
De hecho, su carcter cuasiesfrico tom mucho tiempo para ser descubierto.
Si bien en los griegos antiguos se lleg a afirmar la redondez de la Tierra (probablemente, por la
perfeccin atribuida a lo circular) e, incluso, que sta giraba alrededor de un gran fuego central,
durante siglos la visin dominante era que la Tierra era plana.

104
 Una longitud terrestre es siempre una curva.

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.

La masa planetaria distorsiona los rayos de luz

Einstein us una de estas geometras (ms compleja que las que hemos visto en este libro) para
elaborar su teora de la relatividad y explicar fenmenos estelares que el modelo de Newton no
lograba describir bien.

105
 Albert Einstein (1879-1955)

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.

8.2 LECCIONES TILES

La historia de la geometra no euclidiana deja muchas lecciones.
Lo primero que las geometras no euclidianas logran es cuestionar el estatus de la geometra
euclidiana como u-na descripcin de las propiedades geomtricas del mundo que nos rodea.
O, lo que es igual, establece nuevas teoras para e-sa descripcin. En la gnesis de la
matemtica, como en todas las ciencias, participan entonces las condiciones materiales,
circunstancias sociales, y procesos de pensamiento.
Durante todo el siglo XIX fueron muy pocos los matemticos que pensaron que estas teoras
eran aplicables a la realidad. Las vieron mayoritariamente como curiosidades lgicas, o
derivables de la euclidiana de una u otra ma-nera.

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.

Las geometras no euclidianas demostraron que no hay teoras definitivas, absolutas,

verdaderas para siempre, y que, entonces, la mejor actitud en el conocimiento (y en la vida)
es la de respeto, apertura y flexibilidad para aceptar nuevas ideas o teoras.

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

Babini, Jos. Historia sucinta de la matemtica. Madrid: Es-pasa-Calpe, S.A., 1969.

Baron, Margaret E. The Origins of the Infinitesimal Calculus. Londres: Pergamon Press,
1969.
Bell, E.T. Men of Mathematics. New York: Simon and Shuster, 1937.
Bell, E.T. Development of Mathematics. New York: MacGraw Hill Book Co., 1940. Una
versin tambin en ingls pero aumentada sali en 1945. Versin en espaol por el Fondo
de Cultura Econmica S. A.: Mxico, 1949.
Bell, E.T. Mathematics. Queen & Servant of Science. Washington D. C. : Mathematical
Association of America, 1951. Otra edicin por Tempus Books of Microsof Press:
Redmond, Washington, 1987.
Benacerraf, Paul y Putnam, Hilary (editores): Philosophy of Mathematics: Selected
Readings. Cambridge University Press, 1983.
Bernal, John D.. Science in History. Londres: C. A. Watts and Co. Ltd., 1954. Versin en
espaol (traduccin de Eli de Gortari) por la UNAM de Mxico: Mxico, 1972.
Bochner. Salomon. The Role of Mathematics in the Rise of Science. Princeton, N. J.:
Princeton University Press, 1966.
Bolzano, Bernard. Las paradojas del infinito. Mxico: UNAM (Coleccin MATHEMA),
1991. La primera versin de este trabajo fue publicada en alemn en Leipzig en 1851.
Bonola, R. Non-Euclidean Geometry. New York: Dover, 1955.
Bourbaki, Nicols. Elements d'Histoire des mathematiques. Pars: Hermann, 1960. Edicin
en espaol por Alianza Editorial: Madrid, 1972.

109
 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
 Struik, D. J. A Source Book in Mathematics 1200-1800. Cambridge, Mass.: Harvard
University Press, 1969. Otra edicin por Princeton University Press: Princeton, N. J., 1986.
Taton, Ren (Editor). Histoire gnrale des sciences. Pars: Presses Universitaires de
France, 1957-1961, 5 volmenes.
Tsijli, Th., Geometra Eucldea I, San Jos: Editorial de la UNED, 1994.
Vrilly, J. C., Elementos de Geometra Plana. San Jos: Editorial de la UCR, 1988.
Yaglom, I. M., Geometric Transformations III, New York: Random House, 1973.

112