Lecciones populares de matemticas

ACERCA DE LA GEOMETRIA DE LOBACHEVSKI

A. S . S mo g o r z h e v s k i
1/

//

V
V

f 1\ A-i i
1 I 1

/A

,,C_.

*J

Editorial MIR

Mosc

www.FreeLibros.me

www.FreeLibros.me

www.FreeLibros.me

noiiyjlHPHbIL -ill KUHM n o MAiKMATMKE

A C C'MOI OPCEBCKMH

riE O M E T P M M

J IO B A M E B C K O r O

H U A I I . I I . C T I ) Il M O C K HA

K\:

www.FreeLibros.me

LEC C IO N ES POI l LARl;S DI

VI ATI. M VI ICAS

A S. S M O G O K /H I VSKI

ACERCA DE LA GEOMETRA DE LOBACHEVSKI

11)1 rOHI-M MIR

MOSC '

www.FreeLibros.me

IMPRESO EN .A URSS. 1978

Traducido del ruso por el ingeniero Virgilio Llanos Ms

It UcnwiKOM HJblKC

Traduccin al espaol. Editorial Mir. 1978

www.FreeLibros.me

5
IN D IC E

Prefacio del autor 7 1. Bosquejo resumido de la vida y actividad de N. I Lobachevski 9 2. Respecto al origen de los axiomas y su papel en la geo metra 12 3. Inversin 24 S 4. Carta del plano de Lobachevski 33 5. La circunferencia en el plano de Lobachevski 47 6. La equidistante 51 7. La linea limite 52 8. Algunos teoremas de la geometria de Lobachevski 54 9. Observaciones complementaras 58 10. Acerca de los logaritmos naturales y funciones hiper blicas 59 I I . Medicin de segmentos de las rectas hiperblicas 64 12. Frmulas fundamentales de la trigonometria hiperblica 68 13. Longitudes de algunas curvas planas de la geometra de Lobachevski 73 Conclusin 78

www.FreeLibros.me

www.FreeLibros.me

PR EF ACIO DEL AUTOR

Ei objetivo de este libro es dar a conocer al lector los fundamentos principales de la geometra no cuclidiana de Lo ba che vski. El clebre cientfico ruso N. I. Lobachevski era un pensador notable. A l le pertenece uno de los inventos matemticos ms importantes, la creacin de un sistema geomtrico original distinto de la geometra de Euclidcs. Los datos biogrficos breves de Lobachevski el lector los hallar en el 1 de nuestro libro. Las geometras de Euclides y Lobachevski tienen mucho de com n; en ellas slo son diferentes las definiciones, los teoremas y las frmulas ligadas al axioma del paralelismo. Para comprender qu es lo que suscit esta diferencia se debe examinar cmo surgieron y desarrollaron las nociones geomtricas fundamentales. El 2 est dedicado a esta cuestin. Para la comprensin de) libro, adems del conocimiento de geometra (planimetra) y de trigonometra en el grado del curso de segunda enseanza, se requiere el conocimiento de la trans formacin denominada inversin. En el 3 damos un resumen de sus propiedades ms importantes. Esperamos que el lector, sin gran trabajo y con provecho para s, asimile el contenido de este prrafo que. igual que el 10, juega en nuestro libro un papel que aunque es auxiliar es de suma importancia.

www.FreeLibros.me

www.FreeLibros.me

1. BOSQUEJO RESUMIDO DE LA VIDA Y ACTIVIDAD DE N. I. LOBACHEVSKI

Nicoli Ivnovich Lobachevski naci e! 20 de noviembre (1 de diciembre segn el estilo nuevo) de 1792 en la familia de un fun cionario pobre. Nicoli Lobachevski y sus dos hermanos quedaron prematuramente a cargo de su madre, mujer enrgica y sensata que. a pesar de la excesiva escasez de medios, envi a todos sus hijos a estudiar en el gimnasio de Kazn. N. I. Lobachevski estudi en el gimnasio de Kazn desde 1802 hasta 1807, y en la Universidad de Kazn, desde 1807 hasta 18)1. Disponiendo de brillantes aptitudes matemticas Lobachevski curs exitosamente los estudios y, una vez acabados stos en la U ni versidad, fue retenido en ella para prepararse a ser catedrtico, ttulo que le fue concedido en el ao 1816. La actividad pedaggica de Lobachevski dej una viva impresin en la memoria de sus discpulos. Sus conferencias se caracterizaban por la claridad y plenitud de exposicin. Los conocimientos de Lobachevski en las diversas ramas de la ciencia eran vastos y multifacticos, hecho que le permita asumir sobre s ciclos de conferen cias no slo de asignaturas de la serie matemtica, sino tambin de mecnica, fsica, astronoma, geodesia, topografa. Habiendo sido elegido en el ao 1827 rector de la Univer sidad de K azn, Lobachevski desempe esta funcin cerca de veinte aos. Siendo un administrador talentoso y enrgico que comprenda bien los problemas de la enseanza superior pudo convertir la Universidad de Kazn en un centro modelo de ense anza superior de aquel tiempo. Por iniciativa de Lobachevski la Universidad comenz a editar las Memorias cientficas, se foment la construccin de edificios universitarios y se inaugur el observatorio de astronoma de la Universidad. Su actividad cientfica dio a Lobachevski fama mundial. El inmortaliz su nombre con la creacin de la geometra no euclidiana que en la actualidad, de acuerdo al nombre de su fundador, la denominan geometra de Lobachevski1 1 .
* Otra de sus denominaciones, la de yeomt'ira hiperblica, est vinculada al hecho de que en sta la linea recta, igual que la hiprbola en la geometra euclidiana, tiene dos puntos infinitamente (vase 4).
2-68

alejados

www.FreeLibros.me

10
El 1 1 (23) de febrero de 1826, en la sesin de la Seccin de ciencias fsico-matemticas de la Universidad de Kazan . Lobachevski intervino con una conferencia en la que, por primera vez, inform respecto a su invento de la geometra no euclidiana. La primera exposicin de los principios de sta, aparecida en la prensa, fue la memoria de Lobachevski Sobre los fundamentos de la Geometra", publicada en los aos 1829- 1830 en la revista "Boletn de Kazan". El invento de Lobachevski no fue concebido por la mayora de sus contemporneos; sus trabajos respecto a la geometra obtu vieron juicios negativos tanto en Rusia como en el extranjero. Las ideas del gran sabio ruso eran demasiado audaces y diferan ostensiblemente con los puntos de vista que entonces predominaban en la ciencia; precisamente por esto transcurri mucho tiempo antes de que dichas ideas se ganaran el reconocimiento comn que vino solamente despus de la muerte de Lobachevski. Lobachevski no fue disuadido de la justeza de sus deducciones por los ataques de la crtica y, con la energa e insistencia que le caracterizaban, prosigui el estudio del sistema geomtrico creado por l. Publica una serie de trabajos dedicados a la geometra no euclidiana. El ltim o de stos, terminado por Lobachevski algo antes de su muerte, fue dictado por l cuando ya no poda escribir por la ceguedad que le alecto en su vejez. La actividad cientfica de Lobachevski no quedaba reducida a tas investigaciones geomtricas, pertcnecindole tambin varios tra bajos fundamentales en la rama del lgebra y del anlisis mate mtico. El mtodo de solucin aproximada de ecuaciones alge braicas, inventado por Lobachevski, es muy fino y prctico. Los criterios filosficos de Lobachevski tenan tendencia materia lista bien destacada, y ste consideraba que el medio ms seguro de comprobacin de las deducciones tericas era la experiencia, la prctica. Lobachevski exiga una enseanza de las matcmaticas que avezara a ver tras las operaciones matemticas los fenmenos reales de la vida. En el ao 1846 Lobachevski fue destituido de su trabajo en la Universidad y nombrado ayudante del curador del distrito de enseanza de Kazan. Aunque formalmente esto era ascenso en el cargo, prcticamente, de esta manera, los jefes superiores se esforzaron por deshacerse del rector que, por ser de orien tacin progresista, les era indeseable. En su nuevo cargo, subor dinado al curador del distrito de enseanza de Kazan, Lobachevski se vea mucho ms restringido en sus actividades que durante

www.FreeLibros.me

www.FreeLibros.me

12

su permanencia en el cargo de rector por su retiro de sta, a la que estba Lobachevski falleci e! 12 (24) de frente al edificio de la Universidad m onum ento al eminente sabio

de la Universidad y sufra unida toda su vida . febrero de 1856. En 1896, de Kazan, fue erigido un

2. RESPECTO AL ORIGEN DE LOS AXIOM AS Y SU PAPEL EN LA GEOMETRA

Para aclarar el pape) 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 im por tantes principios de aspecto prctico para la medicin de ngulos, reas de algunas figuras y volmenes de los cuerpos ms simples. Estos 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 geomtricos, pero no encontramos tentativas de formularlos. Con el tiempo, cuando se am pli el crculo de objetos a los que se aplicaban los conocimientos geomtricos adquiridos, se puso en claro la necesidad de formular los principios geomtricos en
El lector puede encontrar datos biogrficos ms amplios respecto a Lobachevski en los libros siguientes: V . F. Kagiin. Lobachevski, M., L., 1948. Este amplio trabajo (506 pgs.), adems de la biografa detallada de Lobachevski, contiene cambin un resumen de sus obras. y. F. Kagn. El gran sabio N. I. Lobachevski y su puesto en la ciencia mundial, M., L 1943. U n libro pequeo escrito de manera popular. P. A. Shirkov, V . F. Kiiytin. Estructura de la geometra no euclidiana. Edicin I de la serie La geometra de Lobachevski y el desa rrollo de sus ideas", M L., 1950. En una de las partes de este libro se da un resumen breve, bien llevado a cabo, de los fundamentos de la geometra de Lobachevski, resumen comprensible para el amplio crculo de lectores. Vase tambin el articulo Lobachevski en el tomo 25 de la Gran Enciclopedia Sovitica (2J edicin, pgs. 314 317).

www.FreeLibros.me

13
su forma ms general, hecho que determin el paso en la geo metra de conceptos concretos a conceptos abstractos . As, por ejemplo, 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 nocin abstracta de rectngulo . D e este modo se constituy el sistema de conocimientos que obtuvo el nombre de geometra . En la primera fase de su desa rrollo la geometra era una ciencia emprica, es decir, una ciencia en la que todos los resultados se deducen directamente en la prctica. E l desarrollo de la geometra march por un nuevo camino cuando se repar en que algunas de sus proposiciones no re quieren argumentacin emprica, ya que stas pueden ser derivadas de otras proposiciones mediante deducciones basadas en las leyes de la lgica. Se comenz a diferenciar en la geometra proposi ciones de dos gneros: las establecidas por va prctica (ms tarde denominadas axiomas) y las demostrables lgicamente basndose en los axiomas (teoremas). Puesto que, po r no requerir dispositivos especiales, ni numerosas mediciones fastidiosas, la argumentacin lgica en el aspecto tc nico es considerablemente ms simple que la emprica, ante ios sabios de la antigedad, como es natural, se plante el problema de reducir al m nim o el nmero de proposiciones del primer gnero (axiomas) para facilitar de este modo e! trabajo del ge metra trasladando el peso fundamental a la esfera del raciocinio lgico. Este objetivo result ser realizable, ya que la geometra se abstrae de todas las propiedades de los cuerpos excepto su extencin, propiedad muy esencial pero tan simple que toda clase de relaciones geomtricas pueden ser deducidas de un nmero reducido de proposiciones - axiomas segn las ieyes de la lgica. D e esta manera la geometra se transform de ciencia em prica en ciencia deductiva de exposicin axiomtica, que caracte riza su estado a c tu a l1 La p rim era exposicin sistemtica de tas tesis fundamentales de la geometra llegada hasta nosotros fueron los E lementos de Euclides, escritos cerca de 300 aos antes de nuestra era. Esta obra est construida segn el esquema siguiente: despus de las
'* Deduccin accin de deducir. Se llama deductiva a la ciencia en la que las tesis nuevas se derivan de las anteriores de manera puramente lgica.

www.FreeLibros.me

14
d efiniciones 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 demues t ran, solamente se enuncian . Dur ante el transcurso de dos milenios los E lementos de Euclides gozaron de autoridad innegable en el m undo cientfico. Sin emba rgo, un pasaje de este trabajo pareca no estar suficientemente justificado . Se sob reentiende el axioma del paralelismo, que E lid i dos formul asi: Si dos lincas ra ta s , al intersecarse con una tercera, forman ngulos internos unilaterales cuya suma es inferior a dos nf/ulos rectos, resulta ser que estas dos rectas, al prolongarlas ilimitada mente, se encontraran por aquel lado en el que esta suma es inferior de dos ngulos rectos " . La justeza del axioma del paralelismo de Euc lides no sus citaba dudas . La duda respecto a este ax iom a ra dicaba en otra c osa: < ; era j usto el haberlo relacionado a la categora de los axiomas?, no sera posible demostrar este axioma con ayuda de otros axiomas de los E lementos euclidianos y, de esta manera, pasarlo a ia categora de los teoremas? Al principio, los intentos de demostrar el axioma del paralelismo reflejaban la tendencia sealada anteriormente de dism inuir el nmero de proposiciones geomtricas, que exigan fundamentacin emprica . C on el transcurso del tiempo la situacin vari: se olvid el origen experimental de los axiomas y stos se comenzaron a interpretar como verdades evidentes de por si, independientemente de cualquiera que fuera el experimento2'. Semejan te p unto de
1' En los mu males escolares de geometra, el axioma del paralelismo de Fuclides est sustituido por la siguiente proposicin equivalente: a traces de un pinito simado fuera de una recta se puede trazar

solamente una rechi xa-alela a la primera.

Cualesquiera dos axiomas de la gcomeiria cuotidiana 11 otra geometra se consideran similares (equivalentes) si de ambos se deducen unos mismos resultados, a l.i par que lodos los axiomas restantes de esta geometria quedan cu vigor. F.s sahido que los ciegos de nacimiento que en la edad madura lian recuperado la vista por va quirrgica, al principio, despus de la operacin, no pueden distinguir el cubo de la esfera sin haberlos palpado. Asi se demuestra la necesidad del experimento para una percepcin justa de las figuras geomtricas, sin lo cual no pueden elaborarse conceptos geomtricos.

www.FreeLibros.me

15
vista engendr ia seguridad de que el axio m a del paralelismo, qu e por su co mp lejidad es difcil ad m itir lo co mo axio mtico, en realidad no es un axio m a y, por consiguiente, se puede hallar ia de mostr acin de la afir m acin contenida en l. Sin e mb argo, los nu m erosos esfuerzos en este sentido no dieron resultados positivos y el axio m a del paralelis mo, cual tesoro hechizado, no descubra a los in vestigadores sus secretos. Los intentos de demostrar este axio m a, condenados al fracaso, exigieron un consu mo enor m e de trabajo intelectual de nu m erosas generaciones de sabios y fueron la expiacin por la interpretacin idealista de la esencia de los axio m as. El tipo de de mostracin errnea del axio m a del paralelis mo d e Euclides ms di fundido era ei de su sustitucin por otra pro posicin equiv alente co mo, por eje mp lo: la perpendicular y ki o blicua respecto a una misma recta se cortan ; o : existe un trian gulo semejante al triangulo Jado pero no igual a ste; o: el lugar geomtrico de puntos equidistantes de una recta duda , si se encuen tran a ttn mismo lado de sta, es una recta; o: a travs de cualesquiera tres puntos se puede trazar o bien una recta, o bien una circunferencia. M s adelante demostraremos que, si el axioma del paralelismo de Euclides no tiene lugar, todas estas proposiciones -son errneas. Por consiguiente, admitiendo cualquiera de las pro posiciones enumeradas como un axioma, consideramos que el axioma euclidiano del paralelismo es justo, es decir, partimos de la justeza de aquello que queramos demostrar. En sus investigaciones de la teora de las lneas paralelas Lobachevski fue por otro camino. Habiendo comenzado por inten tos de demostrar el axioma del paralelismo pronto advirti que uno de ellos conduce a resultados absolutamente inesperados. Este intento consista en la utilizacin del mtodo de demostracin por oposicin y se basaba en la consideracin siguiente: si el axioma del paralelismo de Euclides es resultado de otros axiomas de los Elementos y si, no obstante, se admite que a travs de un punto fuera de una recta , en el plano determinado por stos, se pueden trazar por o menos dos rectas queno cortan a la recta dada, resultar ser que esta suposicin tarde o temprano, en sus resultados ms inmediatos o ms lejanos, conducir a una con tradiccin. Entre tanto, analizando los nuevos y nuevos resultados de la admisin hecha por 61, paradjicos desde el punto de vista de la geometra euclidiana, Lobachevski se persuada de que stos forma ban un sistema lgico no contradictorio de teoremas capaces de constituir la base de una nueva teora cientfica.

www.FreeLibros.me

16
As fue funda m entada la geo m etra no euclidiana; su axio m a del paralelismo se diferencia del euclidiano y coincide con la suposi cin citada anterior m ente, que en lo sucesivo d eno min are mos axio m a del paralelis mo de Lobachevski N o obstante, quedaba no claro si se poda afir m ar con segu ridad que ninguno de los nu m erosos posibles resultados del axio m a del paralelis mo de Lobachevski conduci r a a una contradiccin. Lobachevski fij la solucin de esta cuestin: seal que la incontrariedad de la geo m etra descubierta por l debe deducirse de la posibilidad de arit m etizarla, es decir, de la posibilidad de reducir la solucin de cualquier proble m a geo mtrico a clculos arit mticos y transfor m aciones analticas, utilizando para ello las fr mu las de la trigono m etra hiperblica deducidas por l mismo. U lterior m ente fueron halladas por otros sabios de mostraciones rigurosas de la incontrariedad de la geo m etra de Lobachevski. Las investigaciones de Lobachevski en la ra m a de la geo m etra hiperblica son muy vastas: abarcan su parte ele m ental, la trigo no m etra, ia geo m etra analtica y la geo m etra diferencial. U tili zando los mtodos de la geo m etra creada por l, Lobachevski ha ll ms de 200 frmu las nuevas para el clculo de las integra les definidas. El descubri miento de Lobachevski se ca lificaba por sus con te mporn eos, e incluso por sus discpulos, co m o un disp arate monstruoso, co m o un desafo audaz a las leyes de la lgica y del sentido c o m n 2. N o nos aso mbr a tal actitud respecto a la
n Posteromente se puso en claro que, adems de la geometra descubierta por Lobachevski, se pueden construir otras muchas geometras no euclideas. 2 > Desde luego, no puede sospecharse infundadamente de ineptitud de los sabios contemporneos de Lobachevski por la incomprensin de su invento; es posible que muchos de ellos no emitieron su opinin respecto al invento por pertcnccer las investigaciones de Lobachevski a una rama que no entraba en la esfera de sus intereses cientficos; tambin se sabe que el clebre matemtico alemn Carlos Gauss y el eminente gemetra hngaro Juan Bolyai, que independientemente de Lobachevski llegaron a la conclusin de la posibilidad de construir una geometra no euclidiana, compartan los puntos de vista de ste. Sin embargo, Gauss, temiendo ser incomprendido y ridiculizado, nunca intervino en la prensa apoyando las ideas de Lobachevski, y Bolyai, viendo que sus propias investiga ciones de la geometra no euclidiana (publicadas en el ao 1832) no fueron reconocidas, se apart de los ejercicios matemticos. De tal modo, Loba chevski tuvo que luchar solitariamente justificando sus ideas.

www.FreeLibros.me

17

idea genial que de mo la las nociones de aquella poca. Con la mism a hostilidad ta m bin h aba sido acogida la teoria heliocntrica de Coprnico, que negajba aquello que pareca ser absoluta m ente evi d ente y afir m aba aquello que pareca ser inconcebible. Se requeran consideraciones muy pro fundas para co mpr ender la ad misibilidad de dos geo m etras diferentes. A continuacin pasa mos precisamente a exponer algunas de estas consideraciones, las ms comprensibles. En los m anuales escolares de geo m etra, en !a parte Plani m etra, se estudia el plano independiente m ente del espacio que lo rodea: con otras palabras; la plani m etra es la geo m etra del plano euclidiano. Tambin han sido bien estudiadas las geome tras de ciertas superficies curvilneas; puede servir de ejemplo ia geometra esfrica, que encuentra am plo uso en la astronoma y en otras ramas de la ciencia. En toda ciencia los conceptos simplsimos tienen mucha im por tancia. En la geometra euclidiana semejantes conceptos son el punto, la recta, el plano. Estas denominaciones se conservan tam bin en las geometras no euclidianas, llamndose recta a la linea por la que se mide la distancia ms corla entre dos puntos y plano a la superficie que tiene la siguiente propiedad: s dos puntos de la recta pertenecen a esta superficie, resultara ser que todos los puntos restantes de la misma "recta tambin pertenecen a dicha superficie. Por ejemplo, en la geometra esfrica, se deno m inan plano y rectas, respectivamente, a la esfera y a las circunferencias de sus crculos grandes. Esta terminologa es comple tamente oportuna ya que en cualquiera de las geometras la recta es la lnea ms simple y el plano es tambin la super ficie 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 Sealaremos algunas singularidades de la geometra esfrica. Para mayor evidencia la examinaremos com o la geometra de la superficie del globo. No es difcil comprender que dos rectas de esta geometra (por ejemplo, dos meridianos) siempre se cortan en dos puntos del globo diametralmenle opuestos. Despus, la suma de los ngulos del tringulo esfrico es mayor que 2d; por ejemplo, en el tringulo limitado por un cuarto del ecuador y
l) Advertiremos que en la geometra proyeetiva falta la nocin de distancia entre dos puntos; en el caso de una geometra de tal gnero la interpretacin de las nociones recta y plano, expuesta anteriormente, es inaplicable.
3 < S

www.FreeLibros.me

18

J "

1\ C < /

' } <>
,i : i

< >

i*

r "*

'b : i rNS ' ~r

M > / :u. 4 ~ Js

: V > / '< >

o
i * / M > Irih k ij>

\ t s

. y i/

> r N

(A > v|

..i \ - /

? ^ f

<> 7 IJ
-S: \
'

7 f 4

r -,?? r A '

/
'

< *>

\ V

/ '

1 c

Si

ir < p . 2

www.FreeLibros.me

19

por los arcos de dos m eridianos (fig. 1) todos los (res ngulos son rectos1 1 . Es sabido que en la geografa, a la par con el globo, se utilizan m apas de la superficie terrestre. Esto equiv ale al estudio de la geo m etra esfrica m ediante el examen de los m apas de la esfera, hecho posible si se indica de qu manera se hallan por m edio de las efigies de las lneas en el m apa sus longitudes reales y las m agnitudes reales de los ngulos entre ellas. La cosa consiste en que en el m apa se obtienen efigies desfiguradas y el carcter de esta desfiguracin no es el mismo en todas partes. Por eje mp lo, en el m apa de la superficie terrestre ejecutado en la proyeccin de M ercator2 (fig. 2) a los meridianos les correspon den lincas rectas paralelas a las que son perpendiculares otras lneas rectas, equivalentes a los paralelos geogrficos y, al mismo tiempo, el segmento que representa l c del paralelo tiene, inde pendientemente de su latitud, una misma longitud, mientras que en la realidad la longitud de! grado de un paralelo es tanto menor cuanto ms elevada es su latitud. En 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 de nominar espacio bidimensional a la propia superficie. Desde hace mucho tiempo se conocen dos variedades de la geometra bidi mensional: la euclidiana (para el plano) y la esfrica. Al hecho de existir una geometra bidimensional no euclidiana los matem ticos no le daban gran importancia por la simple razn 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. Com o resultado de las investigaciones de Lobachevski se puso en claro que no slo son concebibles las superficies con propie dades no euclidianas, sino que tambin lo son los espacios no euclidianos tridimensionales. La introduccin del concepto de las geometras tridimensionales no euclidianas puede provocar dudas si no se hacen las aclara ciones siguientes.
1 1 Se denomina ngulo entreds lineas en el puni de su interseccin al ngulo entre las tangentes a stas en dicho punto. 2 1 Gerardo M enviar (15121594) eminente cartgrafo flamenco. La proyeccin cartogrfica propuesta por l en el ao 1569 obtuvo una divulgacin general y. desde entonces, las carias marilimas se ejecutan en esta proyeccin.

www.FreeLibros.me

20
A veces es c modo representar en for m a geo mtrica los re sultados del estudio de una clase deter min ada de fen m enos. Por eje mp lo, los datos concernientes a! incre m ento de la producti vid ad del trabajo frecuente m ente se exponen en for m a de grficas y diagram as. Esto demuestra que m ediante imgenes geo mtricas se pueden describir diversos procesos y estados reales que no tienen relacin directa con la geo m etra. Si se considera la grfica co mo un a linea del plano euclidiano, es evidente que en el eje mp lo expuesto anterior m ente se han e mp leado imgenes de la geo m etra euclidiana bidim ensional. En otros casos ms co mp licados se tiene que recurrir a las geo metras euclidianas y no euclidianas tridi m ensionales e, incluso, polidi m ensionales. De esto no se debe deducir que todas ellas describen relaciones de extensin; stas son teoras que, en sus formu laciones, utilizan tr minos geo mtricos a los que, hablando en general, se les atribuye un contenido no ligado a las nociones espaciales. As, por eje mp lo, al agregar el tie mpo a las tres di m en siones del espacio real en calidad de una cuarta di m ensin, intro ducimos el concepto de espacio cuatridi m ensional en el que el inter v alo deter min ado de tie mpo se considera co mo un segm ento de la recta". En la m ayora de los casos sem ejante enfoque crea sola m ente la apariencia de claridad, cosa que, hasta cierto grado, facilita el anlisis del fen m eno que se estudia por este mtodo. D e tal modo, la construccin de las geo m etras no euclidianas se justifica por la posibilidad de utilizar sus deducciones para objetos que en la realidad existen. La cir cunstancia de que estas deducciones se for mu lan con tr minos de la geo m etra no tiene import ancia esencial: las formu laciones geo mtricas se pueden m odi ficar fcilm ente de tai m anera que correspondan a las propiedades de los objetos y fen m enos que se estudian. Ad v ertire mos qu e en las aplicaciones de la m ate mtica,'1en aquellos casos en los que la teora presta ser vicio a objetos que se som eten a unas mism as leyes m ate mticas aunque cualitativ a m ente son diferentes, se practica con frecuencia la sustitucin de unos conceptos por otros Se debe hablar especialm ente de las geo m etras tridim ensionales. Estas pueden considerarse, independiente m ente de otras aplicaciones
1 1 Respecto al empleo prctico de este principio vase el articulo Simulacin en el libro de V . G. Boltianski "Q u es el clculo diferencial?" (serie de Lecciones populares de matemticas. Editorial Mir. Mosc).

www.FreeLibros.me

21

qu e tengan, co mo hiptesis que pretenden a describir las propie dades del espacio real. La cuestin respecto a cul de estas hiptesis est ms cerca de la realidad sola m ente puede ser resuelta m ediante la co mprob acin experimental de sus tesis. Sealare mos el hecho siguiente, muy import ante para la expo sicin ulterior: en el plano euclidiano se puede construir (as como se hace para la esfera y, ade ms, no por un solo procedimiento) la carta del plano de Lobachevski. El estudio de una de seme jantes cartas se ad mitir en nuestro libro co mo base para el estudio de la geo m etra hiperblica. Es caracterstico que la geo m etra de Lobachevski obtuvo r econocimiento general en las circunstancias siguientes. En el ao 1868 el m ate mtico italiano Eugenio Beltra mi descubri que en el espacio euclidiano existe una superficie que tiene las propiedades del plano de Lobachevski, mejo r dicho, de cierto pedazo de este plano (si se consideran co mo rectas en esta superficie las lneas ms cortas). Este descubrimiento, que al poco tie mpo condujo a la construccin de diferentes cartas del plano de Lobachevski, convenci a los sabios de la justeza de las ideas del gran gem etra ruso, sir vi de im pu lso para el estudio profundo de sus obras y dio co mi enzo a nu m erosas in vestigaciones en la ra m a de las geometras no euclidianas. El descubri miento de las geo metras no euclidianas plante ante la fsica un proble m a extraordinaria m ente co mp lejo: aclarar si el espacio fsico real es euclidiano, co mo antes pensaban, y si no lo es, a qu tipo de espacios no euclidianos pertenece1 . Para la solucin de este proble m a se requiere una co mprob acin experi m ental de la justeza de los axio m as, estando claro que con el per fecciona miento de los instru m entos de m edicin au m enta la seguri dad de los datos experimentales obtenidos y aparece la posibilidad de penetrar en detalles que antes se escapaban de la atencin de los investigadores. As pues Lobachevski r etorn la geo m etra a la interpretacin m aterialista de los axio m as co mo proposiciones que constatan las propiedades geomtricas funda m entales del espacio y que fueron concebidos por el ho mbr e co mo resultado del experimento. Actualm ente es imposib le considerar resuelta hasta el fin la cuestin respecto a la estructura geo mtrica del espacio fsico real.
1 1 Al examinar esta cuestin se debe tener en cuenta la posibilidad de que el espacio real sea heterogneo, es decir, la circunstancia de que ;u estructura geomtrica pueda resultar no ser igual en todas partes.

www.FreeLibros.me

22

N o obstante, sealaremos qu e la teora conte mporn ea de la rela tivid ad, basndose en nu m erosos datos, considera que el espacio real no es eucldiano y que ade ms, por sus propiedades geo mtri cas. es mu cho ms co mp lejo que el espacio de Lobachevski. Uno de los golpes ms fuertes a la con viccin de que la estructura del espacio rea! era eudidiana 1c asest el descubri miento de la* ley fsica de acuerdo a 5a cual no existe v elocidad alguna que supere la v elocidad de la luz. Ahora pode mos responder a una pregunta que con frecuencia oimos: cul de las dos geo m etras es la verdadera, la de Euclides o la de Lobachevski? Semejante p r egunta no surge respecto a las geo m etras bidim ensionalcs cuclidiana y esfrica; es absoluta m ente ob vio qu e a mb as son verdaderas, pero cada una de ellas tiene su ca m po d e apli cacin: no pueden ser usadas las fr mu las de la geo m etra esfrica para las figuras planas, as co mo no pu eden ser usadas las fr mu las de la geo m etra bidi m ensional euclidiana para las figuras en la esfera. Esto mismo es ta mbin justo respecto a las diversas geo m e tras tridi m ensionales: cada una de ellas, siendo lgica m ente incontradictoria, encuentra e mpieo en una ra m a deter min ada, no siendo obligatorio que esta sea geo mtrica; 110 obstante, cada una de ellas se negar a servir si a sus principios se les atribuye un carcter univ ersal La cuestin referente a la estructura del espacio real, co m o ya sealba mos, pertenece a la co mp etencia de la fsica y no puede ser resuelta con las fuerzas de la geo m etra pura. Su particula ridad consiste, entre otras cosas, en que ninguna geo m etra refleja las relaciones de extensin con exactitud absoluta; as, por eje mp lo, debido a la estructura mo lecular de la m ateria, no existen cuerpos accesibles a la apreciacin de sus dim ensiones que posean las propiedades geo mtricas de la esfera ideal. Precisam ente por esto, la aplicacin de reglas geo mtricas a la solucin de proble m as concretos conduce ine vitable m ente a resultados aproxi m ados. De tal modo, nuestra nocin respecto a la estructura geo mtrica del espacio real se reduce de hecho a la con viccin cientfica m ente basada de que una geo m etra deter min ada describe m ejor que otras las relaciones reales de la extensin. Por el hecho de que en la teora de la relati vid ad se utilizan frmulas de la geo m etra no euclidiana no se deduce toda va la necesidad de entregar la geo m etra de Euclidcs al archivo, tal y co mo o curri con la astrologa, la alqui m i a y otras pseudocicncias semejantes. Tanto una como otra geometra representan

www.FreeLibros.me

23
un instrum ento para el estudio de las form as espaciales, pero la prim era per mite efectuar in vestigaciones m as detalladas, mientras que la segunda es suficiente para la solucin de la in m ensa m ayora de proble m as prctica m ente import antes de muy elevado grado de exactitud y co mo, ade ms, se distingue por ser muy simple, siempre le estar asegurada una a m p lia aplicacin. Al ter min ar nuestro breve esbozo sealaremos aquello nuevo qu e aport Lobachevski en el desarrollo de las ideas geomtricas. Los m ritos cientficos de este notable pensador no se agotan con el hecho de que haya arrancado el velo del misterio mile nario del axio m a del paralelis mo: la i mport ancia de sus investi gaciones es in m ensurable m ente ms a mp lia. Habiendo so m etido a un anlisis critico uno de los axio m as euclidianos, Lobachevski dio comienzo a la re visin de algunas posiciones iniciales del sistem a de Euclides, hecho que posterior m ente condujo a la elaboracin de principios rigurosa m ente cien tficos de construccin axio mtica de la geo m etra y de otras ciencias m ate mticas. El descubri miento por Lobachevski de la geo m etra hiper blica sac a la ciencia concerniente a las for m as espaciales de los estrechos limites del sistema euciidiano La geometra de L o bachevski encontr aplicacin directa en la teoria de integrales definidas y en otras ra m as de la m ate mtica. Lobachevski suscit la elaboracin de cuestiones que no podan surgir con el estado precedente de la m ate mtica y, entre ellas, la cuestin respecto a la estructura geo mtrica del espacio real. Sin su descubri miento no hubiera podido desarrollarse la teoria de la relati vid ad, uno de los mayores alcances de la fsica conte mporn ea. Partiendo de las in vestigaciones de Lobachevski los sabios construyeron una teoria que per mite efectuar el clculo de los procesos que transcurren en el interior del ncleo at mico. Para concluir sealare mos a i mport ancia gnoseolgica " de las ideas del gran m ate mtico ruso. Antes de Lobachevski, du r ante el transcurso de mu chos siglos, reinaba en la geo metra el punto de vista idealista que re mont aba a Platn, el filsofo de la Grecia antigua; atribuyendo a los axiomas del sistema euclidiano un carcter absoluto ste negaba su procedencia experimental. Loba chevski rompi categricamente con este punto de vista y retorn la geometra a las posiciones del materialismo

1 1 Gnoseologia es la ciencia del conocimiento.

www.FreeLibros.me

24

3. I N V ER SI N
S upong a mos qu e se ense una regla que per mit e pasar de cualquier figura dada a olra, de tal m anera que la segunda figura queda absoluta m ente deter min ada si se ha dado la prim era, y vi ceversa. D icho paso se deno m in a transfor m acin geo mtrica. La in versin, a la par con la traslacin paralela, la transfor m acin de si militud, el giro de la figura y la proyeccin, pertenece ta m bin al n m ero de transfor m aciones geo mtricas ms usuales. Por eje mp lo, esta transfor m acin se utiliza a m p lia m ente en la m ate mti ca co mo mtodo p ara la resolucin de proble m as de construc cin, en la teoria de las funciones de v ariable co mp leja, en el estudio de las cartas de la superficie de Lobachevski, En el prrafo, presente da mos la deter min acin de la in v ersin y de las nociones relacionadas con ella y exa min a m os un a serie de sus propiedades funda m entales. Suponga m os qu e en el plano a se da la circunferencia k con el radio r y el centro O y el punto A diferente de O. Elija m os en la semirrecta OA el p unto A ', de tal m anera que el producto de los segm entos O A y O A ' sea igual al cuadrado del radio de la circunferencia k:

OA OA' = r2.

(I)

Con v enga mos d ecir que los puntos A y A' son simtricos respecto a la circunferencia k. Si uno de los puntos A, A' se encuentra fuera de la circun ferencia k, el otro se hallar en el interior de sta, y viceversa; por eje mp lo, de la desigualdad OA > r deducimos, tom ando en consideracin la condicin (1), que OA" < r . Si el p unto A o A' se encuentra en la circuferencia k, resultar que A y A coinciden. Exa min e mos la fig. 3 donde AB es la tangente a la circun ferencia k y BA' es la perpendicular a OA. Puesto que O A ' es la proyeccin del cateto OB del tringulo rectngulo O A B sobre la hipotenusa OA

OA O A' - O B 1 = r2
y, por consiguiente, los puntos A y A' son simtricos respecto a k. De aqu que sea e vid ente la construccin del punto A', si se ha dado el punto A, y la del punto A si se ha dado el p unto A'. T e o r e m a 1. Si la circunferencia q pasa por dos puntos dife rentes A y A , simtricos respecto a la circunferencia k, resulta ser que las circunferencias k y q son ortogonales entre si.

www.FreeLibros.me

25

Se deno m in an ortogonales dos circunferencias si stas se cortan en ngulo recto, es decir, si las tangentes a ellas en el punto de interseccin (o. lo que es lo mismo, sus radios trazados a este p unto) son perpendiculares entre si. Sea P uno de los puntos de interseccin de /as circunferen cias k y ( (fie. 4) C'o mo O P es ef radio de a circunferencia k. la igualdad (I) adquiere el aspecto: O A O A ' = O I>2. Por otro lado.
4-68

www.FreeLibros.me

26
el producto de los segmentos O A y O A es igual al cuadrado de la tangente lrazada desde el punto O a la circunferencia < : entonces O P es la tangente a < /. Por consiguiente, los radios OP y QP de las circunferencias dadas son perpendiculares entre si. y estas circunferencias son ortogonales entre si. Advertiremos qu e cualquier circunferencia que pasa por dos puntos diferentes, simtricos respecto a una recta, corla a sla en ngulo recio. La ana loga de esta propiedad con el caso ex puesto en el teorem a I condicion el traslado del tr mino sim e tra' para el caso de dos puntos situados de la! m anera respecto a la circunferencia dada que cualquier circunferencia que pasa por ellos es ortogonal respecto a la circunferencia dada. T e o r e m a 2. Si las circunferencias k y q son ortogonales entre .si. ve,suha ser cjiie la recta que pasa por el centro O de la circunferencia k y que corta la circunferencia q, corta a sta en puntos simtricos respecto a k. Designemos por A y A' los puntos de interseccin de esta recta con q, y por P uno de jos puntos comunes de las cir cunferencias A y < y (fig. 4). Puesto que las circunferencias dadas son ortogonales entre si la recta OP es tangente a !a circunferencia q y, por esto. O A O A = O P 2 De aqu deducimos que los puntos ,4 y A son simtricos respecto a la circunferencia k. T e o r e m a 3. Sea ilatlo el tringulo OAB, donde 0 es el centro de la circunferencia ky y los pinitos A' y B\ simtricos con A y B respecto a k. Entonces

OAB =

j l OB'A'

y O BA = O A B '.

Examinemos la fig. 5. De la igualdad

0.4 O A' = OBO B\

que se deduce de la condicin (1), obtenemos: OA :0 B = OB : 0 . Por consiguiente, los tringulos OAB y OB'A\ que tienen comn el ngulo AOt), son semejantes. De aqu deducimos que el teorema es justo. Sealaremos que alrededor del cuadriltero AtB'A' puede ser circunscrita una circunferencia de tal manera que .A 'A B + + . A B'B = 2d. Del teorema I se deduce que esta circunferencia es ortogonal a la circunferencia k. Examinemos ahora la transformacin del plano a, que consiste en lo siguiente: cada dos punios de este plano, simtricos respecto a la circunferencia k. intercambian de sitio. Semejante transforma-

www.FreeLibros.me

27
cin se deno m in a inver sin , la circunferencia k se deno min a circunferencia de in versin y su centro es el polo de la inversin. Si la in v ersin respecto a k transfor m a la figura F en la figura F\ se dice que F es simtrica con F\ y que F' es simtrica con F respecto a la circunferencia k. Ad v ertire mos qu e no existe punto alguno simtrico al poio de la in v ersin respecto a la circunferencia de in versin.

N o es difcil ver que los puntos que se encuentran fuera del crculo li m it ado por la circunferencia de in versin se transfor m an en puntos de este circulo, a excepcin del polo de in versin, y viceversa; los puntos de la circunferencia de in versinse pasan a si mismos; la recta que pasa por el polo dein versin O se pasa a s mism a, pero pierde con elio el punto O. Teorema 4. La inversin transforma la recta que no pasa por el polo de in ver sin en una circunferencia que pasa por el polo de inversin. Supongamos que A es la base de la perpendicular bajada desde el polo de inversin O sobre la recta /, B es un p u m o cualquiera de la recta / y A ' y B' son los puntos simtricos, respectivamente, con A y B en relacin a la circunferencia de in versin k (fig. 6). Construya m os en el seg m ento OA\ co mo en el di m etro, la cir cunferencia < /. En virtud del teore m a 3 l O B 'A ' = .O A B y, por esto, l O'A = d ; por consiguiente, el punto B' se encuentra en
4*

www.FreeLibros.me

28
la circunferencia q. Por otro lado, sea C' cualquier olro punto diferente de O en la circunferencia < ?; entonces la recta O C cortar / en cierto punto C que, co mo es fcil ver, durante la inversin dada se con v ertir en el punto C '. As pues, el teorem a ha sido de mostrado, pero es menester tener en cuenta que la recta / se transfor m a en una figura co mpu esta por la circunferencia q sin el punto O.

Ad v ertire mos qu e el centro de la circunferencia q pertenece a la perpendicular bajada desde 0 sobre l. Si la recta I no tiene puntos co mun es con la circunferencia de in versin k , entonces la circunferencia q se encuentra en el interior de k. Si l hace contacto con k en cierto punto, entonces q har contacto con k en el mismo punto. Si I y k se cortan, entonces q pasar por el punto de su interseccin. T e o r e m a 5. La inversin transforma la circunferencia que pasa por el polo de in versin en una recta que no pasa por el polo de inversin.

www.FreeLibros.me

Suponga mos qu e O (el polo de in versin), A y B son tres puntos div ersos de la circunferencia q, y A' y B' son puntos simtricos con A y B respecto a la circunferencia de in versin. En virtud del teore m a 4 la recta A 'B' se transfor m a en una circunferencia que pasa por O, A y B, es decir, en la circun ferencia q, y de aqu se deduce que q se transfor m a en la recta A 'B'.

Fin. 7

T e o r e m a 6. La inversin transforma la circunferencia que no pasa a travs del polo de inversin en una circunferencia que tampoco pasa por el polo de inversin. Sean k la circunferencia de inversin con el radio c y el centro O, y q, la circunferencia dada que no pasa por 0 (fig. 7). Tomemos en q un punto cualquiera A y designemos por B el segundo punto de interseccin de la recta O A con q, y designemos por A ' y B' los puntos respectivamente simtricos con A y R respecto a k. Enton ces

OA O A' = OB OB' r2.

www.FreeLibros.me

30
y
E l producto

O A O B O A ' O B ' = r A.

OA OB = g,
en virtud de los conocidos teore m as de la geo m etra ele m ental, no varia al desplazar el punto A por q. Por consiguiente, y es una m agnitud constante que es positi v a si O se encuentra fuera de c j\ y que es negativ a si O se encuentra en el interior de q (ya que en este lti m o caso las direcciones de los segm entos O A y OB son opuestas). r4 OB' y, por D e las dos igualdades ltim as halla mos: O A' lo tanto,

OA

OB

g2

OB' ' O A ' ~~rr '

o, teniendo en cuenta la relacin (2), OA

OB'

r2

(el signo est bien elegido pues los seg m entos OB y O B tienen una mism a direccin). De la lti m a igualdad se deduce que las figuras descritas por los puntos A y B' son sem ejantes; por con siguiente, el teore m a est de mostr ado: el punto B' describe una circunferencia (que designare mos por q'). El polo de in v ersin O ser el centro de si m i litud de las circunferencias q y q\ y resultar ser exterior si g > 0 e interior si q < 0. En el prim er caso O se encuentra fuera y en el segundo, dentro de las circunferencias q y q1 . Si la circunferencia q hace contacto con la circunferencia k en cierto punto, entonces q' har contacto con k en ese mismo punto. Si las circunferencias k y q se cortan, entonces q pasar por el punto de su interseccin. La circunferencia q es ortogonal a k y, durante la in v ersin, se transfor m a en s respecto a k (q' coincide con q), hecho que se deduce del teorem a 2. Si 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

www.FreeLibros.me

31
el di m etro de la circunferencia q' (fig. 7). Ai construir la circun ferencia < /' se puede hacer uso de esta observacin. Sealare mos qu e los centros de las circunferencias q y q' no son simtricos respecto a la circunferencia de in versin k. T e o r e m a 7. Los pumos de interseccin de dos circunferencias p y q, ortogonales a la circunferencia k, son simtricos respecto a k. El teorem a es ob vio, ya que cada una de las circunferen cias p y q, durante la in versin respecto a k, se transform a en s y, por consiguiente, los puntos de su interseccin A y A per mut arn de lugar {fig. 8).

T e o r e m a 8. Si M y Ai' oh puntos simtricos respecto a la circunferencia k de dos lineas m y m \ que tambin son simtricas respecto a k, resulta ser que las tangentes a m y m' en los puntos M y A /' o bien son perpendiculares a la recta M M ', o bien forman con sta un tringulo issceles con base M M'. Tomemos en m el punto N , diferente de M . y construyamos el punto N', simtrico a N respecto a k {fig. 9). Es evidente que N' pertenece a m'. Las rectas M M ' y N N ' pasan por el centro O de la circunferencia k. Construyamos las rectas M N y M 'N : sea as que stas se cortan en el punto P Si

.M O N = 9,

www.FreeLibros.me

32

H C 3.

en virtud del teorem a 3. i O N ' M = cp. Por esto, en el trin gulo M M P

l M (p,

Z.A' = (p + 0.

Suponga mos qu e el ngulo 9 tiende a cero en la condicin de que elpunto M es in mvil. Entonces, en e! lmite,las secantes Ai A' y M 'N ' pasarn a ser tangentes a m y n i enlos puntos M y M ', y el t ringu lo M M 'P se con v ertir en issceles. Efecti vamente, lim (cp + 0) = li m cp + lim 0 = lim cp. B .o o-n B -.it B -.0 De tal m anera, el teore m a queda de mostrado. T e o r e m a 9. La inversin no vara a magnitud del ngulo. Exa min e mos las lneas m y n, que se corlan en el punto A. Suponga mos qu e m. n y A se transfor m an en n y durante la in versin respecto a la circunferencia k. Del teorem a 8 se deduce que el ngulo entre las tangentes a m y n en el punto A es igual al ngulo entre las tangentes a m' y n en el punto A', que es lo que se quera demostrar. A la transfor m acin que no v ara la m agnitud de los ngulos se la deno min a transfor m acin conforme. De lo precedente se deduce que la inversin es una transfor m acin conform e.

www.FreeLibros.me

33
4. CA R TA DEL PLANO DE LOBACHEVSKI
Examinemos el plano w y, en 61, la recta u, que di vid e a & > en los se mip lanos t y r'. Suponga m os qu e el se mip lano t representa a caria de cierto espacio bidi m ensionai H. Vamos a diferenciar la longitud s de la linea del espacio H y la longitud a de la im agen de esta linea en la carta dada; a las m agnitudes x y o las deno min are mos, respectiv am ente, longitudes hiper b lica y i'uclidiana .

Para la m edicin de longitudes en la carta que exa min a mos pondr e mos co m o base los principios siguientes. Io. La longitud hipe rb lica del seg m ento W/V, que es pa ralelo a la recta u y que se encuentra de sta a la distancia y , es MN igual a es decir, es igual al cociente de la divisin de la longitud euclidiana de este seg m ento por su distancia euclidiana de u. 2 S a es euclidiana, s es la longitud hirepblica del arco de la cur v a (o del seg m ento de la recta no paralela a u), y e y son, respectiv am ente, las distancias euclidianas m nim a y mxim a de sus puntos a w y, al m ism o tie mpo, > # 0 {fig. 10), resulta ser que se cu mp le la desigualdad:

M s ta rd e nos con v encere mos d e que el espacio ff, cuya car ta posee las propiedades citadas ms arriba, es el plano de Lobachevski.

5-68

www.FreeLibros.me

Partiendo de los principios 1" y 2 no es difcil indicar el procedimiento general de, m edicin de las longitudes hiperblicas. Hallare mos al principio la longitud hiperblica s del arco AB, que posee las propiedades siguientes: si el punto se desplaza por este arco desde A hacia B, su distancia de la recta u crece; la distancia del punto A a u no es igual a cero; el arco A B es suave, es decir, no tiene inflexiones (fig. 11).

Ma rqu e mos en el arco A B, siguiendo de A hacia B , los puntos

A. P i. P 2......... P - 1 , B.
Suponga mos qu e las m agnitudes

()

>'u> y\- y 2................. - i- y>

> 0"2.........

.... s,

designan, respectiv am ente, la distancia euclidiana de los puntos (*) respecto a larecta u ; las longitudes euclidianas de los arcos PiPi- >P n- f r Que son partes delarc A B; las longi tudes euclidianas de las cuerdas que co mpr enden estos arcos. For m e mos las su m as: v _ . an

www.FreeLibros.me

35
E n virtud del 2" principio tendre mos: < s< ya que, de acuerdo n e mos la diferencia ' =
>oyi

',

(3)

a la condicin, 0 < y0 < .y, < . . . < yn. Exa mi 1 (y*y -1 )

, 1 (>i yo) + 2 (y2 >'i) + - +

El segundo miem b ro de esta igualdad au m entar si se susti tuyen cada una de las m agnitudes C T j , a 2, c t por la m ayor de ellas (que designaremos por a ') y cada denom inador se susti tuye por y l. Por consiguiente,
' - < -ir-Cvi - yo + Vi - y i + - + y* - y - 1) = -Tj-fo. - ><>) vo >o

* Si o ' tiende a cero, de esta desigualdad se deduce que la diferencia ' tam bin se aproxim a a cero. Transformemos ahora la suma Z hasta que adquiera el as pecto de

y _

C T 1

^1 |

| q"

Vi

es,

y%

o2

n ypor P la mayor de

D e aqui, designando por las relaciones

L

ot la menor
>

a , cr2 .......

c (4)

obtenemos ct < Z p .

Supongamos que el nmero n aum enta ilim itadamente y supon gamos que al mismo tiempo cada una de las magnitudes <r1 ( a2 > . o y, por consiguiente, la m agnitud a ' tienden a cero. Entonces la diferencia ' se aproxim ar, como demostramos anteriormente, a cero, mientras que las magnitudes a y p tienden a la u n id a d " . D ebido a esto de las desigualdades (3) y (4) se deduce que cada una de las sumas , ', Z se aproxim ar a un m ismo lmite y que ste ser igual a la longitud hiperblica s del arco -48.
!) Es sabido que la relacin de la cuerda del arco que sta comprende tiende a la unidad cuando la longitud del arco se aproxima n cero (aqu tenemos en cuenta un arco de una lnea suave)
5*

www.FreeLibros.me

36
Lo ms cm odo es utilizar la sum a 2 , puesto que en ella figuran las longitudes de los segmentos euclidianos y no las de los arcos. As pues s = lim Z = = lim ( \yt

y2

y ) (5>

donde la transicin al lm ite se efecta en las condiciones indi cadas anteriormente. Ad v ertiremos que en ta igualdad (5) por v, se puede adm itir la distancia entre cualquier punto del segmento A P , y la recta u, por > 2 se puede adm itir la distancia entre cualquier punto del etc. C o n esto la suma Z puede cam biar su segmento P ,P 2 y magnitud, pero su lmite no v ariar.

Si el arco de cierta lnea se puede di vidir en un nmero finito de partes que satisfagan las condiciones expuestas ms arriba para el arco A B, resulta ser que la longitud hiperblica de este arco representa a suma de las longitudes hiperblicas de dichas partes. Por ejemplo, el arco A D , expuesto en la fig. 12, lo di vidim os en las partes A B, BC y C D , pero los puntos de di visin los marcamos en el arco C D partiendo desde D hacia C. Supongamos que los puntos de) semiplano t se desplazan de tal manera que la longitud hiperblica de cualquier arco perte neciente a este semiplano es igual a la longitud hiperblica de este mismo arco en su nueva posicin. Semejante desplazamiento de los puntos o denominaremos movimie nto hiper b lic o. Este concepto es anlogo al concepto del m o vim i ento del plano euclidiano, por ejemplo, al giro del piano euclidiano en cierto ngulo alrededor de cualquier punto de dicho plano.

www.FreeLibros.me

37

Si el mo vim i ento hiperblico transforma la figura F en F x entonces las figuras F y F , se denominan figuras hiperblicamente iguales. Examinemos los tipos ms simples de mo vimientos hiperb licos. 1) Si se traspasa cada punto del scmiplano t en una misma distancia y en una misma direccin paralelamente a ia recta u, resulta que cada figura se transforma en otra hiperblicamente igual a ella, pues no varia ni su magnitud euclidiana, ni la distancia de sus puntos a u. D e aqu deducimos que el desplazamiento euclidiano del semiplano t a lo largo de la recta es un movimiento hiperblico. 2) Supongamos que ia transformacin de similitud con centro en et punto arbitrario O de la recta u y con coeficiente positivo

de sim ilitud transforma el segmento M N en el segmento M (fig. 13). D esignemos por y e y u respectivamente, las distancias de los puntos N y JV a la recta u. En virtud de Ja semejanza de los tringulos O M N y O M , N , tendremos : 1 V.

De aqui y de la igualdad (5) se deduce que durante dicha transformacin no v aria la longitud hiperblica de un arco de terminado de cualquier lnea. Por consiguiente, la transformacin de similitud con centro de similitud en la recta u y con coeficiente positivo de similitud es un movimiento hiperblico.

www.FreeLibros.me

38
El coeficiente de similitud se elige positi vo con el fin de que el segmento resulte estar en el semiplano i, y no en x'. 3) Examinemos la in versin respecto a la circunferencia k del radio arbitrario R con el centro 0 en la recta u (fg. 14). Supongamos que M y N son puntos suficientemente cercanos entre si, M y N' son los puntos simtricos a los dos primeros res pecto a la circunferencia k. D esignemos por i> e y' las distancias entre los puntos de interseccin de la bisectriz del ngulo M O N con los segmentos M N y M 'N ' y la recta u. Puesto que los tringulos O M N y O N 'M ' son semejantes, entonces

MN
.v -

M N '

De aqu y de la igualdad (5) deducimos que durante la trans formacin dada no vara la longitud hiperblica de un arco de terminado de cualquier linea. Por consiguiente, la inversin respecto a ww circunferencia de cualquier radio con centro en a recia u es precisamente un movimiento hi perbi ico. 4) Y, por fin, no es difcil convencerse de que la transformacin de simetra respecto a un eje perpendicular a la recta u es preci samente un movimiento hiperblico. Sealaremos que cada uno de los mo vimientos hiperblicos examinados es una transformacin conforme. Esto es evidente respecto a los desplazamientos del semiplano r a lo largo de la recta u, y tambin en lo que se refiere a las transformaciones de similitud y de simetra; en cuanto a la in versin, su conformidad qued demostrada en el g 3. Puesto que el mo vimi ento hiperblico tiene la propiedad de pasar cualquier figura a otra hiperblicamente igual, la transforma cin. que representa la secuencia de varios mo vimientos hiper blicos, posee esa misma propiedad y, en virtud de ello, semejante transformacin es tambin un mo vim i ento hiperblico. Anotaremos sin demostracin alguna que cualquier mo vimiento hiperblico puede ser presentado en forma de secuencia de un nmero finito de mo vimientos hiperblicos simplsimos que ante riormente examinamos. Mostraremos ahora que en el semiplano t, con las reglas de medicin de longitudes establecidas para l. se cumplen las tesis de la geometra de Lobache vs ki. Para ello tendremos que examinar en el semiplano x ciertas figuras que se caracterizan por las mismas propiedades que las

www.FreeLibros.me

39
respectivas figuras de la geometra de Euclides pero que, posiblemente, se diferencien de estas ltimas por su forma; para ellas conservaremos los trminos de la geometra cuclidana con el prefijo hiperb lico : por ejemplo, denominaremos recta hiperblica a la lnea por la cual se mide la distancia hiperblica ms corta entre cualesquiera dos puntos de ella; denominaremos circunferencia hiperblica al lugar geomtrico de puntos que se encuentran a una misma distancia hiperblica del punto dado. Aclaremos cules lineas del semiplano i son rectas hiper blicas.

F i e . 15

H(. 10

Ante todo sern rectas hiperblicas las semirrectas eucldeas perpendiculares a la recta u, hecho que se deduce de las conside raciones siguientes. Supongamos que los puntos A y B se encuentran en la per pendicular a la recta u (fig. 15). Unamos estos puntos con el segmento de la recta A m B y con cualquiera otra cur va o quebrada An B . Supongamos que dos rectas arbitrarias o y b. bastante pr ximas entre s y paralelas a u, cortan el segmento A m B en los puntos C y D y la lnea ,4/75,en los puntos E y F. Puesto que la longitud euclidiana del segmento C D . hablando en general, es menor que la longitud euclidiana del arco EF y sus longitudes hiperblicas pueden considerarse iguales a y donde y es la distancia

entre el punto D (o F) y la recta u. la longitud hiperblica del

www.FreeLibros.me

40
segmento C D , hablando tambin en general, es menor que la lon gitud hiperblica del arco E F (estas longitudes hiperblicas sern iguales entre s solamente en la condicin de que el arco EF sea un segmento de a recta euclidiana perpendicular a u ; es evidente que esta condicin no se cumple siempre, ya que, de lo contrario, el arco An B coincidira con el segmento AmB). D e aqui se deduce que la longitud hiperblica del segmento A m B es menor que la longitud hiperblica del arco An B , que es lo que se quera demostrar. D emostraremos ahora que la semicircunferencia de la circunfe rencia euclidiana k con el centro en la recta u es tambin una recta hiperblica. Supongamos que k corta la recta t en los puntos A y B (fig. 16). D escribamos la circunferencia q con el centro en el punto A y admitamos a sta como circunferencia de in versin. Supon gamos que k y q se cortan en los puntos M y N. Dur ante la inversin respecto a q la circunferencia k, que pasa por el polo de inversin, se transforma en la recta M N (vase el 3). Ya que la inversin es un mo vimiento hiperblico y la recta M N t s perpendicular a , se ve que la semicircunferencia fc. mediante el mo vimiento hiperblico, se transforma en una recta hiperb lica. Por consiguiente, esta semicircunferencia es tambin una recta hiperblica. D 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 "hip erblicas de! semiplano x. A con tinuacin, examinando el axioma 1 , nos convenceremos de que no existen otras rectas hiperblicas. Levantemos en el semiplano t una perpendicular a la recta u por cualquier punto arbitrario M de sta (fig. 17), elijamos en dicha perpendicular un punto A y construyamos los puntos A A 2, A, . . . de tal manera que se cumplan las igualdades:

AA = A, M , A A 2 A 2 M , A 2 A A ^M , . ..
Con otras palabras, A, es el centro del segmento A M , A 2 es el centro del segmento /4( M , A } es el centro del segmento A 2 M , etc. Examinemos la transformacin de similitud con centro de similitud M y coeficiente de similitud 1/2. Esta transformacin es un mo vimiento hiperblico que traspasa los puntos A, A t, ,42. . . . respectivamente, a los puntos A ,. A 2, A3. . . . D e aqu

www.FreeLibros.me

41
<> B 2

B,

<A

<>Ai

no. n

se deduce que las longitudes hiperblicas de los seg mentos A A X . A A 2, A 2 A, .. .. son iguales entre s. D e este modo, la construc cin efectuada por nosotros se reduce a trazar en la recia hiper blica A M . desde e! punto A, los segmentos A A y. A ^ 2 , A 2A 3, hiperblicamente iguales entre s, y, como se ve en la construc cin, por muchos segmentos semejantes que construyamos, nunca alcanzaremos el punto M . Por consiguiente, M es un punto de la recta hiperblica A M infinitamente alejado. Com o M es un punto arbitrario de ia recta u de lo anterior se deduce que todo punto de la recta 11 es un punto del semiplano infinitamente alejado. El proceso del trazado de segmentos iguales entre s AB

www.FreeLibros.me

42
t , S 2> B 2 B3 , . . . en la recta hiperblica A M (fig. 17) puede ser efectuado tambin en la direccin opuesta a la examinada ms arriba, y este proceso tambin ser infinito. De aqu se deduce que el punto de la recta AM, alejado infinitamente en el sentido de la geometra cuclidiana, ser al mismo tiempo un punto de la recta hiperblica A M infinitamente alejado. Cualquier punto de la recta hiperblica AM , a excepcin de los dos puntos indicados anteriormente, se encontrar a una distancia finita hiperblica de A ya que, para un v alor finito suficiente mente grande del nmero entero positivo n. se encontrar o bien en el segmento AA, o bien en el segmento AB. Asi pues, la recta hiperblica AM, y por lo tanto toda recta hiperblica, tiene dos, y solamente dos, puntos infinitamente alejados. Si la recia hiperblica se expone como una semicircunferencia euciidiana con centro en la recta //, los puntos de interseccin con u sern sus puntos infinitamente alejados. Sealaremos que la recia euciidiana tiene slo un punto infi nitamente alejado : ste es el punto comn de la recta dada y de todas las rectas paralelas a ella. Ahora no es difcil convencerse de que en el semiplano t se cumplen todos los axiomas del plano de la geometra de Lobachevski. Nos limitaremos a examinar dos axiomas. A x i o m a I. Por dos punios diferentes puede ser trazada una, y solamente una. recta hiperblica. Si los puntos dados A y B se encuentran en la perpendicu lar euciidiana a la recta u, esta perpendicular ser la recta hiper blica que se busca. En 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 (fig. 18); sta ser la recta hiperblica que buscamos. D emostraremos que a travs de dos puntos diferentes A y B no pueden pasar dos rectas hiperblicas diferentes I y /'. Es suficiente suponer que A y B pertenecen a la perpendicular euciidiana I a la recta u (fig. 19), ya que cualquier otro caso se reduce a ste mediante el correspondiente mo vimiento hiperblico. Para semejante disposicin de los puntos A y B la distancia hiperblica ms corta entre ellos se mide, como se demostr anteriormente, solamente por la recta euciidiana I, por lo que en el segmento A f coinciden I y /'. Admitamos ahora que el punto C, que se encuentra en l\no pertenece a /, y que adems B se encuentra en /' entre A y C. Entonces el arco AC de la semicircunferencia

www.FreeLibros.me

43
B

FIO. 1*

euclidiana k con el centro en ti pertenecer a la recta hiper blica, que en el segmento A C no coincide con cosa que. como acabamos de ver, es imposible. Asi pues. I y I' coinciden por completo. D e aqu se deduce que no existen otras rectas hiperblicas que no sean las semirrectas euclidianas perpendiculares a u y las semicircunferencias euclidianas con centros en u: por cuales quiera dos puntos dados pasa una sola recta hiperblica que, adems, es de uno de estos dos tipos. A x i o m a 2. Por el punto P, que no pertenece a la recta hiperblic o p, pueden ser trazada* dos rectas hiperblicas para lelas a p. Dos rectas hiperblicas se llaman paralelas si tienen un punto comn alejado infinitamente. En particular, las rectas hiperblicas expuestas en forma de perpendiculares euclidianas a u, son parale las: su punto comn, alejado infinitamente, es el mismo en el semiplano x que en el plano euclidiano ). D esignemos por A y B (fig. 20) los punios de la recta hiper blica p infinitamente alejados. Tracemos a travs de P y A la semicircunferencia euclidiana m con centro M en la recta u. y a travs de P y B !a semicircunferencia euclidiana n con centro N en u. Las semicircunferencias euclidianas m y n sern las rectas

www.FreeLibros.me

44 hip erblicas que buscamos; stas sern paralelas a la recta hiper blica p en sus diferentes direcciones: m, en la direccin de B hacia A y n. en la direccin de A hacia B. Por el punto P pasan rectas hiperblicas de tres gneros: I) que cortan la recta p. 2) paralelas a p. y 3) que no cortan la recta p y no son paralelas a sta.

nc;. 2 1

Existe una multitud infinita de rectas hiperblicas del primer gnero, multitud infinita de rectas hiperblicas del tercer gnero, y slo dos del segundo gnero. Para la construccin de una recta hiperblica del primer gnero es menester desde cualquier punto arbitrario K del segmento M N . como desde el centro, describir una semicircunferencia k de radio K P (fig. 21). Si efectuamos esta misma construccin tom ando por

www.FreeLibros.me

45
el centro de la semicircunferencia un punto arbitrario L de ia recta u. que se encuentre fuera dei segmento M N , obtendremos la recta hiperblica / del tercer gnero (ia misma figura). Ahora es ob vio qu e el axioma 2 es equiv alente at axioma del paralelismo de Lobache vs ki formulado en el 2. Si dos rectas hiperblicas no se cortan y no son paralelas, se denominan divergentes. Por ejemplo, las rectas p y I (fig. 21) son divergentes. D e este modo, en el semiplano t se cumplen ios axiomas, y quiere decir que tambin los teoremas, de la geometra de Lobache vski. Por esto ei semiplano r. con las reglas de medicin de longitudes que anteriormente se establecieron para l, representa el plano de Lobachevski, o, hablando ms exactamente, la carta del plano de Lobache vs ki en el plano euclidiano. Es aleccionador el comparar esta carta con la carta de la superficie terrestre ejecutada en la proyeccin de Me r cator: en esta ltim a los meridianos se exponen en forma de rectas paralelas a las que son perpendiculares las rectas que representan los paralelos (vase fig. 2 en la pg. 18). Se deben considerar rectas" en la esfera las circunferencias de los crculos grandes y, en particular, los meridianos. Los paralelos, a excepcin del ecuador, no son "rectas, pero en la carta se exponen en forma de rectas euclidanas. D e manera anloga, en el semiplano t, de todas las rectas euclidianas perpendiculares a la recta u y paralelas a ella, las pri meras son rectas hiperblicas y las segundas no (en el 7 se hablar ms detalladamente de stas). Despus, !a longitud del grado del paralelo es tanto menor cuan mayor es su latitud, pero en la carta de Me r cator el segmento igual a 1 de! paralelo, independientemente de la latitud de para lelo, tiene una misma longitud. U n cuadro anlogo se observa tambin en el semiplano t (vase principio I ). Es importante sealar que la carta i es conforme, es decir, la magnitud euclidiana de! ngulo en esta carta es igual a su magnitud real en el piano de Lobache vski. Primero demostraremos esto para el caso de un ngulo recto. D escribamos la semicircunferencia k con el centro en el punto M de la recta u y tracemos en M la pe rp endicular p a la recta u (fig. 22). Examinemos los ngulos /, 2, 3. 4 , formados por las rectas hiperblicas k y p. Existe un mo vimiento hiperblico que transforma los ngulos en 2 y 3 en 4 (simetra respecto a p), y un mo vimi ento hiperblico que transforma los ngulos 1 en 3 y 2 en 4 (inversin respecto a k). De aqu se deduce que en

www.FreeLibros.me

46
el plano de Lobache vs ki (igual que en la carta x) z. i = z. 2 = li = l 4 y, por consiguiente, cada uno de estos ngulos es recto. Apro v echando la configuracin de la figura 22 designemos por A el punto de interseccin de las lineas k y p, y por N, uno de los puntos de interseccin de las lneas k y u (fig. 23). D escribamos desde el centro N la semicircunferencia euclidiana n

KIG, 22

H C . 23

del radio N A. Esta dividir el ngulo I, expuesto en la fig. 22, en dos ngulos, 5 y 6, cuyas magnitudes eueldianas, como es fcil convencerse, son iguales entre s. La in versin respecto a n transformar k en p y p en k y, por consiguiente, ios ngulos 5 y 6 cambiarn de sitio. De aqu se deduce que no slo son iguales entre s las magnitudes reales (hiperblicas) de stos, es decir, en el plano de Lobache vs ki (igual que en la carta t) cada uno de ellos es igual a la mitad de un ngulo recto. D esignemos por e l punto de interseccin de las lneas u y n, que se encuentra al mismo lado del punto M que el punto N, y que es encuentra al mismo lado del punto M que el punto N, y describamos desde el centro L la circunferencia / del radio LA (fig. 23). Esta dividir el ngulo 6 en los ngulos 7 y 8 . N o es difcil convencerse de que

.8 =
y, como z . = .7 =

N A L = 4-d. 4 '
y, por consiguiente, las magnitudes

euclidianas de los ngulos 7 y 8 son iguales entre si. AI mismo tiempo tambin son iguales entre si sus magnitudes hiperblicas, pues durante la in versin respecto a la circunferencia / estos ngulos permutan de sitio.

www.FreeLibros.me

47 D e manera anloga demostramos que los ngulos que en la carta t tienen la m agnitud cuclidiana de -j-/, tienen

tam bin esta misma m agnitud en el plano de Lobache vs ki. Puesto que todo ngulo puede ser figurado en forma de una suma de un nmero finito o tam bin en forma del lmite de la suma de un nmero ilim itadam ente creciente de sumandos tipo

~ 2 <, ' ^ >

~ 6 ~ d ........

la conform idad de la carta r queda demostrada.

5. LA CI R CUNFE RE NCIA EN EL PLAN O DE L OBACHE VSKI

Aclaremos cmo se expresa en la carta i la circunferencia del plano de Lobache vs ki. Tracemos a travs de! p unto M de la recta u la recta euclidiana p perpendicular a u, y elijamos en ella en el semiplano x dos puntos arbitrarios B y C (fig. 24; M B > M C). Construyamos en p el p unto A de tal manera que se cum pla la igualdad CM

AM BM '

AM

De esta igualdad deducimos que las longitudes hipe rblicas de los segmentos CA y AB son iguales. Efectivamente, la trans form acin de sim ilitud con centro de sim ilitud M y coeficiente

CM ---- pasa el segmento AM D esignemos por O el bamos desde el centro diana q y construyamos recta u.

A B a CA l * .
centro euclidiano del segmento BC, descri O con rado OB la circunferencia eucliel punto A ,, simtrico a A respecto a la

"
B,

A; CM AM ----= C M y, per consiguiente, A pasa a ser C. AM

pasa a ser

BM . . . = BM AM

. . A M BM

v,

por

lo

lanto.

www.FreeLibros.me

48

Com o

O
resulta que

A O M A M , C M, = O M + M A = O M + A M ,

O A O A l = O M 2 A M 2.
Luego,

(7)

O M = ~ ( B M + CA),
y, en virtud de la igualdad (6),

A M 2 = BM -CM .

www.FreeLibros.me

49 Por consiguiente, a la igualdad (7) se le puede dar la forma

OA O A , = i- (BM + CA )2 - BM C M =
= ^ { B M 1 '+ 2 B M C M + C M 2 - 4 BM -CM ) o O i O / l , = - j( S M - C M )2. (8)

KJG, 25

Puesto que

~ ( B M - C M ) = OS,

www.FreeLibros.me

50
de la igualdad (,8 ) obtenemos

0.4 O/l i = O B 2.
De aqu vemos que los puntos A y A x son simtricos respec to a la circunferencia < /. D emostraremos que las distancias hiperblicas de todos los puntos de la linca q respecto al punto A son iguales entre s. Tracemos a travs de A y A una circunferencia eucldiana arbitraria n (fig. 25). Su centro ;V se encuentra en la recta u y, por consiguiente, su parte situada en el semiplano r representa en si una recta hiperblica. Supongamos que n y q se cortan en los puntos D y E , y que n y u se cortan en los puntos F y G. D escribamos con el radio FA desde ei centro F la circunferencia euclidiana /. Las circunfe rencias q y f son mutuamente ortogonales, ya que / pasa por los puntos A y A, que son simtricos respecto a q (vase el 3); por esto la inversin respecto a f transforma la circunferencia q en si misma. Luego, esta misma inversin transforma la recta /> , que no pasa por el polo de in versin /', en una circunferencia que pasa por F y tambin por los punios A y A\. que durante la in versin dada permanecen inm viles, es decir, la transforma en la circunfe rencia n. Por otro lado, la circunferencia n, que pasa por el polo de in versin, se transforma en una recta que, precisamente, es /?. ya que esta recta debe pasar por los puntos A y A v. D e aqu se deduce que los arcos A D y AE de la circunferen cia n se transforman, respectivamente, en los segmentos A B y AC de la recta p. Por consiguiente, las longitudes hiperblicas de los segmentos A D y AE de la recta hiperblica n son iguales a las longitudes hiperblicas de los segmentos AB y A C de la recta hiperblica p o. dicho con otras palabras, las distancias hiper blicas entre los puntos B, C, D, E y el punto A son iguales. Esto demuestra que ia circunferencia hiperblica se expone en la carta x en forma de una circunferencia euclidiana que no tiene puntos comunes con la recta u; no obstante, la imagen de su centro (A ) no coincide con el centro (O) de ia correspondiente circunferencia euclidiana. Para concluir sealaremos que toda recta hiperblica que pasa por A corta la circunferencia q en un ngulo recto, hecho anlogo a la conocida propiedad de los dimetros de la circunferencia euclidiana.

www.FreeLibros.me

51
6. LA EQUID ISTANTE
Supongamos que p y q son la perpendicular y la inclinada a la recta u en cierto punto de sta M y que P Q i y P 2 Q 2 son los arcos de las circunferencias euciidianas con un centro comn M o, dicho de otra manera, son segmentos de dos recias hiper blicas m, y m2 (ig. 26). Puesto que m y m2 cortan p en un ngulo recto, las longitudes hiperblicas de los arcos l, Q 1 y P 2 Q 2 representan en si las distancias hiperblicas de los puntos Q t y Q 2 a la recta hiperblica p. Estas distancias hiperblicas son iguales entre si, pues el arco P 1 Q 1 puede ser con v ertido en el arco P 2 Q 2 mediante la transformacin de similitud con centro en M .

h<;. 26

D e aqu deducimos que la lnea q es el lugar geomtrico de los puntos las distancias hiperblicas entre los cuales y la recta hiperblica p son iguales. Semejante lnea se denomina equidistante y la recta hiperblica p es su base. La equidistante, como se ve de los resultados del 4, no es una recta hiperblica. La suposicin de que el lugar geomtrico de los puntos que se encuentran a una misma distancia de la recta dada y que se hallan a un mismo lado de sta contradice a la propiedad sealada de la equidistante y, quiere decir, que contradice tambin al axioma del paralelismo de Lobache vs ki; sta es equiv alente al axioma del paralelismo de Euclides. Ad v ertiremos que las rectas hiperblicas perpendiculares a la base

www.FreeLibros.me

52
de la equidistante cortan sta en un ngulo recto, lo que es evidente de la fig. 26. La inversin respecto a la circunferencia con centro en la recta u, distinto de M , transforma q en una circunferencia euclidiana; sta, igual que la recta hiperblica, corta la recta , pero su centro no pertenece a u. As pues, en a carta t la equidistante se expresa o bien como una semirrecta euclidiana, que corta la recta u en un ngulo agudo u obtuso, o bien como un arco de una circunferencia euclidiana, que corta la recta u pero que tiene su centro fuera de u. Es fcil convencerse de que no existe una equidistante de otro gnero.

7. LA LINEA LIMITE
Tracemos el dimetro p de la circunferencia q, perpendicular a la recta u, y designemos por C el punto de su interseccin con q, ms cercano a u (fig. 27). Si se fija el punto C y se aumenta ilimitadamente el radio de la circunferencia q de tal manera que

su centro se desplace por la recta p en la direccin indicada por la flecha resultar ser que, en el lmite, q se con v ertir en la recta euclidiana h, paralela a u.

www.FreeLibros.me

53
La linea h no es una recta hiperblica y se denomina linca limite. D e este m odo, la forma limite de la circunferencia, uno de los puntos de la cual y la tangente en este punto estn fijados y el radio de la cual crece ilimitadamente, es una lnea recta en la geometra de Euclides y una lnea lmite en la geometra de Lobache vs ki. Su nombre se explica por esta propiedad de 'la lnea lmite. Examinemos el mo vim i ento hiperblico que representa en s la in v ersin respecto a la circunferencia n con el centro N en la recta u (fig. 27). Este mo vim i ento transforma la linea h en la circunferencia cuclidiana hlt que pasa por JV, con el centro en la perpendicular comn A W , de las rectas euclidianas u y h, de donde se dcducc que h^ hace contacto con la recta w . As pues, la lnea lmite se expone en la carta x o en forma de una recta euclidiana, paralela a u, o en forma de una circun ferencia euclidiana que se loca con u. Tracemos por N la circunferencia euclidiana con el centro L en la recta u (fig. 27). Puesto que los radios de ias circunferencias euclidianas h y / son perpendiculares entre s, la recta hiperblica / corta la lmite hj en un ngulo recto. D e aqu deducimos que todas las rectas hiperblicas que pasan por un punto de la lmite infinitamente alejado, y que se denom inan ejes de sta, cortan dicha lnea en un ngulo recto.

Cualquier lmite h hiperblicamente es igual a cualquier lnea lmite h u es decir, existe un mo vim i ento hiperblico que trans forma h en i,. Semejante mo vim i ento hiperblico ser: la trans-

www.FreeLibros.me

54
formacin de similitud coa el centro de similitud en la recta u, si h y /;, son recias euclidianas paralelas a o son circunferen cias cuclidianas de diferentes radios tangentes a u (figs. 28 y 29); el desplazamiento del scmiplano t a lo largo de la recta u , si. h y /i, son circunferencias euclidianas de un mismo radio tangentes a ; la inversin con el polo en u , si una de las lineas /;, h es una recta euclidiana, paralela a u, y la otra es una circunferencia euclidiana. tangente a u.

) 8. AL GUNOS TEOREMAS DE LA GEOMETRA DE LOBACHEVSKI

T e o r e m a 1. La suma de los ngulos de cualquier tringulo 'v menor de 2 d. Ex aminemos primeramente el tringulo rectngulo A BC (fig. 30). Sus lados a, h. < se exponen, respectivamente, en forma de un segmento de la perpendicular euclidiana a la recta u, de un arco de la circunferencia euclidiana con el centro M y de un arco de la circunferencia euclidiana con el centro N. El ngulo C es recto. El ngulo A es igual al ngulo entre las tangentes de las circun ferencias b y c en el p uni A o, lo que es lo mismo, al ngulo entre los radios NA y M A de estas circunferencias. Por ltimo, .B z l B N M . Construyamos en el segmento BN, como en el dimetro, la circunferencia euclidiana q; sta liene slo un punto comn B con la circunferencia e, pues su dimetro es el radio de dicha circunferencia. Por esto el punto A se encuentra fuera del crculo limitado por la circunferencia q y, por consiguiente, z .A = .M A N < -MBN. De aqu, en virtud de la igualdad

M B N + /_B d, tenemos:
(9)

..A + -B < d \

por eso .A + .B + .C < 2d, que es lo que se quera demostrar. Sealaremos que, con ayuda del correspondiente mo vimiento hiperblico, cualquier tringulo rectngulo se puede situar de tal manera que uno desus catetos pertenezca a la perpendicular euclidiana a la recta u: de esta manera, el mtodo de deduccin

www.FreeLibros.me

55

de la desigualdad (9) que utilizamos es aplicable a cualquier trin gulo rectngulo. Si se trata de un tringulo oblicungulo, se divid e ste mediante una de sus alturas en dos tringulos rectngulos. La suma de ios ngulos agudos de estos tringulos rectngulos es igual a la suma de los ngulos del tringulo oblicungulo dado. D e aqu, tomando en consideracin la desigualdad (9), se deduce que el teorema es v lido para cualquier tringulo. T e o r e m a 2. La suma de los ngulos del cuadriltero es menor de 4d. Para la demostracin es suficiente dividir diagonalmente el cuadriltero en dos tringulos. T e o r e m a 3. Dos rectas divergentes tienen una, y solamente, una, perpendicular comn. Supongamos que una de las rectas divergentes dadas se expone en la carta t en forma de la perpendicular euelidiana p a la recta u en el punto M , la otra se expone en forma de la semicircunferencia euclidiana q con el centro en u y, adems, p y q no tienen puntos comunes (fg. 31), Semejante disposicin de dos rectas hiperblicas

www.FreeLibros.me

56
divergentes en la carta t siempre puede ser alcanzada mediante el correspondiente mo vimi ento hiperblico. Tracemos desde M la tangente euclidiana M N a q y, con el radio M N , describamos desde el centro M la semicircunferencia m. Es ob vio que m es una recta hiperblica que corta tanto p como q en un ngulo recto. Por consiguiente, m representa en la carta x la perpendicular comn a las rectas divergentes dadas, que es la que buscamos. Dos rectas divergentes no pueden tener dos perpendiculares comunes pues, de lo contrario, existira un cuadriltero con cuatro ngulos rectos, cosa que contradice al teorema 2 .

FIC. 31

T e o r e m a 4 La proyeccin rectangular del lado de un ngulo agudo sobre el otro lado es un segmento (y no una semirrecta como lo es en la geometra de Euclides). La juste/a de) teorema es evidente de la fig. 32, donde el segmento AB es la proyeccin rectangular del lado AB del ngulo agudo BA C sobre su lado AC.

www.FreeLibros.me

57
En esta misma figura el arco D E de la circunferencia eucdiana con el centro en M es la perp endicular a la recta hiper blica AC. Esta perpendicular no se corta con la oblicua AB. Por lo tanto, la suposicin de que la perpendicular y la obli cua a una misma recta siempre se cortan contradice al axioma de! paralelismo de Lobachevski, y es equivalente al axioma d d paralelismo de Euclides. T e o r e m a 5. S i los tres ngulos del tringulo A BC son gua les, respectivamente, a ios tres ngulos del tringulo A 'B'C', dichos tringulos son iguales. Admitamos lo contrario y tracemos respectivamente en los rayos A B y A C los segmentos A B t = A 'B', A C V = A ' C . Es evidente que los tringulos A B i C y A 'B'C' son iguales por dos lados y el ngulo comprendido entre ellos. El punto no coincide con B,

C,

el punto C t no coincide con C, ya que en cualquier de estos casos tendra lugar la igualdad de los tringulos dados, cosa que contradice a lo ad mitido. Ex aminemos las posibilidades siguientes. a) El punto S i se encuentra entre A y B, y C x se encuentra entre A y C (fig. 33; en esta figura, y tambin en la siguiente, las rectas hiperblicas se exponen con v encionalmente en forma de rectas euclidianas). N o es difcil convencerse de que la suma de los ngulos del cuadriltero B C C iB 1 es igual a 4< f, cosa imposible en virtud del teorema 2 . b) El punto B se encuentra entre A y B, y C se encuentra entre A y C t (fig 34). D esignemos por D el punto de intersec cin de los segmentos BC y B X C t. Puesto que < l C = z . C' y

www.FreeLibros.me

58
j l C - z . C x, resulta que = . C t, lo que es imposible, ya que el ngulo C es externo respecto al tringulo C C , ) U. D e manera anloga se enfocan tam bin otros casos posibles. El teorema ha sido demostrado pues la admisin que hicimos nos condujo a una contradiccin. D el teorema 5 se deduce que en la geometra de Lobache vs ki no existe un tringulo semejante al tringulo dado que no sea igual a ste.

9. OBSE R VACIO NES C O MPLEMENTARIAS

Al examina r la carta x puede hacerse una serie de deducciones importantes. En primer lugar, lodo teorema de la geometra de Lobache vs ki se lle va en la carta t a cierto teorema de la geometra de Euclides. Por eso, la existencia de una contradiccin en la geometra de Lobache vs ki lle vara tras de si otra contradiccin en la geometra euclidiana. Por consiguiente, la geometra de Lobache vs ki no es contradictoria. En segundo lugar, el conocimiento de la geometra de Loba chevski facilita extraordinariamente la re velacin de errores en los intentos de demostrar el axioma del paralelismo de Euclides que, en la mayora de los casos, se reduce a la admisin de una suposicin equiv alente a este axioma. Para convencerse de lo infundada que es dicha suposicin es suficiente demostrar que sta contradice al axioma del paralelismo de Lobache vs ki. As fue cmo procedimos en los tres ejemplos que examinamos anterior mente (respecto del lugar geomtrico de los puntos equidistantes de una recta, as como de la interseccin de la perpendicular y la oblicua a una recta dada, y tambin de la existencia de tringulos semejantes pero no iguales). Pondremos un ejemplo ms. El matemtico del siglo pasado Farkas Bolyai (el padre de! m encionado ms arriba Ju an Bolyai) propuso una de mostracin del axioma del paralelismo de Euclides que se basaba en la suposicin de que a travs de tres puntos que no pertenecen a una recta siempre puede ser trazada una La demostracin del teorema "El nyulo externo de un tringulo es mayor que el interno no adyacente a l" no depende dei axioma dei paralelismo.

www.FreeLibros.me

59 circunferencia. F, Bolyai consideraba este hecho evidente, pero en la geometra de Lobache vs ki no tiene lugar, ya que a travs de tres puntos del plano de Lobache vski que no se encuentran en una recta pasa o bien una circunferencia, o bien la lnea limite, o bien la equidistante y, por consiguiente, a travs J e tales tres puntos no siempre puede ser trazada una circunferencia. De aqu vemos que la suposicin de F. Bolyai es equiv alente al axioma euclidiano del paralelismo, cosa que atestigua cun infundada es su demos tracin. Lobache vs ki en sus investigaciones no haca uso del mtodo de construccin de cartas en el plano hiperblico; este mtodo fue propuesto por primera vez por el matemtico italiano Eugenio Beltra mi (1835 -1900) en una de sus obras editada en i 868. pasados 12 aos desde la muerte del gran gemetra ruso. La carta del plano de Lobache vs ki, que examinamos en nuestro libro y que se diferencia considerablemente de la carta construida por Beltra mi, fue introducida en fa ciencia por el cientfico francs H enri Poincar (1854-1912).

10. A CE R CA DE L OS L O GARITMOS NATURALES Y FUNCIONES HIPERBLICAS

El mate rial que a continuacin se expone se utilizar en los prrafos siguientes 1 . Establezcamos pre viamente algunas correlaciones importantes. Introducimos las designaciones:

+ i ) ;

dond e n es un nmero entero positivo. Es evidente que 1 y+ i / ,\ ,| +2

;;t t )

, +

) - ""

" Los problemas que aqu se tratan estn interpretados ms detalladamente en los libros: A. I Markushvich, Areas y logaritmos y V . G. Sherrtov, Funciones hiperblicas (serie "Lecciones populares de matemticas).

www.FreeLibros.me

60

D e las igualdades (10) y (11) obtenemos; 1 ( I + 1 .J . n i , ,12)

- 7 f r ( ' + 7 rT r)

(13)

b ~ a n+, = ^ 1 +

o - r - o ^ r n+ 1

Al descomponer el segundo miembro de la ltim a igualdad en factores obtenemos 1

h (h

i)

Sustituyendo i + |- por

en

los

corchetes

cada

uno

de

los

factores lo que,

1+

aumentaremos la expresin (14)

despus de las simplificaciones, conducir a la desigualdad

D e aqu, en virtud de la igualdad (12) tendremos

bK - a n + l < b ~ an, o

<*n+l > "

Por consiguiente, la magnitud un crece con el incremento del nmero n. Sustituyamos ahora en los corchetes de la expresin (14) cada uno de los factores 1 + por 1 H 7-. C o m o ti n+ l resultado, la

expresin (14) dism inuir lo que, despus de las simplificaciones,

www.FreeLibros.me

61
conducir a la desigualdad

f c *-fl+ l > 7(i + 17T1)Es fcil convencerse de que

(15)

1 1 6 1
efectivamente, despus de las simplificaciones, de aqu obtenemos:

n+2 1 -> n (n + 1)T~>

(m + l ) 2 > n (n + 2). La justeza de la ltim a desigualdad es evidente. D e (15), (16) y (13) obtenemos

bn ~ on+i > K+\ an+iPor eso, fyi > fyi+iAs pues, la magnitud b disminuye con el incremento del nmero n. Puesto que a = 2 , bt = 4 , de lo anterior deducimos que 2 < a < bn < 4. D e aqu y de (12) se deduce la desigualdad

b~ an < . n

(17)

Com o al crecer el nmero n crece tambin an,disminuye b y la diferencia b an tiende a cero, lo que sededuce de (17), las magnitudes a y b tienden a un mismo lmite que se ha adm itido designar con la letra e, y adems, la primera siempre es inferior y la segunda superior que este lmite. As

e=

lm j 1 + I = 1 lim -Y I 1+ ] nj n-* " ><*1 n)

ni

(18)

1 + T-) < e <\ 1 +

t)

(19)

www.FreeLibros.me

62

En p articular, atando n = 1 tenemos 2 < e < 4. (20)

El nmero c es irracional y su v alor aproximado es ien al a 2,71828. De las desigualdades (19) se deduce la igualdad aproximada

\ +

(2!)

el error de esta es menor cjue la diferencia hn - a y, por lo 4 tanto, es menor que . n Supongamos que x es una fraccin propia positiv a racional. D emos al nmero entero positivo n tales valores que el nmero n.x = k sea entero. En virtud de las desigualdades (19) obtenemos

Por consiguiente, tendr lugar la igualdad aproximada

El error de sta es menor que

Luego, por la frmula del binom io de Newton, tenemos

T j = 1+ v h

*Y

, * < * !)

JP

+
(24)

+ -----j p ----- ** + . . . + T r .<*. De aqu se deduce la igualdad aproximada x\ * 1 + y ) ~ 1 + v.

(25)

www.FreeLibros.me

63

D esignemos por a el error de sta. Es ob vio que a =

k- I

+ -------- v ? -------- v +
_ 4 _

(k - l) ( k - 2 )

, *] (26)

< - L (1+J C + .v J + . . . ) _ D e (22), (25) y (26) deducimos que cr s I + x

(27) ya que el Ir-

x2 y que el error de esta relacin no excede mic de la expresin

XCx

[vase (23)] es igual a cero cuando k

crece ilimitadamente. Este error puede hacerse tan pequeo como se quiera dando a la magnitud x valores suficientemente pequeos. La frmula (27) es v lida en el caso cuando x < I es un nmero positivo irracional, de lo que uno puede convencerse exa minando sus valores racionales aproximados. Sealaremos que la frmula (27) es v lida tambin para valores negativos de x que, por su magnitud absoluta, son menores de la unidad; en este caso su error no excede x2 2(1 + x)

D e (22) y (24) puede ser obtenida otra igualdad aproximada ms exacta que (27). Com o k * ce, el imite del tercer trmino del segundo miembro de la igualdad (24) es igual a ~ x 2. consiguiente, se puede suponer que Por

e* v I + x + .y2.

(28)

Utilizan esta frmula cuando x es tan pequea que se puede desatender de la magnitud x 3. No v amos a efectuar la v alori zacin del error de la frmula (28). Examinemos el sistema de logaritmos con base e. Semejantes logaritmos se Maman naturales y juegan un papel muy impo rtante en la matemtica superior. El logaritmo natura! del nmero x se designa asi; In.v. En virtud de las propiedades de los logaritmos ya conocidas In I = 0, ln<> = 1.

www.FreeLibros.me

64 Medianic la loga ritm acin de ambos miembros de la relacin (27) obtenemos la igualdad aproximada siguiente: ln (1 + x) x; (29)

puede hacerse uso de esla igualdad cuando x es suficientemente pequea. Con ayuda del nmero e se calculan las funciones hiperb licas: el seno hiperblico y el coseno hiperblico (sus designaciones son, respectivamente, sh y ch), siendo _ -* e* L ,>-* shx = --- --- , chx = --- --- . (30)

Las dos otras funciones hiperblicas, la tangente hiperblica y la cotangente hiperblica (sus designaciones son, respectivamente, th y cth), pueden calcularse as: , shx th x = , ch x chx c th x - = . sh x (31)

Las funciones hiperblicas tienen una serie de propiedades anlogas a las propiedades de las funciones trigonomtricas hom nimas. A por ms detalles remitimos al lector al libro de V. G . She rvtov qu e anteriormente mencionamos. Para valores de la magnitud x suficientemente pequeos obte nemos de (27), (30) y (31) las igualdades aproximadas siguientes: shx a: x, chx s 1, th x x, (32)

y de (28), (30) y (31) se obtienen las igualdades aproximadas : shx * x, 1 chx % 1 + _2 ' x2> 2x ~ 2 + ^2 (33)

11. M E D IC I N DE SEGMENTOS D E LAS RECTAS H IPERBLICAS

En este prr afo se demostrar cmo se calculan las longitudes hiperblicas de los segmentos de rectas hiperblicas. Examinemos primeramente la semirrecta euclidiana del semiplano t, perpendicular a la recta u en su punto M (fig. 35),

www.FreeLibros.me

65
> D

C F A

FIC. 35
y en ella los puntos A, B, C, D , dispuestos de tal manera que

MB

MD

MA ~ M C '
o, lo que es igual,

MB

MA

MD ~ M C'
D esignando por ji cada una de las dos ltimas relaciones ad vertimos que la transformacin de similitud con ci centro M y coeficiente p traslada el segmento CD al segmento AB y, por consiguiente, Jas longitudes hiperblicas de estos segmentos son iguales entre si. D e lo dicho se deduce que la longitud hiperblica del seg mento AB (que designaremos por ABh) se caracteriza por la rela cin

MA

, o, dicho de otro modo, es cierta fundn de esta re-

lacin. D emostraremos que por esta funcin puede ser admitido

www.FreeLibros.me

66
el logaritmo, es licdr, se puede poner

A B, = ,0g ~
Supongamos

(34)

que F es un punto delsegmento A B . Entonces

MB

MF

MB

MA ~ MA ' M F '
Mediante la loga ritm acn de esta igualdad y en virtud de la frmula (34) obtenemos

ABh A Fh + FB,
lo que concuerda con la regla de la suma de segmentos. H ablando en general, en la frmula (34) se puede coger e! logaritmo con cualquier base positiv a (pero que sea la misma para todos os segmentos y diferente de 1); sin embargo, para la con cordancia de la regla deducida por nosotros con los dictmenes del prrafo 4, es necesario optar por el logaritmo natural y. por lo tanto, escribir la frmula (34) en forma de " s " = ,n W Efectivamente, si el segmento AB es suficientemente en comparacin con el segmento M A , de las relaciones (35) pequeo

MB

M A + AB

, (,

At\

---- ,+ M l )
obtenemos en virtud de las frmulas (29) y (35)

ABh x

AB MA'

lo que concuerda con el principio adm itido en el prrafo 4. Sealaremos que las longitudes hiperblicas de los segmentos A B y BA , calculados por ta frmula (35), son iguales por su mag nitud absoluta, pero se diferencian por el signo. Esto demuestra que cuando cambia la direccin del segmento por la opuesta, su lon gitud hiperblica cambia de signo. Si la direccin del segmento nos es indiferente, en el segundo miembro de la frmula (35) se debe coger la magnitud absoluta del logaritmo. Examinemos ahora ia semicircunferencia euclidiana q con centro M en la recta h, que corta u en los puntos N y N, y la

www.FreeLibros.me

67 p erpendicular euclidiana a u en el punto M , que corta q en el punto A (fig. 36). Supongamos que S es un punto del arco AiV. Tracemos la recta euclidiana N B y designemos por B' su interseccin con MA. N o es difcil convencerse de la igualdad de los segmentos AB

l'IO .3 6

y AB' de las rectas hiperblicas q y M A . Efectiva mente, la in versin respecto a la circunferencia q' de radio NA con el centro N transforma q en la recta euclidiana M A ; con esto el punto A se transforma en s mismo, y el punto B se transforma en B \ ya que B y B' se encuentran en la recta euclidiana que pasa por el polo de in versin N. Por consiguiente.

A B h = ABL = In MB MA
D esignemos el ngulo N M B por A; entonces .M N B = 9 0 " -

Ty
MB' MA M B' ~ MN

www.FreeLibros.me

68 D e aqu

A Bh = ln ctg

(36)

Si C es un punto del arco B N (fig. 36) y . N M C = < p, en tonces, co mo se deduce de (36),

ACh = lnctg y . BC = ACb - ABh = Inctg - Inctg-^-.

De aqu

(37)
D e tal cuando la expone en ra el caso diana. modo, hemos obtenido frmulas tanto para el caso recta hiperblica, que contiene el segmento dado, se forma de una semirrecta euclidiana, com o tam bin pa cuando sta se expone com o una circunferencia eucli

12. F O R M ULAS FU N D A M EN T A LES D E LA T R IG O N O M E T R A H IP E R B LIC A

Examinemos en el semiplano t el tringulo rectngulo A B C (fig. 37). Su lado BC es un segmento de la recta euclidiana OB (O B 1 ), el lado CA es un arco de la circunferencia euclidiana con el radio 1 y el centro O, el lado AB es un arco de la circunferencia euclidiana con el radio / y el centro M , el Z .C es recto, el < . A a y el z. B - p. Bajemos desde el punto A la perpendicular A N sobre la rec ta u e introduzcamos las designaciones:

O B = p, N A q , M O = m, M N = n,

N M A 0, Z .N O A = c p .

D esignemos las longitudes hiperblicas de los lados BC, CA y AB del tringulo dado, respectiv amente, por a, b y c. (Por el contrario, /, m, n, p y q son las longitudes euclidiaiws.) Ad v ertiremos que

O A N = a,

O M B = ,

www.FreeLibros.me

69

ya que las tangentes en el punto A a los lados del ngulo A son perpendiculares a los lados del ngulo O A M , y las tangentes en el punto B a los lados del ngulo B son perpendiculares a los lados del ngulo OM B. Estableceremos ahora una serie de dependencias entre las mag nitudes que examinamos. D e los tringulos O B M y O A M tenemos:

p2 = l2 m2,
1 = /2 + m2 2nm ( = O A 2]. D e aqu

p 2 - 1 - 2m(n ~ m), p 2 + 1 = 2 (/1 - mn).

A continuacin, en virtud de la frmula (35)

(38)

a In = in p.

www.FreeLibros.me

70

Por consiguiente, e = p.
sh ti =

P*
) =

-r-k ' c ) ~ -!-(/)

2 U

2p

ch a = y ( e a + 2

= -^-{/) + ) = /, + * . 2 p 2p

De aqu, utilizando las igualdades (38). obtenemos:

sIi h

- -------- , P

i(h -

m)

cht/ = ------ . P

I2 - m n

(39)

D el tringulo t A iV tenemos: sen (p = q, Por lo tanto, eos < p = i ni. 1 40)

<p
2 tg ^ - = 2
(p

1 4- eos <p
sen (p
I e o s ((>

I+

n m

q q

1 + m

sen (p

Puesto que en virtud de (36)

b = ln ctg y ,
resulta que iv' = ctg- = ---------, e " = tg T
2 n 2

De aqu

A continuacin, de los tringulos O B M y O A N hallamos : senO = -y. sen p - -y, cos = , (42) .(43)

eos P =

www.FreeLibros.me

71
D e esto se deduce que
0 _ 2 I -t-cosO scnO _ I + n 0 2 ! cos() senO

I n q I+m
senp p

q p 7 ~.

1 eos B < I 2 ----senp

/ m

B I + eos B ct ^ r = 2

Puesto que en virtud de (37)

C

resulta que . 0 P (/ + )(/ m)2 + In Im mn e' = ctg -ytg-^- = ------ ---- L = -------------- , 2 2 pq pq 0 B ( / >!)(/ + e c = tg ctg Kr = ---- - = 2 2 pq Por consiguiente, /(i m) P - mn sh c = -, ch c = ------------- . pq pq Y. por ltimo, del tringulo O A M obtenemos ot = ip 0 . D e aqu, tomando en consideracin (40) y (42), tendremos: .. q n - q (n - m ) sen a = sen < p eos t eos (p sen 0 = ---- . . n(n m) 4 -q2 n(n - m) + 1 2 - n2 cosa =coscpcos -fsempsenO = ---- ---- = - ...... ------- . pues q1 2 ir . Asi, (44)

I2 In + Im mn --------------- . pq

qm s e n c t= - ^ - ,

cosa=

I2 mn

.....

(4?)

D e (39), (41), (43), (44) y (45) obtenemos: m(n m) , , . lin = ~ r --- 1 thfr = m. thc = I mn r - mn

ni)

------ ,(46)

qm ig a = p
8P = A

I2 mu
= cg P = y 47) <4S|

www.FreeLibros.me

72

C on ayuda de las igualdades (39), (41), (43) (48) no es di fcil comprobar la justeza de las frmulas siguientes, que son fundamentales en la trigonometra hiperblica :
ch e = ch a ch h, sha = shb = th a = s h 1' sena, shcsenP, s h b - tg a , (49) (50) (51) (52) (53) (54) (55) (56) (57) (58)

th ft = s h a - tg p , th a = th 6 = eos a = eos jJ = ch c = t h c cosp, th c - c o s a , sen f3, ch a ch b sen a, ctg a ctg p.

A las frmulas (49) (58) se les puede dar un aspecto ms general si sustituimos en ellas las magnitudes a, b y c, respecti vamente, por , y i que es equiv alente a la v ariacin de la escala de las longitudes hiperblicas. A qu r es una constante, comn para todos los segmentos. Es caracterstico que, para valores de las magnitudes a, b y c suficientemente pequeos, de las dependencias que obtu vimos entre los elementos del tringulo rectngulo se deducen igualdades apro ximadas, anlogas a [as frmulas de la trigonometra euclidiana. As, por ejemplo, utilizando tas relaciones (32) y (33) obtendremos de (50), (52) y (54): a c sena,

a s M g a , a c eos p,

y a la f rmu la (49) le daremos el aspecto

de donde

www.FreeLibros.me

73
despus de la simplificacin, desatendiendo del ltim o sumando del segundo miembro por moti vo de su insignificancia, obten dremos c2 a 2 + b2. D e este modo, la frmula (49) concuerda con el teorema de Pitgoras de la geometra euclidiana.

13. L O N G IT U D ES D E ALGUNAS CURVAS PLANAS DE LA G EO M ETRA DE LOBACHEVSKI

L o n g i t u d d e l a r c o d e l a l n e a l m i t e . En la flg. 38 el arco A D B de la circunferencia euclidiana con centro O en la recta u representa un segmento de la recta hiperblica, y el segmento euclidiano A B , que es paralelo a u, representa un arco de la lnea lmite.

O/

FlCi. 38
Designemos, respectivamente, sus longitudes hiperblicas por

2 a y 2 s.
0 U tilizando la frmula (36) obtendremos a = lnctg ; de aqu 0 ctg = ea. Luego, la utilizacin del principio 1 del prrafo 4 da :

s"

* T ( " T - 'e 1 ) ' 1

~' >

www.FreeLibros.me

74
D e aqu, en virtud de la determinacin del seno hiperblico, obtendremos s = sha; (59) por consiguiente, 2s = 2sh u. D e esa manera, la longitud del arco de a linca lmite es igual al seno hiperblico duplicado de la mitad de la cuerda que tiende este arco. Puesto que a < s resulta ser que de (59) tendremos < sh (cuando a > 0). (60)

L o n g i t u d d e l a c i r c u n f e r e n c i a . Previamente demos traremos dos proposiciones auxiliares. a) Si a es una magnitud positiv a suficientemente pequea re sulta que thc < a ". Efectivamente, de (33) tenemos

2a Ih ^ --- j < a (cuando a > 0). 2 +a

b) Teniendo presente que los permetros de los polgonos regulares de n lados, el inscrito y el circunscrito en la circunferencia cuclidiana de radio 1, al crecer n ilimitadamente tienden a un mismo lmite igual a la longitud de esta circunferencia, obtendremos . 2d _ 2d lim 2n sen = lim 2n tg = 2 n. n i. n u x n (61)

H allemos ahora la longitud s de la circunferencia hiperblica de radio R. (Aqu y en lo sucesivo todas las designaciones se refieren a las longitudes hiperblicas). Supongamos que A B y C D son los lados de los polgonos regulares de n lados uno de los cuales est inscrito y el otro circunscrito en esta circunferencia2;
Sealaremos sin demostracin alguna que esta desigualdad es valida para cualquier valor positivo de la magnitud a. 2 1 Supongamos que A es un punto de la circunferencia hiperblica q con el centrro O. Construyamos et ngulo AO M =

- - , ni

2,1

donde m es el nmero entero positivo dado, > tracemos en el

punto A una tngeme a la circunferencia q. Esta tangente y la semirrecta OM o bein se corlan en cierto punto fl, o no se cortan. En el primero de los casos el segmento AB ser la nuiad del lado del polgono regular de m lados circunscrito en la circunferencia q. En el segundo cosa en q no se puede circunscribir un polgono regular de n lados si el nmero entero n, que es movor que i, es suficientemente grande.

www.FreeLibros.me

75
designemos sus permetros por p y P y las longitudes de los segmentos A C y E F por p y p' (vase fig. 39; en ella las figuras hiperblicas se exponen con v encionalmeme en forma de figuras euclidianas).

D e los tringulos reclgtilos O A E y O C F . donde O es el centro de la circunferencia dada, obtendremos en virtud de las frmu las (52) y (50): th /l = s h O /M g , n sh C F = sh O C sen o th

n
(62)

2n

-= sh (R p ) tg n

w r. , P s h ^ = sh( K + p ) s c n 2 n h

(63)

www.FreeLibros.me

76

Sea el nmero n tan grande que virtud de la desigualdad (60)

2n

puesto que en

< sh ~ d e n

las frmulas (62) y

(63), multiplicando cada uno de sus trminos por 2 n, tendremos:

sh (/? p') 2n tg - < p < s < p < sh (R + p) 2 sen n

(64)

Tomando en consideracin la igualdad (61) y teniendo en cuenta que p y p' tienden a cero cuando n crece ilimitadamente, llegamos a la conclusin de que el primero y el ltim o de los trminos de la sucesin de desigualdades (64) se aproxima a un mismo limite 2nshfl, que coincide con la magnitud a:

s=

27r shR.

As pues, en la geometra de Lobache vs ki la longitud de la circunferencia es igual ai seno hiperblico de su radio m ultipli cado por 2n. L o n g i t u d d e l a r c o d e l a e q u i d i s t a n t e . Supongamos que los puntos P ,, P2, . . Pn- t que se encuentran a las distancias euclidianas y y2, . . . , > - 1 de la recta tv, divid en el segmento A B en n partes euclidicamente iguales, y supongamos que las longitudes euclidianas de los segmentos OB y A B son iguales, respectivamente, a y, y (fig. 40; O B I ) . Examinemos los ar cos A A', P P i ........ BB' de las circunferencias euclidianas con el centro comn O. que representan perpendiculares trazadas desde los puntos de la equidistante O B sobre su base OB . La longitud hiperblica h de cada una de estas perpendiculares se determina segn la frmula (36) por la igualdad h lnctg-^-. D esignemos las longitudes hiperblicas del equidistante dada y el segmento A B de su base las distancias euclidianas entre los puntos P{, recta u son, respectivamente, iguales a y y sen y sen 0, y la longitud euclidiana de cada una las que estn di vididos los segmentos A B y
r

arco A 'B' de la por s y a. Com o P, . . . , 8 y la 0, y 2 sen 0, . . . , de las partes en A 'B' es igual a

en virtud de las deducciones del 4, tendremos; a = l m Z , * _</.

www.FreeLibros.me

77

s = lm Z ', donde
2= ( c / i w\y t sen0 D e aqu

V > i

y*

+ ...+ 1 | | i \ yn s e n t)

i sen 0

y*)

Z Z

1 sen 0 '

Puesto que la relacin de las magnitudes Z ' y Z conserva un mismo v alor, este mismo v alor tendr tambin la relacin de sus lmites:

r-

5 (C ,*T+y) = T,c +
www.FreeLibros.me

-'**

Por consiguiente, s =c?chh.

78
D e tal manera, la longitud de la equidistante es igual a la proyeccin rectangular de este arco sobre !a base de !a equi distante, multiplicada por el coseno hiperblico de la distancia entre sus puntos y la base.

C O N C L U S I N En los ltim os renglones de nuestro libro, sin aducir demos traciones, informaremos a nuestro lector sobre algunas proposi ciones de la geometra de Lobache vs ki que acentan su origi nalidad. Ante lodo nos referiremos a una superficie del espacio euciidiano que mencionamos de paso en ei 2. En la fig. 41 se expone un plano euclidiano y en l la recta a y la curva i {tractriz), enlazada con a y que tiene la propiedad

siguiente : el segmento de la tangente a r en cualquier punto de sta, comprendido entre el punto de contacto y el punto de inter seccin de la tangente con ia recta a, tiene una longitud constante que no depende de la eleccin del punto de contacto.

www.FreeLibros.me

79
Si hacemos girar la tractriz t alrededor de la recta a, la primera describir una superficie denominada semloesfera (lig. 42). La seudoesfera es precisamente aquella superficie que investig Beltra mi d emostrando que sta se caracteriza por sus propiedades, propias de! pedazo del plano de Lobachevski (si se consideran rectas las lneas ms cortas en l). D e manera semejante en el espacio de Lobachevski existe una superficie en la que se cumplen (para la misma interpretacin de la nocin "recta) las tesis superficiales de la geometra cudidiana : sta es la llamada superficie limite, que la describe la linca lmite girando alrededor de unos de sus ejes. Alegaremos ahora las Formulaciones de algunas de las tesis ms simples que son caractersticas para la geometra de Loba chevski. 1. Dos rectas paralelas se aproximan asintticamente en la direc cin de su paralelismo (es decir, la distancia entre un punto de una de stas rectas y la otra recta puede hacerse tan pequea como se quiera) y divergen ilimitadamente en la direccin opuesta. 2. Supongamos que la recta c corta las rectas divergentes a y b en los puntos A y B. La longitud del segmento A B ser la

mnima si c coincide con la perpendicular comn a ambas rectas divergentes. A ambos lados de su perpendicular comn las rectas a y b divergen ilimitadamente. 3. El rea del tringulo /IS C e s igual a r 2 (n .A . B - z . C), donde las magnitudes de los ngulos se cogen en medida de radianes y r es la constante comn para todos los tringulos, que ya mencionamos en el 12. E l rea mxima nr 2 pertenecer

www.FreeLibros.me

80 al tringulo en el que todos los ngulos son iguales a cero (en la fig. 43 semejante tringulo est sombreado). 4. El ngulo inscrito en una circunferencia no siempre se mide por la mitad del arco en el que se apoya. E n particular, en el dimetro siempre se apoya un ngulo agudo (y no recto, como en la geometra euclidiana). 5. Si est dado un nmero entero arbitrario n > 6 puede ser construida tal circunferencia que el lado del polgono regular de n lados, inscrito en dicha circunferencia, sea igual al radio de sta. El lado del hexgono regular inscrito en una circunferencia siempre es mayor que el radio de sta. 6. En la geometra de Lobache vs ki, en ciertos casos, se puede efectuar la cuadratura del crculo, es decir, utilizando la regla y el comps se puede construir un circulo y un cuadrado equidimensionalcs (ms exactamente, un rombo equingulo, pues en el plano hiperblico no existe un cuadriltero con cuatro ngulos rectos). En la geometra euclidiana, como es sabido, no puede ser realizada la cuadratura del crculo. Los ejemplos examinados demuestran cun grande es a veces la div ergencia entre las deducciones de las geometras de Euclides y de Lobache vski. * * En nuestro libro se han marcado solamente los primeros jalones del cam ino que conduce a la penetracin en el fondo de la geometra hiperblica. Nos alegraremos si el lector, que por nuestra narracin ha conocido los principios de esta ciencia mara villosa, se interese por ella y desee estudiar los trabajos especiales dedi cados a sta y, entre ellos, las obras de su fundador N. I. Loba chevski. *

A N U E ST RO S LECTORES: "M ir" edita libros soviticos traducidos al espaol, ingls, francs, rabe y otros idiomas extranjeros. Entre ellos figuran las mejores obras de las distintas ramas de la ciencia y la tcnica: manuales para los centros de enseanza superior y escuelas tecnolgicas: literatura sobre ciencias naturales y mdicas. Tambin se incluyen monografas, libros de divul gacin cientfica y ciencia-ficcin. Dirijan sus opiniones a la Editorial M ir. 1 Rizhski per., 2, 129820. Mosc, I-l 10. GSP, URSS.

www.FreeLibros.me

www.FreeLibros.me

Lecciones populares de matemticas

Q br.is de nuestro sello editorial Lubich \u., Shor L., M todo cinemtico en los problemas geomtricos Shilov G. G am a simple (confeccin de la escala musical) Vilenkin N. M todo de aproximaciones sucesivas

1978

l'spenski V. Tringulo de Pascal

Editorial MIR

Mosc

www.FreeLibros.me