GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

GEOMETRAS NO EUCLIDIANAS
RESPECTO AL ORIGEN DE LOS AXIOMAS Y SU PAPEL EN LA GEOMETRA
Para aclarar el papel de los axiomas examinaremos en rasgos generales las etapas ms importantes del desarrollo de la geometra desde los tiempos remotos. La patria de la geometra son los pases del Antiguo Oriente donde, hace varios milenios y debido a las necesidades de la agrimensura, arquitectura y astronoma, fueron elaborados importantes principios de aspecto prctico para la medici n de ngulos, reas de algunas figuras y vol!menes de los cuerpos ms simples. "stos principios se elaboraron empricamente # por vas prcticas $ y, por lo visto, se transmitan oralmente% en los textos matemticos que llegaron hasta nosotros hallamos frecuentemente aplicaciones de los principios geom&tricos, pero no encontramos tentativas de formularlos. 'on el tiempo, cuando se ampli el crculo de ob(etos a los que se aplicaban los conocimientos geom&tricos adquiridos, se puso en claro la necesidad de formular los principios geom&tricos en su forma ms general, hecho que determin el paso en la geometra de conceptos concretos a conceptos abstractos. As, por e(emplo, el principio elaborado para medir el rea de una parcela rectangular de tierra result ser apto para medir el rea de una alfombra, la superficie de una pared, etc., y, como resultado, surgi la noci n abstracta de rectngulo. )e este modo se constituy el sistema de conocimientos que obtuvo el nombre de geometra. "n la primera fase de su desarrollo la geometra era una ciencia emprica, es decir, una ciencia en la que todos los resultados se deducen directamente en la prctica. "l desarrollo de la geometra march por un nuevo camino cuando se repar en que algunas de sus proposiciones no requieren argumentaci n emprica, ya que &stas pueden ser derivadas de otras proposiciones mediante deducciones basadas en las leyes de la l gica. *e comen+ a diferenciar en la geometra proposiciones de dos g&neros% las establecidas por va prctica # ms tarde denominadas axiomas $ y las demostrables l gicamente basndose en los axiomas # teoremas $. Puesto que, por no requerir dispositivos especiales, ni numerosas mediciones fastidiosas, la argumentaci n l gica en el aspecto t&cnico es considerablemente ms simple que la emprica, ante los sabios de la antig,edad, como es natural, se plante el problema de reducir al mnimo el n!mero de proposiciones del primer g&nero # axiomas $ para facilitar de este modo el traba(o del ge metra trasladando el peso fundamental a la esfera del raciocinio l gico. "ste ob(etivo result ser reali+able, ya que la geometra se abstrae de todas las propiedades de los cuerpos excepto su extensi n, propiedad muy esencial pero tan simple que toda clase de relaciones geom&tricas pueden ser deducidas de un n!mero reducido de proposiciones axiomas seg!n las leyes de la l gica. )e esta manera la geometra se transform de ciencia emprica en ciencia deductiva de exposici n axiomtica, que caracteri+a su estado actual. La primera exposici n sistemtica de las tesis fundamentales de la geometra llegada hasta nosotros fueron los - "lementos . de "uclides, escritos cerca de /00 a1os antes de nuestra era. "sta obra est construida seg!n el esquema siguiente% despu&s de las definiciones y de los axiomas se exponen las demostraciones de los teoremas y las soluciones de los problemas, y, con eso, todo teorema nuevo se demuestra basndose en los axiomas y en los teoremas demostrados anteriormente. Los axiomas no se demuestran, solamente se enuncian. )urante el transcurso de dos milenios los - "lementos - de "uclides go+aron de autoridad innegable en el mundo cientfico. *in embargo, un pasa(e de este traba(o

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

pareca no estar suficientemente (ustificado. *e sobreentiende el axioma del paralelismo, que "uclides formul as% *i dos lneas rectas, al intersecarse con una tercera, forman ngulos internos unilaterales cuya suma es inferior a dos ngulos rectos, resulta ser que estas dos rectas, al prolongarlas ilimitadamente, se encontrarn por aquel lado en el que esta suma es inferior de dos ngulos rectos2$ . La (uste+a del axioma del paralelismo de "uclides no suscitaba dudas. La duda respecto a este axioma radicaba en otra cosa% 3 era (usto el haberlo relacionado a la categora de los axiomas 4, 3 no sera posible demostrar este axioma con ayuda de otros axiomas de los - "lementos . euclidianos y, de esta manera, pasarlo a la categora de los teoremas 4. Al principio, los intentos de demostrar el axioma del paralelismo refle(aban la tendencia se1alada anteriormente de disminuir el n!mero de proposiciones geom&tricas, que exigan fundamentaci n emprica. 'on el transcurso del tiempo la situaci n vari % se olvid el origen experimental de los axiomas y estos se comen+aron a interpretar como verdades evidentes de por s, independientemente de cualquiera que fuera el experimento5$. *eme(ante punto de vista engendr la seguridad de que el axioma del paralelismo, que por su comple(idad es difcil admitirlo como axiomtico, en realidad no es un axioma y, por consiguiente, se puede hallar la demostraci n de la afirmaci n contenida en &l. *in embargo, los numerosos esfuer+os en este sentido no dieron resultados positivos y el axioma del paralelismo, cual tesoro hechi+ado, no descubra a los investigadores sus secretos. Los intentos de demostrar este axioma, condenados al fracaso, exigieron un consumo enorme de traba(o intelectual de numerosas generaciones de sabios y fueron la expiaci n por la interpretaci n idealista de la esencia de los axiomas. "l tipo de demostraci n err nea del axioma del paralelismo de "uclides ms difundido era el de su sustituci n por otra proposici n equivalente como, por e(emplo% La perpendicular y la oblicua respecto a una misma recta se cortan6 o%existe un tringulo seme(ante al tringulo dado pero no igual a &ste6 o % el lugar geom&trico de puntos equidistantes de una recta dada, si se encuentran a un mismo lado de &sta, es una recta6 o% a trav&s de cualesquiera tres puntos se pueden tra+ar o bien una recta, o bien una circunferencia. 7s adelante demostraremos que, si el axioma del paralelismo de "uclides no tiene lugar, todas estas proposiciones son err neas. Por consiguiente, admitiendo cualquiera de las proposiciones enumeradas como un axioma, consideramos que el axioma euclidiano del paralelismo es (usto, es decir, partimos de la (uste+a de aquello que queramos demostrar. 888888888888888888888888888888888888888888888888
2$

"n los manuales escolares de geometra, el axioma del paralelismo de "uclides est sustituido por la siguiente proposici n equivalente% a trav&s de un punto situado fuera de una recta se puede tra+ar solamente una recta paralela a la primera. 'ualesquiera dos axiomas de la geometra euclidiana u otra geometra se consideran similares # equivalentes $ si de ambos se deducen unos mismos resultados, a la par que todos los axiomas restantes de esta geometra quedan en vigor.
5$

"s sabido que los ciegos de nacimiento que en la edad madura han recuperado la vista por va quir!rgica, al principio, despu&s de la operaci n, no pueden distinguir el cubo de la esfera son haberlos palpado. As se demuestra la necesidad del experimento para una percepci n (usta de las figuras geom&tricas, sin lo cual no pueden elaborarse conceptos geom&tricos. "n sus investigaciones de la teora de las lneas paralelas Lobachevs9i fue por otro camino. :abiendo comen+ado por intentos de demostrar el axioma del paralelismo pronto advirti que uno de ellos conduce a resultados absolutamente inesperados. "ste

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

intento consista en la utili+aci n del m&todo de demostraci n por oposici n y se basaba en la consideraci n siguiente% si el axioma del paralelismo de "uclides es resultado de otros axiomas de los - "lementos . y si, no obstante, se admite que a trav&s de un punto fuera de una recta, en el plano determinado por &stos, se pueden tra+ar por lo menos dos rectas que no cortan a la recta dada, resultar ser que esta suposici n tarde o temprano, en sus resultado ms inmediatos o ms le(anos, conducir a una contradicci n. "ntre tanto, anali+ando los nuevos y nuevos resultados de la admisi n hecha por &l, parad (icos desde el punto de vista de la geometra euclidiana, Lobachevs9i se persuada de que &stos formaban un sistema l gico no contradictorio de teoremas capaces de constituir la base de una nueva teora cientfica. As fue fundamentada la geometra no euclidiana6 su axioma del paralelismo se diferencia del euclidiano y coincide con la suposici n citada anteriormente, que en lo sucesivo denominaremos axioma del paralelismo de Lobachevs9i2$. ;o obstante, quedaba no claro si se poda afirmar con seguridad que ninguno de los numerosos posibles resultados del axioma del paralelismo de Lobachevs9i conducira a una contradicci n. Lobachevs9i fi( la soluci n de esta cuesti n% se1al que la incontrariedad de la geometra descubierta por &l debe deducirse de la posibilidad de aritmeti+arla , es decir, de la posibilidad de reducir la soluci n de cualquier problema geom&trico a clculos aritm&ticos y transformaciones analticas, utili+ando para ello las f rmulas de la trigonometra hiperb lica deducidas por &l mismo. <lteriormente fueron halladas por otros sabios demostraciones rigurosas de la incontrariedad de la geometra de Lobachvs9i. Las investigaciones de Lovachevs9i en la rama de la geometra hiperb lica son muy vastas% abarcan su parte elemental, la trigonometra, la geometra analtica, y la geometra diferencial. <tili+ando los m&todos de la geometra creada por &l, Lobachevs9i hall ms de 500 f rmulas nuevas para el clculo de las integrales definidas. "l descubrimiento de Lobachevs9i se calificaba por sus contemporneos, e incluso por sus discpulos, como un disparate monstruoso, como un desafo auda+ a las leyes de la l gica y del sentido com!n 5$. ;o nos asombra tal actitud respecto a la idea genial que demola las nociones de aquella &poca. 'on la misma hostilidad tambi&n haba sido acogida la teora helioc&ntrica de 'op&rnico, que negaba aquello que pareca ser absolutamente evidente y afirmaba aquello que pareca ser inconcebible. 88888888888888888888888888888888888
2$

Posteriormente se puso en claro que, adems de la geometra descubierta por Lobachevs9i , se pueden construir otras muchas geometras no eucldeas.
5$

)esde luego, no puede sospecharse infundadamente de ineptitud de los sabios contemporneos de Lobachevs9i por la incomprensi n de su invento% es posible que muchos de ellos no emitieron su opini n respecto al invento por pertenecer las investigaciones de Lobachevs9i a una rama que no entraba en la esfera de sus intereses cientficos6 tambi&n se sabe que el c&lebre matemtico alemn 'arlos =auss y el eminente ge metra h!ngaro >uan ?olyai, que independientemente de Lobachevs9i llegaron a la conclusi n de la posibilidad de construir una geometra no euclidiana, compartan los puntos de vista de &ste. *in embargo, =auss, temiendo ser incomprendido y ridiculi+ado, nunca intervino en la prensa apoyando las ideas de Lobachevs9y, y ?olyai, viendo que sus propias investigaciones de la geometra no euclideana # publicadas en el a1o 2@/5 $ no fueron reconocidas, se apart de los e(ercicios matemticos. )e tal modo, Lobachevs9i tuvo que luchar solitariamente (ustificando sus ideas.

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

*e requeran consideraciones muy profundas para comprender la admisibilidad de dos geometras diferentes. A continuaci n pasamos precisamente a exponer algunas de estas consideraciones, las ms comprensibles. "n los manuales escolares de geometra, en la parte - Planimetra . , se estudia el plano independientemente del espacio que lo rodea6 con otras palabras, la planimetra es la geometra del plano euclidiano. Aambi&n han sido bien estudiadas las geometras de ciertas superficies curvilneas6 puede servir de e(emplo la geometra esf&rica, que encuentra amplio uso en la astronoma y otras ramas de la ciencia. "n toda ciencia los conceptos simplsimos tiene mucha importancia. "n la geometra euclidiana seme(antes conceptos son el punto, la recta, el plano. "stas denominaciones se conservan tambi&n en las geometras no euclidianas , llamndose - recta . a la lnea por la que se mide la distancia ms corta entre dos puntos y - plano . a la superficie que tiene la siguiente propiedad% si dos puntos de la - recta . pertenecen a esta superficie, resultar ser que todos los puntos restantes de la misma - recta . tambi&n pertenecen a dicha superficie. Por e(emplo, en la geometra esf&rica, se denomina plano . y - rectas . , respectivamente, a la esfera y a las circunferencias de sus crculos grandes. "sta terminologa es completamente oportuna ya que en cualquiera de las geometras la - recta . es la lnea ms simple y el - plano . es tambi&n la superficie ms simple y, adems, la primera tiene la propiedad ms importante de la recta euclidiana y el segundo, la propiedad ms importante del plano euclidiano 2$. *e1alaremos algunas singularidades de la geometra esf&rica. Para mayor evidencia la examinaremos como la geometra de la superficie del globo. ;o es difcil comprender que dos - rectas . de esta geometra # por e(emplo, dos meridianos $ siempre se cortan en dos puntos del globo diametralmente opuestos. )espu&s, la suma de los ngulos del tringulo esf&rico es mayor que dos rectos6 por e(emplo, en el tringulo limitado por un cuarto del ecuador y por los arcos de dos meridianos # fig. 2 $ todos los tres ngulos son rectos5$. "n vista de que la superficie tiene dos dimensiones se ha aceptado denominar bidimensional a la geometra que estudia las figuras que se encuentran sobre una superficie determinada, y denominar espacio bidimensional a la propia superficie. )esde hace mucho tiempo se conocen dos variedades de la geometra bidimensional% la euclidiana # para el plano $ y la esf&rica. Al hecho de existir una geometra bidimensional no euclidiana los matemticos no le daban gran importancia por la simple ra+ n de que la esfera se estudiaba en el espacio euclidiano tridimensional, y esto obligaba a olvidar las propiedades no euclidianas de la esfera como tal. 'omo resultado de las investigaciones de Lobachevs9i se puso en claro que no s lo son concebibles las superficies con propiedades no euclidianas, sino que tambi&n lo son los espacios no euclidianos tridimensionales. 888888888888888888888888888888888888888
2$

Advertiremos que en la geometra proyectiva falta la noci n de distancia entre dos puntos6 en el caso de una geometra de tal g&nero la interpretaci n de las nociones recta . y - plano . , expuesta anteriormente, es inaplicable.
5$

*e denomina ngulo entre dos lneas en el punto de su intersecci n al ngulo entre las tangentes a &stas en dicho punto.

*e debe hablar especialmente de las geometras tridimensionales. "stas pueden considerarse, independientemente de otras aplicaciones que tengan, como hip tesis que pretenden describir las propiedades del espacio real. La cuesti n respecto a cul

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

de estas hip tesis est ms cerca de la realidad solamente puede ser resuelta mediante la comprobaci n experimental de sus tesis. *e1alaremos el hecho siguiente, muy importante para la exposici n ulterior% en el plano euclidiano su puede construir # as como se hace para la esfera y, adems, no por un solo procedimiento $ la carta del plano de Lobachevs9i. "l estudio de una de seme(antes cartas se admitir aqu como base para el estudio de la geometra hiperb lica. "s caracterstico que la geometra de Lobachevs9i obtuvo reconocimiento general en las circunstancias siguientes. "n el a1o 2@B@ el matemtico italiano "ugenio ?eltrami descubri que en el espacio euclidiano existe una superficie que tiene las propiedades del plano de Lobachevs9i , me(or dicho, de cierto peda+o de este plano # si se consideran como - rectas . en esta superficie las lneas ms cortas $ . "ste descubrimiento, que al poco tiempo condu(o a la construcci n de diferentes cartas del plano de Lobachevs9i, convenci a los sabios de la (uste+a de las ideas del gran ge metra ruso, sirvi de impulso para el estudio profundo de sus obras y dio comien+o a numerosas investigaciones en la rama de las geometras no euclidianas. "l descubrimiento de las geometras no euclidianas plante ante la fsica un problema extraordinariamente comple(o% aclarar si el espacio fsico real es euclidiano. 'omo antes pensaban, y si no lo es, a que tipo de espacios no euclidianos pertenece 2$. Para la soluci n de este problema se requiere una comprobaci n experimental de la (uste+a de los axiomas, claro que con el perfeccionamiento de los instrumentos de medici n aumenta la seguridad de los datos experimentales obtenidos y aparece la posibilidad de penetrar en detalles que antes se escapaban de la atenci n de los investigadores. As pues Lobachevs9i retorn la geometra a la interpretaci n materialista de los axiomas como proposiciones que constatan las propiedades geom&tricas fundamentales del espacio y que fueron concebidos por el hombre como resultado del experimento. Actualmente es imposible considerar resulta hasta el fin la cuesti n respecto a la estructura geom&trica del espacio fsico real. ;o obstante, se1alaremos que la teora contempornea de la relatividad, basndose en numerosos datos, considera que el espacio real no es euclidiano y que adems, por sus propiedades geom&tricas, es mucho ms comple(o que el espacio de Lobachevs9i. Ahora podemos responder a una pregunta que con frecuencia omos % 3 cul de las dos geometras se la verdadera, la de "uclides o la de Lobachevs9i 4 *eme(ante pregunta no surge respecto a las geometras bidimensionales euclidiana y esf&rica6 es absolutamente obvio que ambas son verdaderas, pero cada una de ellas tiene su campo de aplicaci n% no pueden ser usadas las f rmulas de la geometra esf&rica para las figuras planas, as como no pueden ser usadas las f rmulas de la geometra bidimensional euclidiana para las figuras en la esfera. 8888888888888888888888888888888
2$

Al examinar esta cuesti n se debe tener en cuenta la posibilidad de que el espacio real sea heterog&neo, es decir, la circunstancia de que su estructura geom&trica pueda resultar no ser igual en todas partes. "sto mismo es tambi&n (usto respecto a las diversas geometras tridimensionales% cada una de ellas, siendo l gicamente incontradictoria, encuentra empleo en una rama determinada, no siendo obligatorio que &sta sea geom&trica6 no obstante, cada una de ellas se negar a servir si a sus principios se les atribuye un carcter universal. La cuesti n referente a la estructura del espacio real, como ya se1albamos, pertenece a la competencia de la fsica y no puede ser resuelta con las fuer+as de la geometra

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

pura. *u particularidad consiste, entre otras cosas, en que ninguna geometra refle(a las relaciones de extensi n con exactitud absoluta6 as, por e(emplo, debido a la estructura molecular de la materia, no existen cuerpos accesibles a la apreciaci n de sus dimensiones que posean las propiedades geom&tricas de la esfera ideal. Precisamente por esto, la aplicaci n de reglas geom&tricas a la soluci n de problemas concretos conduce inevitablemente a resultados aproximados. )e tal modo, nuestra noci n respecto a la estructura geom&trica del espacio real se reduce de hecho a la convicci n cientficamente basada de que una geometra determinada describe me(or que otras las relaciones reales de la extensi n. Por el hecho de que en la teora de la relatividad se utili+an f rmulas de la geometra no euclidiana no se deduce todava la necesidad de entregar la geometra de "uclides al archivo, tal y como ocurri con la astrologa, la alquimia y otras pseudociencias seme(antes. Aanto una como otra geometra representan un instrumento para el estudio de las formas espaciales, pero la primera permite efectuar investigaciones ms detalladas, mientras que la segunda es suficiente para la soluci n de la inmensa mayora de problemas prcticamente importantes de muy elevado grado de exactitud y como, adems, se distingue por ser muy simple, siempre le estar asegurada una amplia aplicaci n. Los meritos cientficos de Lobachevs9i no se agotan con el hecho de que haya arrancado el velo del misterio milenario del axioma del paralelismo6 la importancia de sus investigaciones es inmensurablemente ms amplia. :abiendo sometido a un anlisis crtico uno de los axiomas euclidianos, Lobachevs9i dio comien+o a la revisi n de algunas posiciones iniciales del sistema de "uclides, hecho que posteriormente condu(o a la elaboraci n de principios rigurosamente cientficos de construcci n axiomtica de la geometra y de otras ciencias matemticas. "l descubrimiento por Lobachevs9i de la geometra hiperb lica sac a la ciencia concerniente a las formas espaciales de los estrechos lmites del sistema euclidiano. La geometra de Lobachevs9i encontr aplicaci n directa en la teora de integrales definidas y en otras ramas de la matemtica. Lovachevs9i suscit la elaboraci n de cuestiones que no podan surgir con el estado precedente de la matemtica y, entre ellas, la cuesti n respecto a la estructura geom&trica del espacio real. *in su descubrimiento no hubiera podido desarrollarse la teora de la relatividad, uno de los mayores alcances de la fsica contempornea. Partiendo de las investigaciones de Lobachevs9i los sabios construyeron una teora que permite efectuar el clculo de los procesos que transcurren en el interior del n!cleo at mico. Para concluir se1alaremos la importancia gnoseol gica 2$ de las ideas del gran matemtico ruso. Antes de Lobachevs9i, durante el transcurso de muchos siglos, reinaba en la geometra el punto de vista idealista que remontaba a Plat n, el fil sofo de la =recia antigua% atribuyendo a los axiomas del sistema euclidiano un carcter absoluto &ste negaba su procedencia experimental. 88888888888888888888888888888888888 2$ =noseologa es la ciencia del conocimiento . Lobachevs9i rompi categ ricamente con este punto de vista y retorn la geometra a las posiciones del materialismo. Cndependientemente, =auss y ?olyai tambi&n obtuvieron resultados similares a los obtenidos por Lobachevs9i . :oy en da y en t&rminos modernos se conoce como espacio de dos dimensiones de curvatura constante negativa. Por primera ve+, =auss distingui las propiedades intrnsicas de una superficie, esto es, la geometra experimentada por peque1os seres planos viviendo en la superficie, de sus propiedades externas, esto es, su inmersi n en un espacio de dimensi n mayor, y

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

se dio cuenta que es las propiedades intrnsicas de las superficies las que deben ser exploradas por los ge metras.

INVERSIN
*upongamos que se ense1 una regla que permite pasar de cualquier figura dada a otra, de tal manera que la segunda figura queda absolutamente determinada si se ha dado la primera, y viceversa. )icho paso se denomina transformaci n geom&trica. La inversi n, a la par con la traslaci n paralela, la transformaci n de similitud, el giro de la figura y la proyecci n, pertenece tambi&n al n!mero de transformaciones geom&tricas ms usuales. Por e(emplo, esta transformaci n se utili+a ampliamente en la matemtica como m&todo para la resoluci n de problemas de construcci n , en la teora de las funciones de variable comple(a , en el estudio de las cartas de la superficie de Lobachevs9i. "n lo que sigue damos la determinaci n de la inversi n y de las nociones relacionadas con ella, as mismo, examinamos una serie de sus propiedades fundamentales. *upongamos que en el plano se da la circunferencia k con el radio y el centro O y el punto A diferente de O . "li(amos en la semirrecta OA el punto A' , de tal manera que el producto de los segmentos OA y OA' sea igual al cuadrado del radio de la circunferencia k %

OA . OA' =r 2

#2$

DEFINICIN 1.Decimos que los puntos A y A' son simtricos respecto a la circunferencia k si satisfacen la relacin ( 1 ). *i uno de los puntos A , A' se encuentra fuera de la circunferencia k , el otro se hallar en el interior de &sta, y viceversa6 por e(emplo, de la desigualdad OA > r deducimos, tomando en consideraci n la condici n #2$, que OA' < r . *i el punto A o A' se encuentra en la circunferencia k , resultar que A y A' coinciden.

Digura 2

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

"xaminemos la figura 2 donde AB es la tangente a la circunferencia k y BA' es la perpendicular a OA . Puesto que OA' es la proyecci n del cateto OB del tringulo rectngulo OAB sobre la hipotenusa OA
OA . OA' =OB 2 = r 2

y por consiguiente, los puntos A y A' son sim&tricos respecto a k . )e aqu que sea evidente la construcci n del punto A' , si se ha dado el punto A , y la del punto A si se ha dado el punto A' . TEOREMA 1. Si la circunferencia q pasa por dos puntos diferentes A y A' si!"tricos respecto a la circunferencia k resulta ser #ue la circunferencia k y q son orto$onales entre si. DEFINICIN %. )os circunferencias son ortogonales si &stas se cortan en ngulos recto, es decir, si las tangentes a ellas en el punto de intersecci n # o, lo que es lo mismo, sus radios tra+ados a este punto $ son perpendiculares entre si. *ea P uno de los puntos de intersecci n de las circunferencias k y q # figura 5 $. 'omo OP es el radio de la circunferencia k , la igualdad #2$ adquiere el aspecto
OA . OA' =OP 2

Digura 5 Por otro lado, el producto de los segmentos OA y OA' es igual al cuadrado de la tangente tra+ada desde el punto O a la circunferencia q 6 entonces OP es la tangente a q . Por consiguiente, los radios OP y QP de las circunferencias dadas son perpendiculares entre si, y estas circunferencias son ortogonales entre si.

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Advertiremos que cualquier circunferencia que pasa por dos puntos diferentes, sim&tricos respecto a una recta, corta a &sta en ngulo recto. La analoga de esta propiedad con el caso expuesto en el teorema 2 condicion el traslado del t&rmino simetra . para el caso de dos puntos situados de tal manera respecto a la circunferencia dada que cualquier circunferencia que pasa por ellos es ortogonal respecto a la circunferencia dada. TEOREMA %. Si la circunferencias k y q son orto$onales entre s& resulta ser #ue la recta #ue pasa por el centro O de la circunferencia k y #ue corta la circunferencia q corta a "sta en puntos si!"tricos respecto a k . )esignemos por A y A' los puntos de intersecci n de esta recta con q , y por P uno de los puntos comunes de las circunferencias k y q # figura 5 $. Puesto que las circunferencias dadas son ortogonales entre s la recta OP es tangente a la circunferencia q y, por esto, OA . OA' =OP 2 . )e aqu deducimos que los puntos A y A' son sim&tricos respecto a la circunferencia k . TEOREMA '. *ea dado el tringulo OAB , donde O es el centro de la circunferencia k , y los puntos A' y B ' , sim&tricos con A y B respecto a k . "ntonces

< OAB =< OB ' A' y

"xaminemos la figura /. )e la igualdad

< OBA = OA' B '

OA . OA' = OB . OB '

que se deduce de la condici n #2$, obtenemos% OA : OB ' = OB : OA' . Por consiguiente, los tringulos OAB y OB ' A' , que tienen com!n el ngulo AOB , son seme(antes. )e aqu deducimos que el teorema es (usto. *e1alaremos que alrededor del cuadriltero ABB ' A' puede ser circunscrita una circunferencia de tal manera que < A' AB + < A' B ' B = 2d . )el teorema 2 se deduce que esta circunferencia es ortogonal a la circunferencia k .

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Digura / DEFINICIN '. A la transfor!aci(n del plano #ue consiste en #ue cada dos puntos de este plano si!"tricos respecto a la circunferencia k interca!)ian de sitio se deno!ina in*ersi(n. +a circunferencia k se deno!ina circunferencia de in*ersi(n y su centro es el polo de la in*ersi(n. Si la in*ersi(n respecto a k transfor!a la fi$ura F en la fi$ura F ' se dice #ue F es si!"trica con F ' y #ue F ' es si!"trica con F respecto a la circunferencia k . Advertiremos que no existe punto alguno sim&trico al polo de la inversi n respecto a la circunferencia de inversi n. ;o es difcil ver que los puntos que se encuentran fuera del crculo limitado por la circunferencia de inversi n se transforman en puntos de este crculo, a excepci n del polo de inversi n, y viceversa6 los puntos de la circunferencia de inversi n se pasan as mismos6 la recta que pasa por el polo de inversi n O se pasa as misma, pero pierde con ello el punto O . TEOREMA ,. +a in*ersi(n transfor!a la recta #ue no pasa por el polo de in*ersi(n en una circunferencia #ue pasa por el polo de in*ersi(n. DEMOSTRACIN *upongamos que A es la base de la perpendicular ba(ada desde el polo de inversi n O sobre la recta l , B es un punto cualquiera de la recta l y A' y B ' son los puntos sim&tricos, respectivamente, con A y B en relaci n a la circunferencia de inversi n k # figura E $. 'onstruyamos en el segmento OA' , como en el dimetro, la < OB' A' =< OAB y, por esto, circunferencia q . "n virtud del teorema / < OB ' A' = d 6 por consiguiente, el punto B ' se encuentra en la circunferencia q . Por otro lado, sea C ' cualquier otro punto diferente de O en la circunferencia q 6 entonces la recta OC ' cortar l en cierto punto C que, como es fcil ver, durante la inversi n dada se convertir en el punto C ' . As pues, el teorema ha sido demostrado, pero es menester tener en cuenta que la recta l se transforma en una figura compuesta por la circunferencia q sin el punto O .

10

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Digura E Advertiremos que el centro de la circunferencia q pertenece a la perpendicular ba(ada desde O sobre l . *i la recta l no tiene puntos comunes con la circunferencia de inversi n k , entonces la circunferencia q se encuentra en el interior de k . *i l hace contacto con k en cierto punto, entonces q har contacto con k en el mismo punto. *i l y k se cortan, entonces q pasar por el punto de su intersecci n. TEOREMA -. La inversi n transforma la circunferencia que pasa por el polo de inversi n en una recta que no pasa por el polo de inversi n. DEMOSTRACIN *upongamos que O #el polo de inversi n$, A y B son tres puntos diversos de la circunferencia q , y A' y B ' son puntos sim&tricos con A y B respecto a la circunferencia de inversi n. "n virtud del teorema E la recta A' B ' se transforma en una circunferencia que pasa por O , A y B , es decir, en la circunferencia q , y de aqu se deduce que q se transforma en la recta A' B ' . TEOREMA .. La inversi n transforma la circunferencia que no pasa a trav&s del polo de inversi n en una circunferencia que tampoco pasa por el polo de inversi n. DEMOSTRACIN

11

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Digura F *ean k la circunferencia de inversi n con el radio r y el centro O , y q , la circunferencia dada que no pasa por O # figura F $. Aomemos en q un punto cualquiera A y designemos por B el segundo punto de intersecci n de la recta OA con q , y designemos por A' y B ' los puntos respectivamente sim&tricos con A y B respecto a k . "ntonces
OA . OA' =OB . OB ' =r 2

)e aqu

OA OB = OB ' OA'
y
OA . OB . OA' . OB ' =r 4

"l producto OA . OB = g en virtud de los conocidos teoremas de la geometra elemental, no vara al despla+ar el punto A por q . Por consiguiente, g es una magnitud constante que es positiva si O se encuentra fuera de q , y que es negativa si O se encuentra en el interior de q # ya que en este !ltimo caso las direcciones de los segmentos OA y OB son opuestas $. )e las dos igualdades !ltimas hallamos% OA' . OB ' =
r4 y, por lo tanto, g

OA OB g2 . = OB ' OA' r4

12

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

o, teniendo en cuenta la relaci n #5$,

OA g = OB' r 2
#el signo est bien elegido pues los segmentos OB y OB ' tienen una misma direcci n$. )e la !ltima igualdad se deduce que las figuras descritas por los puntos A y B ' son seme(antes6 por consiguiente, el teorema est demostrado% el punto B ' describe una circunferencia #que designaremos por q ' $. "l polo de inversi n O ser el centro de similitud de las circunferencias q y q ' , y resultar ser exterior si g > 0 e interior si g < 0 . "n el primer caso O se encuentra fuera y en el segundo, dentro de las circunferencias q y q ' . *i la circunferencia q hace contacto con la circunferencia k en cierto punto, entonces q ' har contacto con k en ese mismo punto. *i las circunferencias k y q se cortan, entonces q ' pasar por el punto de su intersecci n. La circunferencia q es ortogonal a k y, durante la inversi n, se transforma en si respecto a k # q ' coincide con q $, hecho que se deduce del teorema 5. *i la lnea de los centros de las circunferencias k y q corta q en los puntos M y N # donde M ' y N ' son los puntos sim&tricos a M y N respecto a k $ , entonces el segmento M ' N ' ser el dimetro de la circunferencia q ' #figura F$. Al construir la circunferencia q ' se puede hacer uso de esta observaci n. *e1alaremos que los centros de las circunferencias q y q ' no son sim&tricos respecto a la circunferencia de inversi n k . TEOREMA /. Los puntos de intersecci n de dos circunferencias a la circunferencia k , son sim&tricos respecto a k . TEOREMA 0. La inversi n no vara la magnitud del ngulo.

p y q , ortogonales

CARTA DE+ 1+ANO DE +O2AC3E4S56

"xaminemos el plano y, en &l, la recta u , que divide a en los semiplanos y ' . *upongamos que el semiplano representa la carta de cierto espacio bidimensional H . Gamos a diferenciar la longitud s de la lnea del espacio H y la longitud de la imagen

13

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Digura B de esta lnea en la carta dada6 a las magnitudes s y las denominaremos, respectivamente, longitudes hiperb lica y euclidiana. Para la medici n de longitudes en la carta que examinamos pondremos como base los principios siguientes% 2. La longitud hiperb lica del segmento MN , que es paralelo a la recta u y que MN se encuentra de &sta a la distancia y , es igual a , es decir, es igual al y cociente de la divisi n de la longitud euclidiana de este segmento por su distancia euclidiana de u . 5. *i es euclidiana, s es la longitud hiperb lica del arco de la curva # o del segmento de la recta no paralela a u $, y e y ' son, respectivamente, las distancias euclidianas mnima y mxima de sus puntos a u y , al mismo tiempo, y 0 # figura B $, resulta ser que se cumple la desigualdad

y'

<s<

7s tarde nos convenceremos de que el espacio H , cuya carta posee las propiedades citadas ms arriba, es el plano de Lobachevs9i. Partiendo de los principios 2 y 5 no es difcil indicar el procedimiento general de medici n de las longitudes hiperb licas. :allaremos al principio la longitud hiperb lica s del arco AB , que posee las propiedades siguientes% si el punto se despla+a por este arco desde A hacia B , su distancia de la recta u crece6 la distancia del punto A a u no es igual a cero6 el arco AB es suave, es decir, no tiene inflexiones # figura H $.

14

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Digura H 7arquemos en el arco

AB , siguiendo de A hacia B , los puntos

A, P 1 , P 2 , ... , P n 1, B
#I$

*upongamos que las magnitudes

y0 , y1 , y2 , ... , yn 1 , yn , 1 , 2 , ... , n , 1 , 2 , ... , n

designan respectivamente , la distancia euclidiana de los puntos # I $ respecto a la recta u 6 las longitudes euclidianas de los arcos AP 1 , P 1P 2 ,..., P n 1B , que son partes del arco AB 6 las longitudes euclidianas de las cuerdas que comprenden estos arcos. Dormemos las sumas%

= 1 + 2 + ... + n y1 y2 yn

' = 1 + 2 + ... + n y0 y1 yn 1
Z = 1 + 2 + ... + n y1 y 2 yn
"n virtud del 2 o principio tendremos%

< s < '

#/$

ya que de acuerdo a la condici n, 0 < y 0 < y1 < ... < y n . "xaminemos la diferencia

' =

1
y0 y1

( y1 y0 ) +

2
y1 y2

( y2 y1 ) + ... +

n
yn 1 yn

( yn yn 1 )

15

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

"l segundo miembro de esta igualdad aumentar si se sustituyen cada una de las magnitudes 1, 2 , ... ,n por la mayor de ellas # que designaremos por ' $ y cada denominador se sustituye por y0 2 . Por consiguiente,

' <

'
y0
2

( y1 y0 + y2 y1 + ... + yn yn 1 ) =

'
y0 2

( yn y0 )

' tambi&n *i ' tiende a cero, de esta desigualdad se deduce que la diferencia se aproxima a cero. Aransformemos ahora la suma Z hasta que adquiera el aspecto de

Z = 1 . 1 + 2 . 2 + ... + n . n y1 1 y2 2 yn n
)e aqu, designando por

la menor y por

la mayor de las relaciones

1 2 , ,..., n 1 2 n
obtenemos

#E$

*upongamos que el n!mero n aumenta ilimitadamente y supongamos que al mismo tiempo cada una de las magnitudes 1, 2 , ... , n y, por consiguiente, la magnitud
' se aproximar, tiende a cero. "ntonces la diferencia como demostramos anteriormente, a cero, mientras que las magnitudes , tienden a la unidad 2$ . )ebido a esto de las ' , Z se desigualdades # / $ y # E $ se deduce que cada una de las sumas , aproximar a un mismo lmite y que &ste ser igual a la longitud hiperb lica s del arco AB . Lo ms c modo es utili+ar la suma Z , puesto que en ella figuran las longitudes de los segmentos euclidianos y no las de los arcos. As pues

'

s = lmZ = lm ( 1 + 2 + ... + n ) y1 y2 yn

#F$

donde la transici n al lmite se efect!a en las condiciones indicadas anteriormente.

y1 se puede admitir la distancia entre cualquier punto del segmento AP 1 y la recta u , por y 2 se puede admitir la distancia entre cualquier punto del segmento P 1P 2 y u , etc. 'on esto la suma Z
Advertiremos que en la igualdad # F $ por puede cambiar su magnitud, pero su lmite no variar.

16

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Digura @ *i el arco de cierta lnea se puede dividir en un n!mero finito de partes que satisfagan las condiciones expuestas ms arriba para el arco AB , resulta ser que la longitud hiperb lica de este arco representa la suma de las longitudes hiperb licas de dichas partes. Por e(emplo, el arco AD , expuesto en la Digura @ , lo dividimos en las partes AB, BC y CD , pero los puntos de divisi n lo marcamos en el arco CD partiendo desde D hacia C . *upongamos que los puntos del semiplano se despla+an de tal manera que la longitud hiperb lica de cualquier arco perteneciente a este semiplano es igual a la longitud hiperb lica de este mismo arco en su nueva posici n. *eme(ante despla+amiento de los puntos lo denominaremos movimiento hiperb lico. "ste concepto es anlogo al concepto del movimiento del plano euclidiano, por e(emplo, al giro del plano euclidiano en cierto ngulo alrededor de cualquier punto de dicho plano. *i el movimiento hiperb lico transforma la figura F en F 1 entonces las figuras F y

F 1 se denominan figuras hiperb licamente iguales. "xaminemos los tipos ms simples de movimientos hiperb licos. 2$*i se traspasa cada punto del semiplano en una misma distancia y en una misma direcci n paralelamente a la recta u , resulta que cada figura se transforma en otra hiperb licamente igual a ella, pues no vara ni su magnitud euclidiana, ni la distancia de sus puntos a u . )e aqu deducimos que el despla+amiento euclidiano del semiplano a lo largo de la recta es un movimiento hiperb lico. 5$*upongamos que la transformaci n de similitud con centro en el punto arbitrario O de la recta u y con coeficiente positivo de similitud transforma el segmento MN en el segmento M 1 N 1 # Digura J $. )esignemos por y e y1 , respectivamente, las distancias de los

17

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Digura J puntos

N y N1 a la recta OMN y OM1N1 tendremos %

u.

"n virtud de la seme(an+a de los tringulos

MN M N = 1 1 y y1
)e aqu y de la igualdad # F $ se deduce que durante dicha transformaci n no vara la longitud hiperb lica de un arco determinado de cualquier lnea. Por consiguiente, la transformaci n de similitud con centro de similitud en la recta u y con coeficiente positivo de similitud es un movimiento hiperb lico. "l coeficiente de similitud se elige positivo con el fin de que el segmento M 1 N 1 '. resulte estar en el semiplano , y no en /$ "xaminemos la inversi n respecto a la circunferencia k de radio arbitrario R con el centro O en la recta u # Digura 20 $.

Digura 20

*upongamos que M y N son puntos suficientemente cercanos entre s, M ' y N ' son los puntos sim&tricos a los dos primeros respecto a la circunferencia k . )esignemos por y e y ' las distancias entre los puntos de intersecci n de la bisectri+

18

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

del ngulo MON con los segmentos MN y M ' N ' y la recta tringulos OMN y ON ' M ' son seme(antes, entonces

u.

Puesto que los

MN M 'N' = y y' )e aqu y de la igualdad # F $ deducimos que durante la transformaci n dada no vara la longitud hiperb lica de un arco determinado de cualquier lnea. Por consiguiente, la inversi n respecto a una circunferencia de cualquier radio con centro en la recta u es precisamente un movimiento hiperb lico. E$ K, por fin, no es difcil convencerse de que la transformaci n de simetra respecto a un e(e perpendicular a la recta u es precisamente un movimiento hiperb lico. Puesto que el movimiento hiperb lico tiene la propiedad de pasar cualquier figura a otra hiperb licamente igual, la transformaci n, que representa la secuencia de varios movimientos hiperb licos, posee esa misma propiedad y, en virtud de ello, seme(ante transformaci n es tambi&n un movimiento hiperb lico. Anotaremos sin demostraci n alguna que cualquier movimiento hiperb lico puede ser presentado en forma de secuencia de un n!mero finito de movimientos hiperb licos simples que anteriormente examinamos. 7ostraremos ahora que en el semiplano , con las reglas de medici n de longitudes establecidas para &l, se cumplen las tesis de la geometra de Lobachevs9i. Para ello tendremos que examinar en el semiplano ciertas figuras que se caracteri+an por las mismas propiedades que las respectivas figuras de la geometra de "uclides pero que, posiblemente, se diferencien de estas !ltimas por su forma6 para ellas conservaremos los t&rminos de la geometra euclidiana con el prefi(o - hiperb lico -% por e(emplo, denominaremos recta hiperb lica a la lnea por la cual se mide la distancia hiperb lica ms corta entre cualesquiera dos puntos de ella6 denominaremos circunferencia hiperb lica al lugar geom&trico de puntos que se encuentran a una misma distancia hiperb lica del punto dado. Aclaremos cules lneas del semiplano son rectas hiperb licas. Ante todo sern rectas hiperb licas las semirrectas eucldeas perpendiculares a la recta u , hecho que se deduce de las consideraciones siguientes. *upongamos que los puntos A y B se encuentran en la perpendicular a la recta # Digura 22$

19

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Digura 22 <namos estos puntos con el segmento de la recta AmB y con cualquier otra curva o quebrada AnB . *upongamos que dos rectas arbitrarias a y b , bastante pr ximas entre si y paralelas a u , cortan el segmento AmB en los puntos C y D y la lnea AnB , en los puntos E y F . Puesto que la longitud euclidiana del segmento CD , hablando en general, es menor que la longitud euclidiana del arco EF y sus CD EF y longitudes hiperb licas pueden considerarse iguales a , donde y es la y y distancia entre el punto D ( o F ) y la recta u , la longitud hiperb lica del segmento CD , hablando tambi&n en general, es menor que la longitud hiperb lica del arco EF # estas longitudes hiperb licas sern iguales entre s solamente en la condici n de que el arco EF sea un segmento de la recta euclidiana perpendicular a u 6 es evidente que esta condici n no se cumple siempre, ya que, de lo contrario, el arco AnB coincidira con el segmento AmB $. )e aqu se deduce que la longitud hiperb lica del segmento AmB es menor que la longitud hiperb lica del arco AnB , que es lo que se quera demostrar. )emostremos ahora que la semicircunferencia de la circunferencia euclidiana k con el centro en la recta u es tambi&n una recta hiperb lica.

*upongamos que k corta la recta u en los puntos A y B # Digura 25 $. )escribamos la circunferencia q con el centro en el punto A y admitamos a &sta como circunferencia de inversi n. *upongamos que k y q se cortan en los puntos M y N . )urante la inversi n respecto a q la circunferencia k , que pasa por el polo de inversi n, se transforma en la recta MN . Ka que la inversi n es un movimiento hiperb lico y la recta MN es perpendicular a u , se ve que la semicircunferencia k , mediante el movimiento hiperb lico , se transforma en una recta hiperb lica. Por consiguiente, esta semicircunferencia es tambi&n una recta hiperb lica.

20

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Digura 25 )e esta manera las semirrectas eucldeas perpendiculares a la recta u y las semicircunferencias euclidianas con el centro en la recta u sern las rectas hiperb licas del semiplano . A continuaci n, examinando el axioma 2, nos convenceremos de que no existen otras rectas hiperb licas. Levantemos en el semiplano una perpendicular a la recta u por cualquier punto arbitrario M de &sta # Digura 2/ $, eli(amos en dicha perpendicular un punto A y construyamos los puntos A 1 , A2 , A3 ,... de tal manera que se cumplan las igualdades%
AA1 = A 1M ,

A 1A 2 = A 2 M ,

A 2 A 3 = A 3 M , ...

Digura 2/

21

GEOMETRA MODERNA
'on otras palabras, A 1 es el centro del segmento

LA GEOMETRA DE LOBACHEVSKI

AM ,

A 2 es el centro del

segmento A 1M , A 3 es el centro del segmento A 2 M , etc. "xaminemos la transformaci n de similitud con centro de similitud M y coeficiente de similitud L. "sta transformaci n es un movimiento hiperb lico que traspasa los puntos A , A 1 , A 2 ,.... respectivamente, a los puntos A 1 , A2 , A3 ,... . )e aqu se deduce que las longitudes hiperb licas de los segmentos AA 1, A 1 A2 , A2 A3 ,... son iguales entre si. )e este modo, la construcci n efectuada por nosotros se reduce a tra+ar en la recta hiperb lica AM , desde el punto A , los segmentos AA 1, A 1 A2 , A2 A3 ,..., hiperb licamente iguales entre si, y, como se ve en la construcci n, por muchos segmentos seme(antes que construyamos, nunca alcan+aremos el punto M . Por consiguiente, M es un punto de la recta hiperb lica AM infinitamente ale(ado. 'omo M es un punto arbitrario de la recta u de lo anterior se deduce que todo punto de la recta u es un punto del semiplano infinitamente ale(ado. "l proceso del tra+ado de segmentos iguales entre si AB1 , B1B2 , B2 B3 ,... en la recta hiperb lica AM # Digura 2/$ puede ser efectuado tambi&n en la direcci n opuesta a la examinada ms arriba, y este proceso tambi&n ser infinito. )e aqu se deduce que el punto de la recta AM , ale(ado infinitamente en el sentido de la geometra euclidiana, ser al mismo tiempo un punto de la recta hiperb lica AM infinitamente ale(ado. 'ualquier punto de la recta hiperb lica AM , a excepci n de los dos puntos indicados anteriormente, se encontrar a una distancia finita hiperb lica de A ya que, para un valor finito suficientemente grande del n!mero entero positivo n , se encontrar o bien en el segmento AAn , o bien en el segmento ABn . Asi pues, la recta hiperb lica AM , y por lo tanto toda recta hiperb lica, tiene dos, y solamente dos, puntos infinitamente ale(ados. *i la recta hiperb lica se expone como una semicircunferencia euclidiana con centro en la recta u , los puntos de intersecci n con u sern sus puntos infinitamente ale(ados. *e1alaremos que la recta euclidiana tiene s lo un punto infinitamente ale(ado6 &ste es el punto com!n de la recta dada y de todas las rectas paralelas a ella. Ahora no es difcil convencerse de que en el semiplano se cumplen todos los axiomas del plano de la geometra de Lobachevs9i . ;os limitaremos a examinar dos axiomas. AMCO7A 2. Por dos puntos diferentes puede ser tra+ada una, y solamente una, recta hiperb lica. *i los puntos dados A y B se encuentran en la perpendicular euclidiana a la recta u , esta perpendicular ser la recta hiperb lica que se busca. "n caso contrario hallamos en la recta u el punto N , equidistante de A y B , y describimos desde el centro N con radio NA una semicircunferencia #Digura 2E$6 &sta ser la recta hiperb lica que buscamos. )emostraremos que a trav&s de dos puntos diferentes A y B no pueden pasar dos rectas hiperb licas diferentes l y l ' . "s suficiente suponer que A y B pertenecen a la perpendicular euclidiana l a la recta u #Digura 2F$, ya que cualquier otro caso se reduce a &ste mediante el correspondiente movimiento hiperb lico. Para seme(ante disposici n de los puntos A y B la distancia hiperb lica ms corta entre ellos se mide, como se demostr anteriormente, solamente por la recta euclidiana l , por lo que en el segmento AB coinciden l y l ' . Admitamos ahora que el punto C , que se

22

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

encuentra en l ' , no pertenece a l , y que adems B se encuentra en l ' entre A y C . "ntonces el arco AC de la semicircunferencia euclidiana k con el centro en u pertenecer a la recta hiperb lica, que en el segmento AC no coincide con l ' , l y l ' coinciden por cosa que, como acabamos de ver, es imposible. Asi pues, completo.

Digura 2E

Digura 2F )e aqu se deduce que no existen otras rectas hiperb licas que no sean las semirrectas euclidianas perpendiculares a u y las semicircunferencias euclidianas con centros en u % por cualesquiera dos puntos dados pasa una sola recta hiperb lica que, adems, es de uno de estos dos tipos. A7IOMA %. 1or el punto P #ue no pertenece a la recta 8iper)(lica pueden ser tra9adas dos rectas 8iper)(licas paralelas a p .

23

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

DEFINCIN )os rectas hiperb licas se llaman paralelas si tienen un punto com!n ale(ado infinitamente. "n particular, las rectas hiperb licas expuestas en forma de perpendiculares euclidianas a u , son paralelas% su punto com!n, ale(ado infinitamente, es el mismo en el semiplano que en el plano euclidiano . )esignemos por A y B # figura 2B $ los puntos de la recta hiperb lica p infinitamente ale(ados. Aracemos a trav&s de P y A la semicircunferencia euclidiana m con centro M en la recta u , y a trav&s de P y B la semicircunferencia euclidiana n con centro N en u . Las semicircunferencias euclidianas m y n sern las rectas hiperb licas que buscamos6 &stas sern paralelas a la recta hiperb lica p en sus diferentes direcciones% m, en la direcci n de B hacia A y n , en la direcci n de A hacia B . Por el punto P pasan rectas hiperb licas de tres g&neros% 2$ que cortan la recta p 5$ paralelas a p /$ que no cortan la recta

p y no son paralelas a &sta.

Digura 2B "xiste una multitud infinita de rectas hiperb licas del primer g&nero, multitud infinita de rectas hiperb licas del tercer g&nero, y s lo dos del segundo g&nero. Para la construcci n de una recta hiperb lica del primer g&nero es menester desde cualquier punto arbitrario del segmento MN , como desde el centro, describir una k semicircunferencia de radio P # Digura 2H $. *i efectuamos esta misma construcci n tomando por el centro de la semicircunferencia un punto arbitrario ! de la recta u , que se encuentre fuera del segmento MN , obtendremos la recta hiperb lica l del tercer g&nero # la misma figura $. Ahora es obvio que el axioma 5 es equivalente al axioma del paralelismo de Lobachevs9i formulado en CC. *i dos rectas hiperb licas no se cortan y no son paralelas, se denominan divergentes. Por e(emplo, las rectas p y l # Digura 2H $ son divergentes.

24

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Digura 2H )e este modo, en el semiplano se cumplen los axiomas, y quiere decir que tambi&n los teoremas, de la geometra de Lobachevs9i. Por esto el semiplano , con las reglas de medici n de longitudes que anteriormente se establecieron para &l, representa el plano de Lobachevs9i, o, hablando ms exactamente, la carta del plano de Lobachevs9i en el plano euclidiano. GC)A K A'ACGC)A) )" ;. C. LO?A':"G*NC ;icoli Cvnovich Lobachevs9i naci el 50 de noviembre #02 de diciembre seg!n el estilo nuevo$ de 2HJ5 en la familia de un funcionario pobre. ;icoli Lobachevs9i y sus dos hermanos quedaron prematuramente a cargo de su madre, mu(er en&rgica y sensata que, a pesar de la excesiva escase+ de medios, envi a todos sus hi(os a estudiar en el gimnasio de Na+n. ;. C. Lobachevs9i estudi en el gimnasio de Na+n desde 2@05 hasta 2@0H, y en la <niversidad de Na+n, desde 2@0H hasta 2@22. )isponiendo de brillantes aptitudes matemticas Lobachevs9i curs exitosamente los estudios y, una ve+ acabados &stos en la <niversidad, fue retenido en ella para prepararse a ser catedrtico, ttulo que le fue concedido en el a1o 2@2B. La actividad pedag gica de Lobachevs9i de( una viva impresi n en la memoria de sus discpulos. *us conferencias se caracteri+aban por la claridad y plenitud de exposici n. Los conocimientos de Lobachevs9i en las diversas ramas de la ciencia eran vastos y multifac&ticos, hecho que le permita asumir sobre si ciclos de conferencias no s lo de asignaturas de serie matemtica, sino tambi&n de mecnica, fsica, astronoma, geod&sica y topografa. :abiendo sido elegido en el a1o 2@5H rector de la universidad de Na+n, Lobachevs9i desempe1 esta funci n cerca de veinte a1os. *iendo un administrador talentoso y en&rgico que comprenda bien los problemas de la ense1an+a superior pudo convertir la universidad de Na+n en un centro modelo de ense1an+a superior de aquel tiempo. Por iniciativa de Lovachevs9i la universidad comen+ a editar las -7emorias cientficas., se foment la construcci n de edificios universitarios y se inaugur el observatorio de astronoma de la universidad. *u actividad cientfica dio a Lobachevs9i fama mundial. "l inmortali+ su nombre con la creaci n de la geometra no euclidiana que en la actualidad, de acuerdo al nombre de su fundador, la denominan geometra de Lobachevs9i 2$. "l 22 #5/$ de febrero de 2@5B, en la sesi n de la secci n de ciencias fsicoO matemticas de la universidad de Na+n, Lobachevs9i intervino con una conferencia en la que, por primera ve+, inform respecto a su invento de la geometra no euclidiana. La primera exposici n de los principios de &sta, aparecida en la prensa, fue la memoria

25

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

de Lobachevs9i -*obre los fundamentos de la =eometra., publicada en los a1os 2@5JO 2@/0 en la revista -?oletn de Na+n. . "l invento de Lobachevs9i no fue concebida por la mayora de sus contemporneos6 sus traba(os respecto a la geometra obtuvieron (uicios negativos tanto en Pusia como en el extran(ero. Las ideas del gran sabio ruso eran demasiado audaces y diferan ostensiblemente con los puntos de vista que entonces predominaban en la ciencia6 precisamente por esto transcurri mucho tiempo antes de que dichas ideas se ganaran el reconocimiento com!n que vino solamente despu&s de la muerte de Lobachevs9i. 888888888888888888888888888888888888888 $ Otra de sus denominaciones, la de geometra hiperb lica, est vinculada al hecho de que en &sta la lnea recta, igual que la hip&rbola en la geometra euclidiana, tiene dos puntos ale(ados infinitamente.
2

Lobachevs9i no fue disuadido de la (uste+a de sus deducciones por los ataques de la crtica y, con la energa e insistencia que le carateri+aban, prosigui el estudio del sistema geom&trico creado por &l. Publica una serie de traba(os dedicados a la geometra no euclidiana. "l !ltimo de &stos, terminado por Lobachevs9i algo antes de su muerte, fue dictado por &l cuando ya no poda escribir por la ceguedad que le afect en su ve(e+. La actividad cientfica de Lobachevs9i no quedaba reducida a las investigaciones geom&tricas, perteneci&ndole tambi&n varios traba(os fundamentales en la rama del lgebra y del anlisis matemtico. "l m&todo de soluci n aproximada de ecuaciones algebraicas, inventado por Lobachevs9i, es muy fino y prctico. Los criterios filos ficos de Lobachevs9i tenan tendencia materialista bien destacada, y &ste consideraba que el medio ms seguro de comprobaci n de las deducciones te ricas era la experiencia, la prctica. Lobachevs9i exiga una ense1an+a de las matemticas que ave+ara a ver tras las operaciones matemticas los fen menos reales de la vida. "n el a1o 2@EB Lobachevs9i fue destituido de su traba(o en la universidad y nombrado ayudante del curador del distrito de ense1an+a de Na+n. Aunque formalmente esto era ascenso en el cargo, prcticamente, de esta manera, los (efes superiores se esfor+aron por deshacerse del rector que, por ser de orientaci n progresista, les era indeseable. "n su nuevo cargo, subordinado al curador del distrito de ense1an+a de Na+n, Lobachevs9i se vea mucho ms restringido en sus actividades que durante su permanencia en el cargo de rector de la universidad y sufra por su retiro de &sta, a la que estaba unida toda su vida. Lobachevs9i falleci el 25 #5E$ de febrero de 2@FB. "n 2@JB, frente al edificio de la universidad de Na+n, fue erigido un monumento al eminente sabio.

26