Consistencia Geometrias No Euclidianas

1
VI.Consistencia de las geometras de Euclides, Lobachevski y Riemann

_______________________________________________________________________
VI. Consistencia de las geometras de Euclides, Lobachevski y Riemann
Siempre debiera pedirse que un asunto matemtico no

se considere agotado hasta que haya llegado a ser
intuitivamente evidente.
Flix Klein
VI.1. Introduccin
El descubrimiento de las geometras no euclidianas condujo a un estudio ms profundo y
a un refinamiento del Mtodo Axiomtico que, a partir de la Axiomtica Material Griega
produjo por evolucin, la Axiomtica Formal Moderna; la primera fase del desarrollo de
las geometras no euclidianas culmin con los trabajos de Gauss, Lobachevski y
Riemann. Un hecho muy importante de la segunda fase fue la publicacin, en 1868, por
el gemetra italiano Eugenio Beltrami (1835 - 1900), de un artculo que dio una
respuesta definitiva al problema de la consistencia (es decir, no contradiccin) de la
nueva geometra (de Lobachevski). Se recordar que Saccheri estaba convencido de que
la hiptesis del ngulo agudo que dio origen a sta nueva geometra, deba conducir a
una contradiccin lgica, y que al no ser capaz de establecerla, rechaz dicha
hiptesis, ms por razones estticas que por razones lgicas, como repugnante a la
naturaleza de la lnea recta. Ninguno de ellos haba logrado resolver la inquietante
cuestin de la consistencia lgica.
Parece que Bolyai abrig la sospecha de que al extender sus investigaciones al espacio
tridimensional encontrara inconsistencias y que Lobachevski tena anlogos estudios
respecto a su desarrollo. Un posible comentario sobre el estado de la matemtica de
aquellos tiempos es que nadie se preocup en plantear la cuestin de la consistencia de
la propia geometra euclidiana. nicamente las geometras distintas de la euclidiana eran
sospechosas y haba que demostrar su inocencia respecto al crimen de la inconsistencia.
Pero se acercaba el da en el que incluso la geometra euclidiana tena que afrontar tal
prueba1.
El trabajo de Beltrami interpretaba la geometra no euclidiana de Lobachevski como una
geometra sobre ciertas clases de superficies en el espacio eucldeo tridimensional. Por
tanto, las propiedades paradjicas de la nueva geometra se dan de hecho en esas
superficies y as una inconsistencia en la nueva geometra representaba tambin una
inconsistencia en la geometra euclidiana2. La nueva geometra es, por todo esto, tan
consistente como la antigua, y euclides qued por fin, liberado de todo error3.
1
La demostracin de la consistencia de las geometras de Euclides, Lobachevski y Riemann se har
basndose en la propuesta axiomtica del alemn David Hilbert de la geometra euclidiana. Ver Apndice
II.
2
En este trabajo se demuestra primero la consistencia de la geometra de Euclides y despus,
construyendo modelos de las otras geometras en la geometra de Euclides se demuestra la consistencia de
stas; as, una inconsistencia en la geometra de Euclides, traer como consecuencia una inconsistencia en
las otras geometras.
3
Es decir, que Euclides hizo bien en considerar al V postulado como un postulado.
2
_______________________________________________________________________
As, la independencia real del V postulado de Euclides de los dems postulados de la

geometra euclidiana no fue incuestionablemente establecida sino hasta que fueron
proporcionadas las demostraciones de consistencia de las hiptesis del ngulo agudo y
obtuso. Esto es, de la geometra de Lobachevski y de Riemann respectivamente. Ahora,
estaban ya reconocidas oficialmente y de manera definitiva por el mundo matemtico,
las tres geometras: de Euclides, de Lobachevski y de Riemann.
As, la existencia de varias geometras igualmente satisfactorias lgicamente hizo

necesario abandonar la concepcin de la geometra como descripcin del espacio fsico,
lo que condujo a replantear preguntas tales como Qu es un objeto geomtrico? Qu
es un espacio geomtrico? Qu es geometra? Qu significa verdad en matemticas?
Cul es la naturaleza de los postulados sobre los que descansa una geometra? E incluso
Cul es la naturaleza de la verdad en matemticas? La respuesta a todas estas preguntas
se encuentra a lo largo del presente trabajo.
VI.2. Mtodo axiomtico.

Si quiere Ud. conversar conmigo, deca Voltaire, defina los trminos que emplea.
Esta advertencia es razonable, siempre y cuando no se lleve demasiado lejos. Porque, si
una conversacin ha de ser fructfera, los participantes deben ponerse de acuerdo, en
tanto como sea posible, sobre el significado de algunos de los trminos bsicos usados,
sin tratar de definirlos. Un intento de definir todos los trminos conduce a un crculo
vicioso (Lakatos, I. (1978)). As, por ejemplo, un diccionario puede definir existir,
como ser, y luego definir ser como existir, con el resultado de que existir
significa existir.
Si Voltaire hubiera seguido pidiendo que quienquiera que conversara con l demostrara
todo lo que dijera, se hubiera encontrado con anlogas dificultades.
VI.2.1. Axiomtica material griega

Los cambios econmicos y polticos de los ltimos siglos del segundo milenio a. de C.
provocaron que el poder de Egipto y Babilonia decayera, nuevas personas se pusieron al
frente y sucedi que el desarrollo posterior de la geometra pas a los griegos. El grado o
la extensin de la deuda de la geometra griega a la geometra oriental antigua es difcil
de estimar, y la trayectoria de transmisin de una a otra no ha sido descubierta hasta
ahora satisfactoriamente. Que la deuda es considerablemente mayor que lo que se crey
con anterioridad se ha hecho evidente con las investigaciones del siglo XX sobre los
registros babilnicos y egipcios. Los antiguos escritores griegos expresaron respeto a la
sabidura del Este, y esta sabidura estuvo disponible para cualquiera que viajara a
Egipto y Babilonia.
Pero, cualquiera que sea la fuerza de la conexin histrica entre la geometra griega y la
oriental antigua, los griegos transformaron la materia en algo bastante diferente del
conjunto de conclusiones empricas desarrolladas por sus predecesores. Los griegos
3
_______________________________________________________________________
insistieron en que los hechos geomtricos deben establecerse no por procedimientos
empricos, sino por razonamiento deductivo; debe llevarse a conclusiones geomtricas
por demostracin lgica ms bien que por experimentacin de tanteos. La verdad
geomtrica debe obtenerse en el cuarto de estudio ms bien que en el laboratorio. En
breve, los griegos transformaron la geometra emprica de los antiguos egipcios y
babilonios en lo que ahora podra llamarse geometra sistemtica.
Es decepcionante que, a diferencia del estudio de la geometra antigua egipcia y

babilnica, no existan fuentes primarias para el estudio de la geometra griega antigua.
Estamos obligados a basarnos en los manuscritos y en los hechos que se tomaron en
cuenta de varios cientos de aos despus de haber escrito los tratados originales. Sin
embargo, a pesar de esta situacin, los partidarios del clasicismo han sido capaces de
construir una explicacin compatible aunque algo hipottica, de la historia de la
geometra antigua griega. Este trabajo requiri ingenio y paciencia sorprendentes; se
llev a cabo por comparaciones concienzudas de textos derivados y por el examen de
fragmentos literarios incontables y observaciones hechas por autores posteriores,
filsofos y crticos.
Nuestra fuente principal de informacin relacionada con la geometra griega muy
antigua es el llamado sumario de Eudemo, de Proclo. Este tratado contiene unas cuantas
pginas del libro I, comentarios sobre Euclides de Proclo, y es un esbozo muy breve del
desarrollo de la geometra griega desde los tiempos primitivos hasta Euclides. Aunque
Proclo vivi en el siglo V d. de C., bastantes miles de aos despus del principio de la
geometra griega, tena an acceso a varios trabajos histricos y crticos que ahora se nos
han perdido excepto los fragmentos y alusiones conservados por l y otros. Entre estos
trabajos perdidos se encuentra lo que evidentemente fue una historia completa de la
geometra griega, que cubre el perodo anterior a 335 a. de C., escrito por Eudemo,
alumno de Aristteles.
Segn el sumario de Eudemo, la geometra griega parece haber principiado en una forma
esencial con el trabajo de Tales de Mileto en la primera mitad del siglo VI a. de C. este
genio de amplios conocimientos, declarado uno de los "siete hombres sabios" de la
antigedad, fue un fundador valioso de la geometra sistemtica, y el primer individuo
conocido a quien se le asocia la utilizacin de los mtodos deductivos en la geometra.
Tales, nos indica el sumario, vivi cierto tiempo en Egipto y con l volvi la geometra a
Grecia, donde empez a aplicar a esta materia los procedimientos deductivos de la
filosofa griega. Se le acreditan varios resultados geomtricos muy elementales, el valor
de los cuales no se mide por su contenido sino ms bien por la creencia de que los apoy
con cierta cantidad de razonamiento lgico en lugar de intuicin y experimento. Por
primera vez a un estudiante de geometra se le encontr una forma de razonamiento
deductivo, por parcial e incompleto que pudiera haber sido. Adems, el hecho de que el
primer pensamiento deductivo fue efectuado en el campo de la geometra, en lugar de en
lgebra, por ejemplo, inaugur una tradicin en matemticas que se mantuvo hasta
fechas relativamente recientes (S. XIX aproximadamente).
El siguiente matemtico griego sobresaliente mencionado en el Sumario de Eudemo es
Pitgoras, a quien se le atribuye haber continuado con la sistematizacin de la geometra
que empez unos cincuenta aos antes por Tales, y es bastante posible que haya sido su
4
_______________________________________________________________________
alumno. Parece que Pitgoras visit entonces Egipto y posiblemente viaj an en forma
ms extensa por el Oriente antiguo. Cuando, al volver a casa, encontr a Jonia bajo el
dominio persa, decidi emigrar al puerto griego de Crotona en Italia del sur. Aqu fund
la clebre escuela pitagrica, una fraternidad unida a ritos secretos y cabalsticos,
dedicada al estudio de la filosofa, matemtica y ciencia natural.
A pesar de la naturaleza mstica de la mayora del estudio Pitagrico, los miembros de la
sociedad contribuyeron, durante los doscientos aos que siguieron a la creacin de su
organizacin, con gran cantidad de resultados. Contribuyeron en forma notoria al
lgebra geometra griega, y desarrollaron una teora de la proporcin bastante completa,
aunque estaba limitada slo a las magnitudes conmensurables, y se utiliz para deducir
propiedades de figuras semejantes. Tenan conocimientos de la existencia, al menos, de
tres de los slidos polidricos regulares, y descubrieron la inconmensurabilidad de un
lado y una diagonal de un cuadrado. Aunque mucha de esta informacin ya era conocida
por los babilonios de pocas ms antiguas, el aspecto deductivo de la matemtica se
piensa que ha sido considerablemente aprovechado y avanzado en este trabajo de los
pitagricos. Empezaron a emerger cadenas de proposiciones en las que proposiciones
sucesivas se dedujeron de las anteriores de la cadena. A medida que las cadenas
aumentaron, y algunas se unieron a otras, se sugiri la idea global del desarrollo de toda
la geometra en una sola cadena larga. Se sostiene en el sumario de Eudemo que un
pitagrico, Hipcrates de Chos, fue el primero en intentar al menos con xito parcial,
una presentacin lgica de la geometra en la forma de una sola cadena de proposiciones
basadas en unas cuantas definiciones y suposiciones iniciales. Hicieron mejores intentos
Len, Teudio y otros. Luego, aproximadamente 300 a. de C. Euclides produjo el
esfuerzo de su poca, los Elementos, una sola cadena deductiva de 465 proposiciones
claras y elegantes que comprende la geometra plana y del espacio, teora de los nmeros
y lgebra geometra griega. Desde su primera aparicin este trabajo tuvo el mximo
respeto, y sobrepas tan rpida y completamente todos los esfuerzos anteriores de la
misma naturaleza que ahora no quedan trazas de esfuerzos anteriores. El efecto de este
trabajo sobre el desarrollo posterior de la geometra ha sido inmenso, como se ha visto
ampliamente a lo largo de este trabajo.
En algn tiempo, entre Tales 600 a. de C. y Euclides 300 a. de C. se desarroll la nocin
de un discurso lgico como una sucesin de principios obtenidos por razonamientos
deductivos de un conjunto de principios iniciales supuestos al principio del discurso.
Efectivamente, si se va a presentar un argumento por procedimientos deductivos,
cualquier principio del argumento tendr que deducirse de principios previos o de
principios del argumento, y dicho principio previo, debe l mismo, deducirse an de
principios o postulados anteriores. Evidentemente, esto no puede continuarse hacia atrs
indefinidamente, ni debera recurrir a una circularidad ilgica deduciendo un principio B
de uno A, y luego deducir el principio A del B. La nica forma para salir de esta
dificultad es fijar, al principio de un argumento, una coleccin de principios primarios
cuyas verdades sean aceptables, y luego proseguir, puramente por razonamiento
deductivo, a deducir todos los otros principios del discurso. Ahora bien, tanto los
primarios como los principios deducidos del discurso son principios que se refieren a la
materia tcnica del discurso, y por tanto contienen trminos especiales o tcnicos. Estos
trminos necesitan definirse. Como los trminos tcnicos deben definirse por medio de
otros trminos tcnicos, y estos otros trminos por medio an de otros, uno se enfrenta
5
_______________________________________________________________________
con una dificultad semejante a la hallada con los principios del discurso. Para empezar, y
para evitar la circularidad de la definicin, en que se define el trmino y por medio del
trmino x, y posteriormente el x por medio del y. Se est obligado nuevamente a
fijar al principio del discurso una coleccin de trminos tcnicos bsicos cuyos
significados deben aclararse. Todos los trminos tcnicos subsiguientes del discurso
deben definirse, finalmente por medio de estos trminos tcnicos iniciales.
Un argumento que se lleva a cabo segn el plan anterior se dice actualmente que se
desarrolla por axiomtica material. En efecto, la contribucin ms sobresaliente de los
antiguos griegos a las matemticas fue la formulacin del patrn de axiomtica material
y la insistencia de que las matemticas deberan sistematizarse segn este patrn. Los
Elementos de Euclides es un ejemplo del desarrollo primitivo extenso del uso del patrn
que ya se ha planteado.
PATRN DE LA AXIOMTICA MATERIAL GRIEGA

A) Se dan explicaciones iniciales de ciertos trminos tcnicos bsicos del discurso,
siendo la intencin sugerir lo que quieren decir estos trminos bsicos.
B) Algunos principios primarios relacionados con los trminos bsicos, y que se supone
aceptables como verdades en la base de las propiedades sugeridas por las
explicaciones iniciales, se enumeran. Estos principios primarios se llama axiomas o
postulados del discurso4.
C) todos los otros trminos tcnicos del discurso se definen por medio de los bsicos.
D) Todos los otros principios del discurso se deducen lgicamente de los axiomas o
postulados. Estos principios deducidos se llaman teoremas del discurso.
En pocas ms recientes, el patrn de la axiomtica material griega ha sido generalizado

significativamente para proporcionar una forma ms abstracta, conocido como
axiomtica formal.
VI.2.2. Axiomtica formal moderna

Como ya se indic lneas ms arriba, el descubrimiento de las geometras no euclidianas
(y no mucho despus, de un lgebra no conmutativa) condujo a un estudio ms profundo
y a un refinamiento del Mtodo Axiomtico que, a partir de la Axiomtica Material
Griega produjo por evolucin, la Axiomtica Formal Moderna. Para aclarar la diferencia
entre las dos formas de axiomtica se introduce primero el concepto de funcin
proposicional, la importancia fundamental, de la cual fue observada primero por el
matemtico y filsofo ingls Bertrand Russell (1872 - 1970).
Considrense los tres enunciados:
1. La primavera es una estacin.
2. 8 es un nmero primo.
4
Los trminos bsicos iniciales y los postulados del discurso se consideran colectivamente como la
base del discurso.
6
_______________________________________________________________________
3. x es una y.
Cada uno de estos enunciados tiene forma (la misma forma); los 1 y 2 tienen tanto
contenido como forma; el 3 slo tiene forma. Claramente, los enunciados 1 y 2 son
proposiciones, una verdadera y otra falsa. Igualmente claro, el enunciado 3 no es una
proposicin, pues como no asegura nada concreto no es ni falso ni verdadero, y una
proposicin, por definicin, es un enunciado que es verdadero o falso. Sin embargo, el 3,
aunque no sea una proposicin, tiene forma de proposicin, a la cual se la ha llamado
funcin proposicional, pues si en la forma
x es una y
se sustituyen las variables x y y por trminos de significado concreto, se puede obtener
proposiciones: proposiciones verdaderas, si los trminos sustitutos verifican la funcin
proposicional, y proposiciones falsas si los trminos sustitutos contradicen o hacen falsa
la funcin proposicional. Es evidente que algunas de las sustituciones de x y y convierten
la funcin proposicional en algo que no tiene mucho sentido; dichos significados de las
variables se consideran inadmisibles. La forma considerada aqu es una funcin
proposicional de dos variables, y tiene infinidad de verificadores.
Una funcin proposicional puede contener cualquier nmero de variables.

Con la idea de una funcin proposicional firmemente en el pensamiento, recurdese que
en cualquier discurso lgico, en un intento de que sea claro, se tratan de definir
explcitamente los elementos del discurso, las relaciones entre estos elementos y las
operaciones que han de realizarse con ellos. No obstante, dichas definiciones han de
emplear otros elementos, relaciones y operaciones, y estos tambin estn sujetos a
definiciones explcitas. Si stos se definen, lo tienen que ser nuevamente con referencia
a ms elementos, relaciones y operaciones. Se tiene dos caminos abiertos; o bien la
cadena de definiciones ha de cortarse en algn punto, o bien, tiene que ser circular.
Como la circularidad no se admite en un discurso lgico, las definiciones deben llevarse
a cerrarse en algn punto; por tanto, es necesario que a uno o ms elementos, relaciones
y operaciones no se les d definicin explcita. Estos se conocen como trminos
primitivos del discurso. Igualmente, hay un esfuerzo para deducir lgicamente los
enunciados del discurso y nuevamente, para empezar y evitar adems el crculo vicioso,
uno o ms de los enunciados deben permanecer completamente no demostrados. Estos
se conocen como postulados (o axiomas o enunciados primarios) del discurso. Luego,
claramente, un discurso lgico tal como se ha planteado debe conformar al siguiente
patrn:
PATRN DE LA AXIOMTICA FORMAL

A) El discurso contiene un conjunto de trminos tcnicos (elementos, relaciones
entre elementos, operaciones a realizar con los elementos) que deliberadamente
se eligen como trminos indefinidos. Estos son los trminos primitivos del
discurso.
B) Todos los dems trminos tcnicos del mismo se definen explcitamente por
medio de los trminos primitivos.
7
_______________________________________________________________________
C) El discurso contiene un conjunto de enunciados relacionados con los trminos
primitivos que deliberadamente se eligen como enunciados no demostrados.
Estos se llaman postulados, P, del discurso.
D) Todos los dems enunciados (relacionados con los trminos primitivos y los
definidos) del discurso se deducen lgicamente de los postulados. Estos
enunciados deducidos se llaman teoremas, T, del discurso.
E) Para cada teorema Ti del discurso hay un enunciado correspondiente (que puede
o no expresarse formalmente) que asegura que el teorema Ti se implica
lgicamente por los postulados P.
Lo primero que se debe observar en el patrn anterior es que los trminos primitivos,
siendo indefinidos, podran igualmente sustituirse por smbolos como x, y, .
Supngase que se hace esta sustitucin. Entonces, los trminos primitivos son
claramente variables. Lo segundo a observar es que los postulados P , como son
enunciados relacionados con los trminos primitivos, son nada menos que funciones
proposicionales. Y lo tercero que debe observarse es que los teoremas T, como no son
ms que implicaciones lgicas de los postulados P, tambin son funciones
proposicionales. Por tanto, esto conduce a un hecho de importancia cardinal, es decir,
que una vez que se haya observado que los trminos primitivos son variables, tanto los
postulados como los teoremas de un discurso lgico no son proposiciones sino
funciones proposicionales.
Como los postulados y los teoremas de un discurso lgico son funciones

proposicionales, esto es, son enunciados que slo tienen forma y no contenido, parecera
que todo el discurso es algo vaco y completamente desprovisto de verdades o
falsedades. Sin embargo, ste no es el caso, pues por E) del patrn postulacional se tiene
el enunciado muy importante:
F) Los postulados P implican los teoremas T.
Ahora bien, F) asegura algo concreto y definido; es verdadero o falso y, por tanto, una
proposicin: verdadera si los teoremas T se implican o deducen de hecho por los
postulados P, y falso si no lo son. El enunciado F) es precisamente para lo que el
discurso se ha diseado; es la nica meta del discurso y la excusa para hacerlo.
Un discurso conducido segn el patrn anterior ha sido llamado, por algunos
matemticos, una rama de la matemtica pura, y el grandioso total de todas de dichas
ramas existentes de la matemtica pura, la matemtica pura al da o actual.
Si, para las variables (los trminos primitivos) de una rama de la matemtica pura se
sustituyen los trminos de significado definido que convierte todos los postulados de la
rama en proposiciones verdaderas, entonces el conjunto de trminos sustitutos se llama
interpretacin de la rama de la matemtica pura. La interpretacin convertir adems,
siempre que todas las deducciones se hayan realizado correctamente, los teoremas del
discurso en proposiciones verdaderas. El resultado de dicha interpretacin se llama
modelo de la rama de la matemtica pura.
Un modelo de una rama de la matemtica pura se ha convenido en llamar rama de la

matemtica aplicada, y el total de todas las ramas existentes de la matemtica aplicada,
8
_______________________________________________________________________
la matemtica aplicada actual o al da. Por tanto, la diferencia entre la matemtica
aplicada y la matemtica pura no es de aplicacin y no aplicacin, sino ms bien de que
sea concreta o abstracta. Detrs de toda rama de la matemtica aplicada est una rama de
la matemtica pura, siendo esta ltima un desarrollo abstracto de lo que anteriormente
fue un desarrollo concreto. Es concebible (y de hecho a menudo es el caso) que una sola
rama de la matemtica pura pueda tener varios modelos, es decir, ramas asociadas de
matemtica aplicada. Esta es la caracterstica de economa de la matemtica pura, pues
el establecimiento de una rama de la matemtica pura automticamente asegura el
establecimiento simultneo de todas sus ramas de matemtica aplicada.
As, se puede decir finalmente que el desarrollo abstracto de alguna rama de la

matemtica pura es un ejemplo de Axiomtica formal, mientras que el desarrollo
concreto de una rama de la matemtica aplicada es uno de Axiomtica material. En el
primer caso se consideran los postulados antes que cualquier especificacin de los
trminos primitivos, y en el segundo se consideran los objetos que interpretan los
trminos primitivos con anterioridad a los postulados. En el primer caso, un postulado es
simplemente una suposicin bsica acerca de algunos trminos primitivos indefinidos;
en el segundo caso, un postulado expresa alguna propiedad de los objetos bsicos que se
toma como inicialmente evidente. Este ltimo es la visin ms antigua de un postulado y
fue la que mantuvieron los antiguos griegos. Por tanto, para los griegos, se crea que la
geometra era un estudio que trataba con una estructura nica del espacio fsico, en la
que los elementos puntos y rectas se consideraban como idealizaciones de ciertas
entidades fsicas reales, y en la que los postulados eran enunciados fcilmente aceptados
acerca de estas idealizaciones. Desde el punto de vista moderno, la geometra es un
estudio puramente abstracto desprovisto de todo significado fsico o imaginario.
La nocin de la matemtica pura da un sentido considerable a la observacin de
Bertrand Russell de que la matemtica puede definirse como la materia en que nunca se
sabe de lo que se habla, ni si es cierto lo que se dice. Tambin concuerda con el dicho
de Henri Poincar de que la matemtica es la asignacin del mismo nombre a cosas
distintas, y con la observacin de Benjamn Peirse (1809 - 1880) de que la matemtica
es la ciencia que saca conclusiones necesarias.
VI.2.3. Problemas bsicos de la Axiomtica

Si se est interesado en el estudio de la fundamentacin de la geometra, necesariamente
se deben investigar los axiomas de la misma, plantendose los tres problemas bsicos
siguientes5:
1) El problema de la consistencia
2) El problema de la independencia
3) El problema de la completitud
5
En este trabajo slo se demostrar el problema de la consistencia para las tres geometras: de
Euclides, de Lobachevski y de Riemann.
9
_______________________________________________________________________
Puesto que estos tres problemas surgen al estudiar cualquier sistema de axiomas, tiene
sentido enunciar de manera general el planteo de los problemas indicados, as como los
mtodos para su resolucin.
Problema de la consistencia. Sea dado un sistema de axiomas, que establece
propiedades determinadas de las relaciones mutuas de ciertos objetos. De estos axiomas
pueden hacerse deducciones lgicas sobre estas propiedades de los objetos, sin tomar en
cuenta en absoluto otras posibles propiedades suyas, si no han sido mencionadas en los
axiomas.
Por esto, pueden considerarse como objetos del sistema dado de axiomas a objetos de
cualquier naturaleza, y a las relaciones entre ellos, mencionadas en los axiomas, se les
puede conferir un significado concreto arbitrario, siempre que se satisfagan todas las
condiciones expresadas en los axiomas asumidos. Entonces, cada teorema que se
deduzca de manera lgica de los axiomas, expresar un hecho concreto, que se refiere a
los objetos considerados, o, ms precisamente, a las propiedades de stos que se
mencionan en los axiomas.
Toda eleccin concreta de objetos que se consideren como objetos del sistema dado de
axiomas, ser llamada realizacin o interpretacin, de estos axiomas.
El propio conjunto de objetos que realizan el sistema dado de axiomas, se llamar,
modelo del esquema lgico determinado por los axiomas.
Si estos axiomas pueden ser realizados de alguna manera en el modelo, entonces ser
imposible deducir de ellos, con razonamientos correctos, dos conclusiones que se
excluyan mutuamente desde el punto de vista lgico, tales como, la afirmacin y la
negacin de un mismo resultado. Por esto, a fin de demostrar la consistencia de un
sistema dado de axiomas, basta hallar alguna de sus posibles realizaciones. (si en
cambio, es contradictorio, esto suele revelarse por medio de un razonamiento adecuado,
que conduzca a una contradiccin).
La demostracin de la consistencia de un sistema dado de axiomas puede ser
condicional, como se har para demostrar la consistencia de las geometras de Euclides,
Lobachevski y Riemann, en la siguiente seccin.
Problema de la independencia. Este problema consiste en establecer la necesidad de

todas las condiciones enunciadas en los axiomas, es decir, mostrar que el sistema
adoptado de axiomas no admite la eliminacin de alguna de sus condiciones,
conservando el mismo conjunto de consecuencias de ellos tomados en forma global (que
el sistema es minimal).
Resolver este problema en su totalidad significa mostrar que cada premisa del sistema de
axiomas es independiente de las restantes, es decir, que no puede obtenerse de las
restantes por razonamientos lgicos.
Sea A alguno de los axiomas de un sistema (no contradictorio) en estudio.
Si el axioma A no sigue de los dems del sistema, sustituyendo en este ltimo el axioma
A por un nuevo axioma A*, que se enuncia as: la afirmacin A es falsa, se debe
obtener otro sistema no contradictorio. Por eso, para demostrar que el axioma A no
puede ser deducido de los restantes del sistema considerado, basta realizar en algn
10
_______________________________________________________________________
conjunto de objetos todos los axiomas, a excepcin del A, de manera tal que en esta
realizacin dicho axioma no se verifica.
En particular, fue as como se estableci la independencia del V postulado de Euclides
de los restantes de la geometra elemental.
Problema de la completitud. Los problemas de consistencia, independencia y

completitud, surgen de manera natural al estudiar cualquier sistema axiomtico. Ahora
se tratar, ante todo, de poner en claro el significado de la completitud.
Imagnese para comenzar, la situacin creada por el desarrollo de la geometra en la

segunda mitad del siglo XIX. En esta poca ya estaban bien consolidadas las disciplinas
geomtricas fundamentales y fue puesto en el tapete el problema de su fundamentacin
axiomtica. Entonces qued muy claro que el antiguo sistema de axiomas de Euclides no
poda servir de base para un desarrollo lgico de la geometra. Haba que construir un
sistema completo de axiomas y definiciones, es decir, un sistema que contuviera todas
las proposiciones que, una vez aceptadas, permitiera efectuar las demostraciones de los
teoremas de la geometra elemental sin referencia alguna a la evidencia que emana de un
dibujo6.
Resulta natural, sin embargo, preguntarse cmo debe entenderse, exactamente, la

completitud de un sistema de axiomas. Es claro que se puede suponer que la completitud
de dicho sistema se establece analizando las demostraciones de todos los teoremas
deducibles con dichos axiomas.
Supngase que los axiomas del sistema dado han sido realizados de dos maneras en dos
conjuntos diferentes de objetos. Se llamar isomorfas a dos realizaciones de los axiomas,
si entre los objetos de stas se puede establecer una correspondencia biyectiva, tal que
los objetos correspondientes se encuentran en relaciones mutuas anlogas: as, si el
punto A y la recta a de la primera realizacin corresponden al punto A y la recta a de la
segunda y si el punto A est en la recta a, entonces A estar en la recta a; si los
segmentos AB y CD de la primera realizacin corresponden a los segmentos AB y
CD de la segunda y si ABCD, entonces ABCD, etc. Aqu, las relaciones Est en,
entre, congruentes deben entenderse en cada realizacin en el sentido concreto
correspondiente.
Un cierto sistema de axiomas se puede completar agregndole axiomas nuevos,
independientes de los anteriores y, por supuesto, compatibles con aquellos,
restringindose as, la clase de realizaciones admisibles del sistema.
Ahora, ya se puede establecer de manera precisa el concepto de completitud de un

sistema de axiomas: Un sistema dado de axiomas se dice completo, si todas sus
realizaciones son isomorfas entre s.
6
Cfr. N. V. Efmov. Geometra Superior. Ed. Mir Mosc. En el Captulo II se muestra una
presentacin axiomtica de la geometra euclidiana siguiendo el programa formalista del alemn
David Hilbert.
11
_______________________________________________________________________
VI.3. Consistencia relativa de las geometras mediante modelos finitos

El reconocimiento de las geometras no euclidianas se produjo muy lentamente. Con la
publicacin de la correspondencia de Gauss se demostr que l estaba convencido de
que las geometras no euclidianas eran posibles. Su eminente autoridad propici que se
atendieran seriamente los resultados de Lobachevski, Bolyai y las avanzadas propuestas
de Riemann. De los documentos publicados se poda incluso concluir que stos estaban
convencidos de la ausencia de contradiccin interna de las geometras no eucldeas; pero
faltaba una demostracin. Esta se obtuvo cuando se logr disponer de modelos relativos
de las geometras no eucldeas:
- Eugenio Beltrami (1835-1900). Modelo Proyectivo del plano hiperblico.

Consiste de un disco sin su frontera. Los puntos del interior del disco sern los puntos
del plano hiperblico, los puntos de la frontera del disco se denominan puntos al infinito,
las cuerdas del disco sern las rectas hiperblicas.
- Henri Poincar (1854-1912). Dos modelos. Modelo del disco sin su frontera.
Los puntos del interior del disco sern los puntos, los puntos de la frontera del disco se
denominan puntos al infinito, las rectas son los arcos de circunferencia que cortan
ortogonalmente a la frontera; Modelo del Semiplano Superior. Los puntos del semiplano
superior sern los puntos, los puntos de la frontera se denominan puntos al infinito, las
rectas son las semicircunferencias que cortan ortogonalmente a la frontera.
- Flix Klein (1849 - 1925). Dos modelos. Modelo del interior de una elipse
como plano. Los puntos son los del interior de la elipse. Recta, toda cuerda de la elipse.
Modelo de la superficie esfrica de radio 1 y centro en el origen. Los puntos son los
puntos antipodales de la esfera. Las rectas son las geodsicas de la esfera.
En seguida se presentar un modelo para cada una de las geometras de Euclides,
Lobachevski y Riemann. Esto, con el fin de demostrar la consistencia relativa mediante
modelos finitos de dichas geometras.
La demostracin de la consistencia de las tres geometras se basar por un lado, en la

propuesta axiomtica de Hilbert (1862- 1943)7 y tambin sobre la base de que la
aritmtica es consistente8.
VI.3.1. Consistencia de la Geometra de Euclides (Parablica)

Ahora se pasar a demostrar la consistencia de los cinco grupos de axiomas de la
geometra de Euc1ides.
Se est habituado a pensar estos axiomas realizados en cierto conjunto de objetos que se
7
Ver Apndice II.
8
Este hecho es el que le da el carcter de modelo condicionado o relativo. Cabe sealar que la
consistencia de la aritmtica, a su vez, se supone de la consistencia de la lgica elemental.
12
_______________________________________________________________________
suponen bien referenciados a la realidad objetiva y que surgen en nuestra mente como
abstraccin de los objetos observados del mundo real. Sin embargo, los puntos, rectas y
planos, como figuras de nuestra intuicin geomtrica, no son posibles de descripcin
matemtica.
Por esto, para demostrar la consistencia de los axiomas de la geometra de Euc1ides es

necesario buscar un modelo que posea sentido independientemente de nuestras imgenes
geomtricas intuitivas. Con este fin, se construir una realizacin de los axiomas I - V,
que se llamar realizacin aritmtica, pues sus objetos son combinaciones de nmeros.
Con esto se habr establecido la consistencia de la geometra euclidiana, condicionada
por la consistencia de la aritmtica.
A fin de no oscurecer la esencia del problema con detalles superfluos de carcter
operativo, la presentacin se limitar a considerar la planimetra, es decir, se tomar en
cuenta nicamente los axiomas I.1 I.3 y II - V.
AXIOMAS DE INCIDENCIA. En la realizacin aritmtica se llamar punto a

cualquier par ordenado de nmeros reales (x, y), recta, a la razn de tres nmeros
reales (u : v : w), con la condicin de que al menos uno de los nmeros u, v no sea igual a
cero).
Se convendr en decir que el punto (x, y) est en la recta (u : v : w), o bien que la
recta (u: v: w) pasa por el punto (x, y), si tiene lugar la igualdad
ux + vy + w = 0.
Todas las condiciones contenidas en los axiomas I.1 - I.3 sern satisfechas, como puede
comprobarse por verificacin sucesiva.
En efecto. sean (x1, y1) y (x2,, y2) dos puntos diferentes; entonces la razn de los tres
nmeros u = y1 - y2, v = x2 x1, w = x1 y2- x2, y1 es una recta [los nmeros y1 - y2,
y x2 x1,, no pueden ser iguales a 0 a la vez, pues los puntos (x1, y1) y (x2,, y2) son
diferentes], que pasa tanto por (x1, y1) como por (x2,, y2),pues
ux1 + vy1 + w = (y1 - y2)x1 + (x2 x1) y1 + (x1 y2- x2, y1) = 0
ux2 + vy2 + w = (y1 - y2)x2 + (x2 x1) y2 + (x1 y2- x2, y1) = 0
Por consecuencia el axioma I.1 se satisface.
Ahora bien, de las ecuaciones
ux1 + vy1 + w = 0,
ux2 + vy2 + w = 0,
Se desprende que
u : v : w = (y1 - y2) : (x2 x1) : ( x1 y2- x2, y1).
Por consiguiente, con los puntos (x1, y1) y (x2,, y2) queda determinada solo una recta (u :
v : w); esto significa que se satisface el axioma I.2.
Tambin son satisfechas las condiciones contenidas en el axioma 1,3. En efecto, como la
ecuacin
ux + vy + w = 0
tiene siempre un conjunto infinito de soluciones diferentes, en cada recta existen no slo
13
_______________________________________________________________________
dos, sino una cantidad infinita de puntos. Como tres puntos que no pertenecen a una
misma recta, se puede indicar, por ejemplo, (0, 0), (1, 0) y (0,1); no hay ninguna recta
que contenga estos tres puntos, pues evidentemente, no existen tres puntos u, v, w, que
no sean iguales a cero simultneamente y que satisfagan las igualdades
u0 + v0 + w =0,
u1 + v0 + w =0,
u0 + v1 + w =0.
AXIOMAS DE ORDEN. Defnase ahora, la relacin entre. Sean dadas una recta (u : v
: w) y tres puntos sobre ella (x1, y1), (x2,, y2), (x3, y3). Supngase, primero, que v 0. Se
dir que el punto (x2,, y2) est entre los puntos (x1,, y1), (x3, y3) si
x1 < x2 < x3, o bien x1 > x2 > x3
Si, en cambio, es v = 0, para los puntos pertenecientes a esta recta ser, necesariamente,
x1= x2 = x3 ,= -w/u y las condiciones precedentes no son aceptables. En este caso, se
convendr en considerar al punto (x2,, y2) situado entre (x1,, y1) y (x3, y3) si
y1 < y2 < y3, o bien y1 > y2 > y3
La relacin entre as definida satisface todos los axiomas de orden II.1 II.4.
Se comprueba de manera directa que se satisfacen los axiomas de orden lineal II.1 II.3.
Se mostrar que el axioma de Pasch II.4 tambin se satisface.
Obsrvese, ante todo, que si (x1, y1) y (x2, y2) son los extremos de un segmento, todos los
puntos interiores de este segmento sern de la forma (x1 + (1-)x2 , y1 + (1-)y2),
donde es un nmero cualquiera que satisface las desigualdades 0 < <1. Adems, si
alguna recta (u : v : w) pasa por un punto del segmento de extremos (x1, y1),(x2, y2)
entonces los nmeros ux1 + vy1 + w y ux2 + vy2 + w tienen signos diferentes. En efecto,
si el punto interior que pertenece a dicha recta corresponde al nmero entonces
u[x1 + (1-)x2] + v[y1 + (1-)y2]+w=0.
De aqu se sigue que
(ux1 + vy1 + w) = -(1-)(ux2 + vy2 + w),
y como y 1- son positivos, los nmeros ux1 + vy1 + w y ux2 + vy2 + w tienen signos
distintos.
Sean, ahora, A(x1, y1), B(x2, y2), C(x3, y3), tres puntos no alineados, y (u : v : w), una
recta que no pasa por ninguno de ellos. Se debe mostrar que que si la recta (u : v : w)
pasa por algn punto del segmento AB, debe pasar o bien por un punto del segmento AC,
o bien por uno del BC.
Como la recta (u : v : w) no contiene ninguno de los puntos A, B, C, los nmeros
1 = ux1 + vy1 + w, 2 = ux2 + vy2 + w, 3 = ux3 + vy3 + w
son diferentes de cero y adems, por lo que ya se expuso, 1 y 2 tienen signos
diferentes. Supngase que 3 tiene signo distinto del de 1; entonces la recta (u : v : w)
corta al segmento AC. Para probarlo, tmese el nmero determinado por la igualdad
1 + (1-)3 = 0, es decir, = 3/(3 - 1).
14
_______________________________________________________________________
Tomando en cuenta que 1 y 3 tienen signos diferentes, se halla que:

3 3
;
3 1 3 1
por esto, 0 < < 1. En consecuencia, el punto (x, y), donde

x = x1 + (1-)x3, y = y1 + (1-)y3,
pertenece al segmento AC. Por otro lado, dicho punto pertenece a la recta (u : v : w),
pues,
ux + vy + w = (ux1 + vy1 + w) + (1-)(ux3 + vy3 + w) = 1 + (1-)3 = 0.
As, pues, la recta (u : v : w) corta efectivamente al segmento AC. De igual manera se
establece que cuando 3 tiene signo distinto del de 2, la recta (u : v : w) corta al
segmento BC. Pero 1 y 2 tienen signos diferentes, entonces, 3 tiene necesariamente un
signo distinto del signo del nmero 1, o bien de 2. Con esto queda demostrado lo que
se quera.
AXIOMAS DE CONGRUENCIA. Se dar ahora la definicin del concepto de

congruencia. Con este fin, se considera una cierta clase de transformaciones, conocidas
en lgebra con el calificativo de ortogonales.
Sean dadas las relaciones
x = a1 x + b1 y + c1, (*)
y = a2 x + b2 y + c2,
mediante las cuales, dados a1, , c2, cada punto (x, y), se transforma en un punto
determinado (x, y). La transformacin se llama ortogonal, si los coeficientes a1, b1, a2,
b2 satisfacen la condicin
a1 b1 a1 a2 1 0
. (**)
a2 b2 b1 b2 0 1
Indquese ante todo, algunas propiedades de la transformacin ortogonal (*).
De (**) se tiene:
a12 b12 1,
a22 b22 1, (1)
a1a2 b1b2 0.
Estas tres igualdades son equivalentes a la relacin (**) y, por ende, caracteriza la
ortogonalidad de la transformacin (*).
De las igualdades (1) se sigue, ante todo, que tanto a1 y a2 como b1 y b2 no pueden ser
simultneamente nulos. En efecto, si, por ejemplo a1 = a2 = 0, de la tercera de las
igualdades (1) es b1 b2 = 0, lo cual, unido a las igualdades asumidas a1 = a2 = 0, debe
contradecir alguna de las dos primeras igualdades de (1). Adems, de la igualdad
a1a2 b1b2 0 se obtiene: a12 a22 b12b22 . De aqu, multiplicando miembro a miembro la
primera de las igualdades de (1) por b22 , la segunda por a12 y restando, se halla:
15
_______________________________________________________________________
0 b22 a12 , de donde, b2 = 1a1, donde 12 1 . Anlogamente, se obtiene que b1 = 2a2,
siendo 22 1 . Pero b1b2 a1a2 , de manera que 12 = -1, por lo cual ser o bien
b1 = - a2, b2 = a1,
b1 = a2, b2 = -a1.
Se ve, as, que la transformacin (*) puede ser escrita de una de las formas que siguen:
x = x y + c1, (I)
y = x + y + c2,
o bien
x = x + y + c1, (II)
y = x y + c2,
donde se ha denotado con y a a1 y a2; en ambos casos las condiciones de

ortogonalidad (1) se reducen a la relacin nica
2 + 2 = 1.
Se llamar a (I) y (II) transformaciones ortogonales de primera y segunda especie,
respectivamente.
Para lo que sigue, resulta de particular importancia la siguiente propiedad de las
transformaciones ortogonales: puntos situados sobre alguna semirrecta van a parar bajo
cualquier transformacin ortogonal, en puntos situados asimismo sobre alguna
semirrecta.
Antes de probarlo, se fijar una manera cmoda de determinar semirrectas.
Sea dada la recta a(u : v : w) y un punto O(x0 , y0 ), sobre ella; como O pertenece a a,
tiene lugar la igualdad
ux0 + vy0 + w = 0.
Si M(x, y) es un punto arbitrario de la recta a, anlogamente se tendr
ux + vy + w = 0.
De aqu se sigue que
u(x - x0) + v(y - y0) = 0.
Hgase m = v, n = -v, donde 0. Entonces la ecuacin precedente puede escribirse
as:
x x0 y y 0
.
m n
Denotando cada uno de estos cocientes con t, queda:
x = x0 + mt, (2)
y = y0 + nt.
Las igualdades (2) determinan, para cada valor de t, algn punto sobre la recta, de forma
que a distintos valores numricos de t de un mismo signo les corresponden puntos
situados a un mismo lado del punto O(x0 , y0), mientras que a valores numricos de t
16
_______________________________________________________________________
con signos diferentes les corresponden puntos situados en lados diferentes con respecto a
O. Esto puede establecerse directamente a partir del concepto entre, definido ms arriba.
De esta forma, a nmeros t positivos les corresponden puntos de una de las dos
semirrectas en que queda dividida a por el punto O, mientras que a valores negativos de
t les correspondern puntos de la otra semirrecta.
Resulta ms cmodo determinar los puntos de una semirrecta por medio de las
igualdades (2) siempre para los valores positivos de t, distinguiendo las semirrectas de
origen comn O, situadas sobre la recta a, segn los signos de la magnitud m y n: si para
una de las semirrecta m = p y n = q, para la otra m = -p y n = -q.
Se llamar a las magnitudes m y n parmetros normalizados de la semirrecta, si para
stos se cumple la relacin
m2 + n2 = 1;
1
en el caso , esta condicin se satisface.
u2 v2
Evidentemente, una semirrecta queda determinada fijando el origen (x0, y0) y los
parmetros normalizados m, n.
Recprocamente, si se ha fijado una semirrecta, su origen (x0 , y0) y sus parmetros
normalizados m y n quedan determinados unvocamente.
Para denotar una semirrecta, se utilizar la escritura (x0, y0; m, n), asumiendo siempre
que
m2 + n2 = 1.
Ahora se puede establecer fcilmente la propiedad mencionada ms arriba de las
transformaciones ortogonales: por cualquier transformacin ortogonal, los puntos que
constituyen una semirrecta se llevan en puntos que forman, asimismo, una semirrecta.
Sea dada la semirrecta (x0, y0; m, n). Todos sus puntos se obtienen si se da, en las
frmulas
x = x0 + mt,
y = y0 + nt,
Todos los valores positivos posibles al parmetro t. Considrese alguna transformacin
ortogonal de I especie
x = x y + c1,
y = x + y + c2,
o bien de II especie
x = x + y + c1
y = x y + c2,
Un punto arbitrario (x, y) de la semirrecta dada se transforma, en el primer caso, en el

punto
x = (m - n)t + (x0 y0 + c1,
y = (m+ n)t + (x0 y0 + c2,
17
_______________________________________________________________________
y en el segundo, en el punto
x = (m + n)t + (x0 + y0 + c1,
y = (m - n)t + (x0 y0 + c2.
En ambos casos estas expresiones pueden escribirse en la forma
x = mt + x0
y = nt + y0
y, por ende, los puntos (x, y) que se obtienen para diferentes valores positivos de t, se
encuentran sobre la semirrecta de parmetros m, n. Queda, con esto, probada la
afirmacin. Obsrvese que los parmetros
m= m n,
n = m + n,
o bien
m= m + n,
n = m - n,
Son normalizados. En efecto,
m2 n2 (m n) 2 ( m n) 2 ( 2 2 )m 2 ( 2 2 )n 2 2 2 1.
Se convendr en decir que la semirrecta (x0, y0; m, n) fue obtenida de la (x0, y0; m, n)
por una transformacin ortogonal. Entonces, tiene lugar la siguiente proposicin:
La transformacin ortogonal I especie (I) o de II especie (II) que lleva los puntos (x, y)
en los (x, y) determina una transformacin ortogonal de I o II especie respectivamente,
de las semirrectas (x0, y0; m, n) en las semirrectas (x0, y0; m, n).
Las magnitudes x0, y0; m, n se expresan por las frmulas
x0 = x0 - y0 + c1,
y0 = x0 - y0 + c2, (I*)
m = m n,
n = m + n,
en el caso de una transformacin de I especie, y por las frmulas
x0 = x0 + y0 + c1,
y0 = x0 - y0 + c2, (II*)
m = m + n,
n = m - n,
si se trata de una transformacin de II especie. Adems, si los puntos (x, y) se
encuentras sobre la semirrecta (x0, y0; m, n), sus imgenes (x, y) estarn sobre la
semirrecta (x0, y0; m, n).
Ahora de definir en la realizacin, la congruencia de segmentos y de ngulos.
Se dir que un segmento AB es congruente a otro AB, si existe una transformacin
ortogonal (de puntos) que enva el punto A en A, y B en B.
Se dir que el ngulo (h, k) es congruente al (h, k), si existe una transformacin
ortogonal (de semirrectas) que enve la semirrecta h en la h, y k en k.
18
_______________________________________________________________________
Se debe mostrar que estas definiciones satisfacen todas las condiciones requeridas por
los axiomas III.1 III.5.
Con este fin, se analizarn sucesivamente todos los axiomas del tercer grupo.
El axioma III.1 pide que para cualquier segmento AB prefijado de antemano, sobre toda
recta a, a cada lado de cualquier punto prefijado A un segmento AB al cual sea
congruente el segmento AB.
Sean dados el segmento A(x0,y0) B(x,y) y un punto (x0, y0) sobre alguna recta
a(u:v:w). Las magnitudes
v' u'
m' , n'
u ' 2 v' 2 u ' 2 v' 2
Son los parmetros normalizados de una de las dos semirrectas que determina el punto
A sobre la recta a (las magnitudes -m, -n sern los parmetros normalizados de la otra
semirrecta).
Sean m y n los parmetros normalizados de la semirrecta AB; entonces el punto B(x,y)
se determina por las frmulas
x = x0 + mt
y = y0 + mt
para un valor positivo bien definido de t.
Se determinar la transformacin ortogonal que lleva la semirrecta (x0, y0; m,n ) en la
semirrecta (x0, y0; m, n). Segn (I*) de las ecuaciones
m n = m
m + n = n
Se halla de inmediato:
mm + nn
mn nm
Siendo, adems,
2 + 2 = (mm + nn)2 + (mn nm)2
= m2(m2 + n2) + =n2(m2 + n2) = m2 +n2 = 1.
Determinando c1 y c2 del primer par de ecuaciones (I*), se obtiene exactamente una
transformacin de I especie
x = x y + c1,
y = x + y + c2,
que lleva la semirrecta (x0, y0; m,n) en la (x0, y0; m, n).
Anlogamente se puede establecer que existe exactamente una transformacin de II
especie que tambin lleva la semirrecta (x0, y0; m,n) en (x0, y0; m, n). Ambas
transformaciones aplican el punto B(x, y) en el mismo punto B(x, y):
x = x0+ mt,
y = y0+ nt.
As, en la recta a, a un lado cualquiera del punto A, existe un punto B tal que AB
AB. Se ha mostrado, as, que esta condicin del axioma III.1, se satisface.
19
_______________________________________________________________________
El axioma III.1 tambin requiere que
AB BA.
Pero esta condicin tambin se satisface. En efecto, la transformacin ortogonal
x = -x + (x1 + x2),
y = -y + (y1 + y2)
aplica el punto A(x1, y1) en el B(x2, y2) y, recprocamente, el B(x2, y2) en el A(x1, y1).
Queda as establecido que todas las condiciones del axioma III.1 son observadas.
Se analiza ahora el axioma, III.2, segn el cual, de las relaciones de congruencia
AB AB y AB AB
Debe seguir que
AB AB
En la realizacin que se est tratando, esta condicin se satisface, como consecuencia de
las propiedades de grupo de las transformaciones ortogonales. Precisamente,
1. Cada transformacin ortogonal posee una inversa, que tambin es ortogonal.
2. Si alguna transformacin ortogonal aplica los puntos (x, y) en los (x, y), y
alguna otra transformacin ortogonal aplica los puntos (x, y) en los puntos (x,
y), la transformacin resultante (es decir, el producto de las dos dadas), que
aplica los puntos (x, y) en los (x, y), tambin es ortogonal.
En efecto, considrese una transformacin ortogonal arbitraria, cuya matriz se denotar
con llamando a la matriz transpuesta, e I a la matriz unidad, se puede escribir la
condicin de ortogonalidad en la forma
= I. (N)
De aqu se desprende que el determinante de la matriz es igual a 1 y, por ser
diferente de cero, cada transformacin ortogonal tiene inversa. La matriz de la
transformacin inversa satisface la condicin de ortogonalidad. En efecto, obsrvese,
previamente, que la relacin (N) implica
-1 = ;
pero () = () = ; por esto, y
(-1) (-1) = I.
En conclusin, la transformacin inversa a una ortogonal es tambin ortogonal.
Sean, ahora, y las matrices de dos transformaciones ortogonales; el producto de
estas transformaciones es, evidentemente, una transformacin de matriz X = .
Utilizando la conocida relacin
() = ,
resulta sencillo comprobar que la matriz X satisface la condicin de ortogonalidad.
Efectivamente, tenemos:
20
_______________________________________________________________________
XX = ( = (= ( = I = = I.
As, al efectuar sucesivamente dos transformaciones ortogonales, la transformacin
resultante es, tambin ortogonal.
Una vez comprobado que las transformaciones ortogonales poseen propiedades de
grupo, se puede demostrar sin dificultad que el axioma III.2 se satisface en esta
realizacin.
Supngase que AB AB y AB AB. Se convendr en simbolizar la transformacin
ortogonal que aplica un punto arbitrario M en un punto M, con la escritura
M = (M).
Si AB AB, existe una transformacin M = (M) tal que
A = (A), B = (B).
Anlogamente, si AB AB, existe una transformacin M = (M) tal que
A = (A), B = (B).
Denotando con la transformacin inversa a se halla:
A = (A) = ((A))
B = (B) = ((B)).
En virtud de las propiedades de grupo, la transformacin es ortogonal; por lo tanto,
AB AB.
Ahora se verifica el axioma III.3. Sean A, B, C tres puntos de alguna recta a y
supngase que B est entre A y C; sean A, B, C tres puntos de alguna recta a, que se
encuentran en anloga posicin relativa. El axioma III.3 requiere que
AB AB, BC BC
Implique
AC AC.
De acuerdo con los razonamientos expuestos al investigar el axioma III.1, existe una
transformacin ortogonal que lleva la semirrecta BA a la BA y, simultneamente, la
semirrecta BC a la BC. Como AB AB y BC BC, de los mismos razonamientos
(o bien del propio axioma III.1) sigue que la transformacin indicada lleva el punto A en
A y el C en C. Por ende, AC AC, es decir, el axioma III.3 se satisface.
Se mostrar ahora que en la realizacin aritmtica se satisfacen las condiciones

contenidas en el axioma III.4: si <(h, k) es un ngulo arbitrario, h, alguna semirrecta,
entonces a cada lado de sta se encuentra exactamente una semirrecta k, que forma con
ella un ngulo <(h, k), al cual es congruente el dado <(h, k); adems,
<(h, k) <(h, k), <(h, k) <(k, h).
21
_______________________________________________________________________
Ahora se tendr que hacer una distincin esencial entre las transformaciones ortogonales
de I y II especie.
Sea dada alguna semirrecta h; imagnese que se ha completado hasta una recta h y
considrense los dos semiplanos que quedan separados por la recta h . Dentese uno de
ellos con I, y el otro, II. Sea, asimismo, h alguna otra semirrecta, h , la recta que la
contiene, y I, II, los dos semiplanos separados por la recta h .
Supngase que yson transformaciones ortogonales de I y II especie

respectivamente, cada una de las cuales lleva la semirrecta h en la h. Entonces, cada
una de las transformaciones ylleva el semiplano II, en los del otro de los
semiplanos I, II; adems, si lleva el semiplano I en I, llevar I en II.
A fin de probar esto, se comenzar observando que a puntos (x1, y1) y (x2, y2) situados en
lados diferentes con respecto ala recta (u: v: w) les corresponden nmeros ux1 + vy1 + w
y ux2 + vy2 + w de signo diferente, como fue mostrado ms arriba, al discutir el axioma
de Pasch. As, entonces, para los puntos (x, y) de un semiplano debe ser ux + vy + w >
0, y para los del otro, ux + vy + w < 0.
Si (x0, y0) es el origen de la semirrecta h y m, n son sus parmetros normalizados, la

condicin de pertenencia del punto (x, y) a uno u otro semiplano de borde h puede
escribirse en la forma
n(x x0) m(y y0) > 0
y
n(x x0) m(y y0) < 0
respectivamente. Sean (x0, y0) el origen, y m, n, los parmetros normalizados de la
semirrecta h. Si
x = ax by +c1,
y = bx + ay + c2,
es la transformacin ortogonal de I especie que lleva h en h, entonces
x - x0 = a(x - x0) b(y - y0),
y - y0 = b(x - x0) a(y - y0),
m = am bn,
n = bm + an,
de donde
n(x - x0) m(y - y0) = n(x - x0) m(y - y0). (a)
Si en cambio, h va en h por medio de la transformacin de II especie
x = ax +by +c1,
x = bx - ay + c2,
22
_______________________________________________________________________
entonces
n(x - x0) m(y - y0) = -n(x - x0) + m(y - y0). (b)
De las igualdades (a) y (b) se desprende la propiedad indicada arriba de las
transformaciones ortogonales. Al mismo tiempo, se comprueba de inmediato la primera
condicin del axioma III.4 en la realizacin que se est considerando.
En efecto, como ya se sabe, existe una transformacin ortogonal de I especie y una de II

especie, que llevan al lado h de un ngulo <(h, k) en una semirrecta h. De estas dos
transformaciones, slo una lleva la semirrecta k en una semirrecta k, que se encuentre
en un semiplano prefijado de antemano y limitado por h .
As, pues, a cada lado de la recta h hay exactamente una semirrecta k que forma, junto
con h, un ngulo <(h, k) tal que <(h, k) <(h, k).
Las dos condiciones restantes del axioma III.4 se verifican an con mayor sencillez.
La relacin <(h, k) <(h, k) tiene lugar, pues existe una transformacin ortogonal que
deja h y k en su lugar: la transformacin idntica
x = x,
y = y.
La relacin <(h, k) <(k, h) tiene lugar, pues existe una transformacin ortogonal que
lleva h en k y k en h.
Precisamente, si (x0, y0) es el vrtice del ngulo; m1, n1, y m2, n2 son los parmetros
normalizados de las semirrectas h y k, dicha transformacin (de II especie) es
x = (m1m2 n1n2)x + (n1m2 m1n2)y + x0 (m1m2 n1n2)x0 - (n1m2 m1n2)y0 ,
y = (n1m2 m1n2)x + (m1m2 n1n2)y + y0 (n1m2 m1n2)x0 + (m1m2 n1n2)y0 .
Efectivamente, por estas frmulas se obtiene x0 = x0, y0 = y0, y por las frmulas (II*)
para los valores dados de y , tenemos que m1 = m2 , n1 = n2 y m2 = m1, n2 = n1 .
Quedan, as, verificadas todas las condiciones del axioma III.4.
Por ltimo, se analizarn las condiciones del axioma III.5: si ABC y ABC son dos
tringulos, de las relaciones AB AB, AC AC. <BAC <BAC deben seguir las
relaciones <ABC <ABC y <ACB <ACB.
Estas condiciones son satisfechas en nuestra realizacin. En efecto, a base de lo

expuesto se puede afirmar que con la condicin AB AB existen dos transformaciones
ortogonales (una de I y otra de II especie), que llevan el punto A en el A y el B en el B.
Como consecuencia de la relacin <BAC <BAC, una sola de ellas lleva la
semirrecta AC en la AC y, como AC AC, esta misma transformacin lleva el punto
C en el C. Consecuentemente, existe una transformacin ortogonal que lleva los puntos
23
_______________________________________________________________________
A, B, C, en A, B, C respectivamente; esto implica que <ABC <ABC y <ACB
<ACB.
Se ha comprobado, entonces, que la definicin dada de congruencia de segmentos y

ngulos satisface todos los axiomas del tercer grupo.
AXIOMAS DE CONTINUIDAD. Ahora se analizarn los axiomas de continuidad

IV.1 y IV.2. de Arqumedes y de Cantor respectivamente. Se podran verificar
directamen-te, tal como se hizo con los grupos I, II, III. Sin embargo, resulta ms
sencillo proceder de otra manera, utilizando el teorema9: Si a los axiomas I-III se
agrega el principio de Dedekind, las proposiciones de Arqumedes IV.1 y de Cantor IV.2
pueden ser demostradas, que establece la equivalencia (si se cumplen los axiomas de los
grupos I III) de los axiomas IV.1 y IV.2 con el principio de Dedekind. Pero esto es
evidente. En efecto, sea (u: v: w) alguna recta y sea, por ejemplo, v 0; considrese
que sobre esta recta el punto (x1, y1) precede al (x2, y2), si x1 < x2. En este caso, al
efectuar cualquier cortadura de Dedekind en el conjunto de puntos (x, y) de la recta (u:
v: w), simultneamente efectuamos una cortadura de Dedekind en el conjunto de los
nmeros reales {x}. Como en el conjunto de los nmeros reales tiene lugar el principio
de Dedekind, existir un nmero x que realice la cortadura, es decir, que clausure alguna
de las clases. Haciendo
ux w
y ,
v
evidentemente, el punto ( x , y ) est sobre la recta (u: v: w) y clausura una de las clases
de la cortadura de Dedekind en esta recta. Por consiguiente, para cada cortadura de
Dedekind en el conjunto de puntos de cualquier recta existe un punto que realiza esta
cortadura. Dicho de otro modo, en todas las rectas tiene lugar el principio de Dedekind.
Del teorema anterior se sigue entonces que los axiomas de continuidad IV.1 y IV.2 se
satisfacen en la realizacin aritmtica.
AXIOMA DE PARALELISMO. Sea (u: v: w) una recta arbitraria y (x0, y0) un punto que
no le pertenece, es decir, que satisface la condicin
ux0+ vy0 + w 0.
Se debe determinar si existe una nica recta que pasa por (x0, y0) y no tiene puntos
comunes con (u: v: w), es decir, paralela a sta, o bien si existe ms de una.
Sea (u: v: w) una de estas rectas. Las magnitudes u, v, w, deben satisfacer dos
condiciones: en primer lugar, debe verificarse la igualdad
ux0+ vy0 + w = 0, (*)
pues la recta (u: v: w) pasa por el punto (x0, y0); en segundo lugar, el sistema
9
Para una demostracin de este teorema ver N. V. Efmov. Geometra Superior. MIR MOSC.
p 72.
24
_______________________________________________________________________
ux + vy + w = 0, (**)
ux + vy + w = 0
debe ser incompatible, pues las rectas (u: v: w) y (u: v: w) no tienen puntos comunes.
Si el sistema (**) es incompatible, debe ser, necesariamente, u: u = v: v, o bien, si se
denota con a cada uno de estos cocientes iguales,
u = u, v = v.
De (*) hallamos en seguida:
w = - (ux0 + vy0).
Esto implica que
u : v : w = u : v : - (ux0 + vy0).
de forma que las razones u : v : w estn bien determinadas, es decir, existe
exactamente una recta que pasa por (x0, y0) y es paralela a la recta arbitraria prefijada (u :
v : w).
Entonces, en nuestra realizacin las propiedades de paralelismo satisfacen el axioma V.
Se ha indicado, as, una realizacin concreta del sistema de axiomas I V; por lo tanto,
este sistema es consistente.
Como esta realizacin se basa en el concepto de nmero real, el resultado indicado tiene
carcter condicional, y puede ser enunciado como sigue:
El sistema de axiomas I V no contiene contradicciones, siempre que la aritmtica de
los nmeros reales sea consistente.
La demostracin de la consistencia de la aritmtica est fuera de los lmites de los

fundamentos de la geometra, de forma que se dejar de lado este problema.
Antese, por ltimo, que todas las relaciones que se han utilizado en la presente seccin
surgen en la geometra analtica, cuando se utiliza el sistema ortogonal cartesiano de
coordenadas. Es por esto que a veces se llamar cartesiana a la realizacin considerada
aqu.
Habindo propuesto construir una realizacin concreta de los axiomas de Hilbert, se han
utilizado objetos de la aritmtica y, verificando sucesivamente todos los axiomas, se ha
comprobado que todas las definiciones dadas satisfacen estos axiomas. Como se ha
eliminado toda referencia a la intuicin geomtrica, debido a la naturaleza puramente
aritmtica de los objetos escogidos, el estudio efectuado result bastante engorroso.
25
_______________________________________________________________________
VI.3.2. Consistencia de la Geometra de Lobachevski (Hiperblica)
Algunos gemetras como el ruso N. V. Efmov presenta una demostracin de la
consistencia de la geometra euclidiana suponiendo que la geometra de Lobachevski es
consistente, en este trabajo como ya se hizo en la seccin anterior, se demuestra primero
la consistencia de la geometra euclidiana y despus, para demostrar la consistencia de la
geometra de Lobachevski se construye un modelo de la geometra plana de
Lobachevski en la geometra plana de Euclides. Es decir,
Por cuanto en el espacio de Euclides puede construirse un modelo de la planimetra de
Lobachevski, la consistencia de la geometra de Euclides implica la de la planimetra de
Lobachevski.
La finalidad es demostrar la consistencia de la geometra de Lobachevski.

El resultado preciso que se obtendr se enuncia as: si el sistema de axiomas de la
planimetra euclidiana I.1 I.3, II, III, IV, V es consistente, el sistema constituido por
los axiomas, I.1 I.3, II, III, IV y el axioma sobre las paralelas de Lobachevski tampoco
puede conducir a contradicciones lgicas.
Con esto quedar probado que el axioma euclidiano sobre las paralelas no es
consecuencia necesaria de los axiomas I.1 I.3, II, III, IV.
En seguida se expone la construccin del modelo o, como tambin se dice, la
interpretacin de la planimetra no euclidiana en el plano de Euclides, debida a H.
Poincar10.
Tmese en el plano euclidiano una recta x, que, por comodidad, se imaginar horizontal.
La recta x determina dos semiplanos; uno de ellos se convendr en llamar superior. Se
llamar puntos no euclidianos a los puntos del semiplano superior (sin incluir los puntos
de la recta x) y rectas no euclidianas, a las semicircunferencias euclidianas que se
encuentran en el semiplano superior y son ortogonales a la recta x (es decir, con centro
en la recta x), as como tambin las semirrectas euclidianas del semiplano superior que
parten de x y forman ngulo recto con ella. Para simplificar los enunciados necesarios
en el futuro, se convendr en llamar a estas semirrectas, semicircunferencias de radio
infinitamente grande.
Entre los puntos y las rectas no euclidianas se establecern determinadas relaciones, de
manera que se cumplan los axiomas I.1 I.3, II, III, IV11, es decir, los axiomas de la
geometra absoluta. Despus se comprobar que en el sistema de objetos as construido
se realiza el axioma de las paralelas de Lobachevski.
Las relaciones entre los objetos se irn estableciendo gradualmente, a medida que sean
necesarias en el estudio ulterior de los axiomas.
10
Modelo del Semiplano Superior.
11
Nuevamente se toma como base la propuesta axiomtica de la geometra euclidiana de Hilbert.
Ver Anexo II.
26
_______________________________________________________________________
AXIOMAS DE INCIDENCIA. Se comenzar con los axiomas del grupo I. A dicho
grupo le precede la hiptesis de que los objetos geomtricos se encuentran en
determinadas relaciones, expresadas por los trminos el punto est en la recta, la
recta pasa por el punto, etc.
Se debe establecer cmo interpretar estas expresiones para los puntos y rectas no
euclidianos.
Sea A un punto no euclidiano, y a, una recta no euclidiana, representada por alguna
semicircunferencia (esta ltima se denotar, asimismo, con a). Se dir que el punto A se
encuentra en la recta (no euclidiana) a, si este punto se encuentra sobre la
semicircunferencia euclidiana a, en el sentido de las relaciones establecidas en la
geometra euclidiana.
La validez de los axiomas I.1 I.3 para los puntos y rectas no euclidianos se verifica
fcilmente con los mtodos de la geometra euclidiana.
En efecto, el axioma I.1 se cumple, pues por dos puntos A y B del semiplano superior
siempre se puede trazar una semicircunferencia ortogonal a la recta x.
El axioma I.2 se verifica, pues dos semicircunferencias, representantes de rectas no
euclidianas, pueden tener no ms de un punto en comn.
El axioma I.3 se cumple, porque sobre una semicircunferencia existe un nmero infinito
de puntos y en el semiplano superior hay un nmero infinito de puntos que no estn
sobre una semicircunferencia.
AXIOMAS DE ORDEN. Ahora se analizan los axiomas de orden del grupo II. Ante
todo se debe convenir en el significado exacto que se dar al trmino est entre... con
respecto a puntos no euclidianos sobre una recta no euclidiana.
Sean A, B, C tres puntos de una recta no euclidiana, representada por una
semicircunferencia a. Se dir que el punto B (en el sentido no euclidiano) est entre A y
C, si sobre la semicircunferencia a el punto B est entre A y C en el sentido de la
geometra euclidiana. Dicho de otro modo, el orden de puntos sobre una recta no
euclidiana coincide con el orden de puntos sobre la semicircunferencia euclidiana que la
representa en el semiplano superior.
Con ms detalle, la definicin del orden de los puntos de una recta no euclidiana cuando
la semicircunferencia que la representa no degenera en una semirrecta euclidiana, puede
enunciarse como sigue. Supngase que alguna recta no euclidiana est representada por
la semicircunferencia a, de centro O (el punto O no es un objeto de nuestro sistema).
Tmese alguna recta euclidiana u, paralela a la recta x. Cada recta euclidiana que pasa
por O, a excepcin de x, corta la semicircunferencia a en un punto M y la recta u en un
punto M, que llamaremos correspondiente al punto M.
Entonces, si A, B, C son tres puntos de la recta no euclidiana representada por la
semicircunferencia a, el punto B, como objeto de la geometra no euclidiana, est entre A
y C, si en el sistema de puntos A, B, C que en la recta euclidiana u corresponden a los
puntos A, B, C, el punto B est entre A y C.
27
_______________________________________________________________________
De aqu sigue inmediatamente que para una recta no euclidiana valen los axiomas
II.1 II.3, por cuanto stos son vlidos para cada recta euclidiana.
Obsrvese, de paso, un resultado importante: en el conjunto ordenado de puntos de la
recta no euclidiana tiene lugar el principio de Dedekind.
En efecto, dicho principio tiene lugar en la geometra euclidiana. Pero, como se ha

visto, entre los puntos de una recta euclidiana y los de una recta no euclidiana se puede
establecer una correspondencia biyectiva de manera que los puntos correspondientes se
encuentren en iguales relaciones de orden. Esto demuestra, en esencia, la afirmacin
enunciada.
Adems de los axiomas II.1 II.3, cuya validez se ha establecido, el grupo II contiene el
axioma de Pasch II.4. a fin de comprobar que la proposicin de Pasch tiene lugar en este
esquema, es necesario demostrar el siguiente teorema euclidiano: sea ABC un tringulo
curvo (fig. VI.1), formado por
N A
arcos de semicircunferencia,
y a, una semicircunferencia a
B M
que no pasa por ninguno de C
los puntos A, B, C; entonces,
x
si a pasa por algn punto
interior de AC, pasar o bien VI.1.
por un punto del arco AB, o

bien por un punto de BC. La demostracin de este teorema, totalmente evidente desde el
punto de vista intuitivo, no representa inters alguno, y se omitir.
AXIOMAS DE CONGRUENCIA. La verificacin de los axiomas de los dos primeros

grupos se redujo a establecer una serie de proposiciones triviales en la geometra de
Euclides. El problema es ms complejo con los axiomas de congruencia III.1 III.5,
cuyo estudio se analizar enseguida. El significado del mtodo que se utiliza consiste,
precisamente, en la definicin adecuada de figuras congruentes.
El instrumento bsico de las construcciones futuras ser una aplicacin especial del
plano euclidiano sobre s mismo, bien conocida en la geometra elemental, en la teora
de funciones analticas y en la fsica matemtica bajo el nombre de inversin, o bien
simetra con respecto a una circunferencia.
Sea dada una circunferencia k con centro en el punto A (fig. VI.2) y radio r. Sea M un
punto arbitrario del plano. Dado el punto M, si este no coincide con A, siempre se puede
determinar de manera unvoca un nuevo punto M que est sobre la semirrecta AM y
cumpla la condicin
AMAM = r2 (*)
28
_______________________________________________________________________
(uno de los casos de la construccin se muestra en la fig. VI.2). El punto M se llama
imagen del punto M en la inversin con respecto a la circunferencia k o, ms
sencillamente, inversin del punto M.
Se convendr, adems, en llamar al punto M

inversin del punto M con respecto a la recta u,
M M
si M es simtrico al punto M con respecto a esta A
recta. En los enunciados que siguen, por regla r

general no se distinguir entre la inversin con k
respecto a una circunferencia y a una recta,
considerando a esta ltima como una circun- Figura VI.2.
ferencia de radio infinito. La demostracin de
los teoremas referentes a inversiones se har frecuentemente en la hiptesis de que la
circunferencia de inversin es ordinaria. El caso particular en que sta tenga radio
infinito (es decir, sea una recta) a veces requiere razonamientos complementarios,
aunque totalmente triviales y fcil de reproducir.
Las siguientes propiedades de la inversin son totalmente evidentes:
i. Si M es la inversin de un punto M, M ser la inversin de M. La inversin
coincide, pues, con su aplicacin inversa.
ii. en una inversin, el dominio del plano exterior con respecto a la circunferencia
k se aplica sobre el interior, y recprocamente.
iii. cada punto de la circunferencia k coincide con su inversin.
En seguida se establecern otras propiedades de la inversin mediante unos pequeos

clculos introduciendo en el plano un sistema de coordenadas cartesiano ortogonal y
poniendo en correspondencia a cada punto M el nmero complejo z = x + iy, siendo x, y
las coordenadas de M. Como de costumbre, se denotar con una raya encima de z al
nmero complejo conjugado de z : z = x iy. Evidentemente, cualquiera de los
nmeros z o z determina al punto M.
Ubicando en el origen de coordenadas el centro de la circunferencia con respecto a la

cual se determina la inversin. Entonces, si dos puntos, determinados por los nmero z
y z, son inversiones uno del otro, entonces, como consecuencia de la condicin (*),
subsistir la siguiente relacin entre z y z :
z z = r2.
Obtenindose de aqu la representacin analtica de la inversin:
r2
z'
z
O, en coordenadas,
x
x' r 2 ,
x y2
2
29
_______________________________________________________________________
y
y' r 2 .
x y2
2
Utilizando estas frmulas, es fcil demostrar la llamada propiedad circular de la

inversin: si el punto z describe una circunferencia o una recta, su inversin z
describir, asimismo, una circunferencia o una recta.
Considerando una recta como una circunferencia de radio infinito, la propiedad
precedente se enuncia de manera ms concisa:
iv. la inversin de una circunferencia es una circunferencia.

Para probarlo, considrese una circunferencia arbitraria; supngase que sta tiene la
ecuacin
A(x2 + y2)+ Bx + Cy + D =0.
Sustituyendo en esta ecuacin las coordenadas corrientes x, y por las expresiones

x'
x r2 ,
x' y ' 2
2
y'
y r2 .
x' y ' 2
2
Queda:
D(x2 + y2) + Br2x + Cr2y Ar4 = 0.
Se ve inmediatamente que las coordenadas de los puntos que son inversiones de los
puntos de la circunferencia satisfacen asimismo la ecuacin de una circunferencia ( o
una recta, si D = 0); queda as demostrada la afirmacin iv.
En el presente anlisis jugarn un papel central las aplicaciones obtenidas como
producto de varias inversiones sucesivas.
Dada una tal aplicacin, que lleva un punto arbitrario z en otro z. No es difcil
demostrar que si esta aplicacin es producto de un nmero par de inversiones, z se
expresa en funcin de z por la frmula
z
z' , (I)
z '
donde , , , son constantes complejas. Si, en cambio, la aplicacin dada se compone
de un nmero impar de inversiones, la dependencia de z de z es de la forma
z
z' (II)
z '
Se mostrar primero que la inversin con respecto a una circunferencia de centro
arbitrario a y radio r se representa analticamente por una dependencia tipo (II).
30
_______________________________________________________________________
Introdzcase, con este fin, un sistema auxiliar de coordenadas con origen en el punto a,
cuyos ejes sean paralelos a los del sistema original. Sean M y M dos puntos que
corresponden uno al otro en la inversin con respecto a la circunferencia dada. Si Z y Z
son los nmeros complejos que los determinan en el sistema auxiliar de coordenadas,
ser
r2
Z '
Z
Sean z y z los nmeros complejos que determinan estos mismos puntos en el sistema
inicial. Evidentemente, z = Z + a, z = Z + a. Sustituyendo en la relacin precedente Z
y Z por sus expresiones en funcin de z y z, se obtiene:
r2
z ' a
za
De donde
a z (r 2 a a)
z'
za
o bien, si se hace a = , r2 - a a = , 1 = , - a = ,
z
z'
z
Se ha hecho esta discusin en la hiptesis de que la circunferencia de inversin era
ordinaria. No es difcil obtener la dependencia entre z y z para una inversin con
respecto a una recta. En efecto, la inversin con respecto al eje real se caracteriza por la
ecuacin z = z . En consecuencia, la inversin con respecto a una recta por el origen se
determina analticamente por la igualdad e i z' (e i z) o z ' e 2i z ; de aqu, con una
traslacin, se halla la dependencia entre z y z cuando la recta respecto a la cual se
efecta la inversin ocupe una posicin arbitraria; precisamente:
z ' e 2i z + const.
Esta dependencia se obtiene de (II) si = 0.
z
As, con la relacin z' , escogiendo adecuadamente las constantes , , , , se
z
puede determinar cualquier inversin, ya sea con respecto a una circunferencia ordinaria
o con respecto a una circunferencia de radio infinito.
Supngase, ahora, que se efectan dos inversiones sucesivas con respecto a
circunferencias arbitrarias. Si la primera aplica a z en z y la segunda, z en z, de
acuerdo a lo expuesto ser
1 z 1
z'
1 z 1
31
_______________________________________________________________________
y
2 z' 2
z"
2 z' 2
De la primera igualdad resulta:

1 z 1
z' .
1 z 1
Si se sustituye esta expresin en la segunda igualdad, despus de algunas
transformaciones e introduciendo notaciones adecuadas:
z
z" .
z
Es decir, una dependencia tipo (I). Evidentemente, si se efecta otra inversin que
aplica z en z, la dependencia de z de z tendr la forma (II); si se efecta una nueva
inversin con z nuevamente se obtendr (I), etc.
Se demostrarn ahora las propiedades que se necesitarn ms adelante, del producto de
inversiones.
v. Si una aplicacin que representa el producto de un nmero par de inversiones

deja fijos tres puntos del plano, todos los dems puntos en este caso quedarn
fijos y la aplicacin ser en consecuencia, idntica.
Como se sabe, una aplicacin del tipo indicado de z en z se caracteriza por la igualdad
z
z' .
z
Todos los puntos fijos de esta aplicacin se determinan por la ecuacin z = z, es decir,
z
z ,
z
o bien
z 2 ( ) z 0 .
Por hiptesis, la ecuacin obtenida debe tener tres soluciones, lo cual es posible
nicamente si sta se reduce a una identidad, es decir, si
g = 0, = 0, = 0.
Por consiguiente,

z' z.

Claramente, 0 (si = 0, todo punto z se aplica en el mismo punto z=0, cosa
imposible para el producto de inversiones, pues cada una de ellas aplica puntos
32
_______________________________________________________________________
distintos). La igualdad = 0, para 0, nos da z = z, demostrando as la
afirmacin.
vi. Si una aplicacin obtenida como producto de un nmero impar de inversiones
deja fijos tres puntos del plano, ser una inversin, con respecto a la
circunferencia que pasa por estos puntos.
Sea z = f(z) la aplicacin dada. Si z =(z) es una inversin con respecto a la

circunferencia indicada, z =(f(z)) es una aplicacin obtenida ya por un nmero par de
inversiones, adems, deja fijos los mismos tres puntos que la aplicacin dada z = f(z).
Segn lo visto, z = (f(z)) debe ser entonces la aplicacin idntica, es decir z = z.
As, (z) = z y, consecuentemente, z y z corresponden uno al otro en la inversin con
respecto a la circunferencia que pasa por los tres puntos en cuestin; esto era lo que
haba que demostrar.
Por ltimo, se dar sin demostracin otra proposicin respecto de las inversiones.
vii. Si dos circunferencias se cortan, entonces bajo cualquier inversin el ngulo que
forman en su punto comn es igual al ngulo que forman las circunferencias
obtenidas como resultado de su aplicacin.
La invariacin del ngulo con respecto a las inversiones se demuestra en la teora

elemental de las aplicaciones conformes (Churchill, R. V. (1965)).
Una vez establecidas las transformaciones (inversiones) aplicables en la geometra de
Lobachevski se continuar con la construccin del modelo correspondiente.
Segn la definicin dada para el concepto entre, el orden de los puntos sobre una recta
no euclidiana coincide con el de los puntos en la semicircunferencia euclidiana que
representa esta recta en el semiplano superior. Por esto, un segmento no euclidiano AB
se representa por un arco de semicircunferencia de extremos A, B; una semirrecta no
euclidiana con origen en el punto O se representa por un arco OX, cuyo extremo X est
sobre la recta x (fig. VI.3a). Naturalmente, aqu el punto X no debe incluirse entre los
puntos de la semirrecta no euclidiana.
Se llamar ngulo no euclidiano, naturalmente, al conjunto de dos semirrectas no
euclidianas con origen en un mismo punto (fig VI.3b).
Se dar ahora la definicin de congruencia de segmentos y ngulos en nuestro modelo
de geometra no euclidiana.
Aqu se utiliza fuertemente la inversin. Se convendr en considerar nicamente
inversiones que se efectan con respecto a circunferencias ortogonales a la recta x.
Evidentemente, en cada una de estas inversiones los puntos situados en el semiplano
superior se aplican en puntos del mismo semiplano.
B O
X
x
a) b)
33
_______________________________________________________________________
Figura VI.3.
Un segmento no euclidiano AB es congruente al segmento no euclidiano AB, si existe

una sucesin de inversiones tal que su producto aplica el arco de circunferencia
euclidiano AB sobre el arco de circunferencia AB.
Anlogamente, se dir que el <(h, k) no euclidiano es congruente con el <(h, k), si
existe una sucesin de inversiones tal que su producto aplica los lados del primer ngulo
sobre los del segundo.
En virtud de la Propiedad 7 de la inversin dada lneas ms arriba, los ngulos

congruentes en el sentido de esta definicin son iguales entre s tambin en el sentido
que se entiende en la geometra euclidiana con respecto a ngulos curvos. Por el
contrario, los arcos circulares que representen segmentos no euclidianos congruentes, no
sern, en general, congruentes desde el punto de vista euclidiano, pues las inversiones, si
bien conservan las magnitudes de los ngulos, deforman las dimensiones lineales de las
figuras.
En este modelo de geometra no euclidiana, las inversiones con respecto a

circunferencias ortogonales a la recta x representan desplazamientos congruentes. Se
estudian con ms detalle sus particularidades.
Considrese alguna semicircunferencia del plano superior, ortogonal a la recta x. Bajo

una inversin, esta semicircunferencia, segn la Propiedad 4, se transforma en algn
arco de circunferencia (situado, asimismo, en el semiplano superior). La propia recta x
se aplica sobre s misma en esta inversin. Como la inversin conserva las magnitudes
de los ngulos, el arco obtenido mediante la inversin de la semicircunferencia
considerada tendr que ser ortogonal a la recta x y, consecuentemente, tambin ser una
semicircunferencia. Entonces, la inversin del tipo aqu admitido siempre aplica
semicircunferencias del plano superior, ortogonales a la recta x, en semicircunferencias
del mismo tipo. Esto es un resultado muy importante, pues las semicircunferencias del
semiplano superior, ortogonales a la recta x, representan rectas en este modelo de
geometra no euclidiana.
Sea, ahora, AB un arco de semicircunferencia que representa un segmento no

euclidiano (fig. VI.4). Sea S el punto de interseccin de la recta euclidiana AB con la
recta x (suponiendo que stas se corten);
trcese por S la tangente SC al arco AB.
C
Por un conocido teorema de la B
geometra euclidiana, tiene lugar la u
igualdad (SA)(SB) = SC2. Por esto, si se S A
Figura VI.4
34
_______________________________________________________________________
llama u a la semicircunferencia de centro S y radio SC, la inversin con respecto a u
aplicar el punto A en el B, y el B, en el A. El punto C queda fijo en esta inversin.
De aqu se sigue que el arco AB se aplica sobre s mismo, de forma que su parte AC se
aplica sobre BC, y BC, sobre AC. Los arcos AC y CB, por ser cada uno la inversin del
otro, representan segmentos no euclidianos congruentes; el punto C es, en consecuencia,
el punto medio no euclidiano del arco AB. Obsrvese, adems, que el arco AB es
ortogonal a la semicircunferencia u; esta semicircunferencia representa, pues, la
perpendicular en el punto medio del segmento no euclidiano AB. Dicho de otro modo,
los puntos A y B son simtricos, en el sentido no euclidiano, con respecto a la recta no
euclidiana representada por la semicircunferencia u.
Se puede concluir, de aqu, que la inversin, considerada desde el punto de vista no

euclidiano, no es otra cosa que una simetra con respecto a una recta.
Toda la construccin de la fig. III.4 fue efectuada suponiendo que existe el punto S. Si
la recta euclidiana AB no corta a la recta x, hay que pensar que el punto S est en el
infinito, trazar la tangente al arco AB paralela a x, y sustituir la semicircunferencia u por
una semirrecta. En este caso la inversin se transforma en una simetra habitual con
respecto a la perpendicular euclidiana a la recta x por el punto medio euclidiano C del
arco AB.
Despus de esto queda claro el significado de la definicin dada arriba de congruencia

de imgenes en nuestro esquema; la imagen A es congruente a la imagen A, si A puede
obtenerse de A por medio de cierto nmero de reflexiones especulares, en el sentido
convencional (no euclidiano) que se acaba de describir.
Lo que sigue es, mostrar que la relacin de congruencia que se acaba de establecer
satisface los axiomas III.1 III.5.
El axioma III.1 requiere que en cada recta, por cada uno de sus puntos y a un lado
cualquiera se pueda trazar un
segmento congruente a otro B
segmento arbitrariamente b
dado de alguna recta. a
n
Esto se satisface en nuestro B*
esquema. En efecto, sean a A*
B
y a* dos rectas no A
a*
a
euclidianas; tmese en la
primera un segmento AB, y x
en la segunda, un punto A* Figura VI.5

(fig. VI.5). Fjese, adems,
una de las dos semirrectas determinadas por el punto A* en la recta a*. Trcese, en la
forma indicada antes, la perpendicular (no euclidiana) n en el punto medio del segmento
AA*. Empleando la reflexin especular (no euclidiana) con respecto a esta
35
_______________________________________________________________________
perpendicular, se puede aplicar la recta a sobre alguna recta a; el punto A se aplicar,
entonces, en el punto A*, y el segmento AB de la recta a tendr por imagen un segmento
A*B de la recta a. Trcese ahora la bisectriz (no euclidiana) b del ngulo formado por
las dos semirrectas (no euclidianas), una de las cuales va del punto A* al B, y la otra es
la semirrecta fijada de la recta a*. La reflexin especular con respecto a b (en el sentido
no euclidiano) lleva la recta (no euclidiana) a en la a*, y el segmento A*B de la recta
a, en algn segmento A*B*. As, sobre la recta (no euclidiana) a*, a un lado prefijado
de su punto A* existe un punto B* tal que el segmento A*B* se obtiene por medio de dos
reflexiones especulares (no euclidianas) del segmento AB y, en consecuencia, AB
A*B* en el sentido adoptado arriba; esto, precisamente, constituye lo que haba que
probar.
El axioma III.1 exige adems, que entre los puntos de la recta a* al lado prefijado de A*,
slo uno determine con A* un segmento congruente al AB. Demostremos que esto se
satisface segn nuestra definicin de congruencia.
Supngase que en la recta (no euclidiana) a* a un mismo lado de A*, hay dos puntos
diferentes B1* y B2* tales que se observan las condiciones AB A* B1* y AB A* B2* . Esto
significa que existe alguna sucesin de inversiones cuyo producto aplica el arco de
circunferencia AB sobre el arco de circunferencia A* B1* , y otra sucesin de inversiones
cuyo producto aplica el arco AB sobre el arco A* B2* . Sea X2 el punto de corte de la
prolongacin del arco AB en la direccin desde A hacia B con la recta x, y X1 el punto de
encuentro con x del arco AB prolongado en sentido opuesto. Dentese con X 2* y X 1* los
extremos, determinados anlogamente, de la semicircunferencia representante de la recta
no euclidiana a*. Evidentemente, los productos de cada una de las sucesiones de
inversiones antedichas aplica a X1 sobre X 1* y X2 sobre X 2* . Imagnese que las
inversiones de la primera sucesin se efectan en orden inverso, y luego se efectan las
inversiones de la segunda sucesin. Como resultado se obtiene una aplicacin que se
denotar con f. Evidentemente, al realizar la aplicacin f el punto X 1* coincidir
primero con X1 y despus regresar a la posicin X 1* ; este punto es, pues, un punto fijo
de la aplicacin f. Anlogamente, A* y X 2* son puntos fijos de f. En cuanto al punto
B1* , ir a parar en el punto B2* por la aplicacin f. De este modo, f tiene tres puntos fijos
X 1* , A* y X 2* . En virtud de las propiedades 5 y 6 (antes sealadas), de aqu sigue que f
es o bien la aplicacin idntica, o bien una inversin con respecto a la circunferencia que
pasa por los puntos X 1* , A*, X 2* , B1* y B2* . En ambos casos todos los puntos de esta
circunferencia sern puntos fijos de f. En consecuencia, B1* y B2* no pueden ser
diferentes. Esto demuestra la unicidad de la operacin de aplicacin congruente de un
segmento.
Por ltimo, el axioma III.1 requiere que el segmento AB sea congruente al BA. Para
verificar esto en el modelo considerado de la geometra no euclidiana, basta efectuar una
reflexin especular no euclidiana con respecto al punto medio del segmento AB.
36
_______________________________________________________________________
As, todo lo que pide el axioma III.1 se cumple.
Considrese ahora el axioma III.2, segn el cual, si los segmentos AB y AB son

congruentes al AB entonces, AB debe ser congruente a AB.
Esto se cumple evidentemente en el presente modelo de geometra no euclidiana.

Efectivamente, las relaciones AB AB y AB AB significan que existe una serie
de reflexiones especulares no euclidianas como resultado de las cuales AB se
superpone sobre AB, y existe otra serie que superpone AB tambin sobre AB.
Efectuando las reflexiones especulares de la primera serie y, a continuacin, las de la
segunda, en orden inverso. Como resultado, AB se aplicar sobre AB, de donde
seguir, precisamente, la congruencia de estos segmentos.
Ahora se considera el axioma III.3.

Sean AB y AB segmentos no euclidianos, C, un punto interior del segmento AB y C,
un punto interior de AB. debemos demostrar que segn nuestra definicin de
congruencia, de AC AC y CB CB sigue que AB AB.
Como AC AC, existir una serie de reflexiones especulares no euclidianas cuyo

producto aplica AC sobre AC. el punto B se aplicar simultneamente en el punto B*
sobre la recta ACB; adems, B* estar del mismo lado de C que B. Los segmentos
CB y CB* estarn del mismo lado de C y, siendo congruentes a CB (CB, por
hiptesis, y CB*, por construccin), tienen que serlo entre s (por el axioma III.2, ya
verificado) pero entonces, por el axioma III.1, los puntos B* y B no pueden ser
diferentes. Por lo tanto, el producto de las reflexiones especulares no euclidianas
indicadas aplica AB sobre AB, de donde AB AB.
La verificacin del axioma III.4 tampoco presenta dificultades. Este axioma exige que a
cada semirrecta, de un lado cualquiera, se pueda aplicar un ngulo congruente a un
ngulo arbitrario dado, y que esta construccin sea unvoca.
La posibilidad y la univocidad de esta construccin se establecen por razonamientos

anlogos a los efectuados al verificar el axioma III.1. Precisamente, sea <(h, k) un
ngulo no euclidiano de vrtice O, y h, una semirrecta no euclidiana de origen O. Ante
todo, mediante una reflexin especular no euclidiana con respecto a la perpendicular en
el punto medio del segmento OO, aplicamos <(h, k) sobre el <(h, k), cuyo vrtice
coincida con O. Luego de esto, una reflexin especular no euclidiana con respecto a la
bisectriz de <(h, h) transforma <(h, k) en <(h, k); este ngulo es, por
construccin, congruente al <(h, k) y est aplicado a algn lado de la semirrecta h. Si,
por casualidad, el lado prefijado era el opuesto, basta aplicar una reflexin especular ms
con respecto a h. Ahora se debe demostrar la univocidad de la operacin de aplicacin
de un ngulo a una semirrecta dada a un lado determinado de sta. Supngase que <(h,
k1' ) se ha obtenido mediante una serie de reflexiones especulares no euclidianas de <(h,
37
_______________________________________________________________________
k), y que <(h, k 2' ) fue obtenido por medio de otra serie de reflexiones especulares no
euclidianas tambin de <(h, k). sea f el producto de las reflexiones especulares de la
primera serie, efectuadas en orden inverso, y las reflexiones especulares de la segunda.
Claro, f aplica <(h, k1' ) sobre <(h, k 2' ). Pero considerando que las reflexiones
especulares no euclidianas son inversiones, y utilizando las proposiciones 5 y 6 en forma
idntica como se hizo al verificar el axioma III.1, se puede demostrar que f es o bien la
aplicacin idntica, o bien una reflexin especular no euclidiana con respecto a la
semirrecta h. En consecuencia, <(h, k1' ) y <(h, k 2' ) o bien coinciden, o bien son
mutuamente especulares (en el sentido no euclidiano) con respecto a h; esto es,
precisamente, lo que haba que establecer.
El axioma III.4 requiere, adems, que todo <(h, k) sea congruente consigo mismo, es
decir, que <(h, k) <(h, k) y <(h, k) <(k, h). Pero la primera relacin es evidente y la
segunda puede comprobarse efectuando una reflexin especular no euclidiana del ngulo
con respecto a su bisectriz.
Por ltimo, las condiciones requeridas por el axioma III.5 se satisfacen en nuestro
modelo, cosa fcil de verificar efectuando razonamientos anlogos a los utilizados en los
cursos de geometra elemental para demostrar el primer teorema de igualdad de
tringulos, pero entendiendo por movimiento el resultado de alguna serie de reflexiones
especulares no euclidianas.
Se comprueba as, que en el sistema construido de objetos la relacin de congruencia
satisface todos los axiomas del tercer grupo.
AXIOMAS DE CONTINUIDAD. Hecho lo anterior, se puede concluir de inmediato que

en este sistema de objetos se verifican los axiomas de continuidad IV.1 y IV.2. En
efecto, como se observ anteriormente, en las rectas no euclidianas se verifica el
principio de Dedekind; entonces, en virtud del teorema12: Si a los axiomas I-III se
agrega el principio de Dedekind, las proposiciones de Arqumedes IV.1 y de Cantor IV.2
pueden ser demostrada. Es decir si a los axiomas I III, se les agrega el principio de
Dedekind, se dependen ambas proposiciones, la IV.1 y la IV.2
As, el sistema de objetos planteados en este modelo para la geometra de Lobachevsky

satisface pues, todos los axiomas de la planimetra absoluta I.1 I.3, II, III, IV. Pero
entonces en ste tendr que realizarse o bien la teora de paralelas de Euclides, o bien la
de Lobachevski. Se mostrar ahora que tiene lugar precisamente el segundo caso.
AXIOMA DE PARALELISMO. Sea a alguna semicircunferencia del plano superior,

ortogonal a la recta x. Sea A algn punto del
semiplano superior que no pertenece a esta n
12
Para una demostracin de este teorema ver N. V. Efmov. GeometraASuperior. MIR MOSC.
p 72. a
Figura VI.6
38
_______________________________________________________________________
semicircunferencia (fig VI.6). Es fcil comprobar que por A pasa un nmero infinito de
semicircunferencias diferentes, ortogonales a la recta x, que no tienen puntos comunes
con la semicircunferencia a. En los trminos que convinimos utilizar desde el principio,
esto puede expresarse tambin as: por un punto no euclidiano arbitrario, no
perteneciente a una recta no euclidiana dada, pasa un nmero infinito de rectas no
euclidianas que no cortan a la recta dada.
Esto significa, precisamente, que en el sistema considerado de objetos tiene lugar el

postulado de Lobachevski; este sistema representa, por consecuencia, un modelo de la
geometra de Lobachevski, cuya construccin nos habamos puesto por finalidad.
Utilizando este modelo, se puede dar a cada proposicin de la planimetra de
Lobachevski una interpretacin bien concreta en el plano euclidiano. Para ello, los
trminos punto, recta, congruentes, etc., que se encuentran en el enunciado de
cada proposicin deben interpretarse en el sentido que convinimos, es decir, por
punto sobreentender un punto euclidiano del semiplano superior, por recta, una
semicircunferencia euclidiana o una semirrecta, ortogonales al borde del semiplano;
llamar congruentes a las figuras que pueden aplicarse a una sobre la otra como resultado
de la aplicacin sucesiva de inversiones, etc. Entonces, a cada teorema de Lobachevski
le corresponde un teorema euclidiano bien determinado. Por lo tanto, si existiesen
contradicciones en la geometra de Lobachevski, tambin habra en la euclidiana.
Vemos, as, que la consistencia de la geometra de Lobachevski sigue de la consistencia

de la de Euclides.
Se ha demostrado, tambin, que el postulado de las paralelas de Euclides no puede ser
deducido de las premisas de la geometra absoluta.
En efecto, en el modelo de H. Poincar se realizan todos los axiomas de la geometra
absoluta, pero en lugar del postulado de las paralelas de Euclides tiene lugar el de
Lobachevski. Por consiguiente, el postulado de Eucllides no es una consecuencia lgica
de estos axiomas.
VI.3.3. Consistencia de la Geometra de Riemann (Elptica)

En las dos ltimas secciones se ha hecho referencia ms de una vez a la geometra
esfrica, conjuntamente con las geometras de Euclides y Lobachevski. La confrontacin
de estas geometras surgi de manera natural cuando se descubri que tenan similitudes.
Ahora, se debe llamar la atencin sobre una diferencia muy importante que existe entre
la geometra esfrica, por un lado, y las de Lobachevski y Euclides, por el otro.
Precisamente, en el plano de Euclides, al igual que en el de Lobachevski, dos rectas
pueden tener no ms de un punto comn; por el contrario, en la geometra sobre la
esfera, donde las circunferencias mximas hacen las veces de rectas (ver seccin
II.2.3.1) siempre se cortan en dos puntos diametralmente opuestos de la esfera. As, en la
geometra de la esfera no se cumple una de las premisas bsicas de la geometra de
Euclides y Lobachevski: Por dos puntos diferentes pasa una nica recta.
39
_______________________________________________________________________
Como se vio (seccin II.2.3), existe un sistema geomtrico que en varios aspectos es
similar a la geometra esfrica, pero en el cual la premisa bsica citada de la geometra
elemental tiene lugar. Dicho sistema es llamado Geometra de Riemann. Esta geometra
es un complemento necesario de las geometras de Euclides y de Lobachevski. El
estudio conjunto de las tres geometras permiti dar una solucin completa a uno de los
problemas geomtricos principales del siglo XIX13.
En seguida se presenta la consistencia de la geometra de Riemann utilizando un modelo

o realizacin en la geometra de Euclides.
Fjese en el espacio euclidiano una esfera k. Se convendr en identificar los puntos

diametralmente opuestos de sta. Es decir, considerar cada par de puntos diametralmente
opuestos de k como un objeto nico. Este objeto se llamar punto de cierta geometra
particular. Se convendr en llamar recta a cada circunferencia mxima de la esfera k.
AXIOMAS DE INCIDENCIA. Se dir que el punto A est en la recta a (o que la recta a

pasa por el punto A) si los puntos ordinarios de la esfera k que constituyen el punto A
estn en la circunferencia mxima que representa a la recta a. Evidentemente:
Axioma I.1. Por cada dos puntos pasa una recta.
Axioma I.2. Por cada dos puntos diferentes pasa una nica recta.
Axioma I.3. En cada recta hay al menos dos puntos (incluso hay una cantidad infinita de
puntos); se pueden indicar tres puntos que no estn
sobre una misma recta. B
As, para el conjunto considerado de puntos y rectas se
verifican todos los axiomas de incidencia de la A C
planimetra elemental.
AXIOMAS DE ORDEN. Los axiomas de orden en la

forma que fueron enunciados para la planimetra
elemental, son aqu, inaplicables ya que en estos A
C
axiomas se caracteriza el concepto de posicin de un
punto ordinario entre otros dos puntos ordinarios, sobre B
una recta ordinaria. Pero para los puntos
Figura VI.7
convencionales sobre una recta convencional, el
concepto entre carece de sentido. En efecto, al considerar tres puntos arbitrarios A, B, C
(Fig. VI.7) en una recta (es
decir, tres pares de puntos C
B C D
diametralmente opuestos de
A D A
una circunferencia) no se B
podr distinguir en su
posicin relativa a alguno
de ellos con respecto a los
otros. B
D A A
13
El Problema de si el V postulado de Euclides C D
B era o no independiente de los dems.
C
a) b)
Figura VI.8
40
_______________________________________________________________________
Para considerar el orden de estos puntos convencionales sobre una recta, deben tomarse
cuatro puntos. Sean A, B, C, D cuatro puntos de alguna recta; se supondr que estn
numerados en el orden de su escritura (independientemente de su posicin sobre la
recta). Son posibles dos casos esencialmente diferentes en la posicin de los puntos A, B,
C, D con respecto a su numeracin:
i) Los dos primeros puntos A y B, separan los dos ltimos C y D (en cuyo
caso C y D separan A y B (Fig VI.8a)
ii) Los dos primeros puntos A y B no separan los dos puntos C y D (entonces
C y D tampoco separan A y B (Fig. VI.8b)
Anlogamente, si a, b, c, d son cuatro rectas que pasan por un mismo punto y estn
numeradas en el orden de su escritura, son posibles dos casos en su posicin relativa:
i) Las rectas a y b separan las c y d (en cuyo caso c y d separan las a y b fig.
VI.9a).
ii) Las rectas a y b no separan las c y d (en cuyo caso c y d no separan las a
y b Fig. VI.9b).
Se adoptar el concepto de separacin de puntos y rectas como bsico; los dems
conceptos referentes al orden de posicin de puntos en una recta y rectas que pasan por
un punto se reducirn a este concepto bsico.
Sean A y B dos puntos arbitrarios de alguna recta u; entonces todos los puntos de la
recta u, a excepcin de A y B, pueden ser separados de manera nica en dos clases de
manera que dos puntos
cualesquiera de una misma
U U
clase no separan A y B. En
correspondencia con esto, a a
se convendr en decir que d b
los puntos A y B determinan c c
d
sobre la recta u dos b
segmentos; Se considerar
puntos interiores de un
segmento a los puntos de
a) b)
una de las dos clases Figura VI.9
precitadas, y puntos
interiores del otro, a los puntos de la otra clase [en las figuras III.8a y III.8b uno de los
dos segmentos determinados por los puntos A y B se representan por dos arcos en lnea
gruesa; en la figura III.8a, C es un punto interior de este segmento, mientras que D es un
punto interior del otro segmento; en la figura III.8b, tanto C como D son puntos
interiores de un mismo segmento].
Con respecto a rectas que pasan por un punto, pueden ser enunciados conceptos
anlogos. Precisamente, si a y b son dos rectas que pasan por algn punto U, todas las
rectas que pasan por U, excepto a y b, pueden ser divididas de manera nica en dos
clases, de manera que dos rectas cualesquiera de una misma clase no separen a y b,
mientras que dos rectas arbitrarias de clases diferentes separan a y b. De acuerdo con
esto, se convendr en decir que las rectas a y b determinan dos ngulos con vrtice U.
41
_______________________________________________________________________
Se considerar rectas interiores de uno de los ngulos a las rectas de una de las dos
clases antedichas, y rectas interiores del otro, a las rectas de la otra clase.
Despus de todo lo anterior se definen de manera natural un tringulo, los ngulos
internos de ste, el dominio interior de un tringulo el de un polgono, un polgono
simple (sin autointersecciones), los ngulos internos de un polgono simple y toda una
serie de conceptos utilizados en la geometra elemental.
AXIOMAS DE CONGRUENCIA. Se convendr en llamar a dos segmentos,

congruentes, si existe un movimiento de la esfera k sobre s misma, o bien una reflexin
especular de sta con respecto a alguno de sus planos diametrales, que superpone uno de
estos segmentos al otro (es decir, los puntos extremos e interiores de un segmento se
superponen a los puntos extremos e interiores, respectivamente, del otro). Anlogamente
se define la congruencia de ngulos y de figuras arbitrarias. V. g. una figura M, como
conjunto de puntos y rectas se considera congruente a otra figura M, si entre los puntos
de stas, as, como tambin entre sus rectas, se puede establecer una correspondencia
biyectiva de manera que como resultado de algn movimiento de la esfera k sobre s
misma, o de una reflexin especular con respecto a algn plano diametral, todos los
puntos y rectas de la figura M se superpongan a los puntos y rectas correspondientes de
M.
42
_______________________________________________________________________
VI.4. Resumen
Fue solamente en el Siglo XIX, principalmente por la obra de Gauss, Lobachevski y
Riemann, cuando se demostr la imposibilidad de deducir de otros axiomas el axioma de
las paralelas. Este resultado tuvo una importancia intelectual extraordinaria:
i) En primer lugar, llam la atencin hacia el hecho de que puede demostrarse

la imposibilidad de demostrar ciertas proposiciones dentro de un
determinado sistema14.
ii) En segundo lugar, la resolucin de la cuestin planteada por el axioma de las
paralelas oblig a admitir que Euclides no haba dicho la ltima palabra
acerca de la geometra, ya que pueden construirse nuevos sistemas de
geometra utilizando cierto nmero de axiomas distintos de los adoptados por
Euclides e incompatibles con ellos.
En particular, como ya se mostr, se obtienen resultados extraordinariamente

interesantes y fructferos cuando se sustituye el axioma de las paralelas de Euclides por
la hiptesis de que, por un punto dado, puede trazarse ms de una paralela a una lnea
determinada, o, alternativamente, por la hiptesis de que no puede trazarse ninguna
paralela. La creencia tradicional de que los axiomas de la geometra pueden ser
establecidos como tales por su aparente auto evidencia fue as destruida en su misma
base. Adems, fue hacindose cada vez ms claro que la tarea propia del matemtico
puro es deducir teoremas a partir de hiptesis dadas, y que, como matemtico, no le
atae la cuestin de decidir si los axiomas que acepta son verdaderos (en el sentido de
que son contrastables con la realidad objetiva) sino que slo le interesa que no haya en
ellos contradiccin. Estas modificaciones de la geometra ortodoxa estimularon la
revisin y perfeccin de las bases axiomticas de otros muchos sistemas matemticos,
como el lgebra, el anlisis, etc.
14
Como se sabe, el trabajo de Gdel es una demostracin de la imposibilidad de demostrar
ciertas proposiciones de la aritmtica.
43
Apndice I. Elementos de Euclides Libro I.
_______________________________________________________________________
APENDICE I
ELEMENTOS DE EUCLIDES LIBRO I
LIBRO I
DEFINICIONES
1. Punto15 es lo que no tiene partes.
2. Lnea es la longitud sin anchura16.
3. Los extremos de la lnea son puntos.
4. Lnea recta es la que yace por igual17 sobre sus puntos.
5. Superficie es lo que solo tiene largo y ancho.
6. Los extremos de la superficie son lneas.
7. Superficie plana es la que yace por igual sobre sus rectas.
8. Angulo plano es la inclinacin de dos lneas que se encuentran en un plano y no
yacen las dos sobre una recta.
9. Si las dos lneas que contienen el Angulo son rectas, el ngulo se llama rectilneo.
10. Si una recta trazada sobre otra forma con ella dos ngulos continuos iguales, cada
uno de ellos es recto, y la recta se llama perpendicular a aquella sobre la cual se
traz.
11. Angulo obtuso es el mayor que el recto.
12. Angulo agudo es menor que el recto.
13. Lmite es el extremo de algo.
14. Figura es lo comprendido por uno o varios lmites18.
15. Crculo es una figura plana limitada por una sola lnea que se llama periferia19,
respect de la cual son iguales las rectas que inciden sobre ellas trazadas desde uno
de los puntos situados en el interior de la figura.
15
La definicin del punto por su invisibilidad, lo que no tiene partes, escamotea su origen
emprico. Antes de Euclides, el punto se deca estigma: seal que dejaban en la piel los hierros
de los esclavos, el punctum latino, agujerito marcado con un estilete, de pungere, clavar. El
punto eucldeo es semeion, seal, centellita de luz que matiza positivamente la definicin
negativa de los Elementos y responde, adems, a la hipertrofia del sentido visual de los griegos,
hombres contemplativos, a diferencia de los hombres de accin romanos, que hacan incluso los
puntos marcndolos violentamente con un clavo. Euclides se limita a mirar la luz.
16
Esta definicin es lgicamente defectuosa, como la de punto; pero concebido este sin partes,
es fcil concebir la longitud sin anchura.
17
Frase que ha preocupado a los exegetas de todos los tiempos. Yacer, descansar, que los latinos
tradujeron, es una propiedad de la recta que Euclides dedujo probablemente del arte de la
construccin como regla o barra rgida, cuyo carcter visual denuncia la trayectoria del rayo
luminoso coincidente con el borde de la regla. Sobre este asunto hay un interesante trabajo de
Amaldi en las de FEDERIGO ENRIQUES 3 ed. Bolonia, 1924.
18
Esta definicin de figura: esquema; de tener, poseer, delata la predileccin de los griegos por
lo finito, por lo sujeto a medida, que Spengler elevara a smbolo apolneo.
19
Euclides utiliza la palabra periferia para referirse a la circunferencia de un crculo.
44
_______________________________________________________________________
16. Este punto se llama centro del crculo.
17. Dimetro del crculo es una recta cualquiera que pase por el centro y cuyas dos
partes tengan sus extremos en la periferia. Esa recta divide al crculo en dos partes
iguales20
18. Semicrculo es la figura limitada por un dimetro y la periferia. El centro del
semicrculo es el mismo que el del crculo.
19. Figuras rectilneas son las limitadas por rectas. Trilteras si lo estn por tres;
cuadrilteras por cuatro y multilteras por ms de cuatro.
20. Entre las figuras trilteras el tringulo es equiltero21 si tiene los tres lados iguales,
issceles si solo tiene dos lados iguales y escaleno si sus tres lados son desiguales.
21. Entre las figuras trilteras, el tringulo rectngulo es el que tiene un ngulo recto;
obtusngulo, es el que tiene un ngulo obtuso, y acutngulo el que tiene sus tres
ngulos agudos.22
22. Entre las figuras cuadrilteras, el cuadrado es equiltero y equingulo; el
rectngulo,23 equingulo, pero no equiltero; el rombo es equiltero, pero no
rectangular; el romboide, sin ser equiltero ni equingulo, tiene iguales los lados y
los ngulos opuestos. Las dems figuras cuadrilteras se llaman trapecios.
23. Rectas paralelas son las que, estando en el mismo plano y prolongadas al infinito, no
se encuentran.
POSTULADOS
P1: Trazar una lnea recta desde un punto cualquiera a otro punto cualquiera.
P2: Prolongar de una manera ilimitada en lnea recta una recta limitada.24
P3: Describir un crculo para cada centro y cada distancia.25
P4: Todos los ngulos rectos son iguales.
P5: Si una recta, al incidir sobre otras dos, forma del mismo lado ngulos internos
menores que dos rectos, las dos rectas prolongadas al infinito se encontrarn en el
lado en que estn los ngulos menores que dos rectos.
20
Literalmente dividir en dos, pero sobrentendiendo partes iguales.
21
Isopleuro, de igual, y lado. Latinizada la palabra, se emple durante toda la Edad Media, y hoy
est en desuso.
22
Los tringulos rectngulos, obtusngulos y acutngulos, respectivamente, pasaron a los
latinos, que los llamaron ortogonios, ambligonios y oxigonios.
23
Hetermecos, oblongos, de ob y longus, largo rectngulo apaisado, ms largo que ancho. En
Aritmtica; el nmero hetermeco es el producto de dos enteros distintos, y cuando son iguales
y, por tanto, el nmero es un cuadrado, aquellos factores son los flancos de este, segn la
definicin de Aristteles.
24
Un segmento, segn la terminologa actual. El concepto de segmento no existe en la
Geometra griega.
25
Hemos traducido por radio la palabra distancia, porque Euclides la emplea, evidentemente, en
sentido mtrico; pero recordaremos que aquella voz, radius, no aparece en Geometra hasta el
siglo XVI con Ramus, que la introdujo en su Scholarum mathematicorum, Basilea, 1569.
45
_______________________________________________________________________
NOCIONES COMUNES O AXIOMAS
1. Cosas iguales a una misma cosa son iguales entre s.26
2. Si a cosas iguales se agregan cosas iguales, los totales son iguales.27
3. Si de cosas iguales se quitan cosas iguales, los restos son iguales.28
4. Si a cosas desiguales se agregan cosas iguales, los totales son desiguales.
5. Las cosas dobles de una misma cosa son iguales entre s.
6. Las cosas mitades de una misma cosa son iguales entre s.
7. Las cosas congruentes29 entre s, son iguales entre s.
8. El todo es mayor que la parte.
9. Dos rectas no comprenden espacio.30
PROPOSICIONES
1. Construir un tringulo equiltero sobre un segmento dado31.
2. Construir en un punto dado un segmento igual a otro dado.
3. Dado dos segmentos desiguales, restar del mayor otro segmento igual al menor.
4. Si dos tringulos tienen dos lados del uno iguales a dos lados del otro e iguales los
ngulos comprendidos por los lados iguales, tendrn iguales sus bases y los dos
tringulos sern iguales.
5. En los tringulos issceles, los ngulos en la base son iguales entre s, y si se
prolongan los dos lados iguales, los ngulos situados debajo de la base son iguales
entre s.
6. Si dos ngulos de un tringulo son iguales, los lados opuestos a estos ngulos tambin
sern iguales.
7. Dos segmentos respectivamente iguales a otros dos con los mismos extremos en el
mismo lado de una misma recta no se encuentran en dos puntos distintos.
8. Si dos tringulos tienen dos lados del uno iguales a los lados del otro e iguales las
bases, tendrn iguales los ngulos comprendidos por los lados iguales.
26
Silogismo fundamental de la matemtica, mediante el cual introduce Euclides el principio de
transitividad.
27
Figura en los primeros Analticos, I, de Aristteles.
28
Aristteles: Metafsica, XI, 4, la da como axioma.
29
De, ajustar, encajar. Congruentes son, pues, las cosas que se ajustan unas a otras sin
deformarse.
30
Algunos editores, con excelente criterio, consideran esta nocin comn como un sexto
postulado que completa el anterior-el de paralelismo-, pues establece la unicidad de la
determinacin de un punto por la interseccin de dos rectas.
31
Los elementos dicen recta limitada.
46
_______________________________________________________________________
9. Dividir en dos un ngulo rectilneo dado.
10. Dividir un segmento dado en dos partes.
11. Desde un punto dado en una recta dada, trazar una recta que forme ngulos rectos.
12. Dada una recta indefinida, trazarle desde un punto que no est sobre ella una recta
perpendicular.
13. Si una recta levantada sobre otra forma ngulos, sern rectos o igual a dos rectos.32
14. Si respecto de una recta cualquiera y en un punto de ella, dos rectas no situadas en el
mismo lado de ella forman ngulos contiguos iguales a dos rectos, las dos rectas
estn sobre la misma recta.
15. Si dos rectas se cortan, forman ngulos opuestos por el vrtice, iguales.
16. Si se prolonga uno de los lados de un tringulo, el ngulo externo es mayor que cada
uno de los ngulos internos y opuestos.
17. En todo tringulo dos ngulos, tomados en junto, son menores que dos rectos.
18. En todo tringulo, el lado mayor subtiende el ngulo mayor.
19. En todo tringulo, el ngulo mayor subtiende el lado mayor.
20. En todo tringulo dos lados cualesquiera, tomados en junto, son mayores que el otro
lado.
21. Si dos rectas que parten de los extremos de un lado de un tringulo se cortan dentro
de l, dichas rectas son menores, en total, que los dos lados restantes del tringulo,
pero el ngulo que forman ser mayor.
22. Construir un tringulo con tres segmentos iguales a otros tres dados.
23. Sobre una recta dada y en uno de sus puntos, construir un ngulo rectilneo igual a
otro rectilneo dado.
24. Si dos tringulos tienen dos lados del uno respectivamente iguales a dos del otro,
pero de los ngulos comprendidos por los lados iguales uno es mayor que el otro, la
base del uno ser mayor que la del otro.
25. Si dos tringulos tienen dos lados del uno respectivamente iguales a dos del otro,
pero la base del uno es mayor que la del otro, el ngulo comprendido por los lados
iguales del uno es mayor que el del otro.
26. Si dos tringulos tienen dos ngulos y un lado iguales, ya sea este lado el situado
entre los ngulos iguales o el subtendido por uno de los ngulos iguales 33, tendrn
iguales los otros dos lados y el tercer ngulo.
27. Si una recta, al incidir sobre otras dos, forma ngulos alternos iguales, dichas rectas
sern paralelas.
32
Se sobrentiende igual a dos rectos la suma de los dos ngulos.
33
Es decir, que la igualdad de tringulos se verifica incluso si uno de ellos tiene un lado igual a
un lado del otro, que no es el que une los vrtices de los ngulos iguales.
47
_______________________________________________________________________
28. Si una recta, al incidir sobre otras dos, forma un ngulo externo igual al interno y
opuesto del mismo lado, o si los dos internos del mismo lado son iguales a dos
rectos, dichas rectas sern paralelas.
29. Una recta que incide sobre dos paralelas forma ngulos alternos iguales entre si y el
externo igual al interno y opuesto y los internos del mismo lado iguales a dos rectos.
30. Las rectas paralelas a una misma recta son paralelas entre s.
31. Por un punto dado trazar una recta paralela a otra recta dada.
32. Si se prolonga uno de los lados de un tringulo, el ngulo externo es igual a los dos
internos y opuestos, juntos, y los tres internos del tringulo son iguales a dos rectos.
33. Los segmentos que unen por el mismo lado segmentos iguales y paralelos, son
tambin iguales y paralelos.
34. Los lados y los ngulos opuestos de regiones paralelogrmicas34 son iguales entre si
y la diagonal35 divide en dos36 dichas regiones.
35. Los paralelogramos que estn sobre la misma base y entre las mismas paralelas son
equivalentes.37
36. Los paralelogramos colocados sobre bases iguales y entre las mismas paralelas son
equivalentes.
37. Los tringulos colocados sobre la misma base y entre las mismas paralelas son
equivalentes.
38. Los tringulos colocados sobre bases iguales y entre las mismas paralelas son
equivalentes.
39. Tringulos equivalentes colocados sobre la misma base y del mismo lado estn entre
las mismas paralelas.
40. Tringulos equivalentes colocados sobre bases iguales y del mismo lado, estn entre
las mismas paralelas.
41. Si un paralelogramo tiene la misma base que un tringulo y estn colocados entre las
mismas paralelas, el paralelogramo es doble del tringulo.
42. En un ngulo rectilneo dado, construir un paralelogramo equivalente a un tringulo
dado.
43. En todo paralelogramo, los complementos de los paralelogramos atravesados por la
diagonal38 son equivalentes.
44. En una recta dada, aplicar39 a un ngulo rectilneo dado un paralelogramo
equivalente a un tringulo dado.
34
Traduccin literal de en vez, de paralela-lnea, palabra cuya formacin debe de estar sugerida
por el teorema anterior I, 33; pero advirtase que Euclides la emplea sin haberla definido
explcitamente.
35
En lugar de dimetro, que dice Euclides, traducimos diagonal aunque esta voz: solo aparece
una vez en los elementos: libro XI, prop. 28.
36
Partes iguales.
37
Igual, en el sentido de congruente: no de igual forma, sino de igual superficie: equivalencia,
acerca de cuya teora puede consultarse el artculo de UGO AMALDI Sulla teoria dell
equivalenza, en las Questioni riguardante le Matematiche elementari, de Enruques, Bolonia,
1924, y Uber die Entwicklung der elementar-geometrie im XIX. Jahrhundert, Leipzig, 1906, de
Max Simn.
38
Situados alrededor de la diagonal.
39
Es decir, construir sobre una figura otra que tenga un rea dada. Proclo, tomando la noticia de
Eudemo, dice que ya los pitagricos empleaban el mtodo de aplicacin de reas distinguiendo
48
_______________________________________________________________________
45. En un ngulo rectilneo dado construir un paralelogramo equivalente a una figura
rectilnea dada.
46. Construir un cuadrado sobre un segmento dado.
47. En los tringulos rectngulos el cuadrado sobre el lado opuesto al ngulo recto es
equivalente a los cuadrados sobre los lados que forman ese ngulo recto.
48. Si el cuadrado construido sobre uno de los lados de un tringulo es equivalente a los
cuadrados, juntos, de los otros dos lados, el ngulo formado por estos dos lados es
recto.
la elptica, de defecto; la hiperblica, de exceso, y la parablica, de aplicacin simple o directa,

siendo las otras dos excedentes o deficientes respecto del crculo, que era la figura perfecta para
los griegos.
49
Apndice II. Axiomas de la geometra elemental (propuesta de D. Hilbert)
_______________________________________________________________________
APENDICE II
AXIOMAS DE LA GEOMETRA PLANA ELEMENTAL40
(Propuesta de D. Hilbert)
Los puntos, las rectas y los planos pueden estar relacionados unos con otros de una
manera determinada, que se indica por las palabras pertenece a, entre,
congruentes. Estas relaciones deben satisfacer las condiciones contenidas en los
axiomas; por lo dems, la naturaleza de los objetos y las relaciones entre ellos puede ser
arbitraria.
Todos los axiomas de la geometra elemental se dividen en cinco grupos
Grupo I. Contiene ocho axiomas de incidencia.

Grupo II. Contiene cuatro axiomas de orden.
Grupo III. Contiene cinco axiomas de congruencia.
Grupo V. Contiene dos axiomas de continuidad.
Grupo V. Contiene un axioma de paralelismo.
Grupo I. Axiomas de incidencia.

I.1. Cualesquiera que sean los puntos A, B, existe una recta a que pasa por cada uno de
los puntos A, B.
I.2. Cualesquiera que sean dos puntos diferentes A, B, existe a lo sumo una recta que
pasa por cada uno de los puntos A, B.
I.3. En cada recta hay al menos dos puntos. Existen al menos tres puntos que no
pertenecen a una misma recta
I.4. Cualesquiera que sean tres puntos A, B, C que no pertenecen a una misma recta,
existe un plano que pasa por cada uno de los tres puntos A, B, C. En cada plano hay al
menos un punto.
I.5. Sean cuales fueren tres puntos A, B, C que no pertenecen a una misma recta, existe a
lo sumo un plano que pasa por cada uno de los tres puntos A, B, C.
I.6. Si dos puntos diferentes A, B de la recta pertenecen al plano cada punto de la recta
pertenece al plano .
I.7. Si dos planos , tienen un punto comn A, tienen al menos otro punto comn B.
I.8. Existen al menos cuatro puntos que no pertenecen a un mismo plano.
Grupo II. Axiomas de orden.

II.1. Si el punto B se encuentra entre el punto A y el C, entonces A, B y C son puntos
diferentes de una misma recta, y B se encuentra, asimismo, entre C y A.
II.2. Cualesquiera que sean los puntos A y C, existe al menos un punto B sobre la recta
AC tal que C est entre A y B.
40
Esta propuesta es el resultado de una serie de mejoras a la versin original dada por David
Hilbert.
50
Apndice II. Axiomas de la geometra elemental (propuesta de D. Hilbert)
_______________________________________________________________________
II.3. Entre tres puntos cualesquiera de una recta, a lo sumo uno de ellos puede
encontrarse entre los otros dos.
II.4. (Axioma de Pasch). Sean A, B, C tres puntos que no pertenecen a una misma recta,
y a, una recta en el plano ABC, que no contiene ninguno de los puntos A, B, C. Entonces,
si la recta a pasa por algn punto del segmento AB, tambin pasar o bien por algn
punto del segmento AC, o bien por alguno del segmento BC.
Grupo III. Axiomas de congruencia.

III.1. Si A, B son dos puntos sobre la recta a, y A es un punto de la misma recta, o bien
de otra recta a, siempre se puede encontrar, a un lado prefijado de A sobre la recta a,
un punto B, y slo uno, tal que el segmento AB es congruente al AB.
III.2. Si los segmentos AB y A B son congruentes al mismo segmento AB, entonces
AB es congruente al segmento AB.
III.3. Sean AB y BC dos segmentos sobre la recta a, sin puntos interiores comunes y
sean, adems, AB y BC dos segmentos sobre la misma recta, o bien sobre otra a, que
tampoco poseen puntos interiores comunes.
III.4. Sean dados (h, k) en el plano , una recta a en este mismo plano, o bien a otro,
, y supongamos fijado un lado determinado del plano con respecto a la recta a.
III.5. Sean A, B, C tres puntos no pertenecientes a una misma recta y A, B, C otros tres,
tampoco pertenecientes a una misma recta.
Grupo IV. Axiomas de continuidad.

IV.1. (Axioma de Arqumedes). Sean AB y CD segmentos arbitrarios. Entonces sobre la
recta AB existe un nmero finito de puntos A1, A2,An, situados de manera que A1 sta
entre A y A2, A2 est ente A1 y A3, etc., tales que los segmentos AA1, A1A2,, An-1An son
congruentes al segmento CD y B est entre A y An
IV.2. (Axioma de Cantor). Supongamos que en una recta arbitraria a se da una sucesin
infinita de segmentos A1B1, A2B2,..., de los cuales cada uno est en el interior del
precedente; supongamos, adems, cualquiera que sea un segmento prefijado, existe un
ndice n para el cual AnBn es menor que este segmento. Entonces existe sobre la recta a
un punto X, que est en el interior de todos los segmentos A1B1, A2B2, etc.
Grupo V. Axioma de paralelismo.

V (Axioma de paralelismo). Sea a una recta arbitraria, y A, un punto exterior a ella;
entonces en el plano determinado por A y la recta a, se puede trazar a lo sumo una recta
que pasa por A y no interseca a.
BIBLIOGRAFA
1. Alberti, L. B. (1966). De La Pintura, Mathema, UNAM. Ed. R. Martnez.
2. Arnold, V.I. (1988) Mathematical Methods of Classical Mechanics, Graduate Texts

in Mathematics 60, Springer-Verlag.
3. Artigue, M. (1995). Ingeniera didctica en educacin matemtica. Grupo

Editorial Iberoamrica.
4. Bachelard, G. (1938). La Formacin del Espritu cientfico. Presses Universitaires

de France, Paris.
5. Barot, M. (). Un paseo a hiperbolia. Sociedad matemtica mexicana.
6. Bonola, R. (1955) Non-Euclidean Geometry, Dover.
7. Bowra, C.M. (1967). La Grecia Clsica, Las Grandes pocas de la Humanidad,

Time-Life,
8. Boyer, C. (1968). Historia de la matemtica. Alianza editorial. Espaa.
9. Brousseau, G. (1986). Fondements et Mthodes de la Didactique des

Mathmatiques, Recherches en Didactique des Mathmatiques. 7(2), 33-115.
10. Cederberg, J. (1965). A Course in Modern Geometries, Springer-Verlag.
11. Churchill, R. V. (1965). Teora de funciones de variable compleja. McGraw-Hill.
12. Courant, R. (2002). Qu son las matemticas? Fondo de Cultura Econmica.
13. Coxeter, H.S.M. (1971). Fundamentos de Geometra. Limusa.
14. DAmore. B. (2005). Didctica de la matemtica. Bases filosficas, pedaggicas,

epistemolgicas y conceptuales de la. Editorial Revert.
15. De Gortari, E. (1982), Conclusiones y pruebas en la ciencia, Barcelona: Ediciones

Ocano.
16. De Gortari, E. (1982). Fundamentos de la lgica. Barcelona: Ediciones Ocano.
17. Descartes, R. (1940). El Discurso del Mtodo, Coleccin Austral 6, Espasa-Calpe.
18. Daz, M. (1999) Tesis de maestra. Fundamentos de la Matemtica: Anlisis de la

Primera crisis.
19. Do Carmo, M.P. (1991). Geometra Diferencial de Curvas y Superficies, Vnculos
Matemticos 183, 185, 193, 194, 197, FC, UNAM. (Trad. O. Palmas.)
20. Do Carmo, M.P. (1992). Riemannian Geometry, Birkhuser.
21. Dubrovski, V. (1987). El mundo relativista. Editorial MIR MOSC.
22. Durero, A. (1987). Instituciones de la Geometra, Fuentes 3, IIB, UNAM.
23. E. Moise, E. (1963). Elementary Geometry from an Advanced Stand point, Regional
Technical Aids Center.
24. Efmov, N. V. (1978). Geometra Superior, Editorial MIR MOSC.
25. Einstein. A. (1998). Sobre la teora de la relatividad especial y general. Debate

editorial.
26. Euclides. (1985). Euclids elements, Dover.
27. Eves, H. (1985). Estudio de las Geometras, UTEHA.
28. Filoy, E. (1988), Historia de la Geometra Euclidiana. Mxico: CINVESTAV-IPN
29. Gallo, D., Porter, M. (1986). Conferencias del Taller de Grupo Kleinianos, IV
Coloquio del Departamento De Matemticas, CINVESTAV, IPN.
30. Gans, D. (1973). An introduction to non-euclidean geometry. Academic press. N. Y.
31. Gleick, J. (1988). Chaos, making a new science, Penguin Books.
32. Graustein, W. (1949). Introduction to Higher Geometry, The Macmillan Co.
33. Hilbert, D. (1962). Foundations on Geometry, Open Court Publishing Co.
34. Hilbert & Cohn Vossen. (1968). Geometry and the Imagination, Chelsea Publishing
Co.
35. Johnsonbaugh, R. (1999). Matemticas Discretas, Prentice Hall.
36. Kant, I. (1957). Crtica de la Razn Pura, Biblioteca Filosfica, Losada.
37. Kline, M. (1985). Matemticas la Prdida de la Certidumbre, Siglo XXI.
38. Kline, M. (1990). Mathematical Thought from Ancient to Modern Times, Oxford
University Press.
39. Kobayashi, S. (1963). Foundations of differential geometry. Vol. I. A Wiley-
interscience publications.
40. Kolmogorov, A. N. (1985), La matemtica: su contenido, su mtodo y significado,
Espaa. Alianza Universidad.
41. Lakatos, I. (1978). Matemticas, ciencia y epistemologa. Alianza Universidad.
42. Markushevich, A. (1987). Teora de las Funciones Analticas, MIR.
43. Milnor, J. (1982). Hyperbolic Geometry: the first 150 years, Bull. Amer. Math.
Soc., Vol. 6, No. 1.
44. Nagel, E. (1994). El Teorema de Gdel, Tecnos, S. A.
45. Poincar, H. (1988). Filosofa de Ciencia, Nuestros Clsicos 32, U.N.A.M.
46. Ramrez, A. (2002). Invitacin a la Geometra avanzada, U.N.A.M.
47. Ramrez, A. (2003) Invitacin a las Geometras no Euclidianas, U.N.A.M.
48. Rbnikov, K. A. (1987), Historia de las matemticas, Mosc: Editorial Mir.
49. Ruz, A. (1990), Matemticas y Filosofa. Costa Rica. Editorial UCR.
50. Russell B. (1956). An essay on the foundatios of geometry. Dover publications, inc.,
N. Y.
51. Snchez C. (1987), Conferencias sobre problemas filosficos y metodolgicos de la

matemtica, Cuba: Universidad de la Habana.
52. Seidenberg. A. (1965). Elementos de Geometra Proyectiva, Compaa Editorial

Continental S. A.
53. Selva, J. (1957). Artes Aplicadas de la Edad Antigua, Speculum Artis, Ramon
Sopena.
54. Shively, L. S. (1984). Introduccin a la geometra moderna. Editorial continental,

S. A. de C. V. Mxico.
55. Spivak, M. A (1970). Comprehensive Introduction to Differential Geometry, Publish

or Perish.
56. Thurston, W. (1997). Three Dimensional Geometry and Topology, Vol. 1, Princeton
Mathematical Series 35.
57. Vasari, G. (1996). Vidas de los ms Excelentes Pintores, Escultores y Arquitectos,

Nuestros Clsicos 74, UNAM.
58. Vera, F. (1970). Cientficos griegos. Madrid, Espaa. Edit. Aguilar.
59. Verjovsky, A. (1982). Introduccin a la Geometra y las Variedades Hiperblicas,

Departamento de Matemticas, CINVESTAV, IPN.
60. Visualizacin Matemtica, Laboratorio de. (1985). Revista del Seminario de

Enseanza y titulacin, Ao II. UNAM.
61. Wolfe, H.E. (1945). Introduction to Non-Euclidean Geometry, Holt, Reinhert and
Winston.
62. Wussing, H. (1998). Lecciones de historia de la matemtica. S XXI, espaa

edictores, S. A.
63. Yaglom, Klein and Lie, (1988). Evolution of the idea of Symmetry in the nineteenth
Century, Birkhuser.

Consistencia Geometrias No Euclidianas

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Consistencia Geometrias No Euclidianas

Cargado por

Copyright:

Formatos disponibles

1

VI.Consistencia de las geometras de Euclides, Lobachevski y Riemann

Siempre debiera pedirse que un asunto matemtico no

As, la independencia real del V postulado de Euclides de los dems postulados de la

As, la existencia de varias geometras igualmente satisfactorias lgicamente hizo

VI.2. Mtodo axiomtico.

VI.2.1. Axiomtica material griega

Es decepcionante que, a diferencia del estudio de la geometra antigua egipcia y

PATRN DE LA AXIOMTICA MATERIAL GRIEGA

En pocas ms recientes, el patrn de la axiomtica material griega ha sido generalizado

VI.2.2. Axiomtica formal moderna

Una funcin proposicional puede contener cualquier nmero de variables.

PATRN DE LA AXIOMTICA FORMAL

Como los postulados y los teoremas de un discurso lgico son funciones

Un modelo de una rama de la matemtica pura se ha convenido en llamar rama de la

As, se puede decir finalmente que el desarrollo abstracto de alguna rama de la

VI.2.3. Problemas bsicos de la Axiomtica

Problema de la independencia. Este problema consiste en establecer la necesidad de

Problema de la completitud. Los problemas de consistencia, independencia y

Imagnese para comenzar, la situacin creada por el desarrollo de la geometra en la

Resulta natural, sin embargo, preguntarse cmo debe entenderse, exactamente, la

Ahora, ya se puede establecer de manera precisa el concepto de completitud de un

VI.3. Consistencia relativa de las geometras mediante modelos finitos

- Eugenio Beltrami (1835-1900). Modelo Proyectivo del plano hiperblico.

La demostracin de la consistencia de las tres geometras se basar por un lado, en la

VI.3.1. Consistencia de la Geometra de Euclides (Parablica)

Por esto, para demostrar la consistencia de los axiomas de la geometra de Euc1ides es

AXIOMAS DE INCIDENCIA. En la realizacin aritmtica se llamar punto a

Tomando en cuenta que 1 y 3 tienen signos diferentes, se halla que:

por esto, 0 < < 1. En consecuencia, el punto (x, y), donde

AXIOMAS DE CONGRUENCIA. Se dar ahora la definicin del concepto de

donde se ha denotado con y a a1 y a2; en ambos casos las condiciones de

Un punto arbitrario (x, y) de la semirrecta dada se transforma, en el primer caso, en el

Se mostrar ahora que en la realizacin aritmtica se satisfacen las condiciones

Supngase que yson transformaciones ortogonales de I y II especie

Si (x0, y0) es el origen de la semirrecta h y m, n son sus parmetros normalizados, la

En efecto, como ya se sabe, existe una transformacin ortogonal de I especie y una de II

Estas condiciones son satisfechas en nuestra realizacin. En efecto, a base de lo

Se ha comprobado, entonces, que la definicin dada de congruencia de segmentos y

AXIOMAS DE CONTINUIDAD. Ahora se analizarn los axiomas de continuidad

La demostracin de la consistencia de la aritmtica est fuera de los lmites de los

La finalidad es demostrar la consistencia de la geometra de Lobachevski.

En efecto, dicho principio tiene lugar en la geometra euclidiana. Pero, como se ha

por un punto del arco AB, o

AXIOMAS DE CONGRUENCIA. La verificacin de los axiomas de los dos primeros

Se convendr, adems, en llamar al punto M

recta. En los enunciados que siguen, por regla r

En seguida se establecern otras propiedades de la inversin mediante unos pequeos

Ubicando en el origen de coordenadas el centro de la circunferencia con respecto a la

Utilizando estas frmulas, es fcil demostrar la llamada propiedad circular de la

iv. la inversin de una circunferencia es una circunferencia.

Sustituyendo en esta ecuacin las coordenadas corrientes x, y por las expresiones

De la primera igualdad resulta:

v. Si una aplicacin que representa el producto de un nmero par de inversiones

Sea z = f(z) la aplicacin dada. Si z =(z) es una inversin con respecto a la

La invariacin del ngulo con respecto a las inversiones se demuestra en la teora

Un segmento no euclidiano AB es congruente al segmento no euclidiano AB, si existe

En virtud de la Propiedad 7 de la inversin dada lneas ms arriba, los ngulos

En este modelo de geometra no euclidiana, las inversiones con respecto a

Considrese alguna semicircunferencia del plano superior, ortogonal a la recta x. Bajo

Sea, ahora, AB un arco de semicircunferencia que representa un segmento no

igualdad (SA)(SB) = SC2. Por esto, si se S A

Se puede concluir, de aqu, que la inversin, considerada desde el punto de vista no

Despus de esto queda claro el significado de la definicin dada arriba de congruencia