O R G E N E S D E LA G E O M E T R A

N O EUCLIDIANA:

SACCHERI, LAMBERT Y TAURINUS

ALBERTO DOU

Acadmico Numerario

O. Introduccin

0.1. Durante el siglo XIX, a partir de los aos 1825 y 1826, los ma-
temticos Jnos Bolyai y Nikolai Lobachevski dan a conocer pblicamente los pri-
meros descubrimientos de la primera geometra no eucldea. Ambos publican in-
dependientemente y casi simultneamente sendos tratados, Lobachevski en 1829 y
Bolyai en 1832, que hacen patente que cada uno ha descubierto la misma primera
geometra no eucldea. Esta geometra, que Lobachevski llama imaginaria (1840, n.
22) y Bolyai llama S (1832, 15) en oposicin a la geometra eucldea que llama Z,
es la geometra que se obtiene de la de Euclides, o sea de los Elementos de Euclides,
cuando, en vez de asumir el quinto postulado o postulado de Euclides, se asume
precisamente su negacin.

La emergencia de esta geometra en el siglo XIX, despus de haberse

credo unnimemente por todos los gemetras durante ms de dos milenios que la
nica geometra posible era la de los Elementos, supone la contribucin importante
de muchos precursores. El primero, que dio con el mtodo que lgicamente tena
que conducir y de hecho condujo al descubrimiento de la nueva Geometra, fue
Saccheri (1667-1733). Siguieron con el mismo mtodo Lambert (1728-1777), Gauss
(1777-1855), Wachter (1792-1817), Schweikart (1780-1859), Taurinus (1794-1874),
J. Bolyai (1802-1860) y Lobachevski (1793-1856). Hubo otros que tambin se ocu-
paron de la teora de las paralelas como Thibaut y Legendre, pero recayendo en los
mtodos antiguos de pseudodemostraciones y sus resultados terminaron en lnea
muerta.^
^Vanse los comentarios de Stackel, 1895, pp. 211sgs. reproducidos en parte en Dou 1970; y
los de Krteszi, 1987, pp. 19sgs.
44

En este articulo vamos a estudiar y exponer las contribuciones ms

importantes de los tres precursores Saccheri, Lambert y Taurinus. Saccheri cre un
mtodo vlido y public en 1733 el primer tratado de geometra, que contiene mu-
chos y difciles teoremas de las dos primeras geometras no eucldeas, la del ngulo
obtuso y la del ngulo agudo (que es la misma que descubrieron Lobachevski y
Bolyai un siglo ms tarde). Saccheri demostr rigurosamente sus teoremas, pero
nunca crey que su nueva geometra estuviera exenta de contradiccin.

Lambert aport importantes contribuciones a las geometras de Sac-

cheri, pero igual que ste parece que nunca crey que estuvieran exentas de contra-
diccin, pero quizs fue el primero que sospech seriamente que la geometra del
ngulo agudo poda ser verdadera. El caso de Taurinus es todava ms sorprendente
como veremos.

Consiguientemente, dividiremos este trabajo en tres partes, dedica-

das respectivamente a Saccheri, Lambert y Taurinus. Nos alargaremos algo ms en
la exposicin de Saccheri, sobre todo por haber sido el iniciador del mtodo que
condujo a la creacin de las geometras no eucldeas.

0.2. Antes de entrar en la exposicin histrica, daremos en trminos

modernos un marco de referencia que permita hacer ms precisa y ms fcilmente
comprensible una exposicin de las contribuciones de los tres gemetras.

Para su estudio es suficiente que nos restrinjamos a la geometra pla-

na. Entendemos por plano un agregado de entidades primitivas que llamaremos
puntos y rectas, entre los que postularemos la existencia de unas relaciones que
definiremos mediante axiomas. Naturalmente, dos planos y sus correspondientes
geometras son distintos slo y cuando los dos sistemas de axiomas que los definen
no sean equivalentes.

En los Elementos de Euclides se supone que una figura, basta un

tringulo, se puede mover en su plano isomtricamente, es decir de modo que du-
rante su movimiento las longitudes de los lados y los valores de los ngulos se
conservan; ello impHca la existencia de unos axiomas de congruencia. A las geome-
tras, en las que las figuras gocen de esta propiedad, las llamaremos elementales,
tanto por su referencia a los Elementos como por su carcter ms intuitivo.

Tambin se supone que la recta es continua o sea que el conjunto de

puntos de una recta y su orden es el del conjunto M. de los nmeros reales; de modo
que se suponen (implcitamente) el postulado de continuidad y unos postulados de
orden. A las geometras en las que los segmentos de la recta sean isomorfos a los
de ]R las llamaremos reales.

En consecuencia, podemos restringirnos a la consideracin de las geo-

metras planas, elementales y reales. Ms concretamente, de las geometras moder-
nas las nicas que se necesitan para nuestro estudio son la euclidiana, la hiperblica
y la elptica, segn la terminologa introducida por Klein.
 45

La geometra euclidiana plana es la geometra ordinaria que se estudia

en el bachillerato. Su axiomatizacin fue llevada a cabo por Hilbert (1899) mediante
cinco grupos de axiomas: de incidencia, de orden o de intermediedad, de continui-
dad, de congruencia y el famoso postulado de paralelismo de Euclides, o quinto
postulado que establece que en el plano por un punto A, no contenida en una recta
r, pasa a los sumo una recta paralela a la recta r. Obsrvese que los postulados de
congruencia, juntamente con los de orden, implican la longitud infinita de la recta.
Al quinto postulado de Euclides lo llamaremos postulado - Y a los postulados que
establezcan la no existencia de paralelas, o de una nica paralela o de al menos dos
paralelas por el punto ^ a la recta r, lo llamaremos respectivamente Qo, Q\, Q2.

La geometra hiperblica plana tiene unos axiomas que coinciden con

los de la geometra euclidiana, excepto que en lugar del axioma Q asume la negacin
de g, o sea Q2, puesto que ^ Q = g2-

Si llamamos respectivamente G\, G2, G3 y 6^4 a los postulados de in-

cidencia, orden, continuidad y congruencia de Hilbert (1899) en la axiomatizacin
de la geometra euclidiana, y ponemos

Gi U G2 U G3 U G4 = G,

entonces los postulados que definen las geometras euclidiana e hiperblica son res-
pectivamente
GU y G U ( . 0 .

Coxeter (1942) adopta en lugar de G el grupo de axiomas G que se

refieren exclusivamente a unas entidades primitivas o puntos y a las relaciones pri-
mitivas de intermediedad y congruencia. Con ello se simplifica el grupo de axiomas,
pues la recta resulta una entidad derivada, y tambin lo es la relacin de inciden-
cia; pero se dificulta la comparacin con la geometra proyectiva. Se puede poner
G G\2 U G3 U G4 siendo^ G\2 el grupo de axiomas 8.311, 8.313-8.317, siendo
G3 el postulado de continuidad 2.13^ y G4 el grupo de postulados de congruencia
9.11-9.15.^

0.3. En la geometra elptica plana las relaciones de incidencia y sepa-

racin (ms dbil que la de intermediedad) son exactamente las mismas que las de
la geometra proyectiva plana. Los axiomas que definen esta ltima geometra son
bien conocidos y pueden verse en Coxeter (1942). Son, adems de los de incidencia
G\ (axiomas 2.111-2.114, pag. 20, que en el contexto son equivalentes al grupo G\ ),
el importante y especfico axioma 2.31 (pag. 27). Este establece que "dos rectas se
cortan en un punto", y caracteriza la geometra proyectiva. El axioma 2.31 equivale
a negar la existencia de paralelas. Consiguientemente el axioma 2.31 es equivalente
alQo.
^Coxeter, 1942, pags. 161-162. Estos axiomas definen la relacin de intermediedad [ABC], que
significa que B est entre A y C.
3pag. 23.
"^Pags. 179-180. Ntese que el axioma 9.11 hace que el 8.312 sea superfino.
46

Adems de los axiomas de incidencia hay los de separacin (2.121-

2.126), que establecen que si hay cuatro puntos en una recta hay un par que separa
el otro par, adems de otras relaciones. Son anlogos a los del grupo G2, aunque
ms dbiles, y los englobamos en el grupo 0*2-^

Para convertir la geometra proyectiva plana en geometra elptica pla-

na hay que introducir la relacin de distancia con lo que se obtiene una geometra
mtrica. Para ello basta especificar una polaridad elptica del plano proyectivo y
convertirla en polaridad absoluta como hace Coxeter (1942, cap. VI). Tambin pue-
de hacerse axiomticamente^ mediante un grupo de axiomas de congruencia que
designaremos por G4, igual que el grupo de Hilbert, pues modificando ligeramente^
los de Hilbert se obtiene un grupo de axiomas de congruencia que vale indistinta-
mente tanto para la geometra elptica como para la euclidiana (y consiguientemente
tambin para la hiperblica).

En resumen, la geometra elptica plana viene definida axiomticamente

por los grupos de axiomas Gi U 2.31, G2, el axioma de continuidad G3 o 2.13, y el
grupo G4. Poniendo
G* = Gi U G^ U G2 U G4
y teniendo en cuenta que 2.31 es equivalente a Qo, tenemos que el grupo de axiomas
de la geometra elptica plana es
G* U Qo.

0.4. Consideremos ahora una geometra plana en la que sus puntos y

rectas satisfagan el axioma nico G v G*, es decir satisfagan el sistema G o el G*.
Podemos escribir este axioma nico as:
Gl A (G2 V G2) A G3 A G4
Notemos, adems, que la satisfaccin del grupo de axiomas G2 implica la satisfa-
ccin del grupo G2.

Si una geometra satisface G, entonces existe por lo menos una pa-

ralela como se deduce de los Elementos, I, 1-28.^ Por tanto tiene que satisfacer o
1 o 2. y ha de ser euclidiana o hiperblica. Si satisface G* sin que satisfaga G,
entonces no puede verificarse Elementos I, 16 y las rectas ha de ser todas de la
misma longitud finita.^ Por tanto, no hay paralelas y la geometra satisface Qo, y
consecuentemente ha de ser elptica, pues Qo equivale a 2.31.
^Vase Coxeter, 1942, p. 22. Vase tambin pag. 28.
^Vase Coxeter, 5.1.
^ Basta tener en cuenta que en la geometra elptica plana tres puntos no alineados determinan
exactamente cuatro tringulos; y que en general cuando se habla del segmento AB, quizs haya
que especificar de cual de los dos se habla.
^Recordemos que Euclides en los Elementos, suponiendo que la recta es de longitud potencial-
mente infinita, en la Proposicin I, 16 demuestra que en todo tringulo ABC, el ngulo exterior C
es mayor que cada uno de los ngulos (interiores) A y B. Mediante este resultado, en la proposicin
I, 27 demuestra que por un punto dado F fuera de una recta dada AB pasa una paralela a AB.
^Es decir, si se satisface G* y no se satisface G, entonces las rectas han de ser de longitud finita
(de lo contrario se verificara tambin G) y todas cerrndose sobre s mismas y de igual longitud
(axiomas de congruencia).
 47

Finalmente, interpretamos que la geometra eucldea o sea la del libro

de los Elementos es una geometra que satisface los axiomas G*, y que adems
supone (en su postulado 2, proposicin I, 12 y sobre todo en la I, 16) que la recta
es de longitud infinita. De donde resulta, teniendo en cuenta el quinto postulado
Q, que ha de ser una geometra euclidiana.

1. Giovanni Girolamo Saccheri (16671733)

Saccheri public el mismo ao de su muerte el volumen Euclides ab

omni naevo vindicatus (1733).^^ El texto de este volumen consta de 142 pginas
en cuarto, dividido en dos Hbros y precedido de XVI pginas (portada, dedicatoria,
licencia de publicacin, imprimatur, "Proemium", "Addenda indicis loco" y fe de
erratas). El texto va seguido de seis tablas de una pgina cada una, con las que
acaba el volumen. Aqu nos ocuparemos solamente del primer libro (pp. 1-101 y 5
tablas) en el que, segn Saccheri, da dos demostraciones del quinto postulado de
EucUdes^^ en las proposiciones XXXIII (ltima de la primera parte) y en la pro-
posicin XXXIX (ltima de la segunda parte y de todo el libro). Saccheri comete
en este libro dos paralogismos, el primero en la Proposicin XXXIII y el segundo
en la XXXVII, en cuyo resultado se basa la pseudodemostracin de la proposicin
XXXIX.

1.1. El punto de partida de Saccheri es el cuadriltero birrectngulo

e issceles ABDC, que ahora lleva su nombre. O sea que se tiene que los ngulos
en A y B son rectos y AC=BD. Figura 1. (Tomada del original de Saccheri).

Figura 1
Demuestra en primer lugar que los ngulos C y D son iguales. En
la proposicin III demuestra que si C es obtuso, entonces AB es mayor que CD;
si C es recto, AB es igual a CD; si C es agudo, entonces AB es menor que CD;
y recprocamente. En las proposiciones V-VII demuestra que, si en un slo cua-
driltero de Saccheri el ngulo C es obtuso, recto o agudo, entonces en todos los
cuadrilteros de Saccheri del plano los ngulos no rectos por construccin, sern
tambin obtusos, rectos o agudos respectivamente. Este resultado le permite hablar
^^Euclides vindicado de toda mancha. Hay un ejemplar en la Biblioteca Nacional (Madrid) y
varias traducciones. Vase Bibliografa.
^^ Saccheri, siguiendo a Clavius, lo llama Axioma decimotercero.
48

de tres hiptesis: la del ngulo obtuso, la del ngulo recto y la del ngulo agudo, de
las que uno y slo una ha de verificarse. En las dos proposiciones siguientes, VIII y
IX, demuestra que la suma de los ngulos de un tringulo rectngulo es igual, mayor
o menor que dos rectos segn que se haga la hiptesis del ngulo recto, obtuso o
agudo respectivamente.

En las proposiciones XI y XI supone dos rectas y una transversal

que corta perpendicularmente a una de ellas y hace un ngulo agudo con la otra.
Demuestra que las dos rectas se cortarn si se las prolonga suficientemente, supo-
niendo la hiptesis del ngulo recto en la XI y la del ngulo obtuso en la XII. En
la proposicin XIII prescinde del supuesto de que la transversal sea ortogonal a
una de las dos rectas dadas, y consiguientemente demuestra el quinto postulado de
EucHdes, tanto en la hiptesis del ngulo recto, como en la del ngulo obtuso.

De este modo consigue finalmente uno de los dos objetivos parciales

que constituyen el objetivo de todo el libro. En efecto, como ya hemos indicado el
objetivo del libro es vindicar EucUdes de toda mancha, y en particular el objetivo
del primer libro es vindicarlo en cuanto admite el axioma decimotercero (hoy en
quinto postulado), cuya verdad no aparece como evidente. La hiptesis del ngulo
recto da lugar de manera obvia a la geometra de los Elementos y por tanto es
natural que se pueda demostrar con ella el postulado de Euclides. Por el contrario,
la demostracin del postulado de Euclides en la hiptesis del ngulo obtuso signi-
fica la consecucin del primer objetivo parcial y constituye una verdadera hazaa
intelectual.

Este xito debi llevarle a la conviccin, o se la aument si ya la tena,

de que tambin en la hiptesis del ngulo agudo conseguira su segundo objeti-
vo parcial, y con l el objetivo del libro primero de demostrar completamente el
postulado de EucHdes.

Antes de emprender la tarea de demostrar el segundo objetivo par-

cial de demostrar tambin el quinto postulado en la hiptesis del ngulo agudo,
deduce una consecuencia obvia e importante de su proposicin XIII. En la proposi-
cin XIV demuestra que la hiptesis el ngulo obtuso es absurda, pues lleva a una
contradiccin. En efecto, demostrado el postulado de Euclides, la geometra es la
misma que la de los Elementos, pero en sta todos los cuadrilteros de Saccheri son
rectngulos, lo que contradice la hiptesis del ngulo obtuso.

Observemos que todas las demostraciones son correctas y consecuente-

mente todos los teoremas de Saccheri son vlidos. ^^ hoy da sabemos de la existencia
de una geometra plana, elemental y real en la que los ngulos C, D de los cua-
drilteros de Saccheri son obtusos; y sabemos que esta geometra tiene la misma
consistencia lgica que la geometra euclidiana. A esta geometra la llamamos ahora
geometra elptica plana, siguiendo a Klein.
*^Stckel (1895, Notas de las pp. 52, 62) parece argir que las demostraciones de Saccheri son
insuficientes (ungengend), porque ste aplica la proposicin I, 16 de los Elementos, la cual pro-
posicin es falsa en la hiptesis del ngulo obtuso. Pero ya C. Segre (1902-1903, Nota 4) puso de
manifiesto que esta conclusin de Stackel no se sigue.
 49

Ahora bien, la geometra del ngulo obtuso de Saccheri no es la geo-

metra elptica plana. En efecto, la geometra de Saccheri en trminos relativos
es evidentemente la misma de Euclides, pero prescindiendo del quinto postulado.
Segn hemos indicado ya al final de la Introduccin, interpretamos la geometra
de EucUdes como una geometra en la que previa e independientemente de la pos-
tulacin del quinto postulado se supone que la longitud de la recta es potencial-
mente infinita. ^^ En este caso la geometra de Saccher en trminos absolutos es
una geometra en la que se postulan los axiomas G* como han sido explicados
en la Introduccin, no se postula el postulado de Euclides, pero tcitamente (por
evidencia, siguiendo a Euclides) se asume que la recta es de longitud infinita.

As pues, Saccheri supone la longitud infinita de la recta, lo que contra-

dice los postulados de la geometra elptica. Consecuentemente, Saccheri puede sin
paralogismo alguno demostrar, y de hecho demuestra que su geometra del ngulo
obtuso lleva a la contradiccin y por tanto es absolutamente falsa.

1.2. A Saccher le queda lograr su segundo objetivo parcial, a saber la

demostracin del postulado de Euclides en la hiptesis del ngulo agudo.

En las siete proposiciones XV-XXI demuestra propiedades generales

relativas a las tres hiptesis o slo a la hiptesis del ngulo agudo. La proposicin
XXI va seguida de cuatro escolios importantes, en los que entre otras cosas analiza
las teoras de Borelli, Nassaridin y Wallis. En la proposicin XVII demuestra el
siguiente interesante teorema. Figura 15. (Del original de Saccher).

Figura 15

Sea AB un segmento tan pequeo como se quiera y sea AH perpendi-

cular a AB. Entonces, en la hiptesis del ngulo agudo, se puede trazar una recta
^^En otras ocasiones y en este mismo contexto de la geometra de Saccheri (Dou 1970, 1985b)
he interpretado diversamente la geometra de los Elementos. Ahora me parece claro que la inter-
pretacin es la que doy aqu, principalmente porque me parece que a Euclides nunca se le pudo
ocurrir que la recta se pudiera cerrar sobre s misma.
50

BD, tal que el ngulo ABD sea agudo y tal que por ms que se la prolongue nunca
cortar la recta AH.

Para ello basta trazar HB y luego HD de modo que el ngulo BHD sea
igual al HBD. Entonces la perpendicular BD trazada por B a HD nunca cortar
a AH. La demostracin es por reduccin al absurdo. En efecto, supngase que la
prolongacin de la recta BD y la de AH se cortaran en K. Ahora bien, el ngulo
HDK sera recto; y el ngulo KHD sera obtuso, puesto que su suplementario AHD
es agudo, ya que es la suma de los ngulos agudos de un tringulo rectngulo
(proposiciones VHI y IX). Por tanto, resultara que la suma de los ngulos del
tringulo HDK sera mayor que dos rectos, lo cual es absurdo, como se quera
demostrar.

Este resultado le llam la atencin a Saccheri, quien en un escolio que

sigue a continuacin declara que si se pudiera demostrar que esta proposicin XVH
es falsa, ipso facto la hiptesis del ngulo agudo quedara refutada.

A partir de la proposicin XXH las proposiciones de Saccheri van

dirigidas ordenada y progresivamente hacia la bsqueda de una contradiccin en
las consecuencias cada vez ms sorprendentes de su geometra del ngulo agudo.
Damos a continuacin, sin que sea aqu posible dar la demostracin, otro resultado
sorprendente y el que probablemente es el teorema ms importante de Saccheri.
Para ambos resultados damos figuras propias, ms simples y adecuadas que las del
texto, y formulamos los enunciados de forma distinta aunque naturalmente equiva-
lente.

Sea BAX, figura I, un ngulo dado todo lo pequeo que se quiera.

Entonces, siempre existe en la recta AB un punto C, suficientemente alejado de
A, tal que la perpendicular CD levantada sobre AC no cortar a la recta AX por
mucho que se prolonguen AX y CD. (Proposicin XXVH).

Figura I
 51

En esta proposicin, como tambin en la XXV, Saccheri repite en-

fticamente que si se pudiera demostrar que es falsa, la hiptesis del ngulo agudo
quedara refutada.

Partiendo de la proposicin XXIII y mediante la XXV, en la proposi-

cin XXXII Saccheri demuestra el siguiente resultado (Figura II):

Figura II

Sean r y s dos rectas cualesquiera. Entonces una de tres: o se cortan

(si se las prolonga suficientemente) o son asintticas entre s o tienen una perpendi-
cular comn. En particular por el punto A pasan dos rectas s y s\ simtricas entre
s respecto de AB, que son asintticas a la recta r.

En la proposicin XXXIII, siguiendo a la XXXII y basndose en el re-

sultado que acabamos de dar, Saccheri comete el primer paralogismo hallando una
contradiccin. La demostracin es muy larga (pp. 70-86) y el error est en el pri-
mer prrafo, pues introduce el punto de interseccin X de dos rectas asintticas, las
cuales tienen que admitir una perpendicular comn en su punto X de interseccin.
Con cinco lemas demuestra que esto es absurdo.^"*

No hay inconveniente, en principio, en introducir el punto X; pero,

naturalmente en este punto no se cumplen los axiomas de congruencia. Aunque con
enorme laboriosidad, alcanza efectivamente llegar a una contradiccin. Por el con-
trario, si no se introducen puntos X, se obtiene una geometra del ngulo agudo que
satisface todos los axiomas y se puede desarrollar perfectamente. Esta geometra
es la que descubrirn Gauss, Bolyai y Lobachevski, y que ahora llamamos geome-
tra hiperblica y que es equiconsistente con la geometra euclidiana, de modo que
ambas son a la vez consistentes o inconsistentes.

Si se considera el modelo de Beltrami de la geometra hiperblica pla-

na se comprende mucho mejor el paralogismo de Saccheri. Los puntos X vienen
representados en este modelo por los puntos del infinito, y son los puntos de la
cnica de la polaridad absoluta. Los puntos X pueden introducirse como puntos
ideales, pero no como puntos ordinarios, como hace Saccheri.

^'^Para ms detalles nos remitiremos a Dou, 1970, pp. 391-392.

52

Con la proposicin XXXIII termina la primera parte del primer libro.

La segunda y ltima parte consta de seis proposiciones (XXXIV-XXXIX). En ellas
se demuestran algunas interesantes propiedades de la curva equidistante de una
recta. En la proposicin XXXVII comete Saccheri el segundo paralogismo.^^

1.3. La aportacin ms valiosa y profunda de Saccheri a la resolucin

de la problemtica planteada por el quinto postulado de Euclides fue su descubri-
miento de un mtodo adecuado, y la difcil aplicacin del mismo, suficientemente
prolongada, para asegurar que con l se lograra el esclarecimiento de la cuestin
propuesta. Todo ello a pesar de que la solucin, que un siglo ms tarde emergi
gracias a Bolyai y Lobachevski, fue la contraria de la que esperaba Saccheri.

El tipo de razonamiento que Saccheri emplea en su Euclides es el de

reduccin al absurdo. Lo aplica en la demostracin de muchas de sus proposiciones,
pero lo aplica sobre todo globalmente de modo que todo el primer libro del Euclides
es un magnfico y en verdad extraordinario ejemplo de aplicacin del mtodo de re-
duccin al absurdo.

Llamemos S al grupo de axiomas que entran en la definicin de la

geometra del Euclides. Comprende el grupo G, que hemos definido en la introdu-
ccin, y el axioma de la longitud infinita de la recta, que llamaremos / . Entonces,
aunque sea de una manera redundante, podemos poner S G /\ J. Saccheri desea
demostrar

(+) S h Q,

o sea que Q es una consecuencia lgica de los axiomas S. Para ello introduce el
postulado -1 o o sea la negacin de g, y pretende demostrar

(++) {S,^Q} H Q,
Es, en efecto, bien conocido que, teniendo en cuenta la ley (tautologa) de Clavius
(--0^ Q) ^ y si teorema de deduccin para Teoras de Primer Orden, el resul-
tado (+) se sigue del (++)

As pues, Saccheri aade la proposicin -^ g a las primeras 28 proposi-

ciones^^ del primer libro de los elementos, y dispone de un bagaje ms extenso para
la construccin de la geometra del Euclides. Esta incorporacin de -i g a 5 y una
elaboracin profunda y prolongada de nuevos teoremas resultan decisivos para la
creacin de un nuevo mtodo. Notemos que esta elaboracin prolongada fue posible
gracias a la incorporacin de -> g. Desde la perspectiva actual me parece claro que
el mtodo contenido en el Euclides tena que llevar necesariamente a la emergencia
de la geometra del ngulo agudo como geometra de igual rango que la euclidiana
y concurrente con ella para la comprensin de nuestro mundo fsico.
^^Para ms detalles vase Dou, 1970, pp. 392-394.
*^En realidad slo las primeras 26 proposiciones, pues Saccheri excluye explcitamente la apli-
cacin de las XXVII y XXVIII (Vanse Proemio y Prop. XXIII).
 53

Poco despus del redescubrimiento del Euclides por Beltrami, los pa-
ralogismos de Saccheri llamaron poderosamente la atencin y fueron a veces inter-
pretados de manera disparatada.^^ Lo que ms llama la atencin en la tenacidad de
Saccheri, no es que creyera que la geometra {G,^Q} era fsicamente falsa, sino que
tambin creyera (incluso antes de cometer ningn paralogismo) que esta geometra
era lgicamente imposible, es decir que entraaba una contradiccin.^^

Tanto en el Euclides como en los Elementos encontramos un sistema

axiomtico gentico (o material) en el que los trminos o conceptos son aprehendi-
dos de la reaUdad y cuyos sucesivos teoremas enuncian proposiciones verdaderas del
mundo real de la fsica. Hay que tener en cuenta estafilosofade las matemticas, si
queremos evaluar histricamente el progreso epistemolgico aportado por la crea-
cin de las geometras no eucldeas. Las actuales teoras de sistemas axiomticos
existenciales (o formales) y el concepto ms abstracto de una geometra matem-
tica, se basan en conceptos que no son exclusivamente aprehendidos de la realidad
fsica (aunque no prescindan totalmente de ella) y sus teoremas no tienen por qu
enunciar necesariamente proposiciones verdaderas, sino solamente vlidas. Por lo
que respecta a su mtodo, esta geometra no se siente necesariamente controlada
por la realidad del mundo fsico. Pues bien, esta geometra actual es precisamente
y en buena parte consecuencia de la emergencia de las geometras no eucldeas.

2. Johann Heinrich Lambert (1728-1777)

El libro de Lambert Thorie der Parallellinien fue escrito en 1766, pe-

ro no fue pubHcado hasta 1786 por Daniel BernouUi (1744-1807), sobrino del famoso
Daniel Bernoulli (1700-1782), que fue amigo de Euler e hijo del todava ms famoso
Johann Bernoulli. Entre Saccheri y Lambert merecen citarse, en relacin con nues-
tro tema, dos importantes matemticos: Abraham Gotthelf Kstner (1719-1800)
que escribi Anfangsgrnden der Arithmetik und Geometric (1734) y Georg Simon
Klgel (1739-1812) que escribi Conatuum praecipuorum theoriam parallelarum
demonstrandi recensio, quam publico examini submittent Abrah. Gotthelf Kastner
et auctor}

En esta poca renace en los pases germnicos el inters por la teora

de las paralelas. Kastner, que consigui formar una biblioteca con ms de 7000
volmenes pertinentes a esta teora, todava escribi que nadie en su sano juicio
discutir la verdad del postulado de EucHdes, aunque se muestra pesimista sobre
la posibilidad de su demostracin.

Por su parte Klgel, en su libro, nota: "Ciertamente sera posible que

rectas, que no se cortan, se separaran la una de la otra. Que esto sea un poco ab-
i'^Vanse por ejemplo G.B. Halsted, 1893, pp. 149-152; y E.T. Bell, 1946, pp. 345-356.
^^A este respecto pueden verse Dou 1970 y 1972.
* Los datos que aqu damos de estos dos autores y los biogrficos de Lambert estn tomados de
Stackel (1895).
54

surdo no lo sabemos por ninguna demostracin ni en virtud de conceptos claros de

la lnea recta o de la lnea curva, sino ms bien por experiencia y por el juicio de
nuestros ojos" (p.l6).

Lambert naci en Mhlhausen el 1728 en la Alta Silesia y se consi-

der toda su vida suizo. Fue miembro de la Academia de Berln y en esta ciudad
pas los ltimos trece aos de su vida y en ella muri en 1777. Tiene importantes
contribuciones no slo en matemticas, sino tambin en Fsica y Filosofa.

Lambert hace un gran elogio del libro de KlgeF y es muy posible que
fuera este libro lo que motiv la dedicacin de Lambert al estudio de la teora de
las paralelas.

2.1. Las aportaciones de Lambert a esta teora se contienen en su li-

bro Thorie der Paral lellinien (1766). Consta de tres partes o captulos. El primero
(1-11), titulado Consideraciones preliminares, es una introduccinfilosficacon
contribuciones originales, profundas y correctas, sobre las que volveremos al final
de esta parte, despus que hayamos expuesto sus contribuciones geomtricas.

El segundo captulo (12-26) se titula Exposicin de algunos teore-

mas, que pueden ser considerados por s mismos. Contiene varias pseudodemostra-
ciones del postulado de Euclides. Lambert seala un mtodo general para hallarlas:
exceptuando las proposiciones I, 1-28 y algunas ms, la mayora de las proposicio-
nes de los Elementos se demuestran aplicando o suponiendo el quinto postulado, y
en muchas de ellas es posible, partiendo del teorema demostrado recuperar una de-
duccin del quinto postulado. Por tanto, para demostrar el quinto postulado puede
empezarse tratando de demostrar, sin emplear el quinto postulado, cualquiera de
tales proposiciones.

Lambert escribe:

"Hay adems muchas maneras de intentar (treiben) una demostracin

del postulado de EucHdes, tales que, aquel pequeo remanente que queda, no slo
es claramente correcto, sino que se sostiene, y que mediante l se puede completar
la demostracin."^

A continuacin da algunos ejemplos.

El tercer captulo (27-88) contiene las ms importantes contribu-

ciones a la teora de las paralelas. Consta de una introduccin (27-39) y tres
secciones. En la introduccin, introduce ya el "cuadriltero de Lambert" ABCD,
que es la mitad del cuadriltero de Saccheri cCDd. Los tres ngulos en A, B, C son
rectos y Lambert hace tambin, como Saccheri, las tres hiptesis de que el ngulo
D sea recto, obtuso o agudo. (Figura X del original de Lambert).
^Vase su Thorie der Farallellinien, final del 3, pag. 155. Se cita la edicin de Stackel, 1895.
^Comienzo del 21. Comprese con el texto todava ms expresivo de C.F. Hindenburg (1741-
1808) en p. 143 de Stackel, 1805.
 55

d B D
1

1
1
1
1

c A C

Figura X

En la primera seccin considera el caso en que D sea recto. Demuestra

que todos los cuadrilteros de Lambert son rectngulos, lo que implica la existencia
de una paralela (sin explicitarlo). Tambin demuestra que se cumple el postulado
de Euclides (aunque tampoco lo dice explcitamente).

En la segunda seccin Lambert supone que en ngulo D sea obtuso.

De una manera elegante, concisa y rigurosa, demuestra, sin necesidad de axioma de
continuidad, que las normales de AC, hasta su encuentro con BD, van decreciendo
a medida que se apartan de A. Con un procedimiento insinuado ya en la primera
seccin, demuestra que BD corta necesariamente a AC. Naturalmente, tambin Bd
corta a Ac, y por tanto la hiptesis del ngulo obtuso queda descartada.

Es notable que Lambert no emplea 1.16 de los Elementos; pero s

aplica 1.17, que es equivalente a 1.16. Ambas son proposiciones correctas de los
Elementos, pues en stos se supone que la recta es de longitud infinita.

Por otra parte, en la hiptesis del ngulo obtuso, si no se supone la

longitud infinita de la recta (y consecuentemente se asumen slo los axiomas de se-
paracin) o un nuevo postulado equivalente (como sera que la recta divide el plano
en dos partes separadas) es imposible demostrar que esta hiptesis lleva a un absur-
do, pues se verifica en la geometra elptica. Es verdad que es posible demostrar, sin
suponer la recta infinita ni otro postulado equivalente para el caso, que BD corta
a AC y a distancia finita, y a la misma distancia tanto en la direccin BD como
el la direccin Bd. Pero, en este caso estos dos puntos de interseccin coinciden en
un mismo punto O, tal que AO=OA= n/2, si se toma como unidad de longitud el
radio de curvatura del plano. En este caso los ngulos en A, B y C son rectos por
contruccin en el plano elptico, y podemos suponer que son tambin rectos en el
mismo plano considerado como euclidiano. En cambio, el ngulo D ser obtuso en
el plano elptico y recto en el euclidiano. La recta del infinito que compactifica el
plano euclidiano ser la recta del infinito del plano elptico, de modo que los puntos
y rectas del plano elptico son los puntos y rectas del plano euclidiano, y adems
los puntos y la recta del infinito. Se tendr AB>CD en medida elptica, pero ser
ABzrCD en medida euclidiana; de manera que BD, que corta a AC en el punto del
infinito, ser, si se le quita este punto del infinito, la recta eucHdianamente paralela
a AC trazada por B. El punto A es el polo de la recta del infinito, etc.

2.2. La tercera seccin, en la que Lambert supone que el ngulo en D

es agudo, contiene aportaciones profundas y originales y una notable conjetura.
56

Empieza demostrando bastantes resultados que se encuentran tam-

bin en Saccheri, aunque las demostraciones difieren notablemente. No introduce
las paralelas "asintticas" de Saccheri, pero sus demostraciones son elegantes e in-
geniosas. Como ejemplo damos a continuacin un esquema de la demostracin de
la proposicin del 70.

En la figura XXII se tiene, por contruccin, que AG y BK son rectas

perpendiculares a AB. Se toman E, F, G, siendo EFi=FG. Se levantan EH, FJ y
GK perpendiculares a AG,. Se trata de demostrar, suponiendo que el ngulo BHE
es agudo, que
JF-HE<KG-JF.

Figura XXII

Se sabe ya que ang BHE > ang BJF > ang BKG. Se traza traza LJM
perpendicular a JF, y se toma GN=EH, y por tanto 1 Recto < ang EHJ=: ang
JNG. De donde se sigue que JK> JN.

Se toma n en la prolongacin de JN de modo que in =JK y se sigue

que Mn >MN; pero Mn =MK y MN=LH. Por tanto MK>LH; pero esto es lo
mismo que KGJF>JFHE, como se quera demostrar.

Demuestra tambin que en un tringulo equiltero ABC, llamando G

al centro de gravedad y D al punto medio de BC, se tiene que AG es mayor que el
doble de GD.

La contribucin ms notable es que, paso a paso, con sucesivas demos-

traciones obtiene el rea S de un tringulo cualquiera ABC. Obtiene

S ^k(n-A-B-C),
donde k es una constante del plano. Observa el parecido con la frmula del trin-
gulo esfrico, y que en este caso, su obtencin es independiente del postulado de las
paralelas; as como el hecho de que la hiptesis del ngulo obtuso se verifica sobre
la esfera.
 57

Deduce la importante consecuencia, de que no hay figuras semejantes,

y por tanto, si esta hiptesis del ngulo agudo fuera verdadera, se podra establecer
una unidad de medida lineal absoluta ("absulute Maass" (sic), 80). En 1816, en
una carta a GerUng, Gauss hablar de una medida universal (ein allgemeines Mass),
y que por esta razn "sera incluso deseable que la geometra de EucUdes no fuera
verdadera"."^

De la frmula del rea del tringulo deduce tambin una muy notable
conjetura: "De ello debera casi sacar la conclusin de que la tercera hiptesis se
verifica sobre una esfera de radio imaginario" (82). Aunque Lambert no lo dice
explcitamente, cabe pensar que cay en la cuenta, de que si en la frmula que da
el rea de un tringulo esfrico,

S=i?2(y4+^+C-7l),

se pone Ri en lugar de R se obtiene precisamente su frmula del rea de un tringulo

en la geometra del ngulo agudo.

Desgraciadamente el ltimo apartado de la Thorie der Parallellinien

contiene un enunciado, que le obliga a rechazar tambin la hiptesis del ngulo
agudo. Naturalmente, como en el caso de Saccheri, la demostracin es falsa.

Las contribucionesfilosficas,o mejor epistemolgicas, se encuentran

principalmente en los 10 y 11. Es muy positiva su insistencia en la necesidad de
prescindir de la "representacin de la cosa" (Vorstellung der Sache). Es el primero
que considera seriamente la posibilidad, por los menos lgica, de que la geometra
del ngulo agudo sea la verdadera en nuestro mundo. Ello es equivalente, supe-
rando as el prejuicio de Saccheri, a afirmar que el postulado Q de Euclides es
independiente del conjunto de postulados G.^

3. Franz Adolph Taurinus (1794^1874)

Taurinus naci en 1794 en Konig im Odenwalde (Alemania) y des-

pus de estudiar Derecho vivi desde 1822 en Colonia. Al estudio de la geometra
le estimul su to Ferdinand Karl Schweikart (1780-1857) y fue tambin influido
por Gauss, quien, en contestacin a una suya, le escribi una clebre carta privada
(1824), de la que, sin embargo, no lleg a comprender su profundidad. Schweikart
haba llegado al convencimiento de la validez lgica de la "Astralgeometra", en la
que la suma de los ngulos de un tringulo era menor que dos rectos, y tanto menor
cuanto mayor era el tringulo.

Hacia 1821 Schweikart escribi una carta a su sobrino Taurinus, y es-

te debi de dedicarse intensamente al estudio de la geometra. En 1825 public la
^ Puede verse en Dou, 1970.
^Para una consideracin argumentada de estos temas, vanse Dou, 1970 y 1972.
58

Thorie der Parallellinien. En el mismo ao 1825 encontr que este libro contena
muchas cosas que ya no le agradaban y decidi complementarlo con un nuevo libro
en latn: Geometriae prima elementa (1826). El mismo Taurinus conste la publica-
cin del libro y envi algunos ejemplares a amigos y autoridades matemticas. Ms
tarde, al no encontrar ningn reconocimiento a sus esfuerzos, despechado quem el
resto de la edicin.^

3.1. Taurinus en su Thorie contribuye con nuevos teoremas en la mis-

ma lnea que Saccheri y Lambert. Sus aportaciones matemticas ms importantes
son:

En primer lugar rechaza la geometra del ngulo obtuso, porque en

ella, dada una recta cualquiera, se sigue que todas las rectas que le son perpendicu-
lares se cortan en dos puntos, simtricos el uno del otro respecto de la recta dada;
lo cual es contrario al axioma (as en singular) de la lnea recta, a saber que dos
puntos determinan una nica recta.

Tanto en Saccheri como en Lambert, la geometra del ngulo agu-

do depende de la magnitud del ngulo agudo del primer cuadriltero de partida.
Taurinus introduce en su lugar un parmetro k positivo, que puede tomar todos
los valores entre cero e infinito. Si k es muy grande la geometra correspondiente
puede llegar a ser indistinguible de la de Euclides, hasta tal punto que ello puede
crear confusin.

La Thorie tiene una larga Postdata (Nachscrift) a la que sigue todava

un largo Suplemento (Nachtrag). En este ltimo afirma explcita y rotundamente
que la geometra del ngulo agudo no contiene en s misma ninguna contradiccin.
He aqu este notabilsimo texto:

"Toda geometra, en la que se supone que la suma de los ngulos de

un tringulo es menor que dos rectos, no contiene en s misma -por razn del
concepto- ninguna contradiccin con el axioma de la lnea recta y yo retiro com-
pletamente mi conjetura de que puediera encontrar una.^ Lo que es una necesaria
consecuencia del axioma, que entre dos puntos slo una lnea recta es posible, es lo
que en cierto modo no excluye. La contradiccin hay que buscarla en que no hay
uno, sino infinitos sistemas de esta clase, cada uno de los cuales podra tener la
misma pretensin de validez; y en que, por tanto, habra infinitas rectas entre dos
puntos del espacio ..." (p. 96. Stackel, p.261-262).

El Suplemento, y la Thorie, acaban con un notable resultado mate-

mtico y con una nueva razn, o una nueva formulacin de la misma razn filosfica,
que hace imposible la admisin de la geometra del ngulo agudo.

* Consecuentemente, es muy difcil encontrar un ejemplar de este libro. Vase Stackel, 1895,
pp. 246-252.
^Se refiere sin duda a la posibilidad de que todava se encontrase una contradiccin y que haba
expresado al final de la misma Thorie, antes de la Posdata, en pag. 87, n.8. (Pag. 259 de Stackel).
 59

Figura VII

En la figura VII feg es una recta arbitraria y aed es perpendicular a feg. Las rec-
tas ab y ac son simtricas respecto de aed, perpendiculares entre si y ambas son
paralelas a la recta/e^.

Pues bien, Taurinus llama a la distancia ae el "parmetro", o "eje"

o "potencia" del sistema geomtrico y demuestra que puede tomar cualquier valor
positivo y que, una vez fijado ste, la geometra queda unvocamente determinada.
Ntese que empleando la funcin Tl{x) de Lobachevski, que da el valor del ngulo de
paralelismo en funcin del segmento ae, resulta que este parmetro viene definido
por Tl{ae) - n/A?

En el ltimo prrafo de la Thorie y en la ltima nota que le sigue,

Taurinus en su razn de rechazo de la geometra del ngulo agudo escribe:

"Pero entre dos puntos deber haber en definitiva slo una nica lnea
recta: de donde, las lneas de una geometra en la cual la suma de los ngulos de
cualquier tringulo es menor que dos rectos, no pueden ser lneas rectas" (p. 102)
(Stckel, p. 266).

En la nota final, Taurinus insiste que la lnea recta entre dos puntos
tiene que ser absolutamente (absolut, p. 102, Stckel 266, donde el subrayado es del
mismo Taurinus) determinada, y que, por tanto, no puede depender de un parme-
tro; de modo que tal geometra no puede ser rectilnea (geradlinig). Me parece que
en este "absolut" resuena la doctrina de Kant.

3.2. En su segundo libro. Los primeros elementos de 1826, aunque

aporta muchos resultados nuevos interesantes, las tesis fundamentales son las mis-
^Parece que Scheweikart fue el primero que present una figura como la fig. VII y mostr su
importancia. Vase su carta de 18-11-1824 a su sobrino Taurinus (Stckel, p. 245).
60

mas que las de su Thorie, y ms explcitamente reafirmadas si cabe. As se des-

prende del final del libro (inmediatamente antes del Apndice) (p. 68; Stackel, p.
274).

Lo ms notable de Los primeros elementos es su deduccin de toda

la trigonometra vlida en la geometra del ngulo agudo. La llama trigonometra
esfrico-logartmica, porque la deduce a partir de la trigonometra esfrica y porque
las funciones pertinentes son funciones logartmicas.

He aqu como se expresa al principio:

"Ya estaba esto impreso y me retaba slo presentar mi visin sobre la

verdadera esencia de esta geometra, cuando alcanc finalmente la certeza de que
esta visin efectivamente puede demostrarse. Desde el principio haba abrigado la
sospecha de que una tal geometra tena que ser en cierta manera la inversa (die
Umkehrung) de la esfrica, que implicaba logaritmos y que se poda deducir de las
frmulas generales de la geometra esfrica; y me maravillara, que una cosa as, que
es tan clara y est al alcance de la mano de cualquiera, no la hubiese visto antes
y hubiese tenido tantas prolijidades, si no me acordara de que precisamente cosas,
que parecen evidentes, a menudo hayan quedado escondidas largo tiempo, incluso
a hombres importantes", (pp. 64-65; Stackel, pp. 270-271).

La manera de pasar de la trigonometra esfrica a la del ngulo agudo

es, naturalmente, sustituyendo los arcos esfricos por arcos imaginarios. El mtodo
resulta complicado y casi increble, pues el paso a argumentos imaginarios lo hace en
las diferenciales (por qu le result ms natural?), de modo que al integrar obtiene
funciones logartmicas. Poda haber empleado las funciones hiperblicas inversas,
pero a l las logartmicas le seran ms familiares.

He aqu la frmula que obtiene para el "defecto" esfrico-logartmico

de un tringulo ABC cualquiera:

n - /A . ,/-\
(A+B+C) = 1 +cosa+cosiS
-f +cosy,
4cos -eos -cos-
2 2 2
donde oc, p, y son los lados del tringulo.

Los primeros elementos termina con un largo Apndice (Anhang) en

el que el autor resuelve correctamente los cuatro problemas siguientes, en los que se
supone que Ri designa el radio imaginario de la esfera imaginaria que caracteriza
la geometra.

F ) Dadas dos rectas paralelas AB y BC, se toma el punto H en AB y se traza la

perpendicular HJ a AC.
Hallar la longitud de la perpendicular HJ suponiendo conocido el ngulo BHJ.
 61

Se trata, pues, de un interesante problema, a saber, en trminos lobachev-

skianos, de hallar Il(x), conocido x rrHJ.

2^) Dado un tringulo mximo ABC (en el que cada lado es paralelo a los otros
dos), hallar los lados y ngulos del tringulo equiltero DEF inscrito en el
ABC.

3) Hallar el rea de un tringulo conocidos sus lados.

4^) Hallar la longitud de una circunferencia de radio a.

Taurinus halla una sencilla frmula que es equivalente a la bien conocida

7ri^(e^/^-e-"/^),

o sea 2nR senh (a/R).

De una manera semejante calcula el rea del crculo y la de la esfera.

3.3. Vemos que Taurinus hace importantes contribuciones a la Teora

de las paralelas, tales como explicitar el parmetro del que depende la geometra
del ngulo agudo, resolver numerosos e interesantes problemas y deducir una tri-
gonometra completa de la misma geometra.

Tambin afirma rotundamente y est convencido de que la geometra

del ngulo agudo no contiene en s misma ninguna contradiccin; o sea, diramos
hoy, que es lgicamente consistente. Equivale a afirmar que el postulado Q de
Euclides es independiente del grupo de postulados G. Saccheri estaba convencido
de lo contrario, Lambert haba manifestado seriamente sus dudas, pero es Taurinus
quien lo afirma pblicamente por primera vez. Incluso manifiesta que:

"Sospecho que no carecer de importancia en las matemticas" (p. 97;

Stckel, p. 262).

Pero, entonces, por qu tiene que buscar una contradiccin (que no

est en el mismo sistema), o por qu no puede ser que sea verdadera en el mundo
fsico? (Vase texto citado de p. 96).

Una primera razn la encontramos en los siguientes textos del autor:

"Contradice [el sistema del ngulo agudo] toda intuicin. Es verdad

que un tal sistema podra dar lugar en pequeo a los mismos fenmenos que el sis-
tema eucldeo: slo que, si la representacin del espacio puede ser considerada como
la pura forma del sentido exterior, entonces el sistema eucldeo es indiscutiblemente
el verdadero y no puede aceptarse que una experiencia limitada pueda engendrar
una ilusin sensorial" (Thorie, pag. 86; Stckel, p. 258).
62

Por qu "no puede aceptarse" que engendre una ilusin? Porque va

en contra la suprema autoridad del Kant.

El sistema del ngulo agudo "no est determinado en s mismo, sino

que requiere an una especial magnitud que lo determine o sea una constante. De
ah resulta inmediatamente que para nosotros no se puede dar de ningn modo a
priori otra geometra que no sea la eucldea, puesto que una tal constante puede
ser tomada con total arbitrariedad" {Thorie, pp. 89-90; Stckel pp. 259-260).

Gauss en carta a GerHng (1816) escribe que parece paradjico que

pueda haber una constante a priori. Ms tarde, en carta a Taurinus (1824), ya dice
que quizs sea posible encontrarla a posteriori; y ms tarde en la carta (6-3-1832)
a Farkas Bolyai, refirindose a los sistemas S y 5 de Jnos Bolyai, escribe: "Que sea
imposible decidir a priori entre S y 5 es la ms clara evidencia del error que Kant
hizo cuando estableci que el espacio era meramente la forma de nuestro sentido..."
De manera parecida se haba expresado ya en 1829 en carta a Bessel. Pero, parece
que Taurinus no renunci a la doctrina kantiana.

En Taurinus encontramos, al menos aparentemente, una confusin en-

tre la existencia fsica de una nica recta, entre dos puntos dados y para una geo-
metra determinada por un valor del parmetro, y la infinidad de rectas posibles
correspondientes a los infinitos valores posibles del parmetro. (Vanse los textos
citados de las pp. 96, 102 y 68 de Thorie). Quizs el "absolut" (p. 102, que hemos
citado) que se refiere a la determinacin de la nica recta que pase por dos pun-
tos dados, deba entenderse en el sentido de recta objetivamente posible en sentido
kantiano; es decir, a priori, y por tanto incompatible con la infinitud de rectas mera-
mente lgicas. Esta interpretacin dara consistencia a los textos de Taurinus, pero
el error se derivara de la tesis kantiana de la aprioridad de la geometra eucldea."^

REFERENCIAS BIBLIOGRFICAS

[1] B E L L E R I C T E M P L E , 1946: The Magic of Numbers, VV^hittlesey House. McGraw Hill

Book. New York, London, 1946.
[2] COXETER H. S. M.: Non-Euclidean Geometry, University of Toronto Press, 1968, reim-
presin de la 5^ edicin de 1966.
[3] DOU, A L B E R T O , 1970: "Logical and historical remarks on Saccheri's Geometry", Notre
Dame Journal of Formai Logic 10 (1970) 385-415.
[4] DOU, A L B E R T O , 1972: "De la verdad a la validez en Geometra (1733-1871)". Pen-
samiento 28 (1972), 413-429.
[5] DOU, A L B E R T O , 1985a C O N M I G U E L D E G U Z M A N : "Grandeza y miseria de las ma-
temticas". En Fragmentariedad de las Ciencias, editado por A. Dou, Ediciones Mensajero,
Bilbao 1985, pp. 179-212.
[6] D o u , A L B E R T O , 1985b: "Local Theorems in Saccheri's Geometry" comunicacin leda en
el XVIIth International Congress of History of Science (University of California, Berkeley,
31-7 a 8-8-1985). Resumen en Abstracts of Scientific Sections, Mc-l.A.
^Vanse Dou, 1970, 1972, 1985a, y Becker, 1964, pp. 183-185.
 63

[7] EUCLIDES: ILxoiX&lO (Elementos), edicin crtica y traduccin al latn por I.L. HEI-
BERG. Traduccin inglesa por T.L. HEATH, Dover, Nueva York, 1956 (2^) edicin).
[8] G R A Y , J . J . A N D L A U R A T I L L I N G , 1978: "Johann Heinrich Lambert, Mathematician
and Scientist, 1728-1777. Historia Mathematica 5 (1978), 1 3 ^ 1 .
[9] H A L S T E D , G E O R G E B : Mathematical Monthly, 1894, 149-152.
[10] HiLBERT, D A V I D , 1899: Gmndlagen der Gomtrie. Traduccin castellana por Francisco
Cebrian, Fundamentos de la Geometra, CSIC, Madrid, 1953.
[11] K A R T E S Z I , F E R E N C , 1987, EN JANOS BOLYAI: Appendix, The Theory of Space, edi-
tado por Krteszi con introduccin, comentarios y adiciones. North Holland, Amsterdam,
1987.
[12] L A M B E R T , J O H A N N H E I N R I C H , I 766: Thorie der ParallelUmen, publicado en 1786.
Publicado en Stackel, 1895.
[13] LOBACHEVSKI, NiCOLAI IVANOVICH, 1840:Nicolai Ivanovich, 1840, Geometrische
Untersuchungen zur Thorie der Parai le llinien, Fincke, Berlin, 1840.
[14] SACCHERI, G I O V A N N I G I R O L A M O , 1733: Euclides ab omni naevo vindicatus: sive
conatus geometricus quo stabiliuntur Prima ipsa universae Geometriae Principia. Milan,
1733.
[15] SCHWEIKART, FERDINAND K A R L , 1824: Carta a (su sobrino) F.A. Taurinus de 18
Noviembre 1824. En Stackel, 1895, pp. 245-246.
[16] S T A C K E L , P A U L , M I T F R I E D R I C H E N G E L , 1895: Die Thorie der ParallelUnien von
Euklid bis auf Gauss, einer Urkundensammlung zur Vorgeschichte der nichtteuklidischen
Gomtrie. Editado por S. Stackel. Leipzig, Teubner, 1895.
[17] T A U R I N U S , F R A N Z A D O L P H , I825: Thorie der ParallelUnien. Parcialmente editado
por Stackel, 1895. Pueden verse tambin los textosfilosficosms importantes en O. Becker,
Grundlagen der Mathematik, Verlag Karl Albert Freiburg, Mnchen, 1964 (2^ d.). Pags.
183-185.
[18] TAURINUS, FRANZ ADOLPH, i826: Geometriae prima elementa. Parcialmente tradu-
cido al alemn y publicado en Stackel, 1895.
[19] TILLING, LAURA: vase GRAY.