La Primera Geometra noEuclidiana

La naturaleza no tan obvia del quinto postulado de Euclides hizo

sospechar

algunas

personas

de

la

veracidad

del

mismo.

Uno de los primeros casos notables es el del matemtico Jesuita

Giovanni Girolamo Saccheri (1667-1733), el cual al ver que no haba
forma obvia de obtener el quinto postulado de los otros nueve
postulados, opt por cambiar de estrategia y empez intentando
demostrar la validez del quinto postulado de Euclides usando el truco
ms viejo en el costal de trucos de los matemticos: dada una
proposicin que se supone como verdadera, se empieza suponiendo que
la proposicin es falsa y se empieza a trabajar con tal suposicin en
mente, hasta que invariablemente vamos llegar a un punto en el cual
obtenemos un absurdo (entendiblemente este mtodo es conocido en
lgica como el mtodo de reduccin al absurdo), con lo cual queda
demostrado que la proposicin no era falsa sino verdadera, ya que por
lgica elemental (desarrollada por un contemporneo de Euclides,
Aristteles) no es posible obtener una conclusin falsa partiendo de una
proposicin verdadera.
As, en su intento

por reivindicar a Euclides,

elabor un libro

titulado Euclides ab omni naevo vindicatus, que se traduce como

Euclides liberado de toda falla, en donde intent probar el quinto
postulado

mediante

el

recurso

de

demostrar

todas

las

dems

alternativas como absurdas, para lo cual construy lo que hoy se conoce

como el cuadriltero de Saccheri:

Partiendo de una recta GH que constituye la base del cuadriltero, a la

cual se le agregan dos rectas perpendiculares AB y CD, a travs de las
cuales se traza una cuarta lnea de modo tal que la longitud de
los brazos del cuadriltero, las rectas que van de la base hasta
la cumbre, sean iguales. Tras esto, Saccheri formul tres hiptesis
diferentes acerca de la suma de los ngulos internos del cuadriltero
(los ngulos m, n, o y p): que la suma de los ngulos era menor que,
igual a, y mayor que cuatro ngulos rectos (360 grados). Si poda
demostrar que la primera y la tercera hiptesis conducan a absurdos
lgicos, entonces habra demostrado que la hiptesis intermedia,
equivalente al quinto postulado pronunciado por Euclides, era la nica
geometra consistente, y por lo tanto la nica geometra verdadera,
dndose

por

probado

rigurosamente

como

verdadero

el

quinto

postulado. Saccheri desech rpidamente la tercera hiptesis porque

casi de inmediato empezaron a surgir las contradicciones. Sin embargo,
la primera hiptesis no condujo a ningn conflicto lgico, y de hecho
Saccheri pudo demostrar teorema tras teorema usando el nuevo
postulado alterno, construyendo ante su asombro la primera geometra
no-Euclidiana.
2

Resulta instructivo reproducir aqu algunos de los razonamientos de

Saccheri que lo llevaron a descubrir una geometra tan vlida como la
geometra de Euclides en la cual no se cumpla el quinto postulado.
Empecemos, como lo hizo Saccheri, con un cuadriltero formado por dos
pares de lneas que se suponen paralelas, en donde hemos designado a
los vrtices del cuadriltero con letras distintas:

Obsrvese que, como punto de partida, hemos supuesto que los ngulos
correspondientes a los vrtices A y B son ngulos rectos. Esto siempre
se puede llevar a cabo por construccin, y no requiere de mayor
explicacin. Obsrvese, sin embargo, que los ngulos correspondientes
a los vrtices C y D se han dejado como interrogantes.
Existen entonces tres posibilidades:

1) Los ngulos en los vrtices C y D son iguales ambos a un ngulo

recto (90 grados), lo cual debe ser as si el quinto postulado del
paralelismo es vlido.

2) Los ngulos en los vrtices C y D ambos son mayores a un ngulo

recto (esta es la hiptesis del ngulo obtuso).

3) Los ngulos en los vrtices C y D ambos son menores a un ngulo

recto (esta es la hiptesis del ngulo agudo).
3

Sin necesidad de utilizar el quinto postulado, es muy fcil demostrar que

si los ngulos correspondientes a los vrtices A y B son ngulos rectos,
entonces los ngulos C y D no pueden ser diferentes, tienen que ser
iguales. Si suponemos el quinto postulado de Euclides como justo,
entonces los ngulos en los vrtices C y D tienen que ser ngulos
rectos, es la conclusin a la que se llega aplicando el quinto postulado.
Si se niega que los ngulos correspondientes a los vrtices C y D sean
ngulos rectos, entonces se est negando al quinto postulado. Pero si
stos ngulos no son ngulos rectos, de cualquier modo tienen que ser
iguales, as que ambos tienen que ser obtusos o agudos. Supngase que
el quinto postulado no se cumple y que ambos ngulos son agudos.
Entonces la situacin que tenemos entre manos es la siguiente:

Esta combinacin de ngulos internos no es posible en la geometra

Euclidiana, en la cual el quinto postulado requiere que todos los ngulos
sean ngulos rectos.
Pero estamos suponiendo que el quinto postulado no es vlido.

El problema que se le present aqu a Saccheri es que, usando

precisamente este cuadriltero, fue elaborando teorema tras teorema,
siempre buscando algn absurdo. Pero no le fue posible encontrar
ninguno. Acababa de descubrir lo que hoy se conoce como Geometra
Hiperblica sin darse cuenta de ello. Varios de los teoremas que
descubri y que rechaz por absurdos, son de hecho teoremas
plenamente vlidos dentro de la geometra hiperblica. Incapaz de
comprender y aceptar los alcances de su descubrimiento, tras haber
desechado la tercera hiptesis Saccheri desech tambin la primera (la
suma de los ngulos internos de un cuadriltero es menor que cuatro
ngulos rectos) ya no sobre argumentos lgicos sino sobre argumentos
teolgicos.
A continuacin, trataremos de reproducir la forma de pensar de Saccheri
usada por l para la demostracin de algunos de los teoremas que
descubri dentro de su nueva geometra. Se han hecho algunas
modificaciones ligeras para hacer ms entendibles los procedimientos,
adaptados a la poca presente. Todas las demostraciones se llevarn a
cabo utilizando nicamente una regla (sin graduaciones ni marcas) y un
comps, tal y como lo hacan los gemetras de la antigedad, y se
harn suponiendo la hiptesis de que los ngulos internos en los
vrtices de la cumbre del cuadriltero son agudos.

Comenzaremos construyendo primero un cuadriltero de Saccheri.

Levantamos el cuadriltero empezando con una recta AB, la base del
cuadriltero,

trazamos

en

los

extremos

de

la

base

dos

perpendiculares, las rectas AC y BD, de modo tal que los ngulos

internos en los vrtices A y B sern ngulos rectos, haciendo tambin
con el comps que las rectas AC y BD sean iguales en longitud. Tras
esto, unimos los puntos C y D con una recta, completando el
cuadriltero:

Demostraremos ahora el primer teorema de nuestra geometra noEuclidiana para este cuadriltero:

Teorema: Los ngulos en los vrtices C y D de la cumbre del

cuadriltero de Saccheri son iguales.

Demostracin: A continuacin, trazamos dos diagonales para unir a los

vrtices opuestos del cuadriltero:

Los tringulos BAC y ABD son congruentes (figuras geomtricamente

iguales) por tener dos lados iguales (el lado comn AB, y el lado AC
igual al lado BD por construccin) y un ngulo interior (el ngulo recto)
igual. Por ser tringulos congruentes, entonces las rectas AD y BC deben
tener la misma longitud. Este resultado intermedio puede ser expresado
como un teorema: Las diagonales de un cuadriltero de Saccheri son
iguales. Y esto nos permite hallar dentro del cuadriltero otros dos
tringulos congruentes, los tringulos ACD y CDB, los cuales son
congruentes esta vez por tener sus tres lados iguales (la misma base
comn en la recta CD, el lado AD es igual al lado BC, y el lado AC es
igual al lado BD por construccin). Y si tienen sus tres lados iguales, al
ser congruentes entonces sus ngulos correspondientes en los vrtices C
y D deben ser tambin iguales, lo cual concluye la demostracin.
Si los ngulos en los vrtices C y D son iguales, como lo acabamos de
demostrar, puede decirse algo ms acerca de ellos?. En realidad esto es
todo lo que podemos afirmar acerca de estos ngulos. No sabemos an
si son ngulos rectos, agudos u obtusos. Aunque resulta fcil ceder a la
tentacin de proclamarlos como ngulos rectos, esto no demuestra que
lo sean. De hecho, a menos de que echemos recurso del quinto
postulado de Euclides, no hay forma alguna de demostrar que sean
7

ngulos rectos. Si el quinto postulado de Euclides es vlido, entonces se

puede demostrar fcilmente que deben ser ngulos rectos. Pero si no
hacemos uso del quinto postulado, entonces nos queda la duda de que
puedan ser ngulos agudos ngulos obtusos. Lo nico que sabemos es
que deben ser iguales. Trabajemos con el supuesto de que los ngulos
en los vrtices C y D sean agudos. Esto implica necesariamente que el
quinto postulado de Euclides debe ser tomado como falso. A partir de
este momento, la geometra Euclidiana se comienza a tambalear ante
nuestros ojos.

La hiptesis de que los ngulos internos en los vrtices de la cumbre del

cuadriltero de Saccheri son agudos, los cuales se acaba de demostrar
que son iguales, sumada al hecho de que los ngulos internos en los
vrtices de la base son rectos por construccin, equivale a decir
que dentro de un cuadriltero de Saccheri la suma de los ngulos
internos es menor que 360 grados (cuatro ngulos rectos). Este
enunciado no es demostrable, del mismo modo que el quinto postulado
de Euclides tampoco lo es. Lo tenemos que aceptar como punto de
partida, como un postulado o axioma.

Trabajando sobre el supuesto de que los ngulos C y D son agudos,

podemos seguir demostrando ms teoremas perfectamente vlidos
dentro de nuestra primera geometra no-Euclidiana. A continuacin
tenemos otro teorema:

Teorema: La lnea que une a los puntos medios de la base y la cumbre

del cuadriltero de Saccheri es una lnea que ser perpendicular a
ambas rectas.

Demostracin: A continuacin, trazamos una recta que une a los

puntos medios del cuadriltero, los cuales designaremos como E y F.
Ahora del punto E trazamos rectas a los vrtices C y D del cuadriltero.

Nuevamente, tenemos que se forman dos tringulos congruentes. Los

tringulos AEC y BED son congruentes por tener dos lados iguales (por
construccin, el lado AE es igual al lado EB, y el lado AC es igual al lado
BD) y un ngulo recto (el ngulo en el vrtice A y el ngulo en el vrtice
B son ambos rectos por construccin). Entonces la recta CE es igual a la
recta ED por la relacin de congruencia. Pero esto a su vez implica que
tenemos otros dos tringulos congruentes, los tringulos CEF y DEF, al
tener sus tres lados iguales (el lado CF es igual al lado FD por ser el
punto medio de la recta en la cumbre del cuadriltero). Entonces el
ngulo q debe ser igual al ngulo r, lo cual slo es posible si ambos son
ngulos rectos. Esto ya nos dice que la lnea EF es una perpendicular a
la lnea CD. Por otro lado, por la misma congruencia de los tringulos, el
ngulo r debe ser igual al ngulo q, de modo tal que:
o+s=p+t

Esto solo puede ser posible si ambos miembros de la igualdad son un

ngulo recto. Por lo tanto, la lnea EF tambin es perpendicular a la
recta AB, siendo por lo tanto perpendicular a ambas rectas, lo cual
concluye la demostracin.

Este teorema es interesante, porque nos dice que en nuestra geometra

no-Euclidiana

siempre

ser

posible

trazar

una

lnea

que

ser

perpendicular a ambas "paralelas".

A continuacin, tenemos otro teorema para nuestra geometra noEuclidiana:

Teorema: Si en un cuadriltero de Saccheri los brazos del cuadriltero
son desiguales, tambin lo sern los ngulos en la cumbre, y viceversa.
Demostracin: Sea el cuadriltero ABCD en el cual se ha trazado la
recta BD con una longitud mayor que la longitud de la recta AC. En el
lado mayor, tmese un punto E tal que el segmento de recta BE sea
igual en longitud al lado AC:

10

En el primero de nuestros teoremas, ya habamos demostrado que los

ngulos en los vrtices de la cumbre son iguales. Si aqu las rectas AC y
BE son iguales, entonces por dicho teorema el ngulo ACE ser igual al
ngulo CEB:
(ACE) = (BEC)
Puesto que la recta CE subdivide al ngulo ACD del cuadriltero,
necesariamente el ngulo ACD ser mayor que el ngulo ACE:
(ACD) > (ACE)
Puesto que el ngulo BEC es un ngulo exterior del tringulo CED,
entonces dicho ngulo ser mayor que el ngulo BDC:
(BEC) > (BDC)
De las tres relaciones obtenemos que el ngulo ACD es mayor que el
ngulo BDC a travs de los pasos siguientes:
(ACD) > (ACE)
(ACD) > (BEC) usando la relacin de igualdad
(ACD) > (BEC) > (BDC)
(ACD) > (BDC)
O sea, los ngulos en la cumbre sern desiguales, por haber sido los
brazos del cuadriltero desiguales, con lo cual queda demostrado el
teorema.
Usando este ltimo teorema junto con el segundo teorema, estamos en
condiciones de poder demostrar otro teorema interesante:
11

Teorema: En un cuadriltero de Saccheri, la cumbre tiene una longitud

mayor que la base.

Demostracin: Para demostrar este teorema, dividimos nuevamente el

cuadriltero con una perpendicular que una los puntos medios de la
base y la cumbre del cuadriltero:

Esta lnea de hecho divide al cuadriltero original en dos cuadrilteros

de Saccheri, el cuadriltero AEFC y el cuadriltero BEFD. Puesto que los
ngulos en los vrtices D y C son agudos, por el teorema que acabamos
de demostrar el lado AC ser mayor que el lado EF en el cuadriltero
AEFC, y el lado BD ser mayor que el lado EF en el cuadriltero BEFD.
Acostando ahora el cuadriltero AEFC sobre su lado EF, lo cual nos
permite ver el lado EF como una base y los lados AE y CF como los
brazos de un cuadriltero, tenemos que el lado CF es mayor que el
lado AE. Haciendo lo mismo con el otro cuadriltero, tenemos algo
similar: el lado FD es mayor que el lado EB, lo cual podemos representar
con las relaciones:
CF > AE
12

FD > EB
Sumando los miembros respectivos de las desigualdades, tenemos una
nueva desigualdad:
CF + FD > AE + EB
que es lo mismo en la figura que:
CD > AB
O sea que la cumbre del cuadriltero tiene una longitud mayor que su
base!, como consecuencia directa de la hiptesis de los ngulos agudos
en los vrtices C y D. Esta conclusin empieza a parecer absurda y no
concuerda con lo que nos dice nuestra intuicin, con lo que nos sugiere
nuestra experiencia cotidiana. Sin embargo, todos los pasos que hemos
llevado a cabo estn plenamente justificados, no hemos incurrido en
ninguna contradiccin lgica, en ningn momento hemos violado las
reglas del juego. Igual que como lo descubri Saccheri, ante nuestros
ojos se est desenvolviendo una geometra completamente nueva, una
geometra no-Euclidiana, la cual nos obliga a ver las cosas desde una
perspectiva diferente.

Definimos ahora, dentro de la geometra de Saccheri, que si dos lneas

tienen una perpendicular comn, como la lnea EF mostrada arriba en
el cuadriltero Saccheri, entonces dichas lneas son paralelas. Resulta
obvio que si dos lneas AB y CD tienen una perpendicular comn,
entonces no pueden tener otra perpendicular comn ms que sta,
ciertamente no en el cuadriltero de Saccheri en donde los ngulos
internos en los vrtices C y D se han definido como agudos. Esto lo
podemos

expresar

demostrar

usando

como
las

un teorema sencillo

siguientes
13

palabras: Si

que

acabamos

de

dos

lneas

un

en

cuadriltero de Saccheri tienen una perpendicular comn, entonces no

pueden tener una segunda.

La

existencia

de

una

perpendicular

comn

ofrece

la

posibilidad

interesante para poder construir un cuadriltero de Saccheri modificado

de modo tal que uno de los lados del cuadriltero sea precisamente esa
perpendicular comn. De este modo, tendremos un cuadriltero en el
que no nicamente dos sino tres de sus tres ngulos internos sern
ngulos rectos como se muestra a continuacin:

Este

cuadriltero

es

mejor

conocido

como

el cuadriltero

de

Lambert por haber sido utilizado en el siglo XVIII por el matemtico

Johann Lambert en sus estudios de geometras no-Euclidianas, aunque
de hecho fue utilizado previamente en el siglo XI por el notable cientfico
musulmn Ibn al-Haytham, un pionero del mtodo cientfico moderno.
Aunque con el cuadriltero Lambert nos es posible tener un cuadriltero
no-Euclidiano en el que tres ngulos internos son rectos (a diferencia del
cuadriltero de Saccheri en el que nicamente dos ngulos internos son
rectos),

en

el

cuadriltero

cuadriltero AC y BD dejan

de

de

Lambert
ser

iguales

los

lados

como

lo

verticales
eran

en

del
el

cuadriltero de Saccheri, con lo cual lo que por una parte se gana por la
14

otra parte se pierde. En realidad, el cuadriltero de Lambert no es ms

til para intentar demostrar el postulado de las paralelas de Euclides
que el cuadriltero de Saccheri, por la simple y sencilla razn de quese
trata de algo que no puede ser demostrado.

Procedamos ahora a probar el siguiente:

Teorema: Dos lneas sern paralelas, con una perpendicular comn a

ambas, si existe una recta transversal que corte a dichas lneas de
modo tal que se formen ngulos alternos internos iguales, o ngulos
correspondientes iguales.

Esto se ver demostrando que la suposicin de que los ngulos alternos

internos formados por la transversal que corta a dos lneas sean iguales
implica que las rectas atravesadas sern paralelas en el sentido que se
le d a dicha palabra en la geometra de Saccheri. Primero, tmese las
siguientes lneas AB y CD de modo tal que sean cortadas en los puntos
P y Q por la lnea transversal PQ:

15

de

forma

tal

que

ngulos m y n son

el

ngulo m sea

ngulos

rectos

igual

(de

90

al

ngulo n.

grados),

Si

entonces

los
la

recta GH debe ser una perpendicular comn a las lneas AB y CD, y la

demostracin se vuelve trivial. Si los ngulos m y n son ngulos agudos,
seleccionemos el punto M dentro de la recta PQ de modo tal que sea el
punto medio de dicha recta. Sea E la proyeccin del punto M sobre la
lnea AB. En la cumbre del cuadriltero, en la lnea CD, tmese el
punto F a la izquierda del punto Q de modo tal que el segmento QF sea
de

igual

longitud

que

tringulos MEP y MFQ sern

el

segmento PE.

congruentes

Entonces

(semejantes

iguales)

los
por

tener dos lados iguales y un ngulo igual (los ngulos correspondientes

por los vrtices que se tocan en el punto M son iguales). Siendo los
tringulos congruentes, entonces el ngulo QFM deber ser igual al
ngulo PEM por la misma congruencia (semejanza) de los tringulos.
Siendo el ngulo PEM un ngulo recto por ser el punto E la proyeccin
(perpendicular)

sobre

la

lnea AB del

punto M,

entonces

el

ngulo QFM tambin debe serlo, y se concluye que la recta EF es la

perpendicular comn a ambas lneas AB y CD, con lo cual se concluye
tambin que los puntos E, M y F forman parte de una misma recta
(son colineales).

Entonces

internos m y n conduce

la

igualdad

de

al resultado de que

los

ngulos

alternos

la recta EMF es

una

perpendicular comn a ambas rectas AB y CD, lo cual solo puede ocurrir

si ambas son paralelas.

Estamos ya en condiciones de poder deducir, mediante el cuadriltero de

Saccheri, el siguiente

Teorema: En la geometra basada en el cuadriltero de Saccheri, la

suma de los ngulos internos de todo tringulo ser menor que 180
grados (dos ngulos rectos).

16

Haremos la demostracin en dos partes. Lo haremos primero para el

caso de los tringulos rectngulos (un tringulo con uno de sus ngulos
internos

igual

90

grados).

Considrese

el

siguiente

tringulo

rectngulo ABC inscrito en el cuadriltero de Saccheri, lo cual supone

que el ngulo interno p en el vrtice A es un ngulo recto:

Por tratarse de un cuadriltero de Saccheri, el ngulo en el vrtice C del

cuadriltero, que es igual a la suma de los ngulos o y n, debe ser
agudo, menor que 90 grados:
(90) > (o + n)
Por lo que vimos en la demostracin anterior, si la lnea EF es la
perpendicular comn a las paralelas AB y CD, entonces los ngulos
alternos internos m y n deben ser iguales, con lo cual la anterior
desigualdad se convierte en:
(90) > (o + m)
Sumando ahora el ngulo recto p a ambos miembros de la desigualdad,
se tiene:
17

(p + 90) > (p + o + m)

(90 + 90)> (p + o + m)

(180) > (p + o + m)
Esto nos dice claramente que en la geometra de Saccheri, la suma de
los ngulos internos de todo tringulo rectngulo ser menor que 180
grados.
Ahora se har la demostracin del teorema para cualquier tringulo en
general que no sea un tringulo rectngulo. Esto se lleva a cabo con el
socorrido truco de dividir un tringulo cualquiera en dos tringulos
rectngulos trazando la altura de uno de los vrtices a la base. Tmese
el siguiente tringulo PQR y tindase la altura desde el vrtice Q hasta
su base de modo tal que la recta QS sea perpendicular a la recta PR:

Al quedar subdividido el tringulo en dos tringulos rectngulos, por lo

que acabamos de demostrar para un tringulo tenemos entonces que las
siguientes desigualdades deben ser ciertas:
(180) > (m + o + p)
18

(180) > (n + q + r)
Sumando miembro a miembro ambas desigualdades, obtenemos una
nueva desigualdad:
(360) > (m + o + p + n + q + r)
Pero la suma de los ngulos p y q debe ser 180 grados por ser ambos
parte de una misma recta. Reacomodando y simplificando:
(360) > (m + o + n + r + 180)

(180) > [(m + n) + o + r]

Pero m + n es el ngulo interno del tringulo PQR en el vrtice Q. Esto
nos dice que en la geometra de Saccheri la suma de los ngulos de
cualquier tringulo debe ser menor que 180 grados.
Y as como demostramos los teoremas anteriores, podemos seguir
derivando ms teoremas. La conclusin de que en esta geometra la
suma de los ngulos internos de todo tringulo siempre ser menor que
180 grados, o sea menor que dos ngulos rectos, choca directamente
con el resultado Euclidiano que nos dice que en todo tringulo la suma
de los ngulos internos ser siempre igual a dos ngulos rectos. Hoy se
nos hace ms fcil digerir todo esto porque nuestro modo de pensar ha
evolucionado y estamos ms dispuestos a aceptar ideas que van en
contra de nuestra intuicin, como ha ocurrido con la mecnica cuntica,
con el principio de incertidumbre de Heisenberg, con la Teora de la
Relatividad de Einstein, y con el Teorema de Gdel. Pero en la Edad
Media e inclusive en los tiempos del Renacimiento, esto mismo que
hemos visto hubiera sido visto casi como una hereja.

19

Paulatinamente, la imagen que empieza a surgir en la geometra de

Saccheri es la de dos paralelas que tienen una perpendicular comn y
que fuera de ella van tomando el siguiente aspecto:

Un observador crtico tal vez podr objetar de la siguiente manera: El

trazo de dos paralelas supone que estas son lneas rectas, no lneas
curvas. Al tener dos lneas curvas ya no podemos hablar de rectas
paralelas. Esto hace suponer que el quinto postulado de Euclides sigue
siendo absolutamente vlido y no hay otra realidad ms que la mostrada
por dicho postulado. A lo que se le puede responder de la siguiente
manera:
En primer lugar, la curvatura ha sido enormemente exagerada para fines
pedaggicos. Una curvatura mucho menos pronunciada, en trminos no
de distancias terrestres sino de distancias astronmicas, parecera
mostrarnos falsamente el aspecto de una lnea recta sin serlo. Pero,
efectivamente, la longitud de otra perpendicular trazada desde una de
las paralelas que no coincida con la perpendicular comn ir
aumentando

conforme

nos

vamos

alejando

ms

ms

de

la

perpendicular comn. Sin embargo, esto pierde por completo la

perspectiva detrs de la construccin del cuadriltero de Saccheri. Para
construir un cuadriltero de Saccheri, partimos desde una lnea AB, la
base del cuadriltero, trazada de la forma ms recta que nos sea
posible concebir (tal vez usando un rayo lser) sin el menor indicio de
20

curvatura alguna, haciendo el supuesto de que los ngulos en la base

del cuadriltero son ngulos rectos y los ngulos en la cumbre son
agudos. Para el gemetra que est abajo, su visin de lo que ocurre es
la siguiente:

Sin embargo, para un gemetra que viva arriba y que trace su

cuadriltero Saccheri de arriba hacia abajo, partiendo de la recta ms
recta que le sea posible trazar para la base de su cuadriltero, quiz
con la ayuda de un rayo lser, su visin de lo que ocurre ser la
siguiente:

As, cada uno de ellos jurar por lo que les sea ms sagrado que la base
de su cuadriltero Saccheri es totalmente recta mientras que la cumbre
en el cuadriltero del otro es la que manifiesta una curvatura que hace
los ngulos internos en la cumbre agudos, algo que supuestamente
dejar perplejos a ambos cuando intercambien notas. Pero ambos
quedarn an ms estupefactos cuando alguien capaz de saltar fuera de
tan peculiar universo vindolos desde arriba (nosotros) les diga que
las rectas de ambos exhiben una curvatura. Para empeorar las cosas,
21

nadie ha venido desde el extremo lmite del Universo, situado all en el

infinito, para decirnos cmo se comporta el espacio en tal regin. Quiz
all la nica geometra vlida es la de Saccheri, llevada al extremo.
Si suponemos la base del cuadriltero de Saccheri como una lnea
perfectamente recta, entonces resulta ahora ms que obvio que por un
punto exterior P a una recta dada es posible trazar una cantidad infinita
de paralelas a la recta dada, todas las cuales tendrn su perpendicular
comn en el mismo punto externo P, como lo muestra la siguiente figura
en la cual se han trazado tres rectas paralelas que pasan por el punto P:

La diferencia entre la suma de los ngulos internos de un tringulo y

180 grados es lo que comnmente se conoce como el defecto de un
tringulo, lo cual se representar aqu con la letra griega delta (), y
es una cantidad importante para poder llevar a cabo mediciones
relacionadas con un tringulo, relaciones que posteriormente se ver en
el Captulo IV de esta bitcora que tienen que ver con el rea de un
tringulo definida dentro de este tipo de geometra.
La definicin del defecto de un tringulo (esto de ninguna manera
implica que algo en nuestra nueva geometra o en el tringulo sea
defectuoso, hay que tomarlo como un uso completamente nuevo de la
palabra sin connotacin de falla alguna) nos permite establecer otro

22

Teorema: El defecto de un tringulo es igual a la suma de los

defectos de los dos subtringulos que resultan del trazo de una
transversal simple dentro del tringulo.

Para demostrar esto, considrese el siguiente tringulo ABC, subdividido

en dos subtringulos por la recta que parte del vrtice en el
punto C hasta llegar al punto D:

Por la definicin del defecto de un tringulo, los defectos de cada uno de

los dos subtringulos estarn dados por las siguientes relaciones:
(ADC) = 180 - (m + o + p)
(BCD) = 180 - (n + q + r)
Sumando ambas expresiones miembro a miembro y agrupando:
(ADC) + (BCD) = 360 -[m + o + (p + q) + n + r]
Pero la suma de los ngulos p y q ser 180 grados por ser ngulos
suplementarios sobre la misma recta, y el ngulo en el vrtice C es igual

23

a la suma de los ngulos m y n. Simplificando lo anterior con estos

hechos, todo se reduce a:
(ADC) + (BCD) = 360 - 180 - [(m + n) + o + r]
(ADC) + (BCD) = 180 - [(C) + o + r]
(ADC) + (BCD) = (ABC)
Y el teorema queda demostrado.

Esta propiedad aditiva resulta ser posteriormente de mucha utilidad

cuando se trata de definir el concepto del rea contenida en el interior
de un tringulo Saccheriano.
De haber promocionado Saccheri sus descubrimientos, posiblemente a
la larga habra obtenido fama imperecedera como un matemtico
revolucionario. El problema es que en los tiempos en los que viva
Saccheri no era tan fcil el tratar de cuestionar la geometra
desarrollada por Euclides, no era tan fcil desafiarla como la nica
geometra posible. Euclides era tenido en tan alta estima de autoridad
por los clsicos de aqul entonces, que cuestionarlo era considerado casi
como una hereja. Y lo que haba encontrado Saccheri no slo
derrumbaba a la geometra euclidiana como la nica geometra posible,
sino que traa aparejados un conjunto de nuevos teoremas que entraban
directamente en conflicto con los teoremas demostrados por Euclides.
Estamos hablando de algo capaz de parar a la geometra Euclidiana de
cabeza. Y lo que haba encontrado Saccheri era una geometra
completamente nueva, consistente, sin contradicciones.

Con todo, Saccheri no fue el nico que no se atrevi a reconocer la

magnitud de su descubrimiento y mucho menos a desafiar algo
establecido y aceptado como verdad nica hace cientos de aos. Nadie
24

menos que el matemtico alemn Carl Gauss (1777-1855), el prncipe

de las matemticas, se top tambin con el hecho de que el quinto
postulado de Euclides no era una verdad absoluta como muchos
suponan; poda ser reemplazado por una suposicin alterna, tras lo cual
se poda construir toda una nueva geometra perfectamente consistente,
sin contradicciones, con sus propios teoremas. Gauss lleg a estas
conclusiones siguiendo un camino totalmente diferente. Uno de los ms
importantes contribuyentes a la geometra diferencial, descubri el
teorema de que la curvatura de una superficie no-planar estaba
relacionada

la mtrica usada

para

medir

dicha

curvatura

(la mtrica se define como la expresin matemtica usada para medir la

distancia entre dos puntos cualesquiera sobre una superficie, y si la
superficie no es plana, entonces la lnea ms corta trazada sobre dicha
superficie de un punto a otro recibe un nombre ms elaborado: la
geodsica. Gauss logr demostrar, en su Theorema Egregium, que la
curvatura de una superficie es independiente del espacio dentro del cual
existe esa superficie, siendo esto una propiedad intrnseca a la suma de
los ngulos internos de un tringulo construido sobre dicha superficie, lo
cual conduca directamente a la conclusin lgica de que no slo la suma
de los ngulos internos de un tringulo construido sobre una superficie
determinaba poda ser diferente de los 180 grados que obtena la
geometra Euclidiana, sino inclusive dicha suma poda ser utilizada para
calcular la curvatura de la superficie. En otras palabras, para poder
determinar la curvatura de la superficie de la Tierra, no es necesario
llevar a cabo una medicin externa; basta con trazar con mucho cuidado
un tringulo grande sobre dicha superficie, y sumando los ngulos
internos podemos saber si la Tierra es plana como lo suponan muchos
contemporneos de Cristbal Coln (en cuyo caso la medicin arrojara
180 grados) o podemos saber si la superficie de la Tierra es una
superficie curva. Y se repite que para obtener esta informacin no es
necesario salir fuera del tringulo, basta con medir los ngulos interiores
del tringulo, los cuales son una propiedad intrnseca de dicha figura
geomtrica.
25

Antes que Gauss, Johann Heinrich Lambert (1728-1777) quien ya fue

mencionado previamente con motivo del cuadriltero de Lambert se
haba acercado nuevamente a la construccin de geometras noEuclidianas en su libro Teora de las lneas paralelas publicado en
1776. Usando una metodologa similar a la de Saccheri, descubri que
las tres hiptesis de Saccheri eran equivalentes a la afirmacin de que la
suma de los ngulos internos de un tringulo puede ser igual, mayor o
menor que dos ngulos rectos (180 grados); y demostr tambin que
la geometra esfrica era similar al tercer caso, especulando que la
primera geometra pudiera corresponder a una geometra trazada sobre
una esfera con radio imaginario (en donde la base unitaria es la raz
cuadrada del nmero negativo 1, o sea -1, denotada en matemticas
como i). Reemplazando un radio real por un radio imaginario condujo a
lo que se puede considerar como la primera geometra hiperblica en la
cual las frmulas trigonomtricas usuales del seno(x) y del coseno(x)
son

reemplazadas

por

el seno hiperblico senh(x) y

el coseno

hiperblico cosh(x). Entonces surge una duda: por qu razn una

de las hiptesis alternas de Saccheri lo condujo a contradicciones
lgicas? La respuesta resulta ser mucho ms sencilla de lo que parece.
Para

que

en

esa

geometra

alterna

Saccheri

no

llegara

contradicciones, no bastaba con modificar el postulado de las paralelas;

haba que modificar tambin el segundo postulado que nos dice que una
lnea se puede extender infinitamente en ambas direcciones, el cual no
consideraba la posibilidad de que una recta extendida hacia el infinito en
uno de sus lados pudiera regresar por una curvatura del espacio del
Universo al punto de partida, en cuyo caso tendramos no una lnea
abierta sino una lnea cerrada.

Gauss, al igual que Saccheri, se dio cuenta del riesgo que corra si
publicaba sus descubrimientos. Adems del enorme escndalo que
seguramente suscitara al parar a la geometra euclidiana de cabeza, se
expona al ridculo pblico de aquellos que no quisieran comprender la
26

magnitud de su descubrimiento (a los cuales llam beocios). Es por

esto que Gauss prefiri callar y conservar su bien ganada reputacin.
Fue hasta su muerte cuando al hurgar entre sus papeles se encontraron
los manuscritos con los que se comprob que Gauss, por la va de la
geometra diferencial, haba confirmado sus anteriores descubrimientos
de una geometra diferente a la geometra Euclidiana. Sin embargo,
pese a su enorme estatura, no se le d a Gauss el crdito que merece
por dicho descubrimiento porque en la ciencia el crdito va no para
quien descubre algo por vez primera sino para aqul que publica los
resultados de su descubrimiento primero (es por esto que la paternidad
de la invencin del clculo diferencial e integral siempre fue motivo de
agrias discusiones y reclamos entre las dos personas que reclamaron
hasta el final de sus das el mrito de haber sido el primero en
desarrollarlo, por un lado Sir Isaac Newton, y por el otro lado Gottfried
Leibniz).

27