••••••••••••••••••••••••••••••••••••••••••••••••••• • •

lecciones populares ~

de matemitlcas :

o

----------------:

• • • • • •

ACERCA

,

DE LA GEOMETRIA

DE LOBACHEVSKI

• •

--------0

• •

• • • • • •

:--------

A. s. Smogorzhevski

\ ,.1 \ I I IJ

\ \ I I

'~ /

......... /

- ./

,IV ...... __ .....

• • • , .

Moscd :

• • o

o

--------0

•••••••••••••••••••••••••••••••••••••••••••••••••••

rI()III,_iI~II'J-!bIE JII'KWH1 no r"vlATEMATHKE

o rEOMETPl1l1 J10FlA LJ EBCKOrO

In.I'1 II "lhCTIlO .. Ii V. ~ '\" \lOt UIA

1 _

LEC(,IONESI'Ol't.' LA.RES 1)1' vi <\n vi \1' )("\:->

_'\ s SjvIOGOR?HrVSI{I

ACERCA DE LA GEOi\1ETRiA DE LOBACHEVSKI

-----., -"--'-.-

,I 1)1 fill, J -\1 \1111' MO,,;,!'I

'---------------_ .. " ---

- I

''''~ .. ---,., ...... ,., .. "

I

I

.

I

!

I

!

I

_____ .. J

IMI'RESO EN LA URSS_ 19111

Traducido del ruso por el ingeniero Virgilio Llanos Mas

Ita U~'natl(,IWM H3b1KC

© Traduccion al espafiol. Editorial MiT. 197R

5

INDICE

Prefacio del autor 7

§ 1. Bosquejo resumido de 11.1. vida y actividud de N. I. Lebachevski 9

§ 2. Respeeto al origen de los axiomas 'i SII papel en la gcometria 12

§ 3. Inversion 24

* 4. Carla del plano de Lobuchevski 33

~ 5. La circunferencia en el plano de Lobachevski 47 § 6. La equidistante 51

* 7. La linea limite 52

§ 8. Algunos teoremas de la georuetria de Lobachevski 54 § 9. Observaciones ccmplernentarias 58

§ JO. Acerca de los logaritmos naturales y Iunciones hiperb61icas 59

§ I J. Medici6n de segmentos de las rectas hipcrb61icas 64

§ 12. Formulas fundamcntalcs de hi rrigonomctria hipcrh61ica 68 * 13. Longitudes de algunas curvas planas de la geornctrla de l.obachevski 73

Conclusion 78

7

PREFACIO DEL AlITOR

EI objetivo de este libro es dar a conoccr III lector los fundarncntos principalcs de 1<1 gcomeiria no cuclidiana de Lobuchevski.

EI celebre cicntlfico ruso N. I. Lobuchevski era lin pensudor notable. A el lc pertenecc uno de los invemos rnuremaucos rruis importantcs, la creacion de un sistema gcometrico original disiinto de In geomeiria de Euclidcs. Los datos biogniflcos breves de Lobachcvski el Icctor los hullani en el ~ I de nuestro libro.

Las geometrtas de Euclides y Lobachcvski ticnen mucho de cornun: eo elias solo son difcrerues, las definicioncs. los teoremas 'f las formulas ligadas HI axioma del paralchsmo. Para comprender que es 10 que suscito esta difercncia 5C debt: cxaminar como surgieron y desarrollaron las nociones geometricas fundamentales. El * 2 csl~ dedicado a esta cucstion.

Para la cornprcnsion del libro, ademas del conocimicnto de geornetrla (planirnetria) y de rrigonornetrta en el grade del curse de segunda cnsenanza, sc requierc clconocimiclllll de la transforrnacion dcnominada inversion. En cI ~ 3 dames un resumen de sus propiedades mas importantes. Espcramos que cl lector. sin gran rrabajo y coo provccho par>! sl, usimile cl cornenido de cste parrafo que, igual que el * 10, jucga en ntlC')II"O libro un papel que aunque es auxiliar es de suma iruportuncia.

9

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

Nicolai Ivanovich Lobachevski nacio el 20 de noviembre (I de diciembre segun el estilo nuevo) de 1792 en la familia de un funcionario pobre, Nicolai Lobachevski y sus dos herrnanos quedaron prematuramente a cargo de: su madre, mujer energies y sensata que, a pesar de la excesiva escasez de medios, envio a todos sus hijos a estudiar en el gimnasio de Kazan,

N. I. Lobachevski estudio en el gimnasio de Kazan desde 1802 basta 1807, y en la Universidad de Kazan, desde 1807 hasta 18J I. Disponiendo de brillantes aptitudes matematicas Lobachevski curse exitosamente 105 estudios y, una vez acabados estes en la Universidad, fue retenido en ella para prepararse a ser catedratico, titulo que Ie fue concedido en eI ana 1816.

La actividad pedagdgica de Lobachevski deja una viva impresion en la memoria de sus discipulos, Sus conferencias se caracterizaban par la claridad y plenitud de exposicion, Los conocimientos de Lobachevski en las diversas ramas de la ciencia eran vastos y multifaceticos, hecho que Ie permitia asumir sobre SI ciclos de conferencias no solo de asignaturas de la serie matematica, sino tambien de mecanica, fisica, astronomia, geodesia, topografia.

Habiendo sido elegido en el ana 1827 rector de la Universidad de Kazan, Lobachevski desempeno esta Iuncidn cerca de veinte alios. Siendo un administrador talentoso y energico que comprendia bien los problemas de la ensefianza superior pudo convertir la Universidad de Kazan en un centro modele de enseiianza superior de aquel tiempo. Par iniciativa de Lobachevski Ja Universidad comenzo a editar las "Memorias cientilicas", se fomento la construction de edificios universitarios y se inaugurri el observatorio de astronomla de la Universidad,

Su actividad cientifica dio a Lobachevsk i lama mundial. EI inmortalizo su nornbre con (a creacion de la geometria no euclidiana que en la actualidad, de acuerdo al nombre de su Iundador, la denominan geometria de Lobachevski Il.

"Otra de sus denominacloncs, la de gt'(lJl!!'!l'ia hiperhriliw. esta vinculads al heche de que en esra III hnea recta. igual que la hiperbola en la geometria euclidiana, tiene dos puntos alejados inflnitamente (vease * 4).

2-68

10

El t I (23) de febrero de 1826, en la sesion de 18 Seccion de ciencias fisico-matermiricas de la Universidad de Kalan, Lobachcvski intervino con una confersncia en III que, por primera vez, informo respecto a su invento dc da geometria no euclidiana La primera cxposicion de los principios de esta, aparecida en la prOIlSH, fue III memoria de Lobachevski "Sabre los Iundamentos de la Geomet ria ", pu hlicada en los anos 1 829 - 183000 la revista "Bolotin de Kazan",

EI invento de Lobachevsk i no fue concebido por In mayorja de sus contcmporuneos: sus trabajos respccto a la geometrfa obtuvieron juicios ncguuvos tanto en Rusiacomo en el extranjero. Las ideas del gran sabio ruso eran dcmasiado audaces y diferian ostcnsiblemente con los puntos de vista que entonces predorninaban en la ciencia: precisamentc por esto transcurrio mucho tiempo antes de que dichas ideas sc ganaran el reconocimiento comun que vino solameute dcspues de. Ia muerte de Lobachcvski,

Lobachevski no Iuc disuadido de 1<1 justeza de sus deducciones pOT los ataques de la critica y, con la energia einsistcncia que Ie cnracterizaban, pmsiguio d cstudio del sistema geornetrieo creado pOI" el. Pu blica II na scric de tra bajos dedicados a la gcometrla no euclidiana. EI ultimo de ei\10s, terminado por l.obachevski alga antes de su rnucrre, Iuc dicta do por CJ cuando ya no podia eseribir por la ceguedad que Ie afecto en su vejez.

La actividad cicnnfica de Lobachevski no quedaba reducida a las investigaciones geomerricas, pcrtcneciendole tambien varies Irabajos Iundarnentulcs en la rama del <Ugehru y del analisis matematico, EI metodo de solucion aproximada de ecuaciones algebraicas,i.nvenlado por Lobachevski, es rnuy fino y practice.

Los cri tcrios Iilosoficos de Lcbacbevsk i ten ian I end encia materialista bien desiacada. y este consideraba que el medio mas seguro de comprobacion de las deducciones tcoricas era In exporicncia, la practica. Lobachcvski exigia una enscnanza de las matematlcas que avezara a vcr tras las opcraciones matematieas los fenomenos reales de 1<1 vida.

En el aii(l 1846 l.obaehcvski fue desutuido de su trabajo ell III Universidad y nombrado ayudante del curador del distrito de enseiianza de Kazan. Aunque forrnalmentc csto era ascenso en el cargo, practicamentc. de esta rnanera. los jeles superiores se esforzaron pur dcshacerse del rector que, por scr de orien(acion progresisiu. les era indeseablc, En su nuevo cargo, subordinado al curador del dislrito de enserianza de Kazan, Lobachevski se veia mucho mas resrringido en sus actividades q ue durante

12

su permanencia en el cargo de rector de la Universidad y sufria par su retiro de esta, a la que estaba unida toda su vida.

Lobachevski fallcci6 el 12 (24) de febrero de \856. En 1896, frente al edificio de la Universidad de Kazan, fue erigido un monumento al eminente sabio 1).

§ 2. RESPECTO AL ORIGEN DE LOS AXIOMAS Y SU PAPEL EN LA GEOMETRIA

Para aclarar el papel de los axiomas exarninaremos en rasgos generales las etapas nuts importantes del desarrollo de la geometria desde los tiempos remotes.

La patria de 11'1 geometria son los pafses del Antiguo Oriente donde, hace varies milenios y debido a las necesidades de la agrimensura, arquitectura y astronomia, fueron elaborados importantes principios de aspecto practice para In rnedicion de angulos, areas de algunas Iiguras y volumenes de los cuerpos mas simples. Estos principios se elaboraron empiricamente (por vias practicas] y, por 10 vista, se transmitian oralmente: en los textos matematicos que lIegaron hasta nosotros hallamos frecuentemente aplicaciones de los principios geometricos, pero no encontramos tentativas de forrnularlos,

Con el tiempo, cuando se amplio el circulo de objetos a los que se aplicaban los conocimientos geometricos adqulridos, se puso en claro la necesidad de formular los principios geometricos en

I) EI lector puede encontrar datos biograficos mas arnplios respecto a Lobuchevski en los libros siguientes:

V, 1-". Kaqdn. Lobachevski, M., L., 1948. Este arnplio trabajo (506 pags.], ademas de la biografia detail ada de Lobachevski, contiene tambien un resumen de sus obras,

V. F. Kagdn. 131 gran sabio N. L Lobachevski y su puesto en III cieneia mundial, M., L, 1943. Un libro pequerio escruo de manera popular.

P. A. Shirokou, V. F. Kuydn. Estructura de la geornerria no euclidiana. Edicion I de la scrie "La geometria de Lobachevski y eJ desarrollo de sus ideas", M., L., 1950. En una de las partes de este Iibro se da un resumen breve, bien lIevado a cabo, de los fundamentos de la gcometrla de Lobachcvski, resumen comprensible para tl amplio clrculo de Ieciores.

Yease tambien el articulo "Lobachevskl'' en e\ torno 25 de 1<\ Gran Enciclopedia Sovietica (2' cdicion, pags. 314 - J 17).

13

su forma mas general. hecho que determine) cl paso en la geometria de conceptos concretes a concept os abstractos, Asf, por ejernplo, cl principio elaborado para medir el area de una parcel a rectangular de tierra resulto ser apto para medir el area de una alfombra, Ia superficie de una pared, eic., y, como resultado, surgio la nocion abstracta de rectangulo,

De este modo se constituyo el sistema de conocimientos que obtuvo el nombre de geometria. En la primera fase de su desarrollo la geometria era una ciencia ernpirica, es decir, una ciencia en la que todos los resultados se deducen directamente en la practica.

EI desarrollo de Ja geometria marcho por un nuevo camino cuando se repar6 en que algunas de sus proposiciones no requieren argumentacion empfrica, ya que estas pueden ser derivadas de otras proposiciones mediante deducciones basad as en las leyes de la kigica, Se comenzo a diferenciar en la geornetria proposiciones de dos generos: las establecidas por via practica (mas tarde denominadas axiomas] y las dernostrables logicamente basandose en los axiomas (teoremas).

Puesto que. por no requerir dispositivos especiales, ni numerosas rnediciones fastidiosas, la argumentacion logica en el aspecto teenico es considerablemente mas simple Que la ernpirica, ante los sabios de la antigiiedud, como es natural, se planted el problema de reducir a1 minimo el numero de proposiciones del primer genero (axiomas) para facilitar de esre modo el trabajo del gOOmetra trasladando el peso fundamental a la esfera del raciocinio 16gico. Este objetivo resulto ser realizable. ya que la geometna se abstrae de todas las propiedades de los cuerpos excepto su extencion, propiedad muy esencial per a tan simple que toda clase -de relaciones geometricas pueden ser deducidas de un mirnero reducido de proposiciones - axiomas segun las leyes de la logica.

De esta manera la geometria se transformo de ciencia empirica en ciencia deductiva de exposicion axiornatica, que caracteriza su estado actual ",

La primera exposicion sistematica de las tesis fundarnentales de la geometria llegada hasta nosotros fueron los "Elementos" de Euclides, escritos cerca de 300 aries antes de nuestra era. Esta obra esta construida segun el esquema siguierue: despues de las

I) Deduccion - acci6n de deducir Se llama deductiva a ta ciencia en la que las tesis nuevas se derivan de las anteriores de manera puramente logica.

14

dcliniciones y de los axiomas se exponen las dernostraciones de los icorcmas y las solucioncs de los problemas, y. con eso, todo tcorcma nuevo se dcmucstru basandosc en los axiomas y en los reorcmas demostrados antcnormcntc. Los axiomas no se dernuestran, solarnenre se enuncian.

Durante cl transcurso de dos milenios los "Elementos" de Euclilk':.~ gOlaroll de autoridad innegable en el mundo cientifico. Sin embargo. un pusaje de este Irabajo parecia noestar suficientcmente justificado. Sc sobrcenticndc el axiorna del paraleiismo, que Euclides forrnuki asi:

Si do« luiru» rectos, 01 intersecarse elm una tercera. forman lillf/U/O.I' ;1J1(,!"IlI/,~ uniif/l('Yo/es ("uya sunw es inferiol' ados dl1!1ufos fI.'C/(H. 1'('.1'1.1/1/1 ,'>('1' qUI! esuts dos recuts. ,II pl'o/rm,q'lrl<18 llimiUlda· mente. :~(' (:IJ('1I11/ runin pM liIJ11l'1 tudo ell e! que estu suma I.',~ il!Jerior de dos 1I1l!)1I/0S rectos II,

La justeza del axioma del paralelismo de Euclides no suscitaha dudas. Ll duda respecto a este axiorna radicaba en otra ':OS<l: (, era jusio cl haberlo relacionado a ia catcgoria de los axiomas", ,:no scrfu posiblc dcmostrar este axiorna can ayuda de otros axiomas de los "Elementos" euclidianos y, de esta manera, pasarlo a la ell tegorja de los teorernas?

Al principio, los intentos de demostrar el axioma del paralelismo rellejuban la iendencia seitalada anteriormente de disminuir el mimcro de proposiciones geornetricas, que exigian fundamentacion empirica. COil el transcurso del tiernpo Itt situacion vario: se olvido cJ origen experimental de los axiomas y estes se comenzaron <I imerprctnr como verdadesevidentcs de por sl, independientemente de cualq II it: ru q ue fucra 01 experimento 2., Sernejante pu n (0 de

I, En los rna II unles escoiares de geometna, el axio ma del paralclismo de Fuclides ~<;I,i susutuido por la srgnientc pruposieinn equivulcnte a t nurs til' III/ 1'1111/0 situado [uera de IIIW fe('/(/ sc pued« trazar x,,/wlU'fl/<' IIH<I I','d'i l'(inlleJ<I II fa primera.

Cualesqnicra dns ,,~i()mas de la geomelr ia euclidiana II otra geometria sc cousidcrun similnrcs (equivalcntes] si de ambos 5C dcduccn unos mismos 1<)I>[lll,I<I<1s, a lei p,u- que hid os los uxiomas restantes de esta geomerria <I m:!l a II ell vigor

!, F.s subido que II'S ciegos de nacimiento que en la edud madura han rccu pcrudo 1;1 visl n ror v i,1 quirurgica, al pr lnclpio, despues de la operacion. no r\L~'del1 distinguir el cuba de In estern sin habcrlos pulpado, ASI se dt:lTIIICSlr,I Iii nccosidad del experirnemo para una pcrcepcion justa de las fi[!11 ra~ ,~~')1J1~1 r icu ~.,i n 10 CUll 1 no pueden elaborarse conceptos l!Ctlm~1 r ie< 1S

15

vista engcndro la seguridad de que el axioma del paralelismo, que por su cornplejidad es dificil admitirlo como axioruatico, en realidad no es un axioma y, por consiguierue, se puede hallar la dernostrucion de la afirmacion contcnida en el. Sin embargo, los numcrosos esfucrzos en este sentido no dicron resultados positives y el axioma del paralelismo, cual tesoro hechizado. no descubria a los investigadores sus secret os. Los intentos de demostrar estc axioma, condenados al fracaso, exigicron un consume cnorme de trabajo intelectual de numerosas generaciones de sabios y fueron [a expiacion por la interpretacion idealista de la esencia de los axiornas,

EI tipo de demostracion erronea del axioma del paralelismo de Euclides mas difundido era cI de su sustitucion por otru proposicion equivalente como, por cjemplo: [(I perpendicular .I' la oblicua respecto a una misma recta se cortan; 0: existe W! Iriangu/o semejante al tridnquto dado pero no iquu! a {;8/(,; 0: 1'1 /uqar qeometrico de puntos ('quidi.wallles de u/w recta dar/a, si .1'(' (,lIct,,!ntrail a lin mismo lado de esta, es una recta; 0: a traces de cualesquiera tres puntas .~e puede trazar 0 bien 11110 recta, 0 bien IIna ci rcunferencia. Mas adela nte dernostrarcmos que, si c1 axioma del parulelisrno de Euclides no tiene lugar, todas estas proposiciones

-50.n erroneas. Par consiguiente, admitiendo cualquiera de las proposiciones enumeradas como un axioma, consideramos que el axiorna euclidiano del paralelismo es justo, es decir, parrimos de la justeza de aqucllo que queriarnos dcmostrar.

En sus investigaciones de 1<1 teoria de las lineas paralclas Lobachevski fue por otro camino. Habiendo comenzado por intentos de dernostrar cl axiorna del paralclismo pronto advirtio que uno de ellos conduce a resultados absolutarncnte inespcrados, Este intento consistia en la utilizacion del meiodo de dernostracion par oposicion y se basaba en [a considcracion siguicntc: si el axiorna del paralelismo de Euclides es resultado de otros axiomas de los "Elementos" y si, no obstante, se admite que l/ traces de III! punto fuera de 1II1II recta, en et plano determiruulo por esto», \"(' pueden trazar par 10 menos dos rectus que no cortan II la recto dada, resultara ser que esta suposicion tarde 0 temprano, en sus resultados mas inmediatos a mas lejanos, conducira a una cantradiccion. Entre tanto, analizando los nuevos y nuevos resultados de la admision hecha por cl, paradojicos desde el punto de vista de la geometria euclidiana, Lobachevski se persuadia de que estos formaban un sistema logico no contradictorio de tcorcmas capaces de constituir la base de una nueva teoria cientifica.

16

As! fue fundamenrada la geometda no euclidiana: su axioms del paralelisrno se diferencia del euclidiano y coincide con 1a suposicion citada anteriormente, que en 10 sucesivo denorninaremos axioms del paralelismo de Lobachevski I).

No 'obstante, quedaba no claro si se podia afirmar can seguridad que ninguno de los numerosos posibles resultados del axioms del paralelisrno de Lobachevski conduciria a una contradiccion, Lobachevski fijo la solucion de esta cuestion: senalo que la incontrariedad de la geornetria descubierta par 61 debe deducirse de la posibilidad de aritmerizarla, es decir, de la posibllidad de reducir (a solueion de cualquier problema geometrico a calculos aritrneticos y transformaciones analiticas, utilizando para ella las formulas de la trigonometria hiperbolica deducidas par 61 misrno, Ultericrmente fueron halladas por otros sabios demostraciones rigurosas de la inconrrariedad de la geometrfa de Lobachevski,

Las investigaciones de Lobachevski en la rarna de la geometria hiperbolica son rnuy vastas: abarean su parte elemental, 1a trigonornetria, la geametria analitica y la geometria diferencial. Utilizando los metodos de la geometria creada par el, Lobachevski hall6 mas de 200 formulas nuevas para el calculo de las integrales definidas.

EI descubrimiento de Lobachevski se calificaba por sus coniemporaneos, e incluso par sus discipulos, como un disparate monstruoso, como un desafio audaz a las leyes de la logica y del sentido comun 2). No nos asombra tal actitud respecto a la

11 Posreriomente se puso en claro que, adernas de la geornetria descubierta por Lobachevski, se pueden construir otras muchas geometries no euclideas.

11 Desde luego. no puede sospecharse infundadamente de ineptitud de los sables contemporaneos de Lobachevski por la incomprensi6n de su invento: es posible que muchos de elias no emiueron su opinion respeeto al invento por pertenecer las investigaciones de Lobachevski a una rama que no entraba en la esfera de sus intereses cientificos: tambien se sabe que el celebre maternatico aleman Carlos Gauss y eJ eminente geometra hdngaro Juan Bolyai, que independientemente de Lobachevski Iiegaron a la conclusion de la posibilidad de construir una geometria no cuclidiana, cornparuan los puntos de vista de este, Sin embargo, Gauss, temiendo ser incomprendido y ridlculizado. nunca intervino en la prensa apoyando las ideas de Lcbacnevski, y Bolyai, viendo que Sus propias investigaciones de III geometria no euclidiana (publicadas en el ana 1832) no fueron reconocidas, se apan6 de los ejercicios matematicos, De tal modo, Lobachevski tuvo que luchar solitariarnente justificando sus ideas.

17

idea genial que demolia (as noeiones de aquella CPO(;u. Can la misrna hostilidad tam bien habra sido acogida la tcoria helioccntrica de Copernico, que negaba aquello que parccia ser absolutamente evidente y afirrnaba aquello que parecia ser inconcebible. Se requerian consideraciones muy profundas para comprender la admisibilidad de dos geometrfas difcrcntes. A continuaekin pasamos prccisurnente a exporter algunas de estas consideraciones, las mas comprensibles,

En los manuales escolares de geometria, en la parte "Planimetria", scestudia el plano independicnremente delespacio que 10 rodea: con otras palabras; Ia planimetria es ta geometria del plano euclidiano, Tambien han sido bien estudiadas las geornetrias de ciertas superficies curvilineas: puede servir de ejemplo la geomctria esferica, que encuentra amplio usa en la astronornla y en otras ramas de la ciencia,

En toda ciencia los conceptos simplisimos tienen mucha importancia, En la geometria euclidiana semejantes conceptos son el punta, la recta, el plano. Estas denominacioncs se conservan tambien en las gecmetrias noeuciidianas, llarnandose "recta" a la linea por Is que se mide Is distancia mas coria entre dos puntas y "plano" a Ia superficie que tiene Is siguiente propiedad: si dos puntas de la "recta" pertenecen a esta superficie, resultara scr que todos los puntos restantes de la misma "recta" tambien pertenecen a dicha superficie, Por ejemplo, en la geomctria esferica, se denominan "plano" y "rectas", respectivamente, a Is esfera y a las circunferencias de sus circulos grandes, Esta tcrminologia es completamente oportuna ya que en cualquiera de las geometrias la "recta" es la linea mas simple y el "plano" es iarnbien la superfide mas simple y, a demas, la primera tienc Is propiedad mas importante de [a recta euclidiana y el segundo, la propiedad mas importante del plano euclidiano 1),

Sedalarernos algunas singularidades de la geometria esferica.

Para mayor evidencia laexaminaremos como la geometrla de Ia superficie del. globo. No es dificii comprender que dos "rectus" de esta gcometria [por ejernplo, dos meridianos) siernpre se cortan en dos puntos del globo diametralrnente opuestos, Despues, [a suma de los angulos del triangulo esfericoes mayor que 2d; por ejemplo, en cl triangulo Hmitado par un cnarto del ecuador y

l) Advertiremos que en la geornetria proyectiva falta la necion de distancia entre dos punt os; en el caso de \l na geometria de tal genera Jainferpremd6n de las ncciones "recta" Y"plano", expuesta anteriormentc, cs inaplicable.

18

I-~)-' ~~~ r--
~ /'
I~~ 14 ~ ~ \~ ~~J
~«, r. 1/; ~
~l\~ ~"' ? 1/,1 I tl--
""' r-
~ ~( ~ ~\ j .... \.~ I b i't JI~ ,15'"'
~ 1£'\ I
,t/ 1'\ ~' V I ( 1£
'\ I" ~ j (1.1\ « ~
17 J ~":t;j
/ f "",r, 0
I'c:::: I) :1

r'{
-, 't' N\
r V
) V 1'\
1/ 6
~ 1'1(,. 1

19

por los arcos de dos meridianos (Jig. I) todos los t res angulos son rectos I).

Es sabido que en la geografia, a la par con cI globe, sc utilizan rnapas de la superflcie terrestre, Esto cquivalc al estudio de If! gcometrla esferica mediante el examen de los rnapas de la esfera, hecho posiblc si se indica de que mancra sc hallan por mcdio de las efigies de las lineas en eI mapa sus longitudes reales y las magnitudes reales de los angulos entre elias. La cosa consiste en que en el mapa se obtienen efigics desflguradas y cl caracter de eMU desfiguracion no es el mismo en todas partes. Por cjcmplo, en el mapa de la supcrficle terrestre ejecutado en la proycccion de Mercator 21 (fig. 2) a los meridianos les corresponden lincas rectas paralelas a las que son perpendiculares otras lineas rectas, equivalentes a los paralelos geograficos y, al mismo tiempo, el scgmcnto que representa I C del paralclo tiene, independientemente de su latitud, una misma longitud, mientras que en la realidad la longitud del grado de un para lela es tanto menor ClHUl!O mas elevada es su latitud.

En vista de que la superlicie tiene dos dimcnsiones se ha aceptado denominar bidimensional a la geometria que cstudia las figuras que sc encucntran sabre una superficic dctcrminada, y denominar espacio bidimensional a la propia superficie, Dcsde hace mucho tiempo se conocen dos variedades de la geomctrfa bidimensional: la euclidiana (para el plano) y Itt esferica. AI heche de existir una geometria bidimensional no euclidiana los maternaticos no lc daban gran importancia por la simple razon de que la esfera se estudiaba en el espacio euclidiano tridimensional. y esto obligaba a olvidar las propiedades no euclidianas de la esfcra como tal.

Como resultado de las investigaciones de Lobachevski se puso en claro que no s610 son concebiblcs las superficies con propiedades no euclidianas, sino que tambien 10 son los espacios no euclidianos trid imensio nales,

La introduccion del conccpto de las geomotrias tridimensionales no euclidianas puede provocar dudas si no se hacen las aclaraclones siguientcs.

n 'Se denomina ungulo cnrredos llneas en cl punro de su int erscccion at angulo entre Ius tungcntcs a estas en dicbo punic.

2. Gt'nm/o Mer('(I/O/' (1512-1594) - emincntc cartoarafo llumcuco. La proyeccion cart ografica propuesta par el en cl arlo - I 569 obtuv 0 una divulgacion general y, dcsdc ent onees, las curtas marii imas se C)CClI1a 11 en esta proyeccion .

. 1"

20

A veces es comedo representar en forma geometries los resultados del estudio de una clase deterrninada de fenomenos. POI' ejemplo, los datos concemientes al incremento de la productividad del trabajo frecuentememe se exponen en fprma de graficas y diagramas, Esto demuestra que mediante imageoes geometricas se pueden describir diversos procesos y estados reates que no tienen relacion directa can la geometrta.

Si se considera Ta grafica como una linea del plano euclidiane, es evidente que en el ejemplo expuesto antersormente se han empleado irnagenes de Ia geometrla euclldlana bidimensional. En otros cases mas cornplicados se tiene que recurrir a las geometrias euclidianas 'J no euclidianas tridimensionales e, incluso, polidimensionales. De esro no se debe deducir que todas elias describen relaciones deextensi6n; estas son teorias que, en sus Iorrnulaciones, utilizan terrninos geometricos a los que, hablando en general. se lesairibuye un oontenido no ligado a las nociones espaciales, As!. por ejemplo, al agregar e1 tiempo a las tres dimenstones del espacio real en ealidad de una euarta dimension, introducimos el concepto de espacio cuatridimensional en el que el intervale deterrninado de tiempo se considera como un "segmeeto de 1a recta", En la mayoria de los casas semejante enfoque crea solamente la apariencia de claridad, cosa que, hasta delta grade, Iacilita el analisis del fen6meno que se estudia por este metoda,

De tal modo. laconstrucciou de las geometrias no euclidianas se jusrifica por la posibilidad de utilizar sus deducciones para objetos que en la realidad existen, La circunstancia de que estes deducciones se form ulan con terrninos de la geometria no tiene importancia esencial: las formulaciones geornetricas se pueden modiIicar facilmente de tal manera que eorrespondan a las propiedades de los objetcs y Ienomenos que se estudian,

Adverriremos que en las aplicaciones de la matem:1itica:'·en' aquellos casesen los que la teorla presta servicio a objetos que se someten a unas rnismas leyes rnatematicas aunque cualitativamente son dilerentes, se practica con frecuencia la sustitucion de unos conceptos por otros !).

Se debe hablar especialrnente de las geometries tridirnensionales.

Estas pueden considerarse, independienternente de otras aplicaciones

I, Respecto alemp\eo practico de este principle vease el articulo "Simulacion' en e\ libro de V. G, Boltianski "(,Que es el calculo diferencial?' (serie de "Lecciones populares de matematicas",

Editorial Mir. Moscu), .

21

que tengan, como hipotesis que pretend en a describir las prop iedades del espacio real. La cuesti6n respecro a cual de estas hipotesis esta mas corea de la realidad solamcnte puede ser resuelta mediante la cornprobacion experimental de sus tcsis,

Seiialaremos el heche siguicnte, muy importante para la exposidon ulterior: enel plano euclidiano se puede consiruir (asi como se hace para 1a esfera ':/, ademas, no por un solo procedimiento) la carta del plano de Lobachevski, EI estudio de una de serncjantes cartas sc admitira en nuestro libra como base para cl estudio de la geometria hiperbolica,

Es caracteristico que la geometna de Looachevski obtuvo reconocirniento general en las circunstancias siguientes. En el ana 1868 el matematico italiano Eugenio Beltrami descubrio que en el espacio euelidiano existe una superfieie que tienc las propiedades del plano de Lobachevski, mejor dicho, de cierto pedazo de este plano (si se consideran como "rectas' en esta superficie las Iineas mas cortas). Este descubrimiento, que al poco tiempo condujo a la construccion de diferentes cartas del plano de Lobachevski, convencio a los sa bios de lajusteza de las ideas del gran geometra ruso, sirvio de impulse para el estudio profundo de sus obras y dio comienzo a nurnerosas investigaciones en la rarna de las geometrias no euclidianas.

EI descubrimiento de las geometrlas no cuclidianas planted ante Ja Iisica un problema extraordinariamente complejo: aclarar si el espacio Iisico real es euclidiano, como antes pensaban, y si no 10 es, a que tipo de espacios no eudidianos pertenece n. Para la solucion de este problema se requiere una comprobaci6n experimental de Ia justeza de los axiomas, estando clare que con el perfeccionamiento de los instrumentos de medici6n aumenta la seguridad de los datos experimentales obtenidos y aparece la posibilidad de penetrar en detalles que antes se escapaban de la atencion de los investigadores,

Asl pues Lobachevski retorno la geometrfa a la interpretacion materialista de los axiomas como proposiciones que constatan las propiedades geometricas fundamentales del espacio y que fueron concebidos por el hombre como resultado del experimento,

Actualmente es imposible considerar resuelta basta el fin la cuestion respeeto a la estructura geometrica del espacio fisico real.

I) Al examiner esta cuestien se debe tener en cuema la posibilidad de que el espacio real sea heterogeneo, es decir, In circunslancia de que su estructura geornetrica pueda resultar no ser igual en todas partes.

22

No obstante, serialaremos que la teoria contemporaneu de la rclatividud, basundose en numerosos datos, considera que el espacio real no cs euclidiano y que ademas, par sus propiedades geometricas, es mucho Ollis complejo que el espacio de Lobachevski, Uno de los golpes mas Iuertes a fa conviccion de que la cstructura del cspaeio real era euclidianu lc ascsto el descubrimiento de la- ley fisica de ucuerdo a Iii ella] no existe velocidad alguna que supere la velocidud de la luz.

Ahora podcmos responder a una pregunta que con frccuencia oimos: (:culiJ de las des geomct rias es fa verdadera. la de Euclides () la de Lobachevski?

Scmcjanrc prcgunta no surge respccto a las geometries bidimensionalcs cuclidiana y esferica: es absolutamcnte obvio que umbas son vcrdaderas, pero cada una de elias tiene su campo de aplicacion: no pueden ser usadas las formulas de Ia geometria esferica para las figuras planus, as! como no pueden scr usudas las formulas de III gcomctria bidimensional euclidiana para las figuras en In esfera. Esto rnismo cs tambien justo respecto a las diversas geornetrias tridimensionales: cada una de elias, siendo 16gicamente incontradicioria, encuentra empleo en una rama dctcrminada, no siendo obligatorio que esta sea geometrica: no obstante. carla una de elias se negara a servir si it sus principias se les atribuyc un earacter universal.

La cuesti6n refercnic a la estructura del espacio real, como ya sefialabamos, pertenece a hi competencia de la Ilsica y no puede ser resuelta con las fucrzas de la geomerria pura. Su particularidad consiste, entre otras cosas, en que ningu na geornetria refleja las relacioncs de extension con exactitud absoluta; asi, por ejemplo, debido a la estructura molecular de la materia. no existen cuerpos accesiblcs a la upreciacion de sus dimensiones que posean las propiedades gcometricas de la esfera ideal. Precisarncnte por esto, la aplicacion de reglas geometricas a la solucion de problemas concretes conduce inevitablemente a resultados aproximados. De tal modo, nuestra nocion respecto a la estructura geornetrica del espacio real se reduce de hecho a la conviccion cicntificarnente basad a de que una gcornerria determinada describe rnejor que otras las relaciones rcalcs de la extension.

Por d hecho de que en la teoria de la relaiividad se utilizan lor rnulas de la geornetrIa (10 euclidiana no sc deduce todavfa la nccesidad de cntrcgar la geometria de Euclides al archive, tal y como ocurrio con la astrologia, Ia alquimia y otras pseudocicncias semejantes. Tanto una como orra geometria reprcscntan

23

un instrumento para el estudio de las forrnas espnciales, pero In primera permitc efcetuar investigaciones nuts dctalladas, rnicntrus que In segunda cs suficiente para la solucion de 1<1 inrnensa mayorin do;} problemas pracricamente importantes de muy elevado grado de exactitud y como, ademas, se distingue pot' ser muy simple, siernprc Ie estara asegurada una arnplia aplicacion.

Al terminar nuestro breve esbozo sedalaremos aquello nuevo que aporto Lobachevski en el desarrollo de las ideas geometricas.

Los rneriios cicntifieos de cste notable pcnsador no sc agotau con el hecho de que haya arrancado d velo del misterio milenario del axioma del paralelismo; 1a irnportancia de sus investigaciones es inmensurablemenre mas arnplin.

Habiendo sornctldo a un until isis enrico uno de los axiomas euclidianos, Lobachevski die eornicnzo a 11.1 revision de algunas posiciones iniciales del sistema de Euclides, heche que posteriormente condujo a III claboracion de principios rigurosamentc eienlil'ie-os de construccion axiornatica de 1" geometria y de alms ciencias maternatrcas.

El descubrimiento por Lobachevski de la geometrla hiperbolica saeo a la ciencia concernicnte a las Iorrnas cspaciales de los esirechos limite." del sistema euelidiano. La gcometria de Lobachevski encontro aplicacion directa en la tcoria de intcgrales dcfinidas y en otras ramus de la matcrnatica.

Lobachevski suscuo 11.1 elaboracion de cuestioncs que no podian surgir COil el estado prceedente de In matcmarica y, entre cllas, Ia cuestion respecro it la esiructura geometricn del espacio real. Sill su descu brirniento no hubiera podido desurrollarse la teoriu de 1<1 relatividad, uno de los mayorcs ulcunces de la fisica conrcmponlnen. Paniendo de las investigaciones de Lobachevski los sabios construyeron una teoria que permits efectuar el calculo de los proccsos que transcurren en el interior del nuclco atomico,

Para concluir seaatarernos la irnportancia gnoscologica It de las ideas del gran matematico ruso, Antes de Lobachcvski, durante el trunscurso de rnuchos siglos, reinaba en I,] geometrfu eI punk, de vista idealism que rernontaba a Pluton, c1 lilosofo de la Greciu antigun: atribuycndo a los axiomas del sistema cuclidiano un canicter absolute cstc ncgaba su procedencia experimental. Lobachevsk i rornpio catcgoricarnen te con est e pu 111 o de vi sta y reior nu la gcornetrfa a las posieiones del marcnalismo.

24

* 3. INVERSION

Supongamos que se enserio una regia que perrnite pasar de cualquier figura dada a otra, de tal manera que la segunda figura queda absolutamcnte determinada si se ha dado la primera, y viceversa. Dicho paso se denoruina transformacion geornetrica, La inversion, a In par con la traslacion paralela, la transforrnacion de sirnilitud, eJ giro de la figura y la proyeecion, pertenece tarnbien al mimcro de transformaciones geometricas mas usuales. Por ejemplo, esta transformacion se utiliza ampliamente en la matematica como metodo para la resolucion de problemas de construecion, en la teoria de las Iunciones de variable eompleja, en el cstudio de las cartas de la superficie de Lobachevski.

En eI parrafo presente dames la determinacion de la inversion y de las nocioncs relacionadas con ella y cxaminarnos una serie de sus propicdadcs fundamentales.

Supongamos que en d plano (l se da la circunferencia k can el radio r y el centro G y cl punto A diferente de D. Elijarnos en la semirrecta OA el punta A', de tal manera que el producto de los segmentos OA y OA' sea igual al cuadrado del radio de I:. circunferencia k:

(1)

Convengarnos decir que los puntas A y A' son simetricos respecto a la circunferencia k.

Si uno de los puntos A, A' se encuentra fuera de la circunferencia k, el otro se hallara en el interior de esta, y viceversa; par ejemplo, de la desigualdad OA > r deducimos, tomando en consideracion In condicion (I), que OA' < r. Si el punto A 0 A' se encuentra en la circuferencia k, resultara que A y A' coinciden,

Examinemos la fig. 3 donde AB es la tangente a la circunferencia k y BA' es la perpendicular a OA. Puesto que GA' (''S Ia proyeccion del cateto 08 del triangulo rectangulo DAB sobre la hipotenusa DA

OA . OA' = DBl ee ,.2

y, par consiguicntc, [as puntas A y A' son simetricos rcspecto a k. De aqui que sea evidente la construecion del punta A', Sl se ha dado el punta A, y la del punta A si se ha dado eI punto A'.

Teo rem a L Si la circunferencia q pasa por dos puntas diferentes A )' A', simetricos respecto a ia circunferencia k, resulta ser que las circunferencias k r q SOli ortoqonales entre $1.

25

A

Se denominan ortogonales dos circunferencias si estas se conan en angulo recto, es decir, si las tangentes a elias en el punto de mterscccion (0, 10 que es 10 misrno, sus radios trazados 11 esie punto) SOil perpeadiculeres entre sf.

Sea P uno de los puntas de interseccron de Ias circunfereneias k }' q (fig. 4). Como OP es el radio de Ia circunferencia k, la igualdad {I) adquiere el aspecto: 0.4 ·OA' = 0('2. Por otro lado,

26

cl producto de los scgmcntos OA y OA' es igual al cuadrado de lu tungente tm7.<Ida desde eJ punto 0 a J<I circunferencia q; cntonccs OPes In tangcntc a q. Por consiguientc, los radios 0/' y QJJ de lus circunferencias dad as son perpendiculures entre si. Y CSIUS circunfcrencias son orrogonalcs entre si.

Advertircmos que cualquier circunferenciu que pasa por dos punt os dilcrcntcs. sirnctricos respecto a una recta. coria a esta en ringulo recto, La analogia de esta propiedad con el easo expucsto en el teorema I condiciono el traslado del iermino "simetria" para cI caso de dos puntos situados de tal rnuneru rcspecto a '" circunfcrencia dada que cualquier circunferencia que pasa por ellos es ortogonal respccto iI Ia circuntcrcncia dada.

Teo r c m u 2. Si les cirC"llllji:H'llcias k J q SOil orroyOlw/('s ,'1111"1' si. /"('.111/'11 scr (/(((' Iii rect« (/11£' f!{/.\// /)(". e! ("(,Ilfro 0 de III c!ITUllfi:'I'('Il('ill k j 'III(' COI"W //1 tinlll!Jel"l'lIfi(l {j, ("/JrW iI eS/(1 £'11 PII/I{(}S simetrua» I"['I""'("I() (l k,

Designemos por A y,l' los puntos de intcrseccion de esta rectu COlI u, Y pOT P uno de los puntos comunes de las circunfercncias " Y <f (fig. 41. Puesto que las circunferencias dadas son ortogonales entre si Ia recta OP es tangerue a la circunferencia (/ y, por esto, OA· 0;1" = or: De aqui dcducimos que los puntos A y A' son sirnetricos respecto a In circunferencia k.

Teo rem a 3. 5('/1 dado I!! trianyu/o DAB, donde 0 es el cent TO til! 1(1 CiI'CIIllji.'H!lIci{1 k, )' los puntos A' J' B', simer rico.\ ('011 .4 Y B respecto Cl k. Enionces

LOAB = LOB'A' Y LOBA = LOA'B',

Examinernos la fig. 5. De la igualdad OA ·OA' = OB· 08',

que se deduce de la condicion (I). obtenernos: OA 'OB' = DB :OA'. Por consiguiente. los triangulos OAB y OB'A', que tiencn cormin el angulo 110{), Son serncjantes, Dc aqui deducimos que el teorerna es justo,

Senalarcmos que alredcdor del cuadrilatcro A HB' A' puede ser circunscrita una circunferencia de tal maneru gue L A'AB + + /...A'8'8 = 2rl, Del teorema I se deduce que esta circunterencia C~ ortogonal a la circunferencia k,

Exurnincrnos ahora la transformacion del plano :x, que consiste en 10 siguicnte: cada dos punios de este plano. simetricos rcspecto a Ia circunferencia k: intcrcambian de sitio. Semejantc transforrna-

27

cion RC denomina inoersion; la circunferencia k se denominu dl'cunferencia de iniersto» 'i su centro es el polo de III imlersi(ill. Si In inversion respecto a k transforrna la figuru F en la figura F'. se dice que F es sirnetrica con F', y que F' es sirnetrica con F respccto a la circunferencia k.

Advertirernos que no existe punta alguno simetrico al polo de la inversion rcspecto a la circunferencia de inversion.

FIG. ~

No cs dlficil ver que los puntos que se encuentran fuera del elrculo limitado por la circunferencia de inversion se iranslorman en puntos de estc circulo. a cxcepcion del polo de inversion. y viceversa: los puntos de la circunferencia de inversion se pusan a si mismos: la recta que pasa porel polo de inversion 0 se pasa a si misma, pero pierde con ello cl punto O.

Teo rem a 4. La inversion transiorma la recta que 110 pasa por el polo de ilwer~ion en una circunierencia qtu: pasa pOl' e/ polo de intersion.

Supongamos que A es la base de la perpendicular bajada dcsdc el polo de inversion 0 sabre la recta l, B es un punta cualquiera de la recta I y A' Y B' son los puntos simetricos. respectivarnente. con A y B ell relacion a la circunfercncia de inversion k (fig. 6). Construyamos en el scgmento OA', como en cl diarnetro, la circunferencia q. En vinud del teorema 3 LOB'A' = .::.OAB y, por esto, LORiA· = d: por consiguiente, eJ punto 8' se encuentra en

4*

28

In circunferencia q. Par otro lado, sea C' cualquier otro punto diferente de 0 en la circunferencia q; entonces la recta OC' corrara I en cierto punta C que, como es faeil ver, durante la inversion dada se convertira en e\ punto C'. As! pues, el teorema ha sido demostrado, pero es menester tener en cuenta que la recta I se transforma en una figura compuesta por la circunferencia II sill el PUllta O.

FIC'. 6

Advertiremos qu~ el centro de la circunferencia q pertenece a la perpendicular bajada desde 0 sabre I.

Si \a recta I no tiene puntos cornunes can la circunferencia de inversion k, enronces la circunferencia {j se encuentra en el interior de k.

Si I hace contacto can k en cierto punta, entonces q had contacto can k en el misrno punta.

Si I y k se cortan, entonces q pasara por el punto de su interseccion,

Teo rem a S. La im'ersiOI1 tralls!orrna la circurferencto Que pas" por e! polo de inr!el'sl6n en una recta que no paso. por el polo de inversion.

29

Supongamos que 0 (el polo de inversion). A y B son tres puntos diversos de la circunferencia q, y A' Y B' son puntos sirnetricos con A y B respecto a la circunferencia de inversion. En virtud del teorema 4 la recta A'B' se rransforrna en una circunferencia que pasa por 0, A Y B, es decir, en la circunferencia q, y de aqui !Ie deduce que q se transforms en la recta A'B'.

fiG. 7

Teo rem a 6. La inversion transforma fa circunferencia que no pasa a traces del polo de inversion en una circurferencia qUi? tampoco pasa por el poio de inversi6n.

Sean k la circunferencia de inversion con el radio r y el centro 0, y q, 1a circunferencia dada que no pasa por 0 (fig. 7). Tomemos en q un punto cualquiera A y designcmos por B el segundo punto de interseccion de III recta OA con q, y designemos por A I Y B' los puntos respectivarnente simetricos con A y R respecto a k. Entonces

OA ·OA' = OB·OB' = ,2.

De aqui

OA OB

08'= OAf

(2)

30

y

OA ·DB ·OA'· OB' = r4.

El producto

OA-OB = g,

ell virtud de los conoeidos teorcmas de la geometria elemental, no varia al desplazar el punto A por q. POI' consiguiente, tJ es una magnilud constante que es positiva si 0 se encuentra fuera de '1, Y Que es negativa si 0 se encuentra en el interior de q [ya que en este ultimo caso las direcciones de los segmentos OA y DB son opuestas),

4

De las dos igualdades ultimas hallamos: OA' ·OB' =.!:_ y, por g

10 tanto,

0, teniendo en euenta In relacion (2).

OA 9

DB' = 72

(c) signa esta bien elegido pues los segment as DB y OB' tienen una rnisma direcci6n). De la ultima igualdad se deduce que las Iiguras descritas por los puntos A y B' son sernejantes; por consiguiente, el teorerna esta demostrado: el punta B' describe una circunferencia (que designaremos por q').

EJ polo de inversion 0 sera el centro de similitud de las circunferencias q y q', y resultant ser exterior si g > 0 e interior si 9 < O. En el primer case 0 se encuentra fuera y en el segundo, dentro de las circunferencias q y q'.

Si la circunferencia q hace contacto con la circunferencia k en cierto punto, entonces q' hara contacto con k en ese mismo punta.

Si las circunferencias k y q se cortan, entonces q' pasara par cI punta de su interseceion.

La circunferencia q es ortogonal a k y, durante la inversion, se transforma en si respecto a k (q' coincide can q), heche que se deduce del tcorema 2.

Si la linea de los centros de las circunferencias k y q corta 11 en los puntas M y N (donde M' y Nt son los puntos simeI rices aMy N respecto a kl, cntonces el segmento M' N' sera

31

el diametro de la circunferencia q' (fig. 7). AI construir la circunIerencia q' sc puede haeer uso de esta observacion.

Scrialarernos que los centros de las circunferencias q y q' no son sirnetricos respecto a Ia circunferencia de inversion k.

Teo rem a 7. Los pumas de interseccion dt' tins circunjerencias P J' '1, ortoqonale« a 1(1 circu'!ferencia k; .WI! simhrico.~ respecto u k,

El teorerna es obvio, ya que cada UIUI de las circunferencias p y q. durante la inversion respecto a k, se transforma en si y, por consiguieute, los puntas de su interseccion A y A' permutaran de lugar (fig. 8).

FIG, H

Teo rem a 8. Si M Y M' son punto« simetricos respecto II la circurferencia k de dos /ineus In y m', que tulrlhien ~un .~imelricUJ respecto a k, resulta ser que las tunqentes amy m' en las puntos M y M' (I bien son perpendiculores (J t« recta M M', o bien formal! con esta un tridngulo isosceles ton base MM'.

Tomemos en m eJ punto N, diferente de M. y eonstruyarnos el punta N', sirnetrico a N respecto a Ii (fig. 9), Es evidcntc que N' pertenece a m', las rectas MM' 'j NN' pusan por e! centro 0 de 11.1 ci reu nferencia k, Construya mos las rectus M N Y M' N': St:<I asf queestas se eortan en el punro P., Si

LMON = e, LOMN "" <fl.

32

FIG, 9

en virtud del teorerna 3. LON'M' = q>. Por esto, en el triangulo MM'P

LM = (j), LM' = Cjl + e,

Supongamos que el angulo 8 tiende a cera en la condicion de que eJ punto /VI es inmovil, Entonces, en el limite, las secantes M N Y M' N' pasaran a ser tangentes amy m' en los puntos M y M', Y el triangulo MM'P se convertira en isosceles. Efectlvarnente,

lim (!.p + 6) = lim q> + lim 0 =: lim Cjl.

~ ... () 11-+0 B-+Il 8-+0

De tal rnancra, c1 teorema queda demostrado.

Teo rem a 9. LII lnrersion 110 varia la maqnitud del angulo. Examinemos Jas linens m y n, que se cortan en el punto A.

Supongarnos que m. n y A se transforman en m', n' y A' durante la inversion respecto a la circunferencia k. Del teorema 8 se deduce que eI angulo entre las tangentes amy n en eI punto A es igual al ungula entre [as tangentes a m' y n' en el punto A', que es 10 que se qucria demostrar.

A la transformacion que no varia la magnitud de los angulos se 13 denornina transformacion conforme. De 10 precedente sa deduce que 1<1 inversion es una transformacion conforme.

33

* 4. CARTA DEL PLANO DE LOBACHEVSKI

Exarninemos el plano co y. en 6\, la recta u, que divide a 0) en los semiplanos 1: y r'. Supongamos que el semiplano t represents la carta de cierto espacio bidimensional H. Vamos a diferenciar Ja longitud s de la linea del espacio H y la longitud e de la imagen de esta linea en la carta dada; a las magnitudes s y 0 las denominaremos, respectivarnente, longitudes hiperbolira Y euclidiuna.

Y'

y

----G-----O-----u

FIG. 10

Para la medicion de longitudes en Ja carta que exarninarnos pondremos como base los principios siguientes,

I", La longitud hiperbolica del segmento MN. que es paraielo a la recta u y que se encuenrra de esta a la distancia y. es

igual a M N_. es decir, es igual ul cocientc de la division de 13 y

longitud euclidiana de esre segmento por su distaneia euchdiana de u.

2°, Si cr es euclidiana, s es la longitud hirepb6lica del area de la curva (0 del segmento de la recta no paralela au), .1-' e y' son, respectivamente, las distancias euclidianas minima y maxima de sus puntas a u y, al rnisrno tiernpo, y#-O (fig. 10), resulta ser que se curnple [a desigualdad: .

<1 cr

_.-<:;< -.

y' J'

Mas tarde nos convencerernos de que el espacio H, cuya carta posee [as propiedades citadas mas arriba, es el plano de Lobachevski .

.5-68

34

Partiendo de los principios l" Y 2" no es diflcil indicar el procedimicnto general de .. medicion de las longitudes hiperbolicas.

Hallaremos al principia [a longitud hiperbolica s del area AB, que posee las propiedades siguientes: si el punto se desplaza por este area desde A hacia B, su distancia de la recta u crece: la distancia del pu nto A a II no es igual a cera; e\ area AB es suave, es decir, no tiene inflexiones (fig. I I).

Yo

-6----~-->-------~---<-u

1'1(;. II

Marquemos en el area AB, siguiendo de A bacia 8, los puntas

A. PI, P2, ... , P,,-h B. (*)

Supongamos que las magnitudes

Yo, YI' Yl, ... , Y,,-I, y",

~j, ~2' .... ~"

designan, respectivamente, la distancia euclidiana de los puntos (*) respecto a la recta u; las longitudes euclidianas de los arcos API! PIP1., ... , P"_IB, que son partes del arco AB; las longitudes euclidianas de Ias vcuerdas que comprenden estes arcos,

Formemos las sumas:

L = ~ + Uz + ... + ~,

.h Y2 y"

~, 0"1 U1 Un

"-' =--+-+ ... +--,

YO.v1 Yn- I

Z = ~+ ~2 + ... + ~n •

YI )'2 )in

35

En virtud del 2~ principio tendremos: !; < s < !;',

(3)

ya que, de acuerdo a la condicion, 0 < Yo < .1'1 < , .. < Yn' Exarninemos la diferencia

,0"1 Ci2, ' Ci"

L -2: = ~-(yl - Yo) + ~-(Y2 - Y\)+···+ (Ya - rn-d·

YOYI Y1Y2 ' }'n-1Yn '

EI segundo miembro de esta igualdad aurnentara si se sustituyen cada una de las magnitudes O"j, Ci2, .•. , an por la mayor de elias (que designaremos par 0"') y cada denominador se sustituye por y5. Par consiguiente,

Ci' d

I:' - 1: < -2 (Yl - Yo + Y. - Yl + ... + y", - y"- tl = -2 (y" - Yo).

~ ~

...

Si (5' tiende a cero, de esta desigualdad se deduce que Ja

diferencia I:' - L tam bien se aproxima a cero,

Transforrnernos anora la suma Z basta que adqulera el aspecto de

De aqui, designando par a la menor y por J3 la mayor de las relaciones

obtenernos

(4)

Supongamos que el nurnero n aumenta ilimitadamente y supongam os que al misrno tiempo cada una de las magnitudes 0"" 0"" ',", 0" y, por consiguiente, la magnitud 0" tienden a cero. Entonces In diferencia I:' ~ L se aproximara, como demostramos anteriormente, a cero, mientras que las magnitudes IX Y f3 tienden a la unidad I). Debido a esto de las desigualdades (3) y (4) sc deduce que cada una de las sumas 2:, I:', Z se aproximara a un mismo limite y que este sera igual a la longitud hiperbolica s del arco AB.

I) Es sabido que Ja relacion de Ja cuerda del area que esta comprende tiendc a la unidad cuando la longitud del arco se uproxuua a CCfO taqui tenernos en cuenta un arco de una linea suave).

36

La mas comedo es utilizar la suma Z, puesto que en ella figuran las longitudes de los segrnentos euclidianos y no las de los arcos. As! pues

s = lim Z = lim (k + ~2 + ... + h)

y! .1'2 Y .. '

(5)

donde la transicion al limite sc cfecnia en las condiciones indicadas anteriormente.

Advertiremos que en la igualdad (5) por J'l se puede admitir la distancia entre cualquier punto del segmento API Y la recta u, por J'l se puedc admitir la distancia entre cualquier punto del segrnento p]P2 Y u, etc. Con esto la suma Z puede carnbiar su magnitud, pero Stl limite no variani..

c

FIG, Il

Si eI arco de cierta linea se puede dividir en un nurnero finite de partes que satisfagan las condiciones expucstas mas arriba para el arco AB, resulta SCI' que la longitud hiperbofica de este arco representa la surna de las longitudes hiperbolicas de dichas partes. Por ejernplo, el area AD, expuesto en la fig. 12, 10 dividimos en las partes AB, Be y CD, pero los puntos de division los marcamos en eI arco CD partiendo desde D hacia C.

Supongarnos que los puntas del semiplano T se desplazan de tal manera que la longitud hiperb6lica de cuaJquier arco perteneciente a cste serniplano es igual a la longitud hiperbolica de este rnismo area en su nueva posicion. Semejante desplazamiento de los puntas 10 denominaremos mooimiento hiperbolico. Este concept a es analogo al concepto del movimiento del plano euclidiano, por ejemplo. al giro del plano euclidiano en eierto angulo alrededor de cualquier punta de dicho plano.

37

Si el movnruento hiperbolfco transforms la Figura F en F, entonccs las figuras F y FIsc denominan figuras hiperb6licamente iguales,

Examinernos los tipos mas simples de movimientos hiperbolicos,

I) Si se traspasa eada punto del serniplano r en una misma distancia y en una misma direccion paralelarnente a la recta u, resulta que cada figura se transforma en otra hiperbOlicamente igual a ella, pues no varia ni su rnagnitud euclidiana, ni la distancia de sus puntas II u.

De aqui dedueimos que e/ desptazanuenro euctidiano del semiplano t alo largo de 10 recta es un movirniento hirerbolico.

2). Supongarnos que la transformacion de similitud con centro en el punto arbitrario 0 de la recta u y can coeficiente positive

FIG. 13

FIG. 14

de similitud transformeel segmento M N en el segmento MIN 1 (fig. 13). Designemos por y e Yl, respectivamcnte, las distancias de los puntos N y N 1 a la recta u. En virtud de la scmejanza

d I ., I O'~N OM N d MN MIN!

e os tnangu os iVi. Y . 1 I [en remos: -- = -_. -.

y .1'1

De aqui y de la igualdad (5) se deduce que durante dicha trunsformacion no varia la longitud hiperbolica de un area de. terrninadode cualquier linea.

Por consiguiente, la transformacion de similitud con centro de similitud en fa recta It J' calf coeficien:« posilivo de simiiilUd es tin movimienw hiperbJlico.

38

EI coeficiente de similitud se elige POSItIVO con el fin de que cI segmento M IN I resulte estar en el semiplano r, y no en "t'.

3) Examincmos la inversion respecto a la circunferencia k del radio arbitrario R con cl centro 0 en la recta u (fig. 14). Supongamos que _,Iv{ y N son puntas suficienrernente cercanos entre 51, :\1' Y N' son los puntas simetricos a los dos primeros respecto a la circunferencia k, Designernos por y e r' las distancias entre los puntas de interseccion de la bisectriz del angulo MON con los segmentos .'vi N Y M' N' y la recta u. Puesto que los triangulos OMN y ON'M' son sernejantes, entonces

MN M'N'

-y-"" -}-,.-.

De aqui y de la igualdad (5) deducimos que durante la transformaci6n dada no varia la longitud hiperboliea de un areo dererminado de cualquier linea.

Por consiguiente, /0 illvel's/(JI1 respecto a u/w circunferencia de cuulqllier rcdio ('OIl centro en la recta II es precisamente un movimiellto hiperiJnlko.

4) Y, por fin, no cs dificil convencerse de que 10 transformacion de simer ria respecto II un eie perpendicular a la recta II es precisameme un mooimiento hiperboiico.

Seiialaremos que cada uno de los movirnientos hiperbolicos exarninados es una transformacion conforrne. Esto es evidente respecto a los desplazarnientos del semiplano r a 10 largo de la recta u, y tam bien en 10 que se refiere a las trans formaciones de similitud y de simetria: en cuanto a la inversion, su conformidad quedo demostrada en el .~ 3.

Puesto que el movimiento hiperbolico tiene la propiedad de pasar cualquier figura a otra hiperbolicarnerue igual, Ill. transforrnacion, que representa la secucncia de varios movimientos hiperbolicos, posee esa misma propiedad y, en virtud de ella, semejante transformacion es tarnbien un movimiento hiperbolico.

Anotaremos sin demostraci6n alguna que cualquier movimiento niperbolico puede ser presentado en forma de secuencia de un ruimero finito de movimientos hiperbolicos simplisimos que anteriorrnente examinarnos,

Mostraremos ahora que en el serniplano r, con las reglas de medicion de longitudes establecidas para el. se cumplen Jas tesis de I... geornetria de Lobachevski.

Para clio tendremos que exarninar en el semiplano t ciertas figuras que se caracterizan por las rnismas propiedades que las

39

respectivas figuras de la geornetria de Euclides pero que, posi blemente, se diferencien de estas ultimas por su forma; para elias conservaremos los terminos de la geometria euclidiana can cl prefijo "hiperbolico": por ejernplo, denominaremos recta hiperbolica a [a linea por la cual se rnide la distancia hiperbolica 'mas coria entre cualesquiera dos puntos de ella; denomi naremos circunfe rencia hiperbcl ica al Jugar gcometrico de puntas que se encuentran a una misrna distancia hiperbolica del punto dado,

Aelaremos cualcs lineas del scmiplano t Son rectas hiperbolicas,

___ .L...... u

FIC, l~

Ante todo seran rectas hiperbolicas 'las semirrectas euclldeas perpendiculares a la recta u, heche que se deduce de las conside-

raciones siguientes, .

Supongamos que los puntos A y B Sf encuentran en la perpendicular a la recta u (fig. 15). U names estes puntos can el segmento de la recta AmB y con cualquiera otra curva 0 quebrada AnB, Supongamos que dos rectas arbitrarias a y h. bastante proximas entre si y paralelas a u, cortan el segrneruo AmB en los punros C y D y la linea AIlB. en los puntas E y F. Puesto que la longitud euclidiana del segmento CD, hablando en general, es menor que la longitud euclidiana del area EF y sus longitudes hiperbolieas

d id 'I CD EF d lid' ,

pue en cons] erarse Lgua es a -- y ~-. one eyes a istancra

y y .

entre el punto D (0 F) y la recta !I. la longuud hiperbolica del

40

segmento CD, hablando tarnbien en general, es menor que la longitud hiperbolica del area EF (estas longitudes hiperbolicas seran iguales entre SI solamente en 1a condiei6n de que el arco EF sea un segmento de la recta euclidiana perpendicular au; es evidente que esta condicion no se curnple siempre, ya que, de 10 contrario, el arco AnB coincidiria can el segment a ArnB). De aqui se deduce que 1[1 longiiud hiperbolica del segrnento AmB es menor que la longitud hiperbolica del area AnB. quees 10 que se queria demostrar,

Dernostrarernos ahara que la semicircunferencia de la circunterencia euclidiana k con el centro en la recta u es tam bien una recta hiperbolica,

Supongamos que k corta la recta II en los pu ntos A y B (fig. 16). Describamos la circunferencia q con el centro en el punto A y admitamos a esta como circunferencia de inversion. Supongamos que k y q se cortan en los puntas M y N. Durante la Inversion respecto a q la circunferencia k, que pasa par el polo de inversion, sc transforma en la recta M N (vease el ~ 3). Ya que la inversion es un movimiento hiperbolico y la recta M N . es perpendicular a u, se ve que la semicircunfereneia k. mediante el movimiento hiperbolico, se transforma en una recta hiperbolica. Por consiguiente, esta scmicircunferencia es tarnbien una recta hiperbolica,

De esta rnanera las semirrectas euclideas perpendiculares a la recta II y las semicircunferencias euclidianas can el centro en la recta u seran las rectas "hiperboiicas del semiplano T. A continuacion, examinando el axioma 1, nos convenceremos de que no existen otras rectas hiperbolicas.

Levantemos en el semiplano T una perpendicular a la recta u por cualquier punto arbitrario M de esta (fig. 17), dijamos en dieha perpendicular un punta A y construyamos los puntos A .. A2, AJ, .•. de tal manera que se cumplan las igualdades:

AAI = AIM, A,A2 = A2M, AlA} = A;?>M •...

Can otras palabras, A1 es el centro del segmento AM, A2 es eI centro del segment 0 A! M, A 3 es el cent ro del segmen to A 2 M, etc.

Examinernos la trunsformacion de similitud con centro de similitud M y coeficiente de similitud 1/2. Esta transformacion es un movimiento hiperbolico que traspasa los puntos A, AI, AI •..• respectrvamente, a los puntos A1• A2, A3, .. , De aqui

41

B~

A

M

se deduce que las longitudes hiperbolicas de los segmentos AA1• A1A2• A1A3, ••• son iguales entre si. De este modo. la construeciouefectuada por nosotros se reduce a truzar en la recta hiperbolica AM. desde el punta A, los segmentos A A I. A! A 2. A 2A 3 ••..• hiperbolicamente iguales entre si, y, como se ve en la construecion. por rnuchos segmentos sernejantes que construyamos, nunca alcanzaremos el punta M. Par consiguiente, M es un punta de Ia recta hiperbolica AM infinitamente alejado. Como M es un punta arbitrario de la recta u de 10 anterior se deduce que todo punta de la recta II es un punta del semiplano infinitamente alejado.

EI proceso del trazado de segrncntos iguales entre si AB,.

42

8,82, 8ZBJ •.. , en la recta hiperb6lica AA.f (fig. 17) puede ser efectuado tambieu en la direcci6n opuesta a In examinada mas arriba, y cstc proceso tarnbicn sera infinite. Dc aqui se deduce que eJ punta de III recta AM, alejado infinitamente en el sentido de la geometria euclidiana, sera al mismo tiempo un punta de la recta hiperbclica AMi nfi nit amen te alejado,

Cualquier punto de la recta hiperbolica AM. a excepcion de los dos puntas indicados anteriormente, se encontrara a una distancia finita hipcrbolica de A ya que, para un valor finito suficientemente grande del numcro cntero positive II, se encontrara a bien en el segmento All", o bien en el segment (I AB,..

Asi plies, la recta hiperbolica AM, y par 10 tanto toda recta hiperbolica, tiene dos, y solamente dos, puntos mfinitamente alejados.

Si )<1 recta hipcrbolicn se expone como WIll sernicircunferencia euclidiana con centro en la recta II, los puntos de interseccion con u seran sus puntos infiniramente alejados.

Sefialarcrnns que la recta euclidiana tiene solo un punro infinitamente alejado: este es 01 punta comun de la recta dada y de todas las rectas paralelas a ella,

Ahara no es dificil convencerse de que en el semiplano r se cumplen todos los axiornas del plano de la geometria de Lobachevski. Nos limitaremos a examinar dos axiornas,

A x i 0 m 1:1 L POI' dos puntas diferellIl's pueile ser frll:ta(/ci 1111(1, Y solameme una. recta Iriperbblica.

Si los puntos dados A y B se encuentran en la perpendicular eudidiana a III recta u, esta perpendicular sera la recta biperbolica que se busca. En cuso contrario hallamos en la recta u el punta N, equidistante de A y 8, Y describimos desde el centro N con radio NA una semicircunferencia (fig. 18); esta sera la recta hiperbolica que buscamos,

Demostraremos que a traves de dos puntos diferenres A y B no pueden pasar dos rectas hiperbolicas diferentes I y l'. Es suficiente suponer que A y B perteneeen a la perpendicular euclidiana f a la recta u (fig. 19), ya que cualquier otro caso se reduce a este mediante el corrcspondiente movimiento hiperb6lico. Para semejante disposicion de los puntos A y B la disrancia hiperb6lica mas corta entre ellos se mide, como se dernostro anteriorrnente, solamerue por la recta euclidiana /, par 10 que en cI segmento AB coinciden I y I'. Adrnitarnos ahara que el punto C, que se cncuentra en /', no perreneee a /, y que adernas B se encuentra en r ern re II 'j C. Entonces el arco AC de .la semicircunferencia

43

I.

FIG. [8

euclidiana k can el centro en 11 pertenecera a 1£1 recta hi perbdlica, que en el segmcnto AC no coincide con /" cosa que, como acabarnos de ver, es imposible. Asi pues, I y l' coinciden por complete,

De aqul se deduce que 'no existen oiras rectas hiperbolicas que no sean las semirrectas euclidianas perpendiculares a u y las semicircunferencias euclidianas can cent ros en u: por cualcsquiera dos puntos dados pasa una sola recta hiperbolica que, adcmas, es de uno de estos dos tipos.

A x i 0 m a 2. POI' 1:'1 PIlIltO P, que no pertenece a la recta hipel'/uilica p. nuetlen ,WI' //'(I;Wc/C[,\ dos rectus hiJlerh61k".~ P(/l'lIletu« {I p,

Dos rectas hiperbolicas se llaman parulela« si tienen un punto cormin alejado infinitamente. En particular. las rectas hiperbolicas expuestas en forma de perpendiculareseudidianas a II, son puralelas: su punta cornun, alejado infinitarnente, es el mismo en eJ serniplano 't' que en el plano euclidiano w.

Designemos por A y 8 (fig. 20) los puntos de la recta biperb61ica P infinitamente alejados. TmCClllOS 11 travcs de PyA la semicircunferencia euclidiana m con centro ,\<f en la recta u. y a traves de P y B la semicircunferenciaeuclidiana 11 con centro N en u. Las semicircunferencias euclidianas III Y 11 seran las rectus

44

biperbolicas que buscarnos: estas seran paralelas (I la recta hiperb6lica p en sus diferentes direcciones: 111, en la direccion de B nacia A y 11. en la direceion de A hacia B-

Per el punto P pasun rectus hiperbolicas de tres geueros;

I) que corta n t a recta p; 2) pa ral elas a 1'. Y 3) que no cortan 13 recta p y no son paralelas a esta.

nG,ll

Existe una multitud infinita de rectas hiperbolicas del pruner genero. muhitud infinita de rectas hiperbolicas del tercer gcnero, y solo dos del segundo genero.

Para la construccion de una recta hiperbolica del primer genero es menester desde cualquicr punta arbitrario K del segmento M N. como desde el centro. deseribir una sernicircunferencia k de radio K P (fig, 21), Si efcctuurnos est a rnisrna construccion tornando por

45

cl centro de la semici rcu nferenciu un pu nt 0 a r bitrario L de Ia recta u. que se encuentre fuera del segmento MN. obtendremos la recta hiperbolica I del tercer genero (ia rnisma ligura),

Ahara es obvio queel axioma 2 es equivulente at axiorna del paralelismo de Lobachevski forrnulado en cl 9 2.

S] dos rectus hiperbolicas no se conan y no son paralelas, se denominan dieerqentes. Por ejernplo, las rectus p y I (lig. 21) son divergentes,

De este modo, en eI serniplano t ser.;umplen los axiomas, y quiere decir que tambien los teorernas, de la geornetrla de Lobachevski, Por esto el semiplano "to con las reglas de mediclon de longitudes que anteriormente se establecieron para el, representa el plano de Lobachevski, o, hablando masexactarnente, la carta del plano de Lobachevski en el plano euclidiano.

Es aleccionador el comparar esta curta con Ia carts de la superficie terrestre ejecutada en la proyeccion de Mercator; en esta ultima los meridlauos se exponen en forma de rectas paralelas a las que son perpendiculares las rectas que representun los paralelos (vease fig. 2en la pag. 18). Se deben considerar "rectas" en la esfera las circunferencias de los circulus grandes y, en particular, los mcridianos, Los paralelos, a exccpcion del ecuador, no son "rectas", pero en la carta se exponen en forma de recias euclidianas, De manera analogs, en eI semiplano t, de todas las rectas euclidianas perpendiculares a la recta U Y par<l!c1as a ella, las prirneras son rectas hiperbolicas y las segundas no (en el § 7 sc hablara mas detalladamente de estas),

Despues, la longitud del grado del paralelo es tanto menor cuan mayor es su latitud, pew en la carta de Mercator el segmento igual a l" de! paralelo, independicntemente de la latitud del paralela. ticnc una rnisma longitud. Un cuudr(Jamiiogo se observa tarnbien en el semiplano t (vease principle t),

Es importante senalar que la carta t es conformc, eli decir, la magnitud euclidiana del. angulo en esta cartu csigual a su magnitud real en el plano de Lobachevski,

Primero demostraremos esto para el caso de un angulo recto.

Describarnos la sernicircunferencia k con el centro en el punta M de la recta u y tracemos en M la perpendicular p a [a recta u (fig. 22). Examinemos los angulos I, 2, 3, 4, (ormados por las rectas hiperbolicas k y p. Existe un movimiento niperbolico que transforma los angulos 1 en 2 y 3 en 4 (simetria respecto a p), y un movimiento hiperbolico que transforma los angulos 1 en 3 y 2 en 4 (inversion respeeto a k). De aqui se deduce que en

46

cI plano de Lobachevski (igual que en la carta 1') L 1 = L 2 == L3 == L4 Y, por consiguiente, cada uno de estes angulos es recto.

Aprovechando la configuracion de Ja figura 22 designemos por A e! punta de irnerseccion de las lineas k y p, y por N, uno de los puntas de interseccion de las lineas k y u (fig. 23). Deseribamos desde el centro IV la semicircunferencia euclidiana n

M

FIG. n

nc, 13

del radio NA. Esta dividira el angulo 1, expuesto en la fig. 22. en dos angulos, 5 y 6, cuyas magnitudes euclidianas, como es flicil convencerse, son iguales entre si, La inversion respecto a n transformara k en p y p en k y, por consiguiente, los angulos 5 y 6 cambiaran de sitio. De aqui se deduce que no solo son iguales entre sl las magnitudes reales (hiperbolicas] de estos, es decir, en el plano de Lobachevski (igual que en la carta T) cada uno de elias es igual a la mitad de un angulo recto.

Designemos par L el punta de interseccion de las Ifneas u y n, que se encuentra at mismo lado del punta M que el punta N, y que es encuentra al mismo lado del punto M que el punta N, y describamos desde el centro L la circunferencia I del radio LA (fig, 23). Esta dividira el lingula 6 en los angulos 7 y 8. No es dificil convencerse de que

I

L8 = LNAL= 4d,

s. como L6 = +d. L7 = ~ d y. por consiguiente, las magnitudes euclidianas de los angulos 7 y 8 son iguales entre st.' AI misrno tiempo tambien son iguales entre si sus magnitudes hiperbolicas, pues durante la inversion respecto a la circunferencia I estos angulos perrnutan de sitio.

47

De manera analoga demostrarnos que los angulos que en la carta 1" uenen 1a rnagnitud euclidiana de +d. ~d, "', tiencn tambien esta misma magnitud en el plano de Lobachevski, Puesto que todo angulo puede ser figurado en forma de una suma de un mirnero finito 0 tambien en forma del limite de la suma de un mimero ilimitadamente creciente de sumandos tipo

1 1 1 J

d, lei, '4'd, Sci, 16d, ....

1a conformidad de la carta T queda demostrada.

§ 5, LA CIRCUNFERENCIA

EN EL PLANO 'DE LOBACHEVSKI

Aclaremos como se expresa en la carts 1" la circunferencia del plano de Lobachevski.

Tracemos a traves del punto M de la recta u la recta euclidiana p perpendicular a u, y elijamos en ella en el semiplano t dos puntos arbitrarios Bye (fig. 24: MB > MC), Construyamos en p el punto A de tal manera que se cumpla la igualdad

eM AM

AM = BM' {6J

De esta igualdad deducimos que las longitudes hiperbolicas de los segmentos CA y AB son iguales, Efectivarnente, la transformacion de similitud con centro de similitud M y coeficiente eM

AM pasa el segmento AB a CALI.

Designemos par a el centro euclidiano del segmento BC, desertbamos desdc el centro 0 con radio DB la cireunferencia euclidiana q y construyarnos cl punto AI, simetrico a A respecto a la recta u,

CM A.lH

118M - AM = 8M - 8M = AM y, por to tanto,

B. pasa a SCt A;

CM , ,

AM, -- = eM y, per constgusente, A pasa a Sill' C.

AM

48

B

------------~~-----------u

M

p

FIG. l4

Como

OA = OM - AM. OAt = OM + MAl = OM + AM,

results que

(7)

Luego,

I

OM "" 2'(BM + CA1).

y, en virtud de 1<1 igualdad (6),

AM" = BM-eM.

49

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

I z

OA ·GAI = 4(BM + Ckl) -l:JM· CM =

= ~ (BM2+ 2BM· cu + cu! - 4BM· eM)

o

I l

OA·OA1 = 4(BM - eM).

(8)

B

FIG, l~

Puesto que

1

'T(BM - eM) = OB,

50

de la igualdad l1)) obtenemos

Oil, OA 1 = OB~.

Dc aqui vernos que los pu ntos A y A I son simetricos res pee- 10 <I la circunferencia ct.

Demostraremos que las distancias hiperbolicas de todos los puruos de la linea q rcspecto al punta A son iguales entre si.

Traccmos a traves de A y A j una circunfcrcncia euclidiana arbitraria 11 (fig. 25). Su centro N se encuentra en la recta u y. por consiguiente. su parte situada en el semiplano r representa en si una recta hiperbolica.

Supongamos que n y q se cortan en los puntas DyE, y que II y II se cortan en los puntos F y G, Describarnos can el radio FA desde el centro F la circunferencia euclidiana J. Las cireunlerencias q y f son rnutuarncnte ortogonales, ya que I pasa par los pu ntos A y A" que son simet ricos respecto a q (veasc el § 3); pur esto la inversion respect a a I transforma la circunferencia q en si misrna.

Luego, esta rnisma inversion transforma la recta /', que no pasa por cl polo de inversion F, en una circunfcrencia que pasa por F y tarnbien por los punros A y A t- que durante la inversion dada permanecen inmoviles, es decir, la transforma en la circunferencia II. Par otro lado, Ia circunferencia II, que pasa par el polo de inversion, sc transforma en una recta que, precisamente, es p. ya que esta recta debe pasar par los puntos A y A I'

De aqui se deduce que los areas AD y AE de la circunferencia II se transforman, respectivamente, en los segmentos AB y AC de la recta p. Por consiguiente, las longitudes hiperbolicas de los segment os AD y AE de la recta hiperb6lica n son igualcs a las longitudes hiperbolicas de los segmentos AB y AC de la recta hiperbolica p o. dicho con otras palabras, las distancias hi perb6licas entre los pu ntos B. C, D, E Y el punta A son iguales, Esto demuestra que la circunferencia hiperbolica se expone en la carta 1: en forma de una circunferencia euclidiana que no tiene puntas cornunes can la recta u; no obstante, la imagen de su centro (A) no coincide can el centro (0) de la correspondiente circunferencia eucl idiana.

Para concluir senalarernos que toda recta hiperbolica que pasa par A cotta la circunfereneia q en un angulo recto, hecho analogo a III conocida propicdad de los diarnetros de la circunferencia euclidiana.

5 I

~ 6, LA EQUIDISTANTE

Supongamos que p y q son la perpendicular y la indinada a Ia recta II en cierro punta de esta M y que PI Q I Y fzQJ son los areas de las circunferencias euclidianas con un centro comun M 0, dicho de otra manera, son segrnentos de dos rectus hiperbolicas m, y 1n2 (fig. 26). Puesto que 1111 y /til cortan p en un angulo recto, las longitudes hiperbolicas de los arcos PIQI y PzQz representan en si las distancias hiperbolicas de los puntos Q I Y Q 1 a la recta hiperholica p. Estas distancias hiperbolicas son iguales entre si, pues el arco PI Q 1 puedc scr convert ido en el arco P1Q2 mediante la translormacion de similitud con centro en !H.

p

q

HI •. 26

De aqui deducimos que la linea (j es eJ lugar geornetnco de los puntos las distancias hiperbolicas entre los cuales y la recta hiperbolica p son iguales, Semejante linea se dcnomina equidistante y la recta hiperbolica p es su base. La equidistante, como se ve de los resultados del § 4, no es una recta hiperbolica.

La suposicicn de que el lugar gecmetricc de los puntas que se encuenlran a una rnisma distancia de lu recta dada y que se hallan a un misrno lado de esta contradice a la propiedad seii.alada de 1a equidistante y, quiere decir, que conrradice tarnbien a1 axioma del paralelisrno de Lcbachevski; esta es equivalente al axioma del paralelisrno de Euclides,

Advertiremos que las rectas hiperbolicas perpendiculares a la base

52

de la equldtstanre corten esta en un angulo recto, 10 que es evidente de la fig. 26.

La inversion respecto a la circunterencia con centro en la recta U, distinto de AI, transforms 4. en una circunferencia.euclidiana: esta, igual que la recta hiperbolica, corta la recta 11, pero lOU centro no pertenece a u.

Asi pues, en la carta '[ la equidistante se expresa 0 bien como una semirrecta euclidiana, que corta la recta u en un angulo agudo u obtuso, 0 bien como un arco de una cireunferencia euclidiana, que corta la recta u perc que tiene su centro fuera de LI. Es racil convencerse de que noexiste una equidistante de otro genero,

§ 7. LA LINEA LIMITE

Tracernos el diarnetro p de la circunferencia q, perpendicular a la recta u, y dcsignernos por C el punto de su interseceion con q, mas cercano a u (fig. 27). Si se fija el punto C y se aumenta ilimitadarnente el radio de la circunfereneia q de tal rnanera que

FIC. 21

su centro se desplace por la recta p en la direccion indicada POt (a flecha resultara ser que, en el limite, q se convertiraen la recta euclidiana h, paralela a u.

53

La linea h no es una recta hiperbolica y se denornina linea limite. De este modo, la forma limite de la circunferencia, uno de los puntas de la cual y la tangente en este punto estan fijadas y el radio de la cual crece ilimitadarnente, es una linea recta en la geometria de Euclides y una linea limite en la geometria de Lobachevski. Su nombre se explica por esta propiedad de Ia linea limite.

Examinemos el movimiento hiperbolico que representa en si la inversion respecto a la circunferencia 11 con cI centro N en la recta u (fig. 27). Este rnovimiento transforma la linea h en la circunfereneia euclidiana hi. que pasa por N, con el centro en la perpendicular comun N N I de las rectas euclidianas u y h. de donde se deduce que hi hace cant acto con 1<1 recta u.

Asi pues, la linea limite se expone en 1a carla 'C 0 en forma de una recta euclidiana, paralela a 11, 0 en forma de una circunferencia euclidiana que se toea con u.

Tracemos por N la circunferencia euclidiana I con eI centro L en la recta 11 (fig. 27). Puesto que los radios de las circunferencias euclidianas hI y I son perpendiculares entre si, la recta hiperb6lica I corta Ja limite hi en un angulo recto. De aqui deducirnos que todas las rectas hiperbolicas que pasan por un punto de la limite infinitamente alejado, y que se denominan ejes de esta, cortan dicha linea en un angulo recto.

FIG. 28

FIG. 29

Cualquier limite h hiperbolicarnente es igua! a cualquier linea limite hI> es decir, existe un movimieruo hiperbolico que transforma h en Ii i- Semejante movimiento hiperbolico sera: la trans-

54

forrnacion de similuud con el centro de sirnilitud en la recta u, si h y II, son rectus euclidianus paraielas II U 0 Son circunferencias cuclidianas de diferenics radios tangentes a u (figs. 28 y 29); el desplazamicmo del semi plano t' a 10 largo de la recta u, si, h y hi SOil circunferencias euclidianas de un mismo radio tangemes a II; In inversion can el polo en II, si una de las lincas h, h] es una recta euclidiana, paralela a II, Y la otra es una circunferencia euclidiana, tangente a 11.

~ K ALGUNOS TEOREMAS

,

DE LA GEOMETRJA

DE LOBACHEVSKl

Teo r c til 11 J. La slIma JI.! los allr:lu/os de cllaiquier cricingulo

('I· memor de 2<1.

Examinemos primerarnente el triangulo rectangulo ABC (fig. 30).

Sus lad os ii, h. (" se exponen, respectivamente, en forma de un segmento de la perpendicular euclidiana a la recta ]1, de un arco de In circunferencia eudidiana can cl centro .'vi 'j de un area de la circunferencia euclidiana con el centro N. EI angulo C es recto. EI anguto A es igual al angulo entre las tangentes de Ius circunferencias b y (" en el pumo A 0, 10 que cs 10 rnisrno, al angulo entre los radios .iVA y .'viA de estas circunferencias. Par ultimo, LB= L8NM.

Construyarnos en el segrnento BN, como en el diametro, la circu nfcrcncia euclidia nil q; esta tiene s610 un pu nto cornu n B can la circunfcrcncia c, pues su diametro es el radio de dicha circunferencia. Por esro el punto A se encuentra fucra del clrcuto lirnitado por In circunlcrcncia q )I, par consiguierne,

LA = LMAN < LMBN.

De aqui, en virtud de la igualdad LMBN + LB = d, tenernos:

L .. A + i:..B < d;

(9)

por cso LA + LB + LC < 2d, que es 10 que se queria demostrar.

Seiialarcmos que, con ayuda del correspondiente movirniento hiperbolico, cualquier triangulo rectangulo se puede situar de tal rnanera que uno de sus cat etas pertcnezca a In perpendicular euclidiana a la recta II: de esta rnanera, cJ metodo de deduccion

55

de la desigualdad {9J que utilizamos cs aplicablc a cualquier triangulo rcctangulo.

Si sc trata de un triangulo oblicuangulo, se divide este mediante una de sus alturas en dos triangulos rectangulos, La surna de los angulos agudos de est os triangulos rectangulos es igual a la suma de los angulos del triangulo oblicuangulo dado. De aqui, tornando en considerackin la desigualdad (9), se deduce que cl teorema es valido para cualquier triangulo,

Teo r e 11l a 2. La suma de los tillgulos del clUu/rildll'rO es menor de 4<1.

Para la demostracion es suficientc dividir diugonalmenre el cuadrilatero en dos triangulos,

Teo rem 11 3. Dos rectus dioerqentes tienen U/w, y solumenie una, perpendicular cO/mitl.

Supongamos que una de las rectas divcrgentes dadas se exponc en [a curta 1" en forma de la perpendicular euclidiana p a la recta II en el punto AI, la otra se expone en forma de Ia semtcircunferencia euclidiana q con el centro en u y, ademas, p y q no ticnen puntas comunes (fig. 31). Scmejanto disposicion de dos rectus hiperbolicas

56

divergences en Ia carta r siernpre puede ser alcanzada mediante el correspondiente movirnrento hiperbolico.

Tracemos desde M la tangente euelidiana MN a q }" con el radio M N, describumos desde el centro M In semicircunferencia m. Es obvio que m es una recta hiperb6lica que corta tanto p como q en un angulo recto. Por consiguiente, m representa en la carta T la perpendicular coman a las reotas divergentes dadas, que es la que buscarnos, Dos rectas divergentes no pueden iener dos perpendiculares comunes pues, de 10 contrario, existiria un cuadrilatero con cuatro angulas rectos. cosa que contradioe a] teorema 2.

p

nC.31

FIG .. 32

Teo rem a 4. La proyeccion .rectangular del lado de Ull cingula agudo sobre ei mro (lido es WI segmetlto (y no una semirreeta como 10 es en la geometria de Euclides),

La justeza del teorerna esevidente de la fig. 32, donde el segmento AS, es la proyeccion rectangular del lado AB del angulo agudo SA C sobrc su Iado A C.

57

En esta misrna figura el areo DE de la circunferencia euclidiana can el centro en M es la perpendicular a la recta biperbolica AC. Esta perpendicular no se corta con la oblicua AB, Par 10 tanto, In suposicion de que la perpendicular y la oblicua a una misma recta siempre se cortan contradice al axiorna del paralelismo de Lobachevski, y es equivalente al axioms dd paralelismo de Euclides.

Teo rem a 5, Si los tres angl/los del I ritingulo A Be son iguales; respectltamerue, a los Ires anyulos del cl"ianyulo A'B'C', dicho« truinqulos son iguaJes,

Admitamos 10 contrario y tracemos respectivamente en los rayos AB y AC los segmentos ABI = A'B', AC. = AT', Es evidente que los triangulos ABICl y A'B'C' son iguales por dos lados y el angulo comprendido entre ellos EI punta 81 no coincide con B.

FIG. 33

c.

el punto C\ no coincide con C, yet que en cualquier de estos cases tendria lugar la igualdad de los triangulos dados, COSa que contradice a 10 admitido.

Examinemos las posibilidades siguientes,

a) El punta B I se encuentra entre A y B, Y else encuentra entre Aye (fig. 33; en esta figura, y ta mbien en la siguiente, las rectas hiperbolicas se exponen convencionalmente en forma de rectas euclidianas), No es diflcil convencerse de que la suma de los angulos del cuadrilatero BCCIBI es igual a 4d, cosa imposibie en virtud del teorema 2 .

. b) El punto B I se encuentra entre A y B. Y C se encuentra entre A y C1 [fig. 34). Designemos por D cl punto de interseccion de los segmentos BC y 8\e1. Puesto que LC:= LC' y

58

LC = Let, resulta que LC = LeI> 10 que es imposible, ya que cl angulo C cs exteruo respecto al triangulo CC]D !J.

De rnanera aruiloga sc enfocan tumbien otros casos posibles, lSI teorerna ha sido demostrado pues la admisi6n que hicimos nos condujo a una conrradiccion,

Del teorerna 5 sc deduce que en la geometria de Lobachevski no existe lin triangulo semejante al triangulo dado que no sea igual a este,

§ 9. OBSERVACIONES COMPLEMENTARIAS

AI examinar la earta r pucde hacerse una scrie de deducciones irnportantes.

En primer lugar. todo teorema de la geometria de Lobachevski se lie va en Ia carla T n cierto reorema dela geometria de Eudides. POI' eso, fa existcncia de una contradiccion en la gcometrla de Lobachevski llevaria tras de si otra contradiccion en la geometria euclidiana. Por consiguicnte, Ja geometria de Lobachevski no es co nt radictor ia.

En segundo lugar, el conocimicnto de la geomerria de Lobachevski facilita extraordinariumente la rcvelaci6n de errorcs en los intentos de demostrar cl axiorna del paralclismo de Euclides que, en la mayorfa de los casas, se reduce a la admision de una suposicion equivalente a este axioma. Para convencerse de 10 infundada que es dicha suposicion es suficicnte dernostrar que estu contradice al axioma del paralelismo de Lobachevski, Asi fue como procedimos en los tres ejcmplos que: examinamos anteriormente (respecto del lugar geometrico de los puntos equidistantes de una recta, asi como de la interseccion de la perpendicular y la oblicua a una recta dada, y tambien de la existencia de triangulos sernejantes pero no iguales],

Pondrernos un ejcmplo mas. EI rnaternatico de! siglo pasado Farkas Bolyai (el padre del mencionado mas arriba Juan Bolyai) propuso una demosrracion del axiorna del paralclisrno de Euclides que se basaba en la suposicion de que a traves de (res puntOS que no pertcnecen a una recta siernpre puedc SCI" trazada una

1 J La JemOS! racion delteorerna .. £lllfl{lll/fl e.\"(t'nro de WI I rid/l!JulC1 I'S may{)r que el 1111('1'110 110 adYIICe1lt1: a ';1" no dcpende de! axioma del paralelismo.

59

circunfcrcncia, F, Bolyai consideraba estc hccho cvidente, pero en la geornetria de Lobachevski no ticne Ingar, ya que a traves de tres puntos del plano de Lobachevski que no se encuentran en una recta pasa 0 bien una circunferencia, 0 bien la linea limite. 0 bien la equidistante y, por consiguiente, a traves de tales tres puntos no siempre puede SCI' trazuda una circunfereucia. Dc aqui vemos que la suposicion de F. Bolyai es equivalente 011 axioma cuclidiano del paralelismo, cosa que atestigua cuan inlunduda es su demostracion,

Lobachevski en sus investigaciones no hacia uso del metodo de construccion de cartas en el plano hipcrbolico; cste metoda fue propucsto por primera vez por eI matematico italiano Eugenio Belt rami (1835 - 1900) en u na de sus obras edit ada en 1868, pasados 12 aries desde Ia muerte del gran geometra ruso,

La carta del plano de Lobachevski, que examinamos en nuestro libro y que se difercncia considerablemente de la carta construida por Beltrami. Iue introducida en la ciencia por el cientifico frances Henri Poi ncare (1854 - 19 12).

§ to. ACERCA DE LOS LOGARITMOS NATURALES Y FUNCIONES HIPERBOUCAS

El material que a continuacion se expone se utilizara en los parrafos siguienies 1 I.

Establezcamos previamente algunas corre!acioncs importantes, I ntrod ucimos las designaciones:

( 1 )" (1 )" 1-1

(.In = 1 + n ' b. = 1 + n

(10)

donde n es un mimero entero positive. Es evidcnte que

( 1 )"+ I ( I )/.-+2

an+1= 1+;;+"1 ' b"+l= I+~ .

(II J

" Los problemas que aqui se tratan cstan iruerpretados mas deralladamente en los libros: A. I M<lrk.uslwl,ich, Areas y logaritmos y V. G. Sherriuor, Funciones hiperbolicas Is!:!"ic "Lcccioncs pop U ill res de rnatematicas"),

60

De las igualdades (10) y (II) obtenemos:

b; - (In = _!_(I + _!_.)n = ~

n n n

(12)

1 ( 1 )n+ 1

hn+1-an+1=1I+T I+n-+T

(13)

y

( I )n+ I ( I )"+ I

b; - an+ 1 = I + -; - 1 + ~

AI descornponcr el segundo miembro de la ultima igualdad en factores obtenemos

I [( 1 )" ( 1 )"- 1 ( 1)

n (11 + I) I + -; + I + n I + -n-+T + ...

Sustituyendo en los corchetes cada uno de los facto res

1 1 I 1 I" (14) I

+ --1 por + ~ aumentaremos a expresion 0 que,

n+ n

despues de las simplificaciones, conducira a la desigualdad

1 ( 1 )"

b; - an+1 < 11 1 + -; .

De aqui, en virtud de la igualdad (12) tendremos b; - an+ 1 < bn - a ,

n

o

Par consiguiente, la magnitud Un crece con el incremento del numero II.

Sustituyamos ahora en los corchetes de la expresion (14) cada

1 1

uno de los Iactores I + - por 1 + --1-' Como resuJtado, la

/I 11+

expresion (14) dismi nu ira 10 que, despu es de las simplificaciones,

61

conducira a la desigualdad

1 ( 1)"

b. - an-!-, > - 1 + --1- -

n II +

Es facil convencerse de que

1 ( l)n 1 ( [)n+ 1

n 1+~ >~ll+n+-C ;

(15)

(16)

efectivamente, despues de las simplificaciones, de aqui obtenemos:

1 n + 2

->

11 (n + l) 1 ,

o

(n + 1) 1 > /I (n + 2).

La justeza de la ultima desigualdad es evidente, De (15), (16) y (13) obtenemos

bn - an .. I > b. -!- I - an + r-

Por eso,

b" > bn+l•

As! pues, 1a magnitud b. disminuye con el incremento del mimero n.

Puesto que ill = 2, bl = 4, de 10 anterior deducimos que

2,;_;; an < bn ~ 4.

De aqui y de (J 2) se deduce 1a desigualdad 4

b. - an < n

(17)

Como al crecer el nurnero n crece tambien all' disminuye b. y la dilerencia b" - an tiende a cera, 10 que sc deduce de (17), las magnitudes U" y b. tienden a un mismo limite que se ha admitido designar con la letra e, y ademas, la prirnera siernpre es inferior y la segunda superior que este limite. Asi

( I )n ( 1)."1

e = lim I + - = lim 1 + - ,

n-"'rr,· 11 H ...... ~ n

(Ul)

y

( 1 )" ( 1 )n+ 1

1+-;- <e « 1+-; .

(19)

62

En particular, cuando n = 1 tenemos 2 <I: <4.

(20)

EI numero (' es irrucional y su valor aproxirnado cs igual :1 2,71828.

De las desigualdudes (19) se deduce la igualdad uproximada

(I + +Y ~,,;

(21)

cl error de (;staes menor que la difcrencra hn - (/" y, pOl' 10 4

tanto, cs menor que -.

r!

Supongamos qUL' x es una fracci6n propia positive racioual.

Demos al ruimcro entero positive Ii tales valores que el mirnero !IX = f.; sea emero En virtud de las desigualdades (19) obtencmos

Por consiguiente, tcndra lugar la igualdad aproximada

(22)

El error de esia es menor q LIe

(' >.:)k+., ( :()~ ( :()k[( X)k ] xe "

\ I + T . - 1 + k ~ = .. 1 + T . 1 + k - I <'k' (23)

Lucgo, par la formula del binomio de Newton, tcnernos

( X)k k(f.; - 1)

[ + k = I + x + 2k7. Xl +

f.; (k - O(k - 2) 3 . I k

+ ""~k) ·---x + ... +71-x-

Dc aqui so deduce la iguuldad aproximada

(I + .~ )k ~ I + x.

(24)

(25)

63

Designemos par a cl error de esta. Es obvio que

IT = ~[k - 1_ + .fk - I)(k - ~)_ x + . -I- ·i{i·x);· 2J <

2 k 3~··.

~z x2

<-~-(l + x + x2 + ... j = i{!-=--tf' (26)

De (22), (25) y (26) deducimos que

t'''"~ I +.'{

(27)

:(2 .,

y que e! error de esta rclacion no exccde -.-_-'- ... ya que d li- 1(1 -xl'

mite de la expresion xr [vease (23)] es igual a eero cuando k

erece ilimitadarnente. Estc error puedc haccrse UIIl pequedo como se quiera dando a Ja magnitpd x valores suficientcmente pequciios.

La formula (27) es valida en cl caso cuando x < I es un mimero positive irracional, de 10 que uno puedc convencerse examinando SlIS val ores racionales aproxirnados.

Scrialaremos que la formula (27) es valida tarnbien para valores negatives de x que, por su magnitud absoluta, son rnenorcs 2

de la unidad: ell esre case su error no ex cede .... _x_ ... '-. 2{1 + x)

De (22) y (24) puedc ser obtenida otra igualdud aproximadu mas exacta que (27). Como k --> cc. eJ limite del tercer terrnino

del segundo micm bra de I a igualdad (24) es igual a + x2 . Por consiguientc, se pucde SllpOI1Cr que

x· 1 0

e ~ I + x + 2.'.'-' (28)

Utilizan esta formula cuando x es tan pequefia que se puede desatender de la magnitud x3. No varnos a efectuar la valorizacicn del error de la formula (28).

Examincmos cl sistema de logaritmos con base e. Scmeiantes logaritmos se flaman naturales y juegan un papel muy importante en la matematica superior.

El logaritmo natura! de! rnimcro x sc designa asi: lnr. En virtud de las propiedades de los Iogaritrnos ya conocidas In I = 0, In e = I.

64

Mediante [a logaritrnacion de ambos miernbros de la relacion (27) obtenemos In igualdad aproximada siguierne:

III (I + x) ~ x; (29)

puede hacerse usa de esta igualdad cuando x es suficientemente pequeii.a.

Con ayuda de! nurnero e se calculan las [unciones hiperbolicus: el seno hiperbolico y el coseno hiperbolico (sus designaciones son, respectivamente, sh y ch], siendo

(30)

Las dos otrus tunciones hiperbolicas, la tangente hiperbolica y la cotangente hiperbolica (sus designaciones son, respectivamente, th y cth), pueden calcularse asi:

shx ch x

thx = -- cth.x.= -h-' (31)

eh x ' s x

Las funciones hiperbolicas tienen una serie de propiedades analogas a las propiedades de las funciones trigonometricas homonimas. A por mas detalles remitimos al lector al libro de

V. G. Shervatov que anteriormente mencionamos.

Para valores de la magnitud x suficientemente pequeiios obtenemos de (27), (30) y (31) las igualdades aproximadas siguientes:

sh x se x, ch x se I, th x se x,

(32)

y de (28), (30) y (31) se obtienen las igualdades aproximadas:

sh x > x,

h 2x

t x;:::: 2 2 •

+x

(33)

§ 1 L MEOICION OE SEGMENTOS DE LAS RECTAS HIPERBOLICAS

En este parrafo se demostrara como se calculan las longitudes hiperbolicas de los segrnentos de reetas hiperbolicas,

Examinernos primeramente ia semirrecta enclidiana del semiplano 1",. perpendicular a la recta u en su punto M {fig. 35),

65

B
C
F
A
II
M
FIG. 3S D

y en ella los puntas A, B, C, D, dispuestos de tal manera que MB MD

MA = Me'

0, 10 que es igual,

MB MA

MD = MC"

Designando por u cada una de las dos ultirnas relaciones advertimos que la transformacion de similitud con el centro M y coeficieme l.I traslada el segmento CD al segmento AB y, par consiguiente, las longitudes hiperbolicas de est os segmentos son iguales entre si,

De 10 dicho se deduce que la longitud hiperbolica del segmento AB (que designarernos por AB.,) se caracteriza por la rela-

cion ~!, 0, dicho de otro modo,es cierta funci6n de esta reo lacion, Demostraremos que por esta funcion puede ser admitido

66

c! logariuno, es dccir, se pucde poner ME ABh = log-\1 . l' A

(34)

Supongamos que F es un punta del segmcnto AB. Eruonccs MB MF MB

l'vIA'= MA' MF'

Mediante la logaritmacion de esta igualdad y en virtud de la formula (34) obtcnernos

ABh = AFh + }:Bh'

10 que concuerda can la regia de la suma de segmenros,

Hablando en general. en la formula (34) se puede coger el logaritrno con cualquier base positiva (pero que sea la misma para todos los segrnentos y difcrente de I); sin embargo, para In concordancia de la regla deducida por nosotros con los dictarnenes del parrafo 4, es necesario optar par el logaritmo natural y. por 10 tanto, escribir la formula (34) en forma de

MB

ABlo = In MA" (35)

Efectivamenre si e1 segmenio A8 es suficienternente pequerio en eomparacion can el scgmento M A, de las relaciones

MB MA + AB ( AB)

111-- == In = In I + -. -

lHA MA MA

obtenemos en virtud de las formulas (29) y (35) AB

ABh:::: MA'

10 que concuerda con el principio admitido en el parrafo 4.

Seaalaremos que las longitudes hiperbolicas de los segmcntos AB y BA, calculados por la formula (35), SOil iguales por su magnitud absoluta, pero sc difcrencian par el signo. Esto demuestra que cuando cambia la direccion del segmento par la opuesta, su longitud hipcrbolica cambia de signo, Si la dircccion del segmento nos es indiferente, en d segundo miembro de la formula (35) se debe coger la magnitud absoluta del logaritrno.

Examinemos ahora la semicircunfcrencia euclidiana q con centro M en In recta rl, que corta u en los puntos N' y N, Y la

67

perpcndiculart:uclidiana a u en ol punta M, que cortu q en cl punto A (fig, 36).,

Supongamos que B es un punta del areo AN. Traeemos fa recta euclidiana NB }' dcsignernos par 8' su inrcrscccion con MA. No cs diflcil convencerse de la igualdad de los segmentos AB

B'

N'

M

N

Y AB' de las rectus hiperbolicas q y M A. Efcctivarnentc, la inversion respecto II la circunferencia q' de radio tv.4 con el cent ro N transforrna q en la recta euclidiana /vi A; con csto cl punro A so trnnsforrna en SI rnisrno, y el PUniO B se transforma en 8', ya que B y 8' sc cnCI)CntratlCn la recta euclidiann que pasa por cI polo de inversion .1Il. Por consigujcnte,

ABn "" AB~ = In j~~ •

Designemos ,el angulo /Ii' M B por H ;ent onces z, M N B = 90" .,. o

~2Y

MB' MS' .( ~ 0) 0

tv! A ;; M N= tg . 90 - '}' "" etg '}""

68

De aqui

I) ABb = InctgT

(36)

Si C es un punta del area BN (lig. 36) Y LNMC =!p, entonces, como se deduce de (36),

~ . ~ e

ACh = Inctg2, BGb = ACb - ABh = Jnctg"2 = ln ctg 2'

Dc aqul

(37)

De tal modo, hemos obtenido formulas tanto para el caso cuando Ja recta hiperb6lica, que contiene el segmento dado, se expone en forma de una semirrecta euclidiana, como tam bien para el caso cuando esta se expone como una circunferencia euclidiana.

§ 12. FORMULAS FUNDAMENTALES DE LA TRIGONOMETRiA HIPERB6LJCA

Examinemos en el serniplano or el triangulo rectangulo ABC (fig. 37). Su lado BG es un segmento de Ia recta euclidiana DB (081. 14), el lado CA es un area de la circunlerencia euclidiana can el radio 1 y el centro 0, el lado AB es un area de Ia circunferencia euclidiana con el radio I y e1 centro M, el LC es recro, el L A = a. y el L B = ~.

Bajemos desde el punta A 1a perpendicular AN sabre Ja recta II e introduzcamos las designaciones:

08 = p, NA = q, MO = m, MN = n, LNMA =: B, LNOA = <p.

Designemos las longitudes hiperb6licas de los lades BC, CA Y AB del triangulo dado, respectivamente, por a, b Y c. (Par el contrario, I, nt, n, p y q son las longitudes ellclidialltls.) Advertiremos que

L DAN =:x, LOMB = J},

69

fIG. 37

ya que las tangentes en el .punto A a los lados del angulo A son perpendiculares a los lades del angulo OAM, y las tangentes en el punto B a los lados del angulo B son perpendiculares a los lados del angulo OM B.

Estableceremos ahora una serie de dependencias entre las magnitudes que examinamos,

De los triangulos OBM y OAM tenernos:

p2 = (l _ m2,

De aqul

p2 -1 = 2m(n - m), p2 + J = 2(P - mn). (3S)

A contlnuacion, en virtud de la formula (35) a = In ~ = Inp.

70

Por consiguienre,

-rl I e =p,

I ~ -a 1 I p< - I

shu =--((' - (' ) = -lJI - -) = --2p ,

2 - - 2 p

I I ( a -r a I - I p~ + I

c 1 (l =- (! + e ) = -(p + -) = ---.

2 2 p 2p

De aqur, utilizundo las igualdades (38), obtenernos:

I m(II-IIl)

Sla= ,

J!

Del triangulo OA i' .. ' tenemos:

sen <p = q, cos (jl = Il - nl_

tZ - mil chu = ---

(39)

p

140)

Pur 10 tanto,

c.:tg~= I + cos 4' l+n-m
2 sen o If
tp I - cos<p )-II+m
tg-=
2 sen (Jl If Puesto que en virtud de (36)

Ql h"'" Inctg 2'

resulta que

. = ctg _\jl = I + n - 111 b «, I - n + Tn

e" ~ 2 q' e" = tg -f = q

De aqul

n - III I

shh = --, chb =-,

q If

(41)

A continuacion, de los triangulos OBM y OAN hallamos:

if cosO = II (42)
senE> = /' t:
sen 11 = !!__, III (43)
cos f = -I .
I 71

De esto se deduce que

o I + cosf J + n

ctg - = _. = --'-,

2 senO q

~ 1 - cos fi I - m

tg "2 = sen f3 = -p-' -',

Puesto que en virtud de (37)

( 0 ~ ,

c == lnctg"2lgI).

o ! - cosO /- II

Ig2= -senO ... = q-"

r~ I + C{lS fj I + III

erg - = ---"" .. ,' '"" --.

2 sen f3 p

resulta que

c 013 (/+I1)(l-m) [2+IIl-ilil-mll

e = ctg-tg- = = . '-"'-',

2 2 pq PC!'

e f3 (1 - n) (/ + Ill) [2 - In + 1m - lUll

«: = tg "2 ctg:f =

pq

Pi[

Por consiguientc,

1(Il-m) [2_mll

she = ch r = ---.

pq pq

Y, por ultimo, del triangulo DAM obtencmos

~ = <p - 0,

De aqui, tomando en consideracion (40) y (42), tcndremos:

(44)

. ljll - 1/(/1 - m)

sen ~ = sen <p cos tl - cos lP sen e = ---I .. -',

11(11 -Ill) + ql /l(1I - m) + /2 _ 112

cos a =COSlP cosO + seuo senO = --1'--= - =r=:

pues Ii" = /2 - II~. As],

qm /2 - mil

sen rx = -[-. cos r:t. =, T'"'

De (39), (4f), (43), (44) 'j (45) obtenemos:

min -m) 1(11- Ill)

tg':t: = r"-'n,;;' thh = n - m. rh c = "jl'_-;;,7,-' (46)

(45)

qm /1 _ 11111

tg o, = '","--. ctg a = -_... (41)

/b _ mil' '1m

72

Con ayuda de las igualdades (39), (41~ (43) - (48) no es dificil comprobar la justeza de las formulas siguientes, que son fundamentales en la trigonornetrfa hiper bolica:

eh (' = ch a . eh h, (49)

sh a = sh c . sen oc. sh b = sh c . sen 13, tho = sh b-tg e, thh = sh u-tg B, th a = th c- cos 13, th b = th c- cos n,

cos ex = eh a . sen 13, cos ~ = ch b . sen a;

(SO) (51) (52) (53) (54) (55) (56) (57)

ch c = ctg Ct· ctg ~_ (58)

A las formulas {49} - (58) se les puede dar un aspecto mas general si sustituimos en elias las magnitudes 0, bye, respecti-

abc . I I .., d I

vamente, par -, - y -, que es eqUiva ente a a vanacron e a

r r r

escala de las longitudes hiperbolicas, Aqui r es una constante, connin para todos los segmentos.

Es caracteristico que, para valores de las magnitudes a, bye suficienternente pequenos, de las dependencias que obtuvimos entre los elementos del triangulo rectangulo se deducen igualdades aproximadas, analogas a las formulas de la trigonometria euclidiana. ASI, par ejernplo, utilizando las relaciones (32) y (33) obtendremos de (50), (52) y (54):

a :::::; c sen a.,

a :::-: b tg Ct, a s: c cos 13,

y a la formula (49) le daremos el aspecto

[ + ~ c2 ~ (J + + a1) (1 + +b2)'

de donde

73

despues de la simplifieacion, desatendiendo del ultimo sumando del segundo rniembro por motivo de su insigniflcancia, obtendremos

De este modo, la f6rmula (49)concuerda con cI teorerna de Pitagoras de la geometria euelidiana,

§ 13. LONGITUDES DE ALGUNAS CUR VAS PLANAS DE LA GEOMETRIA DE LOBACHEVSKI

Lon g i t u d del arc 0 del a I j n e a lim i t e. En la fig. 38 el area ADB de la cireunferencia euclidiana con centro 0 en la recta u represents un segmento de la recta hiperboliea, yel segmento euclidiano AS, que es paralelo au,. representa un arco de Ia linea limite.

FIG. 38

Designemos, respectivamente, sus longitudes hiperbolieas por 2a y 2$.

Utilizando la formula (36) obtendrernos {I = ln ctg ;; de aqui ctg ~ = e", Luego, la urilizacion del principio 1 ~ del parrafo 4 da:

AC 1 (0 8) 1

s= oc= elge = '2 etg '2- tg 2 = 2 (e" - e-O}.

74

De aqui, en virtud de la determinacion del sene hiperbolico, obtcndremos

s = sh a:

(59)

por consiguicnte, 2~ = 2sh u. De esa rnanera, la longitud del area de la linca limite es igual al seno hiperbolico duplicado de la mitad de la cuerda que ticndc este areo.

Puesto que a < s resulta ser que de (59) tcndremos

II < sh II (cuando a> 0).

(60)

Longitud de l a c i r c u n f'e r e n c i a. Prcviarnente demostrarernos dos proposicioncs auxiliares.

al Si II es una magnitud positiva suficientemente pequeria resulta que th (I < II II. Elcetivamente, de (33) tenemos

211

Ih II ~ --- < a (cuando II> 0), 2 + (/2

b] Tcnicndo presentc que los perimctros de los poligonos regulares de II lades, cI inscrito y el circunscrito en la cireunferencia euclidiana de radio I, al crecer n ilimitadamente tienden a un mismo limite igual a la iongitud de esta circunlerencia, obtendremos

lim 211 sen J~. = lim 2/1 tg 3!!_ = In.

11· ...... ''J"_ n Ij -e cc. n

(6l)

Hallernos ahora la longi t ud s de la circunfercncia hi pcrb6liea de radio R. [Aqu! y en 10 sucesivo todas las designaciones se reficren a las longitudes hiperbolicas). Supongamos que AB y CD son los lades de los poligonos regulares de n lados uno de los cuales csta inscrito y el otro circunscrito en esta circunfereneia 2);

" Seirala remos sin demos! racion alguna que esta desigualdad es valida para cualquier valor positive de la magnitud a. 21 Supongarnos que A es un punto de la circunferencia hiperbolica if con t:I centrro O. Construyarnos el angulo AOM =

2,/

= -- • donde III cs cl m.imcro cntero positive dado, y tracemos en el

m

punto A una tangcnte il la circunfcrencia q. Esta tangenle y la scmirrecta OM o bein se conan en eierto punto B, 0 110 se cortun, En el primero de los cases el scgrnemo All sen! la ruitad del lado del poligono regular de m lades circunscrito en 1<1 circunlerencia q_ En el segundo cosa en q no sc puedc circunscribir un poligono regular dc 11 lades si el numero entero II, que e~ moyor que III. es suficicntemente grande.

75

designernos sus per.metros por p y P Y las longitudes de los segrnentos AC y EF par p y p' (veasc fig. 39; en ella las figuras hiperbolicas se exponen convencionalrnente en forma de Iiguras eucl idi a nas).

~'Ir, .. 19

De los triangulos rectagulos DAB y DCF. donde 0 cs cI centro de la circunferencia dada, obtendremos en virtud de las forrnulas (52) y (50):

2d thAE,." shOE·tg-, n

sh CF = sh DC. sen 3_~I_. n

o

th .P.._ = sh (R - p'] - tg .3:~,

211 /I

(6ZI

P 2d

sh - =:: sh(R + p). sen---,

2n 11

(631

76

Sea el mirnero n Ian grande Que th -2P < L; puesto que en n 211

virtud de la desigualdad (60) ;;, < sh in. de las formulas (62) y

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

, 2d 2d

sh(R - p)·2nlg -< p < s < p < sh(R + p)·2nsen-. (64)

n n

Tomando en consideraciou la igualdad (61) y teniendo en cuenta que p y p' tienden a cero euando n crece ilimitadamente, llegarnos a la conclusion de que el primero y el ultimo de los terrninos de la sucesion de desiguaJdades (64) se aproxima a un misrno limite 2ltshR, que coincide con la magnitud s:

s = 2n shR.

Asi pues, en la geornetria de Lobachevski la longitud de la circunferencia es igual a1 seno hiperbolico de su radio multiplicado por 21£.

Lon g i t u d del arc 0 del a e qui dis tan I e. Supongamos que los puntos Ph P2 •... , P"~h que se encuentran a las distancias euclidianas .J.'I. Y2, "0' .1-'.-1 de la recta II, dividen el segrnento AB en n partes euchdicamente iguales, y supongamos que las longitudes euclidianas de los segrnentos OB y A8 son iguales, respecuvamente, a Ym Y ~ (fig. 40; OB J.. u). Examinemos los arcos AA', PIP1" "', BB' de las eircunferencias euclidianas con el centro cormin O. que representan perpendiculares trazadas desde los punios de la equidistante OB' sabre SII base DB. La longitud hiperbolica h de cada una de estas perpendiculares se determina

a segun la formula (36) por la igualdad h = In ctg 2'

Designemos las longitudes hiperbolicas del arco A'H' de la equidistante dada y el segmento AB de su base por s y u. Como las distancias euclidianas entre los puntos PI, P2, ... , 8' y la recta u son, respectivamente, iguales a Yl sen e, Y2 sen 0, ... , y. sen e, y la longitud euclidiana de cada una de las partes en las que estan divididos los segmentos AB y A'B' es igual a

r

~n' en virrud de las deducciones del § 4, tendremos: a = lim Z,

il--a.

77

.I'IC. '"I

s = limZ', donde

l;; (I 1 I )

Z=- -+-+.,.+-,

11 YI Yl Y"

I ~ (1 1 I )

z=- + + ... + .

n ,Ytsenf) Ylsene ,vnsenO

De aqui

",,-0;)

z'

z= senO'

Puesto que la relacion de las magnitudes Z' y Z conserva un mismo valor, este mismo valor tendra tambien la relaci6n de sus lfrnites:

_:_= _1_ = l (ctg!,+ !.) = _!_(eh + ,,-h) = ch h.

a sene 2 2 2 2

Por consiguiente, s = ach h.

78

De tal maucra, la longitud de la equidistarue cs igual a la proycccion rectangular de este area sabre la base de la equidistantc, multiplicada par el coseno hipcrboiico de la distancia entre sus puntos y la base.

CONCLUSION

En los ultunos rengloncs de nuestro li bro, sin aducir demostraciones, informaremos a nuestro lector sobre algunas proposiclones de la geornetrla de Lobachevski que acentuan su origrnalidad.

Ante todo nos referiremos a una supcrficie del espacio euclidiano que mencionamos de paso en e! ~ 2.

En la fig. 41 se expone un plano euclidiano y en &1 la recta II y la curva I (I rII('1 ri::), enlazada can a y que tiene la propiedad

a

siguicntc: el segmento de la iangentc a t en cualquier punt.o de csta, cornprcndido entre el punto de contacto y e1 punto de interseccion de la tangerue con la recta (I, tiene una longitud constantc que no dependc de la eleccion del punto de contacto.

79

Si hacemos girar la tractriz 1 alrcdedor de III recta a, III primera describira una supcrficie denominada seudoesfer« (rig. 42).

La seudoesfera es prccisamente aquella superficie que invesugo Beltrami dernostrando que esta se caractcriza por sus propiedades, propias de! pedazo del plano de Lobachevski lsi se consideran "rectas" las lineas mas cortas en el],

De manera sernejante en el espacio de Lobachevski cxiste una superficie en la que se cumplen (para la misrna interpretacion de la noci6n "recta") las tesis superficiales de ta gcometrla cuclidiana; esta cs la Hamada superficie limite, que la describe la linea limite girando alrcdedor de unos de sus ejes,

Alegaremos ahara las formulacioncs de algunas de las texis mas simples que son caracterlsticas para 111 geornetrta de Lobachevski.

1. Dos rectas paralclas se aproxirnan asintoticamcnte en la direccion de su paralelisrno (es decir, la distancia entre un punta de una de estas rectas y la otra recta puede hacerse Ian pcqueria como se quiera) y divergen ilimitadarnenre en la direccion opuesta.

2. Supongarnos que la recta c corta las rectas divcrgentes a y b en los puntos A y B. La longitud del segmento AB sera la

rrumma SI c coincide con la perpendicular cornun 11 ambas rccras divergentes, A ambos lades de su perpendicular comun las reclus a y b divergen ilimitadamente.

3, EI area dcl triangulo A Be es igual a r2 (1C - L.. A - L 8 - L 0, donde las magnitudes de los angulos se eogen en medida de radianes y r cs la constante cornun para iodos los triangulos, que ya mencionamos en el § 12. EI area maxima 1tr2 perteneceni

80

al triangulo en el que todos los angulos son iguales a cero (en la fig. 43 sernejante triangulo esta sombreado).

4. EI angulo inscrlto en una cirounferencia 00 siempre se rnide por la mitad del arco en el que se apoya, En particular, en el diametro siempre se apoya un angulo agudo (y no recto, como en la geometria euclidiana),

5. Si esta dado un m.imero entero arbitrario n > 6 puede ser construida tal circunferencia que el lado del poligono regular de n lades, inscrito en dicha circunferencia, sea igual at radio de esta, EI lado del hexagono regular inscrito en una circunferencia siempre es mayor que eI radio de esta,

6. En la geometria de Lobachevski, en ciertos casos, se puede efectuar la cuadratura del circulo, es decir, utilizando la regia y el compas se puede construir un circulo y un "cuadrado' equidimensionales (mas exactamente, un rombo equiangulo, pues en el plano hiperbolico no existe un cuadrilatero con cuatro angulos rectos). En la geornetria euclidiana, como es sabido, no puede ser realizada la cuadratura del circulo.

Los ejemplos exarninados demuestran cuan grande es a veces la divergencia entre las deducciones de las geometrias de Euclides y de Lobachevski.

'" ...

..

En nuestro libra se han mareado solamente los prirneros jalones del camino que conduce a la penetracion en el fonda de 1a geometria hiperbolica. Nos alegraremos si el lector, que par nuestra narracion ha conocido los principios de esta ciencia maravillosa, se interese por ella y desee estudiar los trabajos especiales dedicados a esta y, entre ellos, las obras de su fundador N. 1. Lobachevski.

A NUESTROS LECTORES;

"Mir" edita libros sovieticos traducidos al espanol, ingles, frances, arabe y otros idiornas extranjeros. Entre ell cs figuran las mejores obras de las distintas rarnas de la ciencia y [a tecnica: manuales para los centres de ensefianza superior y escuelas tecnologicas; litcratura sobre ciencias naturales y medicas, Tambien se induyen monografias, libros de divulgaci6n cientifica y ciencia-ficcion.

Dirijan sus opiniones a [a Editorial "Mir", 1 Rizhski per., 2, 129820.

Mosel, 1-110. GSP. URSS.

• •

•••••••••••••••••••••••••••••••••••••••••••••••••••• .. .. ..

· ..

..

• ..

.. .. ..

-------------------------------------------------------:

..

.. .. .. .. ..

• ..

.. .. .. .. ..

.. ..

.. .. .. ..

.. .. .. .. .. .. ..

• ..

.. .. .. .. .. ..

.. .. .. .. .. .. ..

..
..
..
..

..
..
..
..
..
..
..
..
..
..
..
..
..
..
Moseu ..
..
..
..
..
..
.. lecciones populare:s de matemitlcas

Obras de nuestro sello editorial 1978 Uspenski V. Triangulo lie Pascal Lubich Yu., Shor L.,

Metodo clncmatlco

en los problemas gcometricos Shilo\ G. Gama simple (confcccion

de Ia escala musical) Yilenkin ~. MCtndo

lie aproximaciones sucesivas

------------------------------------------------------------- .

... _ ..................••.•.........••••••••.....•••

Editorial MIR

Sign up to vote on this title
UsefulNot useful