Geometra:

Los cinco postulados de Euclides dicen:

1. Es posible trazar una recta desde un punto a otro punto.
2. Una recta se extiende indefinidamente en una y otra direccin.
3. Dibujar un crculo con centro y radio.
4. Todos los ngulos rectos son iguales entre s.
5. Si una recta corta otras dos rectas formando a un lado ngulos interiores del
mismo lado de un ngulo recto, entonces si las dos rectas se prolongan
indefinidamente, se encuentran del lado en que los ngulos son menores que
dos rectos, es decir, por un punto exterior a una recta A pasa slo una
recta B paralela a A (Playfair).
Lobatchevsky demuestra que el quinto postulado es independiente de los otros,
porque negando el quinto postulado y afirmando todos los otros no obtiene
contradiccin alguna. Entonces no es posible demostrarlo a partir de los otros.
Geometra eucldea: todas las consecuencias lgicas que pueden extraerse del
sistema eucldeo.
Geometra no euclidea (sentido histrico y restringido): geometra que se sostiene
negando algunos de los postulados de Euclides, en particular el quinto.
Gemetra absoluta: la que se obtiene a partir de los primeros cuatro postulados. La
geometra no eucldea contiene a la geometra absoluta.
c

h
q

b2

b1

Lobatchevsky: geometra absoluta + quinto postulado cambiado por por un punto

exterior a una recta pasa ms de una paralela.
Paralelas: En el plano hiperblico, por el punto exterior a la recta A pasan infinitas
rectas que no intersecan a A. Pero paralelas slo hay dos, y son las que forman el
ngulo , el ngulo de paralelismo. En Euclides, basta que sea no intersecante para
que sea paralela. En hiperblica, toda paralela es no intersecante pero no toda no
intersecante es paralela. Las paralelas son las que forman con h un ngulo alfa, que
es el menor ngulo tal que las rectas que pasan por q y forman el ngulo alfa con h,
no cortan la recta a. Si las rectas obtienen un ngulo menor a alfa, intersecan; las
que tienen un ngulo mayor a alfa, son no intersecantes.
En Euclides, el ngulo de paralelismo es siempre 90 . Pero en la geometra
hiperblica, el ngulo de paralelismo, , es variable, y se caracteriza por:
1. Es mayor a 0 y menor a 90
2. tiende a 0 (disminuye) cuando la distancia h tiende a ser infinita (aumenta)
3. tiende a 90 (aumenta) cuando a distancia h tiende a 0 (disminuye).

cuando es 45, las rectas b1 y b2 son perpendiculares entre s, y paralelas a A, lo

cual sera imposible en la geometra eucldea.

En Euclides, la suma de los ngulos interiores de un tringulo es 180. Pero en la

geometra hiperblica:
1. Es menor que 180
2. La suma de los ngulos interiores del tringulo = 180 - delta (delta es
directamente proporcional al rea del tringulo).
3. Cuanto menor sea el rea, la suma de sus ngulos interiores tiende a 180.
4. Pero no tiende a 0 cuando el rea se acrecenta, porque en realidad el rea de
un tringulo no puede tender a infinito; hay un mximo de amplitud para los
tringulos de la geometra hiperblica. Delta no puede ser 180.
En Euclides, todo tringulo de la misma forma es semejante, y si tiene el mismo
tamao es congruente. En la hiperblica, slo son semejantes los que son
congruentes.
En Euclides, el espacio no tiene curvatura. En la hiperblica, la curvatura es
constante pero negativa, siempre menos que cero. La de Riemann es de curvatura
constante pero positiva (como la superficie de una esfera).
La geometra de Lobatchevsky pareciera aplicarse a tringulos fsicamente muy
grandes, cuya suma de ngulos medir menos que 180. Y su postulado de las
paralelas parece darse en espacios distantes, que estn ms all de la experiencia
humana. Los rayos de luz pueden tener trayectorias curvas, pero el cientfico puede
tratarlas como curvas de la geometra eucldea, o inventar una geometra en que tales
curvas sean consideradas rectas. Es anacrnica la discusin sobre la posibilidad de
aplicar la geometra euclideana.
Ambas contienen a la geometra absoluta. Lobatchevsky demostr que si la
geometra euclideana es consistente, entonces la hiperblica tambin lo es. Dio una
prueba relativa de consistencia. Para esto debo hacer algn tipo de traduccin.
Posiciones:
Apriorismo: El espacio es una forma de la sensibilidad. Kant: La geometra
eucldea es la intuitiva. Todos los seres racionales conciben al espacio como
eucldeo.
Empirismo: La cuestin de lo que sea el espacio fsico puede determinarse por
medio de observaciones y experimentos.
Convencionalismo: la cuestin del espacio es meramente convencional. La
estructura geomtrica la ponemos nosotros (la eucldea) prque es la intuitiva, es ms
simple. Es simple y til.
Geometra elptica o esfrica (Riemann): Cambia el quinto postulado por: por
fuera de la recta no pasa ninguna paralela. No contiene a la geometra absoluta

porque niega el segundo postulado, [Kline] que dice que la lnea recta se extiende
indefinidamente en una y otra direccin. Para Riemann, una recta es ilimitada (no
tiene principio ni fin) pero no inifita. Toda recta tiene aqu longitud finita. Y todas
las perpendiculares a una recta se encuentran en un punto.
Asimismo, en esta geometra la suma de los ngulos interiores de un tringulo es
mayor a 180. Adems, la suma vara con el rea del tringulo y disminuye hasta
180 cuando el rea tiende a cero (menos area = menos suma de ngulos interiores, a
diferencia de hiperblica). Por eso, en las tres geometras un tringulo pequeo
medir aproximadamente 180 (en la eucldea medir excatamente eso). [Poincar]
La lnea recta ser el camino ms corto entre dos puntos; esto es, un arco de crculo
mximo. Sobre una esfera, por dos puntos dados, no se puede hacer pasar en general
ms que un crcullo mximo, salvo en un caso: cuando dos puntos son
diametralmente opuestos, se podr hacer pasar por esos dos puntos una infinidad de
crculos mximos. Un tringulo ser la figura formada por tres arcos de crculos
mximos. Esta geometra se aplica perfectamente a la superficie de una esfera,
siempre que lnea recta se interprete como crculo mximo de la esfera.
[Poincar] Beltrami: La geometra de dos dimensiones de Lobatchevsky no es ms
qe una rama de la geometra ordinaria: la geometra de superficies de curvatura
constante negativa. La de Riemann se reduce a la geometra esfrica, que es una
deformacin de la geometra eucldea de superficies de curvatura constante positiva.
Prueba de consistencia relativa: Se traducen los trminos de una teora a trminos
de otra teora, y as los teoremas de la primera teora, traducidos, resultan ser
teoremas de la segunda teora. La segunda teora da un modelo de la primera.
Entonces, si la primera teora es inconsistente, la segunda tambin, porque una
inconsistencia de la primera podra ser traducida a una inconsistencia de la segunda;
y si la segunda es consistente, la primera tambin. Esto ltimo es lo ms importante
de una prueba de consistencia relativa. Poincar prueba en su texto que, al traducir
trminos de la geometra hiperblica a trminos de la euclideana, ,obtengo teoremas
de la euclideana; entonces, si la euclideana es consistente (lo cual parece intuitivo),
la hiperblica tambin lo es.
[Poincar]
Las proposiciones generales de la geometra (no definiciones) son:
1. Por dos puntos no puede pasar ms que una recta (rechazado por Riemann)
2. La lnea recta es el camino ms corto de un punto a otro.
3. Por un punto no se puede hacer pasar ms que una paralela a una recta dada
(quinto postulado, rechazado por Riemann y Lobatchevsky).
Necesidad de los axiomas: Algunas proposiciones descansan sobre otras, pero no
se podra llegar al infinito. Algunas deben ser evidentes por s mismas.
Adems de los axiomas explcitamente dichos, hay siempre axiomas implcitos en
otras definiciones o axiomas. Por ejemplo, muchos suponen la posibilidad de

movimiento de una figura invariable, y tambin algunas de las propiedades de este

movimiento (como la definicin de igualdad de dos figuras o de lnea recta). Lie
demostr que si se admite la posibilidad de movimiento de una figura invariable, se
puede inventar un nmero finito de geometras de tres dimensiones. Pero Riemann
prob que puede haber infinitas geometras; el asunto (dice Poincar) es que, de esas
geometras, las que no admiten el movimiento, son puramente analticas y no se
prestarn a demostraciones como la de Euclides.
Naturaleza de los axiomas:
Juicios sintticos a priori? No, porque puedo negarlos y realizar otra geometra; si
fueran sintticos a priori, no podra concebir la posicin contraria. Adems, los
animales sin espesor, si tuvieran el espritu hecho como nosotros, no adoptaran la
geometra eucldea, la cual se contradice con su experiencia.
Verdades experimentales? Si as fuera, estara sometida a una continua revisin;
incluso estara condenada al error puesto que sabemos que no existe slido
rigurosamente variable.
Son convenciones: nuestra eleccin de ellos est guiada por hechos experimentales,
pero permanece libre e ilimitada excepto por evitar toda contradiccin. Por eso llos
postulados pueden permanecer rigurosamente verdaderos, an cuando las verdades
experimentales que nos guiaron a ellas fueran aproximadas. Los axiomas de la
geometra son definiciones disfrazadas. No tiene sentido preguntarse si es verdadera
o falsa la geometra eucldea. Un geometra slo puede ser ms cmoda que otras, en
este caso es la euclideana porque:
1. Es la ms simple, no slo por nuestros hbitos mentales e intuiciones. Es ms
simple del mismo modo en que un polinomio de primer grado es ms simple
que uno de segundo grado.
2. Concuerda bastante bien con las propiedades de los slidos naturales, cuerpos
a los cuales utilizamos (incluso para medir) y vemos.
[Kline] Repercusiones
- Muchos se dieron cuenta por primera vez de que las matemticas no
ofrecan verdades; ya no puede saberse cul geometra es la
verdadera.
- Varias teoras matemticas pueden ajustarse al espacio fsico, aunque
no hay razn para identificar la matemtica con el espacio fsico.
- Si las matemticas tienen axiomas no verdaderos, en qu se
diferencian de la fsica?
a. El objeto de estudio (figuras, planos, nmeros, rectas, etc.) es
distinto.
b. Las ciencias naturales no insisten en tener una estructura
deductiva basada en una serie de axiomas. El matemtico
siempre busca una prueba deductiva para las hiptesis.

c. Los matemticos se sintieron libres de desplegar los

resultados de la geometra an cuando no fueran de aplicacin
inmediata en el mundo fsico.
Han dejado de ser verdades las conclusiones de la ciencia que
dependen estrictamente de teoremas matemticos.
Descubrir el plan implcito de la naturaleza? No, las leyes
matemticas son maneras humanas de ver y entender la naturaleza,
descripciones aproximada.
Por qu en ingeniera sigue usandose la geometra eucldea? En
principio, porque es digna de confianza.
En filosofa, se afectaron todas las doctrinas erigidas sobre el
conocimiento cientfico.
El hombre ya no estaba seguro de su capacidad para obtener
verdades, Ningn sistema de pensamiento haba sido tan
completamente aceptado como la geometra eucldea. Verdades
innatas? Puaj. No buscamos ahora lo ideal, sino lo que funcione mejor;
no buscamos la perfeccin. Tuvo que removerse la idea de que la
matemtica es un cuerpo de verdades.