.

}';'_

~;! :

\'-1'.'

". ,~.~.'

','

:.;'

"

.~<. " ,
:~~ ,1,':

... ,'1: )

~::.~
o,f

,
.'

"

,3l..

tt

~~

ct,

(pO

GE'OMETRAS

NO EUCLIDIAt\lAS' ..
,LUIS A.' SANTAL,

-,

EUDEBA"E

o'

l'

D.I'T

n1AL

V N 1VE

n S 1 TAn

1 A D E B U E N O, S .

A 1 .a E

S.

',l
t

",,. ,',

"

\.

, ,

.....

"
I

",

" Pri~era cdici~; junio de J 9,6 J

-, :. ' ',; ",

.Scgunda-edicin:
: '; ," "'1 " :

mayo-de
t":
I

~963 '
' ",

Tercer.a. adcn: .... enero de 1.966

. .t :

Esta ledici~n h'a sido revisada por el autor

,@"1961:

, '};D,ITORIAL

UN~~E~SIT ARIA DE ,BUENOS AIRES - Viamontc

,

640

, Fultdada por la' UJljvt'rsicllld tic Buenos Aire ';.. .

: Hecho

'.".

'el d~psjto de ley

.'
EN LA ,AR,r.ENTINA - PRINTED IN ARGENT~A

,IMPRESO

-:

.,
) !

;"':

...
..,.~ ...

~:;'. ;~1; ,
-r

'~I.: ..
'

.'.

~):
..'V-,
,'0

..
1

"

.~.~
,. ':.;;:.
s1.('
, >,

.~~:~:

..

'::;' ... "I.~,': .:~~

";"

,-.f "
!':

-=.i' ..~ , ..
" .~I

.ijl

..

-.(

.. \ ~J.

1: .

'..:f:

. r,i
. 1;;1 ,.< 1

1:Jtii . :::.' i. .!,

.. '," ".~'~';
:!'
'.

~~1:'~
r~
.1,',

..,,
'

i :!" .::.~:-

'1.:
\ -,'

..

..':

: ,,','
l.

.
i,I~~I..;'f,

:~ "f~',

:)PR6LOGO

.. '. -:,,

A los pocos. aos de la muerte de Alejandro Magno.. y todava bajo el, eco .de .sus resonantes campaas militares, durante los aos en que el primero de .los .Ptolomeos se esforzaba por convertir a Alejandra en el centro y depsito .de z ):oda la cultura del mundo civilizado, fue escrito un libro al que se dio, m~des-. :e ': ..?tamente, el nombre de Stoikbet (Elementos). De su autor prcticamente no ,,;;~::\ ... conocen.otros datos que el nombre: Euclides., )e .;'.: ". ',';,;.; En 'su tiempo pasaron casi desapercibidos .ambos, obra y autor. Sin embargo, .:~\' '{:l:.,::":~ori: correr .de los siglos, el influjo de' Jos Elementos sobre la historia -de la el "'.;.'~, f"hunl'anid:id {t! mucho mayor que el de las victorias de Alejandro. De stas no ',:'; )iueda ms: que'. el. recuerdo del guerrero que supo realizarlas, Aqullos, en' cam:.bio,' han sido' ;el molde en que se ha estructurado toda la matemtica, base-de .. ']a ciencia y fundamento de ]a tcnica que preside la civilizacin contempornea. . .~: En .10s .Blementos, toda la geornetria, reunin hasta entonces de reglas, .em- 1 .prcas para medir o dividir figuras, se convierte en ciencia deductiva. Se con- , ~:"deiisatoda ella en unos pocos postulados, de Jos cuales deriva el rest, por '~sucesivos razonamientos lgICOS.Lo que antes era emprico se convierte en. obra ,. ,:,~deI,~(iiscl1rso y.del. pensamiento; la razn suple, como instrumento, a los sentidos . ..~ .'.~:~Elevada' la 'geometra a este nivel,' quedaba automticamente al descubierto. . 'posibilidad:~de muchas variantes; bastaba sustituir los postulados de partida , .:,po(otros~ para tener nuevas geometras. Fueron las llamadas, mas tarde, geo,met:r'as no euclidianas, pero cuya existencia estaba implcita en la .misma obra' r'de<EucIides. :., '.;. ~.fs propiamente, por costumbre se ha reservado el nombre d'e geom~t~~~ ',. :.no'~'euc]idi:tnas"para las que conservan todos los postulados de Euclides menos ~un~ de ellos, el llamado postulado de las paralelas. Esto es 10 que hacemos. tam.bin en la presente obra, Nuestro objeto no va a ser edificar toda lageometria .a partir de- los nuevos postulados, lo que puede verse en cualquiera de las "bras indicadas en la bibliografa; Hemos preferido, tomando la cuestin' desde "'un" punto' de vista superior, aunque distinto del histrico, exponer con' detalle dichas geometras tal como aparecen encuadradas en el marco de la geometra proyectiva, es decir, siguiendo el modelo dado para las mismas por Felix. KIein.
,
,.',

, .: :la

.1

:.

.'

.'

..

.' '-.,Ello .tiene' el iaconvenienee .. e-suponer' por parte dell~ctot ciertos conocinuead . :.i tos . de geometra psoyectiva, que para su comodidad hemos resumido en .los '. captulos IlI.y,IV, pero tiene la ventaja de sistematizar y poner de manifiesto _. : ... Ja.,hitima estructura 'de las' geometras no euclidianas, muchos de cuyos teorc..' .. .. mas saltan a la. vista' de manera inmediata, este modelo. v , ';': '',';'La bibliografa mencionada' al final es un poco extensa, con el objeto de que , .: '.'pueda ser til al Iector que desee proseguir o profundizar alguno de los puntos " 1,:' de.este captulo .de la ci.encia.geomtrica.

en

;,

.: "

,'

'

'

,.

''.
I

.':_

,:
' ,,1

,,,

,.

',1

,1'

-,
l'

. 1,
I

" '1
I ~. ~'

',1

.', r
r , ,'.

:..". ,~, f:: ., ."

\.

i .

,,

l'
'

:.

.
.;

"

I :

.1

'

." 1

u'.

"

,
",::; , !.. ~. : :'

..
: .;

i .
I "

"

"

,~'

::;
l'.,

'.

'. ,

'

..
I

;'

" ~.
.'. r
"

~'! r,"
~.,,'

'
','

,. " , ." I

. }. I

r(O
::;-:';

.,0'

Il'J ..

-:,

1,. ....

.::_::. :.:':

:. ,~~':.'.; ,,;',

,!:~,!~:';',

0: j

1.1 .: Euclides. Poco' se' sabe con certeza tica, lo que Interesa' par~ ,la: historia d'e' la ;m?: 'de 'la vida de Euclides, Segn el testimonio de temtica es la obra,,:y sta;:'ali'ri'qu~ a -Euclides. ..'." Proclo, un matemtico que vivi en Bizanse le 'atribuyen algunos escrits"ms~ sereduce!' , "cio [enrre los aos 410 y:485 de .nuestra era, fundamentalmente a" los' ! famoso~:, Elemtltos. :':: "Euclides floreci durante el reinado de Pro.' , ,,'. ,;:u'~:::~: . : <;:~:,:i' i.~': ~ 1.2.. Los Elementos, Los: iElemenfos;'de" . lomeo 1 [que muri en 283 a. C.J, 'pues es. Euclides 'for;nan ',un :COh)U~td-de ::0 'Jlbro{de;;~::,'. citado por Arqumedes, que naci hacia fines. dicados a Jos fundamentos .aJ.ije!sairol1o~:J6~';<' .. delreinado de ese soberano. Adems, se' cuengco y sistemtico, de'Ja-:geometra;;Es;Ii abr};', ta 'que un da Prolomeo pregunt a Euclides. cumbre de la 'matemtica':'g'riega:' Durante si;;'r'~':\ si para aprender geometra exista un Camino gIos ha sido el texto' obligado': de gometra e.:t,:.': . ,m~ breve que el deIos Elementos, obteniendo la respuesta. de que en geometra na existe todas las escuelas. Es etprimer ~bro:d(funda:"/::. ' . camino real. Euclides es, pues, posterior a Plamentacin geomtrica~:y S, ;estilo ,y~'ordna~..:" tn: [428-348. :1. C. J y a sus discpulos [como, cin fueron los moldesa los 'que.se justaron~:. :' todas las 'obras posteriores de' matem:hica. ~,".' :;) : Aristteles, 384-322 C.]" pero anterior a', No se 'trata, :e'n.absolutor(ie:''\Jri;'maiiu~I::i '. Eratstenes [aproximadamente 280-192 a. C.] prctico o de un 'co~junto' de:.;egl~s ti]'~s!<jul, y aiArqumcdes [287-2123. C.J.u puedan' servir' para" ctllttilr lo' ,.me'Jir~ .al:: es~: " , Debido a 'estas noticias es costumbre ubicar tilo .de los docuinentos'~egipd's 'obabil6rtics'.:: , a Euclides como habiendo vivido alrededor del -de .pocas'arit~riores; Sc"trata de',un 'estr,li'ctlJra'?,' , ao' 3<>0,antes de nuestra era. Sin embargo, te' , nie~do en cuenta que el comentario de .Proclo ,.).lgica que' responde', ex:ic~a'fnerite,'~l, cQ'rl~'pi()"!,:;', . de Platn' de la' geometda:I,~.C(;m;:!si','S'Hati.ra! :::; fue: escrito ms de setecientos' aos despus, y : que se carece de referencias ms directas, se de alguna finalidad ~'prdj'd;f~\' I comprende que algunos historiadores pongan h:ibl~n: siempre :~e'~cita~i~~;.,~~.~l.~#gr/J~alg~~~;;i:':,; ',' .: . gar, cuando en verdad la ClelCla':s'e,cuItlva!con,?:::~:;,. :; en duda tal fecha y aun la existencia misma de Euclides, atribuyendo sus obras' ya sea a otro el nico. fin 'de ~onoce~r.t~','!:'(1{epblicti~'rLibio~:,:\ ':_ .',:, ;~,;,'~'.;'l,',,-!: j"f' I,',I;", ',';' ,!,:J..,:.',!.", Vil , 527)s , .s"."" matemtico griego,.o 'a la labor conjunta de .; "~~:;~'i i;;'lo~o.:>f~;!:i '; -{~J ::' .. ~r~" t;'r~: ~ ~ .una escuela qut! hbria pretendido compendiar . Las bases de que parte,Eublldes"para:c<hfl-,:':;" . todos los conocimientos matemticos de 12' car su geomerla-son: las"definidories/ls':pb's~\! -:': poca. tuIado~'y las ro~iones,~comuI:ies.~':, '{':,.::~!~~~ :i(IJ'~I"' Prescindiendo de la persona, real o hipot, Las definici01tes ~on:,veirititr'.s;,akctri,ie~zd;~:': ' : , '. . '0';0 :. ~ .'t:::'~:. ~ .o,:

/; '.

a.

ge6mtds~\~' .

o:

.::

.'
'. .

"
.:', ~.

. 0'-o~:.:( : /.:.
:'0:' :0;"
o

.';.0
o,

o,

: '

'.':c ';.'

..

."

":o~:'"

":,. ',,:

.'

o,

":':'"

, I

aunque luego en el texto se van introduciendo otras ms, hasta un total de ciento dieciocho. Con ellas se-intenta dar nombre a los elementos con loscuales se va' a construir la geornetra., Citaremos algunas como ejemplo. PU1t.io'~s"lo que no: tiene parees.

.. SI!

, 'L.ne~ es una' longitud sin anchura.

, Recta es aquella nea que, yace igualmente respecto de todos sus puntos.

,lmcda trazar un circun [ercncia. ~V. Todos/os ngulos rectos S01/. iguales entre si. ' , V. Si u1fa'recta, al cortar a otras dos, [orma de un nusmo lado ngulC?s internos menores que dos rectos, esas dos rectas prolO1:gadas indefinidtlmente Sf cortan del lado en que est,t los 1tg1tlos,menores que dos rectos.

Superficie es lo que tiene nicamente longlrud y :anchura. Plano es la superficie igualmente

situada respecto, de sus .recras, ", ngulo' es lainclinacin 'entre dos lneas de , ,_un plano, las .cuales se encuentran y no estn en lnea, recta. ,ISi las dos lneas que contienen " ' el ~g~lo son rectas, el' ngulo se llama recti-

Finalmente, Euclides sienta unas cuantas nociones constates (llamadas por algunos autores axiomas) cuyo nmero es variable segn los textos Ilegados hasta nosotros, pero, entre las cuales se encuentran siempre las siguientes.
l. Cosas iguales a 1enamisma cosa, S01t iguales entre s. 2, Sj a cosas iguales ;e le~ agregan cosas, iguale.!, las sumas son igll,ales. I 3. Si de coses.iguales se quitan cosas igua- ' les, los restos ron iguales. ' " 4- ( 7 segn- los textos). Cosas que se pItede mperpOl1-ar lt.0a otra S01J' iguales. ',~' tre s. ' , ,
j

,l' . lneQ."
"

....
J' . '.

'
0..: I

.\.:

"

,: Rectas" perpen,dic1dares: si una recta forma con otra' ngulos adyacentes iguales, cada uno, de estos ngulos es, recto y .las rectas se lla, ~a~ perpendiculares,

',:' , ;~' R,ec't~s,-p'aralelai ~on:'aquellas que", estando 5 (u 8 segn los textos)'. El todo es mayor .en 'un mismo .plano,' no se encuentran al proque la parte. ',: :'long~r1~s:' indefinidamente en am bas direc-' , De estas nociones comunes interesa sealar , clones ,:': : : ~, "1" i ',,' ',j,' , " , " '. ', . ;:.: .. .:.'; ;~.~.:' ~ :'.' ~. '''. . la cuarta. En efecto, 'la idea de superposicin :: : No "es 'nuestro objeto detenernos en poner lleva implcita la de un movimiento que rIle, dc':m~r;ifies'to"lo's inconvenientes y 'la inconve una figura (o cosa) sobre otra, y, precisistencia' 4: )~~~pr~er~~: definiciones ~nteriosamente, la manera de llevar 'una figura sobre' ; res. Responden al afn" que la autoridad de otra,' para .decidir acerca de su igualdad, es una " 1;:4cli~e~hizo,p~~du:,r durante siglos, de defi- ' de las caracterfsticas esenciales de, cada geor I nirlo' todo," lndu s'ls nociones primitivas de , metra: Es decir, ya Euclides, aun expresn, l~~':--c~'al~s '"l{ary::~q~e ,:i;~~ti'r cualquier consdolo en forma vaga, vislumbr que, en geo-, tr~cc~p; lgi~~::)''q~~, pueden def~r~e en: , mecra, para definir la igualdad hace .falta ,~i"t~~l?i.~~~: ~,~~rlPPP.!~~~ .construccrones , definir el 'movimiento queperrnite. llevar una i~n )a~ ',': aXl9.matlcas'm\)d~rnas, el'punto y la recta, por figura sobre otra, punto de vista que fue ~m:;. ::: ej~h-tp,lq;'sc' iiit-9~~c~1?- ~mc;>' c elementos que sapliamente discutido, por Helmholtz 'y que, '.:, tisfacen ciertos axiomas, es decir, se definen adems, constituye la base de la definicin de , 'po'~" s~s .propiedades '( Hilbert [25]).' la geometra segn Klen. 'Siguen despus estos cinco .postulados: ,..'! !"". . " ;.i "e ,' '_ Tratndose de figuras, en vez de "igualdad" " : ",:,1.; Desde cualquier punto (J cualquier otro se, acostumbra utilizar la palabra "congruense,:p-,ted_eraza_~,::~n,a t recta. ,, cia", precisamente para indicar que' puede JIcvarse una de.ellas a coincidir con la otra. ' , ::",II..:Toda r~~tili~itada puede prolongarse , ltziefinidamCJ1.tC.en la, misma direccin: Con los cinco postulados anteriores y las nociones comunes citadas se intenta edificar _III.: Con cualquier centro y cualquier r,adio
.: o

I .: ;"

...

O'

.' '

~o

en

yer

'I~
1
I

toda la geometra. A la luz .de la crl tica mo. derna, el sistema presenta varios defectos. No '. figura, por ejemplo, aunque es usado con frecuencia, el postulado de la continuidad, que en la forma dada por Dedekind se enuncia: . Si los puntos de 1tna ~ecta estn' divididos en dos clases, de manera Q1tClos de la primera clase precedan a todos los de .14 segunda, entonces existe 1m P1tnto, y slo 1tn, que separa. a ambas clases, es decir, que sigue a todos los , de la primera y precede a todos los de la se... gUtida. , Tambin .esusado, sin qu~ sea postulado explciramenee, el hecho de que un p.,unto de una recta divide a sta en dos partes "separadas, o .de que una' recta de un plano. divide a ste en dos regiones, as como el siguiente postu~ Jado de Arqulmedes, que en realidad es consecuencia del de la continuidad, y que luego 'result fundamental para la construccin axiomtica rigurosa 'de la geometra: ' , Dadas dos magnit1tdes entre definidas la nema y la 'relacin nor, tal-como para segmentos te siempre 1m mltiplo. de la mayor que la segunda.

tuicin genial acerca de uno de los puntos claves del pensamiento geomtrico l.
'1 ' .: ,

las cuales estn de mayor a meo ngulos, exisprimera que es

Sin estos postulados, u otros equivalentes, pueden sealrseles varias fallas lgicas a los Elementos. Por ejemplo, 'ya en su primer pro.blerna, que consiste en la"construccin de un tringulo equiltero de lado dado, al hacer la construccin lrabitual de trazar dos circunferencias, de radio igual al lado dado, por los extremos de un, segmento de la misma longitud (lo que puede hacerse por el postulado JI) , no queda demostrado que dichas circunferencas deban cortarse. Sin embargo, todos los defectos que pueden sealarse resultan insignificantes comparados con el mrito extraordinario. de haber construido una ciencia deductiva a partir del cmulo de conocimientos dispersos, en su mayora empricos, que constituan la matemtica anterior a la griega. Adems, el hecho de sealar' como postulado. al quinto de ellos, que .dio origen a tantos estudios y discusiones du-' rante ms de veinte siglos, demuestra una in"

1.3.' El postulado V o postulado :de '.I~~1 paralelas, 'De los cinco postulados del-sisre-'. ma de Euclides, los cuatro primeros traduce':' 'propiedades ms o menos evi den tes. para' nues-, -. tra intuicin geomtrica Elrnriro' consiste ,en,: haber sabido seleccionar,' de entre el sinnmero' ~ de tales propiedades, una: Cantidad redcid-" . sima de ellas que fuera. suficiente. paraeons- ' truir la geometra. El postulado: Y,i en cambio; " llama la atencin, y ello desde.el principio .... .. por su mayor- complicacin' 'y po.r-~c~recer"de la' evidencia intuitiva de'.que gozan:':los :.dems;.' Es probable que al' mismo Euclides" no 'se; le.' escapara esta diferencia y. procurase.ven tda su obra, evitar lo ms'. posible leste 'postuladoj" que aplica por primera vez' para .demostrar .la: proposicin 29 del Libro 1,' a+saber: 'una recta' ,que corta a dos paralelas/oriria:~'con: e~IaS:}~~";. gulos alternos internos ig'Ics;:~'~respd~die.n.:':" tes iguales; e inrerioresd mismolado ..su,,,:~ plernentaros, Este esfuerzo de: Euclides' por.' evitar el uso de su postulado V, mientras 'pue'-', de, y por construir la g~ome~i:ii.con indepen' "dencia del mismo, .justifica !Ia .muy .repetida fiase de que Euclides fue el .. rimer gemetra p no euclidiano, o bien," que ;Ji "geometr no eu~lidiana naci negan-do su paternidad, ; v- ,';. Hay que observar que en algunos. mariuscritos el postulado de las paralelas" aparece corno axioma Xl (algunas nociones comunes pasan a ser' postul ados ),. 'As :se lo menciona tambin en algunos trabajos 'posteriores, 'por' ejemplo en los de J. Bolya. 'Siguiendo la costumbre gener:t]"que:histric~mente parece ser la ms exacta, nosotros seguiremos llamndolo . .postulado V" " :~, La primera idea, que prevaleci por' ms de veinte siglos, fue la de querer "demostrar" este

un:
I

.'

1 Ms detalles sobre Euclides y' su obra pueden verse en las clsicas obras de Heath. [1] .y. Enriques ,[2] . :ls como en la Historia de la matemtica de Rey Pastor y Babini [20J. y muchos pU,ntos de vista, or'igi- . nales acerca del valor de los Elementos como modelo de construccin matemtica, en el interesante libro de B. Levi titulado Leyendo a E~clidis [3 J.,

.'.

postulado. Los sucesivos ensayos. de demostra, .sicin (que atribuye a Aristteles y toma como , cin 'no' dieron: otro .resultado que llevarlo a :evidente): ]a distancia entre dos puntos: de . otr~s':'formas equivalentes, aunque a 'vecs de dos rectas que se cortan puede hacerse .ran , apariencia If.luy: distinta de la del enunciado grande como se quiera. prolongando suficienoriginal -,,V~os a mencionar .algunas. de estas , temente las dos rectas. A partir' de esteIema, equivalencias, algunas.de las cuales presuponen que vale, siempre que las rectas se consideren " " q~c,:,las",;~ct~~o~ J;lO cerradas, condicin' sta ..s lneas no cerradas, el postulado V equivale a ': que .antes se consideraba, implcita en el postuVa. Si U11arecta encuentre a una de Jos pa. ,', Iado)I,'(ycr;2!1).:~:' ",: , , ',. ralelas, encuentra necesariamente a la otra; , ... l" ' " l' ',' " 't!.na'~en4encia, queaflor.repetidas veces, , tambin puede enunciarse de estos modos: ' Consi~te-en 'modificar la, definicin de rectas . , p~al~~i':S~ip.~u~lides: son.aquellas que 'Uno ,~f ,v l. Por U1,. PU11to exterior a una recta: se , : puede trazar 1!na y solo una paralclil a dicha. ,,: ':'ie~c~~t:rap r p'ol' ~ que se prolonguen". recta;' , '~f;~a.:a$"ab~ert~..1a, posibilidad de que existan Va". Dos rectas paralelas a, U'Ila tercera, son: r~~~ ,~sint~ca~~i ~s;:de~ir, rectas que, como siempre paralelas entre 's. '09l~f~\~~,I~:!'p,.r~ola;y:s~s,asntotas, nunca' ,se./;e~cll,~1.1~~en;r' pc;tQ,:que SIn 'embargo no, se La f~rrna Va' es la ms comnmente utili':~~~~e~~ll;,eq'ujdf~,~a~~es~,;:~~<? su dista~cia ' , zada. enIa actualidad en los textos, de' geomeque 11~g~e;, ~,,:ha~e,r~e:l~~n, pequea como se qwera, tra, y se atribuye generalmente al matem, ',;sin- reducirse ~p~c;a,i;~efo. Si, explcitamente tico ingls John Playfair (1748~1818) . . : Sf! )?,d~y'e: esta posibilidad, el postulado de las paralelas-puede ,c{~mostrar~. Es decir, se le puede' ciar la forma siguiente, debida a PosidoD ni~:'(~igl J'a~'C.)~, ,! ' :'. ., : Vi.! Dos r~ctas -p'aTalelasS01l- equidistantes. " Mu~:anloga.~sila forma dada al postul~do deIasparalelas 'por C. Clavius (1537-1612): " .. i 1: .. ' ", . ,V2. ,Si tTCS:P1m.~OSstn de un mismo lado e
'

I~~~:

de U11arc_ctll, e_q1l-idist,!nde ella, los tres PU1,.y los 'pertenecen a una misma recta.
I ,". I ~

: Est .enuaciado equivale a, pedir que ellugad'gcomtri~o (I,e;10'$ puntos equidistantes de u;Darecta' (de' un' xpismo lado de ella) sea ~tra recta. ' : . Procl~,::el' matemtico bizantino al q-ue se deben q~~.' pocas ;~~t,i~i,~s" que: sobre.' E~clides se..conocen, y los 'ppmeros comentarios sobre los 'Elementos, se 'apoya' en la siguiente' propo,.:,'

, '. ,1'

,d Libro 1 ' Desde principios del. siglo hicieron va~w edcoaes latinas, de esta obra, una eJe eUas, dirigida! por, G.;Friedlein y pub]icada por Te~bner, (,[.eipzig,' 187J).:.rComo versiones modernas hay;ila 'alema~a, de 'P. Leander ,Schonberg, con comentarios'de M. Steckc(194$);y la !r~ncesa de Paul ver Beecke, en: 1948 (Collection.lde: trauvaux de J'Acadmie lnternazionale d'Histoire.des Scicnces, n9 1, Brujas (BJ;i~a): : ,': :': '

,=: ,t': La obra' de, Proclo. se

tI ..... '

':'

#tula' Comenterio

Del mismo tipo, aunque muy postenor, esla forma a que lo reduce A.' M. Legendrc. (1752-18H),asaqer: " ;

iJe 'los "Elemento's'~

xvi ~

'dc 'EJiJes.

V,. Por U1t punto cualquiera, 101Tl4do en.'el . , interior de UtJ ngulo, se puede siempre trazar ,tli'ta recia q!'-e encuentre a los dos lados, ~cl .t1Jgulo. j ,
'C De rodole muy diferente, pero ?C ~ra~ importancia, conceptual, es la forma slgwe,nte dada por J. Wallis (1616-1703): :
i,I

~.

:'

'

10

.',

.i
I

:
. Yrs. Dado un tringtllo' cualquiem existe siempre uno semejante de magnitud arbitrari: :Es decir, la ~xistencia de tringulos seme-

. -. ;; :.::(;.i.'~.. .'!.;.{ b :::~:::..:::,:. . :~< ..

:'!:...

jantes: es caracrerstico de la geometra euclidiana. En las geometras no euclidianas, si dos v( v ~)d tringulos tienen sus ngulos iguales, son conIt~,::.!;-;.:r.\.I,., ;....~.:,;.'.;.:...:'.:.. :,;.:.> .. \.J.' .. gruentes (es decir, se pueden. superponer), 1,',' \': ';.' ;.~: :; ~. yVlJl pues el tamao de un tringulo: queda deter:::! ::':'..1. 1.::::, "';' i.;..:;,;-:: .. ~)J~~' minado por sus ngulos, como ocurre con Jos tringulos esfricos. . .: : ~>!.;; iEs interesante el razonamiento de Wallis .0,:: o.o ~\. lo]~':;' o' . para demostrar la equivalencia de las formas .': ..... ;"';' B': .'_:":'. :."';~:;.:,'; ; ' y y y J. Sean las rectas AB 'y. CD que forman A' ./(I : i.' )0 ngulos a y ~ con la secante AH (fig. 1). '. . FIGURA' 2 '. ; ~i Supongamos que a < 180. Traslademos !. t:' AB hasta CBl de .modo que se conserve el n. -, ';' .... ~ ~.: J:' o,' , gulo a que forma con AH. Siendo u < 180 _. (fig. 2). Sin eluso del.psrlad V se demues(3, la recta CBl caer dentro del ngulo tra 'fcilmente 1 que el ngulO C es igUal :al D.. ' DCH. Por. consiguiente, durante la traslacin Caben entonces tres casos, segn que esterihabr un punto A' en que la recta A'B' corgulo sea recto,' agd.b ru-, btus. :S~ d~niti'esir~ . o tar a CD~ Si P es el punto de: interseccin, que siempre se est ~.il el-mismo .caso;cales~ , se. tiene el rridngulo A'CP. Si se puede 'consqu..iera:qe-sean las dimehsicnesde.l' i"as'\~B: truir un tringulo' semejante al A'CP cuyo y de los segmentos igales !A.p. y BC~~pi";'. ." t lado sea AC, el punto' homlogo del P ser cen as tres posjbilidade(qtJe."p~eden ~m~rse' . el. de encuentro de .AB y CD; es decir, estas como hiptesis: la del ~ngulo .recto, ,la !del, . rectas se cortan, lo que. prueba l~ vigencia del . :ngulo obtuso, y la';del. ngulo ~agi1do,'segn . . postulado de las paralelas. Que. ste implica . ! .10 sea l ngulo e D:: Saccheri demes~ :..;' . VlI es evidente. .. que" el postulado' de ls paralelas eqUi~.aIe"~~~b;..: .. . :WalHs opina que su forma VIS del postulado . hiptesis del .ngulo:, recto,!.'i:.trata)~ego~;,(Je~." . '.! es:]a ms prxima al pensamiento de Euclides, probar que las otrasJ~'ptel;isJlvan'!~ puesto que el postulado' III establece la exissurdo. Para la hipteSis del riguloobtusO cOn~;':1 tencia de. circunferencias semejantes, y parece sigue demostrar que::ell' to'ndce;:a::;.Ia:l(:6n~:: 'ntural el paso sucesivo' de postular la existenclusin .de -que-Ias rect'a.s :son:.,.-:.fini~as~lo;,,~ue:;.~;;;;: l.. .toma como el abSi-dCi'deseadd,'y.:porlo):in.tc(:' l., .de figuras semejantes tambin para otras figuras .geomtr~cas. . '. . excluye "tl p~si~ilid~d,~J~'E~:i;,.~a~bi?,\.~ ~ar~~~~.. .... i' ';Otra orientacin, que hace ver bajo un nuehiptesis d~1!~~ID110Ja;~.~?t:D~.:~??~1~~i}I>~~~r : ..,.,; vo aspecto la incidencia del postulado de las a cont~ad~Ccl,n A ~l~.n~~:i ~~~l~~v~~~~~~'.h~a!:::l. .i paralelas sobre teoremas geomtricos al pare. contradiccin no eX1ste.~y .preclsamen~e; la :'.. (. ..es cer muy distintos, es la iniciada por el jesuita bsqueda de l~:mism.~~o:~qu~;~.~~ra.~~~ .~.~~d~l: .:. . G: Saccheri (1667-1733) Y seguida posterior. '. . . "~~i+::~ 1.l:!;L-:'~ : !}}.! ~:' !l. ,*~?.:i.'. ". ..,:> .: 1 Basta llevar el cuadriltero fObre SI rnasmo..dc,rna..... ..; in.ente po~ J. H. Lambert. (1728-1777) y A. M. Legendre (1752-183'3), segn la cual se .' fiera que la base resulte: mvertida::. (es decir.tqti~~;:A::.:! ;'! coincida con B v:viceve'rs2Hq~ed:ind Jo'~dc"s:(:~idri",:.: demuestra' que _ dicho. postulado. equivalente Iteros del rnisrn'o' lado con. respcto ::a!!aJ;2se. B!.lpoi. :. al; siguientes. . el postulado IV, J~ 'snnjrrecta AD.i.coini~i :;coll!:BC. ..

una .figura de la que-hace my.~frecuehtluSo~ :. (llamada c1tadriltero}.de;Sacc.heri;~v.er ::,.~~) '" . 1 Sea AH 'un segment::'arbit~aHo; 'perpndi~7 . larmente a l se torri'an.'(JOs::segmentos;AD,;_ ~. BC, y se forma':'::eF'cu~driltro :;iABCD .

; .}";'_-.~\
I

1/:: ...:..~~ ;:
o ~~\ .. o ',"'(

. Jos

+~

.:~:

....

:'

'.':

,"

000

.0

I \

~.

.'1

)':.

:;.

~n::.~:~. ';::;

< ~.

cia

,I

es

:Va. La suma de los l1!gulos';'nteriores d~ un

tiingttlo es ig1lal a dos 'rectos,

Saccheri llega a este resultado a tra vs de

Be con AD.:Siendo;.adems, ;jguales los segmentos . AD y De, el cuadriltd coinCidir. consigo Iornlstno" en posicin invertida por 10;t:1n~o,.el ngulo le :coiald.: dir. con el. D. ." '.. :;'. '.: '1. l: .."..
y la

Y.

. ~. . '.
'

.' . . 11
:

...

.'

cr, .unr siglo 'ms .tarde, al descubrimiento de 'las geometras no euclidianas. . . 'N~ es"difci( demostrar que las tres hiptesis, (del ngulo recto, obtuso o agudo) equivalenrespctivamente a suponer que la suma de los ngulos interiores de un tringulo es . igual, mayoro menor que dos rectos. . Finalmente, es intresante la forma obtenida por Gauss (carta a~. Bolyai en 1799 [18]):

, Vr. Existen tridngtdos de rea tat) grande . como se.quiera.' ': .; :: Si '~e admite esta proposicin, el postulado V
tambin: puede demostrarse. . . .Hemo~, dado varias formas diferentes del postulado de .Ias paralelas, Se podran citar todava otras 111as. odas ellas fueron cnconrrar das durante las tentativas de "demostrar" di.cho .postulado.' Et' resultado. fue "siempre la . "~~stitQci6n .del' mismo por otro equivalente, de enunciado: ms: o menos. simple, o ms o menos evidente. :As se fue llegando al. convencimiento de' q~e .se trataba 'efectivamenre de 'un verdadero postulado -no de un teore#

el s~lo uso de los postulados precedentes-, y que, por '10 tanto, iban a ser intiles todas las tentativas' de demostracin. En este sentido, Wolfang Bolyai '(17751856) 1 escrihia a su hijo Johann, uno de los 'creadores de la geometra no euclidiana [21]: "Te ruego que no intentes t tambin luchar con la teora de las lneas paralelas. Perderas -el tiempo y 'sus teoremas quedaran sin demostrar. Estas-impenetrables tinieblas pueden derribar a miles de torres como Newron. Nunca se aclararn en la Tierra; y el desdichado gnero humano nunca poseer en el mundo nada completo, ni aun en la geometra. Esto constituye una grande y eterna herida en nu alma."
-rna que pudiera demostrarse con
1 Como suele. acostumbrarse, utilizamos la versin alemana de los nombres de los Bolyai, padre e hijo. Para respetar la forma hngara, en la que el nombre sigue al apellido, en algunos libros Wolfang Bolyai aparece como Bclyai Farkas, y su hijo Joh:mn como Bolyai ]nos. '" .

"
,

'

CAPiTULO II
,

LAS GEOMETRtAS.'NO EUCLIDIANAS

: ., 1
':' l

", s

Gaues, Lohachevsky y Bo)yai.; Si el po~t~.la40V, en la forma. dada por~Euchdes u ot,ra 'equivalente, es un verd~ .deropostulado, eI'hecho qe negarlo, aceptando '105 aemas~' no: deb~ co:nd~cir a contradiccion aIguna~ Es~a f~e:la ~d.eaq~e: madur en la primera.:mitad . de1:s.iglo XIX; 'y' que: dio por re'" , 'I "' ... s~lt~A~'I~Ln~fixA~~~t.0;i,dc, .,las." g~o~etras no cu,~hRl~n~~,es;de~~.J;""l;de..la.s:geol?etnas que en . el:,ppg'pla'd9 :V: .deJ.~uc~des .deja de ser vlido. ,}C~fl1o~:t.oda .Ii~e~',:q~e.;.l~eg.a ~adu~ez e.n a 'la un determinado momento de la historia, dicha~'~ g~omet~as" .ii.'puede~ atribuirse 'total.~:ente: sola' p~rsona:. Fueron gestadas por la obrade todos los matemticos anteriores que )

, :.,2:1.' Las ~bras"de

a 'u?a

intentaron ver claro el.significado del famoso postulado, y cosechadas simultneamente por varios matemticos, entre' los cuales, y corno ms significativos, se cita siempre al gran rnatemtico alemn Karl Friedrich Gauss (17.77,~ 1855) , al ruso Nikolai 1vanovich Lobachevsky (1793-1856) y al hngaro Johann Bolyai (180f-1860). . ; En realidad, los nicos que publicaron durante su vida los resultados obtenidos fueron los dos ltimos, pues Gauss, prillceps matbematicorum, ya coronado ,de fama por 'otras investigaciones, temi siempre que las .relativas la recria de las paralelas fueran consideradas por sus contemporneos como div:aga-'

i .!,

"

12

.:
'.
'. l'

: ' !.

;.,; ,;~.:'

cienes i~sensatas d~l orden de la cuadratura del crculo del movimiento continuo. 'Por eso; a pesar de. que reconoci el mrito de tales trabajos y los' alent, y en cartas privadas dio' noticias acerca de sus propias investigaciones, 'no quiso. publicar nada durante su vida "por temor algritero de los beocios" (carta l Besse1 en 1829 [18]). . 'Los primeros trabajos de Lobachevsky datan de 1826 (memoria presentada a la Universidad de Kazn y cuyo manuscrito se ha perdido), siguiendo despus varias publicacione~,entre'1830 1840, fecha es~a ltima en que aparecen-sus famosas lnuestigaciones geo-mtricas sobre la teora de -las paralelas, obra escrita en 'alemn [19]. . . -Los trabajos de Bolyai empiezan alrededor de 1823, segn cartas a su padre \Volfang y .otros amigos, pero su publicacin se retrasa h:ista 1832, en que aparecen como apndice del primer tomo de un libro de su padre [14 . y~15J. .' : Tanto Lobachevsky como Bolyai ponen en estos trabajos las bases de la geometra y d la trigonometra no euclidianas. Bolyai se dedica especialmente a distinguir las 'proposiciones geomtricas que necesitan el' postulado de Euclides de aquellas que son independientes del mismo, a las que Ilarna propiedades absolutas o absolutamente verdaderas. Lobachevsky. construye ms decididamente la geometra no' eucliaiana, al negar de entrada el postulaCIO'V y suponer, en cambio, que por un' unto ex~erlOr a una recta pasa ms e una' para cIa.

rior a ella (fig. 3) . .Torriernos-Irn pUri~o:'cu:I-:' .' ~ quiera M sobre r, ...Y.:'~dnsldff'J:nos)Ja::1:'re~fa. \:" a'=='PM. Supongamos.quejelparo M. ;me':':~ .: ve sobre r;alejndose~infinit'imerit;',.~i:'anto:la:.( . ca un lado como hacia' el:otfo)pueddl'pieil;.;, ..::: tarse tres casos ... .... 'ii.;i. "if;li,~n': I."{';;'. !i..' :::.~~ ;:.;': :.:>.:

.v.'

,1,

'

'l..: ';~'::" ~~ .

'se

l. 'E~ste 'u~~'

nic;~';:~~ic~i~M')~d~!. ' ;I~:~~~~>'

.ta variable a, en la cul rio:c6tia: 'r. Estai.\nica. '. . posicin lmite: ser. hlJ'pai-alela~p'o'r'!p, ~s-> .' ta mas 'en el caso eudi'hd por.' P)p(zs~."lz' ' . '. sola paralela. . '.. ~ \:i:,;!r:.>-:::;~~T::: ,:,,;:~, ..: . 2. Cualquieraqueis'ea .. f~ctalq~ej~a~~:~Brt .. P, siempre corta'a r:Jpor. pasa~ning1ina para/el~. GQ_f) ~J. i.(l);\~\;;~.J.;,;j . . . 3. Existen dos' posiciones'Hmiee,' EE'/'i FF_~": .: para las rectas secantes; .soil!lascorresporiaidl-.~" tes a los dos sentidos en':que:.M puedc[aljarse: .' \ !., :(1. ()' \i,'J'.' t.ir: :rI!,{~~!'J'I.t ::.':<:':iII.:t :4.r~:"",,< .. ':.. " ~.~ . ~(. : ...,.;f.':i'fJ{):'L'~'!':: i;, il.~L~r;r'jF':: ' E ~+/~'; ,..,~~ f:'f..: .::.t'.~ t\h:;f,,: .:"'.

a,Jr:~

la

U;<}f~ ::'

~t

~.;:no

:d.:+.r~;...:~;:,;:,
I , .

. :.~, "~'::.1 ;./:.;,'; ... ~. ;I'~!,i;

-;O .:

.,

;':'l

1 i'~\; 'v.. ; .1 :." . ': f\ ..'(tot ~.. . '!: :i .. e-i::~: ~ .s : !~ t":. '1.. ! . "'.II~h,:!. ~.'\.).,~t:.. '...:1, ,::, .;:'t:;.J,:' \./:.r~Lf..;,~.:) '
l'p ..... J"....
r ,
!.

f~;~
I

l'

+>
+

o:

>

Ir.!

t: ',l. Jo

1.

. '.. ".l"':~

l'

A :... :

:::F:} !:;;:

1,

;"r!r1!~i;;'

. 2.2. Las geometras no euclfdfanas; 'Dejand de lado' el desarrollo histrico, as corno la difcil tarea de distinguir a quin pertenece cada una d las ideas que forman la geometra no euclidiana _'_'y que se encuentran muy entremezcladas en las obras de. Lobachevsky, Bolyai y otros autores de su. poca, como F. C. Schweikart (1780-1859) y F. A. Taurinus .(1794~ J 874) -, vamos a presentarlas tal como quedaron una vez' pulidas y sedimentadas. .Un .estudio histCSrico y . bibliogrfico puede verse en el libro de Boncla [5]. ~ Sea una recta.,. == AB y un punto P exte- .

.'

infinitamente. Las .recras que, pasan.ipor ,'P ;y.:. estn comprendidas en el ngulo FPE, >rtat'n_ r: sern secantes ..Las' -que .;pasan :):r ~~P .. comprendidas en el' rigul . EPF~, : novcortarn a r: sern no',.s-eantC's. Las .EE' i" FP' ,'. ~ de. s~a:racin entre ainbos~.!!Eos de ;:rectas,\ se 1I!.ri1alLPara]!las._Fs decir,. en este' caso:' ,por.. eUU11-to P' paran .dos;:p!!.ra~~!as a :!',~ 'in]Iitas' '. ... no secan tes.: . . es,. t'i ;:~; ~!.~.;.,.. ' :.;~ if~''.',.\:,:", . (Obsrvese 'que .lasrectas no] secantes, tes-.' pon den .tambin a.la definicin- ~e rectas lelas dadas por.Euclides. (ver::l.2 hsin mbar:"; . go, las posiciones lmites tienen .Cierta.spropie~" 'dades particulares 'que hacen convCtiient~ con-:
J , .'

,.

para-.:

. .' 13:
.',

.i

...
'

. .. '.: ..... .
"

':. ~", ':

',,".

'

..

'.

: ... :....
", t. '.

:.

;"

,,'

geometra en que no se cumple el postulado V. , 'Por tratarse de un ejemplo muy familiar, es muy til para comprender algunos hechos que a primera vista parecen paradjicos. Por ejem-' plo, el resultado de Wallis, de' que no. puede .... : ..... ;: ;"f . haber figurassemejantes en una geometra no ':,2.3. L~geomctria:no' eu~lidiana elptica. euclidiana, se cumple evidentemente sobre la , ',La, ,ge~mecda':'elptica,; .es la. que resulta de esfera, donde un tringulo queda, determinado completamente por sus ngulos. Tambin, si , "su~.ti~uir,el postulado: de: las paralelas por el . siguiente: ' ,: ,"', " , se considera el lugar geomtrico de los puntos equidistantes .de una Circunferencia mxima Por, un 'punto exterior, a ,,,na recia "O plisa (recta de la geometra el ptica) , resulta una ninguna p'arIlJela.es decir. todas las recias qm: pasan !por 'un pt.n!o extcrior a otra cortan a circunferencia menor, que ya .no es una recta; se comprende as el postulado V2 de Clavus. es/a ltima. ' : Con esta ntcrpreeacin de la geometra' ':Consi,deremos (~ig~,j) 'la recta HP p~rpcnelptica es fcil deducir todas sus propiedades, '. dicul,!~ a,.r,p()r."u~,:punto H.de la misma y la por 10 que no vale la pena detenerse ella. LL'_ perpendicular.a: PH', por el punto P. Sea As: la suma de los, ngulos de un tringulo e:s' .M1 'el, punto' q~e LL' corta a r. 'Segn el mayor que dos rectos, el rea de un tringulo postulado 1 de Euclides ,(inte~pret~do en 'el es proporcional: a su exceso esfrico, en un sentido de que por. .dos puntos pas~ una sola cuadriltero Saccheri se cumple la hiptesis recta) ,:'el punto Ml~debe,ser nico, y' el mismo del ngulo .obtuso, etctera. , . . tanto si M'se aleja':hacia la. derecha como hanlogament~, la' trigonometra corresponcia la izquierda. La"recta rresulta a~ cerrada diente a la geometra elptica coincide con la . y, p'or .10 tanto, ~init~.:E~'dedr: _ .,.' . trigonometra esfrica. . ',' E".n:la 'geomctrla ~ plica las ;eclas son ceeli A: veces se considera tambin como' geome-.las (.'. , rraa:,:.' ",~{"_i',':r .) ' ': '. . j'. '. ' , tra no euclidiana a la geometra esfrica pro":' pamente dicha, es decir, la: geometra sobre No _pued~decirse que sean U!~m!t~das", puesto 'que no ,tienen ,p..?~~s ~onde empiecen - la esfera 'sin la' identificacin de los puntos o' terminen; por lo tanto no ~ay estricta condiametralmente opuestos. En este caso el postradiccin, con el postulado Sin embargo, tulado 1 debe, entenderse el sentido de que por dos puntos 'pasa por lo menos una recta. Le" (O/O/' "i~plci~amenie se :.hil~~a::,entendido siempre quevlas rectas ',dc;b~an)~er'biertas e infinitas. a Como la idea de estudiar la geometra soDe ~qui ;que :la conclusin 'de .que deban ser brc una .superficie determinada --en el caso -cerradas "seestimase:"un'aicontradiccin con el actual, la esfera=--" tomando 'como rectas las geodsicas.o curvas de longitud 'mnima 'entre" postulado P',":Y Ja'~ge0n1.e~.r,~lptica no 'fuera e cQ:'lsider~d~,'eli u,n:pr4tcipio~ ',', ' : '. dos de sus pimtos (suficientemente pr6ximos): f..:'Li:; cometra~el i~~a, l;t'geometra: sobre es' es de B. Riem:mn'(1826-1866), a las geome-' tras elptica y esfrica se las suele llamar" la-~superficie esfrica cuan, o se 'conSl eran co-mo rectas :13, circ;unferencias 'm~mas., 5olageometr'ias no euclidianas de Riemann. menth~y ..que, c~':lye~j.r~'para evitar que dos . 2.4.. La geometra DO euclidiana ~iper.; recta~\se .cortcn> en ~ dQs.':puntos.. iferenres, qu d blica. El -caso 3 de 2.2 corresponde a la los p~ttos'~Jia1fzciralment 'opuestos .sea.n 1m geometzia 'no euclidiana propiamente dicha., pi.n~o .:En' ,reiio~es 's~fident~mente limiEs la' geometra desarrollada por Gauss, Loba-; _t~da~:' ara-que ;~Q:ha~~,e~::~~as.' p puntos diamechevsky y Bolyai, a la que K1ein dio, el nom- ~ tr~lmente'opuestos~'la identidad, entre la geobre de geometra hiperblica. En ella las rec-: metria: 'sobre la esfera y 'la: geometra ,t:I ptca, ilimitadas. Se cumplen los , escompleta .. tiene-as el:.'primer'ejem~lo d~~. tas son abiertas

!':", .,: , servar' slo p~ra t ellas' el nombre de paralelas, para 'a,s-"distigurl.as de las no secances.}: ' , ~-Los .casos 2 y _:3 corresponden a las geomeidas ~o, euclidianas, Ilamadas, respectivamente, elJ ptiq( e" bjpl_rb61~clI.,,:':':,
.... , ';; I

.,

','

en

en

de

l. ,

n.

en

solo

Se

I .

. El mejor mtodo .que., a. uno .se Ie ocurr. " . ; pensar, para ello, consiste enmedir la. ~ma di;-:::' : los ngulos de un tringUloky';comproba:r<Si' ~.:,.:' ella .es igual, maYor,:!o'hnenof .. dos: i:'-< : Por un unto exterior a una. recta pasan El primer ensayo .Io- hk'jGarlssf Diidie'n(lo':lof :,;..... ; :') os paralelas, que separan as infinitas rectas" ;.;.:::~; : no 'secantes de las i"finitas secantes. . . ngulos deJo ttiguldUorm~o'ipor:lis1ciin5: de los montes .Broc~eili~Hoherihagen?'e~Iiisel~;: /!";'i: ; . La posibilidad de esta geometra deriva de' ,berg,. tringulo cuYosrlaCls;.:deilivaHdt:d!. ;:~.:', . que, sin contradecir los primeros postulados, cenas- de .k6mtros~~EI :,;.reSItad~: rleX('.la\ '\r:::;J_ . f puede haber rectas que no se corten .(por le. suma diferade i180~en:~~'dllitidads-_'nhY'i.pe~:~~. -.::: . ta~to, paralelas segn Euclides) y cuya disqueas; atribuibles a erroies ,de' obSrVCin.~~r -.!. '!' l tancia mutua sea variable, llegando a ser tan " Estos: errores,'] irievi~bles,,,poi1..~p:recisas.;q~e . i. .:} .pequea .como se quiera. De esta manera las !;ea~ :las mediciones hacen:! CueTmediante':.tesu :"f I paralelas .EE' y FF',. de la figura 3, resultan tipo de experiendas;tno!lse:~pOsibI~~)'aeCidir ..i: .; r~ctas Uasintticas" a la ,. e: AB, a la cual se cul: es la geometra' ~eal 'dla>;'n'arutaIeza;:;~a~:;, : acercan jnfinitamente sin llegar ':l. cortarla. EJ lo sumo ~irven .r.para;;.JIegarti:dla>,cohlu'Si6h:. -':;'.: ; ngulo a = HPE HPF se llama t1,gulo de cornehtes'" de'.J,!,s "Ci; -v, .. (.. :. paralelismo y depende de la distancia d =PH -. de que' para' los uso~(:' cas e~'periine:ntales,dai:':geome~d2! 'eucliiaD:l: :'.,:::::.: : En! 'la geometra euclidiana es' siempre a = perfectamente .'vlida. ~ .'no: iuclidi;i::':.'~: ='90; en la no euclidiana, a vara desde cero,' nas tienen inters pu'rmente'!'t6rico"cu2n'd"s'e .:,.;; para d infinito, hasta 90 o, para Jtendiendo 'considera' que' conocer: es :~l::.:nio 'fui 'de )2- .: : a cero (ver 6.4). . geomeera, pero. tienen valOr.!~sCi~ rrto.1 geo..;'. ; De esta geometrla .nos vamos ocupar con metrlas para: medir', ~ t~bse:rya'r' :los.~fenorrie~.: .: -detalle enIos 'captulos.V, VI y VIt Adelan-.: nos naturales,' Para' 'elI':'la:'elidiana: ~Sf.; -~.. ' .. .. ternos nicamente que, en ella, la suma' de los ciente, y es,.tambin1Ia ..rit~sfprc'tid~~pdr je:r' .:. ngulos de un tringulo es menpr que' dos recla ms' simple y,la 'ada'pdda:'a1 la!intuici~n~~~!'. tos y que, por lo tanto, corresponde a 'la hiEs-explicable :cuesr:Sea':Los'-'postuI~dos.'eD: . ':1 ptess del ngulo' agudo de Saccheri, . qe 'se basa una geometra fSei:'elig~nJ,lo::)ns . 2.5. Geomelra y r:ealidad. Es curioso evidentes: posible pai:bla" intUiCin;;' sta' . '. observar cmo Jos creadores de ~a geometra es producto de la obserV:ici6n 'dela natUraleza ., noleuclidiana de la primera mitad del siglo XIX, por los sentidos.' Por:;Jo;"tiiiito~;.alnerios"ten!.::.)' . i "a pesar 'de su obra. capital, parece que se hutras. nos mantenga'm~s eltord.en d:magiii~:; .' .: bi~ran alejado del concepto plaenco que pre'. tud "'apreciable poi' .Is! senti(Jos;~.Ja:gometia. side los Elementos de Euclides y hubiesen reeuclidiana sed .la nis acorde':con'la: naturaleia~ .:" . trocedido, vol 'iendo a considerar la 'geometra por -ser el p~stuladiide;:E~lides\~~If.insJefi~ ::~,. .como una ciencia destinada a medir las cosas denre : para .Ja..'in~ci~~l;p~a:F.~~s~~~Zp~ede .~.. de; la Tierra. En 'efecto, al vislumbrar la poocurrir' al trarar .fenmenos :cuyoI.:orden~.;de::. sibilidad. de'.gcometras distintas de la euclidamagnitud sea' muy' diferente t del. qu.'~apredrt. : naJ en lugar de adquirir el convencimiento de directamente los sentidos,::!coino;distahcias es.:. . ." que el postulado Vera Indemostrable y .que, .telares '0 dimetros de !paiticuls .ele~tntals. :,:.; ... " . ., . , ... en; consecuencia, existan otras' geometrras .. : .','::> .:'. igualmente verdaderas, mostraron una cons-' den" geometru. Mis aun,.-sostlene que"el'problema en.;. ~'. 'tante preocupacin por averiguar, por va ex- '; .i cuece de sentido, .ja'q-ue unaTgemetr2'no es iit.. . , perimental, cul era' la "verdadera" geometra, o menos fI~rJaJml ,ino m~s;o 'irienos.:&moJtI.:para:.Ser . aplicada a .,un:. cierto :~~mundo". ua :el nustro~' este .:: P es ;decir, cul -era la geometra' vlida en la carcter es posedo pOr.Ja geometd :~did:aDa.'i..C:Ver ~. naturaleza 1. .. . ! H. Poiitc2r~, I' rimeltl y 111hipltsis (trad.:'esp'~j, Es- 'i

. cuatro primeros postulados de Euclides y deja de cumplirse el quinto, el cual se sustituye 'por' e] siguiente: .

.'

4u~.

rectos::, ..

,.

es

l.r,:a$~

< :'

'es

ms

Pero.~

:n:

i; .

..

,.

:nj;:::);:t:,(,~,(\-:;~;ij.tr:~t.;{;~:'. ,
i

1 Henri Pomcu La' recllazado la posibilidad de d~cidir, por medio de 12 experiencia, cu~1 es 12 "verda-

pasa-Carpe Art., coleeci9it'" Austr2l,' IV y.Y.) .: :.. : !

1'''', cap' .. ;!!. UI,'

I

....

".: ..

.H ..

.'

0,, ~."

! .

. '

.. ..

Enesros casos podra ser que la intuicin fa:llara Y' que o~~as:geomcCras fueran ms apropiadas, .de 'la misma manera como para grandes velocidades, superiores a las observadas direcramente por los sentidos, deja de ser exac ... tao la mecnica newtoniana (la ms evidente para la intuicin) ..y debe ser sustituida por la' einsreiniana.' . :..,. Desde el 'punt,o -de vista de la matemti~a .pura, en cambio, todas .las geometras tienen igual valor.: Son' estructuras matemticas distintas: pero :igual.n:iente valederas, cuyo inte. rs p.u~4e variar segn.la aplicacin que se les .: encuentre, Paralos, usosde la prctica, la geometr:.~.euclidja~~ es .l~.:qu~mejor se adapta. En cambio, paraciertos captulos de la matem rica.pura (te~r~ de, funciones automorfas) ode la fsi~a rericaj'teora de la relatividad). .: .IQS'esquemas de las geomerrlas no euclidianas ,. son ms apropidos~;' "'~.:, : .: 1;.. ' )":':::i',::. -.1:!. ",' '. :. ::~:;2,,~,,; N.ue~lr.:Q.:p~og~~a . Lobachevsky y .' Bolyaijdesarrollaron su geometra por va .ele;. ~,ent:~l~,;Pres~~Ad~~nd~::d.e~ .po~.tul~do V O. sus- . .: tltuY~l?golo,r por. otro; :.pero siguiendo un ca.. mino; ~~logo'. al .de-Ios Elementos, }tegaron a 1': mp.cho,s.res~l..t~40sinteresantes de la geometra .. y;?~;ig~npmetra: -9-0. euclidianas, Al no encon, '.:,.trar contradiccin. e~: sus razonamientos, He-' . , . gaban :a la. conviccin de- que. el postulado de Euclides; era, yc:r~ad~ra~ente un postulado, puesto ;que su. negacin no conduca a resultadosl contrad~ictorios. S1n .embargo, esto era . nada ,ms que una' conviccin, no una demostracin, puesto' que'. quedaba la duda de si la co_!!tradiccinEareEe!:_a ~ algE_~ev~ reo- . rema .. As~, , en . ciertos' momentos; el mismo Bolyai. crey, p~r un exxor de clculo, haber llegado' a: una contradiccin y, por 10 tanto, haber "demostrado" el postulado de Euclides (ver Bonola [5,' pg. :ll.~J)~ .: . -,: ,~a 'prueba .. e;:1.~ indemostrabilidad del p~.sd rulado de. Euclides no, fue' dada hasta' ms tar.de; por: caminos.diversos.: Primero por Beltra'ini.(1835.-1900r,.enI~68,. segn una direc-

cin de la que hablaremos ms adelante (8~2),

" !{:;:ri i.. ..

'~.' '~ : ;:.<

:.' :',:. ..:. .'

y luego porF, Klein (1849-1925) en una memoria famosa [36], en la cual sistema tiz las, . geometras no euclidianas desde el punto de vista de la geometra proyectiva, construyendo modelos con los cuales se podan obtener todos los teoremas de las mismas. Lleg incluso ms lejos que Lobachevsky y Bolyai y, sobre todo, demostr que nunca se encontrara contradiccin en sus razonamientos, puesto que ello conducida a una contradiccin en el rnodelo, el cual estaba construido' a partir de la geometra euclidiana. 'Es decir, demostraba ~ue si hubiera contradiccin en la geofl1etra~ no euclidiana, tambin la habra, por ta1),to, en la euclidiana. ' i Nuestroobjeto es exponer con cierto detalle esta iri terpretacin proyectiva de las geometras no euclidianas. Creemos que es la mejor manera de lograr una visin global de su jes~ tructura y de comprender la esencia de ;sus principales teoremas. Ello obliga a manejaral .. gunos conocimientos de geometra proyectiva .que, para no tener que hacer continua referenda a textos sobre la materia, vamos I a resumir , -, en los captulos In y IV. ' No vamosa hacer la construccin axio~tica de la geometra desde el principio. Siguiendo el camino de Euclides, pero con todas' las correcciones y aadidos exigidos por la crtica moderna, 'esta construccin fue iniciada por M. Pasch (1843-1930)' y terminada con' : la obra magistral de D. Hilbert (1862-1943) .. .titulada Fune/amentos de la geometra [25], fuente insustituible a este respecto. Dicha construccin' puede verse en cualquiera de los libros modernos dedicados a las geometras no euclidianas, por ejemplo en los excelentes de llaldus [4], Coxeter [8] o Norden [11]. Admitiremos, sin formularlos explcitamente, los postulados con los cuales se edifica rigurosamente la geometra proyectiva, y que pueden verse en la obra de Enriques [23] o enila de Rey Pastor [26]. .

, 16

I '

2'. "

.',,:'

"

./

._
-Las nociones de 'geometra proyectiva que vamos a presentar pueden verse con mayor' detalle en cualquiera de los' textos mencionados en la bibliografa. Las exp~qemos brevemente en este captulo y en el siguiente para tenerlas a mano y para refrescar. la memoria' de lector. La exposicin ser un poco concisa y algunas demostraciones tan solo sern. esbozadas. -.
I I ' ;

. 3.1. El plano proyectivo. DEFINICIN 1. Se )lama Plano euclidiano al plano de la geo-' metra euclidiana, es decir, al plano que uti-, 'lelas el: pun too q ue' detrmin~n Su ,~jiltersec~: ,,,. ; ~:i liza 'Euclides en sus Elementos; Y. para el cual .cin (que. p~~te:'lece:'~"~~Dib~s)}'t~ml)i'it':'ert!~r valen todos los postulados establecidos en .Ios caso de.punt:os.imprdpioss:~ice~:;~.r;~c5modi-- -, ',' .. :, mismos .Es el plano ordinario' de la geometra. .dad de Ienguaje, que':elIos :peiteileci~~;/a b': . ', ~ elemental, . ..' . recta que Jos eterm~a1 :Dc!esu'Jrianera;:hda.:.1'-:::.' i .. ' En el plano euclidiano es cierto que' "dos tiene .'un pun.tQ~;imp:ropio:W.1:sOJo~:ij~~~::~ :J;~.~ ... 'puntos deterrnnan.una recta". En cambio no '. :rii{:jt~,:) I lo la propiedad dual 1: "dos rectas determi-': '.con junto de los ptiiltos<in'ipropios!::).'iieJie: tiic6 purto ~.om.i:::~to~-:: ttilquier:::1;~t::; (fl. .)":.:i.' t' nah un punto", puesto que, si bien' cuando .las plano,. Y. como' esta rpro'i,je~~~:eh: ':'1.. ', .. : '. rectas se cortan, puede decirse .que dererrm .. an J . puntos propios," dJrateriz'aFi{ ~~~ su"!punto de interseccin, cuando son' paralelas conviene en 'decir: 'de :10$ 'fu'itos .mpiopios:.:. ' no: determinan ningn punto. Para obviar esta . forman' una' recta; .1lrnadi.,:iecld ;mproPia:;o. :. : falta de' simetra o. 'dualidad, resulta cmodo . 1..... :>d'f '... :. l,.. ,.. recta d e1 In f"11/.110 de 1.ptano.. ,,:.. _,; ; ., ," ::,,:.;s . ;.;; - ,.. ampliarel plano' con nuevos puntos; Ilamados .' . '. . l', ':/:.: ..... j' . -, \.',"': ;.!".' ' ..\ '; .. '. . ., p'll'!1tostmpropios o puntos del injinito, que seDEFINICIN 3. j,lano': pioyec'Hvo '.~'. . rn' aquellos.determinados por rectas paralelas." al-plano euclidiano ampliado.. ..los, ptinibs. ': . :cOll .: . . ~ :.' ". lmprOpIO!. : l.,: .. ;:" .:\ ' i Propiedades duales (en el pl:mo) son las que se Una imagen muy:itil ;~ellplno.proye:c't'vo :.:,.: obtienen un:i de la otra 'permut':Il'~doentre s 1:1, palabras "punto" y "recta" y umbin las expresiones "re;se obtiene' de ]a. maner,a: sig~iente:.:Se,::e~ :'pla~'. :' t:1 que une" (dos pUl1tos) e "incersecc:i6n" (de dos no 3t Y. un.:punto exterir:(r!(fig::.4)'~;Consi- .... ' rectas). . . . . deremos el conjunto ~de las rectas :y' pla.nds del . Como los axiomas usuales. de la geometra proyecdva espacio que pas'an por ~O (se llama '1'ailiacin i del' plano son duales, dado 'un teorema su expresin de vrtice O) . Se .tiene: .;'::' :. ," ..,.,.::.!. ;.~;, ?t;~ ... dual t3mbin ser un lcor~ma.
!', .: .,'. ','

, . 'Puesto

toda recta' .del pl~n("';dcfhie' n~'punt;~l1;lmj~: pio J el cual es' el' niistno"'pa,~.;todas' reta~ .'" paralelas, . y dstin 'rectas_' no 'iaraleJas/ Por :consiguiente, ...dar un'' p'nto';' impropio, equivale a dar una' recta.o ~ea~JUna,di.i-ecci6n-:', " el plano.' Dos:rectas .:paral~s:d:~t~rrninan, :'. . . '.. .,' l . " .._.. " el mismo 'punto .iinp!opio !:[( equivrilef~,.a:;declr.:;..' : que tienen la' misma ~direcCi~n)~::eori' 'este;'con.:.(:' ,'; venio, elenunciado .,~d~:::rectas (itermin~n i: ,!.. t, t !,," k.' , .. 1: , r .: .. " .){ ",: ,': .", punto" nene valtdez:'lgen~ral~:,~,L;J.':.::i:~~S ;:;;V:!I~i'. :'. .que: el'cas&',de;d'~:rebtas:;ii~' p.:t:ii::1 ..... .;

DEFINICIN 2...Convelci'emos'efl

.'

.. , ..<:t:.::,,! .. !}l.'j' :.:<

J'''' ...
c
v.

.;f~;

J>':' .. , ,',

",H."

..',' ,ll,,ti,

deCir:qe.

to' .pra,

.la~

>~ .:

'~'n

iin

en'

:ies'

~'!. : :

'es

:reta'

~r

.er{c:rsooe; :r~ctas;~se'.:: ' .. :

e '

s~~ llama:
l. l' ,

'1

1; .:

"

.:.

,1 ~,"\,.' ,':',

. :

','.

.' 1.!-
"

. .~

;, .'.ir: ,'::, ;;:

"':'.1 ::

;,
'.',

:'

-,

:.

...,:.. :..

.... ','.:,.
_'r,', " l'
'

.;

.. ;

~:'. "

,:,;' ",J.,~ :t,!d;(l~jnr,de, vrtice o 'comtituye tcn ; repT~se~~,!c~_n,.e_1 'pl~~o 'Pro_yictivo, con el l. convento de: 114?n.ar:.p.1~n!os" a las rectas de la ,~r ~,ra'4ia~i1"-y,~,rTectas" {I' los' pla1Jos de la misma. , .' _'i ,1_ ;.:" .E:n 'efecto;' alcortar con e~ plano n; a cada . ": recta a .que,cortea 'n le corresponde el punto A,
..j', ; _ . ,"
1, ',' ,. '; ,~ ' _

,.~ de int~.rsecd6n, 'a plano (a,b) determi"::'nad.o por ,dos,.re~tas'-la, recta 'AB determinada :.p~r'l<?s::puntos:: correspondientes. Los puntos . .impropios de n corresponden a las rectas de la radiacin contenidas en el plano n', paralelo ,a ~.: f\ .rectas paralelas de n les corresponde una ._-misma ::~ecta.paralela ,que pasa por' O, cont- , : :n~da:en'el plano' n',o "sea.,:un solo "punto" im.propio: .~~ recta ~mp.ropia,correspon~e a rt'. La ' 'radiacin de (. rtice ,:0;, excluido el plano n', , v -consrtuye 'un,a .representacin del plano euclidiano: J;" '. "', ',:::, ,',: .;' .': . ' , ;""'!, Obsei~~~e' que ';al definir el plano proyectivo , .. nc_> 'hace '~~~ que, introducir los elementos se , .Impropios como' una "manera cmoda de uni:ficar .cniJnciados;': pero con' ello no se alteran . .Ics' postuladosjque .:relacionan los elementos , . pun~o y 'recta' de':la~'ge9~etr_a euclidiana. El

y cada

'se edifica' con los mismos. elementos de la geometra euclidiana}. aqulla podra estudiarse por entero .dentro del marco de esta ltima, tan solo complicando los enunciados. Esta 'observacin es muy importante desde el pqnto de vista de la -fundamentacin de la geometra. Segn ella, al construir la geometra proyectiva no podr encontrarse en ningn momento contradiccin lgica si,no la hay en la geometra euclidiana . 3.2. Razn doble de cuatro puntos:' 8U invariancia por proyeccin y secein, DEFINICIN 4. Dads cuatro puntos s~bre una misma recta r, y un cierto orde~! ~,B,C,D
,r

A
FIGURA 1

D
,

. ::,,\: : ( ,' l;;: 6, ~

,": ", ..

, .1'),~;: .~ ,;' ".' : : ~.' : ,

.'
, ,!

.....
,

. ", ,I;~ ,

. "

',.., _..;

.. ,.,
;.

''''.
,
,

..',
I

I I I I I
;,'.

,,-----~
'C

entre "ellos -indepe'ndierlte del orden en que estn dados sobre r (fig. J) -, se llama raz6n doble o raZ11, ottarmllca de los mismos. ~ la' I . expresin i .. AC AD (ABCD) =-:-, . (1 ) , 'BC! RD El primer miembro es u~a not~cin. EI;'se:"::'. gundo es un 'cociente de razones entre ,segmentos, los ~uales deben tomarse .orienrados, es decir, teniendo en cuenta, que, 'por ejemplo, es AC =- CA. La razn, doble depende i del orden en 'que se toman los cuatro pntos:, Se comprue~an, por ejemplo, las .relaciones ; 1 (ABCD) = (BDC) 1. = '(RAC;D)

, ,: .
.. 1.'. ,.;.

..
'

.:i

,.;, .,

"

,.~ , :",

',,1 '

=~
(2)

',"

'.'

o"

:.

-:'

;-, . l',!

. :;' - '.

,\':,' .. ".,
~, ,FIGURA ..

'.= (BADC) = 1- (ACBD) '= = 1- (DBCA).

r, ,

, ~',~ l.~:. ' 3;;; /'

", .' ';"1 '.' ;, , '.

.. "

. ':: .

::1 ,:':'~'~~,:.:, :;:;;;: e:: ':,. ,

'.,
,0(' ~ ... '

:"po~t~1ado V equivale. 'ar'la afirmacin de 'que '~:':l~:ip':ln~o. Pfopp,Y,',::?J;lO impropio determinan ,;.?n~,.sola~reGta, rprop'~sicin 'vlida en el plano ,::l>roy'ectivo. Es decir, la. geometra' proyectiva
\... ." :
'.~~,."1 '~':'.

Debido a 'estas relaciones, de las 24 razones ,dobles que se pueden formar con los 4 puntos de una cuaterna, al variar el orden de: los mismos, solamente 6 tienen valores diferentes. Si sobre la recta r' est definido un sistema de abscisas; -o sea, un origen O y un punto

i'
~_:

,
I I

.'

-..:

... ,.,.,', ~)$

. ~;f\'
. .r ...

'~.,,:

~,,~; ::: .:
'o'

-:

":

..

'.

un:idad U de manera que cada punto X est determinado por su abscisa x (distancia a O .rndida con la unidad OU), llamando a, b, e y U, ~ las abscisas de los cuatro puntos, la razh doble (1) se escribe tambin ,;(ABCD), = (abed)
I '

,1

'

.'

=.
d-a d'-b
'

,!
1

e-a e-b
,

(3 )
.

.
"

,.

(A, veces, para evitar alguna posible' confusih, pondremos tambin ,( a,b, ,d)' en lugar " " ~ ',del (abed).)' , 'La expresin mediante las abscisas de los ,cu'atro puntos tiene la ventaja-de que permite definir la razn 'doble 'aun ,para puntos ima.ginarios, es,decir, para puntos de abscisa 'imaginaHa; se la llama tambin razn .doble de los 'cuatro nmeros a, b, e y d. ; La importancia 'del concepto ,de razn doble deriva de la propiedad fundamental siguiente: , . Supongamos' q~e la, cuaterna A,B,C,D de r , se 'proyecta sobre otra recta r' desde un punto'fP (fig. 6); sean A', B', C' y D~'los puntos proyectados. Vale enton~es que' (ABCD) ,,=t(A'B'C'D'). ./'. , En efecto, llamando ahora (1,' b, e 'y d a las rectas proyectantes.vy representando por, ar :(APC) el-rea del tringulo APC, y anlogamente para Is dems 'tringu'Ios, se tiene:

:2 ar (APC)
2 ar

= PA.PC.sen (ae) = AC.h (BPC) = PB.PC.se~ (be) '= BC.h,

De aqu . . AC _ . BC PA sen (ae) PB . sen (be)'

donde h es la 'distancia de Par.

Procediendo anlogamente con' los tringuJos,APD y BPD, para Jo cual basta cambiar e por D y e por d en las frmulas anteriores, resulta AD PA sen (ad) ,
,

--_--.
BD PB

sen (bd). re-

Dividiendo sulti (ABCD)

"

las dos ltimas igualdades, '

=' sen (ae) . se'n

, 'sen (be)

(dd)

. sen, (bd)

. (4)
,
"

,;.' , ~:...19
,t., .;

'., .

..0",

"

"

.
'

,".

.
"

: . z.6n.:dobi~'.J;'~u:atro 'rectas de u~. h~z, dadas pr~SUt ec'ua.~joneS, ,jgwil j la TIlz6n, doble' 'es , ~f:~1J.~' coefic~c1!teS'angulares.
I ' .,., ,

cuadri vrtice ..(en la figura son MP, MN,:

MQ,

NP, NQ y'.I~Q). Los puntos en que se corean

dos lados, . que no son vrtices, se laman , puntos diagonales (el A, el B, y el ..f.l).' Vale el siguiente: ,

,"

:'~ it

",

;::

j .:' i',:
..If

! . ;.

\"j":

, ",3.4., Cuaternas.armnicas, D.EF1NICIN 7. !:, .... ", S~:dice ,''l,ue.'cuatro puntos' .alineados A, B, ,TEC?REMA 2. Sobre las recias qlJ.e unen dos , C Y:]) forman' ana' c:ua/~rna'ar1nnjca"cuan. pmllos diagonales de U11 cuadrivrtice ~om,do;Su,raz~ doble -1, 'o sea, (ABCD)'= . pleto, estos puntas y los de interseccin C011, =...-1. . los otros dos lados forman un cuatern 'armontea.
o o '.

vale

"

"

',:

..

'

As, en la. figura 7 son armnicas las, cua'ternas A,B,C;D; H,B,F,E y H,A,K,L. Demos'tremos,. porejemplo, que 10 es ,B,C,D. Aplicando el teorema 1 'a la proyeccin de A,B,C,D desdcM sobre la recta PD, se tiene (ABCD) = (PQH_D) y. proyectandodesde N sobre la rectaprimitiva, (PQHD) (BACD). Por lo tanto ser.' (ABCD): (BACD), 'o sea,.lla, mando x ' esta razn doble,' segn (2). es. :X l/x, o sea xl! = 1; pero 'no puede ser x -:- 1 .si los cuatro puntos son distintos 1,' luego, ser x 1, Io que prueba el teorema. En 'una' "cuaterna armnica,', por' ser (ABCD), (RACD) (ABDC), en cada

= _'

': 'i

"
:: ',' :~ .
....::.
:
j~+' ~l. Ir; I '.

,0
'1
,

..",

..'
:~.: ~:', .
,"
.,' ."

,"

e
FIGUIlA 7

.' '.~ : ';') 1:"! "

: ~,.'.'
t ~ ' ::

.'

.:1.,-.'

'

! ' .. ~ '.

1,
1

" " )'j:':U~aonfjguracl~':fundamental c

que da Iu- , uno de' los pares A,B 'y C,D. d~..la cuaterna pueden permutarse- los elementos entre' s. '; "ga,r a'.'cua~ernis::~rnlon:ica~es la-de la figura ~t , Adems,' siendo negativa la razn .doble, .de .,,~ llamada 'cullri'lllr#ce! completo. Un" cuadri-. ',' .vrtic.e'..es'un conjunto"d4! 4 puntos,' como los 1 En efecto, segn (3), si x= 1 es (c-a)(d :',M ..:N~' p y Q.,..~elos cuales nohaya tres sobre - b) =' (J - a) (e - b) o' sea,' haciendo operaciones '.una misma recta'.::Las 6 rectas que' unen estos "y simplificando; (a-b) (c-il) = o, 10 que obliga puntos entre si, dosa ,40s, se llaman lados del , ':l' que:o bien A .coincida con D, o bien e coincida con D,
, 20

~1) se deduce que los dos pares deben sepa-. rarse (es decir, si C es interior afsegme~to AB; . el punto D debe ser exterior, y reciprocamente). Por esto se dice que son pares que se separan armnicamente. Tamb~~ se dice q~e . cada punto de un par es elconjugado armo-:' nico delotro, respecto del par restante. . Es interesante el caso en que el punto D se aleja hacia el infinito. este caso, siendo

'terna armnica, (ABCD), :, -;;-.1;,.; deqrVlei,"""~': ';. haga' corresp ondr .": ~a'~': ltiater";l.l arm6~i~~~ ( '~}~;::' (A'B;C'D':) :..:... f.~de:Lr.;~se~\'dice;'quet'la;~;c~I\: _"_. ,;f., rresp6ndencia'" co~s-+~;J~};~~~terrias ~irri6~i;!~, .. '.::,: ( . V'1 :", .. 1,\,.~ ."""j 'rr,I,t,,:!'\ .k':\ .caso a e.ientonces.e "SigUlente; teorema,', un,,:;\)I~':'!': " ""d";';"':i .\I .. ".'~.~tt:J,<1' .... 1 "menta :. l' ~, l' d .' l.d e Stau t, :1.\?""1'; ,';:"1, .~.~:},.:.. ~';Jr'I'lrll~ 'i .....,'.'I':'; .,(. .. .'";~f lWh k'f':;''-'' 1.W" .:_;,: :v
,,' ,_ , .... 1

~,; f .,;tdl:i~j,J:i( .' JI:

.1 ~\ "; J:III~"1 ~ llt~t
'01'1

+.

fl,

'

",V

''h\'J'~\

'.

En

s'' -, :.~;. o .
.
:.'

::~.'

.:::..

',".'~; ':.~~r'l ~~~, ~ .

j', ',S"~fi~~!'~-)'.~ '.1

:.

-.:
:'.:/:.~

.;....
.;

I :. "';/:.1~ ~ :J i~~~:. ~~~~~i 'l' r, ~ ,.," ~ , .... ;. ;ll:l.~f'\.'f;i'.,;;.:..'! 1'1',,;' "'. Ii" 'T~'"
?t<:, ~ :. t::.~:I
"'

~J:;;.:P\:. :: j~r~: IlN-;t!Hf.' ::;:.j: J.:,i.~'

~~_.<.Ittj~:"~:~. "
I;I,:, ~~'.

:::

1-

,.'.

'o

.~",'

(1 +AB/BD) = 1, se' obtiene AC == Be, es; decir, C: es .el.. punto .~edio .de AB~ Por 10 tanto: 'TE9REMA '3. El mj1tgado ~~mniCo Jel

lirn] (AD/BD)

='7-

== lim

=']jm .[

(AB

+ BD)/BD] =
1

",.
:. ':

.1 \
~.I

.(
'., .":

,i . \ t;",
.'

"iL"

~It"'(~f1 It1,.1; , :":!~t)~t:,~,~!i#J.~~. :~;:,~!k::i!t!;}~! ~t:"!: >\!t.: ,..:~: ~~j:( ::' .~r.:.t: ~!;fH~': : :'~t l~"fJ1.~ ~ ~i.!:~i: .",""." ,,J ,. !.. ~7.<:'.. r"::, '. : _.;:.'li<'" (.;;","101'1'..1 "j... ~ .!.:.I:t~:,J 1:1;: i"
\r'i~.ll.'-, "~'" ""'.' .
"l'

\':

:.. t;

frllntO improPio respecto' del par: A,B pultto medio del segmento AB ..
1 .

es el'

~~:r ' ... \~~I:-'Hhl'iO.l~.111,,', :,' ,.: :!'1:\i:\:",; \' ,:!,;;;: ;:::1':) ',; Lt:1".')h~!':1}i~'~~ .. " !:)!; . " "'''''/j'1 . .. .H ..!f~:H-'~~(: "'II;.lt (~~.t "~t:~ I ... (lh,"'''}' .r. 'ir' .. ~,.f::r ~?rJ!. {,. L
.1..

....\, ,,.,,. I .:':':3~J: .' ".:,.. '"

jIJ ....

N' : ..;,

,':

;H;~,;I~l;;:.~.,~~~~ ... ~.~:~.

1 ;

, .. ".), If' '" l

::':

.v.,

H .. , ~.: ~ .Ir:. \;'.

'1":

." !.J: :... IT!;li:j

'~"':,f ,.(.: .
s:

~)~:.

fl'~ I{J',('! .! ~:'hr,!~n(\~~. vj! ,

1

;, ;.V'
.....

.~"

:=::::::',

,!

t',ru~. r ':1 ~

;'~r

.~:tE J:i-~,1~r..: ;:" . ..

M

'.

S"

'-!..

TEOREMA
VOCII'

4 -.'Si un'a correspotidencj: biln~::'..' ..' .,' .

entre .Jos piinto('iJe':;aos;:recliss f'.r,,1~aer :':.:' , . ~

plno proyect'llO con'seN;~.las~ u'?:leNIs.~~fm~:;; ;-,.' C .;';";: nicas, .conserva. lil11;biln; ;1'1I1drh" dl~ (,1-4:..t > '~"'. J!. : .' iones dobles de dujfe-;J1i;s:;~Jlei(j11er~~~/rIjfX~~i:.:i:\'.; : i.

'los

las

'.La~dni~s~~~ti6~}~~'~~~f.F&k~~f~~~~ -ti la '.pena h:icerl~ p:ues'~st;~uY;im'po~tllDte'Je':ins!f;r):.:;;i'~ '.. .'" .i "",.' ""d..1 "'j'j: . "i"" "J '. 'FICURA 8 trUctlva~: ;i' :,! r;!';'~::il;;~,~fLY,lf/f:~J;;r[ .. :t~'!.I;il;~i:~q?:!,;!:~\.:i: :: . Tomemos rn. cada;u'na~de;;nis}reCta's~.un;sis;.t;: .: ::. -:: te~a" bscis'as~:'de' !rilIi~'t:f{qti~1" c;ad~J.plflt8~:; ~::~ ~ .;:; :(:1. .l. . .' Gomtricamf.nte (figt 8) este teorema se . quede' pof~,~ri~'rifriio 1r~ar:frSU~. ;r ;k;:l Se OIl'~. I:~.""('t{..: ""'r'I'OJ)'''!'!Urr<-<I~:I:(i:t:I:~ puede .enunci1r: a b SClsa.; an ';e:. 0" g~.~ aOSClsa.: 'h ,;'. ) /.h';' .~ e punto unidad "'( bscis~.J) a !.~ .,tEOREMA: 3'. Si se.1men los vrtices. d~ la base dc'1en tringulo con los pt/.ntos'en que 1ma prop~o .0; del ii1finito\:;(bscisa' '1:00 !. :'~" ; paralela a ella .corta a.los otros lados~ el pun'to '. Las mismas Jetras, :i.'c()n':; tildes,' .hldidtn!Hot,: .";.:, !;~ de 'intrseccin' eSt sobr 'la mediana corres- . puntos coiresp'oridieh~es':'bri:ir':se&n pondencia dada; ..estbs" priios.:rio~.;.sii~n}yen:.:: .::;..',.;. poit.diente 'al ter~er vrtice.:' , . "general, los puntos .rig~ri~.:li.riidd: imprbj,io':: '.' l 3.5. Teorema fundame~lal. Suponga'. de r', pero' por .dos pioyecCioneS'~(,~veruentf~ : mos dos retas r y. r', y ll;na correspondencia siempre spup.dcdlevr"~/LJ:~yiL~ sdl)r~'bt{' ;: recta 1'1' de manera que ..co~cidan con 1M hiri!::: .. : . biun'voca entre sus puntos tal que.a ~oda cua1\ ',

.: .A. 'j ,

:.c

:~~~~:'j~i.i~~?~t; "'i"~~W r

ae~ deterrhina'clo';'

'ly:D!el~,pun:t ;',:: ~imt~:~ ..:,: ; ..

l'

>t~/de::~.fE:;; .:~:.:

.Iak~rr~s~:i: .',: "'.:.:':

e.

'.

.,..

. ~. .

.,"

~. ~ :i:.~ ...'

,
.'

.:" .21:.

......

'.

 '.

: ~:'

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

~
,

''

tos' ~~ :a~~cis~sO, T ~ 00 'de esta ltima. En' efccto';"si Ol:'y' Ul"son los puntos de abscisas O. Y 1; 'de (fig, 9), basta tomar dos puntos cualesquiera So.'y Sl' robre la recta 010'; los " .puncosH.:"(interseccin de SoU' y SlUl) y E "(interseccin. de SoL' con la' paralela a n , -por Si). determinan' la recta e. Proyectando r' '. s~bre:e,.desdc: So, y luego e sobre n, desde SI, .:' se' tienen 'las, dos .proyecciones mencionadas. .;. Estas dos proyecciones de centros So y S~ de terminan una correspondencia biunvoca entre r~~,.y 1), .qu~. conserva las razones dobles y, por.lo 'tant0/s ~eridr tambin .una corres'pondenciabiunvocaentre r y TI que conserva . la's cuaternas armnicas, y que hace corres',' pender al origen,' al,.punto unidad y al punto .impropio- de. los-puntos 'anlogos de rr. Es ::decir, .llarnando x a la abscisa variable de los .: puntos, 'de r ~'xl:;a la del punto correspondiente 'de 'ri, ; y f correspondencia entre ambas rectasvo sea'f(x) = Xl, se' cumple .

que para x
.

+ y = O da
f (-'
-x)

ri

= -1 (x)

(lO)

. '- x,+ x,1,x2

Teniendo ahora en cuenta que. la cuaterna tambin es armnica, y que por

Id tanto tambin lo' ser la cuaterna transformada, aplicando (3) a esta ltima resulta .

f (x2)
. y de aqu,

= [f (x)

poniendo x aplicando .(9) y (11), /(xy)

, 11 ) y en 'vez de x y
. :

]2

= f(x)

f(y).'

;(12)

Es decir, (9) y (12) prueban que toda C07 rrespondencia que cumple las condiciones (5) Y conserva las cuaternas armnicas, conserva

r,

'b:

1(0)

=.0, .'/(i)' ,
, : ' "

1,

f(oo)

=
' '

ec , ' (5)

Queremos demostrar que de estas condiciones; del hecho de c<?I?-s~rvarseas cuaternas l armnicas; se deduce que es .

y:
:;

tambin la suma y el producto (se 'dice que f es un auto1!/'Qrfismo) . Para llegar a e 6) observemos que, siendo f (1) = 1, de la aplicacin . sucesiva de . (9) resulta fe 1n) =.1fJ" .para m . entero. Poniendo x m e y 11/m en e 12), resulta f(1t/m)'= f(n)/f(m) =n/pt, es decir, (6) vale para nmeros racionales. Falta ver que vale tambin para nmeros reales cualesquiera,

" l.

:;.....,..,

:.. 1.,, ':-:'j !fx):=x.

(6)

y por lo. tanto las razones! dobles, de cuaternas correspondientes tambi~ sern iguales; y, como las razones ' dobles .de cuaternas homlogas de n y r' tarnbi~J? son igul.!.es,,;qu~dar demostrado el teoes. armni.. ca; : 'Por lo, ta,nto '.tambin lo ser la de los , elementos transformados, de donde resulta.
rema,":' s ", ;' ,La; .~uatern~ ~,y;V:z (x

r: y ~.ri,tendr4n abscisas iguales,

.:' Si .esro :es -cierto, los 'puntos homlogos de

Poniendo en (11) Y x en lugar de x, resulta f(x).= [/(yx) ]'2, y por Jo tanto para 'x > 0, puesto que la raz existe, f(x) es un cuadrado; .por 10' tanto, suponiendo siempre' que las variables son reales, resulta que si X; > O es f (x). > O de donde, aplicando (9) y (110); se deduce que si x-y> 0, es f(x)-f(y)

>"0.

+ y),oo

( '1,~,
. !. ., '.
I

x ~ ~:')~
'.\~ ,:. ~

':

[f(x)

+ f(y)

l.

(7) a (8j

.De.~qu;haCiendo.y -:- y sustituyendo, contin~ac~qn;)~: por 2x, resulta .

:: ;.: . '!:":.'
l. !

:.;'2f(x) .'
o', :

= f(2x)
.,

;1'

r ,

, :y:~por''1o canto; escribiendo (7) para los valo- . . res: duplos' de 'las variables y aplicando (8)
' ,

Supongamos ahora que para un valor x no fuera f (x) x sino f (x) r, y supongamos que r > X. Se podra elegir un nmero ra.cional atal que x < a < r y, entonces, siendo a'-x> 0, ser,a fea) -f(x) > o. Pero f (a) a (por ser a racional) y f (x) r .(por hiptesis); por 10 tanto sera a- r > O, con trariamen te a la desigualdad supuesta:' X < a < r. En forma anloga, tambin se llega a una contradiccin suponiendo que r..< x, Esto prueba que debe ser siempre f (x) = X. como se quera demostrar.

,....; 22,:; .

.
I.i .

/(x+,y) ..

-: fex)

+ f(y)

'(9)

proyeetivas y perspect!. vas. . DEFINJCIN 8. Si una recta se consi.,

~.6. Puntuales

.~ .

.. , dera como conjunto de. sus puntos, demento, se llama p1tn~1tal. no como y (H,H')' son ~ares,'de:pUri:t~s'homlo:gb~;i~or' lo tanto, no puede s'otra':;qiiejIa: proy~ctivi.;! . . dad dada. Resumien"dd;Je.:tienei~;:(::j.~!::ji~: ...... )I:
. '. ':' , ~ .' '1"': ,,~.; J':I'~P~;~i~\ '1,:, ~.::.!,~:,:,j~ ~';. 1:t'" '.~ Ij;:

:' DEFINICIN 9. Se llama proyectividad entre dos puntuales a toda .correspondencia biunvoca enrre sus puntos, que conserve las cuaternas armnicas. . .

\ ":

. DE~INjCI~.

~,,~.:.~~~~~>Si!C~~.~.lq~~}:~n:n:~'p:a~: .

:: Segn el teorem~ :tu~aammtaI de Staudt se conservarn tambin las. razones dobles de cuaternas cualesquiera. De-aqu se deduce que la proyectividnd queda 'determinada por tres' puntos A,. B -" e de la puntual r, y sus. corresI ,:; ,

. re~ de punt~s. homologos. dei:do~;punt:uales:.p.~o-::,::i. . yectivas .pasani:por~,~n;~,;~isiho.:1.pt.irift6~(Ias':~pu.n';.: ..: ' tua 1es se 11 aman P ers 'P't .. '1'. i:",~:t'1'.i'! :'. ce, wasl;-if.i'I: ::i!..f~H:.:.'!! 1',, ,.
I,./

-yectiuas sean }Jersp?cJit;;'es .fie'csro~:y;sf-; , .' cien te' que S1t P1tntO' COffl:1~ h01151ogo de':.; . 'sea; ~ mismo.

TE'OREM~' 6:' pd~~.;qitJ.yj~;;;~p;nii;l~;;'fO?

.,L'!I.,.I

I .~ ',\.. s., ~.;t.t '\ I

:\i! ~ ,1"<;'

.i

l'

:'! ",
:

b) 'Sustituyendo 'los' p'untos

nadas; la rehciri"';;(itBGX);= (A'irc'x') ; permite despejar' x' "endunin de' x~:re~ulta':n-:' . do una expresin de: la frrria": .:-.; .;',: ':;;:'.. ' "

~:.ri:f\1~~:!l::'~~:~~{:(.'.;t.( ': ':.:'.: por sUs.coord..;:;.'.

!~(;.:~; '.'.:';":::;:'~:'~'"
'1"'.'
,

x' =..
:
.'

":'l.'i;r+:
ti

"!~;',: .",'
!~.

i,.yx

donde a, ~, y son "dertas :const~tes que": . dependen de las..abscisas de;'AJ 13 y"e y' d7.sus . homlogos A', B'. Y C'," y:.que cumplen 1:1' dicin a~-~y#O:; .. '.'.;":;;. : .'1,:::. :'.i,::. La expresin (13); ~~.llama. ectill~in :de:ja.:.

y a

+;b:.~ ; .. i:: r:;

(13)

,.1 :~,:,' .'<' .

.:,<!~~

;1','

;=\

-.

~on.:.
;,.: ..

r'

pro'yectiviJad.

.: .,: r .....

:, .';', .: .. '::. :.(1 .. '

FJGUnA 10

pondienres A', B~Y C' de r', puesto que, para . cualquier otro par X,X' de puntos homlogos, debe ser (ABCX) = (AIB'e'X'), lo que permite determinar X' dado X. Por '10 tanto:

:sup~~phesta~j.~ ~Ir';' se llaman puntos 1enidos :1 los' homlogos desl : mismos .. Para determinarlosj-bastr !-, hacer-' : . X' = x en (13), resultarido ;'na' ecuci6n;.de;: .' segundo' grado. Por , lo'::taht/ ,:presC=in-aie'i1'eJo.( .... :. del caso de la identidiid;ln';lue: :ida rpttRt'o.;' ;.; coincide consu homlogo, ptied~n o'dir.rit'tisj~ ;'.; , . casos" :." rl'~/(},~i' "T:I(!:,f: ."!',j- t,+:~.'.'ft,:!,',;': :
Si .las puntuales=son
l

.'

:,.

,!;'" ~~:- i

.d

I :':~

"i:'

!. ,'1,

,~":i,'r~i"1:;,,\ ..

'~"I, "

La proyectividad'[tiene .(:Jos{puntoS';'unidos:. ..: . se llama hiprblicilt:::I~!: p:,'h;:.: :,:~r,:::;V\::;f> . :'TEOREMA 5. Una proyecti";ad entre dos proyecrivdad ~i~~~tiA.sb'l!p~ri~tJ;liMd~::;;J. p'u.nt1Iale,s queda determinada 'por tres pares 'p b"l' -~:".:I:"I.;':( -'\:~':;:;I(";; .i ,1'," ''''.: se 11ama ara o lea.';, ;:': :.;.... .. ! ~':~~;:': -, .:I\'li::H~,.,~.;,: :-,' tll' iJlllllos homlogos. La proyectividad {'crecel(le:punt~(iiili,ds~r:: ::; le .',.". .. Il.. ~t~'~"-~ "'." ., *.... 1 De aqu~ (ra es) : .se llana e Iptictl. ,;:,.:~r:'l"I :~;{j';;.'l';~!Y:':jt\F!,\/" {:=. I " . . . :.,(~'~.('.:II,l'L~.;' :.!'fl;t( I~I.,-l(.' ,.'. ," .: (1) Si el punto comn a dos puntuales pro" , .- . , :~!;;:!~::)'.;,:,~~.,':~'.~\ !;,:~I '~. ::'::':~~::;::~~:';'.f{~'::':' " '" 3.7. InvoluClono'i.;Seanr=::=r'r:,dos'puntua-.. ,,', yectivas es homlogo de s mismo, H === H' les 'proyectivas :'supe!pestii~;r ISupngamb'(.'qU'e< ;'.;: .:~ (lig. lO)', las rectas AA', BB',ee', ... , que unen puntos homlogos, concurren en un pun" al punto le 'cori:~pondir:tI:!.0-.~~ to O. En e:fecto, si O es el punto 'en que se a A', conSIderado como) punto. :de' r;de corres- ':;:'" . . ponder otro punto A~'.:CU'ando' Ai~-:es eI:mjs" ,:' cortan AA' y BB', proyectan,do desde l la mo A primitivo, se:dice' que A. y A'~se' ' ptlntul r sobre r', se obtendr.una correspon-: ponden doblemente.~-::.: .,'. ~ ':.... ;', ~:. ~ . .. clencia proyectiva en la cual ('A,A'), (B,B')

La
I

1" ,~,

.,

(l.,"

1-

::E.n,~ ~e~~t.aJ.~?
orres-.

.', '.~,.,
'

.. .

'_

.~.:.' .

, : .: . :', .::?
0,.

i'

.. :
.::DEFINI~iN 1.1. Una proycctividad entre involucin es elptica, y en la xx' - 1 = O, si. puntuales !~uP'!!rpuestas en la cual todos los .: es hiperblica': '. puntos 'se corresponden' doblemente; se llama . En el caso hiperblico, la ecuacin de la in-' #m!olticin~ Los: p':l~~s .homlogos de una involucin puede ponerse en otra forma tcdava , volucj~n .se llaman' conjugii4os. '. ' . ms simpl~, eligiendo el sistema de coordena ','.J:Eq~M~ E1~. ..{. ~~~ proye.ctillidai basta das de manera que los puntos 'Unidos sean el origen y el-punto del infinito. En este caso, las , qtU_"1i:n'jiarde, pti.ntos:se correspondet 'dobleraces de l~ ecuacin -Zbx - ~ O, que- ' 'l1i~1fte'paTaque-ta1!'J.bin se corresponda dobleda' los' puntos unidos, deben ser o e 00;; esto ':'.mente i 'C1lf11quierotro:' par' de P1J.tJtOS hom. logos. '.' ". :.: ... '. obliga a que sea ~ = O Y Y= 0, quedando la ecuacin de 'la involucin en-la: forma simple' ..... En icfecro rUVAA') =(UVA'A); luego x x' o.. Esta forma sirve para establecer . : . (AA'~B.') .' (,4' 4B'B") , ~ invirtiendo .los rpidamente una relacin impQrta~te entre un '.' dos pares de Iasegunda razn doble, por (2), . '. par de puntos cualesquiera A y B "y sus con'.. 'resulta" (AA'BB') ~ (AA'B"B'), y por lo jugados A' y B'. ,Si se indican .las abscisas de .tanto: B" ea -R. " .;.. i ~ ". . . . b b" . estos puntos con a, ,11 Y' " por ser a a TEOREMA' li.:; Si .... fI,~~ . inllolucilt tiene dos OYb b' 0, resulta plltltos: .Jt1(-idos:V y y A y A' S011 dos . + b):! puntos.~coniugados: cualesquier, la cuaterna (ABR'A') = (a,b~-b,-a) = Aab U,V,A:~A'es' nr1~tnjca.:
"

yr +

.!.
0,.

\ 'lo

"

1,

+ =

.v,

+ =

+ '=

Ca

>,

'.

.!"

'

,~ +

. .En. efecto, ' (q:VAA~) ~- (UV A' A); luego, .el valor de esta razn 1doble. es - l. . '.'i~~ua~i~' de "'la' proyectvidad (13) se ~ , puede escribir-en laforma yxx' o~'-f!.x_',~= O. Para .que .represenee una involucin p,ebe seo!-' .simtrica -respecto de x,x'-, y P9f 10 ",.tanto debe se.r.~~:, ~~.:'Es decir,.la ecuacin . , g-e~r;il;(lel~:~.nv,ol,u~in' resulta .yxx' b (x x~ - ~_,. ~~e~'s, ,l~ .condicin y-. .' 7.,~y~O" quc.hernosivsto qJJe es necesana ::para que la ecuacin (1~) represente. una pro: y~ctividad, .en .el. caso: de u,n~ involucin se .reduce 'a b2 ~y =F O. Oe aqu resulta que ~a involucin' no.p~ede:se.r;:'parablica, puesto que 'la ~ccuici~" Yx2 2ox.-~= o', que da' los I pp~t~s unidos ~e.l.a.:~yl~cin, debera .~~ne~ 'una raz doble' y ,por Io .tant~ conducira a

Por otra,: parte, representando 'por U y- V a los puntos unidos de la involucin (cuyas coordenadas en el sistema .clegido son O e .(0). .es
,

(UV4B)

(O,oo,a,b)
'a

=-;

AJ

al)-:-

+..
4(ABB'A')

b. (UVBA) =-.' . Resulta asir la importante Identidad

(UV.~)

+ (UV~A) + 2

(14)

.+

que liga' los puntos unidos U y V de una.Involucin con dos pares A,A' y B,B' de puntos conjugados cualesquiera. 3.S: Proyccuvdad cnlre haces de ~ec Toda correspondencia entre las rectas de dos haces re reduce o una correspondencia entre puntuales cortando cada haz con ~na recta. Si la corresponden~ia subordinada entre dichas puntuales es una 'proyeccividad, se dir que 'los dos haces son proyectivos. Si los' haces i~n superpuestos (tiene1l ~~ mism? vrtice) y la seccin da una in volucin, se dice que los dos haces est~~ en involucin. De esta ma~era
las.

'10.2'+ A' u .... y

= O . ";,,..:

",

: 'Si' s:e~elig~~1,sis,t~~~A~.coordenadas de ma.,nera' que al.punt' origen x = O le corresponda ,:;~l:{p'u~t~ ~pt.~p'io :,~!.=,oo~e-?tonces 'en l~ ":ecuacin de ;la' in:v:olucin, deber ser o o. Si . ":~d~~!se hac'~p~c~d4- :el punto unidad con

', ,t,.

. :.'::'l ~/y;de modo que ,..}el >.)r'adicando:"seat pOS~t1VO,resulta, que la , :.;~~~~~i6n de ~n~,involu~in siempre puede po:' :ners~ 'e~' la forma:: simple 'xx' 1 O, si la .. ..'" . :; ~ ...: ~ :. , . , ~. ':.

pcin'~q~v'~/y 9":~~,~t~~'. 1.'

'f~t:

!'l

:,1,

j':"

J ~

~t

!o,.

tt \.:" ,.....'_' ,' ,..-,._ _

+ =

',:24 ;.~'

.. :.'

!
:.

,~

j-:1.

;-l,
,1

codo 10 dicho en los apartados precedentes vale par~ haces. En particular; si dos haces proyec .." tan] los puntos de una misma recta, como los de, cent'ro A y,B de li figura 1't, resultan proyecHvos. En 'este caso se,dice,' adems, que son ,perlpcctivos, yIa recta cuyos puntos, se proyedan se eje de perspectividad. Del mismo modo que para las puntuales. la con" icin necesaria ,y suficiente para que dos ha-

llama

res! proyectivos, sean perspectivos, es que la recia que une S1lS vrtices sea'unida.

" .3.9. Homografus o colineaciones. DEFI:NICIN 12. Se llama homografla o colineacin entre dos planos, distintos ,o superpuestos,' a toda 'correspondencia -biunvoca entre . .sus :puntos, tal que a puntos' alineados correspondan puntos alineados., :', ' , ,'pados cuatro puntos alineados' A., B, e y ;'D, [qc formen una cuaterna' armnica, obi 5er~:lndo la construccin del tuadrivrtice 1 completo (fig. 7) resulta que lbS, puntos ho- ~ mlogos A', B', e' y' D' ocuparn posicin

'!

"
, I

;1
!
!

b
"i
, I

P,GURA 11 '

ma

ana1} oga respecto del ecua' d"." rrvrtrce eomp eto Iet transformado (por corresponderse los puntos alineados) y por lo tanto forma~n tambin ltn~cuaterna armnica. De aqu-y del teorefundamental de, Staudt resulta: TEOREMA 9. Las razones dobles de cuatro
,1 '.o" , I

'J

"

. 'j

'
,
"

.....

.' ~,La :p.t;pyectividad.':as obtenida es nica,' , puesto q ue. si :hu biese. otra, por el teorema 10 ' , ella subordinara .entre los haces de vrtices 11 , yA" ~~~ proyectividad, que no puede' ser otra qu'r l~,'considerada,' por.rener con ella tres pares: de.rrectas .. omlogas comunes. Lo mismo h entre los 'lac,e~de 'Vrtices B y B'. ' ':',.; ,::(Finahncnte~ si P estuviera' sobre la recta AB, ',,' ;,'"t9~~r~~mcis e como 'v6rtices de los ha" :' ces, Queda 'as demostrado el teorema 11.

unidos, ' sin;, estar ninguna terna de ellos ~n lnea recta). El vrtice de este haz es el centro de la. homologa. Queda' probado, de, paso, el siguiente " : '

y:IJ
:

.:

:'1 : ' ~:.; !v-

~ :

:.,'.

','': ' 'pln~~.'proyectivos

, ma
, ': ' ," ,

, :,_,).lO'~, Ho'~~g~~f~8: articulares: ,'homo. p : ,Iogt/: !', Cnsidere~Qs ahora el caso de dos

n,: ',1" , se:, deduce: ' anterior ' " I

superpuestos. '

Del recre'

En una bomologia, las rectas que unen pares de puntos homlogos pasan por el centro. " ~ Tambi~ esimportante el , TEOREMA 15. U11abomologla queda determinada por, el centro, el eje y ~n, par de puntos bomologos, En efecto, sean O, e y (A,A') los datos,
TEOREMA: 14,.

12.,:qna,;' bomograji entre, dos , ',pl~1JoSsuperpue.stos,,:que no sea la identidad,

" TEoK.u,
110

(fig, 13). Basta ver que con estos datos sepuede construir, el homlogo B' de cualquier, otro 'punto dado; B. Para ello observemos ,que:

-tres

p~ede tener cuatro puntos unidos tales que de -ellos no .estn ,e1Zlinea recta.

Cabe, poz otra parre, el caso de ms de tres puntos unidos ,que estn alineados. En' este 'caso" la proyectividad subordinada sobre la recta que_.los contiene.' por tener, tres puntos unidos.ser la identidad, es decir, la homogra.fa ,tendr: toda].una 'recta de pu1,ltos. unidos. " '" DEF~NIc~N"l~.;Una hmografa con una :,:rect,arde puntosunidos -se llama bomologla. La '.~~ct,a~.~T, d7,Ja: bomologia. .

~~~~r~~e
A~

.,

, J~" rEO~EMA::n,;" T9dajJomologa ',tiene ,tam, ':-pUn haz ~:de! ecias unidas. El' vrtice del r , ;.mism(i~es un purzto ;un~do que se llama' centro .; ., 'de la Aomologr'f;' y q1i:epuede o no' pertenecer . ::al ,eje! . , ,- Jr'y JI; ;:. " ; "', ' ' :;:, :'~1iP~~os~c~~~~' Se~~ A' dos puntos ho: ,;.mlogos' distintos, sea 'N el punto en que la AA~ corra. al, eje,..e. Por ser, ,N 'E!S N' la , recta -a = N A' .coincide con su homloga ti' = , :N'A.', o sea~;cs',u:na'~ecta unida. Lo mismo

u~

==

M'

. ,'re~c:a:

FIGURA

13

ti) B' debe estar sobre la recta OB (teor, 14); b) la recta AM tiene por homloga a A'M',
que podemos trazar; por 10 tanto B', que debe estar sobre la recta A'M', ser la interseccin , de 'esta recta con OB. En la figura 13, si consideramos las .rectas' OA y OB como secciones del .haz (M : O,N,A,A') 1, segn el teorema 1 resulta
1 Con esta "Jo~aci6n ~dicamos el haz de rect~s de vrtice M al cua'l-pertenecen las cuatro rectas MO. MN. MA y MA'. ' ,

'\~ale pa~a cualquier. erro-par de puntos hom, ,logos :,:B,B'~ Luego, hay infinitas rectas unidas. , .Como la interseccin' de rectas 'unidas es un ,;'p~~to:u~lo;'pa~a;qu~ no haya cuatro de ellos .. tales que nunca' [eres: estn en lnea recta, to.. da~' esas rectas .deben formar un haz (en caso :.contrario, .tomando dos puntos unidos no per,"tenecien:tes al je, ,y dos' puntos de este eje no alineados con .ellos, se tendran cuatro puntos
26

, ,

j '.;

!',

:,,',.:....' ::

, :'.,:

I '.

:.'

, (ON AA') (OEBB'),y por' 10 tanto esta razn doble es la misma para cualquier par de puntos homlogos. Es decir:

'! ~.'.
'\'"

,,

:":: '~.

~:t;~'. ,: :.
'

dela bomologla. Si li~razn vale .: -1~ :la::'ho:;,j, mologa se llama' armOn'ica. \;,,'; ,/, !", ,':r~, i}',',:'ir:'

En una bomologla, la razn doble de la cuaterna formada por dos puntos - bdmlogos, por el centro y por ;el punto, en qne la recia que losune corta al, eje, es consTEOREMA

16.

tanteo La' constante

~

te, k, la: cOTresponden~i(i,iq1ee':!('da ;'fi'tito:A(I, ':, del 'plano)e, l:tce.!:co_rrspond.e'k~I,.tJ1l1t~oo :'::', A':,k alineado -con- o,::y'A~':Iy'#al qe[t;(ON.A.(A.~),'-..::..~t>";~.: . ,= k (siendo N el pun~/'de:inierseC'ci6n.'de:.O:~;;":,~! con e), :es 1m,1 homologaj deie,n~r(jL(j, I'i.::~:,;'~:: "j "::':

teorem~l'redproco:.:IDa~os,:' un .punto O, '1.marectii :ei' Y. .itn.:,valoro.Jnslan,-:: , .

. Es evidente el

,.

.'

lo',

1,

'

as obtenida

se llama razn

~ razn k. . .;.'
,

r:JI liI1Ii; 'i!;;.j;.l::!j.:

'1"':) -: I
~';:,l'-

",: ":,!:~H,./;.n-;;:!. i~~? :lf,':-:,; .! ,:,,::>i I ir "1 i,~ ! . 't ,1."~" r GEQMETRA'~PROYEC~IVA(~;';'~; : T j" I 'J : :
'. \

"CAPiTU:tO IV. i.::., ":1' ,:

i.
l..

1, ,V."'.' ':.I~ ..,\ ' '. '... l..' ,:.

, 1" ,

P"' I/~':'': i~J '~"': ,,;, . ~ '~J ,.,:".:,:

,,1 ~. .":
" .....

~ ').

..

.' : '1

' ..'fi,I",,_lI: .. ': ; ' ; ",

r!1'1/

, , ' ', .. ' ;,:'jh:.,,! : -':1 t/'I', ,:' ~ I I:~'~l::,:':;/.<J, L :4.1. Las cnicas. Las cnic:ls son la elipPara .nuestro ' objeto',:: rtcesitamos ':una ;:de'fi~!,l se, la hiprbola y la parbola de' la geometra nicin ms.complicadai(bsadaj,ei; ls,:COic~p~ir::< :;: elemental. La circunferencia eS'.'tambin una tos de geometra proyeetivaf:;que; :vimos/.eri:t~lb ~/,!.; cap tuja precedente~:Es;lai,sigiiierite':.:fnici6h)i-':;,; 'f: 'cnica: es una elipse particular. Se pueden 'S . ,, '~,ho ,,;., -t, ..... :! .,:.,.''.~', .~~lot:'I_"~,.. '-l.,) I'~~,,,>,, ''''. "",,:_f~'P" 1'1"\" - e d e temer .definir de varias maneras. Una. de las ms in,\y:I:::!" l.'~.L~{,'; 1" ~II::~"! ~,~ ;f:~ '.~~::'t~".;I'.:;: : .. ~.:;. tu'jtivas 'y tambin de las m:ls,'::t'ntigu:.ts, pues D~FINJCIN : 1. Se ~'llairi:i~'l6nica~~attlugt;;~,:::-: se! remonta a Apolono (siglo III a. C.), congeomtrico .de ' los ,;ptltos:' arite.ri~ccio:nra~':;::);:Ji ' siite en consideradas como secciones planas rectas homlogas de :dos'~hac:~!;proyectivos(de~.-; f.: dd un cono de revolucin completo. Segn 1::1 un mismo planb, 'que~no!sei,;perspetivs:lo~;;,;',; L posicin del plano con el cual: se corta, se si la c6nica as 'defigfd~;hg~ti'J~~ 'ptliits:ilW~.l)! ",:' : ' obti nene una U otra de Ias tres' 1,. e especres d e co- , propios, 'se Ilama'elipe;'si:,~ierie:dos,}iipr/iol#;!;; :':,!' 1 p= ;b' 1 :'i',;:~\t,):, :," ',\7 ~" ,.J.!. ~!.:!.~"',f~t \,:.. nj~as. As, si el plano que es paralelo al dado Y SI nene uno so o,' ara o a..\,';,;, I , -:'~: .11, (:': ::;f;/~> ',:; , y pasa por el vrtice O es exterior al cono, la ' Si A y B son, IJs:::;:.'Vrdc~, '.de"~'1ds::~'llaces}" j,; .';. seccin es una elipse; si es secante, una hipr(fig. 14), conviene' ObSerVar ,qtie'~:ila:recta,}1B? ... bola; y ~ies tangente,' una parbola. considerada': cmo' irech{: del-haz: A":liNd:fr&s:::::,!,".. i:; Analticamente las cnicas estn represenponder: una dert 1rect'a:.:BB"~,;'ylpor}iO, tanto;;" . t:idas por' ecu,lciones de segundo' grado en las de acuerdo con,Jadefiiiicin,,'el pun'to"BperL dos coordenadas cartesianas, x e ;y, del plano. tenece ,-a;la 'cnica: :Adenisj{:l; rect:i}BB~trt(,:"':' ' E~ decir, son' las, curvas ms simples despus tiene otro pun to que:'~'perteheic~ :'. a::;:I;~lconiC:i::~~: _<' o ,c de: las rectas, representadas por' ~cuaciones de es lata~gente' en,B. A~lga'~'rite';,:el~'puhto~'iA~.'~c . '>"l' ,.1'", ',,': , ", Hji', "I,.~,~I.,,t.r;Pili .l., "";' primer grado. Tal vez por es~o las cnicas 'f,"! '.: :I.~!ril,:" :1"f",i;(ViI'!'J,,!\UJI~\ 'll'l!"{~~~~ ...IJ' j 1,' Si os' h:l~es, sori,'p~1SP~~~!fo!;~I:e!I::~,ugg~~eo,~;i:[~c~:'~:J .; 1, so'n' curvas que 'aparecen con frecuencia en , se compone M'dos, ~ec~ris,~.iel:, ~J~.~~.e: ~erspect~~J~a~l ~),~~.) : :, ,I ;;:: la: naturaleza: las trayectorias de los planetas y la recta que 'une los 'vrtIces ;de)os .'dosfnaces"~po~,,.: :' o ;de los satlites, y las, de los proyectiles en ,e] trat:lrse de una:l'ecu'unida':En ~stc\cuose'rdice,:ita~ve'.l;:.:''o ,V:lco, son cnicas. ces, que se trata de un2.''niC'a_tgentrirJa:'! ..;~'. "W!'!;~:! :, }l) o!,:', ,! ',:,:':,.,/;,:'," :. o: ..

. . . ... ;'iT:!m,"Ji U1 iJt~;:(: :i

!.

, ;,'.;rr.: LAS,
';-:!':.;

I "1' 'o , I":L\:;~l '. .~.\ 'j, ", p'.- , J~~~'l.~~ \j. , ; ~!,'s::i:'r".l'.

C(;NICAS~<.':,:,: ~

~~~~.:;~;.1 ~)

!~

~~i; '~

":

:'.}'"

"

'o'

;"h.'!

> ,

,4
o :"1

"

.'.'

l.

"
1, I .. ;.

:27,:
,'. 1,

';.

"'t_

.',

.',
,.'
.'

;.,
1 " .;

..:

....

.,,~::,,':,

, .. '

,:,:--;'",

....

........
"

, ,

"

pert~nec~ ',tambin a la cnica' y la tangente, en l es la recta homloga de la BA considerada como, 'recta. del haz: .:Si r es una recta que no pasa por A nipor B, " I~s :p,unt~stdc::cl,la que.pertenecen a, la cnica ; .sern 'los puntos: unidos de la proyectividad " " 'obtenida sobre, dicha, recta como seccin de los

B>
.

'

o', ~

'.

':4 :
,',

"

:,',

"

t,

'1

'1"",
"

i .

. ,,,
r

.,

,...

mente. estas puntuales son perspectivas, siendo M -su punto unido y' R el centro,. de ,perspectiv:idad (interseccin de las rectas ''PQ 'y AH, que unen pares de puntos homlogos); por 10 tanto sus proyecciones desde E y' H resultan proyectivas, como 'se queda: d":' mostrar.
4.2. Teoremas de .Pasced y de Brian. chon, La anterior demostracin tiene la

Pero

:t
:
'

',1 .:

,'

l .. ,

.;
0,, ':

"

..
:.:

:
, ,

"

:'

ventaja de que, al mismo tiempo, si se obs~rv~ en la figura 15 el hexgono AJ:rfBENH incripto en la cnica 1, resulta demostrado el siguiente
TEOREMA' .DE PASCAL.

Los tres puntos

en

que se encuentran los pares de lados opuestos. de 1m bexgono inscripto en-una cnica, est" en, linea recta.

D
FIGURA
'1

14,

haces proyectvos generadores de la cnica. 'Por lo tanto: una recta: p1fee tener, con. una :_Cnica,. Qs",uno,~()'n_1J.gnpunto comn, lla-. 'n.ztitzose respectiya11J.e~~te secante~"l!1ngente, o exterior ti la c#lca. ;. ..',', , " ;:iPa:ra,q~e)a;4~finicin de Steiner tenga va-: .lor,' hay: que: demostrar que los vrtices A y IJ dec'; los 'haces proyeccivos generadores, .no son puntos excepcionales, !'sino que proyectando los purtos , de. .~~a cnica desde. dos, cuales-: quiera :dC?. p~nto,s. se.obtienen siempre haces su~ '., ..;',,;.,, I .... i '. ,:_,. .. proycctivos. ,;: "::' . .
I l. ...;.
I

FIGURA

15

.:

':

.',

_.

.otros dos puntos-fijos. de 1.a nica, .desde 105' cuales vamos c l'r proyectarla (fig ..: 15): Si 'M'y N son otros dos-puntos, al 'cortar: los haces proyectivos de .vrtice~' A yi B: respectivamente porIas ..rectas "NE;,y :1;lH.,i:re~uJtall.~puntuales :perspectivas , (puesto-que .sonproyectivas y el punto N es . homlogo de: s mismo):. cuyo centro de persp~cti~idad es,~lp~nt~""l~,':dela figura. Si chora :sup~nem,os que' Ni describe ,la cnica, los haces' de vrtices .fJ. ,y H proyectan las puntuales que P y Q describensobre MA y MB, respectiva1.. "

'.:~,:J~e1lJ.o,stracj#,~ ,E .Sean

yH

oo'

el siguiente teorema .dual: . TEOl\EMA DE BRIANCHON. Las tres rectas que unen los paTes de vrtices opuestos de 'un hexgono circunscripto a 1/.114 cnica, C01U:UTren en 1/.11- Ptt1ltO (fig, ,16)'. :
Vale tambin Estos teoremas. siguen siendo vlidos en los
1 Obsrvese que el hex:gono' no tiene,que: ser nccc:-' sariamente convexo como "en la geometra elemental; puede ser estrellado, como el AMBENli'dc,1a fig. IS. La definicin' general es la siguiente: un I hexgono es un conjunto de seis puntos dados en un cierro orden; las rectas que unen puntos consecutivos. en el orden dado, son los lados del hexgono. '

28;:
l'

. .:

l. '. ,:

:.

;. : ~ .;

casos lmite en que los hexgonos se reducen a pentgonos, cuadrilteros o tringulos, por coincidir algunos de los vrtices, en el caso de Pascal, o algunas de 'las tangentes, en el de Brianchon .,.. . '4.3. D~lerminncin de enleas. ''TEORE1. Una cnica queda dermiitada por cinca' pmztos de -los. cuales no bey nunca tres sobre -una misma recta. En efecto, sean A, B, C, D 'E los puntos 'dados (fig. 14). Tornando dos. .de ellos, por ejemplo A Y' B, como vrtices, los pares, ~e 'rectas (AC,BC), (AD,BD) y,:(AE~BE) dfinen una proyectividad entre los haces de vrtices A Y B~ Si C, D Y E no estn en ln~a recta, esta proyectividad no es una perspectividad y, por 10 'tanto, define url:l cnica 'que pasa por los Cinco puntos dados '. ~ , COROLARIO 1. Una cnica queil determinad por cuatro puntos, tres ~e Jos cuales 1tO estn nunca en lnea recta, y la!.tangente el] 11110 de ellos. .
MA

y b ,( Hg. 17), la criica" queda 'derermlnsda . . i por los haces' proye~tivds i dP.vttices ,'A :en los cuales' (AC;BC)}r{ii;BAj~';i (AB;b) : . 'l'" " :I~<; pares d e rectas h omo ogas, "j";">0 .. r: . , , ..II~.,,,' ... ',i
.a

4.4. Polartdad- .. ]8S conicns~ rSeil" Q . una cnica, y p' uii~ptnto :~~rpland::que+-.ho ' pertenece a ella. Sean A' Y-l B los. puntos, .de interseccin de la cnia.corl:'una secante' que pase por P, y consider'mos el punto 'p"/con- ..'
..' ':.' : ,.,

'

..

,U},~~;:;, ','

eut

J~~~~:E'~' ::. ;~~H+r~;~,

,; '1,:.
l .:

~,;.r:.

" ,i~'n

e
FJGURA,. 17 " -., : ,

..

---~
.. I '1

, ...' '..J.._q_---o;----I __

./ ,

, "

......

, ...

jugado armnico 'P' respect~ del' par (fig. 18) ..,AI variar la Isecante que pasa por.P, se demuestra 'lile P' describelunarect, lo cual' permiteformularIa siguiente '(i ; . > :: ',i;;, , DEFINICIN ,2. Se'" JIarlta polar' de' ~h :pu~-) to P,'respecto de u,pa'cnica;Q,:;a'!arecta que contiene Jos puntos conjugados armnicos'de'P" , respecto. de los pares de .puntos en que Secantes ' 'por P cortan a la cnica,' ti;' :":~;'(i,:;,,; ." f;, ,:.{i," El p~n~o.1>'s'e'Ilama:p~lo ,recita pol~r~.
o
"~, ;~:

d~.

A,B

d~'isu

FIGURA "16

.
COR.OLARIO

2.

Una cnica queda deiermitan-

.'

nada por tres pun;tos, -no alineados, yle: .gentes en dos, de, ellos.

" Si la polar de' p! ~rtiar"Q!:eD ,u~,.purito ::; M, 'i recta PM nopuede' tener 'otr',p~nto':cb<:' . 1~ mn con' Q; por ]o!taiitoj:es\t'~hgerita~Q~~Es,:~'' .. "
decir: la polar 'de unipimto eHa:,recta;:ie:ne~'!. :,', los puntos de. contacto'.de Ias:!ta:ngenteshi~ila";': ." cnica trazadas' por-rel: puriii'" Suptiesto~'qiie . : existan. . ", :,:. ~:IJ:;~~: !:'!; f '7;:' ,{~ H,: ) .: .: ;:. ~ Si la polar es tangente a :1(c6riica';''el 'polo: .debe estar sobre ella' 'y, -adems, .de Lacuerdo , con la definicin, no puede ser otro punt que'
'!

En ambos C:lSOS basta' considerar las tangentes 'como' posiciones lmite d~ rectas. que urien dos puntos que han coincidido. Por ejemplo, ~~ el caso segundo, si los puntos son A, B y 'C Y las tangentes en los dos primeros son , .
,
,1

141

,,:,:

'

29,

.~.
,
~"',

,,'

..

.'

jo

0,'.
"0

:",
':,

1,

j
" i

d~:conracto, Estoconduce, in versamente, 'definir corno 'polar~s .de los puntos. de una' cnica:' a 'las', ,tangentt~s respectivas en dichos puntos. ',', . ;To,da,c~nica;,divide'al plano en dos regiones: 'la; de los puntos desde ,los cuales se pueden tra~ar 't~n~enF~~ a .la cnica y la de aqullos
! , '

~i

de polar, :se deduce que para un punto P y su polar P tiene lugar la configuracin de la figura 19. De ella se 3.e'd uce que, trazando por P dos . secantes PAB y PAlB ...cualesquiera, se verifica: a) Los pares de rectas (ABl,BAt) y ,(AA1,BBi). se cortan sobr-e p, 10 cual da un mtodo par~ la construccin de la polar, tanto . para los puntos. interiores como para los exteriores; b) Las tangentes en A y B, o en Al

FIGURA .~ .. f

18

.d' ,,:., :.';.: .:.; :'-, desd~ 'los cuales.esco no, es posible; los prime'.' ros' se :Uaman':ex'teriores y los' segundos inte,.:rj~e$.;En .tr~n?~:'deh~olo y polar esta divi. .sin conduce.a la' siguiente ' , '~"'~,D~I:INICI6~"3::Lo; puntos del 'plano no pertenecientes] a. Ia cnica se clasifican en ex~ : teriores e interior;segn que .su polar sea secante o exterior: a la cnica. ", "', ,:'.: ,:';'D la, defin'idn .de polar se deduce inrne.diatarnente quelaspolares de os puntos de una .recta, pasan .por -el poloideTa misma (por _ejemplo, ~a .polar"de p' (fi~. 18) debe pasar .P~F P,~conjugado,arI?,nico de pI. respecto del par A;B). En consecuencia, para hallar el.polo , ..qt;, una recta bastar .trazar las polares de dos ~e:~s 'puntos/ y, el- punto de interseccin ser el.'polo. buscado. ' ;:; .. ' .' . . . ,-'. '.Teniendo ~ cuenta las propiedades del cua drivrtice completo (ver 3.4) y la definicin
i.:.

FJGURA

19

en'

y Be, se cor~an tambin sobre' p; e) La polar deR es r-tPS y la de.S es s===PR; el trin': gulo PRS, que tiene cada lado como polar del vrtice "opuesto, se llama autopolar respecto de la cnica Q; una cnica tiene infinitos tringulos auropolares, '

"

30
.1
,>1 "

.,

.~.'.
w -,

;'f:;

ti. ;..

l .,.....4. Dos 6N
v , :

".:

,:.4'.5. Elementos . conjugados. :

DEFINI-'"

> .

puntos P .y P' tales que cada uno pertenece a .1a polar del otro, 'se llaman con.::. ,'. jg~dos. .' ,. . ',Dtialmente: dos rectas p y p' tales que cada .,. .una' pasa por el polo de la otra, se llaman con. Id 11/.gaas.. .'
f

Q'

~l;

p.

P'
FIGURA J. 1

20

''
1

'.'

~ea'p una recta dada y P su por? (fig. 19):' Dado un punto R de p, su conjugado-sobre p ser el punto en que esta recta corta a la polar i, de R. Manteniendo fijos dos puntos A y B,' de Q alineados con P, ~l rariar R sobre! p el punto Al describir .la: cnica; los haces que proyectan este punto 4,esde :A y B sedn proyectivos, y como' S y 't!.. describen respectivamente las .secciones de~i:estos haces corl .p, resulta que.' R' y S describen tambin puntuales proyectivas. Adems S y.R se corres-' pondn doblemente, pues si S es conjugado de R tambin R,lo es de S; Por 10 tanto: .. . TEOREMA' 2. La correspondenci entre ptmtos conjugados, de tena recta. dada yno tan gen te' iz la' cnica)' es 1ma im/olucidn: ~e .llama involucin de puntos conjugados. i . ' . . 'l . . . '. .Los puntos unidos de esta involucin, conjugados 'de s mismos,' son '105. puntos en 'que .la recta' dada corta 'a' la cnica. Si la recta es exterior, la involucin de puntos conjugados es ptica. . '. .!. .: Dualmen te, se verifica: TEOREMA 2'. La correspondencia entre reclaJicon;1egndas de un haz dad o (/le vrtice no

./t

i:

,::

eH
"

,"

,
i

i
'-0 o

I
r

.'

;"

.,

'

........ '.

'

.. :' c6nica

que 'transforman una en .otra .: .Supongamos definida una" homografa o colineacin entre dos planos J( .y .n',que::pueden ser distintos o coincidentes. . . S.e~p..A .1J dos .haccs proyectivos de J(. Coy mo las homografas subordinan proyectividades -entre.formas homlogas, los haces transformados: A'. y,. E', sern respectivamente pro'. ycctivos 'con .los jf y:.B; en consecuencia, se'. rn proyectivos :.e~tr~ s. Por otra parte, los ; h~ce~_4.y' lJ. engendran unacnica Q y, por la .honi'~graf.a. dada, alos puntos' de Q les cotxes: e, ~", I. ,
L
I I :'.

..:::.4,.7. ~~ografi~~

'puntos homlogos A, D, e y' P y A', C' y P'. Esta homografa, por el teorema 3. transforma Q .cn otra cnica, 1;1cual debe pasar por A', B' Y e', y tener por tangentes en A': y B' las rectas- P'A' y P'E', respectivamente. En consecuencia, por el corolario 2 del teorema 1, esta cnica no puede ser otra que Q'. Es decir . TEOREM .1-. Dadas dos cnice: Q'y Q',

il"~

existen itzfillitas bomograjlas que. transforman Q m: Q'. Cada una de estas hOlliografas queda determinada dando tres puntos de, y Q sus /~fs homlo g?S de Q'. : .

D
'"
',1

1
I
-!
l"

, .

1: .. '!!..,.;. { . ';'. ~.: ~;.: ".1 !: . :.;

:

"

i
j , .':
'!

'
~,

!'.:

:e '

. ,, .. . .
:

,
;
l'

..
:.
I
I

D'

e'
FIGUIlA, 22

j.'

! .

'.~. .

':

:'

~ :.~

.1'

.:

~.'

!~po~de~n .pup.tos .~~ que se cortan.Ias reclos . :f. ';.).;:.tas;homloga~.;de.1os:haces proyectivos A' y B', :: ::t:cst , lo's:p~tosJ.de'otracnica Q'. Se tiene dCir, : .... . 1'por 10 .? ;.... :, . .sigulente tanto:,d
"1 ." '. l. ", e ,'.; r '.' ';.
1, '. ,- ' ,
I

':"':(~"CQnlcas' . I contcss;' : '., en: .f' .. '. :

-", ,;. ;;/:-'1' .,' .1. ., '.'
o

'!' .: 4ii'TEoREA:'1: . , Las:;ho,""ografas transforman :".# ~. . .' . . ~ ~.. . .

'.

. <':..

,.:' /~.i~:Re~:pro'ca~ente'::;dadasdos cnicas cuales~ :::~q\l~e~.{QY:Q~nIosplanos t.y t', existirn' e !., ; ~;homograf,as:.~l~'.t ":(~ que transformen. Q ",: ::''en..Q'?::Vamos.a 'demostrar' que s,' y aun que ~:,:;;'hy infinitas :de .'ellas"': . '. : .. . . ~m.e~9,~ .p!-:1ntos. c~~~esquiera

Obsrvese' tambin que si. P.. Y '"P sp~ un punto y su 'polar respecto de Q, los elementos transformados, P' y r. por una' homografa que transforme Q en Q', sern tambin polo y polar. respecto de Q'; basta recordar la; de- . . finicin de.'polar y la propiedad de las hornografas de conservar las cuaternas' armnicas, Por lo tanto: . : TEoREM 5. Et/. 'toda ho~/z.ografa qi~ tr~1tS-. forme la cni'ca Q en ,aQ', aelementos conju-'
.1

.~.':}~f~ ::;~~r~ '~'. 9:~~~~

gados respecto de Q les corresponden elel1~e.ntos c01sju_gadosrespecto de Q'. .,

Para msadelanre el siguiente t ".
TEOREMA.S

: ':, q~.era,:.4:,..!3 .:yG.'.:.,se.~ ~,~l punto de en~uen. .' .tro' de.las tangentes~a\Q en: A' y 'B, 'y P' el de ; ;:i,~~cu~.ntrode:ll~s .. tanientes:a Q' .en A" y B' j '. . .. '('[l'g' -20)1 ;:"1 '1 ~;;'IJ~'':''':'' 1 . '" !~ : :: .;~t'~Segnelteorema .1l:deI'captulo Ilf existe . :"l'\i~~ ho~ogr#~ ~ntrejn' y 're' que tiene como " : " . '. .
e,

;,:.;. :::i.!?By,'c r;,s~b.~f )iO.~~~S ~s,ambin Q v t

cuales-

'va a ser de importancia

:
" . I

.1

.'

i -, _' o,

:.:,

I/~"

-; \.!

'

Sean dos cnicas Q y Q', 1. en . interior 'dos puntos P y P' JI -dos semirrectas a y a' qU( pasan por ellos. En estas co~didones existen'slo dos homografas q11e tr/ms[orman Q cjz 'Q', P e1Z P' Y.II en a' (fig, 2.1).
S1&

~:: .<

.'

"

,;

. _".

En efecto, sea M el punto eri que a corta a Q, y N el punto en que lo hace su prolongacin; sea A el polo .de a. Indiquemos con las inismas letras, ..con tildes, los puntos correspondientes en el' plano de Q'. Llamemos E y 'p. a los puntos 'en que AP corta a Q, y H Y L a aquellos 'en que A'P' corta a Q'. La homografa que transforma A,M,N,E en

tre l~s puntos' de Q y los .d~ (ji se ia llama

pro'ycctividad.entre dos cpnic~$.~j. ) ..' ' Segn el teorema 4, una proyectvidad entre

:! .

'dos cnicas queda definida por "tres .pars;de . puntos homlogos . ~ ;. .: .1:.',.-:1 :',!',.'~. ..... Es interesante' el cas' 'de' cnicas. superpues-, :.. tas Q E:!! Q' (fig:.:.22y;~Entonh~s~)hs:.pares~dl : rectas (AB',A' B).; ~(AC' ,A'e) tir (BC' ;E'e Y,::,.'": ~'. .:~ . '::,1';.:1 ..":;~~'::, : .';
", ; , . I ,....

j ..

'\~:i. j( >.. ';:; -,

'"Jj

f.

'j'

-. ';

"i
(:.

J '::Vr : :':rtf!'t~::. ~
l
,'o

l.:

. ' .:
".

': :.,:.r:!i :~():'

i..
o

; ..

;+ ;.! ':~H':'; ,
l'

,"

~'I

1,1.:;.

j ..

--~~::~~~~;;::~::~~~~====::::::::::::==~~ ';.
"
,,'1

'

..

"

l.:

,;

. , .
. FICURA 2,)
.;
,'

.,
'

.1,' ..
t j' ,!

j
: 1, , '.

1:

!.

,A',M',N';H y. la que transforl~la A..,M,N,E en ':A',M',N',L cumplen las condiciones del enunciado y son las nicas posibles, puesto que cualquier otra que tambin 'cumpliera . dichas condiciones tendra como homlogos a los' puntos empleados para determinar una de las'idos hmografias, y cuatro pares de' puntos homlogos definen' una y slo una homografa.
:.

. 4.8.
.: NlelN

den en planos,

(AD',A'D), .... , que :unen' pares de.punt, ,homlogos .de manera: cruzada, .Y I que .se:Jla.:' rnan paru de. ~ectas aid"das,.se cortan .sobre " una misma recta e .Ilamada' eje de colineadn~' -. En: efecto, los .haces.:(Ai Bi::,D,.; ...f ''':: (A':' B',C',D,'; ..:.;,) .'son 'proycvos,' por.,ser. .. ' homlogos 'en la:.hmografa".d.ada;.por ~tra,;, . parte, . (A: B,C,D, ~.... ': y." ('A': B,C,D, .... r;' "" ) 'al igual" que : los . haces ::(A': :B',Ci,p', ~'.' . . t . Proycctividad entre cni~a8 DEFI. y (A: B',C',D', .... )-;'son:.tambih.proyec:tivos, , .. 5. Si dos cnicas Q y Q' s~ .correspon- . por proyectar puntos de' h {cnica' -dcsde :.... una homografia definida entre sus I dos puntos A y. A' de.lamisma en:conseCilen-' (A y.'B'C'D' :.t ,)'.' ; 7-e.. a la correspondencia subordinada en- . cia (A' : BCD) ,... , , . :'", '.
1

.r'.'.

'.,33

': .~
O"

'

.'

~ ..

0,"'::'"

.....

"I

';:':;~~i.t;~ ~~ .;p.~9Ye~tivosentre

s.' Adems son . .perspectivos por ser A' A y AA' rectas hom-. :oga~;.. l ~eje.:deperspectividad es el eje de cole ,' neacin, e. Que .sobre este eje se 'corta tambin -el p~r (!3C',B'C), y anlogamente cualquier -otro par de rectas asociadas, resulta del teorema de Pascal-aplicado al, hexgono AC'BA'CB'. , , Los plintos de interseccin -del eje e con la cnica son los puntos unidos de la proyectividad .Porlo tanto, si e es secante ser hperb- , lica, si es t~ngente ser parablica, y si es ex- . , rerior sera elptica.' , ' . St,la proyecrvdad sobre Q es una' involu-. , , cin, para cada. dos pares, (A,A') .. ,(~,B') 'de pu~~os, homlogos, no solamente AB' y

A'B son 'rectas asociadas, sino que tambin lo son AB y,,A'B', las cuales, por lo .tanto, se cortarn tambin sobre e (fig. 2~). En consecuencia, como se deduce de la figura, las rectas AA' y DB' se cortan en el polo E de e y lo mismo ocurrir, en. consecuencia, para ~todas las rectas AA', BB', CC', DD~,.. Es decir: TEOREMA 7. Si 'U11a proyectividad sobre 'Una

'C1caes U11-anvoluc_i1' (es decir, los puutos i homlogos 'se corresponden doblemente}, las rectas que 1men pares de PU1.tos homlogos paSa11-por un pmt.to fijo qll.e es el polo del eje de colineacin. Este p~nto se llama centro o polo de la involucin. ' '

CAPiTULO

GEOME'rRtA

NO ,EUCLIDIANA

llIPERBLICA: GRAFICAS

'l. PROPIEDADES

El ~od.elo ;royecliv~' del plano no .euclidiano.' o. Con-Ias 'nociones anteriores de ". .: o o.'.' _geometra proyecuva, vamos a constrair un" ,m~.delode geometrfa plana en.Ia cual no vale el postulada de 'Euclides) valiendo, en cam,,.bio .Ios cuatro: primeros .. EI modelo "va a co. rresponder a: ,la' .geometra hiperblica o de Lobachevsky-Bolya,i,' que ya. ~iin~s que. era la , :m~',,jnt~rsa~te;' 'pues;' en" ella' Ias rectas son ',abiertas ilimitadas. Deberemos definrr , f: ~.'.:' : ..' , ,'.': a). ;J~l: la~~ ,.~.o:~euclidiano,con lospuntos < p , . y' rectas "del mismo, '.! ,;:' .". "

, '.s.i.

.v.

.0'

o'

la C1t-Ca_ absoluta o, simplemente, el absoluto del "plano. Si en vez' de una elipse se tomara. Una hiprbola o una parbola, todo lo que sigue valdra igualmente, pero es ms intuitivo razona~ sobre ..,~na elipse, por tener esta curva todos sus' puntos, a distancia finita . .Incluso, para concretar ms las ideas, se podra tomar una' 'r,lipse especial, por ejemplo, una circunferencia. '" '. ,
"

1;

.,.'

"

'.

: ,~...

o"

,,:....

.':..::b)~L?l.jg':1aldad.o .congruencia. . de figuras . !. .;. f ~ . f. . ' ' " :.H';.:,: sto ;,\}t:iplo ;, e:-,adopta, en esencia, la S , ","bmisma..definici6n de.Euclides: dos figuras son . : ',.::ig'~~il~sua'~dojt xist~ 'un . movhru~nto que Uec j"_ ... ,' ~." " _ : \v.a una.de ellas a:_'~incidr con- la' otra,' Debe{'r~mo~,'p~r..1({!tantO'~.' efinir tambin qu, se -, d ':~",n:ticde .por. ~: "movimiento", .'.' . , :, ,~:',:S~a' una-elipsefija del plano. Se llamar Q
# '.'

~~fa',

El plano de la geometra no euclidiana' ser el' Interior del absoluto. Los puntos y la:i 'rectas son 'los mismos elementos de la geometra ordinaria; pera las rectas se, "toman reducidas a la parte de ellas que es .inrerior al absoluto.' ;
DEFINICIN 1.

Es indispensable obs~rvar que se considera nicamentf"el interior de Q, es decir, se excluyen los .:puntos exteriores y tambin los puntos de (2. Esto hace que el plano no euclidia.no sea ilidt,itado, puesto que no tiene imite ,

-::

'.,

!.

'J-4-,,:
.. !.

....

!.

"

':.

contorno perteneciente al mismo. La recta, ejemplo, no tiene puntos "terminales; puesto que los A y B de la cnica ya no per- , tenecen al plano no euclidiano ni, ,por lo tanla recta (fg. 24). '
J,

AB,: por

to, a
"

'

'5:2. Los movmentos del plan~ no euel'diaDo. Para cualquier geometra: es funda-, mental el concepto de igualdad o congruencia de figuras. La definicin misma de ngulo "recto o la de rectas perpendiculares se apoyan en la igualdad de dos ngulos adyacentes. , En .la .geornetrfa euclidiana, dos figuras' son 'iguales cuando pueden hacerse, coincidir. me, diante un movimiento, entendiendo por tal una'trans{ormacin del plano euclidiano en s misino, que conserva: todas las distancias entre sus puntos '(distancias entendidas en el senti-' do de la geometra, elemental). , ! , Para el modelo de geometra no euclidiana que: estarnos considerando, los movimientos van; a ser ms complicados., ';, '
DEFINICIN 2. Se llam~ movlmiento del plano no euclidi~no a toda homografa del, , plano en s mismo que deje Invariante la cnica absoluta. , j,
I I

:i
"

i.

Q
FIGuRA 24 riEFrNICl6N 3. Dos figuras se dirn iguales' o congruentes, cuando exista' un movimiento ,que; rransforme una: en 'la otra. . ': , En este captulo, al hablar de ~ovjmientos entenderemos siempre que se trata de mov-' mientos no euclidianos, de acuerdo: con la de- ' " finicin precedente; , ; . . Son .interesantes los movimientos 'cuyas homografas correspondientes .son- Nomologas. En este caso, puesto que en las homografas
'"

;
"

.:

:
"

" . lS

~ '. ~ .':. .

. ~.:. ~".:'
"

, ...... :.... .
"

5 ....'.( -, : . .'
' ,

' .. -, ... ;':; ..... ;:",! :

'"

"

;, ",,:.>~:
I ,,'
.v "

'",' , ' de Q o exteriores -a 'esta 'cnica no' pertenecen plano' Pd.' Los-llamaremos, "CO~10 . ~s;:: costumbre,' 'puntos "ideales" ..Igualmente,' .' . r,:..- las !.e~ta,sltangentes 'o: exteriores ,Q se llama-, : :' : rnrectas. "ideales", ' .' J . 1". .r r:. ".", .

~~c~~~p~;:

pectivamenre en los BI, A2, B2 Y Al. La .recta , no es el" eje de colineacin de esta proyectividad (puesto que Al y A2 no son unidos}, per.o las rectas asociadas AIA2 y BIBl (= tangente' en Bi] Y Alib y' B2B2 (= tangente' e;ll ,
a

\:;,~. : .::~5.3.: ~g:~~:~:':'~ec~o8. ~ceptan40 'Jit mis:::'~: : m~;, d,dintci~,n, de ,Euclides, se llama ngulo : ? ,'..,recro.a cada' uno. de dos adyacentes' iguales . . :;". ,..~as r~cta~ que los 'forman se llaman, perpen: :;,~ . diculares.. , ,:. .' , ,, , , "Dadas dos rectas' a ~ A1A2 y b ~:BIB2 que ' '.se cortan en P, queremos ver qu .condicin -deben cumplir, para que sean 'perpendiculares (~ig~ 27). Para ello debe existir un movimen-

FIGURA

27

'.'

',:'

du~ su el' ng~;o i3p Ai con ~,'i,', ~,;: '.:B_lP ~!l~ I~:,fual,:,slo es posible: ,S':.4 y b son " :'rectas 'unidas; obiensi y b se transforman 'en la 'otra.'.' ,> '.. , ' : ",:::,En 'el prim~~"caso,-::el movimiento debe te. (.: 'ner.':a~Bl' y P:.unids Y"'debe :transformar Al ,',: ' en~~A;: _:; ~~') ..'Si ~l P son unidos, como " .( A ;: ' :,.~_ta:~bin Io!'~~::resuIta unido 1J2: Por lo. taI_lQ '. t.la'recta'b es todade.puntos unidos; se 'trata . .deluna ho'mol~gta 'de eje b;"El centro de, esta ,:'",;hoil-i~loga esel polo de b: CoIrlo Al' y A2 ','.,' ":son :hqmlogos; -la recea. a, ,que los u.ne" debe FIGURA 28 " ' p.~sa por' 'B.: Es decir, ~ :y, b son rectas con ju- .' r' a . . ':gadas. ' .:, !:. {:. ':'~f.; .'. ' ":~'.; .' \ '" , Se tiene' as demostrado el siguiente "-:. :';.';En~el'segundo caso, el, movimiento debe '.;.l;aCe~que: A~.,:!3:i ;"Bl~A2 ',y, corno P es TEOREMA 1-. En;1 modelo que estamos:con-" ,'unido, tambin ,A!! ~ B2 Y B2 --,)o Al. Es decir, , . >.siderando, 'la condicin necesaria y suficiente _~"sobre Q se tiene ~n'a proyectividad en, l~,: cual , '. para.qu~ dos, rectas 'sean perpendicular: es que " )os'puntos Al, '81,' A!!, y"B2 se transforman ress~an cf!njugadas respecto del absoiuto 'Q. ' . . .: ' .~. .

.:'~~: '.t

.:," .i

FIGURA

26

~e:p'~~'g~',

'B2) deben' cortarse sobre dicho eje (ver 1.8). Por 10 tantq a:= AIA2 pasa p~r el pupto de' encuentro' de las tangentes en BI y, B2,..que es , el polo de b. Luego/tambin en este caso, a y b son rectas conjugadasrespecro de Q.. " " El recproco es inmediato, pues si a y b son: conjugadas, la simetra de eje b transforma el . ngulo ~ en el a, o-sea, los dos ngulos adyacentes son 'iguales; y, por lo tanto, rectos. .

d .,'

",,' "una

fi,

"

,:1

,,:.)~:;.

H"

.,

,'.

"

, ' ... 3.6

':J

"

'.

.
'. '.

';
:
"

. 't,
:,

> '!:,.~ :.':..:;_..!.;::::; r' ~ ,. '1

:!;:> ..

F,cuRA"

....

, :

J:".:;! 1: '~,;;

l postulado 1.se cumple evidentemente, puesto que dos" puntos cualesquiera, interiores a,~una cnica Q;pueden unirse. con un segmento totalmente contenido' en. el' interior . de Q. . , (. .... EI postulado Ir tambin se cumple. ebe-.. ; t . mostener. en .cuen a nuevamente que, no ".~ perdoI a cornea Q a 1 p 1 ,. tenecien o ano no euc lid'rano, las. ~etas son ilimitadas, es decir, . 'cualquiera que .sea el extremo de un segmento interior
l.

-un segmento AB (radio) y un punto O (cen-

~~t;;:~:;~r;:e .: :::::::.:,:::/::.r

ma .5. delcapitulo IV)ttambih.I contiene a.'b_ coincidi':;c~ri-I~'::'q\e c(in'tierie... >;:::::: .. a b' y deIos: dos rnoviiniehto$\ui1ae"lIlos".::,;;:-'.':~ ! .1lev; b sobre b' Por'~10':ta~t;':si~bdo .~p~rp:o(~r~:;'t~::.: .: nibles por un'moviiniento,:lds.(fs''ngulos tec:i~:t\;i:.;:,~ ! tos ,son iguales, : "':: :~' :t':!';~YJ :tH~!M.:I.:.~;i\I:':!l'nJt~~:::~:~~~;: ~.f .. ,' g! ;j, ::-.;., .-: ''', : '. lt. r.~~fI,~::;."rl;~~I:~.?~ '.' I; ..., r':'',:) t,:U~~}../;'; :. . . ..,", ," I'B':;' ' . 1':"':'..; l.;, "ji; : ;'" ... . \ '.:I''''. :. ._', ;.,". : '.' .i:,: ...;;.: ,).;",1 ....~, f. ~.~ .:' -: P .. ",\,(,l'r':"I; .\,.H :'1 ': ". ! '., !',
i

,i'tt ,i;;' 1/('.: L: reid.q

i'.. '!'

-r"'I'

!..

~~n,lt!,rr~~.;r.,

""'.I~> ;; .;.';::':.'}.~;;;fi'i;'.! ;':

r : :', 'H ';' .:, : }., ,,;

;:~bb;:ed~';::; : u=:;:~~:o dojt~P~~

,

;,';.;;:1;j;:'.:,:
.: '. , "
'. :,-,,"t-: ;.:;:: ... :; ; . ;.

(fg; 28):; al variar a el punto H describir la circunferencia del enunciado. Para ello basta ~~~s~~~: s:~ir~e::~n;:~~~on~reenel1:~B ~o~~~ la semirrecta a (segn el teorema 6 del captulo;IV sabemos que hay.dos de estos movmientes}; el transformado de B I( que es el mismo para cualquiera 'de estos dos}novimientos) ser el pun ro H buscado... El postulado IV tambin se cumple. En' efecto,' dados dos ngulos rectos de vrtices p.y:P', formados respectivamente por los pares d semirrectas a,b y a',b'. (fig, ~9), por el

, '.. J~~~~.,3~. '.; i:.;;; F 5.5~ El quinto. p08iulado~;. :EI .postula-: .' . do V, en cambio; ha-.dejado decurnplirse, En ef~cto, por .un p~n,to P leit~.ri~r_;.a1.a'~ecta ~~. (fig. JO) pasan: ti) lasrectas interiores/al an- .. gulo Al> B que cortan a l i'ed: r ==:I.AB (rec-' tas sccantesy ; b) las.:iectas:.interibres al n':' .gulo APB' que. no .cortan !r~ {rectas' n'o secantes'['; c) .Ias rectas, AA~ y'BB~ .que 'sepa~' ran ambas clases .de rectas y tampo.co. corcan' , . , ..37

. ;':';{::. '.,'. ,:,:/~.~.;

..

"

:-. ~ I '.

;.
,;

2~' #!! r

pero que son: lmites' de rectas secantes"

. ',( rectas paralelas a r). . . '. :-!.Estamos, .por consiguiente, en el caso 3 de, ):2, correspondiente a la 'geometra no -eucli-

Si a y b son no secantes, su interseccin' es un pun to '<ideal" El exterior a Q (fig.:, 3l) La polar p de H. es la perpendicular comn.
I

.. T '!'I
....

, diana' hiperblica. ,,' , ; El .ngulo APD, es, el doble del ngulo de . :para~~liS11l0,.ngulo; que no debe medirse en :
O".
j',

Si a y b son secantes o paralelas, su interseccin. II es .interior o pertenece a Q; por lo tanto U polar h es exterior, o sea, no pertenece al plano no euclidiano

i' .:

,:, ;

-,

'.:.
I

.'

-,
': I

'

'

, .
1
, !
I

, i

'r,
!

,i

..

1,

.
, '

.1.

'"

: "q;:t0'.)H~~~ .r~~~9~.~a.f~agpi~,d el plano del ~sobre,

;: ;~!;~~~~;}~~uJW'r;[~~.;,~,~:~)!,;tt~~~~la;:~u,~ verem~s mas I!,U':;::~ ',~, adelante.' 1'1, .1/"I':"'!I: . ~1.,;1"1 ;'~" ',' !". 1,;' ~ .::n:i1t.;rn.~'D"r:,:; )'<r." ,"~'o '11 ::.!" 'l' ',);::", ;:,:.: ';.".)J!i~;'5:di:! ..!;.'.C :res~~,~a;e "<,:VI.:,, .: '1 \,
.... 'f ~... ,"\ ) ,?

"J.

"

':jo";"

t!O

o.'

o,.

/i>~~!~;.~~~Wi:T.EoilEM:~~2~(En:el:;tn.odelo que estamos con>......"'\~ ... , ..... :, ,.~ ,J!;' \ $"'~~'i~~~4e.r.II!'J..p';' Pllra,lellls:' 'las que 'se 'COT,rec.t'!A S011 : ;'~!::''';'!l:!f ) r'" ,_J_ l' :!"b" 1"t' "Q '; ,,' :,~~";..~J;';,'La",:so~er,e.,.',~ s!J 1f o.::; .' ..... '.'
o (: ."

..o~;-;><':;'!i!,.J",,:!~,.::.l,t,;i!l'lii.l~,.,..,~i'!:'~~~!l""
:"i;~;"'11 ::"l.~', I ,.

'

.,'..

'.

3. Dos semirrectas 1# y b admiten 'siemPre 1ma parall,! comn. .j Es la recta r que une los puntos en que IS y b cortan al absoluto (fig, 32). Si 11 Y b son
paralelas, cualquier. recta que pasa' por el punto en que cortan a Q es paralela a amba~.

-t "

"

:'
o ~,

: ':?;\,},~'1i}~i~\j'~~'tifi~~:~~ifiiI;~ar 'po: ~~oo del ~finito JI r'

':-".i ",1'~"~

i'

,o

I ,~~

l'

}~:\:'~.r~~~ f.l,ano.,n~if~~~.~a~~ a.los

,'~;r::rf:"::~.~.:
I ..

puntos de Q.

~,})f':':i~';::"r:: ~:, v'

,.: t.' ,.
!.

'1 P~,cra,s ,p~oplC~d~des e la geomed ;,/'~(aDO el.lclidjn.a;:, .. !'De-Io anterior se deduJ 1 '
!

l ~ ..

~:f.~!,j :i~v;:\ ;:~O;_.'I"'.:: ' ..

I '.,

l' ,"

"j

l.

, . .'~i~n:~\tit~Qiata'{l1.~nte' algunas propiedades sim.'.'':,:'ples::que .cons'tity~ilosprimeros teoremas de , ttl"J 1d hi 1 ,', :";:,:~,}.;!~e~mc~r!~~'.!}o.l ,ia~a ,~c.rb ica. ey~~.
o

I "

'

',1

....

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

-,'ti,

. ,':'":';: Aitj,~,sJ~". ,.., r", ,~'", "'.~ " ~~n elpolo rec~~jqp..~:'9.J?<~ ,If',l,.""'{ ~ "
. o;:,jl ,9~~J2/.Dos 'recias

,", :.'>':::p'endiClar . iccta" dada, r: : '~'1~n~ .. ,,;, ""'ffJ' "";':, ',':''1'':1:;1', i..._,;,',:,,, ;
<

i2~~~!,1~ :~PoTun.p'unt((.f!.

J' ",

f '{

'pa~a una,y slo una"peT-:-

'.

"

FIGURA 32
I

.'

'

~,de r. "

':::::i<r.;~~:.,~perp;n4ic.'Ul~r .'~o1fl.n~"Rectas ':.i, ,)s,~~a~tes izo 1~ifen.':pe:pendic~lar

J;:~!~
L,

'no":secantes admiten siempre paralelas o comn.

, ; .

El tlgulo de paralelismo es menor; que un recto, .: .J Sea 'la recta r = AB. y el punto P (fig. 33)'. Si R es el polo de r, la perpendicular por P.
, 4.
I

,,!,

'

:f, ,2?1::
" "f

t,

.I

,
o"

' ,
"

:
' ,1 ','

'
.: '1

~entos'MA y MJ so~ 'rup~rp@bles,;es :i r ~s.1arecta h PR, y el .ingu!o' de parale. lismo es a = RP A. .El polo H de h. perte- : , 'son iguales. Esto quiere dcir, que ,M. '-es,fer:,' " ".punto 'medio de AB. :; ~".;;":.! ,1:-:');" i );. ,,:;: ;' f'",.,nece :1 r y es exterior a Q, por '10, tanto J~~- .;',: 'Il':~';""-. ";.....) v' ::',u,;' ,a <, ng RP H = 1 recto; de acuerdb co el " ',:::'Z': Bisectriz il ,,1; "nglo.l"lAiloga'mente~" =, ':l. , enunciado'. ' , ):' , ' si 'se"Sup~nl;n dada~; las:::e~~as;,,~D ;~q;,,<iu~ ' i ~:, ;~.i~'," Esta' propiedad, es conocida con el nombre se cortan en M, se pueden' .. onstruir: los pun-, '-( '.' c , de axioma de Lobachevsky. ' tos R y"p, las rectas pe:RM' yc.;r' ,PM' so.o::_;,.y:, , , 1:., . las bisectrices de los n'guIa,s :idyacents EMe; l' . , y EMP, respectivamente- Obsrveseqe Ia:bi,:{:;:' ,: " sectriz de'EMC,: por ejemplo, st'tambin Id:::",'(}', " terminada' por los puntOs'E 1. 'L'" de :.mt~rStc4.;~:t.' ci6n de 'las tangentes ett E .''y :C, y~:en '~F,'y; DV.+::: , . . ... u: j' '" ,l " 1',,'" . respectivamente.' ,:.I>;'i:.~",::.I'~,I,;~ :'i'..':f::;',":, ";'; ,, bi "~';'I ,'~:" To, 1, '1 .. ~I'p(~'J.j~ . ODs~rve~e.ta~ .l~~!~~e):~r tl~~Ic~n~,~::"':": i re!u ,:;"" Jugadas; es.decir; la~ ~~~.~c!tr~~~s d?,~,~n~~~H;~'~:::" ".~,el. ' los ady~c~~te~,. son /p;~~~~ndi~~~,~~s::ent~e:~S1~'J:nl"::;:: ': como' debla ser ',,';'" '1" l.,! '1' 1" 1";'!' 'll;, "'11.. ,s",:. v: ..."',:1, \.", 1 .. ,1",,: '.,1.. r,' 'J/,,~,. :, ,

==

:.': ': " ,,!,,:~jt , "

d~h-;:~': :'.
<

. !.

..

/,;.

.'

.,

l,'

.,:,",rt

,1,

't

I "

1H.

'0'"

T~mbin es cierto que todo ngulo a menor que un recto es ngulo de paralelismo de .cierto punto ~ y una recta r. Basta observar que/en la figura 33~ dados P, h yaquedan deternlinados H y A, y por lo tanto tambin . la recta r == H A. 5) Dos pares 'de rectas paralelt1$ son siempre congruentes, San los pares 4,b y a',b' (fig. 34). Segn el teorema 4, del captulo IV, existe un movimiento que transforma M en M~~ en A' A y B ;en B', 'el .cual lleva, el par a,b -a coincidir con 'el a',b'. ' ,
. !

3 -. Mediatrlces,);isedrices :iiltra(m j,lnE't;, ,!,,? , tringulo. Llamando me'di~t_rii de:un' segmento;~:~~~'" ! , di ,," .., . ," ' ' ,1' "~'" , AB a' 1a perpenc cu J ar:en;su'punto me di oi:o~~;!::;:',,'.: ' sea, a la recta ';RM en'Ja 'figura:jJ)';l'y i'coriside~U:~.: ~, rando la,:sime'tra:.de ej~:::RM.::cU~: II~va'A bre B, remIta que;, al;;)gidl.i.que /en'.ell euclidiano, la mediatrizde 'un: sg:nento"~es~.eJ)');:<~ ,[ :' ,lugar geomtrico, d los, puntos-que' equidist':i'o';,;C:~ ! de los extremos ...: ' .. (:;, .:j ,;',',:,:;.!, ,'~, i ';l,.:t/~;:'

.'l

""

....

'

.',

':,'

,'" >,1

l.

"

1,"

',:

"1

'"","'~' f" t'

',.

1,1',""" "I"\"~~1'<".",,, ,',.' ,}"', , :t.. ;,') ,~, ...

'\"

rsO:~;~ .. ca'ro)t ":.: ;

~;!..~...~.~.:. . ! '.'
'
,','

.~----....:...
. h.. :":

f"

'~i ~

;.:

.: ~

'o

",.'

:-.

5.7. Construcciones eleznentales, 1. Punto -rhedio de un segmento. Dado un segmento AB de la recta r {fig. 3 5), para hallar el on'to 'medio M se une el polo' .R de r c... n .. A y! con B. Se obtienen. as los puntos C, D, E, yl F; las rectas CF y DE se cQrtan en el r ' punto medio M buscado. Eh .efecto, A y' B resultan simtricos respceb de la recta p .RM, es decir,:.hmlogos en la homologa de eje p y centro"P' que trans;" forma a Q en s, mism, Por lo tarl~o. los seg':' ,,'
l

FIGURA' 34'.

:e, ...'1 ,l.: .' . : -v.

I~ ,: 1, I

.: '. '.
:

"",.,'

',';'

;,.

!:,: '

"

. " ,,: ,

'1.,;'.",

'.:' i,

-,\

J;

i!
I

~~;,

.':

;:
" ,':

.. '

'.'

Anlogamente,. llamndo distancia"de '':o ::,(_ " punto :i una recta': al segmento de' perpendjc-';;:;.' \ lar comprendido ;'en'tre;'el, 'punto. y,: ,la" reda, ,"; ':", resulta: la bisectriz "dejn: rigulo' es 'el luga(,.;",. geomtrico de' los puntos "que quidjsran, de ~,:" los lados, del mismo. ,~.:'; [", ': ",:; :!':-.:' '; De estas dos propiedades resultan~ igaI q~e ;';:~.'

.'

'.'

....

'.

'.:: ~ ~.,,' :::'.' ;'

.!
,

-39",' ' .
.,':
o,' , ..

"

. .......
,

",

rn la geometra euclidiana elemental, los si-. guientes: '" , TEOREMA). Las mediatrices de fn tringulo concurren. en un, punto.

En realidad puede ocurrir que 'el punto en s~a uidea11~ (exterior a Q). Ms, exacto es ~nunciar los teoremas anteriores di- ' ciendo 'que,' si dos. mediatrices (o bisectrices) ,
cuestin

,,-

...
"

,'

FIGURA

31

, TEOREMA' '4. Las bisectrices interiores de 'tr~ng1l10 concurret .en un punto. '

U11

,M

,r

,'.

....: i. .: ~ '~>:1: '

I .

',;i .,' :

concurren, en un punto, tambin' la tercera media triz ,,(o bisectriz) pasa, por el mismo. Ambos teoremas pueden tambin demostrarse directamente, como 'teoremas de geometra proyectiva. En particular, es muy notable la siguiente observacin de Coxeter [8]. Sea el tringulo ABC (~ig. 36). Prolongando sus lados hasta cortar a Q tenemos los puntos Al, t12, BI, Bz, CI y C2. La bisectriz del ngulo ;t' es la recta que une los pl;1ntos M y S donde: se 'cortan las tangentes en BI y CI y en B2 y Anlogamente, se tienen las bisectrices TN' del ngulo' By RU del.ngulo C. El hecho de que estas tres bisectrices concurran en un punto equivale, por lo tanto, al hecho de que 'las rectas que unen los vrtices, opuestos del hexgono MNR5TU circunscrip- , 'to a Q' concurren en un punto. Es decir: el teorema de' geometria no euclidiana de ~ las tres bisectrices de un tringu.lo concurren .en un punto, equivale al teorema de Briancbon de la geometra proyec#va ordinaria.

e;

I
I

que

-".0::r; , .:
',',,!;
, ,

'

';'

.:

. ,! ~

punto. Es decir, .se 'trata de toie~(~:[~::;:':;<': : de' geometra proyectiva:tJas';'rece:ls :q: tlrlcn ~~!;'.' .: " TEO~MA 5. Las alturas de' Un tr!ngulo . .vrtices homlogos ,;.de\!ds~ ti.rikulbs'ytoj\.f~,;::\,i,:,,: coitc1trren en un punto. .". gados respecto ,;de-'unii' cnica~.!, : pasan. p~r.~:Ui , . Sea el tringulo !lBC. Si l~s polos de los mismo'f .punto (fig':-'37P:"1 'I::t',k, '::~;'.;,r,,'(:<''i:y._':. :':~ . "1'1: ~:!):~. 1:~\~:1+'~-r'~':i:~r''''ii~'JJ~:::~,;1:'':'~: ,:,!/.. : .Iados AB, ,BC 'y CA son respectivamente e', Demostracin! Sea "M ,.'el !puri ta ~ de~:inie~sec;:,i...':; ; A':y D', el teorema equivale a demostrar que cin ,de AC y )rC~~ y~N~,eI;.d!A~C,B:C'.')~,a;::: y, :.;:., ,las; rectas AA', BB~ Y CC' concurren en un polar de M es 111 ~ ~B~.:. unii.( del -polo /11 \" , ( de B'C" ~el polo' B~,~dfAF)Ly l;....~~..~;~~s;: ~ n ~ HA (siendo H els polo] de':A'C,. o' sea',el ". .: : '1 punto -de intersecCi'n,tde:.BC:,:Y':A'B~)~:C6r:' , . . tando con li. rct 'Be el: ha'z, de' las polares: ... de .los- puntos de B'C~.resulia;{B'C'MNr ..:.... ...~. 'l (CBLH).: ~roYecta:ndo;la:pHrneia 'cuate;-, .na desde C.. la segunda!desde.B'ireSuliaii',ha- ~ . ces proyectivos, Y' por'')Io "iJiito' los puntos.. .'
1
l.:' l' ~'.',

Tambin vale el siguiente.

fU . :iT!.1'~';:N;:,' 1' ~~gfue'Jte;

"

o (CC'.B'B) 2,' A(CM"B~L)!

, ". ,'~,.: : .~~!. ;.:~; _

estn en lnea recta. ,:'( ;8 h lo.~:cual 'ret)a"el 3 p teorema '. ~ ;:' ~', ..... o :I :',~".:;:' .

y::A'(CN.B~H)':

' ';

5.8. Cuadrilteros' de. Sabhe'i~':',;y~ .de:" '_' finirno~' anteriormeriie'i 1 lo.'q' .,) ., tJttse,,'eriti~~ci~po~ '. , un cuadriltero. de; Sacched:' Se 'trata ~de': :url . cuadriltero:ABG~ .n er;c~al,1CE ;y"Di(Jon',:. ,:
_.t

L:~:':'~: ; U\f;~: >:-. "

;<Iti;;}i'

.
1 Dos

. ': ~.,; ki;.;:'_;': T,:,;

tringulos se .Ilam:ui; conjugados:;cu:uido':~ls:, vrtice. de uno '~on los plos 'de .los lados del otro .. r;'.;~. .; '. 1' . 2, La' notacin. 'O(CC'; B'B) .Gidica qu~'::d~'~;::el .' punto-de interseccin 'de' las rect:as CC', y B'B:'! J". ,g:,: ' . '\: ! . -; ~';" 1 ; I. .>. .1 i::' .:;.~:: .'I!:~'.:.
>

: 'IJ

'.,

,';'

.. I / . ~

:. :.~.

\:.'; -:
'.,,:00,

:::.~, .,':'.. :': '; : !:::

I . ':: :

.,

," . . ! ! ... :i

,
1,

1,<

: '!

"

.
sI

i,

~~. . . :",
",
1'1

',.
L
"

FIGURA

37

41

......
'

, "p~~pt:~dicuJ~res a la base AB y los segment~s , .Ao y 'pe son, iguales -entre si (fg,'38) ':,TEouMA 6.: EtI un; cuadriltero de Saccberi 'Ia"mediatriz d la base es ta~bin mediatriz , de~lado opUesto.' Adems, los ngulos opues-, '..to~ a 1/1 base:son ,jgu~le~ entre s.
, .' r- :. "

puntos medios de las, lados AB y AC, y sean AA', !3B' y, CC' las perpendiculares l h, desde A, B, y C, respectivamente. Los tringulos AA'N y CC'N .son congruentes; en efecto, siendo iguales los ngulos opuestos por el vtrice 1, por un movimiento sepuede llevar NA a coincidir oh NC y, al mismo tiempo, la' semirrecta N A' con la NC'. Entonces, como por C slo pasa una perpendicular a esta semirrecta, resulta que C' y A' coinciden, o sea;' los tringulos, 4A'N y CC'N quedan superpuestos. De aqu CC' AA'. Por un razonamiento anlogo 'resulta que' los tringulos BB'M y AA'M tambin son congruentes y, por 10 tanto, BB':::;:: AA'. ' En consecuencia' BB' ~ CC', 10 que nos dice que B'9',BC es un cuadriltero de Sacl

."
l'

D
'1 l.

N
:

,': ,

"

..

"

"':.
,

:'

A
. , I

":
.~ :,'

M ,

';)
, ~ ;
~j

! "

'!

,.t'

,',', FIGUU. 38

! ' . ,

.: ~!

. .. : .,

':

.'

, , " En !cfectc;>,por la' simetra respecto de la ' . :J\'\cdiatriz 11/0 de base AB. resulta que A pasa a, B r; por ser .guales los ngulos rectos (en ,~este'~a"soA y)3):y ser BC , 'AD, tambin C .pasa :;a:D~' or, consiguiente, si N es el punto' P .en.quees corta.a CD, resulta NC=ND"o sea;"Nres ,~l,punto medio de CD., Adems, el " ngulo C coincide con el D, y los ngulos adyacentes en por ser superponibles, resultan Jo pru~ba" el enunciado. ' amos a .~p~car esta propiedad a la obten, ~i~ pe otra', referente a tringulos, que ser , til en ]0 sucesivo, ' " , " '

la

, icctos, que' .v
1,'

N:

'

FIGURA

3!1b

cheri de base i;B'e'. Por 10 tanto, segn, .el .tecrema 6, la mediatrz de B'e' lo es tambin de .Be, lo cual $e puede enunciar:
.1. ~'.

7. La mciatriz de un lado de 1m tri1lg1&loes' perpendicular a la recta que

TEOREMA.

une los p1mtos medios de los lados opuestos.

1 'l.

-: .
'.: I ,

Este teorema .va a permitir demostrar el siguiente: .,

,
I

"

tres medianas de U11 tri1l-' gulo concurren en un punto.

TEOREMA
: FIGURA

8. 'Las

39a
1 Esto surge de ',que uno cualquiera de los ngulos adyacentes a los: opuestos 'por el vrtice es suplernenrario de cada uno de stos, y ngulo$. que tieneu el 'mismo suplemento 'son iguales.

Sea un trjng~lo, ABC (fig, 39a 6 39 b) . Consideremos la.' recta" h MN que une los

==

",

..

"

42,':

.
. yamos a demostrarlo utilizando un artificio que sirve tambin para otros casos anlogos:"" 'Consiste en llevar, por un movimiento, la fi-. ,de

:.

.,.. 'Y Lit:.: r;t;f~:\ i.:

'1'7 -.

r{\ ..

I , .. .,(. b

.'-.

JI'1,(I.J~'f'I:;l\:'<'~;

j.

, : ,1
j
"

FIcaA

.010

gura que se trata: de estudiar ta .unr, posicin conveniente. En el C!l,SO actual, ,si O es d centr, de Q, vamos :l llevar el tri~ngul0 dado

manera -'que;. el :'punto .;,m\edio,.i:,del '':I1a'd}~'~lf:r AB 'coincida con::O 'r(fig"'~r40,\~'~,Ehtob:es'~:';;} ;:;1:' 0.:1, ,1"0, O' se~ ,tambin ,~I,~puD,to,~ ~edib';:~e':;aB.ise~',!{H:;': la mtrica edidiiria '~rdina!ia~~I!imeOitriz.'f;~!:/~ "d AB "sed' 'el, alrtteJ(tcj(g~'do''f~~,;'d: .. ,lt!I:Si;ifjJF,:, N 'y,: P' ,son, 1 rrredi~s :::~~~:,jfC'~~[~;BC;~;;i,~;:}:;; :, seg'n 'et teor{!IIl'ai.la; 'lar 2,,' '( 'decir; ,pas~!:po~:,ierl~pBloid~',.~'fqte",'~)~I:\~,: ::::, i el punto,; del Iinfinito ~f:::.:< euclidiano, 'es parill;:a"AB.TLi~concrrenia'? ;,' '=: de las tres medianas 'en :p~rfto::esFP~po p;,' :':'" tanto, una consecuencia del teorema'3' deFa':::',::;' , , 1 111' 1'-", : l' j t r:~' . .I,I~, puuro ru. """."'! I, ,j:, , /.' ':" ! j;~':"i::,'i', :,\ Hemos visto as v:tdas ~'ro'pidades'del;tri:in:.. gulo que valen 10 mismo. en"]ai:geometH'i: no :':::, '!' :'euclidiana que 'en Ia. euclidiaiial:,.HaY:,,:muhas':'~;:: : otras propiedadespar.ls, que: _esto" o 'ocrre;{:'; "" n 'Por ejemplo,' no: es"cierhiu~"kl'ptiiito:d{eri:':~:(';: cuentro "de las medianas!;-divid:i::.a::Jas'nusma:f ' ',:' en l razn 1IZ. Tari1poc~ 'texiste n 'geometrIa .: 1 ;::no euclidiana ti :recta,:de'~Ehler, .es, 'decir;: los'.' " -puntos de encuentro ,de"llasaltu'ras; de las me-"., ';';: diatrices y de ls mdiana~j :noiestn 'en ,linea, ,': ': recta; ello ocurre si:1. ~ol()si el'rringulo es Iss-: : ', celes. Ver, -al 'respect~: Baldus:, [4, ,pg.i f02 t~,",

e=='

&;,j.

_,1

-r

'/

...

los' 1)\into~

es

r~a:a':'N~~tes"'prpJ'ndic{l~:F?<,'

:;:a(~:y ::()!leal~; en ;:;eillido ~ :n

J

e ~,

..
"
GEOMETRIA

:': " ' ..' ;.,;' CAPITULO, VI

':: ",: i,"\ , L,i,: li:!{~:,:,;

<,:,>".

.
U.

S;';:~\(),:tJ'Ht~!~ti)::~~~:' ",~: !, ..:,,~:' j'

.i,"

NO EUCLIDIANA: HIPERBLICA:" :;:"';: : , i,,,,:-':; ;.0'1, '; '1 :-:f,~~:; \:,/~:!;;,t1 ,::

ANGULOS Y:, DISTANCIAs>

.

"

;6.1. Sumo de 108 ngulos in:teriorcs de tringulo. Vamos a, demostrar el .siguiente ~LE..,\{A. En todo cuadriltero Saccberi la suma de los ngtllos interiores es menor que 4 'rectos. !Como ya sabemos que los ngulos de la base son rectos y que los opuestos a ella son iguales (ver 5.8), bastar demostrar que cada uno de estos ltimos es menor que un recto. .Sea el cuadriltero ABCD y sean l' el pun-

un

ae

to de interseccin de AD~:y)C,' M;,;elipdntO:;::~ ",' medio de' AB, N el polo 'de',PM' y :5,' d::'polo' ~::',::' de BC (fig. 41). 'Por estarJa: rectii:"P.B::deF: ", mismo lado qu N; respe'cto:':i la -recta' PM; , es S interior al segmento BN':i; por,!lo tanto, .puesto que CB 'y es son rconjugads,-,rerulta -. '. 1 recto y de aqu

r:

i ti;: i'H- ):::iJt

;, i':
' ,,! .....

...

= rig BCS ,<' ng BCN~": ':"

,

'it",

.'," ,r "":,

.' _:' ",' :':'~' ';.:.,/; ; ;':"::".'~, ::',

ng BCD = 2 rectos ng ~"1 :r~~,t~;: ' , que es lo' que 'se quera demost~ar.' .", ' 43 '
.
"

7.-

~CN.,

",

.
o,'.

00':

; I

. ": . .
"

',

'

.:'

';',TEOR.EMA''.!;

E" todo' triniz!.lo la.sum de ,

, " los '1!gulos'i~teriorcs es menor que 'dos rectos. Sea d, t~ifongul,?"ABC de las figuras 39a
o;

dos ltimos' (fig. 42).',El corolario v~le t~m bin, de manera evidente, para cuadrilteros cruzados corno el de la figura 43. ;
t,

',':, 3,9~. C~~ laconstruccin en ella indicada (ver COROLA~IO 2. Si dos tringulos tienen los l!(4~mo~trarci,?.I), teor~~a.~ del captulo V), (le! ll,g~los igu41es, son congruentes, . , ;',por ser, congruentes los tringulos AA'M y ,Sean ABC y A'B'C'. Superponiendolos fon-, ,::, : 'I?B.'!d,a.~,c~molos AA'N y ~C'N, resulta que : :; la' suma' de los' ngulos, del tringulo 'ABC . gulos A y A', si los tringulos no coincidiesen :"~~al ,a'l~,suma ,d~.Ios ngulos 'B'BC y 9'CB. , ",y prescindiramos de la parte comn, queda" l.

es

.:

'

, I
,

:
, "

'.

: .,:

.
.

.~,,,

.. . '.',:.

..

,',~~ :("l.~~;
-. ~I : I~

.. :.

t'

~.:;..

,,'

".'~';-'~:':~r:~o.;.: .
"
, : :, ~"

!'.

,.
l' I

1, ,

N '1

'," ,,'; , :;'-' "i:" -. .~. ':: ' .~. i :-..

:', ~,: : I

i .'

, \:'g~~~~ren',:w ~:cc:ros;por .. ,:Y' C(~on

',I',',! : .......... l' .

, "',\, n.el-cuadriltero' deSaccheri BIrC'e los'nE

lo tanto, se,':',gn'el lema'ante'no! ';:f. .'. . ~~. ." ,;. 1.... ". 1-,'; '; t'.: ... ~,"JiA :+:B C -"n' g.'B'BC ; ::'')''::~:i' .,:,1',' :,( ~:,!.:'-4-I,n'g''CCB < 2 rectos, '

'1

ra un cuadriltero, convexo, o cruzado, cuya suma de ngulos sera, indicando con una sola letra el ngulo interior del tringulo correspondiente, en la, figura 44, " (2 rectos .; iJ')

.: ..:'~,t.,4t.[:..J,."

.. " ,\:V'Go~OLAlUo.l;'!La,:suma 't/-elos ngulos de 'rz" ',cua~r~f~~ol fS ~11!~~or:q_u_t rectos. 4

: ~ ;:-::' t~'! .~-,~i. :':1
~, ro'

::'T~'o:q~' d~mue;t~:l~e~un~iado.
i - .' ,;. ,

Ji

,,'~i .;,

l,:'

+ (2 rectos r- C'), + + B + C=,4 rectos,'

+ (2

o bien. en la figura 45,

o

(2 rectos -, B')

'

" ..En! efecto,; basta :,d~scomponer el cuadril, tero en' dos tringulos mediante una diagonn], demanera que la suma de los ngulos de aqul resulte igual a. la: suma de Ios ngulos de estos
'o" -':

+ +

rectos - C) B C' = 4 rectos'

contra el corolario 1. Se 'puede, por 10 tanto, enunciar el

44'
....

..
. TEOREMA 2. En la 'g~omelra 110 euclidiana hijJerblica no puede haber tring?.[os, y por r .I tanto tampopo lig1lras ms generales, q1te; . sea,!,-scmejantes sin ser congruen~es; Esta es la' conclusin a la que' lleg WaIlis, de que el postulado de Euclides es equivalente a la existencia de tringulos semejantes no congruentes (ver 1.~y. 6.2. Distancia entre dos puntos. Se rra-: t de definir la' distancia entre dos puntos Ay. B,. o sea, la' longitud .de un segmento dado .A:B.
..

Por. otra parte,. se comprueba' inmed~~tai mente la identidad r; ,. .

,

(UVAC) '= (UYAB) : (uVBC); , .: -

la cual, poniendo (lJVBC)

= Z,

'.

se escribe z

= iy~mientras

=,;(y..CUVAC)...:..:,.
,1 I ',1

'

'.: ..

'.

.~.;:r ~';:':1 > r. !.; ..

o,
I

que'.Iasdis7
..!

l.,'

'.
I .~ I

!",

~".

! '; ~.' :'.

. ,..

':

; ..
~.'

,
;

..;

Las condiciones que se exigen a' la distancia -son:

"~o

a) Inv.arianda por movimientos. Es decir, segmentos congruentes deben' tener igual lon.gitud. - b) Aditividad. Es decir, 'si A,.'B y C estn en :lnea recta, debe verificarse AC = AB
FIGURA
;.

"

.
t"

. I

+BC.

uncias respectivas' son AC '..(p (%)

AB q>(x) y Be _.:.'.q,(y). Para se:cumpla la condicin b) debe verificarse la relacin . '. :cp(xy) , q>.<x)-+;~6)' "::'. '(1.>-"

'que

= <p (xy)

para todo valor de y de y. sto exige, ~_: poniendo que. la funcin q> sea continua, que 'cp(x) =klog:x, siendo-unaconstante arbitrarra
l' . ,;.'

"

, ..

..'

Por' costumbre 'se toma Ji:_ Yz, y 'por lo' tanto se adopta la siguiente' :, DEFINICIN l. La' distancia ~ntre d~s pun- . tos. A y B est dada po.r la expresin
; !',

AB.=
FICUl\A 42 .

Yz Iog (gVAB)

", (2)

Sean U y V los puntos en q'!le la recta'AB corta n~absoluto Q, puntos que quedan bien determinados -por el A y elB (fig. 46). La condicin a) se 'cumple tomando como .. dsrancia AB una funcin cualquiera 'cp,. a valores reales, de la razn doble (UVAB) x, puesto que los movimientos conservan' las ra-

siendo U.y V los puntos en 'que la re~ta:.AB corta al absoluto'. Esta distancia es, salvo' un .factor constante,'
1 La soluci6h de la ecuacin. funcional . 1) ( in-.' mediata si se supone que cp es derivable,' B:ura observar; que, derivando respecto de x, por funcin de .funcin, e. " ".,,<p'(xy) .:....cp'(x)~. '.':. :" '.'
'0'

es

zonc~ dobles. Pongamos AH

= q':~~).:

= l/x y poniendo <p'(i)= k, resulta", de donde <P,= k log x a, siendo a. una' , . constante de' Integracin. Sustituyendo'. esta expresin. en (1) resulta que debe ser (1 = O.
Haciendo"

lp'(x)

= k/x,

.....

,-

--.
,

..... '-, ,
"
'

.
"

.'

...

. :',:

',:
'

la nica que, satisfac~.1as,condiciones a) y b}, ,'Observemo~ dos propiedades jnmediatas de ~s~a distanc~a:, '
1. ',Si

la recta ~, el coseno ~p~rb6lico de Ja distan'da AB est dado por la sencilla f6rmula .

B~A,

es (UVAA)

tanto la 'l~ngi,tud del segmento nulo es cero. corno debe ser. .:

, 2. Si B'~ende ~ V,!a raz6~ doble (UV AB)

= 1, Y por

lo,

<)?~hAB = (ABB' A')

B

1/2

(3 )

tiende a cero. y por lo tanto la distancia AB tiende a_; ex}.' Anlogamente, si B tiende a U. (UV A.B) tiende a infinito, y por ,lo tanto AB tambin. Es decir, cualquiera que sea A su distancia ~ JoS puntos de Q vale siempre .: eo, A=A'

:"

e
,FIGURA

C'

45

FIGURA

44

Es~o j~stifica n'~evamente que a los puntos de Q se les llame "puntos del Infinito" del plano. no euclidiano .hiperblico. .! _9tra expresin importante de la, 'distancia' 4B ,seobtiene observando que la definicin de coseno .hipcrblico est dada, para AB,. por la ,relacin' , , \ cosh 1113 ' [exp AB exp (-, AB)] ~ ,donde exp indic'a la funcin exponencial (el , nmero e elevado al argumento indicado). Se-' gn (2) esta ~;x:presin,se puede escribir '" cosh AB de donde , c~sl
"1

6.3. ngulode dos rectas. A la defincin de ngulo entre dos rectas que se cortan en un punto P sele exigen las mismas condiciones a) ,y b) del apartado .anterior, Por lo tanto, para tener una expresin invariante por movimientos necesitamos poder formar, con las dos rectas 'dadas y elementos de Q, una razn doble. Pata ello observemos que por P pasan las dos 'tangentes 11- y V a Q (imaginarias por ser P interior a Q), y por lo tanto podemos formar la razn doble (uvab). La nica complicacin es que ah?:fa las dos tangentes son

= .~ UVAB)'1/2
,.

(UVBA)

1/2]

'

AB
,,1

= Y.[:nIVAB)

+ (UVBA)
"

+ 2].

'..Teniendo en cuenta la _relacin (14) del captulo HI, resulta que si A' y B' son los pun,tos conjugados de A y B, respecto de Q, sobre

imaginarias. Este es un inconveniente grave desde el punto de vista geomtrico' puro. En cambio, desde el punto de vista analtico, decir que u y v:son imaginarias significa nica, mente que los coeficientes de sus ~cuaclOnes

.. .~., lo son, y como la. razn .doble de cuatro rectas de un haz es igual a la razn doble de sus coefi. dentes angulares (ver 3.3) ,. el. hecho de. que los de 'JI, y o ~ea'n imaginarios no' ~s .ningn inconveniente, puesto que se sabe. operar con nmeros complejos. . Por consiguiente, de manera completamente anloga a. 'la del caso de la distancia. entre dos .punros, se llega a. la conclusin de 'que el ngulo entre dos rectas debe definirse median- te la expresin '. . i. (a,h). k log (uvah) :
"
';

,.

son paralelas, las rectas. coinciden j(:o~:J.., tangente. a Q en t(punto' '(riiC6) del;l!i:!.:~;y:; nito de 'a.y b, o sea;u a.v~.Delaqi1 (u1b)~_:_:;~"" ypor 10 tinto'(a;h). ,.s,decir~~'el~~':i;. gulo entre dos rectas paralla's :es .igul' a :cer~~/ : '. como' debe ser. .' ':/' ::.. '.. ':~;. ;''-;'1 !.j:;i:.~

u i.v.

;.

I .'

1',"

. .
'

.~. ~'"

-:-1

'

N.'

..
. .
, : 1 1

::'j:~.'.:.

'..,.;i.:~.

.. ,~I~~ ...' ..I:,!::.:,;, .

~ ;/:ii:::f ~
;
:

.):.;

':~\.J
',j .

1:"

=.

.'

':'::'

:;: ~..

,.. : ' "" .. :.f.~:,; . :'!! .....~'~:~... !.:..}~~;"~.....:""r ' Si; J~f'~; ..:'.: ".{-..,'. . F~}:,;.' .
,!:.,.j. :.:
1

."1: '.:'. .:

'.:.

,; .': ' .:

~
'

siendo '11. y v las tangentes al absoluto por el vrtice P. -En este caso la constante k puededeterminarse si se impone condicin de que el n-' gul recto debe valer .1t/2. En efecto, elgien'do convenientemente los ejes coordenados, se puede conseguir .que la ecuacin que liga los .coeficientes angulares, in y m', de dos rectas perpendiculares (homlogas enIa involucin de [rectas conjugadas respecto de Q), sea 1 = O (3.7). Las tangentes son entonces ;jlas rectas unidas de esta' involucin, o sea, .las rectas de coeficientes angulares + i Y - i. Si a y b son rectas perpendiculares, sus coeficientes angulares m4 y mbcumplen la condicin

r ,

. ! .:

..

~
1

:.;

la

:..;,,.
.' !.

.~~ .

,,; ,
"

f -.

mm:' +

. . '.
I

',r.

....
i.

,
0.

~. . " "

(,

1",

s,

.. !.!'

'. I
';

".

...,nomb+ 1=0. m~-i . ---mo+i _ mom''b-i(mb-mai

moh'6

(4)

~or otra part~

.C~, i,-i,mo,mb)
I

.. i

+ i(mb-'

mo)

+1 +1

mb+i

o: bien, teniendo en cuenta

(4), .

(+ i,-i, m4~~b) =-1. Por consiguiente es (l1,h) = kIog (--1)' y como log (- 1) = 1(;.. si debe ser (lI,h) =. ir/2, resulta k 1/2;. : . 'Queda 'as, como expresin del 'ngulo de dos rectas . '.

~mo

.,

aplicacin, observemos que si

.

11

y: b
;'

.
-.'

-,

"

'o,

- o',

"

.... '..

. '. :
: Sea R el polo de r, F el polo de la normal m, y E.el, polo' de la' paralela a;::::; P A a r por P. Segn (6),'poniendo',n';::::;PF y a'==PE es 2 cos a!::::, (maa'm'). (SNEF) o, bien, por proyeccin desde A 'sobre m, c~~~ = (SPRM) a Por otra parte, en la recta m los pares P,S y '. M,R son conjugados y, entonces, por (3) es
, cos~2d-:-'(PMRS) ='(PMSR)-l=

o sea, sen a

= cosh'"

d.

De aqu se deduce, cos a = tgh d, y' por Jo tanto

tga/2=----

l-cos a sen- a

= cosh 'ti -

senh d

= e_-d,

= [1- (PSMR) I" = [1- (SPRM)

,"
.

jo

(1-cos2

ar

que' 'es la expresin, ya encontrada por .Lobachevsky, que liga el ngulo de paralelismo, , correspondierite a un 'punto P y a una recta T, con la distancia entre ambos e1ementos.

CAPTULO VII

"

GEOMETRA NO EUCLIDIANA mPERBLICA: .' ,

,

,,

IIl. AREAS, y CURVAS ESPEClfAiES

[ecto son equ~valent~s.. Sean los tringulos ABC y AlBICl, .con la construccin de la figura 39a 39b. Para la demostracin se consideran dos casos: - a), Los dos tringulos tienen un lado 'igual. -lemas;' ': ,'," Sea BC:::; BICI. ' , ' :,~,L~ .I. Cada ~1Z0, de los ngulos agudos, Los, cuadrilteros de Sccheri de los dos ,~e; u'n:cuadril.teTo,',d~Saccberi asociado, a u~ tringulos 'correspondienres a estos' lados' .son trhjngulo,'es jgu~l 'a la mitad de la sumade los, .congruentes, pues llevando BC sobre BIC~, y, ~ng~ll!s<del ,tringl,t~o.:" ,::' , -: '. " " " " teniendo los 'dos tringulos ig~al~ defecto,' las, ,",j ;LEMA' 2. :Tod(),:tr41~gulo, es equivalente a' , direcciones de los lados CC' y e1Cl" (lo mismo ;,~~/quie.ra de. s~ts': cuadrilteros' de Saccheri que las deBBr y BlBl') coincidirn. Tambin: :asociados. ' . ,T ",,;, '" '; : i',' , " '.' ' , ' , los pun tos E' y Bl' ,y los C~ Y CI' debern :,\ Por, :~quiv~ien~'e\~:,e~tien'de que tienen la . coincidir, puesto que 'en caso 'contrario ~~n~ irea, es, decir,' 'que' pueden descompo- " driarnos un' cuadriltero B'C'Cx'Bl' con cua:..',ners,e en partes' respectivamente congr~entes. '~r ngulos rectos. PO:1" lo' tanto, ~iendo e~ui-

':7;1~ ,~rea' d~l 'Irin'gWo., Volvamos de ':nuevo .a la .construccin. de las figuras 39a y '39b,' segn 1a cual cadalado BC' de un tringulo ABC determina u:U cuadriltero de Saccheri .BB'C'C" con los: ngulos rectos en B', . y:c.~.A estos cuadrilteros, (uno para, cada lado' 'del.tringulo) 10;5 Ilamarernos cuadrilteros.de Saccheri asociados al~tri,ngu'lo ABe.' : '",De las propiedadesde 5.8 y del razonamien,to hecho pa la 'demo'scrcin del teorema 1 :del caprulo ' VI, -se deducen' los siguientes

' Introduzcamos
DEFINICIN

ahora la siguiente

tringulo suma de sus ngulos interiores.

' "
TEOREMA'

1. Se, llama detecto', de, un a la diferencia entre 2 rectos y la'

"
.

1'. Dos tringulos con igual 'de-

','ini~~a

"

-,

:.

valen tes 'Jos 40s cuadrilteros partida.

de Saccher, por

. el lema 2 tambin .lo sern los tringulos de

.' b) Todos .Ios lados son desiguales. Supongamos, por ejemplo, AlGl > AG.

ciene un lado i~~l concada -uno de ellos, pbi " el. .caso a) resulta probado: el- 'teorema," . 7j~~;\ El teorema l'nos: dice,!que~;ebre:l.de tringulo es solamente fim'cin :d"Su de:feto.~;~':. Ilammosla F-(b J~ Descomponiendo uii:~t~ii-t: gulo en otros dos inediante.'uri:l~haitS~ersl:, cualqiiiera, -el ..defedo.:"del ItriingiIlo' :sini ,~s' : la suma' de los"defe'c'tos ~b~ ~~I de '105 'trin~~ l. los parciales, y como la'nlism~~. cendicin di . aditividadse cumple 'para las are:as, resulta la funcin F debe cumplir la: condicin; .:

';Uri '}~

Al'

'y-

que

F (bl

+ b )'= F'(b )'+

"). . l.,,

. :...

I .

P'(~2) .

(1)

Esta ecuacin funcional solucin. nica (suponiendo: qu.' P seli'::contintia) :. ..' (b) =';b ./:'. ".

'~ieh~' pos:
',11, .

.. F

I.~

(2)': .

, 'o'.

-,'

. FICURA 48

siendo e una constante' que se elige' de 'un~ vez' .para siempre'

l. '. . :.:.... . {:_:; ..

:::(;I:... ;'
",

.:'_'::I'
" o',

'"

Ser ~AlCl > ~AC > CC'. Por lo tanto se puede tomar CNl ~AICl de manera que Nl 'est sobre B~~, y prolongar el segmento otro tanto; se tiene as CAl' = CIAl (fig. 48). El tringulo G.A lB tiene el mismo cuadril.. t-ro de Saccheri'BC<;::'B' que el tringulo ABC, .'puesto que por ser Al' Al" = ce' (por la igualdad de los tringulos CC'Nl y NIAt' Al") y por se,r ce' BB', resulta Al' Al" =BB'. Por lo tanto los tringulos 'Al'Al"M.y BB'M son iguales, y por' consiguiente BM -:- MAl.

..

lB
l,,.:

'1 .:
",'

",

i'.i

-: l

:'.

'.';

I'~

! . ',; '. ;*.

"

..

o,:, '

l.

" i :

:'::.~.' ( . .'
.

FleURA'

..... ; i
" I

so

',,'
I

...
,.

Se tiene as el importante .; 1:'. '. '. ~ : ," .: TEOREMA 2. El rea.de tringulo es pro-' porcional a SlI. dejecto. . i... ' f~ula (2) Ji hemos demostrado para:'. tringulos que .tienen los tres;vrtices propios .. Ella vale tambin, poi' pas~ al lmite, para tringulos con uno o ms vrtices impropios, en cuyo caso los ngulos correspondiences, por ser ngulos formados. por. rectas' paralelas, 501'1: nulos. Se tiene as :.': ~'..;' . '..

un

La

FleURA

49

COROLARIO

1.

El irelJ. da; :1tn . tringlo .:..

.

De aqu se deduce que el tringulo AlEe tiene igual defecto que el ABe y por lo tanto, por hiptesis; que el AlBlci. Corno, adems,

1 ecuacin fut1cjoni (1) 'se ~~~for~:\. ~n1~:'(1)'. del captulo VI poi' el cambio ci~,variables ~ !og.x, . -con ]0 cual la Joluc:in (2) resulta' de b all. enconuada.. " .' . : .' .,' '.:"

. '. e:

49

'

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

"

'

." ABe,

con' el: vriic,

C. improPio
B).

. .(fig. 49).

:'!a.le".F==:c.(n:-, A-,
. :,COROLAllIO:2.

'El:: rea ti" un' tringulo A'B'e'; C01I los. dos vrtices B' y e' impro. pios (fig ...49), vale P=c(1t-A'). /C~R.Pr.;~IC?'j; :.Er- rea de Ull tTi~gulo ABe, ~o11.1C?s vrtices improPios (fig. 50), tres. .vale F == ~JJ" '1 ';' I . . .

Nota. La sel1-cilafrmula (2) para el rea del trin~ 'gulo no es fcilmente generalizable a m dimensiones. El volumen del tetraedro no puede expresarse, en geometra no euclidiana, mediante funcions simples de sus elementos. Su estudio, que empez con 'el mismo: 10-' bachevsky, y la generalizacin a ms de tres dimensiones, han dad? lugar a numerosos trabajos. Uno reciente, que contiene abundante bibliografa', es el de Bhrn PO). _

7.2. ;::urv.asespecales, En el plano' hiperblico se suelen considerar ciertas curvas espccial~s que vamos a mencionar a c~)ntitiua-' .cin, cuyas. propiedades resultan' muy' comprensibles a partir de su interpretacin p~oyectiva.

..

. I , l. Ciclo '0. Circunferencia. Es lugar geomtrico de 195 puntos que equidistan de otro . .

el

fijo, llamado centro.

FIGURA 11
.v,

/.1

En los tres casos hemos puesto 1t en lugar de dos rectos, 10 'que puede hacerse tomando la unidad de medida de ngulos de manera que el ngulo recto mida 1t/i (ver 6.~). . " .. Obsrvese que. 'CTC es el mximo valor que puede tomar el rea de 'un tringulo. Es decir: e ge01;letr~ hiper(Jlifa no hay tringulos de. rea infinitamen~e grand, " ".TaIllPocolos hayen la geometra elptica, puesto que todo.el plano elptico es finito' (c~.mo.se deduce de ~u:interpretacin corno la superficie de una esfera, 'ver 2.3). Por consiguiente' se puede enunciar, con Gauss, que el

P.9stula4o de las p~ralelas es equivalente a adm~tir la existencia .:tl:e tringulos de. rea tan grande como se quier. '. . .
Aunque todos, tringulos sean' de rea . finita,' todo.e(:p'lano. hiperblico es 'de rea 'infinita (a "diferencia 'del plano elptico). En efecto, consideremos por un punto. O' rectas que formen cne s un ngulo a == 2TC/n; ellas determinan el-polgono A1A2.Aa... An de vrtices.impropios (fig. ~l). EJ.'rea de este pol.gono .. es . F -. e (te -. . a y -:- TCC ( 1~-2) , que tiende a~infinirocou n..
'V.' .

FIGURA 52

los..

Sea el punto A y consideremos,' sobre la recta m que pasa por l, el punto M tal que (UVAM) tenga un valor constante dado, 10 I cual equivale a decir que el segmento AM tiene una longitud dada (fig. 52). Si a es la polar de A, y H es su punto de interseccin con m, al girar tn alrededor. de A mantenindose (UV AM) constante, ~\l.ro,pillse .'.

50
-'.

mantendr

constante (AVUM) , , y como (AHVU) ,= -. 1y.por lo tanto' (AVHU) = 2, tambin 'ser constante el producto (AVHU) . (AVUM) = (AVHM). En conresulta' constante la razn doble

secuencia

,(AHVM). Esto nos dice (3.1 O,' al final), que

la curva descripta por M es-la homolgica de ..

su polo A, o sea, cnicas bitangentes a, Q en . ., , sus puntos de mterseCCIon ,con '4. ",},:' 1 ; .: .. Esto prueba 'que,. en geometra hperblia; las curvas de distancia no :sn:.rectas.~Prcisamente, como.ya. se .ob~e.rV6!,'antes (v:e~',;1.3h postular que Ios puntos ,;equidistantes :d.Lun~' recta y situados de un mismo' lado .de: ella: es~ tn sobre otra recta,' equivale a admitir-el postulado de Euclides. 1" ': : ",;'. 'j: ,; ~< ., ,>::. : j~ Curva limite u,'oridclo. -Es ,toda :trayfc-, toria 'ortogonal 1 a un haz,de':rectas,paralelas." Corresponde 'al caso e~' qu~',:et'punto A'pei: tenece a Q. Por paso al Ilmite, en' el .modelo proyectivo '(fig,' 54 ls 'curVas 'esta n repre...: sentadas, ,por, cnicas -homolgcas 'al'abs'Ohito. respecto de la homologa' de'-centro "A, eje: coincidente, conIa ta'ngeii~e"J en este-punto,'. Son, por lo tanto,' cnicas' 'que tienen 'con ~Q , cuatro 'puntos comunesconfundidos en,'A;~r:as'" ", rectas que pasan por A se llaman dimetros 'del' oricclo. : i: , : ' ":'! ' ',oo, ,:;~.

r:

i:

'1

'

'ti :
,,'
~ ,'.

J,

"J

FIGUllA

f3

0',:

t,'

.,

Q' respecto de la. homologa de "centro A, eje a

y razn (ARUM) ~Es decirven' modelo proyectivo de la geometra hiper~lica, los ciclos estn representados por elipses transformadas del absoluto segn l!l homologa especificada. . ,2. Curva de distancia o hiperciclo~ Es el lu,gar .gcorntrico de los puntos que equidistan de una recta dada; . ",' Con 'las mismas not~ciones anteriores, pero suponiendo ahora que A es exterior y la recta a secante a Q, por ser (UV1vIA) constante y (UVAR) =:- 1, el producto de estas razones dobles, o sea (UVMH) , tambin ser constante. Es decir, al girar 111- alrededor de A se, mantiene constante la distancia MH, y M describe' curva de distancia: (fig. 53). Por . .0 tanto, segn' el resultado anterior se tiene: las curvas de' distancia de una recta. a estn representadas por cnicas homolgicas de Q , respecto de la.homologa de eje, 4.Y centro en
,

el

'0, "

0"

,
"

"

FICURA.
, ,',

,.04
" I ',', ' ,

,1

una

Un oricicIo queda determinado poi:~ p,wi~" to lmite A y uno' de sus puntos M. Dado' otro ' oricclo determinado 'por, los, puntos arilogos A' y M' existe. siempre ,m],:movimiento :que transforma A en A"y M .en ,M'. Por lo tanto':' dos oriciclos cualesquierason congruentes;' "
'. I .' y'

1 S~ dice que ~a curva es ,un~: tr~y~tOria 'ortogo:' 'nal a las rectas de un haz' cuando eorea , eltas' rectas ortogonalrn.:nte. ' , ",: ,1:.

..... .. :' ~.Estc,11~(:ho: e~rD.ite'definir, en geometzia ~ , hiperblica, ~~ unidad absoluta de Ioagitud, ..-,1h,st, '~nside~ ~1'arco de oricielo compren, ~~; entre 'l;J:,p'u~~ :M: y el punto N' corres, pendiente al' dimco:o paralelo a la tangente ~n"'~f;(fig" ~4):Estos-arcos son siempre con, gruentes,'pues'si'MN"y'Mt.Nl. son dos de ellos, , correspcndentes respectivamente a los puntos + lmites A,y Al, basta considerar el movimiento .:.quelleva 4- a ,Al y .M .a Ml; entonces los ori:cidos ~respec~yo~.}~oinciden y, dad~.la' cons<truccin, tambin. N coincidid con NI.
,

'

,: .j.I:' (: ..
,'. I

, " ",7.3. Sobre lit Unidad de medida. Tanta ,~~) :J01:;gcomc~.t~':,,~~,di~a, como en la no
""'.

:~ ': :<,' L..:':'~ ',,', ., ," , ..

',-,>. ; .

,.~.cli&apa,: los':ngulcs, tienen una. unidad na~~., de medi~: ~,.D~o .recto.: En efecto, ~ ambas geometras, .Ias .dcfinicicnes de n, iu.Io~, adyacentes. .d~Igualded entre, ellos " :.:-:-d,Cfiniciones;q~e entraan la, de ngulo recto-- son consecuencias inmediatas' de los con" ,cePto.s' de recta,' nguJ.9, Y congruencia entre figuras, -sin necesidad de otros convenios. ' '. No ocurre ~o nli.m.;t~ con la .unidad de Iongirud, En la geometraeuclidiana, por existir figuras sen1ejantes",:no~.,;S 'posible definir una ,unidad. Je" Iongitud .con carcter absoluto a partir de Jos, fundamentales. Si rodas las figuras' cuyo :es.tudio "es el objeto de Ia 'geometra se, suSti~ye.n por otras semejantes, ms grandes 'o ni;isTpequeas, todo el sistema ;-lgico permanece. Invarianre, Por, esto, para definir: una unidad' 'de; medida para' la:.~IDngi~ tudcs,:'h~y, que 1recurrir a -Ia experiencia. El metro, ya. que se 10 defina' como la diez.millonsima parte :del-Cuadrante de meridiano ,terrestre, o como la Iongimd .del metro patrn de/platino iridiado qu~ :se ,co~serva en Pars, es siempre, una, definicin "experimental", ajena a': la'~gcmetra como 'Ciencia del pensamiento. : Es, distinta ID 'que' ocurre en las geometras ', no.euclidianas. No existiendo en' ellas figuras .' semejritcs, basrarldefinir 'una figura cualquiera por sus propiedades angulares para 'poder. ;t\?~ar una' 'de/sus' magnitudes Iongtudi~~~~",c~mo unidad absoluta de medida. En la .geometra "dptica, siendo las rectas finitas r de igual Ingirud, .se puede tomar sta como

'r'

~~ma~_

'se~

unidad absoluta. En la, geometra .hiperblica la unida? de Iongirud pued~ ser, 'por ejemplo: a) La dis~ancla correspondiente, a un ngulo , de paralelismo dado; b) el cateto de un tringulo rectngulo issceles cuyos ngulos agudos tengan un valor dado (menor de 45 ); e) El arco de orciclo comprendido entre uno de sus puntos y el extremo del dimetro paralelo a la ' tangente en dicho punto. , Para las reas ocurre la misma, cosa. En geometra euclidiana la unidad es un cuadrado de lado igual. a la unidad de longitud y, por 10 tanto, .sn conocer previamente sta, no se puede definir la unidad de rea. En cambio, en la geometra no euclidiana el rea de cualquier figura, definida a partir de sus ngulos Q de una longitud absoluta como las, vistas, puede servir corno unidad absoluta de rea. En la geometra elptica puede ser el ~rea de un' tringulo trirrcctngulo, En la geometra hiperblica puede ser, por ejemplo:' a) El rea de un cuadriltero de Saccheri de hase igual a los lados Iarerales, y cuyos ngulos agudos tengan un valor dado (menor de,900); b) El rea de un tringulo equiltero cuyos ngulos tengan un valor dado (menor de 60); e) El' 'rea del sector de oricielo de Iongitud igual a la unidad. ' unidad !de longitud, una vez elegida, para determinar la constante k d la' frmula de la distancia (ver 6.2), y l~ unidad de rea sirve para hacer 10 propio 'con cons'tante e de (2) del captulo. VII. No .habra , ningn inconveniente en mantener desvincu-: Iadas entre s::ambas constantes. Sin embargo, se acostumbra a relacionarlas suponiendo que para' figuras, infinitesimales la expresin del rea-debe coincidir con la euclidiana. Por ejernplo, una vez elegida la .. nidad de.Iongtud, la u :', unidad de' .r;e~se elige de, manera tal que el rea s, de un, tringulo rectngulo issceles, de catetos iguales ~ una longitud 'a, satisfaga la . I relacinIim ,(2s/~) -:- '1, para ti rendiendo a cero (Coxeter [8, pg. -242]), que es la relacin que vale el caso euclidiano. ' Vemos, pues" que las geometras no euclidianas tienen la propiedad de poseer un mayor

.;
':':'1
" '1: .J

r
1

, , La'
sirve

i I

,1

la

'1
"

/ J

en

fZ
i ,

grado de',determinacin que la euclidiana. Esto justifica la, frase de Gauss :en una carta ~ Taurino en 1824 [18, pg. 187]: "Algunss

veces he expresado el -deseo.de que la' geornetra euclidiana' no fuese la verdadera, pues' aS tendramos una medida absoluta" priori:', ::":1.'
",", , 'l,..'

i,

,',

,d ~ , ~ :~
.' ." ~" I

r ~ " :'
.~ ',tI ~

r
OTROS MODELOS
t

.::,
~. .,: .:. Ir'
Jo

..

:' t'

':,',

t. ~. . r

, "CAPTULO

'vm1':..
:; ! !o,,

PARA IJAS GEOME'OUAS

'.

NO 'EuLIDIANA.S ,
.',
. l. ..

"

~.
: ~",",

~i~ .)

.:::t

r'
1', :

'.\

" !';",

,l.;,,;

..' '

8.1.. Interpretacin proyeetva de la geo'metra no eueldiana elptie, Como ya observamos antes (2.3), .el mejor modelo para la geometra no euclidiana elptica 10 constituye la geometra ordinaria sobre la esfera, con el convenio de considerar Ios puntos -diametralmente opuestos como un solo punto, y las circunferencias mximas como rectas.' Sin embargo, tambin cabe dar a esta geometru modelo proyectivo al; estilo del estudiado con detalle para la geometra hiperblica, .Se tiene: La geometria ell l"ica es la geometra, sobre todo el plano proyectiuo en el, cual: a) los punto y las rectas son los mismos de la geornetrl pmyectivt1j b] los movimientos son las pomografias que dejan ,invarianle tena 'Cnica ima ginaria (absolttto Q del planp). Por la condicin a),. como 'dos rectas del plano proyectivo tienen siempre punto comn (propio o .impropio ), resulta que no se cumple el postulado de EucIj~e$, sino qu: PQr un punto exterior a una recta no pasa ninguna paralela. Las rectas son, aparentemente, infinitas, pero por tener un solo punto impropio resultan lneas cerradas, y' ~dems, con la mtrica anloga :1 la del caso hiperblico (6.2), que aqu debe tomarse de acuerdo con b), resultan de. longitud finita. ': Una cnica imaginaria puede definirse analtica. o sintticamente. Desde el punto de vista 3n~'{tico se trata de una Curva cuya ecuacin es de segundo grado y carece de Runtos reales, por ejemplo X2 y2 1 O. -Si se hace el

estudio del Captulo IV analticamente" no' .hay apenas diferencia entre el'caso-real y el imagi.:, 'nano. 'Por ejemplo, los conceptos de. polo" Y .polar, que aP juegan.un papel fundamental,' se estudian, por medio desusecuacoaes, exac-' amente delmismo modosi la cnica es iinagi-'
naria, _ -' . ( , ::; ,:',...

.r .L !'.!. :":,,.:

un

Si se quiere proceder sintticamente J:aYi.ql:e' partir. del concepto de polarlatl, como co-. rrespondencia biunlvoca .entre .puntos y del plano, tl que a-puntos alineados les corres-:

~t2.S.:

un

+ + =

penden rectas de un haz. Entonces los puntos . ,que pertenecen :1 su polar constituyen -:-por. definicin- una cnica, que puede ser, real , o imaginada, aun siendo la poIaridad.una;orrespondencia siempre real As procede, por ejemplo, Enriques (23 J. ;"(,' '; ' '.' I ;. Desde este punto de vista,- la. ,mayora de los razonamientos del: captulo' V;. sigjten' ,va-, Hendo, y dan n'$uli:ado~ .de' .ta, geometra 'elip~. tica. Respecto de las:d.ist3nCias y, heisJ13:Y. que .observare /1)' la distanci'; est dada:,por la misma frmula. del,6.2~.sl~_que:;uora y V son puntos iirutgt'lanos (cuYaS,"~oord::"" nadas se obtienen buscando los puntos: de' ," interseccin de la recta AB. con 1:i cDic 'ab- . soluta}, y pam que la distancia' sea real la . constante 1(.. debe ser imaginaria; ':b) con , esto, la frmula para. Iavdistancia entre-dos puntos toma exactamente [a-misma fOnn3'que la (5) del captulo VI parael ngulo dedos rectas, de manera que la dualidad se 'manifiesta tambin en la medida; la longitud de.la recta resulta finita, as como lo' es la-medida del.nglo completo (el formado por todas :w' rec-

U:'

Ir ,
!

"

'_"-.

"

tas que pasan. por un punto); e) la suma de los, ngulos de .un tringulo es mayor que dos rectos y el rea del mismo, est dada por la frmula .F=c(A+B+C-x), que es la bien conocida 'de los tringulos esfricos, y que difiere de la, .. el caso hiperblico nicad mente en que el 'defecto del tringulo es sus '~twdp' por: el exceso: .. ~ ?,',2~:,. tros .'mo~cl08 para la geometra O , 110:: uclidiana hiperblica. e As como la geometra elptica, adem~ del modelo proyectivo, tiene el de la geometra sobre la esfera, 'se puede pensarsi existir alguna superficie del espacio ordinario :tal! que, con convenciones adecuadas, la geometra sobre ella coincida' con la geometra plana hiperblica. 'La primera condicin es saber qu curvas de. la superficie harn el papel de rect-as, y la contestacin es . naruralr las rectas sern ls' geodsicas de la su perfice,' o sea/ las curvas que (por lo menos para puntos. prximos)' ~e.~n Ias de longitud mnima entre .rodas las' qu~ tengan Jos mis,mos extremos, 'Recordemos qu~, en el caso de la geometra elptca, las circunferencias rnxi-rnas. son, efectivamente, las geodsicas de la esfera.' ",:' ..' . , El problema: as planteado fue resuelto por Beltrami [29],"~1. demosrrar que' la geometra plana hiperblica coincide con la geometra so-' b'~~ ',:un:as. supe~~iSies.:, ,espeCiales l1am~das "de .. urvatura constante.negativa", El ejemplo ms c si~ple de 'estas:;~up'~rficies" pero no el nico, es' el' de la llamada 'pseudoesfera, que es la supe!~icie ~ obtenidapor :re:volu~i6n, alrededor del. eje J, de la curva Ilamada tractriz, cuya ecuacin es ..' '!'.;', .. f ' ,'..:--;.' . .

, -al .plano) y sin singularidades, pero Hilbert . demostr que tal 'superficie no existe 'en el espacio ordinario [ 35]. En cambio' existe, 'y Bieberbach dio un ejemplo, en un espacio de infinitas dimensiones [33]. Sin embargo, para zonas limitadas, la geometra sobrev la pseudoesfera coincide con la' de Lobachevsky-Bolyai, Un estudio detallado en esta direccin puede verse en el libro de

A':
I

I
Schilling [1.3] ..Como su estudio 'se hace a par'tir de la geoinerria euclidiana del espacio de tres dimensiones que contiene aIa pseudoesfera, resulta jarnbin demostrado ppr este, camino que la' geometra hiperblica no puede contener contradiccin si no la tiene la geometra euclidiana, Ms an, puesto que se pro, cede analticamente, no puede haber contradiccin si no la hay en la geometra analtica, es decir, al fin de. cuentas, si no.lahay en la aritmtica. Esta fue la demostracin de Beltrami, en 1868, de' la ndemostrablidad , del' postulado de' Euclides. . . Resulta as que la geometra elptica es la :de la superficie esfrica (para zonas limitadas) ; superficie cuya curvatura (llamada cur-

;~" ,' [v~-'~~~oga+

" ;"

. ~, ~: . . .siendo" una constante tal 'que precisamente , la.curvatura.de la superficie.'es'-1/a2 J .Esta superficie tiene el inconveniente de tener. una curva singular (la circunferencia AA' dela fig. 5.5). Habra'sido muy deseable tener ~ mano una superficie de curvatura constante : negativa de extensin infinita (anlogamente
54

V:

_X

].

,I
1
1

8.3~El modelo de Pohicar. . Desd" el punto de vista geomtrico,' pa~a estudiar una superficie de curvatura-constante y' neg~tivi' .es cmodo disponer "de un:'umapa" o representacin de la misma sobre i.e1,plall'o;'o'.,sobre una parte de ste. En 'esta represenrscin conviene que las geodsicas;(rectas. de)a.go~. metra hiperblica y .'paSen:: ~ :ser' curvas' "4tn~ ples, por' ejemplo reds.: (j';'circunJereridas~ , . Una representacin'. muy' til, af inismo tiempo constituye un modelo interesante .de la geometra hiperb6lica; es 'la dada por ,IPoitcar en 1882 [37J. .. ;.: : :." i; .... con la geometria de la esfera beyo' radio es' la Para estudiar esta'; representacin- c~~~i~~e suponer en el plano 'un par: de ejesortogonaunidad imaginaria i = Y :.l~ . .Esta observacin es-futiy u-til 'para construir ,.' "lesx e y, y representar cada puntopor elamero complejo z=x+'iy.iEntonces, 'Ias!catoda la trigonorneera hiperblica a partir' de ractersticas de' la representacin' 'd~ Ponar la. trigonometra esfrica ordinaria. Bastar, son: en efecto, dejar en -rodas sus frmulas los nl. El plano' hiperblico esd constituido por: gulos sin modificacin y, en cambio, sustituir el semiplano euclidiano y > O~ : los lados por su cociente por' (radio de la 'esfera), teniendo luego en cuenta que para. volver al campo real se pueden introducir las y .funciones hiperblicas en virtud de las relaClone:! .
vatura de Gauss) vale l/r' (si' la esfera tiene radio .a) decir, es constante y positiva. La geomtrla 'hiperblica es, en cambio, la geometra sobre las superficies. de curvatura _. l/ro Analticamente, la diferencia entre ambas superficies,' en cuanto a su comportamien to in trnseco, independiente del espacio .en que estn contenidas, consiste en que si el ra. dio de la esfera es a, el de la pseudoesfera es ia, . para que la curvatura resulte,' para ambas, Igual a la inversa del cuadrado del radio. Se explica as la observacin importante de Lambert de que la geometra hiPerblica coincide

,.~S

'que'

sen i

a
=.-1

senh

ti

a cos -.
1

= cosh

ti ;

de las cuales se pueden deducir las restantes funciones trigonomtricas. ~ Por ejemplo, las dos relaciones clsicas. "del . seno" y "del coseno" de los tr~ngulos esfricos: sena sen c sen b senA senB sehC ' 'cos ti -:- cos b cos e + sen b sen e cos A , se transforman, para la rrigonometr!a blica, e~ senh a senh b senh c sen A . sen B sen C cosh a .' cosh b cosh e hiper",

u
'.

v
'.
,
',

FIGURA 16

2. Los puntos son los misri1~del plano. Las

senh b senh e cos A .

rectas son las semicircunferencias cyo -centro est sobre el eje' x'y, como caso limite, las. rectas perpendiculares': al eJe x. '.". . ..
. l' ..
I

De aqu'se pueden d~ducir t~das la-sfrmulas de la trigonometra hiperblica (ver, por ejemplo, Norden [11], Coxeter [8], Lieb-' .mann [10]). , .

i;'

'.:

n .

3. Los movimientos sonlas transfo~macin~ , .'. ('1)

.'

.'.

, l

.con la condicin de ser a, b, 'C' y reales; y ad-, be > O.' , ,,','Con estos convenios, es fcil comprobar que:: " ' ,
, "

duccn todas las propiedades sobre rectas per,pendiculares del plano hiperblico. ;,
e) .Para, medir distancias ~ puesto que los movimientos estn dados por la ecuacinj 1), que es la de una proycctividad entre las: va-

.... a) , Una, 'recta :

puntos,

'

,.,

'"

queda determinada ..

por dos

:',i.': b)

Como t': ej~' x 1~6 pertenece al plano 'hiperblico, las rectas :50n ilimitadas, (no tic'nen extremos).

j_

:.

_. !

, riables complejas z y z', se conservan las razones dobles y, por lo tanto, los mismos argumentos de s.z conducen a que la distancia' entre dos, puntos A y B est dada' por la expresin ' '

e
.FIGURA

v,
17

.. D = klog 1

CUV AB)

, ,(2)

e) Dada una, recta r~UV

.que no pertenece; a" ella

.. un punto A (lig. ) 6), las' rectas

La razn doble entre los cuatro puntos U, V, A y B hay que entenderla corno la razn doble de os.nmeros complejos que los repre-

ser secantes, .no secantes.. {como.caso lmite entre ellas. ya que por: A: pasan :Ia~",.dos' rectas AV 'y AV) paralelas. El ngulo;U AVes el doble del n-gulo de paralelis~o';:', ' , Como 1~ funcn '(1), que relaciona z , ' 'con' z',.es analtica, da' una representacin con'forme' (es decir, :que conserva 'los ngulos), .. ' "del semiplano y .>..0'sobre', s mismo. Es decir: : los. movimiento; conservanlos ngulos (en el , ..~!!~ti~~-euclidiaao) ...E~~ significa, que en e! ,.w?d~!.():der.~in~~~~19~\ngulosestn dados en :~?-verdadera magnitud. ,Naturalrnente, se trata 'de .ngulos' entre circunferencias, que hay qu,e,medir por el de.las tangentes alas mismas. Por; ejemployIas rectas perpendiculares estn representadas por semicircunferencias ortogo'~!lalescon su centro en eleje x. De aqu se de',"')
56,

que pasan ,'por

'{1.' pueden

FIGURA

>9'

senran. Llamando ,u y v a las abscisas de u y V (nmeros reales) , r al radio de la semicircunferencia que contiene a A y B, Y (l y'p a los ngulos v CA y VeR, si C' es la abscisa del centro C, recordando la frmula general '

e" = cos x i sen x , las abscisas de U, V, A y B sern (fig. 57)': r& = e - r , , v == e r ia a == e + re , b == e 1'ellJ

+ +

Por Jo tanto, aplicando

resulta

(3) "del Cap. III :

e~P~ erl! -

(UV AB)

==

e~a

e'" -

+1
1

==
1

== tg eP/2) : tg
y en consecuencia

(a/~)

Las circunferencias '"no euclidianas de centro 0, por ser trayectorias ortogonales ~ las circunferencias de centro sobre el eje" x que pasan por 0, resultan tambin circunferencias ordinarias, aunque" no de centro ,0 (fg, 58). " ": : ": : ' Los oricidos son circunferencias tangentes al eje x (fig. 59). , " : ,!", ; '; Los hiperciclos son' circunferencias q~,e crtan al eje x (fg. 60): ' ' :"! !" '
J'

f)

AH = /dog

[tg (~/2

tg ~(a2)].

"De aqu se deduce, por ejemplo, que

= co, AV =- co, es decir, el eje x pertenece al infinito" del plano, puesto que cualq~ier punto est a una distancia infinita del rmsmo.

AU

==

g) "Es un ejercicio interesante construir "to- ' da la geometra hiperblica a partir (le 'este modelo de Poincar. Pueden 'demostrarse 'con" l todas" las propiedades los' captulos 'V a VII, las cuales dan" lugar, tomadas a la" iD;::. versa, a propiedades de los .sisternas de: crculos del plano euclidiano. ': '1:: .."":,", ji .. ~/.)I .'

de
'.

'

,":. ~\

: l'

'1

. ,",.~.

: lo:::

,. ! ':
"

)
' .;.

~ "
,

..~

i~~. 1
FIGURA

:.

,'.
,

'.~:
l l

.. ",' "~'." ~
~ a I ,

60
, I

.
"'1

'.:

,. .

: ~.~ .
\

r-.

.~

'

"

, I
" I

:..

57
1"
"

.'

.' ,

l'

, I

APl):NDICE

INFLUENCIA DE LAS GEOMETRtAS NO EUCLIDIANAS DESARROLLO DE LA GEOMETRtA

'EN LA FUNDAMENTACINY
.
'

...

...

El' descubrimiento de 'las geometras no euclidianas fue" para la matemtica; uno de ,)os principales del siglo XIX. Tanto por el descubrimiento en s, que termin con los trabajos y discusiones de ms de dos milenios acerca de la dernosrrabilidad o no del postulado de Euclides, como ,por 'las consecuencias que tuvo en la fundamentacin y desarrollo de la geometra-y aun de otras ramas de la matemtica. " Con las geometras no euclidianas, sistemas lgicos elaborados por el pensamiento con completa independencia de la experiencia, se recuperaba el sentido platnico de la geometra y se volva a lo que la obra de Euclides signific para 'el pensamiento.matemtico. Setermin con la idea, de la geometra como Cien" cia 'del espacio o' de la realidad circundante, ideaquean el propio Gauss pareca sustentar cuando en I~17 escriba, en una carta a 01bers '[18, pg. 177]: "Talvez en otra vida tengamos otros puntos de vista sobre la esen, ca .del espacio, que ahora nos son inasequibles. Mientras tanto, la, geometra no debera corn" pararse con laarirmtica, que existe puramente a 'priori, sino, nis bien, ser, colocada en el 'mismo plano qu~ .la mecnica." Por otra parte, elhecho de ,obtener tan vasto-campo de novedades con solo sustituir un postulado por otro" despert, por, un, lado, la idea de axiomatizar -todas las ramas de la maccmtj~:l, analizando a fo~do sus principios , 58

bsicos, y por 'otro, la aficin al juego de sustituir postulados y obtener, as, una gran variedad de geometras, muchas de ellas sin inters intrnseco, pero siempre tiles para comprender mejor las bases sobre las que descansa la geometra. , Al primer respecto cabe sealar que fue, ' efectivamente, en la segunda mitad del siglo XIX cuando tuvo lugar la gran revisin de la matemtica desde el punto de vista del rigor. Conceptos usados tradicionalmente fueron por primera vez enunciados con claridad y puestos en' el lugar que como postulado o teorema les corresponda. Ejemplo tpico es el postulado de la continuidad y la consecuente definicin de lQS nm~:os reales por Dedekind. Respecto de la fundamentacin rigurosa de la geometra, el mximo exponente fue la obra Fundamentos ~ie la geometra de Hilbert, de la cual existen 'numerosas ediciones y una traduccin castellana [25], y que puede considerarse como la rplica moderna de los Elemm tos de Euclides. Se trata de una construccin axiomtica con todas las exigencias .del rigor lgico. Para cada axioma se prueba su jndependencia y su compatibilidad con los dems, de manera que ya no cabe una nueva controversia como la suscitada por el postulado de las paralelas; La demostracin de la independencia obliga -del mismo' modo que las geometras no

I I

J.

euclidianas sirvieron para demostrar la independencia del postulado V respecto de los de,ms- a construir en cada caso una geometra , en la cual se niega el postulado o axioma, en cuestin, manteniendo los restantes, Nacen as, , -como ya dijimos, geometras muy diversas: Por ejemplo, si no se, admite el postulado de , Arqumedes, se obtienen las geometras no arquimedianas, de las cuales hizo un estudioprofundo M. Dehn [34]. Siendo el postulado de Arqumedes tan "natural" para la intuicin, se comprende que, al no exigirsu cumplimiento, la geometra, que resulta .puede presentar aspectos muy chocantes. Por ejemplo, puede 'ocurrir que por un punto exterior a una recta pasen infinitas rectas no secantes y que, sin embargo, -la suma de los ngulos de un tringulo sea mayor que 'dos rectos. ' Tambin se puede construir una geometra, no pitagrica, en la cual no valga, ni para figuras infinitesimales,' el teorema de Pitgoras. En ella cabe la posibilidad de, que dos' tringulos rectngulos tengan catetos iguales y distinta hipotenusa, ' En ciertas construcciones axiomticas debe tornarse corno axioma el comnmente Ila~ado teorema de Desargues, a saber: si en dos tringulos los lados homlogos se cortan en puntos de una recta, las rectas que unen vrtices homlogos concurren en un punto. Si no se acepta este axioma se tienen las geometras no argueslanas. . El teorema de Pappus ... Pascal (en un hexgono inscripto en dos rectas, con los vrtices alternativamente en 'una y otra, los puntos en que se cortan Ios pares' de lados opuestos estn en lnea recta) tambin debe tomarse como postulado si no se acepta 'el de la continuidad. Su no admisin conduce a las geometras no pascalianas, ' Todas estas geometr as, y otras varias que se podra mencionar, han sido estudiadas con detalle. Su construccin debe hacerse casi siempre analticamente, pues la intuicin geomtrica deja de' ser til. As, los puntos son las ternas de 'elementos de un cierto cuerpo de nmeros (ternas que constituyen las coordenadas homogneas del punto) y las rectas son

las ecuaciones lineales entre :ellas, tambin, con coeficientes del cuerpo.rSi este cuerpo es muy general; se', obtienen, geometras raras~~;Por ejemplo, s es finitcvresultanlas 'geometrs'fil nitas, con' un nmero finito de, puntos y' de' , rectas. Si no es conmutativo, no se cumple el, teorema de Pappus y resulta' una geometra no pascalana. En esta, direccin, para llegar las geometras ordinarias (euclidianas o no) debe admitirse: a) la conmutarividd del cuerpo; " b) su continuidad (que ,puede enunciarse' as: 10$ elementos del cuerpo forman un espado' topolgico conexo y localmente compacto}. Con estas condiciones, L. S.. Pontriaguin ,ha demostrado que el cuerpo de la geometra pro- . yectiva debe ser elde nmeros reales o el, de los complejos [38]. " Aparte de esta influencia sobre la fundamentacin, el ambiente -matemtico creado', a raz de los estudi~s: sobre las diversas geometras posibles motiv un gran-florecimiento de ideas nuevas, que a' su vez repercutieron en el desarrollo, de la geometria.' La posibilidad 'de geometras' distintas 'de .Ia 'tradicional 'plante el problema de las relaciones 'entre el espaci y las 'figuras en l con tenidas; y con ello: el 'problema de los movimientos de' figuras, la defi-,' nicin de movimiento -como transformacin, del espacio en s mismo, idea' de grupo de movimientos, etctera. ". ,: .. ' '" El fracaso de la intuicin, lejos de reducir el ; campo de la geometra fue 'un acicate parasu progreso. Riemann abre horizontes 'inmensos' al definir el espacio como conjunto 'de' puntos dados por sus coordenadas: y con una "rntrica", que, puede ser muy general, para medir, la distancia: entre dos de ellos o la longitud 'de" una curva' [39]. Se encuentra que la$ geome-" 'tras no euclidianas son las 'correspondientes a espacios muy particulares ,(los de curvatura ' constante), caracterizados por la "libre movilidad", en ellos, de las figuras. Se entra de esta manera en la llamada: geornetrfa. de 'los espa- ': dos de Riernann, 'de:,toda'la geometra, moderna y punto de partida de 'gran' nmero de generalizaciones. ':', , ' Como es comn en la historia de la matem-

'los

la

base

.' .......

.tic;:a,.por suerte para. ella, la conclusin del milenario ..enigma 'del postulado de Euclides no fuco un; 'punto:'final"sino ms bien.ipunto de partida de' otras investigaciones y de nuevos . .'. . .,

problemas que' aparecieron, como nueva alborada, justo al cerrarse el crepsculo del Iumnoso da que amaneci COIl Euclides. all en . .Alejandra" tres siglos antes de nuestra era.

'..

"

.. ::

0'

'.

0 ,

"

':.
"

":

~.

'. ' :
;

.' . 'j :
t

:
"

':.

".~

. .~.; t..
., ti .: '.'
';

: , " , .,: l' . ~ ~.

... -: ":'

:.
~"i 1 ::: .

........

. . ..... ,.. ..
:.

~ .',

' I

,1; .
,l

. \

'

.,"
.'
i

. l'

"!
"i: ;,

.
" I

:',1 " " ~ '::

.::'lo 1 .~: :"';

lO:

: "'1

.
.!
,J

i l.' _

..
",

! ,

'.','

t:
...

ji":'

. , ...
t

.:

~;

.1

60

t.~I

.'

BIBLIOGRAFtA

l. Sobre
lo

10B

Elementos de Euelides

Las ediciones ms, asequibles y conocidas son: The 'T'birJetn Books (JI Euclid's Elements, traduccin y comentarios de THOMAS L. fuATH, Cambridge UniversicyPrcss 2. edicin' revisada, 1956. , 2. Gli Elemrnti di Eucllde e la critica antica e moderna, recopilados' por F. ENR1QUES, Roma, 192,.. 2.... Elementos de Geometra (libros 1 y 11), versin directa, introducciones y notas por J. D. G.... cA BACC...., Universidad Nacional Autnoma de Mxico, 1944. R Interesanees comentarios sobre los Elemenios se encuentran en: J. Lnvr, B., Leyendo a El/elides, Rosario, 1947.

2. Geometras no euclidianas (textos)

4.' l\ALDUS, R., y LonELL, 970). J~ edicin, 1953.
1.
DONOLJI,

F~, NidJJmklidisclle

Gcometrie, Berln, Sammlung Gdschen (vol.

" '

R., Ge07llctr{as no euclidianas (tr:lduccin del [raliano}, Buenos Aires. Espa.,:aCalpe Argentina, 1945. , 6. CARSLAW, H. S.; Tbe Elements 01 Non-Euclideon Geomctry amI 'I'rigonometry, Londres
1916. ' , 7. COOLJPCE. J. L., Tbe Elc1IZ1!1JtS01 Non-Euclid ean Gaometry; Oxford, 1909. 8. CoxETEn, H. S. M Non-Euclldean Geometry, Toronro, University of Toronto Press, J' edicin, 1957.

F., Vorles1mgen 11ber nicht-Ettkliis-:he Geomrtrie, Berln, Sprnger, 1928. H., Ni'cbteuk/idische Geometrie, Berln, Samrnlung Schuberr (vol. 49), 1912. A. P., Ele-mentare Ejn!hr1lng in die Lobalch'1'1l1skische Geomeirie (traduccin del ruso), .BerIln, 191'8. 12. SCHlLLINC, F., Projcktl1lt 1ittd 'nichtmkJidisehe Geometrie, Leipzig, 1931. , ] 3. SCI'ULLING, F.,' Pseutlosphrisehe, hyperboiisch-sphijrisebc und elliptiseh~sphjrjsehe Geome ... trie, Beeln, Teubner, 1937. 1) ~. Vanmssr, G., lntroduction la Gomtri 'Ion Exclidienne ,par la mtliode Umenlaire~ Puis, Gautbier- Vilb.rs, 1951.
KLEIN,

9.

10. LumMANN, 11. NORDEN"

3. Geometras no euclldanas
14.

{historla}

15.

BOLYAI, \VOLFANG, Tentamen jmll!1lt71tem sllldioslZm in element matbeseos purae, eleme~ltaris ac sublimioris meibodo intaitiva evdentiaque btc propia, introducendi, Mar05V:.1s~rhelyini, 1832.' " ,, ' BOLYAI, JOfU\NN, APPmclix scientian spalji absolete vr.rl11n exbibens: a ve,ale aut lalsiJa/e Axiomatis Xl Eucldei (a priori hm~ 1tnqulJm decide7Jda) indepenenJem, publicado como apndice de 1:1 obra cneerior, Existe traducci6n francesa (por Hoe1, 1868) e in-

:'

.:

glesa (por Halsted, 1891), esta ltima reproducida como apndice de la versin inglesa . del libro de Bonola (5], Nueva York, Dover Publications, 1955. '16. ENGEL,F., y LOBATCHEWSKY, 1., Zwei geometrische Abha7tdlungen, Leipzig, 1899,' N. 1.7. ENGEL, F., y STACKEL,P., Die Tbeorie der ParalleJlinie71 V071 E_1lkliJ bis aU. Gauss, Leipzig, 189$. . 18. 'GAUSS, K. F., Werltt, Goringa, 1900, volumen ,8. " "1.9., 'LOBATCHE,WSllY, N. L, Geometriscbe Untersucbungen zur Theorie der Parallel/inien, Berln, 1840. Existe traducci6n inglesa (por Halsted) reproducida en. la ";~rsi6n inglesa . del libro dc-Boaola (51, Nueva York, Dover Publications, 1955. . 20. 'REY PASTOR,J., y. BADJNI,J., Historia de la matemtica, Buenos Aires, Espasa-Calpe Argentina, 1911. " . 21. STACKEL,P., Wollgang ulId ,!oha71n Do/yai, geometriscbe Untersuchungen, Berln, 19U. 21. *. DAVJD, L. v., Die, beide Bolyai, Beihefre zur Zcirschrifr "Elemcntc der Mathematik" ~~ 1.1, Basel, 1951 (24 pginas).

.,

4. Geometra proyectiva y fundamentos

BLAScHKE,W., Projektive Geomeirie, Basilea, 1954. ENRJQUES"F., Lezioni di geomeiri proieJtiva, Bolonia, 1904. GODEA'UX,L., Lecons- de gomtrie 'projecti'lle, Lieia, 2' edicin, 1952. HJLllERT, D., FUllda11letltos de la geometra (traduccin castellana de 1:1 7i edicin ale'mana; la primera edicin alemana es de 1899), Madrid, 19 n. 26. REY PASTOR, J., Fundamelltos de la geometra proyectiva superior, Madrid, 1911. 27. REYE, l'H., Geometrie der Lage, Lcipzig, 1899. ' 28. SEVERJ,' ., Lezioni di geometra proiclli'lla, Npoles, 1895. F 22. 23. 24. 21.

5: Geometras no euclidianas (memorias)

29. BELTRAMJ, E., "Saggo di Interprctazione dclla geometra non eucldea", Giornale di maJemaJiche, volumen 6, 1868. 30. ' BOH'M, J., "Untersuchung des Simplexinhalrcs in Raumen konstantcr Krmmung belicbieger, Dmenslon", J. reine u1td ang, Malhematik (Crelle) , volumen 202, '1959. 3l. COXETER,H. S. M., "Hyperbolic Triangles", Script Mathematica, volumen 22, 1956. 32. BJEBERBACH, "Ueber die Enrwicklung der nchreuklidischen Geometrie Un 19. JahrhunL., derc", Silzungsberichle d.er preussischen Akad. der Wiss., volumen 18, 1925. 33. ihEBERBACH,L., "Eine singularirtenfreie Flache konscanter negacivcr Krmmung in Hilbertschen Raum", C011Jm. ma/h. Heluetici, volumen 4, 19.32. 34. DEHN.-M., ,"Die Legendreschen St~e bcr die Winkelsumme' im Drcicck ", Ma/h. Atma/m, volumen 53, 1900. " 35, HILDERT, D., "Ueber Flachen von .konsrantcr Gausschcr Krmmung", 'I'rans, Am: Math. Soc., volumen-z, ,1901. 36. KLEJN; F., "Ucber die sogenannte nicht-Euklidischc Gecmeerie", Malh. Amialen, volumen 4, 1871 Y volumen 6, 1873.' 37. POJNCAa, H., "Thcrie des groupcs fuchsicns", Acta Malbematica, volumen 1, 1882. 38. PONTRIACUIN,'L. S., "Uebcr stecige algcbraische Korpcr", Annals 01 MaJbe7llalics, volumen 33, 19.32. " 39. RIEMANN, B., "Ueber die Hypothcscn welche der Gcomerrie zu Grundc Iicgcn", Abb. der K'onjglj~hctl' Gess, der Wiss. zu Gi:iltingc1l, volumen 13, 1866,' Existe traduccin castellana como apndice de la monografa EsJado actual, mtodos :Y problemas de la geometri dilermcial, por E. Vidal Abases], Madrid, 1958. ' 40. STUDY,'E., "Beitrage zur: nichtcuklidische Gecmerrie", Am. [ourn, 01 Math., volumen 29,
1907. 41. .

e:

VARGA,O., "L'influence de la gomtrie de Bolyai-Lobatchewsky sur' le dveloppcment de , la gomtrie", Acta MaJhemalicaAcad.Sc. Hungarlcae, volumen 5, 19 f4 .42. ZACHARJAS, 'M., "Elcmentargecmcrrie und elcmenrarc nichteuklidische Gcometrie in synthetischcr Behandlung", EnzylJop. drr matl, Winenschaften, Lcipzig, volumen 3, parce-I, leccin 2~ 1.9.14-1.921. .

I, ;,
:

62

..
t

d .

,t
,',

l.:
.\

.'
,

i '

.'
~ .. ~ ...
,,',
" .0,' ",

~.,

.
,

.NDICE "
"

. !.

';

I I , ,

!. ,

PR6LOGO CAPTULO I. .Los Elementos de Euclides

1.1. Euclides, 7; ,}.2. Los Elementos, de las 'paralelas, ~. 7; 1.3.:E~ postulado',V

5 7
o postulado

CAPiu!o
I

Il: "Las geometras

.1

no euclidianas
.1
I '

i .:

2.1.. Las obras de Gauss, Lobschevsky y Bolyai. 12; 2.2. Las geometra,' .. no euclidianas, I.}; 2.3. La geom e tr] a.no euclidiana elptica, '104;, 2.4' .1a " geometra' no euclidiana hiperblica, 14; 2.f. Geometra' y, reaJid~d,;H;" ;' 2.6. Nuestro' programa, 16. '" ,.. , "
. ..

CAPTULO

111. Geometra proyectiva:

formaciones .

-.'' ..t: .. :',:'.: . r' " I. El plano proyectivo ~ysus ti-anl-': . '. . ,,' .:'. '. . .. '. . ..

17
"

",

3.1. El plano proyectivo, 17; 3:2. R.azn doble de cuatro ~~~'i~s:' ~ui . variancia 'por proyeccin y SeCCiQD, 8; j~J. Rai~n doble de cuatro ree-. 1 ras, 19; 3.4. Cuaternas annnicas, 20, l~f. Teoeema .fundameial~',21; i 1.6. Puntuales proyectivas y. perspectivas, 22;, 3.7. Involucin,' 2-3; ~J;8. :.'\Proyectividad entre haces de rectas, 24; Homografias O :coline~Cio- ; . nes, 21; 3.10. Homografias particularesr Jiomologla,.26. ,
.J

in-;

".
',

j'

'.9.

. ~ ,,' ..: _.

.;

I~

!i.,)!

CAPTULO

IV.

Geometra

proyectiva:

n. Las cnicas
04.1. Ele- ' .. ' 31; : Pro- : ..

27

4.1. Lar cnicas, 27; 4.2. Teoremas de Pascal y de Brianchon, 28; Determinacin de cnicas, 29; 4.4. Poluidad en las cnicas, 29; 4.". mentes conjugados, 31; 4.6. Elementos notables de ua' cnica, 4.7. Homograflss que rransforman una cnica en otra; 32; 4.8. , yectividad entre cnicas, H. .' CAPTULO

V. Geometra no euclidiana hiperblica: 1. Propiedades grficas

,.,1. El modelo proyectivo del .plano no euclidiano, 34; f:2. Los 'movi- : mientes del plano .no euclidiano, 35; 1.3. ngulos rectos, 36; 1.4.. Los cuatro primeros postulados de Euclides, 37; 5.5. El quinto postulado, 37; . 1.6: Primeras propiedades de la, geometra no euclidiana. 38; 5,7. Cons- .. trueciones -elemenrales, 39; 5.8. Cuadrilteros de Saccher, 41.
"

.'

, (.

..
63

-----~~~-:-:::-:--:--;-=:.

__ .... _- -_._ ... :::-::_.-::;;-__..

"
"

"

..

CAPiTuLQ VI: Geometra

. tancias

no euclidiana

hiperblica:

n.

ngulos

dis43

6.1. Suma' de los ngulos interiores de un tringulo, 43; 6.2. Distancia entre dos puntos, 45; 6.3. ngulo de dos rectas, :46; 6.4. ngulo de ',. ' ..' par.;Iclismo,. 47. .
GAl?TULO

VII.

GeomccrIa no euclidiana hiperblica: .espccialcs .

de medida, 52.

IIl. rcas y curvas 48

50; 7.3. Sobre la

).

7.1. rea del tringulo. 4~; 7.2:' Curvas especiales,

'unidad
CAPTULO

",
53
"

VIII.

Otros modelos para las geometras

110

euclidianas' .

8.1. Incerprctacinproyecriva de la geometra no euclidiana cliprica, 53; 3.2. Otros modelos para la gccmerrc no euclidiana hiperblica, 54; 8.3. El modelo de Poincar, H.
ApNDICE.

Influencia de las geometras no euclidianas en la fund:lnlcnt:tcin y desarrollo de la geomctria . . . . . . . . . 58

, I

61

,.

,"

.a e a 116 dcj ro p r i m.i r el 25 de enero de 19GG en 'los' talleres 'grMicos de

LA PRENSA Mi:m~A! ARGENTINA l'

se

I
I
~ !

Junn

8'15

Buenos

Aires

, ,