You are on page 1of 63

·~;!

: \'-1'.'

. }';'_ ,

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

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

...),'1: ,

~::.~ ,
o,f .'
" ,3l..¡ tt ~~
/

S¿ ct, (pO

GE'OMETRÍAS NO EUCLIDIAt\l·AS'
..

,LUIS A.' SANTALÓ,

-,

EUDEBA"E
o' l'

D.I'T O n1 AL V N 1 VE n S 1 TAn 1A D E B U E N O, S .A 1 .a E S. ',l


t

",,. ,', "


\.
; ,
, ¡,
.....

v •

",
" ,
I

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


-Ó, :. ' ',; ", •

.Scgunda-edición: mayo-de ~963 '


• : '; ," • "'1 " • : t": I ' ",

Tercer.a. adícíén: ....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~pósjto de ley


. '.". .'
,IMPRESO EN LA ,AR,r.ENTINA - PRINTED IN ARGENT~A
.,
-: ) ! ;"': ...
.'. ..,.~...
~:;', . ;~1; -r
'~·I.: ~):
..'V-, ..
.. ' ,'0 • "

.. 1: .¡
.~.~ .~~:~:
-=.i' .ijl I ..
\ -.( .. \ ~J. 1 '..:f:

'::;'
..."I.~,': ,-.f· " ..~ , ..
"
. r,i
.:~~ !': .. '," .~I . 1;;11,.<
,. ':.;;:.
";" ·1:Jtii •. ".~'~'; ~~1:'~ ; ..,, '
i· :!" .::.~:-
s- :::.' :!'
, >,
1.(' .!, i.

'.
'1.:
..
r~
.1,',
:
..': : ,-
.
:~ "f~',
\
-,' ,',' l. i¡,I~~I..;'f,

:)PR6LOGO

A los pocos. años de la muerte de Alejandro Magno.. y todavía bajo el, eco
«,

.de .sus resonantes campañas militares, durante los años en que el primero de .los
.Ptolomeos se esforzaba por convertir a Alejandría en el centro y depósito .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 prácticamente no
'.
..-:,¡, ,,;;~::\
...
)e conocen.otros datos que el nombre: Euclides., .;'.: ".
',';,;.;
.:~\' En 'su tiempo pasaron casi desapercibidos .ambos, obra y autor. Sin embargo,
'{:l:·.,::":~ori: el correr .de los siglos, el influjo de' Jos Elementos sobre la historia -de la
"'.;.'~,f"hunl'anid:id {tÚ! mucho mayor que el de las victorias de Alejandro. De éstas no
',:'; )iueda más: que'. el. recuerdo del guerrero que supo realizarlas, Aquéllos, en' cam:-
,.', .bio,' han sido' ;el molde en que se ha estructurado toda la matemática, base-de
¡

.. ']a ciencia y fundamento de ]a técnica que preside la civilización contemporánea.


•. .~: En .10s .Blementos, ·toda la geornetria, reunión hasta entonces de reglas, .em- 1
.pírícas 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 lógICOS.Lo que antes era empírico se convierte en. obra
,. ,:,~deI,~(iiscl1rso
y.del. pensamiento; la razón suple, como instrumento, a los sentidos .
..~ .'.~. :~Elevada' la 'geometría a este nivel,' quedaba automáticamente al descubierto.
, .: :la 'posibilidad:~de muchas variantes; bastaba sustituir los postulados de partida
, .·:,po(otros~· para tener nuevas geometrías. Fueron las llamadas, mas tarde, geo-
,met:r'ías no euclidianas, pero cuya existencia estaba implícita en la .misma obra'
r'de<EucIides.· .1 :. .'

:., '.;. ~.fás 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-
.bién 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 bibliografía; Hemos preferido, tomando la cuestión' desde
"'un" punto' de vista superior, aunque distinto del histórico, exponer con' detalle
dichas geometrías tal como aparecen encuadradas en el marco de la geometría
proyectiva, es decir, siguiendo el modelo dado para las mismas por Felix. KIein.

·5
.' ..

.' '-.,Ello .tiene' el iaconvenienee ..de-suponer' por parte dell~ctot ciertos conocinuea-
..'
. :.i· tos . de geometría psoyectiva, que para su comodidad hemos resumido en .los
'. capítulos IlI.y,IV, pero tiene la ventaja de sistematizar y poner de manifiesto
_. : ... Ja.·,hitima estructura 'de las' geometrías no euclidianas, muchos de cuyos teorc-
.. .. mas saltan a ·la. vista' de manera inmediata, este modelo. en
v , ';': ' ',';'La bibliografía 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 capítulo .de la ci.encia.geométrica.

;,
.: "

r ,' '

' .

• _ I .':_

''. ,: ,.
,,,
, . ,. '
I
¡

',1 ,1' ,,1


. ',1
-, . 1,
I '1
"

I • I ~.
:..". ,~, f:: ., " .
l'
~'
.', r
r ,

,'. \.

.¡i


,,
l'
'

:.

. "

.;

, ,

I :

.1
I '

• ." 1 u'. •"

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

" '
o '. '
, ..
I :
;'
.;
~.
I " " ~'!
," r- ',' •

,. , . }. I I • .'. r l'., ~.,,' ~


" • , ." I r(¡O .,0' l Il'J .. 0: j

• -:, 1,. .... .::_::. :.:': :. ,~~':.'.; ,,;', ::;-:'; ,!:~,!~:';',


1.1 .: Euclides. Poco' se' sabe con certeza tica, lo que Interesa' par~ ,la: historia d'e' la ;má?:
'de 'la vida de Euclides, Según el testimonio de temática es la obra,,:y ésta;:'ali'ri'qu~ a -Euclides. ..'."
Proclo, un matemático que vivió en Bizan- se le 'atribuyen algunos escritós"más~ sereduce!' ,
"cio [enrre los años 410 y:485 de .nuestra era, fundamentalmente a" los' ! famoso~:, Elemétltos. :'::
"Euclides floreció durante el reinado de Pro- .' , ,,'. ,·;:u'~:::~:~. ¡: <;:~:,:i' i.~': ¡/; '.
lomeo 1 [que murió en 283 a. C.J, 'pues es.
I 1.2.. Los Elementos, Los: iElemenfos;'de" .
citado por Arquímedes, que nació hacia fines. Euclides 'for;nan ',un :COh)U~td-de ::0 'Jlbro{de;;~::,'.
delreinado de ese soberano. Además, se' cuen- dicados a Jos fundamentos .aJ.ije!sairol1o~:J6~';<' y ..
ta 'que un día Prolomeo preguntó a Euclides. gíco y sistemático, de'Ja-:geometría;;Es;Ii abrí};',
si para aprender geometría existía un Camino cumbre de la 'matemática':'g'riega:' Durante si;;'r'~':\
,má~ breve que el deIos Elementos, obteniendo gIos ha sido el texto' obligado': de géometría e.:t,:.': .
I la respuesta. de que en geometría na existe todas las escuelas. Es etprimer ~bro:d(funda:"/::. '
. camino real. Euclides es, pues, posterior a Pla- mentación geométrica~:y SÜ, ;estilo ,y~'ord¿na~..·:"
tón: [428-348. :1. C. J y a sus discípulos [como, ción fueron los moldesa los 'que.se ájustaron~·:. :'
Aristóteles, 384-322 a.
C.]" pero anterior a', todas las 'obras posteriores de' matem:hica. ~,".' :;) :
Eratéstenes [aproximadamente 280-192 a. C.] No se 'trata, :e'n.absolutor(ie:''\Jri;¡'maiiu~I·::i '.
y aiArquímcdes [287-2123. C.J.u práctico o de un 'co~junto' de:.;egl~s úti]'~s!<jul,
, Debido a 'estas noticias es costumbre ubicar puedan' servir' para" ctllttilár lo' ,.me'Jir~ .al:: es~¡:"
a Euclides como habiendo vivido alrededor del tilo .de los docuinentos'·~egipdó's '·o¡babil6rticós'.:: ,
año' 3<>0,antes de nuestra era. Sin embargo, te- -de .épocas'arit~riores; Sc"trata de',uná 'estr,li'ctlJra'?,' ,
, nie~do en cuenta que el comentario de .Proclo ,.).lógica que' responde', ex:ic~a'fnerite,''~l, cQ'rl¿~'pi()"!,:;',
fue: escrito más de setecientos' años después, y . de Platón' de la' geometda:I,~.·C(;mé;:!si','Sé'Hati.ra! :::;
: que se carece de referencias más directas, se de alguna finalidad ~'prádj'd;fIó~\' ge6m¿tds~\~'.
comprende que algunos historiadores pongan h:ibl~n: siempre ·:~e'~cita~i~~;.,~~.~l.~#gár/J~alg~~~;;i:':¿,; ',' .:
en duda tal fecha y aun la existencia misma de . gar, cuando en verdad la CleÍlCla':s'e,cuItlva!con,?:::~:;,.:;
Euclides, atribuyendo sus obras' ya sea a otro el único. fin 'de ~onoce~r.t~','!:'(1{epüblicti~'rLibio~:¡¡,:\ ':_
matemático griego,.·o 'a la labor conjunta de Vil , 527)s s , ."."" .',:, ;~,;,'~'.;'l·,',,-!: j"f' I,',I;"¡, ',';' ,!,¡:J..,¡:.',!.",
.; "~~:;~'i ~r~" t;'r~: ·i;;'lo~o.:>f~·;!:i~ '; -í{~J~::' ..
.una escuela qut! hábria pretendido compendiar . Las bases de que parte,Eublldes"para:¡c<hfl-,:'¡:;" .
todos los conocimientos matemáticos de 12' car su geoméerla-son: las"definidories/lós':pb's~\! -:':
época. tuIado~'y las río~iones,~comuI:ies.~'·:, '{':,.::~!~~~ :i·(IJ'~I"'··
Prescindiendo de la persona, real o hipoté- , Las definici01tes ~on:,veirititr'é.s;,·akcótri,ie~zd;·~::': '
, '. . :. .' .¡o,: '0';0 ~ t:::'~:.~ o: .:: o

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


'. . :'0:' :0;"
• .:', ~. o .';.0
o, : •• ' o,
• '.':c
." ';.' o,
.. ":o~:'" ":,. ',,: .' o
. ":':'"

aunque luego en el texto se van introduciendo ,lmcda trazar un« circun [ercncia.
.. SI!

otras más, hasta un total de ciento dieciocho. ~V. Todos/os ángulos rectos S01/. iguales en-
Con ellas se-intenta dar nombre a los elemen- tre si. ' ,
tos con loscuales se va' a construir la georne-
tría., Citaremos algunas como ejemplo. V. Si u1fa'recta, al cortar a otras dos, [or-
ma de un nusmo lado ángulC?s internos me-
, I PU1t.io'~s"lo que no: tiene parees. nores que dos rectos, esas dos rectas prolO1:ga-
, 'L.íne~ es una' longitud sin anchura. das indefinidtlmente Sf cortan del lado en que
, Recta es aquella Ünea que, yace igualmente está,t los á1tg1tlos,menores que dos rectos.
respecto de todos sus puntos. Finalmente, Euclides sienta unas cuantas
Superficie es lo que tiene únicamente longl- nociones constates (llamadas por algunos auto-
rud y :anchura. res axiomas) cuyo número es variable según
Plano es la superficie igualmente situada los textos Ilegados hasta nosotros, pero, entre
respecto, de sus .recras, ", las cuales se encuentran siempre las siguientes.
Ángulo' es lainclinación 'entre dos líneas de l. Cosas iguales a 1enamisma cosa, S01t igua-
, ,_un plano, las .cuales se encuentran y no están les entre sí.
en línea, recta. ,ISi las dos líneas que contienen 2, Sj¡ a cosas iguales ;e le~ agregan cosas,
" ' el á~g~lo son rectas, el' ángulo se llama recti- iguale.!, las sumas son igll,ales. j

,l'
. lneQ."
i
....
' I
" • J' . '.
0..:

.\.:
I

"
3. Si de coses.iguales se quitan cosas igua- '
,: Rectas" perpen,dic1dares: si una recta forma les, los restos ron iguales. ' "
con otra' ángulos adyacentes iguales, cada uno, 4- (ó 7 según- los textos). Cosas que se pIte-
de estos ángulos es, recto y .las rectas se lla- de» mperpOl1-ar últ.0a otra S01J' iguales. é',~'
, ~a~ perpendiculares, ',:' tre sí. ' , ,
, ;~'R,ec't~s,-p'aralelai ~on:'aquellas que", estando 5 (u 8 según los textos)'. El todo es mayor
.en 'un mismo .plano,' no se encuentran al pro- que la parte. ',:
:'long~r1~s:' indefinidamente en am bas direc-' ,
, clones ,:': : : ~, "1" i ',,' ',j,' , " , " De estas nociones comunes interesa señalar
.: '. ', . ;:.: .. .:.'; ;~.~.:'~. ~ :'.' '''. . la cuarta. En efecto, 'la idea de superposición
:: : No "es 'nuestro objeto detenernos en poner lleva implícita la de un movimiento que rIle-
, dc':m~r;ifies'to"lo's inconvenientes y 'la incon-
o • I .: ;" ... t ¡ ve una figura (o cosa) sobre otra, y, preci-
.' ' •

sistencia' 4é: )~~~pr~er~~: definiciones ~nterio-


O' ~

samente, la manera de llevar 'una figura sobre'


; res. Responden al afán" que la autoridad de otra,' para .decidir acerca de su igualdad, es una "
1;:4cli~e~hizo,p~~du¡:,ár durante siglos, de defi- '
r de las caracterfsticas esenciales de, cada geo-
I nirlo' todo," lndu só'lás nociones primitivas de
, l~~':--c~'al~s'"l{ary::~q~e ,:i;~~ti'r cualquier cons- en
, metría: Es decir, ya Euclides, aun expresán-
dolo en forma vaga, vislumbró que, en geo-,
I tr~cc~óp; lógi~~::)¡''q~~, ~o
pueden def~r~e en: , mecría, para definir la igualdad hace .falta
,~i"t~~l?i.~~~: ~,~~rlPPP.!~~~ i~n )a~ .construccrones , definir el 'movimiento queperrnite. llevar una
',': 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?-c~mc;>' elementos que sa-
'.:, tisfacen ciertos axiomas, es decir, se definen pliamente discutido, por Helmholtz 'y que, 'I~
1
, 'po'~" s~s .propiedades '( Hilbert [25]).' además, yerconstituye
la geometría según Kleín.
la base de la definición de I

'Siguen después estos cinco .postulados:


,..'! !"". •. " •• ;.i "e ,' '_ • Tratándose de figuras, en vez de "igualdad" "
: ",:,1.; Desde cualquier punto (J cualquier otro se, acostumbra utilizar la palabra "congruen-
se,:p-,ted_etraza_~,::~n,a recta. ,, cia", precisamente para indicar que' puede JIc-
, ::",II..:Toda r~~tili~itada puede prolongarse varse una de.ellas a coincidir con la otra. '
, ltziefinidamCJ1.tC.en la, misma direccián: Con los cinco postulados anteriores y las
_III.: Con cualquier centro y cualquier r,adio nociones comunes citadas se intenta edificar

8
toda la geometría. A la luz .de la crl tica mo- tuición genial acerca de uno de los puntos cla-
. derna, el sistema presenta varios defectos. No ves del pensamiento geométrico l.
'1 ' .: ,
'. figura, por ejemplo, aunque es usado con fre-
cuencia, el postulado de la continuidad, que 1.3.' El postulado V o postulado :de'.I~~1
en la forma dada por Dedekind se enuncia: paralelas, 'De los cinco postulados del-sisre-'.
. Si los puntos de 1tna ~ecta están' divididos ma de Euclides, los cuatro primeros traduceñ':'
en dos clases, de manera Q1tClos de la primera 'propiedades más o menos evi den tes. para' nues-, -.
clase precedan a todos los de .14 segunda, en- tra intuición geométrica¡ Elrnériro' consiste ,en,:
tonces existe 1m P1tnto, y sólo 1tná, que separa.
haber sabido seleccionar,' de entre el sinnúmero' ~
a ambas clases, es decir, que sigue a todos los de tales propiedades, una: Cantidad redúcidí-" .
, de la primera y precede a todos los de la se... sima de ellas que fuera. suficiente. paraeons- '
truir la geometría. El postulado: Y,i en cambio; "
gUtida.
llama la atención, y ello desde.el principio ....por ..
, También .esusado, sin qu~ sea postulado ex- su mayor- complicación' 'y ·po.r-~c~recer"·de la'
plíciramenee, el hecho de que un p.,unto de una evidencia intuitiva de'.que gozan:':los :.·demás;·.'
recta divide a ésta en dos partes "separadas, o Es probable que al' mismo Euclides" no 'se; le.'
.de que una' recta de un plano. divide a éste escapara esta diferencia y. procurase.ven tóda
en dos regiones, así como el siguiente postu~ su obra, evitar lo más'. posible leste 'postuladoj"
Jado de Arqulmedes, que en realidad es con- que aplica por primera vez' para .demostrar .la:
secuencia del de la continuidad, y que ·luego proposición 29 del Libro 1,' a+saber: 'una recta'
'resultó fundamental para la construcción
,que corta a dos paralelas/oriria:~'con: e~IaS:}~·~";.
axiomática rigurosa 'de la geometría: '
gulos alternos internos igú'áIcs;:~¿'~respd~die.n.:':"
, Dadas dos magnit1tdes entre las cuales están tes iguales; e inrerioresdé un: mismolado ..·su,,,:~
definidas la nema y la 'relación de mayor a me- plernentaríos, Este esfuerzo de: Euclides' por.'
I

nor, tal-como para segmentos o ángulos, exis- evitar el uso de su postulado V, mientras 'pue'-',
te siempre 1m múltiplo. de la primera que es de, y por construir la ·g~ome~i:íii.con indepen-
mayor que la segunda. ' "dencia del mismo, .justifica !Ia .muy .repetida
Sin estos postulados, u otros equivalentes, fiase de que Euclides fue el ..primer geómetra
pueden señalárseles varias fallas lógicas a los no euclidiano, o bien," que ;Ji "geometrí« no
Elementos. Por ejemplo, 'ya en su primer pro- eu~lidiana nació negan-do su paternidad, ; v- ,';.
.blerna, que consiste en la"construcción de un Hay que observar que en algunos. marius-
triángulo equilátero de lado dado, al hacer la critos el postulado de las paralelas" aparece
construcción lrabitual de trazar dos circunfe- corno axioma Xl (algunas nociones comunes
rencias, de radio igual al lado dado, por los pasan a ser' postul ados ),. 'Así :se lo menciona
extremos de un, segmento de la misma longi- también en algunos trabajos 'posteriores, 'por'
tud (lo que puede hacerse por el postulado JI) , ejemplo en los de J. Bolyaí. 'Siguiendo la cos-
no queda demostrado que dichas circunferen- tumbre gener:t]"que:históric~mente parece ser
cías deban cortarse. la más exacta, nosotros seguiremos llamándolo .
Sin embargo, todos los defectos que pueden .postulado V" " :~, I .' •

señalarse resultan insignificantes comparados La primera idea, que prevaleció por' más de
con el mérito extraordinario. de haber cons- veinte siglos, fue la de querer "demostrar" este
truido una ciencia deductiva a partir del cú-
mulo de conocimientos dispersos, en su mayo- 1 Más detalles sobre Euclides y' su obra pueden verse
ría empíricos, que constituían la matemática en las clásicas obras de Heath. [1] .y. Enriques ,[2] •.
anterior a la griega. Además, el hecho de se- :ls¡ como en la Historia de la matemática de Rey Pas-
ñalar' como postulado. al quinto de ellos, que tor y Babini [20J. y muchos pU,ntos de vista, or'igi- .
nales acerca del valor de los Elementos como modelo
.dio origen a tantos estudios y discusiones du-' de construcción matemática, en el interesante libro de
rante más de veinte siglos, demuestra una in- B. Levi titulado Leyendo a E~clidis [3 J.,

"
9
.'.
postulado. Los sucesivos ensayos. de demostra- , .sición (que atribuye a Aristóteles y toma como
, ción 'no' dieron: otro .resultado que llevarlo a :evidente): ]a distancia entre dos puntos: de
. otr~s':'formas equivalentes, aunque a 'vecés de dos rectas que se cortan puede hacerse .ran
, apariencia If.luy: distinta de la del enunciado grande como se quiera. prolongando¡ suficien-
original -,,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~~ ..so~ J;lO cerradas, condición' ésta líneas no cerradas, el postulado V equivale a
': que .antes se consideraba, implícita en el postu- Va. Si U11arecta encuentre a una de Jos pa.
,',, Iado)I,'(ycr;·2!1).:~:'
... l" ' "
",:l'
, ',. , ralelas, encuentra necesariamente a la otra; ¡'
',' " 't!.na'·~en4encia, queafloré.repetidas veces, ,
también puede enunciarse de estos modos: '
Consi~te-en 'modificar la, definición de rectas .
, p~al~~i':S~iúp.~u~lides: son.aquellas que 'Uno ,~f ,v l. Por U1,. PU11to exterior a una recta: se ,
,,:~':'ie~c~é~t:rap r p'ol' que se prolonguen". : puede trazar 1!na y solo una paralclil a dicha.
I~~~:
recta;' ,
'~f;~a.:a$í"ab~ert~..1a, posibilidad de que existan
r~~ª~ ,~sintó~ca~~i ~s;:de~ir, rectas que, como Va". Dos rectas paralelas a, U'Ila tercera, son:
'·09l~f~\~~,I~:!ú'p,é.r~ola;y:s~s,asíntotas, nunca' siempre paralelas entre 'sí.
pc;tQ·,:que ¡SIn 'embargo no, se
,se./;e~cll,~1.1~~en;r' La f~rrna Va' es la más comúnmente utili-
':~~~~e~~ll;,eq'ujdf~,~a~~es~,;:~~<? que su dista~cia ' , zada. enIa actualidad en los textos, de' geome-
11~g~e;,~,,:ha~e,r~e:l~~n,pequeña como se qwera, tría, y se atribuye generalmente al matemá-
, ',;sin- reducirse ¡~p~c;a¡,i;~efo. Si, explícitamente tico inglés 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 Posido-
D
ni~:'(~igló J'a~'C.)~, ,! ' :'. .,

: Vi.! Dos r~ctas -p'aTalelasS01l- equidistantes.


" Mu~:análoga.~sila forma dada al postul~do
deIasparalelas 'por C. Clavius (1537-1612):
" .. i 1: .. ' ", ! .
,V2. ,Si tTCS:P1m.~OSestán de un mismo lado
de U11arc_ctll,y e_q1l-idist,!nde ella, los tres PU1,.-
los 'pertenecen a una misma recta.
I ,". I • • ~

: Esté .enuaciado equivale a, pedir que ellu-


gad'gcométri~o (I,e;10'$ puntos equidistantes de
u;Darecta' (de' un' xpismo lado de ella) sea ~tra
recta. ' :
. Procl~,::el' matemático bizantino al q-ue se
deben q~~.' pocas ;~~t,i~i,~s"que: sobre.' E~clides
se..conocen, y los 'ppmeros comentarios sobre , • I
Del mismo tipo, aunque muy postenor, es-
los 'Elementos, se 'apoya' en la siguiente' propo-
,.:,' • tI,=: ,t':
..... ' ':' la forma a que lo reduce A.' M. Legendrc.
, '. ,1' La obra' de, Proclo. se ,d Libro 1 ' #tula' Comenterio (1752-18H),asaqer: " ;
iJe 'los "Elemento's'~ 'dc 'EúéJiJes.
Desde principios del. V,. Por U1t punto cualquiera, 101Tl4do en. 'el .
siglo xvi ~
hicieron va~w edícíoaes latinas, de esta obra,
, interior de UtJ ángulo, se puede siempre trazar
una eJe eUas, dirigida! por, G.;Friedlein y pub]icada por
Te~bner, (,[.eipzig,' 187J).:.rComo versiones modernas ,tli'ta recia q!'-e encuentre a los dos lados, ~cl
hay;ila 'alema~a, de 'P. Leander ,Schonberg, con comen- .tÍ1Jgulo. j ,
tarios'de M. Steckc(194$);y la !r~ncesa de Paul ver 'C De rodole muy diferente, pero ?C ~ra~ im-
Beecke, en: 1948 (Collection.lde: trauvaux de J'Acadé-
1

mie lnternazionale d'Histoire.des Scicnces, n9 1, Brujas


portancia, conceptual, es la forma slgwe,nte da-
(BéJ¡;i~a): : ¡,': :': ' da por J. Wallis (1616-1703): :
,• ~. r ¡ • :' ¡'

i,I
10
.', I
. i

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


. ·Yrs. Dado un triángtllo' cualquiem existe una .figura de la que-hace müy.~frecuehtéluSo~ :.
siempre uno semejante de magnitud arbitrari«: (llamada c1tadrilátero}.de·;Sacc.heri;·~v.er::,.~~)1·'" .
Sea AH 'un segmentó::'arbit~aHo; 'perpéndi~7 .
:Es decir, la ~xistencia de triángulos seme- larmente a él se torri'an.·'(JOs::segmentos;AD·,;_ ~.
jantes: es caracrerístico de la geometría eucli-
diana. En las geometrías no euclidianas, si dos
= BC, y se forma':'::eF'cu~drilátéro :;iABCD .
v( v ~)d triángulos tienen sus ángulos iguales, son con-
gruentes (es decir, se pueden. superponer),
; .}";'_-¡.~\
It·~,¡::·.·!··;-;.:.••.r.\.·I,., ;....~.:,;..\.J.'.'.;.:...:'.:..:,;.:.>
yVlJl 1,','· \': ';.' ;.~:
~. :; • I

pues el tamaño de un triángulo: queda deter- :::! ::':. '.1. 1.::::, "';' .. i.;..:¡;,;-::
~)J~~' minado por sus ángulos, como ocurre con Jos
triángulos esféricos. . 1/:: ;:...~~..:
iEs interesante el razonamiento de Wallis .: : ~>!.;; o ~~\ .. o ••

. para demostrar la equivalencia de las formas .0,:: o.oí ~\. lo]~':;' o'
y y y ¡J. Sean las rectas AB 'y. CD que forman A'
.': ..... ;"';' B': .'_:";:'. :."';'~:;.:,';
. Jos
ángulos a y ~ con la secante AH (fig. 1). .¡/·(I : i.' )0
'. .
o ',"'(

Supongamos que a +~
< 180°. Traslademos FIGURA' 2 '. ;
I ," o

t:'
~i

000
.:~: o ....

.0
: :'

••
'.': o

AB hasta CBl de .modo que se conserve el án- . -, ';'


!.
.... ~ ~.: o,'
I \

J:' , .'1

)':.
~.

:;.

gulo a que forma con AH. Siendo u < 180° _. (fig. 2). Sin eluso del.pósrüladó V se demues-
- (3, la recta CBl caerá dentro del ángulo tra 'fácilmente 1 que el ángulO C es igUal :al D•.. '
DCH. Por. consiguiente, durante la traslación Caben entonces tres casos, según que esteári-
habrá un punto A' en que la recta ·A'B' cor- gulo sea recto,' agúd.b ru-,obtusó. :S~ d~niti'esir~ .
tará a CD~ Si P es el punto de: intersección, que siempre se está ~.il el-mismo .caso;·cüales~ ,
se. tiene el rridngulo A'CP. Si se puede 'cons- qu..iera·:qúe-sean las dimehsicnesde.lá' i"asé'\~B:
truir un triángulo' semejante al A'CP cuyo y de los segmentos igúales !A.p. y BC~t ~pái¿";'. ."
lado sea AC, el punto' homólogo del P será cen así tres posjbilidade(·qtJe."p~eden ~óm~rse' .
el. de encuentro de .AB y CD·; es decir, estas como hipótesis: la del ~ángulo .recto, ,la !del, .
rectas se cortan, lo que. prueba l~ vigencia del . :íngulo obtuso, y la';del. ángulo ~agi1do,¡'según . .
postulado de las paralelas. Que. éste implica . ! .10 sea él ángulo e D:: Saccheri demúes~á :..;' . =
VlI es evidente. .. que" el postulado' de lás paralelas eqUi~.aIe"~~~b.;..: ..
:WalHs opina que su forma VIS del postulado . hipótesis del .ángulo:, recto,!.'i:·.trata)~ego~;,(Je·~." . '.!
es:]a más próxima al pensamiento de Euclides,
puesto que el postulado' III establece la exis-
probar que las otrasJ~'pótel;isJlévan'!~ ~n::á.~:
';::;~.
tencia de. circunferencias semejantes, y parece
'nátural el paso sucesivo' de postular la existen-
surdo. Para la hipóteSis del áriguloobtusO cOn~;¡':1
sigue demostrar que::¡ellá' to'ndúce;:a::;.Ia:l·(:6n~::
clusión .de -que-Ias rect'a.s :son:..,-:.fini~as~lo;,,~ue:;.~;;;;: l..
< ~.
cia
.de figuras semejantes también para otras .toma como el abSüi-dCi'deseadd,'y.:por·lo):in.tc(:·' l.,
figuras .geométr~cas. . '. . excluye "tál p~si~ilid~d,~J~'E~·:i;,.~a~bi?,\.~¡ ~ar~~~~.. ....i'
';Otra orientación, que hace ver bajo un nue- hipótesis 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 geométricos al pare- . contradicción no eX1ste.~y..es .¡preclsamen~e; la :'.. (.
cer muy distintos, es la iniciada por el jesuita búsqueda de l~:mismá.~~o:~qu~;~.~~ría·.~~~ .~.~~d~l: .:. I

. G: Saccheri (1667-1733) Y seguida posterior- . '. . . ..,:> "~~i+::~¡ ·1.l:!;L-¡:'~ : !}}.! ~:' ¡!l. ,*~?.:i.'. ". .:
1 ,I•• I

in.ente po~ J. H. Lambert. (1728-1777) y 1 Basta llevar el cuadrilátero fObre SI rnasmo..dc,rna..... ..;
A. M. Legendre (1752-183'3), según la cual se .' fiera que la base resulte: mvertida·::. (es decir.tq·ti~~;:A::.:! ;'!
demuestra' que _dicho. postulado. equivalente es
coincida con B v:viceve'rs2H¡q~ed:indó Jo'~dc"s:(:~idri",:.:
Iáteros del rnisrn'o' lado con. respécto ::a!·!aJ;2se. ÁB!.lpoi. :.
r
al; siguientes. . el postulado IV, J~ 'snnjrrecta ·AD.i.coinéi~i· :;coll!:BC. ..
:Va. La suma de los lÍ1!gulos';'nteriores d~ un y la Be con AD.:Siendo;.además, ;jguales los segmentos .
AD y De, el cuadrilátád coinCidirá. consigo Iornlstno" en
tiiángttlo es ig1lal a dos 'rectos, posiciÓn invertida Y.
por 10;t:1n~o,.el ángulo le :coiald.:
Saccheri llega a este resultado a tra vés de dir.á con el. D. ." '.. :;'. '.: '1. l: .."..
.' :

. ~. . . 11
. '.
' ...
.' .

cír, .unr siglo 'más .tarde, al descubrimiento de -rna que pudiera demostrarse con el s~lo uso de
'las geometrías no euclidianas. . los postulados precedentes-, y que, por '10
. ·'N~ es"difíci( demostrar que las tres hipó- tanto, iban a· ser inútiles todas las tentativas'
tesis, (del ángulo recto, obtuso o agudo) equi- de demostración.
valenrespéctivamente a suponer que la suma ·En este sentido, Wolfang Bolyai '(1775-
de los ángulos interiores de un triángulo es 1856) 1 escrihia a su hijo Johann, uno de los
. igual, mayoro menor que dos rectos. 'creadores de la geometría no euclidiana [21]:
. Finalmente, es intéresante la forma obtenida "Te ruego que no intentes tú también luchar
r por Gauss (carta a~. Bolyai en 1799 [18]): con la teoría de las líneas paralelas. Perderías
, Vr. Existen tridngtdos de área tat) grande -el tiempo y 'sus teoremas quedarían sin de-
. como se.quiera.' ': mostrar. Estas-impenetrables tinieblas pueden
.; :: Si '~e admite esta proposición, el postulado V derribar a miles de torres como Newron. Nun-
también: puede demostrarse. . ca se aclararán en la Tierra; y el desdichado
. ·.Hemo~, dado varias formas diferentes del género humano nunca poseerá en el mundo
postulado de .Ias paralelas, Se podrían citar to- nada completo, ni aun en la geometría. Esto
davía otras 111as.rodas ellas fueron cnconrra- constituye una grande y eterna herida en nu
das durante las tentativas de "demostrar" di- alma."
.cho .postulado.' ·Et' resultado. fue "siempre la .
"~~stitQci6n .del' mismo por otro equivalente, 1 Como suele. acostumbrarse, utilizamos la versión
de enunciado: más: o menos. simple, o más o alemana de los nombres de los Bolyai, padre e hijo. Para
respetar la forma húngara, en la que el nombre sigue
menos evidente. :Así se fue llegando al. con- al apellido, en algunos libros Wolfang Bolyai aparece
vencimiento de' q~e .se trataba 'efectivamenre como Bclyai Farkas, y su hijo Joh:mn como Bolyai
de 'un verdadero postulado -no de un teore-
# • I •
]ános. '" .

"
, '
CAPiTULO II
, .
LAS GEOMETRtAS.'NO EUCLIDIANAS
: ., 1 ':' l· ", s

, :.,2:1.' Las ~bras"de Gaues, Lohachevsky y intentaron ver claro ·el.significado del famoso
Bo)yai.; Si el ·po~t~.la40·V, en la forma. dada postulado, y cosechadas simultáneamente por
por~Euchdes u ot,ra 'equivalente, es un verd~ varios matemáticos, entre' los cuales, y corno
·.dero·postulado, eI'hecho qe negarlo, aceptando más significativos, se cita siempre al gran rna- i
.!,
'105 aemas~' no: deb~· co:nd~cir a contradiccion temático alemán Karl Friedrich Gauss (17.77,~ ,
aIguna~ Es~a f~e:la ~d.ea¡·q~e:maduró en la pri- 1855) , al ruso Nikolai 1vanovich Lobachevsky ¡
mera.:mitad
'" ,
de1:s.iglo
'I .
XIX; 'y' que: dio por re-
"' ...
(1793-1856) y al húngaro Johann Bolyai
s~lt~A~'I~Ln~fixA~~~t.0;i,dc, .,las."g~o~etrías no (180f-1860). . ;
cu,~hRl~n~~,es·;de~~.J;""l;de.·.la.s:·geol?etnas en que En realidad, los únicos que publicaron du-
. el:,ppg'pla'd9 :V¡: .deJ.~uc~des .deja de ser válido. rante su vida los resultados obtenidos fueron
,}C~fl1o~:t.oda.Ii~e~',:q~e.;.l~eg.a a 'la ~adu~ez e.n los dos últimos, pues Gauss, prillceps matbe-
un determinado momento de la historia, di- maticorum, ya coronado ,de fama por 'otras
cha~'~g~omet~ías" .ii.ó'·puede~ atribuirse 'total- investigaciones, temió siempre que las .relati-
.~:ente: a 'u?a
sola' p~rsona:. Fueron gestadas por a
vas la recria de las paralelas fueran conside-
la obrade todos los matemáticos anteriores que radas por sus contemporáneos como div:aga-'
) "

12
.:
'.
'. l' I ,1, '

. : ' !. ;•.,; ,;~. :' • .v.' 'l..: ';~'::" ~~ .


cienes i~sensatas d~l orden de la cuadratura del rior a ella (fig. 3) . .Torriernos-Irn pUri~o:'cu:áI-:'~.'
o
círculo del movimiento continuo. 'Por eso; quiera M sobre r, ...Y.:·'~dnsldéff'J:nos)Ja::1:'re~fa. \:"
a pesar de. que reconoció el mérito de tales a'=='PM. Supongamos.quejelpüaro ·M. ;müe':':~.: 'se
trabajos y los' alentó, y en cartas privadas dio' ve sobre r;alejándose~infinit'imerité;',.~i:'anto:lía:.(· .
noticias acerca de sus propias investigaciones, cía un lado como hacia' el:otfo)pueddl'pieiéÍl;.;, ..:::
'no quiso. publicar nada durante su vida "por tarse tres casos··· ... ¡ ....
;:.;': :.:>.:
'ii.;i. "if;li,~n¡¡': I."{';;'·. !i.¡.' :::.~¡~
temor algriterío de los beocios" (carta ¡l Bes- l. ·'E~ste 'u~~' únic;~';:~¿~ic~¿íi~M¿')~d~!
;I~:~~~~·>'
.'
se1 en 1829 [18]). . .ta variable a, en la cuál rio:c6tia: ··¿'r. Estai.\ínica·. '.
'Los primeros trabajos de Lobachevsky da- . posición límite: será. hlJ'pai-alela~p'o'r'!p, ~s-> .' a,Jr:~
tan de ·1826 (memoria presentada a la Uni- ta mas 'en el caso euéÜdiá'hd ¡ por.' P)p(zs~·."ülúz' ' . '. ¡
versidad de Kazán y cuyo manuscrito se ha sola paralela. . '.. ~..: \·:i:·,·;!r:.>-¡:::¡;~~T::: ,:,,;:~, U;<}f~ ::'
perdido), siguiendo después varias publicacio-
ne~,entre'1830 Y 1840, fecha es~a última en
. 2. Cualquiera·quei·s'ea·· .. f~ctalq~ej~a~~:~Brt .. la
que aparecen-sus famosas lnuestigaciones geo- P, siempre corta'a r:Jpor. pasa~ning1ina ~.;:no
-métricas sobre la teoría de -las paralelas, obra para/el~. GQ_f) ~t
~J.. i.(l);\~\;;~.J.;,;·j. :·d.:+.r~;...:~;:,;:,
escrita en 'alemán [19]. . . 3. Existen dos' posiciones'Hmiee,' EE'/'i FF_~": .:
. -Los trabajos de Bolyai empiezan alrededor para las rectas secantes; .soil!las·corresporiaidl-.~·"
de 1823, según cartas a su padre \Volfang y á tes a los dos sentidos en':que:.M·
\ !.,
puedc[aléjarse: .' I , .

·.otros amigos, pero su publicación se retrasa :(1. ()' \i,'J'.'¡ t.ir: :r·I!,{~~!'J'·I.·t':..::·.'¡:<:':·i·II.:t ••:·4.r~:·"",,< .•.
I

· h:ista 1832, en que aparecen como apéndice del " ~.~ . ~(. : ...,.;f.':i'fJ {):'L'~'!':: i;, il.~L~r;r'j·F'::'
E ~+/~'; ,¡..,~~ f:'f..: .::.t'.~ t\h:;f,,: .:"'.
· primer tomo de un libro de su padre [14
! .,

. :.~, "~'::.1 ;./:.;,'; ... ~. ;I'~!,i; f~;~ l' +> +

1 i'~\;.': 'v.. ; .•1 •• :." f\ ..'( tot···· ~...


'!: :i .. e-i::~:! ~ .s : !~¡ t":. '1..
• ;':'l -;O •• .:

. y~15J. .' • o: l I

: Tanto Lobachevsky como Bolyai ponen en ¡ l'p ..... ¡J".... r ,. "'¡¡.I¡I··~¡··h,:!·.


~.'\.).,~t·:..'·...:1, ,::, .;:'t:;.J,:' \./:.r~Lf..';,~.:) I

estos trabajos las bases de la geometría y dé la !. > • Ir.! t: ',l. Jo 1. .'.. ". l"':~ l' • i •

trigonometría no euclidianas. Bolyai se dedica


especialmente a distinguir las 'proposiciones
geométricas que necesitan el' postulado de Eu-
clides de aquellas que son independientes del
mismo, a las que Ilarna propiedades absolu-
tas o absolutamente verdaderas. Lobachevsky·. r
construye más decididamente la geometría no'

:::F:} !:;;:
eucliaiana, al negar de entrada el postulaCIO'V
y suponer, en cambio, que por un' unto ex-
~erlOr a una recta pasa más e una' para cIa.
A :...•
: 1, ;¡"r!r1!~i;;'··
infinitamente. Las .recras que, pasan.ipor ,'P ¡;y.:.
. 2.2. Las geometrías no euclfdfanas; 'De- están comprendidas en el ángulo FPE, ó>rtatá'n_
jandó de lado' el desarrollo histórico, así corno á r: serán secantes .. ¡Las' -que .;pasan :):ór ~~P..
la difícil tarea de distinguir a quién pertenece comprendidas en el' áriguló . EPF~, : novcor-
cada una dé las ideas que forman la geome- tarán a r: serán no',.s-eéantC's•.~Las .EE' i" FP' ,'.
tría no euclidiana _'_'y que se encuentran muy de. s~a:ración entre ainbos~.!!Eos de ;:rectas,\ se
entremezcladas en las obras de. Lobachevsky, 1I!.ri1alLPara]!las._Fs decir,. en este' caso:' ,por..
Bolyai y otros autores de su. época, como eUU11-to P' paran .dos;:p!!.ra~~!as a :!',~'in]Iñitas'
F. C. Schweikart (1780-1859) y F. A. Tauri- no secan tes.:
es,. . . '. ...; ~!.~.;.,.. ' :.;~·i·f~'·'.',.\:,:",
t'i ;:~
J • • • • • • • • , .' ,. .

nus .(1794~ J 874) -, vamos a presentarlas tal . (Obsérvese 'que .lasrectas¡ no] secantes, tes-.'
como quedaron una vez' pulidas y sedimen- pon den .también a.la definición- ~e rectas ··para-.:
tadas. .Un .estudio histCSrico· y . bibliográfico lelas dadas por·.Euclides. (ver::l.2 h·sin émbar:"; .
puede verse en el libro de Boncla [5]. go, las posiciones límites tienen .Cierta.spropie~"
~ Sea una recta.,. == AB y un punto P exte- . 'dades particulares 'que hacen convCtiient~ con-:
. .'

. .' 13:
.',

.i ... '

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

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

,,'

• • • !':",
.... .,: , ,¡ ';; I
, .
servar' sólo p~ra t ellas' el nombre de paralelas, geometría en que no se cumple el postulado V. ,
para 'a,sí-"distüiguírl.as de las no secances.}: ' , 'Por tratarse de un ejemplo muy familiar, es
~-Los .casos 2 y _:3 ¡ corresponden a las geome- muy útil para comprender algunos hechos que
idas ~o, euclidianas, Ilamadas, respectivamente, a primera vista parecen paradójicos. Por ejem-'
elJ ptiq( e" bjpl_rb61~clI.,,:':':, plo, el resultado de Wallis, de' que no. puede
.... : •••...•.. ;: ;"f . haber figurassemejantes en una geometría no
':,2.3. L~geomctria:no' eu~lidiana elíptica. euclidiana, se cumple evidentemente sobre la
, ',La, ,ge~mecda':'elíptica,; .es la. que resulta de esfera, donde un triángulo queda, determinado
, "su~.ti~uir,el postulado: de: las paralelas por el completamente por sus ángulos. También, si
. siguiente: ' ,:¡ ,"', " , se considera el lugar geométrico de los puntos
Por, un 'punto exterior, a ,,,na recia "O plisa equidistantes .de una Circunferencia máxima
ninguna p'arIlJela.es decir. todas las recias qm: (recta de la geometría elí ptica) , resulta una
pasan !por 'un pt¡.n!o extcrior a otra cortan a circunferencia menor, que ya .no es una recta;
es/a última. ' : ., ','
se comprende así el postulado V2 de Clavíus.
Con esta íntcrpreeacién de la geometría'
':Consi,deremos (~ig~,j) 'la recta HP p~rpcn-
elíptica es fácil deducir todas sus propiedades, '.
dicul,!~ a,.r,p()r."u~,:punto H.de la misma y la
LL'_ perpendicular.a: PH', por el punto P. Sea por 10 que no vale la pena detenerse en ella.
Así: la suma de los, ángulos de un triángulo e:s'
.M1 'el, punto' en q~e LL' corta a r. 'Según el
mayor que dos rectos, el área de un triángulo
postulado 1 de Euclides ,(inte~pret~do en 'el
es proporcional: a su exceso esférico, en un
sentido de que· por. .dos puntos pas~ una sola
recta) ,:'el punto Ml~·debe,ser único, y' el mismo
cuadrilátero de Saccheri se cumple la hipótesis
del ángulo .obtuso, etcétera. , . .
tanto si M'se aleja':hacia la. derecha como ha-
Ánálogament~, la' trigonometría correspon-
cia la izquierda. La"recta r·resulta a~í cerrada
diente a la geometría elíptica coincide con la
. y, p'or .10 tanto, ~init~.:E~'dedr: _ .,.' . trigonometría esférica. . ',' l. ,

E".n:la 'geomctrla ~eli plica las ;eclas son ce- A: veces se considera también como' geome-
-.las ", (.'. ':r
rraa:,:.' .) '. ,
~{¡"_i', j'. ' ': . '. ' , tría no euclidiana a la geometría esférica pro":'
No _pued~decirse que sean U!~m!t~das", píamente dicha, es decir, la: geometría sobre
puesto 'que no ,tienen ,p..?~~s ~onde empiecen - la esfera 'sin la' identificación de los puntos
o' terminen; por lo tanto no ~ay estricta con- diametralmente opuestos. En este caso el pos-
tradicción, con el postulado Sin embargo, n. tulado 1 debe, entenderse en el sentido de que
"i~plíci~amenie se :.hil~~a::,entendido siempre por dos puntos 'pasa por lo menos una recta. Le" (O/O/'
quevlas rectas ',dc;b~an)~er'¡abiertas e infinitas. Como la idea de estudiar la geometría so-
De ~qui ;que :la conclusión 'de .que debían ser brc una .superficie determinada --en el caso
-cerradas "se¡estimase:"un'aicontradicción con el actual, la esfera=--" tomando 'como rectas las
postulado P',":Y Ja'~ge0n1.e~.r,í~ elíptica no 'fuera geodésicas.o curvas de longitud 'mínima 'entre"
cQ:'lsider~d~,'eli u,n:pr4tcipio~ ',', ' : '. dos de sus pimtos (suficientemente pr6ximos):
f..:'Li:;· cometría~elí i~~a,es' l;t'geometría: sobre es de B. Riem:mn'(1826-1866), a las geome-'
la-~superficie esférica cuan, o se 'conSl eran co- trías elíptica y esférica se las suele llamar"
-mo rectas :13, circ;unferencias 'má~mas., 5ola- geometr'ias no euclidianas de Riemann.
menté¡h~y ..que, c~':lye~j.r~'para evitar que dos
recta~\se .cortcn> en ~dQs.':puntos..diferenres, qué . 2.4.. La geometría DO euclidiana ~iper.;
los p~Úttos'~Jia1fzciralmenté 'opuestos .sea.n 1m bólica. El -caso 3 de 2.2 corresponde a la
solo pi¡.n~o•.:En' ,reiio~es 's~fident~mente limi- geometzia 'no euclidiana propiamente dicha.,
_t~da~:'para-que ;~Q:ha~~,e~::~~as.'puntos diame- Es la' geometría desarrollada por Gauss, Loba-;
tr~lmente'opuestos~'la identidad, entre la geo- chevsky y Bolyai, a la que K1ein dio, el nom- ~
metria: 'sobre la esfera y 'la: geometría ,t:Ií ptíca, bre de geometría hiperbólica. En ella las rec-:
, escompleta .. Se
tiene-así el:.'primer'ejem~lo d~~.
I . ,
tas son abiertas ilimitadas. Se cumplen los
é
.'
. cuatro primeros postulados de Euclides y deja . El mejor método .que., a. uno .se Ie ocurré. " . ;
de cumplirse el quinto, el cual se sustituye 'por' pensar, para ello, consiste enmedir la. ~ma di;-·:::' :
e] siguiente: . los ángulos de un triángUloky';comproba:r<Si' ~.:,.:'
Por un unto exterior a una. recta pasan ella .es igual, maYor,:!o'hnenof .. dos:4u~. i:'-< : rectos::, ..
os paralelas, que separan as infinitas rectas" El primer ¡ensayo .Io- hkó'jGarlssf Diidie'n(lo':lof :,;..... :') ;
no 'secantes de las i"finitas secantes. . . ángulos deJo ttiáóguldUormá~o'ipor:·lis1ciiná5: ;.;.:::~; :
. La posibilidad de esta geometría deriva de' de los montes .Broc~eili~Hoherihagen?'e·~Iiisel~;: /!";'i: ;
que, sin contradecir los primeros postulados, ,berg,. triángulo cuYosrlaClós;.:ñüdeilivaHd·t:dé!·. ;:~.:', .
puede haber rectas que no se corten .(por le. cenas- de .kü6métros~~EI :,;.reSüItad~:frleX(¡üé'.la\ '\r:::;J_ .
ta~to, paralelas según Euclides) y cuya dis- suma diferíade i180~·¡en:~~'dllitidadés-_'ínhY'i.pe~·: -.::.:~~. !
tancia mutua sea variable, llegando a ser tan queñas; atribuibles a erroies ,de' obSérVáCión.~~r -.!. '!' l
.pequeña .como se quiera. De esta manera las " Estos: errores,'] irievi~ábles,,¡,poi1..~p:recis·as¿.;q~e .:} . i.·
paralelas .EE' y FF',. de la figura 3, resultan !;ea~ :las mediciones¡ hacen:! C¡ueTmediante':.tesu· :"f I ,¡.

r~ctas Uasintóticas" a la ,. e: AB, a la cual se tipo de experiendas;tno!·lseá:·~pOsibI~~)'aeCidir· ·


. . i:·· .;
acercan jnfinitamente sin llegar ':l. cortarla. EJ cuál: es la geometría' ~eal· 'déla>;'n'arutaIeza;:;~a~:;, :
· ángulo a = HPE =
HPF se llama tÍ1,gulo de lo sumo ~irven r..para;;.JIegarti:dla>,cohélu'Si6h:. -':;'.: ;
"Ciéñ¡; -v, ¡..
paralelismo y depende de la distancia d =·PH -. de que'·· para' los uso~(:'cornehtes'" de·'¡.J,!,s
, I
:. (.
• .

En! 'la geometría euclidiana es' siempre a = cías e~'periine:ntales,dai:':geome~d2! 'eucliáiaD:l: :'.,:::::.: :
='90°; en la no euclidiana, a varía desde cero,' es
perfectamente .'válida. ~ l.r,:a$·¡~
.'no·:· iéuclidi;i::':.'~: < :'
para d infinito, hasta 90 o, para Jtendiendo nas tienen interés pu'rámente'!'té6rico"cu2n'dó"s'e .:,.;;
a cero (ver 6.4). . 'considera' que' conocer: es :~l::.:úniéo 'fui 'de )2- .: :
De esta geometrla .nos vamos ocupar con a geomeería, pero. tienen valOr.!~sCi~ éórrto.1geo..;'·. ;
-detalle enIos 'capítulos.V, VI y VIt Adelan-.: metrlas para: medir', ~ú t~bse:rya'r' :los¡.~fenorrie~·.: .:
ternos únicamente que, en ella, la suma' de los nos naturales,' Para' 'elIó':'la:'eüélidiana: ·~Súfí.;.. -~.. ' .. 'es
ángulos de un triángulo es menpr que' dos rec- ciente, y es,.también·1Ia ..·rit~sfprác'tid~~pdr je:r' .:.
·tos y que, por lo tanto, corresponde a 'la hi- la más' simple y,la más
'ada'pdda:'a1 la!intuici~n~~·~!'.
,
pótesís del ángulo' agudo de Saccheri,
.
Es-explicable :c¡ue··ásr:Sea':·Los'-'postuI~dos.'eD:
qúe 'se basa una geometría fSei:'elig~nJ,lo::)nás -
':1 .

. 2.5. Geomelría y r:ealidad. Es curioso evidentes: posible pai:bla" intUiCión;;' ésta' . '. Pero.~
observar cómo Jos creadores de ~a geometría es producto de la obserV:ici6n 'de·la natUraleza .,
noleuclidiana de la primera mitad del siglo XIX,· por los sentidos.' Por:·;Jo;"tiiiito~;.alinerios"tÍÜen!.::.)¡·' .
"a pesar 'de su obra. capital, parece que se hu- tras. nos mantenga'm~s :én:
eltord.en dé:magiii~:; .' .: J

bi~ran alejado del concepto plaeóníco que pre- '. tud "'apreciable poi' .Iós! senti(Jos;~.Ja:géometiía. i; .
side los Elementos de Euclides y hubiesen re- euclidiana sed .la niás acorde':con'la: naturaleia~ .:" .
trocedido, vol '¡iendo a considerar la 'geometría por -ser el p~stuladóiide;:E~¿lides\~~If.inásJefi~ ::~,.
.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 po- ocurrir' al trarar .fenómenos :cuyo·I.¡:orden~.;de::.
sibilidad. de'.gcometrías distintas de la euclidía- magnitud sea' muy' diferente t del. qué.'~apredárt. :
naJ en lugar de adquirir el convencimiento de directamente los sentidos,::!coino;distahcias es.:. . ."
·que el postulado Vera Indemostrable y .que,
· " . .. ., .
en; consecuencia, existían otras' geometrras
,. , ... .telares '0 diámetros de !paiticulás ··.ele~tntalés. :,:.; ...

igualmente verdaderas, mostraron una cons-' .. : .','::> .:'. :··n¡j;:::);:t:,(,~·,(\-:··;·~;ij.tr:~t.¡;{;~:'.,


den" geometru. Mis aun,.-sostlene que"el'problema en.;. ~'.
'tante preocupación por averiguar, por vía ex- '; .i cuece de sentido, .ja'·q-ue ·unaTgeómetrí2·'no es ·iñit.. .
i

, perimental, cuál era' la "verdadera" geometría, o menos fI~rJaJml ,ino m~s;o 'irienos.:é&moJtI.:para:.Ser .
es ;decir, cuál -era la geometría' válida en la aplicada a .,un:. cierto :~~mundo".·Pua :el nuéstro~' este .::
naturaleza 1. .. carácter es poseído pOr.Ja ¡geometdá :~did¡:aDa.'i..C:Ver ~.
. ! H. Poiitc2r~, ÚI' rimeltl y 111hipóltsis (trad.:'esp'~j, Es- '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 podría ser que la intuición fa- ción de la que hablaremos más adelante (8~2),
:llara Y' que o~~as:geomcCrías fueran más apro- y luego porF, Klein (1849-1925) en una me-
piadas, .de 'la misma manera como para gran- moria famosa [36], en la cual sistema tizó las,
des velocidades, superiores a las observadas . geometrías no euclidianas desde el punto de
direcramente por los sentidos, deja de ser exac ... vista de la geometría proyectiva, construyen-
tao la mecánica newtoniana (la más evidente do modelos con los cuales se podían obtener
para la intuición) ..y debe ser sustituida por la' todos los teoremas de las mismas. Llegó incluso
einsreiniana.' . :..,.
más lejos que Lobachevsky y Bolyai y, sobre
Desde el 'punt,o -de vista de la matemáti~a todo, demostró que nunca se encontraría con-
.pura, en cambio, todas .las geometrías tienen
tradicción en sus razonamientos, puesto que
igual valor.: Son' estructuras matemáticas dis-
ello conducida a una contradicción en el rno-
tintas: pero :igual.n:iente valederas, cuyo inte-
delo, el cual estaba construido' a partir de la
. rés p.u~4e variar según.la aplicación que se les
geometría euclidiana. 'Es decir, demostraba ~ue
.: encuentre, Paralos, usosde la práctica, la geo-
si hubiera contradicción en la geofl1etría~ no
metr:.í~·.euclidja~~ es .l~.:qu~·mejor se adapta.
En cambio, paraciertos capítulos de la mate- euclidiana, también la habría, por ta1),to, en la
euclidiana. ' -
má rica.pura (te~rí~ de, funciones automorfas) i

ode la físi~a reéricaj'teoría de la relatividad). Nuestroobjeto es exponer con cierto detalle


.: .IQS 'esquemas de las geomerrlas no euclidianas esta iri terpretación proyectiva de las geome-
,. son más apropiádos~;' "'~.:, : .: trías no euclidianas. Creemos que es la mejor
"· ..!{:;:ri· i..
1;.. ' ¡)":':¡::i',::.¡ -.1:!. ",' '. manera de lograr una visión global de su jes~
:. ::~:;2,,~,,¡;
N.ue~lr.:Q.:p~og~~a •. Lobachevsky y tructura y de comprender la esencia de ;sus
.' Bolyaijdesarrollaron su geometría por vía .ele- principales teoremas. Ello obliga a manejaral ..
;. ~,ent:~l~,;Pres~~Ad~~nd~·::d.e~ .po~.tul~do V O. sus- . gunos conocimientos de geometría proyectiva
.: ·tltuY~l?golo,r por. ¡otro; :.pero siguiendo un ca- .que, para no tener que hacer continua referen-
.. mino; ~~álogo'. al .de-Ios Elementos, }tegaron a da a textos sobre
,
la materia, vamos -,a resumir
I
1': mp.cho,s.res~l..t~40sinteresantes de la geometría en los capítulos In y IV. '
.., y;?~;ig~npmetría: -9-0. euclidianas, Al no encon- No vamosa hacer la construcción axio~á-
'.:.,.trar contradicción. e~: sus razonamientos, He-' tica de la geometría desde el principio.· Si-
, . gaban :a la. convicción de- que. el postulado de guiendo el camino de Euclides, pero con todas'
Euclides; era, yc:r~ad~ra~ente un postulado, las correcciones y añadidos exigidos por la crí-
puesto ;que su. negación no conducía a resul- tica moderna, 'esta construcción fue iniciada
tadosl contrad~ictorios. S1n .embargo, esto era por M. Pasch (1843-1930)' y terminada con'
. nada ,más que una' convicción, no una demos- : la obra magistral de D. Hilbert (1862-1943) ..
tración, puesto' que'. quedaba la duda de si la .titulada Fune/amentos de la geometría [25],
co_!!tradicciónEareEe!:_ía ~ algúE_~ev~ reo- . fuente insustituible a este respecto. Dicha
rema .. As~, , en . ciertos' momentos; el mismo construcción' puede verse en cualquiera de los
Bolyai. creyó, p~r un exxor de cálculo, haber libros modernos dedicados a las geometrías no
llegado' a: una contradicción y, por 10 tanto, euclidianas, por ejemplo en los excelentes de
haber "demostrado" el postulado de Euclides llaldus [4], Coxeter [8] o Norden [11].
(ver Bonola [5,' pág. :ll.~J)~ .: . Admitiremos, sin formularlos explícitamen-
-,: ,~a 'prueba ..de;:1.~ indemostrabilidad del p~.s- te, los postulados con los cuales se edifica rigu-
rulado de. Euclides no, fue' dada hasta' más tar- rosamente la geometría proyectiva, y que pue-
.·de; por: caminos.diversos.: Primero por Beltra- den verse en la obra de Enriques [23] o enila
'ini·.(1835.-1900r,.en·I~68,. según una direc- de Rey Pastor [26]. .
'~.' '~ : ;:.< :.' . ¡ :',:. ..: .' . .

, 16

I'
2'. ',,:' "
" .

./

. _ .. , .. :.:< ··<¡:t:.:·:,,! .. !}l.'j'


.' J'''' ...»Óc vÓ. ",H." ..','
.;f~;
,ll,···,ti·,
J>':'.. , ,',
-Las nociones de 'geometría proyectiva que DEFINICIÓN 2...ConveÍlci'emos'efl deCir:qúe.·
vamos a presentar pueden verse con mayor'
detalle en cualquiera de los' textos menciona-
toda recta' .del pl~n("';dcfhie' ¡ün~'punt¡;~¡l1;lmj~:
pio J el cual es' el' niistno"'pa¡,~.;todas' ¡ reéta~ .'" .la~
>~.:
dos en la bibliografía. Las exp~qemos breve- paralelas, . y dístin to' .pára,
'rectas_' no 'iaraleJas/ -
mente en este capítulo y en el siguiente para Por : consiguiente, ...dar un'' p'únto';'impropio,
tenerlas a mano y para refrescar. la memoria' equivale a dar una' recta.o ~ea~JUna,di.i-ecci6n-:', "
de¡ lector. La exposición será un poco concisa
y algunas demostraciones tan solo serán. es-
'~'n el plano.'
. .
Dos:rectas
'.. .,'
.:paral~Ús:d:~t~rrninan·,
l .• " .._.. •
:'."
el mismo 'punto ·.iinp!opio !:[( equivrilef~,.a:;:declr·.:;..'
bozadas. -.
que tienen la' misma ~direcCi~n)~::eori' 'este;'con.:.(:' ,';
I
I
'

. 3.1. El plano proyectivo. DEFINICIÓN 1.


;
venio, elenunciado ·.,~dó~:::rectas
t, !', .: •
(¡itermin~n
t !,," • , k.' , ·..r 1: .: .. " .){ ",:
•• .,'. ',' ••
i: ,!..
,í·': .", I
iin
Se )lama Plano euclidiano al plano de la geo-' punto" nene valtdez:'lgen~ral~:,~,L;J.':.::ií:~~S ;:;;VÚ:!I~i'. :¡'.
metría euclidiana, es decir, al plano que uti-,
, . 'Puesto .que: en'
el'cas&',de;d'ó~:rebtas:;ii~' p.:t:ii::1 ..... .;
liza 'Euclides en sus Elementos; Y. para el cual 'lelas el: pun too q ue' detérmin~n Su ,~jiltersec~: ~:i,,¡,. ; :ies'
valen todos los postulados establecidos en .Ios .ción (que. p~~te:'lece:'~"~~Dib~¡s)}'t~ml)i'éit':'ert!~r ~'!.: :
mismos •.Es el plano ordinario' de la geometría·. caso de.punt:os.imprdpios·sé:~ice~:;~.r;~c5modi-- -,:, ',' ..
elemental, . ..' . .dad de Ienguaje, que':elIos ··:·peiteileciñ~~;/a ~b': . ',
.. ' En el plano euclidiano es cierto que' "dos recta que Jos ¿eterm~a1 :Dc·!esu'Jrian·era;:hda.:.1'-:::.' i
'puntos deterrnínan.una recta". En cambio no '. :reéta'
tiene .'un pun.tQ~;imp:ropio:W.1:sOJo~:ij~~~: :J;~.~:~... ~r !
lo'es la propiedad dual 1: "dos rectas determi-': '.con junto de los ptiiltos<in'ipropios!::).'iieJie::rii{:j¡t~,:) I
nah un punto", puesto que, si bien' cuando .las útiic6 puríto ~.omú.ií:::~to~-:: ttiálquier:::·1;~¿tá::; (fél. .)":. :i.' t'
rectas se cortan, puede decirse .que dererrm ..Ja·n plano,. Y. como' esta rpro'i,je~~~:eh: ':'1.. ', .. : '. .er{c:rso··oe;
su"!punto de intersección, cuando son' paralelas . puntos propios," dJraéteriz'aFi{ ~~~ :r~ctas;~se':.::' ..
no: determinan ningún punto. Para obviar esta conviene en 'decir: ¿¡'de ·:10$ 'ífu'iÍtos .mípi·opios:.:. '
falta de' simetría o. 'dualidad, resulta cómodo . forman' una' recta; .1lárnadi.,:iecld· ;mproPia:;o. :¡. :
recta d e1 In . f"11/.110 de 1.ptano..
1.....,.. ,,:..:>d'f·
¡_,; ; ., " '... :. s . ¡l, .. - , .
e '
, ::,,:.; ;.;; .
ampliarel plano' con nuevos puntos; Ilamados .' . '. . l', ':/:.:..,.... j' . -, \.',"': ;.!".' ' ..\ '; .. '. .
p'll'!1tostmpropios o puntos del injinito, que se- DEFINICIÓN 3. s~·~llama:
¡j,lano': pioyec'Hvo '.~'.
. rán' aquellos.determinados por rectas paralelas." al-plano euclidiano ampliado·..:cOll..los, ptinib·s. ': .
•• .: . . ~ :.' ". '1 1;.: ~::. ,
lmprOpIO!. : l.,: .. ;:" .:\ '
i Propiedades duales (en el pl:mo) son las que se • " l. l' , • ¡, •.:. J ,1 ~,"\,.' ,':',

obtienen un:i de la otra 'permut':Il'~doentre sí 1:1, pala- Una imagen muy:íitil ;·~ellpláno·.proye:c'tÍ'vo :.:,.:
bras "punto" y "recta" y umbién 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.:pun·to exteriór·:(r!(fig::.4)'~·;Consi- .... '
rectas). . . . .
Como los axiomas usuales. de la geometría proyecdva
deremos el conjunto ~de las rectas :y' pla.nds del .
del' plano son duales, dado 'un teorema su expresión espacio que pas'an por ~O (se llama '1'ailiación i
dual t3mbién será un lcor~ma. de vértice O) •.Se .tiene: .;'::' :. ," ..,.,.::.!. ;.~;, ?t·;~ ...
I . : f ','. •

.' 1.!-·
"

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


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

.... .; .. ;
'.', ','.:,.
~:'. " _'r,', " • ¡ l' • • '

,:,;' ",J.,~ :t,!d;(l~jónr,de, vértice o 'comtituye tcn« 'se edifica' con los mismos. elementos de la geo-
; repT~se~~,!c~Ó_n,¡á.e_1 'pl~~o 'Pro_yictivo, con el metría euclidiana}. aquélla podría estudiarse
l. convento de¡: 114?n.ar:. ,~¡rp.1~n!os" a las rectas de la por entero .dentro del marco de esta última,
~,,
r a'4ia~ió1"-y,~,rTectas"
.' _'i • ,1_
{I' los' pla1Jos de la misma.
..j', ; _ .• ," 1, ',' ,. '; • ,~ • ' _
tan solo complicando los enunciados. Esta 'ob-
;.:".E:n 'efecto;' alcortar con e~ plano n; a cada servación es muy importante desde el pqnto
. ": recta a .que,cortea 'n le corresponde el punto A, de vista de la -fundamentación de la geometría.
,.~ de int~.rsecd6n,¡ 'a plano (a,b) determi- y cada Según ella, al construir la geometría proyec-
"::'nad.o por ,dos,.re~tas'-la, recta 'AB determinada tiva no podrá encontrarse en ningún momento
:.p~r'l<?s::puntos:: correspondientes. Los puntos contradicción lógica si,no la hay en la geome-
. .impropios de n corresponden a las rectas de tría euclidiana .
la radiación contenidas en el plano n', paralelo
,a ~.: f\ .rectas paralelas de n les corresponde una 3.2. Razón doble de cuatro puntos:' 8U
._-:misma ::~ecta.paralela ,que pasa por' O, conté- , invariancia por proyección y seceión, DE-
:n~da:en'el plano' n',o "sea.,:un solo "punto" im- FINICIÓN 4. Dadós cuatro puntos s~bre una
.propio: .~~ recta ·~mp.ropia,correspon~e a rt'. La ' misma recta r, y un cierto orde~! ~,B,C,D
'radiación de (.vértice ,:0;, excluido el plano n', ,
-consrítuye 'un,a .representacién del plano eucli-
diano: J;" '.¡ "', ',:::, ,',: .;' .': . ' ,r

, ;""'!, Obsei~~~e' que ';al definir el plano proyectivo , A D


.. nc_>se 'hace '~~~ que, introducir los elementos
, .Impropios como' una "manera cómoda de uni- FIGURA 1

:ficar .cniJnciados;': pero con' ello no se alteran . ,


.Ics' postuladosjque .:relacionan los elementos entre "ellos -indepe'ndierlte del orden en que
, . pun~o y 'recta' de':la~'ge9~etr_ía euclidiana. El están dados sobre r (fig. J) -, se llama raz6n
, .1'),~;: .~, ,;' ".' : : ~. ' : doble o raZÓ11, ottarmóllÍca de los mismos. ~ la'
. ::,,\: :( ,' l;;: ~ 6, expresión
.. AC AD
I
i
.

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

. "
.....
.'

',.., _..; I I
;. I I
.. ,., ,,------
~ 'C
(ABCD) =-:-,
, 'BC! RD
. (1 )
, , .
,

''''.
,!

..', I
;,'. ~ El primer miembro es u~a not~ción. EI;'se:·"::'.
I gundo es un 'cociente de razones entre ,seg-
mentos, los ~uales deben tomarse .orienrados,
, .:i· es decir, teniendo en cuenta, que, 'por ejemplo,
, ,: .
,
.. 1.'.
..
' b es AC =- CA. La razón, doble depende i del
" •• I orden en 'que se toman los cuatro püntos:, Se
,.;, ., ,¡ ',,1 '
,.;. ,.~ , :", comprue~an, por ejemplo, las .relaciones ;
1 1.
(ABCD) = (ÁBDC) = '(RAC;D) =~
'.= (BADC) = 1- (ACBD) '=
'," '.' o" :. -:' : = 1- (DBCA). (2)
;-, . l',! . :;' - '. ,\':,'¡ .."., r, , ••

, .. " . ':: . ~, ¡,FIGURA .. Debido a 'estas relaciones, de las 24 razones


, ~'~',3;;; ·l.~:/'. ::1,:':',~'~~,:.¡:, :;:;;;: e:: ':,. :, dobles que se pueden formar con los 4 pun-
:"po~t~1ado V equivale. 'ar'la afirmación de 'que
", .' ';"1 '.' ;, • , '. • '., • ,0(' ~ ... '
tos de una cuaterna, al variar el orden de: los
'~:':l~:ip':ln~o.Pfop¡p¡,Y,',::?J;lO impropio determinan mismos, solamente 6 tienen valores diferentes.
,·;.?n~,.sola~··reGta,rprop'~sición 'válida en el plano Si sobre la recta r' está definido un sistema
,::l>roy'ectivo. Es decir, la. geometría' proyectiva de abscisas; -o sea, un origen O y un punto
\... ." : i' , • -..: ,

'.~~,."1 '~':'. ~_•: • I I .'

...
~)$,.,.,',
. ~;f\' ¡ '~.,,: •

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

un:idad U de manera que cada punto X esté


determinado por su abscisa x (distancia a O
.rnédida con la unidad OU), llamando a, b, e
y U, ~ las abscisas de los cuatro puntos, la ra-
'. zóh doble (1) se escribe también
,1 ' .'

,;(ABCD), = (abed) =.
I '

,! e-a d-a
·1 (3 )
·f e-b d'-b
, ' .
(A, veces, para evitar alguna posible' confu-
sióh, pondremos también ,( a,b,é ,d)' en lugar
.
" ~ ',del (abed).)' " "
,. , 'La expresión mediante las abscisas de los
,cu'atro puntos tiene la ventaja-de que permite
definir la razón 'doble 'aun ,para puntos ima-
.ginarios, es,decir, para puntos de abscisa 'imagi-
naHa; se la llama también razón .doble de los
'cuatro números a, b, e y d. ;
La importancia 'del concepto ,de razón 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 pun-
to'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 triángulo APC, y análo-
gamente para Iós demás 'triángu'Ios, se tiene:
:2 ar (APC) = PA.PC.sen (ae) = AC.h
2 ar (BPC) = PB.PC.se~ (be) '= BC.h,
donde h es la 'distancia de Par. De aquí
. AC _ PA sen (ae)
. BC - PB . sen (be)' .
Procediendo análogamente con' los triángu-
Jos,APD y BPD, para Jo cual basta cambiar e
por D y e por d en las fórmulas anteriores,
resulta
AD PA sen (ad)
, ,
--_--.
BD PB sen (bd).
Dividiendo las dos últimas igualdades, re-
sulti '
(ABCD) =' sen (ae) . se'n (dd)
, 'sen (be) . sen, (bd) . (4)
"

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

'., .

..0",
"
. " .
'

. ,".

: . z.6n.:·dobi~'.J;'··~u:atro'rectas de u~. h~z, dadas cuadri vértice ..(en la figura son MP, MN,: MQ,
. pór~SUt ec'ua.~joneS,
I
'es ,jgwil ¡j la TIlz6n, doble'
' .,., , NP, NQ y'.I~Q). Los puntos en que se corean
, ~f:~1J.~'coefic~c1!teS'angulares. y
dos lados, . que no son vértices, se Ílaman
" ," :'~ i t ", ;:: j .:' i',: ! •. ;. \"j": •
, puntos diagonales (el A, el B, y el ..f.l).' Vale
, ",·3.4., Cuaternas.arménicas,
o • o!:, ••.... '.
D.EF1NICIÓN 7.
..If
el siguiente: ,
", 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'ar1nónjca"cuan- . pmllos diagonales de U11 cuadrivértice ~om-
,do;Su,razó~ doble
, =·...-1. .
-1, 'o sea, (ABCD)'= . vale
pleto, estos puntas y los de interseccián C011-
los otros dos lados forman un« cuatern« 'ar-
montea.
" "
Así, en la. figura 7 son armónicas 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. Apli-
cando el teorema 1 'a la proyección de A,B,C,D
desdc·M 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 razón doble,' según (2). es.
:X = l/x, o sea xl! = 1; pero 'no puede ser
x -:- 1 .si los cuatro puntos son distintos 1,' lue-
go, será x = _' 1, Io que prueba el teorema.
En 'una' "cuaterna armónica,', por' ser
(ABCD), = (RACD) = (ABDC), en cada

': 'i

"

:: ','
. ;

:~.
....::.

: ,0
,
..",
j~+' • '. Ir; I '1
~l. r
..' . ,"
e B D I

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


" FIGUIlA 7

.,'
•,"
." t •
: ~,.'. '
~• ' :: •
.'
.:1.,-.' •• ' !• ' ..
I
~ '. 1,
" " )'j:':U~aconfjguracló~':fundamental que da Iu- , uno de' los pares A,B 'y C,D. d~..la cuaterna 1

'; "ga,r a'.'cua·~ernis::~rnlon:ica~es la-de la figura ~t pueden permutarse- los elementos entre' sí.
.,,~llamada 'cullári'lllr#ce! completo. Un" cuadri-. , Además,' siendo negativa la razón .doble, .de
',' .vértic.e'..es'un conjunto"d4! 4 puntos,' como los
1 En efecto, según (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-. 'terna arménica, (ABCD), :, -;;-.1;,.; deq¡rVlei,"""~': ¡';.
~,.'J; I:f .,;tdl:i~j,J:i(
rarse (es decir, si C es interior afsegme~to AB; . haga' corresp ondér .":ú~a'~':(ltiater";l.l arm6~i¿~~~¿ '~}~;::'
el punto D debe ser exterior, y reciproca- (A'B;C'D':) :..:...

_"_.f.~de:Lr.;~se~\'dice;'quet'la;~;có~I\:

,;f.,
¡,,' ,_ , .... 1

+.
mente). Por esto se dice que son pares que se rresp6ndencia'" co~s¿í-+~;J~};~~~terrias ¡~irri6~i;!~, '.:
(:,:..
. V'1 :", .. 1,\,¡.~ ."""j fl, 'rr,I,t,,:!'\
",V .k':\ .1 ~\ "; J¡:III~"1 ¡ ~ llt~t
.caso a e.ientonces.e "SigUlente; teorema,', un,,:;\)"I~':'!':
I '

separan armónicamente. Tamb~é~ se dice q~e .


cada punto de un par es elconjugado armo-:' d·"menta
..
.' l.d e Stau
:.
""d";';"':i
,
t·.'";~f .\I .. ".'··~.~tt:J,<1'
,';:"1,
.... ..~';Jr'I¡'l¡rll~
• l' ~, l' í'ió.....,
1'.'I':'; .,
''h\'J'~\
:1.\?""1'; lWh .~.~:},.: k'f':;''-''· :v1•·•·.¡W" .•:_;,: (.
'01'1

nico delotro, respecto del par restante. . . . - ::~.' .:::.. ',".'~; ':.~~r'l~~~~,
•. I :. "';/:.1~i~~~:.
~~~~~~i
?t<:, ~ :. :. t: ~:I :J j :::

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


j', ',S"~fi~¡~!'~-)'.~
'l' r, ~..¡'! ,.,"~J:;¡;.:P\:. ¡:: j~r~··:
IlN-;t!Hf.' ::;:.j:
Es interesante el caso ·en que el punto D .. •. . -.: .;.... 1- ,.'.
;. ;ll¡:l.·~f'\.'f;·i'.,;;.: 1'1·',,;'"'. ~Ii" 'T~'"
, ....
"'¡
I;I·¡,:, ~~'.
se aleja hacia el infinito. En
este caso, siendo • 'o • .~",' • :'.:/:.~ .;

\r'·i~.ll..'-, "~'" ""'.'


\': ; J.¡:,i.~'
~It"'(~f1 It1,.1··; ,
~~_.<.Ittj~:"~:~." :..t;
+ BD)/BD] =
:.' • ",. .1 \

lirn] (AD/BD) =']jm .[ (AB :. ': • ~·.I :":!·~t)~t:,~,~·!i#J.~~. :~·;:,~!k::i!t!;}~! ~t·:"!:


.( >\!t.: ,..:~: :'~t ~~j:( l~"fJ1.~::' . ~r.:.t:~~!;fH~':· ~i.!:·~i::
== lim (1 +AB/BD) = 1,· se' obtiene AC == '., ,,J , .•!..
~7.<:'.. r"::,
.",""."
'. :¡ _.;:.'li<'".!.:.I:t~:,J
(.;;",··"101'1' "j
1:1;:..1 ...i" ¡~
"l'

='7- Be, es; decir, C: es .el.. punto .~edio .de


,i . \ t;",
.":
¡"iL" ...I·.\, ,,.,,.
.:':'" '·:3~·J: .' ".:,..
N' : ..;, ,': ::':
, .. " l.),
;H;~·,;I~l;;:.~.,~~~~
...~.~:~.
If' '" .v.,
AB~ Por 10 tanto: .' ~~·:r ' ... í\~~I:-'Hhl'iO.l~.111,,', ••
.1 .. jIJ ....

'TE9REMA '3. El ámj1tgado ~~móniCo Jel 1 :,' ,.: :!'1:\i:\:",; \' ..,:!,;;;: ;:::1':) ',; Lt:1".')h~!':1}i~'~~ " !:)!; 1 ;

. " "¡'''''/j·'·1 ·.·..·.·H


.r. 'ir' ..L~,.f·::r ~·?rJ·!¡. {,.
(lh,"'··'·'}·'·
"·'II;.lt ...·(~~.t "~t:~I
frllntO improPio respecto' del par: A,B es el' ..!f~:H-'··~~(:· .~¡"
·1 ." !.íJ: '~"':,f ,.(.: . ;, fl'~ ;.V'
I{J',('! .!
ví·j! ,
;'~r 1

pultto medio del segmento AB .. '1":


H .. , ~.:
\;'. ~.Ir:.
IT!;li·:j
:... sÓ:

1
• ~)~:.

:=::::::',
~:¡'hr·,!·~·n(\~~.
..... ,! ·t',r·u~. r ':1 ~
·1 .
.~:tE.. J·:i-~,1~r..: ;:" .
M

'.

S¡"• '-!..

TEOREMA 4 -.'Si un'a correspotidencjá: ·bil¡n~::'.·.' ..' .,' .


VOCII' entre .Jos piinto('iJe':;aos;:recliss f'.r,,·1~¡aer :':.:'~, .
pláno proyectÍ'llO¡ con'seN;~·.las~Cu'?:leNÚIs.~~fmó~:;; .;';";: ;-,.'
1 nicas, .conserva. lil11;biln; ;1í'1I1drh" dl~ (,1-4:..t > '~"'. J!. : 'los las


1
¡: i.
.' iones dobles de dujfe-;J1i;¡s:;~ÍJálei(j11¡er~~¡~/rIjfX~~i:·.:¡i:\'.;·
.: .A. :.c ·
'.La·~déni~s·~~~ti6~}~~'~~~f.F&k~~f~¡~~~ -ti :~~~~:'j~i.i~~?~t;
"'íi"~~W r
'j , la '.pe·na h:icerl~ p:ues'~st;~uY;im'po~tllDte'Je'¡:ins!f;r):.:;;i'~·
8 · '.. .'" . "i"" .i "",.' ""d..1 "'j'¡j: "J '. .•
trUctlva~: ;i' :,! ·r;··!';'~::il;;~,~fLY,lf/f:~J;;··r[ ..:t~'!.I·;il;~i:~q?:!·,;!:~\.:·i: :: 1\ ', •
'FICURA

Tomemos rn·. cada·;u'na~de;;nis}reCta's~.un¡;·sis;.t;: -:: .: ::.


.l. . te~a" ae~
ábscis'as~:'de' !riláIi~'t:f{qti~1" c;ad~J.plflít8~:; :(:1. ~::~ ~ .;:;
.' ·Géométricamf.nte (figt 8) este teorema se . quede' deterrhina'clo';'
pof~,~ri~'riúfri¿io 1·r~ar:frSU~. ;k;:l- ; r
puede .enunci1r: • ·Se··· O·I·l'~··••. I:~·.""(·'t{..: ""'r'¡I'·OJ·)'''!'!·Urr·<¡-<·I~¡:I:(i¡:t·:·I:·~
a b SClsa.; an ';e:. 0" g~.~ ¡ aOSClsa.: 'h ,;'. e ) /.h';' .~ l'

.,tEOREMA: 3'. Si se.1men los vértices. d~ la ba- punto unidad "'(abscis~··.J) !.~ 'ly¡:D!el~,pun:tó~imt·~:~
;',::
..;:,:..
se dc'1en triángulo con los pt/.ntos'en que 1ma prop~o .0; del ii1finito\:;(ábscisa' '1:00 !. :'~" >t~/de::~.fE:;;.:~:.:
paralela a ella .corta a.los otros lados~ el pun'to '. Las mismas Jetras, :·i.'c()n'·:; tildes,' .¡hldidtán!¡Hot,: .";.;:, !;~
de 'intérsección' eStá sobré 'la mediana corres- . puntos coiresp'oridieh~es':'bri:ir'¡:se&ún .Iak~rr~·s~:i:
.',:"'.:.:':
poit.diente
, . 'al ter~er vértice.:' ·pondencia dada; ..estbs" ¡püriios·.:rio~.;.sii~n}yen:.:: .::;..',.;.

"general, los puntos .órig~ri~.:li.riidád: imprbj,io':: '.' e.
3.5. Teorema ·fundame~lal. Suponga- '. de r', pero' por .dos pioyecCioneS'~(,~veruentéf~ :
mos dos reétas r y. r', y ll;na correspondencia siempre sé·pup.dcdlevár"~/LJ:~yiL~ sdl)r~'btñ{' ;:
biuní'voca entre sus puntos tal que·.a ~oda cua- recta 1'1' de manera que ..co~cidan con 1M ¡hiri!::··: .. : .
'. .,.. . ~.. .," ~. ~ :·i:·· .~
...' ,
.'
.:" .21:.

...... '.
· '. . ::-"'.,::.:".
: ~:'

..:

tos' ~~ :a~~·cis~sO, T ~ 00 'de esta última. En' que para x + y = O da


efccto';"si Ol:'y' Ul"son los puntos de abscisas
O. Y 1; 'de ri
(fig, 9), basta tomar dos puntos
f (-' -x) = -1 (x) . ¡(lO)
cualesquiera So.'y Sl' robre la recta 010'; los . Teniendo ahora en cuenta que. la cuaterna
" .puncos·H.:"(intersección de SoU' y SlUl) y . '- x,+ x,1,x2 también es armónica, y que por
E "(intersección. de SoL' con la' paralela a n Id tanto también lo' será la cuaterna transfor-
, -por Si). determinan' la recta e. Proyectando r' mada, aplicando (3) a esta última resulta .
'. s~bre:e,.desdc: So, y luego e sobre n, desde SI, f (x2) = [f (x) ]2 e
~
,
.:' se' tienen 'las, dos .proyecciones mencionadas. , 11 ) . :

.;. Estas dos proyecciones de centros So y S~ de- . y de aquí, poniendo x + y en 'vez de x y


· terminan una correspondencia biunívoca en- aplicando .(9) y (11),
tre r~~,.y 1), .qu~. conserva las razones dobles ·/(xy) = f(x) f(y).' ;(12)
y, por.lo 'tant0/sé ~eridrá también .una corres- Es decir, (9) y (12) prueban que toda C07
'pondenciabiunívocaentre r y TI que conserva
rrespondencia que cumple las condiciones (5)
· . la's cuaternas armónicas, y que hace corres-
Y conserva las cuaternas armónicas, conserva
',' pender al origen,' al,.punto unidad y al punto
también la suma y el producto (se 'dice que f
.impropio- de. los-puntos 'análogos de rr. Es r,¡ es un auto1!/'Qrfismo) . Para llegar a e 6) obser-
::decir, .llarnando x a la abscisa variable de los
'¡' .: puntos, 'de r ~'xl:;a la del punto correspondiente vemos que, siendo f (1) = 1, de la aplicación
'de 'ri, ;y f á correspondencia entre ambas 'b: . sucesiva de . (9) resulta fe 1n) =.1fJ" .para m .
entero. Poniendo x m e y= =
11/m en e 12),
rectasvo sea·'f(x) = Xl, se' cumple .
resulta f(1t/m)'= f(n)/f(m) =n/pt, es de-
1(0) =.0, . '/(i)' , 1, f(oo) = ec , ' (5) cir, (6) vale para números racionales. Falta
Queremos demostrar que de estas condicio- ver que vale también para números reales
nes; y:
del hecho de c<?I?-s~rvarselas cuaternas cualesquiera,
armónicas; se deduce que es . Poniendo en (11) Y x en lugar de x, re-
" l. r :; , : '" ~ . ' ' I

· :;.....,.¡.,¡ :.. , 1., ¡':-:'j !fx):=x. (6)


sulta f(x).= [/(yx) ]'2, y por Jo tanto para
'x > 0, puesto que la raíz existe, f(x) es un
.:' Si .esro : es -cierto, los 'puntos homólogos de cuadrado; .por 10' tanto, suponiendo siempre'
r: y ~.ri,tendr4n abscisas iguales,
y por lo. tanto que las variables son reales, resulta que si
las razones! dobles, de cuaternas correspondien- X; > O es f (x). > O de donde, aplicando (9) y
tes tambié~ serán iguales; y, como las razones ' (110); se deduce que si x-y> 0, es f(x)-
dobles .de cuaternas homólogas de n y r' tarn- -f(y) >"0. .
bi~J? son ·igul.!.es,,;qu~dará demostrado el teo- Supongamos ahora que para un valor x no
rema,":' s •• ", •

;' ,La; .~uatern~· ~,y;V:z (x es. armóni- + y),oo fuera f (x) = x sino f (x) =
r, y supongamos
que r > X. Se podría elegir un número ra-
.. ca; : 'Por lo, ta,nto '.también lo será la de los .cional a·tal que x < a < r y, entonces, sien-
, elementos transformados, de donde resulta. do a'-x> 0, ser,ía fea) -f(x) > o. Pero
I

( '1,~, x ~ ~:')~ ': [f(x) + f(y) l. (7)


f (a) = a (por ser a racional) y f (x)
hipótesis); por 10 tanto sería a- r > O,
r .(por = I
. !. ., '.
·.De.~quí;·haCiendo.y -:- üy sustituyendo,
'.\~ ,:. ~
a
con trariamen te a la desigualdad supuesta:'
X < a < r. En forma análoga, también se llega
I
contin~ac~qn;)~: por 2x, resulta . a una contradicción suponiendo que r..< x,
¡::'!:":.';.: .'. ·:.;'2f(x) = f(2x) (8j Esto prueba que debe ser siempre f (x) = X.
I o', : ;1' , r , .,
como se quería demostrar.
, :y:~por''1o canto; escribiendo (7) para los valo- .
. res: duplos' de 'las variables y aplicando (8)
l. • ! ' , ~.6. Puntuales proyeetivas y perspect!-
,....; . /(x+,y) -: fex) + f(y) '(9) . vas. . DEFINJCIÓN 8. Si una recta se consi-
..
I.i . .,
22,:; .

I
.
.~
.. ,
dera como conjunto de. sus puntos, no como y (H,H')' son ~ares,'de:pUri:t~s'homólo:gb~;i~or'
demento, se llama p1tn~1tal. lo tanto, no puede s'ú¡otra':;qiiejIa: proy~ctivi.;!·
:' DEFINICIÓN 9. Se llama proyectividad en- . . dad dada. Resumien"dd;·¡Je.:tienei~;·:(::j.¡~!::ji~:)I: ......
. '. ':' '.~ Ij;: '1,:, ~.::. !,~:,:,j~ ~';. 1:t·'"
, ~ .' '1"': ,,~.; J':I'~P~;~i~\ \ ":
tre dos puntuales a toda .correspondencia . DE~INjCIÓ~. ~,,~.:.~~~~~>Si!C~~.~.lq~~}:~n·:n:~'p:a~:
.•
biunívoca enrre sus puntos, que conserve las . re~ de punt~s. homologos. dei:do~;punt:uales:.p.~o-::,·:·:i.
cuaternas armónicas. . . . yectivas ·.pasani:por~,~n;~,;~isiho.:1.pt.irift6~(Ias':~p·u.n¿';.: ..:
'
tua 1es se 11aman P ers'P···'t· .. '1'. ··¡i··:",~·:t
ce, wasl;-if.i'I··: 1',,· ,.I,./
:·:i!..f~H:.:.'!! '1'¡.i'·¡·!· :'.
••

:: Según el teorem~ :tu~aam¡mtaI de Staudt se • .,L'!I.,.I I .~


'\',\.. s., ~.;It.t· :\i! ~,1"<;' . i l'

conservarán también las. razones dobles de TE'OREM~' 6:' ·pd~~.;qitJ.yj~;;;~p¡;niií;l~;;'¡fO?·


cuaternas cualesquiera. De-aquí se deduce que -yectiuas sean }Jersp?cüJit;;'es .fie'césár¡o~:y·;süf¡-·; ,.'
la proyectividnd queda 'determinada por tres' cien te' que S1t P1tntO' COffl:1Í~ 'sea; h011ú51ogoí de':.; .
puntos A,. B -" e de la puntual r, y sus. corres- ~í mismo. :'! ", ': ~:·.ri:·f\1~~:·!·l::'~~:~¡~{:(.'.;t.(
':.:'.:
I
,:; , b) 'Sustituyendo 'los' p'untos por sUs·.coordé..;:;.'.
nadas; la rehcióri"';;(itBGX);·= (A'irc'x') ;
permite despejar' x' "endun¿ión de' x~:re~ulta':n-:'.
do una expresión de: la fórrria": .:-.; .;',:"':;;:'.. '
: ":'l' .¿i;r+: !~(;.:~; '.'.:';":::;:'~:'~'"
x' = .. '1"'.' . "!~;',: .",' (13)
: i,.··yx +;b:.~.. ;· !~. ,.1 :~,:,' .'<' .
.' • ti ,i:: r·:;· .:,<!~~ ;1',' ;=\ -.
donde a, ~, y y a
son "dertas :constá~tes que": .
dependen de las..abscisas de;'AJ 13 y"e y' dé7•.sus .
homólogos A', B'. Y C'," y:.que cumplen 1:1' ~on·.:.·
dición a~-~y#O:; .. '.'.;":;;. : .'1,:::. :·¡'.i·,::.
La expresión (13); ~~.llama. ectill~ión :de·:ja.:.
r' pro'yectiviJad. .: .,: ¡r ..... :, .';', .: .. '::. :.(1 .. ' ;,.: ..

Si .las puntuales=son :sup~~phesta~j.~ ~Ir';'


se llaman puntos 1enidos :1 los' homólogos desl :
mismos .. Para determinarlosj-bastárá !-,hacer-' : .
FJGUnA 10 X' = x en (13), resultarido ;'úna' ecuáci6n;¡.de;: .'
segundo' grado. Por í, lo':·:tahtó/ ,:presC=in-aie'i1'eJo.( .... :.
, del caso de la identidiid;·ln';¡lue: ¿:ida rpttRt'o.··;'· ;.; l

pondienres A', B~Y C' de r', puesto que, para


. cualquier otro par X,X' de puntos homólogos, coincide consu homólogo, ptied~n o'dir.rit'tiésj~ ;'.; , .
casos" :." r·l'~/(}·,·~i'
"T·:I·(!:·,f·: ."!',j- ¡t,+:~·.'.'ft,··:·!,',;·'·: ¡:
debe ser (ABCX) = (AIB'e'X'), lo que per- .' :,. ,!;'" ~~:- i .d I :':~ "i:' !. ,'1, ,~"·:i,'r~i"1:;,,\ .. '~¡"I·, "

mite determinar X' dado X. Por '10 tanto: La proyectividad'[tiene .(:Jo·s{puntoS';¡'unidos: ..: .
. se llama hipérbólicilt::·:·I~!: p·:,'h;:.: :,:~r,:::;·V·\::;f> .
:'TEOREMA 5. Una proyecti";Úad entre dos
p'u.nt1Iale,s queda determinada 'por tres pares
La proyecrivídad ~i~~~··tiA.sb'ló·!p~ri~tJ;liMd~::;;·J.
'p b"l' ·-~·:".:I:·¡"·I· ''''.: -'\:~':;:;I(";;
se 11ama ara o lea.';, ;:'-:, :.;.....;':(.. ! ~ ':~~;:':
.ií¡ ,1',"
.:I\'li::H~,.,~.;,: -,'
:
tll' iJlllllos homólogos.
La proyectividad {'cárecel(le:punt~(iiili,dós~r:: ::;
De aquí~ le .' .. ¡,.". I·l..·~t~'~··"-~· ., *¡.... "'."
(réa es) : .se llaína e Iptictl. ,¡;:,.:~·r:'l"I :~;{j';;.'l';~!Y:':jt\F!,\/" {:=.
I I 1" •• ,~, ., •••• (l.,"
1 J
I " . . . :·.¡,(~'~·.(·'·.:II,l'L¡~.;·' :.!'fl;t( I~·¡I.,-¡l(.' ,.'. ,"
.: (1) Si el punto común a dos puntuales pro" , .- .• , !;,:~I ¡:~¡!;;:!~::)'.;,:,~~.,':~'.~\
'~.::'::':~¡~::;::¡~~:';'.f{~'::':'
" '"
yectivas es homólogo de sí mismo, H === H' 3.7. InvoluClono'i·.;Sean·r=::=r'r:,dos'puntua-.. ,,',
(lig. lO)', las rectas AA', BB',·ee', ... , que les 'proyectivas :'supe¡!püestii~;rISupóngamb'(.'qU'e·<.:~ ;'.;:
unen puntos homólogos, concurren en un pun" al punto 1-
le '·cori:~pondir:tI:!.0-.~~ ::E.n,~~e~~t.aJ.~·?
to O. En e:fecto, si O es el punto 'en que se a A', conSIderado como) punto. :de' r;de corres- ':;:'".
cortan AA' y BB', proyectan,do desde él la . ponderá otro punto A~'.:CU'ando' Ai~-:eseI:mjs" ,:'
ptlntuál r sobre r', se obtendrá.una correspon-: mo A primitivo, se:dice' que A. y A'~'se' éorres-
clencia proyectiva en la cual ('A,A'), (B,B') ponden doble·mente.~-::.: .,'. ~ ':. ¡... ;', ~:.. ¡~..
. ~ -.

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


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

i'
.. :
.::DEFINI~ióN 1.1. Una proycctividad entre involución es elíptica, y en la xx' - 1 = O, si.
puntuales !~uP'!!rpuestas en la cual todos los .: es hiperbólica': '.
puntos 'se corresponden' doblemente; se llama . En el caso hiperbólico, la ecuación de la in-'
· #m!oltición~ Los: p':l~~s .homólogos de una in- volución puede ponerse en otra forma tcdavía
, volucj~n .se llaman' conjugii4os. '. '. más simpl~, eligiendo el sistema de coordena-
· ','.J:Eq~M~..{. E1~·.·~~~ proye.ctillidai basta das de manera que los puntos 'Unidos sean el
, qtU_"1i:n'jiarde, pti.ntos:se correspondet» 'doble- origen y el-punto del infinito. En este caso, las
¡" 'l1i~1fte'paTaque-ta1!'J.bién se corresponda doble- raíces de l~ ecuación -Zbx - ~ O, que- ' yr + =
':'.mente i 'C1lf11quier.otro:' par' de P1J.tJtOS homó- da' los' puntos unidos, deben ser o e 00;; esto
logos. '.' ". :.: ... '. obliga a que sea ~ = O Y Y = 0, quedando la
.!. •

\ 'lo " 1, I : 0,. ,

..... En icfecro rUVAA') =·(UVA'A); luego ecuación de 'la involución en-la: forma simple'
. : . (AA'~B.') .' (,4' 4B'B") , ~ invirtiendo .los x x' o.. Esta forma sirve para establecer + =
'.' dos pares de Iasegunda razón doble, por (2), rápidamente una relación impQrta~te entre un
'.. 'resulta" (AA'BB') ~ (AA'B"B'), y por lo . '. par de puntos cualesquiera A y B "y sus con-
· .tanto: B" ea -R. " .;.. ~ i ". . . jugados A' y B'. ,Si se indican .las abscisas de
· TEOREMA' li.:; Si .... fI,~~ . inlloluciólt tiene dos
. con a, b ,11 ' Y b"" por ser a a
. estos puntos + '=
· plltltos: .Jt1(-idos: V y y A y A' S011 dos .v,
OY b b' 0, resulta = + =
puntos.~coniugados: cualesquier», la cuaterna . Ca + b):!
U,V,A:~A'·es'nr1~tÓnjca.: (ABR'A') = (a,b~-b,-a) = Aab
>, '. , .!" ' •

· . .En. efecto, ' (q:VAA~) ~- (UV A' A); luego, Por otra,: parte, representando 'por U y- V
.el valor de esta razón 1doble. es - l. . a los puntos unidos de la involución (cuyas
'.'i~·~~ua~ió~' de "'la' proyectívidad (13)· se coordenadas en el sistema .clegido son O e .(0).
, puede escribir-en laforma yxx' o~'-f!.x- + .es
_',~= O. Para .que .represenee una involución , a
· p,ebe seo!-' .simétrica -respecto de x,x'-, y P9f 10 (UV4B) = (O,oo,a,b) =-¡;
",.tanto debe se.r.~~:,. ~~.:'Es· decir,.la ecuación b.
, g-e~ér;il;(lel~:~.nv,ol,u~ión'·resulta .yxx' b (x + +.. (UVBA) =-.'
,~+ x~y-. - ~_,. AJ
~~e~'ás, ,l~ .condición al)-:- 'a
.' 7.,~y~O" quc.hernosivísto qJJe es necesana . Resulta asir la importante Identidad
::para que la ecuación (1~) represente. una pro-
: y~ctividad, .en .el. caso: de u,n~ involucién se
4(ABB'A') = (UV.~) +
+
.reduce 'a b2 ~y =F O. Oe aquí resulta que ~a + (UV~A) + 2 • (14)
· involución' no.p~ede:se.r;:'parabólica, puesto que que liga' los puntos unidos U y V de una.In-
'la ¡~ccuició~" Yx2 2ox.-~= o', que da' los .+ volución con dos pares A,A' y B,B' de pun-
I pp~t~s unidos ~e.l.a.:~yól~ción, debería .~~ne~ tos conjugados cualesquiera.
'una raíz doble' y ,por Io .tant~ conduciría a
'10.2'+
u
A'
y
.... = O . ";,,..: , " ; . 3.S: Proyccuvídad cnlre haces de ~ec·
: 'Si' s:e~elig~~1,sis,t~~~A~.coordenadas de ma- las. Toda correspondencia entre las rectas
.,nera' que al.puntó' origen x = O le corresponda de dos haces re reduce oí una correspondencia
,:;~l:{p'u~t~ ~pt.~p'io :,~!.=,oo·~e-?tonces 'en l~ entre puntuales cortando cada haz con ~na
":ecuación de ;la' in:v:olución, deberá ser o o. Si = recta. Si la corresponden~ia subordinada entre
. ":~dé~á~!se hacé¡'~p~c~d4- :el punto unidad con dichas puntuales es una 'proyeccividad, se dirá
', ,t,. 'f~t: !'l :,1, j':" J ~ ~t !o¡,. tt \.:" ,.....'_'_,' ,..-,._

. :.·'::·é'l 9":é~~,~t~~-
pcin'~q~v'~/y ~/y;de modo que que 'los dos haces son proyectivos. Si los' haces
i~n superpuestos (tiene1l ~~ mism? vértice)
,..}el >.)·r'adicando¡:"seat pOS~t1VO,, resulta, que la
:.;~~~~~i6n de ~n~,involu~ión siempre puede po- y la sección da una in volución, se dice que los
:' :ners~ 'e~' la ¡ forma:: simple 'xx'
.. ..'" . :; ~ ...: ~, :.
1
.
O, si la
'.
+ = dos haces est~~ en involución. De esta ma~era
1.' •

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

!
:.
I
¡ ,~ r

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 pro-
j-:1. yecHvos. En 'este caso se,dice,' además, que son
,perlpcctivos, yIa recta cuyos puntos, se pro-
;-l,
,1
yedan se llama
eje de perspectividad. Del
mismo modo que para las puntuales. la con-
" áición necesaria ,y suficiente para que dos ha-
res! proyectivos, sean perspectivos, es que la
recia que une S1lS vértices ·sea'unida.
i ,
" .3.9. Homografíus o colineaciones. DE-
FI:NICIÓN 12. Se llama homografla o colinea-
ción entre dos planos, distintos ,o superpues-
tos,' a toda 'correspondencia -biunívoca entre .
.sus :puntos, tal que a puntos' alineados corres-
pondan puntos alineados., :', '
, ,'pados cuatro puntos alineados' A., B, e y
;'D, [qúc formen una cuaterna' armónica, ob-
i 5er~:lndo la construcción del tuadrivértice
1 completo (fig. 7) resulta que lbS, puntos ho- ~
mólogos A', B', e' y' D' ocuparán posición
'! ,
" ,
I

;1
!
!
B

b
"i
P,GURA 11 '
,
1
I

ana1} oga respecto delecua' d"."


rrvértrce eomp Ieté
eto
transformado (por corresponderse los puntos
alineados) y por lo tanto forma~án también
ltn~cuaterna armónica. De aquí-y del teore-
ma fundamental de, Staudt resulta:
,1

TEOREMA 9. Las razones dobles de cuatro


'.o"

, I

. 'j
• 'J ••
" , ·i
.....
: '

, "

.' ~,La :p.t;pyectividad.':así obtenida es única,' unidos, ' sin;, estar ninguna terna de ellos ~n lí-
, puesto q ue. si :hu biese. otra, por el teorema 10 ' nea recta). El vértice de este haz es el centro
, ella subordinaría .entre los haces de vértices 11 de la. homología. Queda' probado, de, paso, el
, yA" ~~~ proyectividad, que no puede' ser otra siguiente " : '
qu'r l~,'considerada,' por.rener con ella tres pa- TEOREMA: 14,. En una bomologia, las rectas
res: de.rrectas ..homólogas comunes. Lo mismo que unen pares de puntos homólogos pasan
entre los '¡lac,e~de 'Vértices B y B'. ' por el centro. " ~
':',.; ,::(Finahncnte~ si P estuviera' sobre la recta AB,
',,' ;,'"t9~~r~~mcis e y:IJ
como 'v6rtices de los ha- Tambié~ esimportante el
" :' ces, Queda 'así demostrado el teorema 11. , TEOREMA 15. U11abomologla queda deter-
o .: :'1 : '~:.; !v- ~ : : :.,'. : • . minada por, el centro, el eje y ~n, par de pun-
, : ,_,).lO'~, Ho'~~g~~fí~8:particulares: ,'homo. tos bomologos,
: ,IogítÍ/: !', Cónsidere~Qs ¡ ahora el caso de dos En efecto, sean O, e y (A,A') los datos,
','': ' 'plán~~.'proyectivos superpuestos. Del recre- (fig, 13). Basta ver que con estos datos sepue-
, ma
, ':
n,:anterior
'¡ ," ',1"
,
se: deduce: '
, ' , " I
'
' de construir, el homólogo B' de cualquier, otro
" 12.,:qna,;' bomograji« entre, dos
TEoKú.u, 'punto dado; B. Para ello observemos ,que:
, ',pl~1JoSsuperpue.stos,,:que no sea la identidad,
110 p~ede tener cuatro puntos unidos tales que
-tres de -ellos no .estén ,e1Zlinea recta.
Cabe, poz otra parre, el caso de más de tres
puntos unidos ,que estén 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-
.fía ,tendrá: toda].una 'recta de pu1,ltos. unidos.
" '" DEF~NIc~ÓN"l~. ;Una hómografía con una
:,:rect,arde puntosunidos -se llama bomologla. La
'.~~ct,a~.~T, ~~~~r~~e
d7,Ja: bomologia. . e
., , J~" rEO~EMA::n,;" T9dajJomología ',tiene ,tam- == M'
, ':-pUn u~
haz ~:de!recias unidas. El' vértice del
, ;.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- A~


: ,;.mólogos' distintos, sea 'N el punto en que la FIGURA 13
. ,'re~c:a:AA~ corra. al, eje,..e. Por ser, ,N 'E!S N' la
, recta -a = N A' .coincide con su homóloga ti' = ti) B' debe estar sobre la recta OB (teor, 14);
, :N'A.', o sea~;cs',u:na'~ecta unida. Lo mismo b) la recta AM tiene por homóloga a A'M',
'\~ale pa~a cualquier. erro-par de puntos homó- que podemos trazar; por 10 tanto B', que debe
, ,logos :,:B,B'~ Luego, hay infinitas rectas unidas. estar sobre la recta A'M', será la intersección
, ,í
, .Como la intersección' de rectas 'unidas es un , de 'esta recta con OB.·
,;'p~~to:u~Úlo;'pa~a;qu~ no haya cuatro de ellos En la figura 13, si consideramos las .rec-
.. tales que nunca' [eres: estén en línea recta, to- tas' OA y OB como secciones del .haz
.. da~' esas rectas .deben formar un haz (en caso (M : O,N,A,A') 1, según el teorema 1 resulta
:.contrario, .tomando dos puntos unidos no per- 1 Con esta "Jo~aci6n ~dicamos el haz de rect~s de
,"tenecien:tes al éje,, y dos' puntos de este eje no vértice M al cua'l-pertenecen las cuatro rectas MO. MN.
alineados con .ellos, se tendrían cuatro puntos MA y MA'. ' ,

26
• j '.; !', :,,',.:....' ••::

• , :'.,: I '. :.' '! ~.'. ,¡, :":: '~. ~:t;~'.:. ,:


, (ON AA') =
(OEBB'),- y por' 10 tanto esta dela bomologla. Si li~razón vale .: -1~:la::'ho:;,j, '
razón doble es la misma para cualquier par de mología se llama' armOn'ica. ¡\;,,'; ,/, !", , ':r~,¡ ió}',',:'ir:'· ' , ,. .' '\'" lo', 1,

puntos homólogos. Es decir: ·teorem~l'·redproco:·.:IDa~os,:·'


. Es evidente el
un .punto O, '1.marectii :ei' Y..itn.:,valoro.áJnslan,-:: ,.
TEOREMA En una bomologla, la razón
16.
te, k, la: cOTresponden~i(i,iq1ee':!¡ú('áda;'fi'Útito:A(I, ':,
doble de la cuaterna formada por dos puntos del 'plano)e, l:útce.!:co_rréspond.e¡'k~I,.tJ1l1t~oo·A':,k :'::',
- bdmálogos, por el centro y por ;el punto, en
alineado -con- o,::y'A~':Iy'#al qüe[t·;(ON.A.(A.~),'-..::..~t>";~.:.
qne la recia que losune corta al, eje, es cons- ,= k (siendo N el pun~¿/'de:inierseC'ci6n.'de:.OÁ:~;;":,~!
tanteo con e), :es 1m,1 homologíaj deie,n~r(jL(j, I'éié.::~:,;'~::"::': "j
La' constante así obtenida se llama razón
~

~ razón k. . .;.' r:JI liI1Ii; 'i!;;¡.j¡;.¡l¡::!j.:


, '1"':) -: I ~';:,l'- "CAPiTU:t·O IV. i.::., ":1' ,:
: : ",: ":,,:,,::>i .! !·:~H,./;.In-;;:!. i~~?
¡ir :lf,':-:,;
! '.
.
\ 1, ,V."'.·' "1
'··:·.··I~· i.
..,\ ' '. '... l..' ,:. l..
i,~ ! . 't P"¡' '~"':
I/~':'': i~¡J
,,;,
~. '~J ,.,:".:,:
,1."~"J ,,1 ~. r
.": ~ ').

'J
T
GEQMETRíA'~PROYEC~IVA(~¡;':;'~;
j" I , 1" , o '. I "1' 'j, ", p'.- • "
.. ' ..'fi,·I",,_lI: •.••. r!1'1/ ' , I":L\:;~l .~.\ J~~~'l.~~ ••, ..... !~
.' : • í ': ; •• ' ; ", \j. , ; ~!,'s:·:i:'r"¡.l'. ~~~~.:;~;.1
~)
, ;,'.;rr.: LAS,
';-:!':.;

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

. . . .•.. iT:! ;'¡: imÜ,"Ji U1 iJt~;:(: !.

, , ' ', .. ' ;·,:'jh:.,,! : -':1 t/'I', ,:' ~ I I:~'~l::,:':;/.<J, L


:4.1. Las cónicas. Las cónic:ls son la elip- Para .nuestro ' objeto',:: rtécesitamos ':una ;:de'fi~!,l ~~i·;'~
se, la hipérbola y la parábola de' la geometría nición más.complicadai(básadaj,eiÍ; lós,:COíic~p~ir·::<:;:
elemental. La circunferencia eS'.'también una tos de geometría proyeetivaf:;que; :vimos/.eri:t~lb ~/,!.;
'cónica: es una elipse particular. Se pueden capí tuja precedente~:Es·;lai,sigiiierite':.:¿éfínici6h)i-':;,¡; 'f:
'S . ,, '~,ho
-t, ,,;., ..... :! . ,:.,.' '.~',.~·~lot:'·I·_"·~,..
»1'1"\" -¡ e
.definir de varias maneras. Una. de las más in- d e temeré '-l.,) I'~~,,,>,, ''''. ·"",,:_f~'P"
,\y:I:::!" l.'~·.L~{,';1" ~II::~"!..;f:~~,~
•• '.~~::'t~".;I'.:;:
+ ": ~.:;. :
:'.}'"

tu'jtivas 'y también de las m:ls,'::t'ntigu:.ts, pues D~FINJCIÓN : 1. Se ~'llairi:i~'lé6nica~~attlugát;;~,:::-:


se! remonta a Apolonío (siglo III a. C.), con- geométrico .de ' los ,;pútltos:' aéÜri·te.ri~ccio:nra~':;:':);:Ji
siite en consideradas como secciones planas rectas homólogas de :dos'~hac:¿~!;proyectivos(de~¡.-¡; f.:
dd un cono de revolución completo. Según 1::1 un mismo planb, 'que~¡no!sei¿,;perspeétivós:lo~;;,;',;¡ L
posición del plano con el cual: se corta, se si la ·c·6nica así 'defigfd~;hg~¡ti'J~~ 'ptliitós:ilW~.l)! ",:' :
obtinene una U otra dee Ias tres' 1,.
especres d e co-' ,
propios, 'se Ilama'elip¡e;'si:,~ierie:dos,}iipér/iol#;!;; :':, !'
nj~as. Así, si el plano que es paralelo al dado 1 p= ;b' 1 :'i',;:~\t,):, ¡ :," '·,\7 ~" ,.J.!. ~!.:!.~"',f~·t\,:..
Y SI nene uno so o,' ara o a..\,';,;, I , -:'~: .11, (:': ::;f;¡/~> ',:; ,
• • I " 'o' ;"h.'! f 1 i

y pasa por el vértice O es exterior al cono, la ' Si A y B son, IJs:::;:.'Vér·dcé~, '.de"~'1ds::~'llaces}" .';. j,;
sección es una elipse; si es secante, una hipér- (fig. 14), conviene' ObSerVar ,qtie'~:i la:recta,}1B? ...
bola; y ~ies tangente,' una parábola. considerada': cómo' irech{: del-haz: A":liNd:fr&s:::::,!,".. i:;
¡Analíticamente las cónicas están represen- ponderá: una dertá 1rect'a:.:BB"~·,;'y·lpor}iO, tanto;;" .
t:idas por' ecu,lciones de segundo' grado en las
dos coordenadas cartesianas, x e ;y, del plano.
de acuerdo con,Ja·defiiiición¡,,'el pun'to"B¡íperL > ,
tenece ,-a;la 'cónica: :Adeniásj{:lá; rect:i}BB~trt¿(,:"':' '
E~ decir, son' las, curvas más simples después tiene otro pun to que:'~'perteheic~ :'.a::;:Iá;~lconiC:i::~~: _<' o¡ ,c
de: las rectas, representadas por' ~cuaciones de es la·ta~gente' en,B. A~álóga'~'érite';,:el~'puhto~'iA~.'~c
'¡>"l' ,.1'", ¡ ',,': .l·., , ", Hji', "I,·.~,~I.,,¡t.r;P·ili "";'
,4
primer grado. Tal vez por es~o las cónicas • ¡
,
.
·'·f,"!· '.: :I.~!ril,:" :1·"f"·,i;(ViI'!·'J,,!\UJI~\ 'll'l!"{~~~·~ ..j.I·J'
•• " .'.' l.
o
:"1

so'n' curvas que 'aparecen con· frecuencia en • 1,' Si Íos' h:l~es, sori,'p~1SP~~~!fo!;~I:e!I::~,ugg~~eo,~;éi:°[~c~:'~:J .; 1,
la: naturaleza: las trayectorias de los planetas , se compone M'dos, ~ec~ris,~.iel:, ~J~.~~.e: ~erspect~~J~a~l ~),~~.),¡I : :, ;;::
y la recta que 'une los 'vértIces ;de)os .'dosfnaces"~po~,,.: :'
o ;de los satélites, y las, de los proyectiles en ,e] trat:lrse de una:l'ecu'unida¡':En ~stc\cuo·se'rdice,:ita~·ve'.l;:·.:'¡'o
,V:lcío, son cónicas. ces, que se trata de un2.'é'ÓniC'a_átgentrirJa:'! ..;~'.}l) "W!'!;~:! :,
• o!,:', :. o: .. ,! ',:,:':,.,/;,:',"
" .
1, I .. ;.
:27,:
,'. 1,
';.

"'t_ .',
.', ;., ....
,.' ..: .,,~::,,':,
.'
. , .. '
,:,:--;'",
.... 1 " .; •
........
"

, ,
" ,

pert~nec~ ',también a la cónica' y la tangente, mente. Pero estas puntuales son perspectivas,
en él es la recta homóloga de la BA considerada siendo M -su punto unido y' R el centro,. de
como, 'recta. del haz: B> ' ,perspectiv:idad (intersección de las rectas ''PQ
.:Si r es una recta que no pasa por A nipor B, 'y AH, que unen pares de puntos homólogos);
" I~s :p,unt~stdc::cl,la que.pertenecen a, la cónica por 10 tanto sus proyecciones desde E y' H
; .serán 'los puntos: unidos de la proyectividad resultan proyectivas, como 'se queda: dé":'
" " 'obtenida sobre, dicha, recta como sección de los mostrar.
o', •• ~ '. ':4 : .i . ,,, ., ,... . .
'1"",
"
,
:,', " t, ,', '1
, "
r : .•
.
¡ ! l .. ,

··:t ',1 .: , ¡,' 4·.2. Teoremas de .Pasced y de Brian.


: '
chon, La anterior demostración tiene la
ventaja de que, al mismo tiempo, si se obs~rv~
" : en la figura 15 el hexágono AJ:rfBENH in-
..
.;
0,, ': :.: •• ,

,
cripto en la cónica 1, resulta demostrado el
, :'
"
siguiente
TEOREMA' .DE PASCAL. Los tres puntos en
que se encuentran los pares de lados opuestos.
de 1m bexágono inscripto en-una cánica, está"
en, linea recta.

D
FIGURA 14,

'1

haces proyectívos generadores de la cónica.


'Por lo tanto: una recta: p1feáe tener, con. una A
:_Cónica,.áQs",uno,~()'n_Í1J.gúnpunto común, lla-.
'n.ztitzáose respectiya11J.e~~tesecante~"l!1ngente, o
exterior ti la có#lca. ;. ..',', , "
;:iPa:ra,q~e)a;4~finición de Steiner tenga va-:
.lor,' hay: que: demostrar que los vértices A y IJ
dec'; los 'haces proyeccivos generadores, .no son I

puntos excepcionales, !'sino que proyectando


los purtos , de. .~~a cónica desde. dos, cuales-: FIGURA 15
quiera :dC?. su~ p~nto,s. se.obtienen siempre haces
'.,. proycctivos.
..;',,;.,, I •.... •
i '. ,:_,.í.. ,;: ¡"::' . l. ...;. I .Ó: ': .', _. Vale también el siguiente teorema .dual: .
'·.:~,:J~e1lJ.o,stracjó#,~
.Sean ,E
.otros dos pun- yH TEOl\EMA DE BRIANCHON. Las tres rectas
tos-fijos. de 1.a·cónica, .desde ·105' cuales vamos que unen los paTes de vértices opuestos de 'un
íl'r proyectarla (fig ..: 15): Si 'M'y N son otros hexágono circunscripto a 1/.114 cónica, C01U:U-
dos-puntos, al 'cortar: los haces proyectivos de oo'
Tren en 1/.11- Ptt1ltO (fig, ,16)'. :
.vértice~' A yi B: respectivamente porIas ..rectas
Estos teoremas. siguen siendo válidos en los
"NE;,y :1;lH.,i:re~uJtall.~puntuales :perspectivas
, (puesto-que .sonproyectivas y el punto N es 1 Obsérvese que el hex:ígono' no tiene,que: ser nccc:-'

. homólogo de: sí mismo):. cuyo centro de pers- sariamente convexo como "en la geometría elemental;
puede ser estrellado, como el AMBENli'dc,1a fig. IS.
p~cti~idad es¡,~lp~nt~""l~,':dela figura. Si chora La definición' general es la siguiente: un I hexágono es
:sup~nem,os que' Ni describe ,la cónica, los haces' un conjunto de seis puntos dados en un cierro orden;
de vértices .fJ. ,y H proyectan las puntuales que las rectas que unen puntos consecutivos. en el orden
P y Q describensobre MA y MB, respectiva- dado, son los lados del hexágono. '
- 1.. "

28;: l·
l'
. . .: l. '. ,: 1 :. : í;. : ~ .;
casos límite en que los hexágonos se reducen .a y b ,( Hg. 17), la córiica" queda 'derermlnsda . .
a pentágonos, cuadriláteros o triángulos, por i por los haces' proye~·tivds· i déP.véttices ,'A

:en los cuales' (AC;BC)}r{ii;BAj~';i (AB;b)


«»
,i~'n"
coincidir algunos de los vértices, en el caso de
Pascal, o algunas de 'las tangentes, en el de
:pares de rectas homo. 'l'"ogas,
" "j";">0
:·I~<;.. :r . , , .. ···I·I~.,,,·'
¡...
',i ~,;.r:.
Brianchon .,.. : ' .. : ',' ,; '1,:. ,U},~~;:;, J~~~~:E'~'
::.;~~·H+r~·;~, l .:

4.4. Polartdad- .. eu·t


]8S conicns~ rSeil" Q .
. '4.3. D~lerminnción de eónleas. ''TEORE- una cónica, y p' uii~p·t·nto :~~rpland::que+-.ho '
MA 1. Una cánica queda deÚrmiitada por cin- pertenece a ella. Sean í A' Y-l B ¡los. puntos, .de
ca' pmztos de -los. cuales no bey« nunca tres intersección de la cóniéa.¡·corl:'una secante' que
sobre -una misma recta. pase por P, y consideré'mos el punto 'p"/con- ..'
y
..' ':.' : ¡ ,., •

En efecto, sean A, B, C, D 'E los puntos


'dados (fig. 14). Tornando dos. .de ellos, por
ejemplo A Y' B, como vértices, los pares, ~e
'rectas (AC,BC), (AD,BD) y,:(AE~BE) défi-
nen una proyectividad entre los haces de vér-
tices A Y B~ Si C, D Y E no están en lín~a
recta, esta proyectividad no es una perspecti-
vidad y, por 10 'tanto, define url¡:l cónica 'que
pasa por los Cinco puntos dados '. ~ ,
COROLARIO 1. Una cónica queil« determi-
nad« por cuatro puntos, tres ~e Jos cuales 1tO
estén nunca en línea recta, y la!.tangente el]
11110 de ellos. .
e
FJGURA,. 17 " ..
,
-.,. :
.
, jugado armónico d~.
'P' respect~ del' par A,B
I (fig. 18) ..,AI variar ·la Isecante que pasa por.P,
, I
se demuestra 'lile P' describelunarectá, lo cual'
...' o

---~
.. I __
,
permiteformularIa siguiente '(i ; •. > ¡ :: ',i;;,
'..J.._q_---o;-----
, DEFINICIÓN ,2. Se'" JIarlta polar' de' ~h:pu~-)
to P,'respecto de u,pa'cónica;Q,:;a'!a·recta que
'1 ,
, "
./, ......
,... contiene Jos puntos conjugados arménicos'de'P"
, respecto. de los pares de .puntos en que Secantes '
'por P cortan a la cónica,' ti;' :":~;'(i,:;,,; ." f;, ,:.{i," "¡~, ;~:

El p~n·~o.1>'s'e'Ilam¡a:p~lo ¡d~'isu
,recita pol~r~.
FIGURA "16
" Si la polar de' p! ¿~rtáiar·"Q·!:eD ,·u~,.purito ::;
. .' 'i M, 1~recta PM nopuede' tener 'otró',p~nto':cb<:' .
COR.OLARIO 2. Una cónica queda deiermi- mún con' Q; por ]o!taiitoj:es\t'~hgeritéa~Q~~Es,:~'·'· .. "
nada por tres pun;tos, -no alineados, yle: tan- decir: la polar 'de unipimto eHa:,re·cta;:i¡üe:úne··~'!. :,', '!¡

.gentes en dos, de, ellos. los puntos de. contacto'.de Ias:!ta:ngenteshi~ila";': ."
En ambos C:lSOSbasta' considerar las tan- cónica trazadas' por-rel: puriiói'" Suptiesto~'qiie . :
gentes 'como' posiciones límite d~ rectas. que existan. ;:. !:'!; f '7;:' ,{~ H,:· ) .:~.:
. ", :,:. ~:IJ:;~~:
urien dos puntos que han coincidido. Por ejem- Si la polar es tangente a :1(c6riica';''el 'polo:
plo, ~~ el caso segundo, si los puntos son A, B .debe estar sobre ella' 'y, -además, .de Lacuerdo ,
y 'C Y las tangentes en los dos primeros son con la definición, no puede ser otro puntó que'¡
, .
, 141 ,,:,:
,1 . '
29,

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

,,'

jo
0,'. :", I
1, j :
"0° ••• ':, " i

~i d~:conracto, Estoconduce, in versamente, á de polar, :se deduce que para un punto P y su


'definir corno 'polar~s .de los puntos. de una' polar P tiene lugar la configuración de la
cénica:' a 'las', ,tangentt~s respectivas en dichos figura 19.
puntos. ',', . ! , '
De ella se 3.e'duce que, trazando por P dos
;To,da,c~nica;,divide'al plano en dos regiones: . secantes PAB y PAlB ...cualesquiera, se verifi-
'la; de los ¡puntos desde ,los cuales se pueden ca: a) Los pares de rectas (ABl,BAt) y
tra~ar 't~n~enF~~ a .la cónica y la de aquéllos ,(AA1,BBi). se cortan sobr-e p, 10 cual da un
método par~ la construcción de la polar, tanto
. para los puntos. interiores como para los ex-
teriores; b) Las tangentes en A y B, o en Al

FIGURA 18
.d·' ,,:., :.';.:
.~ .. f . i:. .:.;
:'-, desd~ 'los cuales.esco no, es posible; los prime-
'.' ros' se :Uaman':ex'teriores· y los' segundos inte-
,.:rjó~e$..;En .tér~n?~:'deh~olo y polar esta divi-
.sión conduce.a la' siguiente ' ,
'~"'~,D~I:INICI6~"3::Lo; puntos del 'plano no
pertenecientes] a. Ia cónica se clasifican en ex~
: teriores e interiorú;según que .su polar sea se-
cante"', o exterior:
", ¡,:'.:
a la cónica.
,:';'Dé la, defin'idón .de polar se deduce inrne-
.diatarnente quelaspolares de íos puntos de una
· .recta, pasan .por -el poloideTa misma (por
FJGURA 19
_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
¡ • y Be, se cor~an también sobre' p; e) La polar
, ..qt;, una recta bastará .trazar las polares de dos deR es r-tPS y la de.S es s===PR; el trián':
· ~e:~s 'puntos/ y, el- punto de intersección será gulo PRS, que tiene cada lado como polar
· el.'polo. buscado. ' ;:; .. ' .' . . . del vértice "opuesto, se llama autopolar res-
,-'.~'.Teniendo en'
cuenta las propiedades del cua- pecto de la cónica Q; una cónica tiene infini-
· drivértice completo (ver 3.4) y la definición tos triángulos auropolares, '
" .

30
.1

,>1 "

.,
.~.'.
w· -,
;'f:; ".: : ,:·.4'.5. Elementos . conjugados. DEFINI-'"
l .,.....
Ó6N 4. Dos puntos P .y P' tales que cada uno
ti. ;.. pertenece a .1a polar del otro, 'se llaman con-
.::. ,'. jüg~dos. .' ,. .
>. v ,'·,Dtialmente: dos rectas p y p' tales que cada
:

.,. .una' pasa por el polo de la otra, se llaman con-


. Id
11/.gaas.. .'
f •
i

Q'

~l;
p.

P'

FIGURA 20
'¡'
1
·1J. . . '.'
~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 po-
lar i, de R. Manteniendo fijos dos puntos A
y B,' de Q y
alineados con P, ~l rariar R so-
bre! p el punto Al describirá .la·: cónica; 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 también
· puntuales proyectivas. Además S y.R se corres-'
pondén doblemente, pues si S es conjugado de
R también R,lo es de S; Por 10 tanto:
• o :
..
• ./t

. TEOREMA' 2. La correspondenciá entre ptm- i:


tos ¡conjugados, de tena recta. dada yno tan gen-
· te' iz la' cónica)' es 1ma im/olucidn: ~e .llama
involución de puntos conjugados. i . ' .
. 'l· . . . '. ,::
· .Los puntos unidos de esta involución, con-
jugados 'de sí mismos,' son '105. puntos en 'que
.la recta' dada corta 'a' la cónica. Si la recta es
exterior, la involución de puntos conjugados
es ptica. . eH '. .!. .:
Dualmen te, se verifica:
• " o ,"

TEOREMA 2'. La correspondencia entre rec-


laJicon;1egndas de ·un haz dad o (/le vértice no
i .
,
• o

i
i
'-0 o

I
r

.'

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

..:::.4,.7•. ~ó~ografi~~
que 'transforman una 'puntos homólogos A, D, e y' P y A', C' il"~
.. :' en .otra •.: .Supongamos definida una"
c6nica • L •
y P'. Esta homografía, por el teorema 3. trans-
homografía o colineación entre dos planos J( forma Q .cn otra cónica, 1;1cual debe pasar por
.y .n',·que::pueden ser distintos o coincidentes. A', B' Y e', y tener por tangentes en A': y B'
. . S.e~p..A·y.1J dos .haccs proyectivos de J(. Co- las rectas- P'A' y P'E', respectivamente. En
mo las homografías subordinan proyectivida- consecuencia, por el corolario 2 del teorema 1,
des -entre.formas homólogas, los haces trans- esta cónica no puede ser otra que Q'. Es decir»
formados: A'. y,. E', serán respectivamente pro- . TEOREMÁ .1-. Dadas dos cánice: Q'y Q',
'. ycctivos 'con .los ·jf y:.B; en consecuencia, se- existen itzfillitas bomograjlas que. transfor-
'. rán proyectivos :.e~tr~ ·sí. Por otra parte, los man Q m: Q'. Cada una de estas hOlliografías
; h~ce~_4.y' lJ. engendran unacónica Q y, por la queda determinada dando tres puntos de, Q y
.honi'~graf.ía. dada, alos puntos' de Q les cotxes- sus /~fs homólo g?S de Q'. :
: e, ~",
,
I. I I :'. ¡.

¡'" ·1
I , .
',1 -! l"

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


".1 !: . :.;
:
i
'
j , .•': '! !'.: ~ ,
:e '

D' e'
..
,
,, ... . . ; ¡:. j.' •
l' • • I FIGUIlA, 22
I ! .
: '.~. . ; ': :' ~ :.~ .1' .: • ~.' . .
!····~po~de~ánlos .pup.tos .~~ que se cortan.Ias rec- Obsérvese' también que si. P.. Y '"P sp~ un
. :f. ';.).;:.tas;homóloga~.;de.1os:haces proyectivos A' y B', punto y su 'polar respecto de Q, los elementos
:: ::¡t:·cs
. 1- t·
déCir,
,
lo's:·p¿~tosJ.de'otra··cónica
: ...•.
Q'. Se tiene "1 ."
transformados, P' y r. por una' homografía
",
'. 'por ·10 .?tanto:,d
e
l.
,'.; • ;.... :, .
r '.'
.sigulente
• ';. 1, '. ,- •••••• ' ,
que transforme Q en Q', serán también polo
'!' ¡.¡: 4i:".#i'TEoREúA:'1: Las:;ho,""ografías transforman. y polar. respecto de Q'; basta recordar la; de- .
I '. ¡.~. . .' . ., • . ~ ~.. .. finición de.'polar y la propiedad de las horno-
':"':(~"CQnlcas' en: contcss;'»
.f' .. '. . I :
: '., .
-", ,;. ;;/:-'1' .,' .1. ., '.' • o •
grafías de conservar las cuaternas' armónicas,
,.:' /~.i~¡:Re~:¡p·ro'ca~ente'::;dadasdos cónicas cuales~
. <':.. :::~q\l~e~.{Q·Y:Q~enIosplanos ¡t.y ¡t', ¿existirán'
Por lo tanto: . : .1

TEoREMÁ 5. Et/. 'toda ho~/z.ograf¡a qi~ tr~1tS-.


!., ; ~;homografí,as:·.~l~'.t ":ú(~ que transformen. Q
",: ::'·'en..Q'?::Vamos.a 'demostrar' que sí,' y aun que forme la cóni'ca Q en ,a··Q', a elementos conju-'
~:,::;;'háy infinitas :de .'ellas"': . '. .. . . gados respecto de Q les corresponden elel1~e.n-
tos c01sju_gados respecto de Q'. .,
.~.'
'~'.
:}~f~ ~m.e~9,~· .·p!-:1ntos.
c~~~esquiera 9:~~~~
::;~~r~
;,:.;.:::i.!?By,'c r;,s~b.~fQ)iO.~~~Sv~s,también cuales-
Para másadelanre
el siguiente t
'va a ser de importancia
¡:
: ':, q~.era,:.4:,..!3 .:y¡G.'.:.,se.~ ~,~l punto de en~uen-
". •

- " . I•
. .' .tro' de.las tangentes~a\Q en: A' y 'B, 'y P' el de TEOREMA·.S Sean dos cénicas Q y Q', 1. en .
; ;:·i·,~~cu~.ntro·¡de:ll~s ..jtanientes·:··a Q' .en A" y B' S1&interior 'dos puntos P y P' JI -dos semirrec-
. ¡.. '('[l'g' ¡-20)··1· ;:"1 '1 ~;;'IJ~'':''':''
eÓ,
!~ .1
1 . '" '. .' i -, _'o, :.:, I/~" -; \.! ' tas a y a' qU( pasan por ellos. En estas co~di-
: ::..;~t'¡~Segúnelteorema .1l:·deI'capítulo Ilf existe dones existen'sélo dos homografías q11e tr/ms-
:"l·'\i~~ ho~ogr#í~ ~ntrejn' y 're' que tiene como [orman Q cjz 'Q', P e1Z P' Y.II en a' (fig, 2.1).
" : " .
; '. " .
~:: .< .'
,;

. _".
En efecto, sea M el punto eri que a corta tre l~s puntos' de Q y los .d~ (ji se ia llama
a Q, y N el punto en que lo hace su prolon- pro'ycctividad.entre dos cpnic~$.~j. ) ..'¡'
Según el teorema 4, una proyectívidad entre
r :! .
gación; sea A el polo .de a. Indiquemos con
las inismas letras, ..con tildes, los puntos co- 'dos cónicas queda definida por "tres .parés·;de .
rrespondientes en el' plano de Q'. Llamemos puntos homólogos •. ~¡ .....;.¡ .¡: .1:·.',.-:1 :',!',.'~.
E y 'p. a los puntos 'en que AP corta a Q, Es interesante' el casó' 'de' cónicas. superpues-, :..
y H Y L a aquellos 'en que A'P' corta a Q'. tas Q E:!! Q' (fig:.:.22y;~Entonh~s~)hs:.pares~dl :
La homografía que transforma A,M,N,E en rectas (AB',A' B).; ~(AC' ,A'e) tir (BC' ;E'e Y,::,.'¡":
~'. .:~ . '.';';.:1 ::,1 .. ":;~~'::¡,:
", ; , . I , .... j .. '"
'\~:i.';:;-j,( >..
Jj f. 'j'

-. '; "i ~ J '::Vr : :':rt¡f·!'t~·::.


l ,'o ," •. 1,1.:;. j ..
, ;+ ;.! ':~H':'; ,
l.: (:. l' ~'I

- . ' .: ': ·:.,:.r:·!i :~(): ¡' ; ..

--~~::~~~~;;::~::~~~~====::::::::::::==~~
';. ".
o •••
i.. "
,,'1
'
"
..

l.:

. ,;

. , .
.,
. FICURA 2,) .1,' ..
' .
t •• j'
.; j •• ,! !.
••• ,' : 1, , '. 1: •

,A',M',N';H y. la que transforl~la A..,M,N,E (AD',A'D), .... , que :unen' pares de.puntó,
en ':A',M',N',L cumplen las condiciones del ,homólogos .de manera: cruzada, .Y I que .se:Jla.:·'
enunciado y son las únicas posibles, puesto rnan paru de. ~ectas aiód"das,.se cortan .sobre "
que cualquier otra que también 'cumpliera . una misma recta e .Ilamada' eje de colineadón~'
dichas condiciones tendría como homólogos a -. En: efecto, los .haces·.·:(Ai Bi::,D,.;· ..·.f '''¡::
los' puntos empleados para determinar una de (A':' B',C',D,'; ..:.;,) . 'son 'proyécñvos,' ·por.,ser. .. '
las'idos hómografias, y cuatro pares de' puntos homólogos 'en la:·.hómografía".d.ada;.·por ~tra,;, .
homólogos definen' una y sólo una homografía. parte, . (A: B,C,D, ~....) ': y." ('A': B,C,D, .... r;' "" .
:. . . t . 'al igual" que : los .haces ¡::(A': :B',Ci,p', ~'.' .r·'.'.
. 4.8. Proycctividad entre cóni~a8•. DEFI- y (A: B',C',D', .... )-;'son:.tambiéh.p·royec:tivos, , ..
.: NlelÓN 5. Si dos cónicas Q y Q' s~ .correspon- . por proyectar puntos de'· úhá {cónica' -dcsde :....
den en una homografia definida entre sus I dos puntos A y. A' de.lamisma¡ en:conseCilen-'
planos, a la correspondencia subordinada en- . cia (A' : BC·D·) , , ,... . y. (A :'",'B'C'D' t:., '. )'.';7-e..

• 1 '.,33

':

.~

O"

. •

'
. :
· .' ~
..
0,"'::'"

..... "I

· ';:'·:;~~i.t;~·
~~.;p.~9Ye~tivosentre sí.' Además son A'B son 'rectas asociadas, sino que también lo
. .perspectivos por ser A' A y AA' rectas homó-. son AB y,,A'B', las cuales, por lo .tanto, se cor-
:¡oga·~;..el ~eje.:deperspectividad es el eje de colí- tarán también sobre e (fig. 2~). En conse-
,' neación, e. Que .sobre este eje se 'corta también cuencia, como se deduce de la figura, las rec-
-el p~r (!3C',B'C), y análogamente cualquier tas AA' y DB' se cortan en el polo E de e y lo
-otro par de rectas asociadas, resulta del teorema mismo ocurrirá, en. consecuencia, para ~todas
de Pascal-aplicado al, hexágono AC'BA'CB'. las rectas AA', BB', CC', DD~,•.. Es decir:
, , Los plintos de intersección -del eje e con la TEOREMA 7. Si 'U11aproyectividad sobre 'Una
cónica son los puntos unidos de la proyectivi- 'Có1¡Ícaes U11-ainvoluc_ió1¡' (es decir, los puutos
dad •.Porlo tanto, si e es secante será híperbó- , homólogos 'se corresponden doblemente}, las
lica, si es t~ngente será parabólica, y si es ex- . rectas que 1men pares de PU1¡.tos homólogos
, rerior sera elíptica.' , ' paSa11-por un pmt.to fijo qll.e es el polo del
. St,la proyecrívídad sobre Q es una' involu-. , eje de colineación.
, ción, para cada. dos pares, (A,A') ..¡ ,( ~,B') Este p~nto se llama centro o polo de la in-
'de pu~~os, homólogos, no solamente AB'· y volución. ' '

CAPiTULO V

GEOME'rRtA NO ,EUCLIDIANA llIPERBÓLICA:

'l. PROPIEDADES GRAFICAS

, '.s.i.
El ~od.elo ;royecliv~' del plano no la CÓ1t-ÍCa_ absoluta o, simplemente, el absoluto
. euclidiano.'
". o.
Con-Ias
.:
'nociones
o
anteriores
o.'.'
de del "plano. Si en vez' de una elipse se tomara.
_geometría proyecuva, vamos a constrair un" Una hipérbola o una parábola, todo lo ·que
·,m~.delode geometrfa plana en.Ia cual no vale sigue valdría igualmente, pero es más intui-
el postulada de 'Euclides) valiendo, en cam- .v. tivo razona~ sobre ..,~na elipse, por tener esta
,,.bio .Ios cuatro: primeros .. EI modelo "va a co- curva todos sus' puntos, a distancia ·finita .
. rresponder a: ,la' .geometría hiperbólica o de .Incluso, para concretar más las ideas, se podría
Lobachevsky-Bolya,i,' que ya. ~iin~s que. era la tomar una' 'r,lipse especial, por ejemplo, una
, :má~',,jnt~r¿sa~te;' 'pues;' en" ella' Ias rectas son circunferencia. '" '. ,
',abiertas I
ilimitadas.
.0'
Deberemos
f: ~.'.:' : o' ..'

e definírr ,
o • 1 1; DEFINICIÓN 1.
"

El plano de la geometría no
, ,'.':<a). ;J~l:pla~~ ,.~.o:~euclidiano,con lospuntos euclidiana' será el' Interior del absoluto. Los
, . y' rectas "del mismo, '.! ,;:' .". " puntos y la:i 'rectas son 'los mismos elementos
.,.' • " '. o : ,~... o" 1 • ,,:.... •

.':..::b)~L?l·.jg':1aldad.o .congruencia de figuras . de la geometría ordinaria; pera las rectas se-


!•. .;. f ~ . • f. . ' ' . .
, "toman reducidas a la parte de ellas que es .inre-
• # '.'

· " :.H';.:,: ~~fa',


ésto ;,\Í}t:iplo ;,Se:-,adopta, en esencia, la
rior al absoluto.' ;
, ","bmisma..definici6n de.Euclides: dos figuras son
. : ',.j"_::ig'~~il~s
o· • • ... ,'
cua'~doj
~." t
éxist~
" _
'un
.
movhru~nto
:
que Ue- Es indispensable obs~rvar que se considera
\v.a una.de ellas a:_'~incid¡r con- la' otra,' Debe-
s únicamentf"el interior de Q, es decir, se ex-
{'r~mo~,'p~r..1({!tantO'~.' -,definir también qué, se cluyen los .:puntos exteriores y también los
':~"é,n:ticñde.por. ~: "movimiento", .'.' . , puntos de (2. Esto hace que el plano no eucli-
:, ,~:',:S~a'
• -::
Q una-elipsefija del plano. Se llamará
, o • '., • !.
dia.no sea ilidt,itado, puesto que no tiene Íimite ,

..
'J-4-,,:
• !.
....
• !. ,
" ':.
· .
·
J, contorno perteneciente al mismo. La recta,
AB,: por ejemplo, no tiene puntos "terminales;
puesto que los A y B de la cónica ya no per- ,
tenecen al plano no euclidiano ni, ,por lo tan-
to, a la recta (fíg. 24).
, '
'
"
'5:2. Los movímíentos del plan~ no euelí-
'diaDo. Para cualquier geometría: es funda-,
mental el concepto de igualdad o congruencia
de figuras. La definición 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{ormación del plano euclidiano en sí
misino, que conserva: todas las distancias entre
sus puntos '(distancias entendidas en el senti-'
do de la geometría, elemental). , !
, Para el modelo de geometría no euclidiana
que: estarnos considerando, los movimientos
van; a ser más complicados., ';, '
DEFINICIÓN 2. Se llam~ movlmiento del
plano no euclidi~no a toda homografía del,
, plano en sí mismo que deje Invariante la có-
nica absoluta. , j,
I
I
:i
"

.
i.

Q
FIGuRA 24

riEFrNICl6N 3. Dos figuras se dirán iguales'


o congruentes, cuando exista' un movimiento
,que; rransforme una: en 'la otra. . ': ,
En este capítulo, al hablar de ~ovjmientos
entenderemos siempre que se trata de moví-'
mientos no euclidianos, de acuerdo: con la de- '
" finición precedente; , ; .
. Son .interesantes los movimientos 'cuyas ho-
mografías correspondientes .son- Nomologías.
En este caso, puesto que en las homografías
'" .
;
.: :

" . , " " . lS .

o ••• {

~.':. '. ~.
. ~.:. ~".:' 5 ....'.( -, :. .'
...... :....., "
'

"
, ,

' .. -, ... ;':; .....


: ;:",! : l· t • '" " • •

'",' , ' de Q o exteriores -a 'esta 'cónica no' pertenecen


;, ",,:.>~:
I ,,'.v
plano' Pd.' Los-llamaremos, "CO~10.
~s;::costumbre,' 'puntos "ideales" ..·Igualmente,'
• "
~~c~~~p~;:
pectivamenre en los BI, A2, B2 Y Al. La .recta ,
a no es el" eje de colineación de esta proyec-
tividad (puesto que Al y A2 no son unidos},
.' . r,:..- : las !.e~ta,sltangentes 'o: exteriores á ,Q se llama-, per.o las rectas asociadas AIA2 y BIBl (= tan-
:' : ránrectas. "ideales", ' gente' en Bi] Y Alib y' B2B2 (= tangente' e;ll ,
• .' J . . 1" .r r:·. ".", .
\:;,~. : ·.::~·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é .condición
-deben cumplir, para que sean 'perpendiculares
(~ig~ 27). Para ello debe existir un movimíen-

FIGURA 27

'.'
'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/también en este caso, a y
b son rectas conjugadasrespecro de Q.. " "
El recíproco es inmediato, pues si a y b son:
conjugadas, la simetría de eje b transforma el .
.:," .i FIGURA 26 ángulo ~ en el a, o-sea, los dos ángulos adya-

.:''.'t~~: ~e:p'~~'g~',
du~ su el' áng~;o i3¡p Ai con
~,'i,'··, ~,;: ' .:B_lP ~!l~ I~:,fual,:,sólo es posible: ,S'¡:.4· y b son
d .,'
centes son 'iguales; y, por lo tanto, rectos.
I
.

" :·'·rectas 'unidas; obiensi« y b se transforman


",,' "una 'en la 'otra.'.' ,> '.. , '
: ",:::,En 'el prim~~"caso,-::el movimiento debe te-
. (.: 'ner.':a~Bl' y P:.unidós Y"'debe :transformar Al
,',:" 'en~~A;: .(A¡ _:; ~~') ..'Si ~l P son unidos, como Y
;: ' :,.~_ta:~biénQ Io!'~~::resuIta unido 1J2: Por lo. taI_l-
'. tó.la'recta'b es todade.puntos unidos; se 'trata
. .deluna ho'mol~gta 'de eje b;"El centro de, esta
,:'",;hoil-i~logía esel polo de b: CoIrlo Al' y A2 fi,
','.,' ":son :hqmólogos; -la recea. a, ,que los u.ne" debe
" ' p.~sar' por' 'B.: Es decir, ~a :y, b son rectas con ju- .' FIGURA 28
"

. . ':gadas.» ' .:, !:. {:. ': ' '~f.; .'. ":~'.;
,:1 .' \ '" ,
,,:.)~:;.

"-:. :·¡';.';En~·el'segundo caso, el, movimiento debe Se tiene' así demostrado el siguiente
'.;.l;aCe~··que: A~.,¿:!3:i ;"Bl~A2 ',y, corno P es TEOREMA 1-. En;1 modelo que estamos:con--
" ,'unido, también ,A!! ~ B2 Y B2 --,)o Al. Es decir, , . >. siderando, 'la condición 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 res- s~an cf!njugadas respecto del absoiuto 'Q. '
••

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

. . .: •

'

, ' ... 3.6


':J ••
" ';
• '. 4 f .
: . : "

. 't·, >¡ '!:,¡.~- ¡ :.':..:;_¡.. !.;::::; :!;:> ..


i '..'!'

¡
• :, r' ~ ,. '. '. '1 •

Él postulado 1.se cumple evidentemente,


F,cuRA" . .... .
ma .5. delcapitulo IV)ttambiéh·.I¡
. , : J:".:;! 1: '~,;; ,i'·reid.qüé
tt ,i;;' 1/('.:L·:
puesto que dos" puntos cualesquiera, interio- contiene ·a.'b_ coincidiÍ'á:;c~ri-I~'::'q\Íe ·c(in'tierie·...>;:::::: ..
res a,~una cónica Q;pueden unirse. con un seg- a b' y deIos: dos rnoviiniehto$\ui1ó¡··ae"léIlos".::,;;:-'.'·:~ !
mento totalmente contenido' en. ¡el' interior .1lev; b sobre b'¡ Por'~10':ta~tó;':si~bdo .~üp~rp:o(~r~:;'t~:·:·.:· .:
. de Q. . , (. nibles por un'moviiniento,:·lds.(fós'·'ángulos tec:i·~:t\;i:.;:,·~ !
.... ·EI postulado Ir también se cumple. Úebe-.. tos ,son iguales, : "':: :~¡' :t':!';~YJ:tH~¡!M.:I·.:.·~;íi\I:':!l'nJ·t~~·:::~:~~~;: ·~·.f
;
mos·tener .
en cuen. t a nuevamente que, no per- . ".~
i

.-:..,'''',g!¡: '. lt. r.~~ -r"'I'


;j, f·I,~·::;."rl·;~~I:~¡.?~·
..¡., r':'¡',:) t,:U~~}.../;'; ::-.;., :. I
'.' ;
l. doI
tenecien o a cornea,. Q a 1 p 1ano no euc lid'rano, . ..,", ._', ," I'B':;'\ í' . ':1':" '.; ¡. l.;,¡'.:¡I''''. :.
"ji; : ;'" ... ;.,".
.•
:

las. ~eétas son ilimitadas, es decir, . 'cualquiera· '.' ¡.i:,:· ...;;.: ,).;"·,1 ...·. ~, !.. ~·~n,l·t!,rr~~.;r.·,·
f. ~.~ .:' -:
que .sea el extremo de un segmento interior P .. ¡ ",\,(,l'r':"I; .\ ,.H :'1 ': ". ! '., !',

I ~~t;;:~:;~r;:e
:::::::.:,:::/::.r .:
-un segmento AB (radio) y un punto O (cen-
""·'.I~> ;; .;.';;': ::':.'}.~;;;fi'i;'.!
r : :', 'H ';' .:, : }., ,,;

;:~b:b;:ed~';::;u=:;:~~:o
dojt~P~~ ;,';.;; :1;j;:'.:,:
(fíg; 28):; al variar a el punto H describirá la .: '. , "
circunferencia del enunciado. Para ello basta , '. :,-,,"t- -: ;.:;:: ... :; ; . ;.

~~~s~~~: s:~ir~e::~n;:~~~on~reenel1:~B ~o~~~ , '..FJ~~~~.,3~. '.; i:.·;;; ¡. ;':';{::.,:,:/~.~.;


'.,'.
la semirrecta a (según el teorema 6 del capí- 5.5~ El quinto. p08·iulado~;. :EI .postula-: .'
tulo;IV sabemos que hay.dos de estos moví- .do V, en cambio; ha-.dejado decurnplirse, En
mientes}; el transformado de B I( que es el ef~cto, por .un p~n,to P leit~.ri~r_;.a1.a'~ecta ~~.
mismo para cualquiera 'de estos dos}novimien- (fig. JO) pasan: ti) lasrectas interiores/al an- ..
tos) será el pun ro H buscado... gulo Al> B que cortan a lá i'edá: r ==:I.AB (rec-'
El postulado IV también se ·cumple. En' tas sccantesy ; b) las.:iectas:.interibres al án':'·
efecto,' dados dos ángulos rectos de vértices .gulo APB' que. no .cortan !r~ {rectas' n'o a
p.y:P', formados respectivamente por los pa- secantes'['; c) .Ias rectas, AA~· y'BB~ .que 'sepa~'
f res dé semirrectas a,b y a',b'. (fig, ~9), por el ran ambas clases .de rectas y tampo.co. corcan'
, .
, ..37 ..
"

:- ;.
-. ~ I '.

,;

2~'r#!! pero que son: límites' de rectas secantes" Si a y b son no secantes, su intersección' es
. ',( rectas paralelas a r). . un pun to '<ideal" El exterior a Q (fig.:, 3l) •
I

. '. :-!. Estamos, .por consiguiente, en el caso 3 de, La polar p de H. es la perpendicular común.
):2, correspondiente a la 'geometría no -eucli- Si a y b son secantes o paralelas, su intersec-
, diana' hiperbólica. ,,' ción. II es .interior o pertenece a Q; por lo
, ; El .ángulo APD, es, el doble del ángulo de tanto ¡U polar h es exterior, o sea, no perte-
.. T '!'I . :para~~liS11l0, :.ángulo; que no debe medirse en nece al plano no euclidiano •
• .... O".

j', ••
i'
,:, ; .:

, -, : '.:.

.' -, ' '

': I !
, .¡
·1 , !

, i • I
:
'r,
,
, i !

¡.. I

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

: "q;:t0'.)H~~~.r~~~9~.~a.f~agpi~,dsobre, el plano del ~- 3. Dos semirrectas 1# y b admiten 'siemPre


;: ;~!;~~~~;¡}~~uJW'r;[~~.;,~,~:~)!,;tt~~~~la;:~u,~ verem~s mas 1ma paraÚll,! común. .j
I!¡,U':;¡::~ ',~, adelante.' 1'1, .1/"I':"'!I: ',' !". ' 1,; •
.... 'f ~...,"\ ~1.,¡;1"1 ;'~"
) ,? "J.
.
" ':jo";" t!O I - o.' Es la recta r que une los puntos en que IS
~ .::n:i1t.;rn.¿~·'íD"r¡:,:; )'<r." ,"~'o '11 ::.!" 'l' 'ü,);¡::", ;:,:.: o,. , •

· ';.".)J!i~;'5:di:! ..!;.'.C :res~~,~a;e "<,:VI.:,, .: '1 \, y b cortan al absoluto (fig, 32). Si 11 Y b son "
-t

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


· /i>~~!~;.~~~Wi:T.EoilEM:~~2~(En:el:;tn.odelo que estamos con- paralelas, cualquier. recta que pasa' por el pun-
o >......"'\~ ... , ..... :,
(: ." ,.~ ,J!;' :"i;~;"'11 ·::"l.·~'·¿,•• I ,. , " ,
to en que cortan a Q es paralela a amba~.
\ ·$"'~~'i~~~4e.r.II!'J..p';' ,rec.t'!A Pllra,lellls:'S011 'las que 'se 'COT-
: ;'~!::''';'!l:!f ) r'" ,_J_ l' ¡:!"b" 1 "t' "Q '; ,,' :'
:,~~";..~J;';,'La",:so~er,e.,.',~ s!J 1f o.::; .' ....•. '.' J o ~,

: ':?;\,},~'1i}~i~\j'~~'tifi~~:~¡~ifiiI;~ar
JI r'
':-".i ",1'~"~
'po: ~~oo del í~finito
i' o ,o I ,~~ • • l' ,

· }~:\:'~.r~~~
f.l,ano.,n~if~~~.~a~~ a.los puntos de Q.
~,})f'v':':i~';:í:"r·:: ~:,! l ~ ¡..~¡:
'f.~!,j :i~v;:.. \ ;:~O;¡_.'I"'.:: '1
,'~;r::rf:"::¡~.~.: P~,cra,s ,p~oplC~d~desde la geome-
I .. ;,/'~(aJ DO el.lclidján.a;:¡
,.: t.' ,. !. 1 ' , ..
!'De-Io anterior se dedu-
l' ," • "j I '., 1 l. I ~

, . .'~i~n:~Ü\tit~Qiata'{l1.~nte' algunas propiedades sim-


.'' : ,¡:'
, .' ttl"J
p les¡::que .cons'titÜyé~ilosprimeros teoremas de
1d hi 1
ey~~.,ia~a ,·~c.rbó ica.
o I I " ' ',1 ...•. o

,', :";:,:~,}.;!~e~mc~r!~~'.!}o.l
. " ~",j ,.,.,.. '.... J' ", ~ f '{ '. o ••

-,'ti, :~PoT·un.p'unt((.f!.
i2~~~!,1~ 'pa~a una,y sólo una"peT-:-
,",::.'>'·:::p'endiCülar '~'1~n~.iccta"..·dada,
,,;, ""'ffJ' "";':, ; ',':''1'':1·:;1', i...·_,;·,',:
r: " FIGURA 32
,,,¡ < , .' ' I ,,!, '
. ,':'":';:,If',·l,.""'{
Aitj,~,sJ~ ~
rec~~jqp..~:'9.J?<~~~n elpolo
". ,.., r"·, ,~'", "'.~ " "
~,de r. " , 4. El átlgulo de paralelismo es menor; que
. o;:,jl ,9¡~~J2/.Dos 'recias 'no":secantes admiten siempre un recto, .: .J
':::::i<r.;~~:.,~perp;n4ic.'Ul~r
.'~o1fl.ún~"Rectasparalelas o Sea 'la recta r = AB. y el punto P (fig. 33)'.
':.i, ,)s,~~a~tes izo á1~ifen.':pe:pendic~lar común. Si R es el polo de· r, la perpendicular por P.
I

J;:¡~!~ L, , ; .

:f, ,2?1::
" "f t , e
.I
, ' ,
o" "
: '
.: '1

• ' ,1 ',' ¡ :.': ': " ,,!,·,:~jt",


==
:i r ·~s.1arecta h PR, y el .ingu!o' de parale- ~entos'MA y MÍJ so~ 'rup~rpÓ@bles,;es d~éh-;¡:~'::'.
lismo es a = RP A. .El polo H de h. perte- : , 'son iguales. Esto quiere décirí, que ,M. '-es·,fer··:,'. "
nece :1 r y es exterior a Q, por '10, tanto ".punto 'medio de AB. :;¡ ~".;;":.! ,1:-:');" i );. ,,:;: ;' f'",.,-
J~~- .;',: 'Il':~';""-. ";.....) ¡v' ::',u,;' •
<
,a <, áng RP H = 1 recto; de acuerdb coñ el " ',:::'Z': Bisectriz ilé ,,1Ú; "ángülo.l"lAÍiáloga'mente~" ¡=,
•••.•• !. .. • /,;.

':l. • .' ., l,' , ,


, enunciado'. ' , )í:' , ' si 'se"Sup~nl;n dada~; las:::ie~~as¡;,,~D~:, ;~q;,,<iu~;~.i~'," '
Esta' propiedad, es conocida con el nombre se cortan en M, se pueden' ..construir: los pun-, '-( '.'
, de axioma de Lobachevsky. ' tos R y"p,, las rectas pe:RM' y·c.;r' ,PM' so.o::_;,.y:·, ,
1:., . .,:,",rt

las bisectrices de los án'guIa,s :idyacentés EMe; l' .


, y EMP, respectivamente- Obsérveseqúe Ia:bi,:{:;:' ,: "
sectriz de'EMC,: por ejemplo, éstá'también 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::;',":·,
,1,

,, bi "~';'I ,'~:" To, 1, '1 .. ~I'p(~'J.j~


't
I • " 1H. '0'"

. ODs~rve~e.ta~ .l~~!~~e)·:~r i re!u tl~~Ic~n~,~::"':": ,:;""


Jugadas; es.decir; la~ ~~~.~c!tr~~~s ".~,el. d?,~,~n~~~H;~'~:'::"
los ady~c~~te~,. son /p;~~~~ndi~~~,~~s::ent~e¡:~S1~'J:nl"::;:: ':
como' debla ser ',,';'" '1" .. l.,! ,1",,:
.'l '1' 1" 1";'!' r,' "'1..1 ,s",:.
,... '1 ¡'ll;,
.', .... •
'J/,,~,.
"1 '"","'~'
':,'v: ..."',:1,
:, \. ¡",
,'" ,¡ 1 >,1
,}"',l.

I ;,')t' f",~, ',.'\" ,',.'1,1',"""


, ... "I"\"~~1'¡¡<
:t.. ",,,
".
y
"" ' I " 1," ',:

3-. Mediatrlces,);isedrices :iiltúra(m j,ílnE't;, ,!,,? ,


triángulo. Llamando me'di~t_rii de:un' segmento;~:~~~'" !
AB a' 1a, perpencdi cuJ ar¡:en¡;su'¡punto
,," , ' .¡. . ," me di oi:o~~;!::;:',,'
' ·,1' "~'" ,
'.:
sea, a la recta ';RM en'Ja 'figura:jJ)';l'y i'coriside~U¡:~·.: ~, ¡
T~mbién es cierto que todo ángulo a me-
rando la,:sime'tría:.de ej~:::RM.::cíU~: II~va'A ¡ rsO:~;~¿..
nor que un recto es ángulo de paralelismo de
bre B, remIta que;, al;;)gidl.i.que /en'.·ell ca'ro)t ":.: ;
euclidiano, la mediatrizde 'un: ség:nento"~es~.eJ)');:<·~:' ,[
.cierto punto ~ y una recta r. Basta observar
,lugar geométrico, dé los, puntos-que' equidist':i'o';,;C:~ !
que/en la figura 33~ dados P, h yaquedan de- de los extremos ...: ' .. (:;, ¡.:j ,;',',:,¡:;.!, ,'~, i '¡;l,.:t/~;:' ··í
ternlinados H y A, y por lo tanto también ¡~;!..~...! ~.~.:.
. la recta r == H A.
5) Dos pares 'de rectas paralelt1$ son siempre
.~----....:... • . h..

'o
:": f" '~i ~ ;.:

,','
.: ~

'
'.' .

",.'

congruentes,
S¿an los pares 4,b y a',b' (fig. 34). Según el
:-.
teorema 4, del capítulo IV, existe un movi-
miento que transforma M en M~~A en A'
y B ;en B', 'el .cual lleva, el par a,b -a coincidir
, a',b'.
con 'el '
.!
5.7. Construcciones eleznentales, 1. Pun-
to -rhedio de un segmento. Dado un segmento
:e,. :...
'1 ,l.:-v..' .:'. '."
AB ¡de la recta r {fig. 3 5), para hallar el .¡ FIGURA' 34'·.
I~ ,: 1,
: !:,:
I
' "
"",.,'
." ,,: ,
:

: ;,. -,\ J; .': ;:


oün'to 'medio M se une el polo' .R de r c..... n
i ! ~~;,
. ',';' '1.,;'.", '.:' i, .. ' I • '.' •

A y! con B. Se obtienen. así los puntos C, D, Análogamente,. llamándo distancia"de '':¡o ::,(_ "
"
,':

E, yl F; las rectas CF y DE se cQrtan en el punto :i una recta': al segmento de' perpendjcú-';;:;.' \


r '
punto medio M buscado. lar comprendido ;'en'tre;'el, 'punto. y,: ,la" reda, ,"; ':",
Eh .efecto, A y' B resultan simétricos res- resulta: la bisectriz "dejún: árigulo' es 'el luga(,.;",.
péceb de la recta p . RM, es decir,:.hómólogos geométrico de' los puntos "que équidjsran, de ~,:"
en la homología de eje p y centro"P' que trans;" los lados, del mismo. ,~.:'; [", ': ",:; :!':-.:'¡ ';
forma a Q en sí, mismá, Por lo tarl~o. los seg':' De estas dos propiedades resultan~ igúaI q~e ;';:~.'
. . . . .' '.' .... '. '.:: ~;' ~.,,' :::'.'
,,'
.! -39",' ' .
¡l . .,': , . :
, , o,' .•••.•

" ,
.
.......
,
",

rn la geometría euclidiana elemental, los si-. En realidad puede ocurrir que 'el punto en
guientes: ' " cuestión s~a uidea11~ (exterior a Q). Más,
, TEOREMA). Las mediatrices de Ífn triángu- exacto es ~nunciar los teoremas anteriores di- '
lo concurren. en un, punto. ciendo 'que,' si dos. mediatrices (o bisectrices) ,

,,-

... ,'

" FIGURA 31

, TEOREMA' '4. Las bisectrices interiores de U11 concurren, en un punto, también' la tercera
'tr~áng1l10concurret» .en un punto. ' media triz ,,(o bisectriz) pasa, por el mismo.
,M Ambos teoremas pueden también demos-
trarse directamente, como 'teoremas de geo-
metría proyectiva. En particular, es muy no-
,r table la siguiente observación de Coxeter [8].
Sea el triángulo ABC (~ig. 36). Prolon-
gando 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 e; Análogamente, se tienen las bi-

.
....:
.:~i.
,'.
sectrices TN' del ángulo' By RU del.ángulo C.
El hecho de que estas tres bisectrices concu-
rran en un punto equivale, por lo tanto, al he-
cho de que 'las rectas que unen los vértices,
opuestos del hexágono MNR5TU circunscrip- ,
I
I

'~>:¡'1: 'to a Q' concurren en un punto. Es decir: el


teorema de' geometria no euclidiana de ~ que
las tres bisectrices de un triángu.lo concurren
• ! I .
.en un punto, equivale al teorema de Brian-
·'·,;¡i .,' : cbon de la geometría proyec#va ordinaria.
, '

-".0 ,¡ ';' ,
.: ::·r··; .:
',',,!;
. , !~
, ,
i
También vale el siguiente. punto. Es decir, .se 'trata deí
. . 1'.1'
t€oie~(~:[~::;:':;<': :
fU : iT!
~~gfue'ÍJte;
~';:¡N;:,'
1

" TEO~MA 5. Las alturas de' Un ·tr!ángulo . de' geometría proyectiva:tJas';'rece:ls :qü¿: tlrlcn ~~!;'.' .:
coitc1trren en un punto. .". .vértices homólogos ,;.de\!dós~tÍiá.rikulbs'ytoáj\.f~·,¡;::\,i,:,,:
gados f . respecto ,;de-:'unii' cónica~.!,pasan. p~r.~:Uíiy._':. ':~
, .Sea el triángulo !lBC. Si l~s polos de los mismo' punto (fig':-'37P:"1 'I::t',k·, '::~;'.;,r,,'(¡:<'¡¡'¡·i: •. :
.Iados AB, ,BC 'y CA son respectivamente e', • "1'1: ~:!):~.
• • • ,:,!/..1:~\~··:1+:'~-r'~':i:~r''''ii~'JJ~:::~,¡;1:'':'~:
l.:' l' ~'.',

A':y D', el teorema equivale a demostrar que Demostración! Sea "M ,.'el !puri ta ~de~:inie~sec·;:,i. ':; ..;-
,las; rectas AA', BB~ Y CC' concurren en un cién ,de AC y )rC~~ y~N~,eI;.dé!A~C, y, B:C'.')~,a;::: :.;:.,
polar de M es 111 ~ ~B~.:.(uniói.( del -polo /11 \" ,
de B'C" r
~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. réctá 'Be el: ha'z, de' las polares: ...
de .los- puntos de B'C~¡.resulia·;{B'C'MNr ..:.... ...~.
'l =
(CBLH).: ~roYe·cta:ndo;la:pHrneia 'cuate;-,
.na desde C..¡ la segunda·!desde.B'ire·Suliaii',ha- ~ .
ces proyectivos, Y' ··por'·')Io "iáJiito' los ··puntos.. .'
o (CC'.B'B) 2,' A(CM"B~L)! y::A'(CN.B~H)·': ;
están en línea recta. ,:'(3;8 h ¡lo.~:cual·p'rÚet)a"el ¡' ';

teorema '. ~ ;:' ~', o ..... : • I :',~".:¡;:' .


, ". ,'~,.: : .~~!._;.:~;
5.8. Cuadriláteros' de. Sabéhe¡'i~':',;y~ .de:" '_'
L:~:':'~:
>:-. ; U\f;~:"
finirno~' anteriormeriie'i 1 lo.'q' tJtt·se,,'eriti~~cié·~po~
.,) .,
'. , _.t •

un cuadrilátero. de; Sacched:' ¡ Se ¡'trata~de': :url .


cuadrilátero·:ABG~ .én er;c~al,1CE ;y"Di(Jon',:. ,:
. . ': ~.,; T,:,; ki;.¡;:'_;·': ;<I·ti;;}iÜ··'
1 Dos triángulos se .Ilam:ui; conjugados:;cu:uido':~lós:,
vértice. de uno '~on los pÓlos •'de •.los• '. lados del otro ..: r;'.;·~
: •• 'IJ 1'·
.;. >

. 2, La' notación. 'O(CC'; B'B) ¡.Gidica qu~'::d~¡'~;::el .'


punto-de intersección 'de' las rect:as CC', y B'B:'! J". ,g:,: ' .
'\: ! . -; ~';" 1· ; . I .>. .1 i::' .:;.~::
'., ,';' .'I!:~'.:.
.. I / •. ~ :. :.~ .

¡\:.'; -: :::.~,.,':..'!::: :': '; :


'.,,:00, •

I . ':: :
.,

,
," . 1,
. ! !
... ¡:i 1,< "
: '! .
s- I

i,

~ :", .
. ~. ",

• • 1'1 •

',.
L
"
FIGURA 37

41
,
...... '

, "p~~pt:~dicuJ~res a la base AB y los segment~s puntos medios de las, lados AB y AC, y sean
, .Ao y 'pe son, iguales -entre si (fíg,'38) • AA', !3B' y, CC' las perpendiculares él h, desde
':,TEouMA 6.: EtI un; cuadrilátero de Saccberi A, B, y C, respectivamente. Los triángulos
'Ia"mediatriz dé la base es ta~bién mediatriz AA'N y CC'N .son congruentes; en efecto,
l
, de~lado opUesto.' Además, los ángulos opues-, siendo iguales los ángulos opuestos por el vét-
'..to~ a 1/1 base:son ,jgu~le~ entre sí. rice 1, por un movimiento sepuede llevar NA
, ."
• .' r- :. • ••• " a coincidir ¿oh NC y, al mismo tiempo, la' se-
mirrecta N A' con la NC'. Entonces, como por
l'
D N e C sólo pasa una perpendicular a esta semirrec-
'1
, ta, resulta que C' y A' coinciden, o sea;' los
,': l. " .. : m triángulos, 4A'N y CC'N quedan superpues-
"

=
,

tos. De aquí CC' AA'. Por un razonamien-


to análogo 'resulta que' los triángulos BB'M
"':. :' A ": ,M
y AA'M también son congruentes y, por 10
, ';)
. , • I

! "
.~

'!
:,'
tanto, BB':::;:: AA'. '
,.t' , ~ ; ,',', FIGUU. 38 En consecuencia' BB' ~ CC', 10 que nos
~j • ! ' . , dice que B'9',BC es un cuadrilátero de Sac-
.: ~! . .. : ., I • ': .' •

, , " En !cfectc;>,'por la' simetría respecto de la


. :J\'\cdiatriz 11/0 de base AB. resulta que A pasa la A
a, B r; por ser .íguales los ángulos rectos (en
,~este'~a"soA y)3):y ser BC , 'AD, también C
.pasa :;a:D~'Por, consiguiente, si N es el punto'
.en.quees corta.a CD, resulta NC=ND"o
sea;"Nres ,~l,punto medio de CD., Además, el
" ángulo C coincide con el D, y los ángulos ad-
yacentes en por ser superponibles, resultan N:
, icctos, que'
Jo pru~ba" el enunciado. '
: .v amos a .~p~car esta propiedad a la obten-
1,'

, ~ió~ pe otra', referente a triángulos, que será


, útil en ]0 sucesivo, ' " , " '
, ' FIGURA 3!1b

A
cheri de base i;B'e'. Por 10 tanto, según, .el
.tecrema 6, la mediatríz de B'e' lo es también
de .Be, lo cual $e puede enunciar:
.1. ~'.
TEOREMA. 7. La mcáiatrizde un lado de
1m triá1lg1&loes' perpendicular a la recta que
une los p1mtos medios de los lados opuestos.
1 'l. Este teorema .va a permitir demostrar el si- ,
-: guiente: ., I
"
. '.:
TEOREMA 8. 'Las
tres medianas de U11 triá1l-'
I ,
gulo concurren en un punto.
: FIGURA 39a
1 Esto surge de ',que uno cualquiera de los ángulos
adyacentes a los: opuestos 'por el vértice es suplernen-
Sea un trjáng~lo, ABC (fig, 39a 6 39 b) . rario de cada uno de éstos, y ángulo$. que tieneu el
Consideremos la.' recta" h MN que une los == 'mismo suplemento 'son iguales.

", .. " r

42,':
. yamos a demostrarlo utilizando un artificio ,de
. .,.. i.: 'Y Lit:.: ¡r;t;f~:\ , :. • '1'7

manera -'que;. el :'punto .;,m\edio,.i:,del'¡':I1a'dó}~'~lf:r


r{\ ..
-. J I , ..b.,(.¡ . '-. J JI'1,(I.J~·'f'I·:;·l\:'<'~;· j.

que sirve también para otros casos análogos:"" e==' AB 'coincida con::O 'r(fig"'~r40,\~'~,Ehtob:ées'~:';;}
I • 0.:1, &;,j. ,1"0,
_,1
;:;1:'
• -Ór '/ ...

'Consiste en llevar, por un movimiento, la fi-. O' se~á ,también ,~I,~puD,to,~ ~edib';:~e':;aB.ise~',!{H:;':
i la métrica eúdidiiria '~Órdina!ia~~I!i¡meOiátriz.'f;~!:¡/~
, :¡ "dé AB "sed' 'el, alártteJ(tcÓñj(íg~á'do''f~~,;'dé: ..,lt!I:Si;ifjJF,:,
¡ N 'y,: P' ,son, los' 1)\into~
1 rrredi~s :::~~~:,jfC'~~[~;BC;~;;i,~;:}:;; :,
,1 segú'n 'et teor{!IIl'ai.la; r~a:a':'N~~tes"'pérpJ'ndic{l~:F?<,'
j
a es
'lar 2,,' '( 'decir; ,pas~!:po~:,ierl~pBlo¡id~',.~'fqtíe",'~)~I:\~,: :::i:,
"

¡-
I el punto,; del Iinfinito :;:a(~:y~::()!leal~;en ;:;eillido
~f¡:::.:<
euclidiano, 'es parilélá;:a"AB.TLi~concúrrenéia'? ;,' '=:
i
de las tres medianas 'en :ün
:p~rfto::esFPó~po p;,' :':'"
tanto, una consecuencia del teorema'3' deFéa'::¡:',::;'¡ ,
, 1 ru.
puuro 111' """."'!
1'-", : l' j
I,í ,j:, , /.'
I ':"
t· r:~'·. ·.I,I~, •
! j;~':"i::,'i', :,\
J

Hemos visto así v:tdas ~'ro'piédades'del;tri:in:- ¡.. e ~,


gulo que valen 10 mismo. en"]ai:geometH'i: no :':::, '!'
:'euclidiana que 'en Ia. euclidiaiial:,.HaY:,,:muéhas':'~;:::
otras propiedadespará.lás, que: _esto"no 'ocúrre;{:'; ""
'Por ejemplo,' no: es"cierhÓiu~"kl'ptiiito:dé{eri:':~:(';:
cuentro "de las medianas!;-divid:i::.a::Jas'nusma:f ' ',:'
en lá razón 1IZ. Tari1poc~ 'texiste én 'geometrIa .: 1 ;::-
FIcúaA .010 no euclidiana ti :recta,:¡de'~Ehler, .es, 'decir;: los'.' "
-puntos de encuentro ,de"llasaltu'ras; de las me-"., ';';:
gura que se trata: de estudiar ta .unr, posición diatrices y de lás médiana~j :noiestán 'en ,linea, ,':':
conveniente. En el C!l,SO actual, ,si O es d cen- recta; ello ocurre si:1. ~ol()si el'rriángulo es Isós-: : ',
tró, de Q, vamos :l llevar el tri~ngul0 dado celes. Ver, -al 'respectó~: Baldus:, [4, ,pág.i f02 t~,", ¡

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


:': " ' ..' ;.,;' CAPITULO, VI <,:,>". .i,"

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


j'
GEOMETRIA NO EUCLIDIANA: HIPERBÓLICA:" :;:"';: :
, ¡ i,,¡,,:-':; ;.0'1, '; '1 :-: f,~~¡:; \ :,/~:!;;,¡t1 ,::

U. ANGULOS Y:, DISTANCIAs>

"

;6.1. Sumo de 108 ángulos in:teriorcs de


. . .
to de intersección de AD~:y)C,' M;,;elipdntO:;::~ ",'
;, i': r: i ti;: i'H- ):::iJt ...
un triángulo. Vamos a, demostrar el .si- medio de' AB, N el polo 'de',PM' y :5,' d::'polo' ~::',::'
guiente de BC (fig. 41). 'Por estarJa: rectii:"P.B::deF: ",
~LE..,\{A.
¡
En todo cuadrilátero ae
Saccberi la mismo lado qué N; respe'cto:':i la -recta' PM; ,
suma de los ángtllos interiores es menor que es S interior al segmento BN':i; por,!lo tanto, .-
4 'rectos. puesto que CB 'y es son rconjugadás,-,rerulta -. '.
'it", .'," .
= árig BCS ,<' áng BCN~": ':"
, • ' • ,,! .....

!Como ya sabemos que los ángulos de la 1 recto ,r "":,


base son rectos y que los opuestos a ella son y de aquí .' _:' ",' :':'~'::',';.:.,/; ; ;':"::".'~,
iguales (ver 5.8), bastará demostrar que cada
uno de estos últimos es menor que un recto. áng BCD = 2 rectos áng ~"1 :r~~,t~;:, ' 7.- ~CN.,
.Sea el cuadrilátero ABCD y sean l' el pun- que es lo' que 'se quería demost~ar.' .", '

43 '

. ",
" .
00': o,'.
; I

. ": . . ', .
I !

" '

.:' ';',TEOR.EMA''.!; E" todo' triániz!.lo la.sum« de , dos últimos' (fig. 42).',El corolario v~le t~m •
, " los 'á1!gulos'i~teriorcs es menor que 'dos rectos. bién, de manera evidente, para cuadriláteros
Sea d, t~ifongul,?"ABC de las figuras 39a Ó
o; cruzados corno el de la figura 43. ;
',':, 3,9~. C~~ laconstrucción en ella indicada (ver COROLA~IO 2. Si dos triángulos tienen los tÓ,

" (le! teor~~a.~ del capítulo V),


l. l!(4~mo~trarci,?.I),
áll,g~los igu41es, son congruentes, .
, ;',por ser, congruentes los triángulos AA'M y
,::, : 'I?B.'!d, a.~í,c~molos AA'N y ~C'N, resulta que ,Sean ABC y A'B'C'. Superponiendolos °fon-,
: :; la' suma' de los' ángulos, del triángulo 'ABC . gulos A y A', si los triángulos no coincidiesen es
.: :"~~üal ,a'l~,suma ,d~.Ios ángulos 'B'BC y 9'CB. , ",y prescindiéramos de la parte común, queda-
I

, 1
, '

,I
, ,
: '.
, "

••• 1

, . ,
..

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

• .. :. ~ t' ~.:;..
1,

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

!'.
,. , o ¡,

N
'," ,,'; , , '1 l' ,

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

, : :, ~" :', ~,: : I ¡

, "',\,En.el-cuadrilátero' deSaccheri BIrC'e los'án- ría un cuadrilátero, convexo, o cruzado, cuya


, \:'g~~~~ren',:w
..,:Y' C(~on ~¡:cc:ros;por lo tanto, se- suma de ángulos sería, indicando con una sola
,':',gún'el lema'ante'no! ';:f. ',I',',! : letra el ángulo interior del triángulo corres-
.'. . ~~. ." ,;. 1.... ". 1-,'; '; t'.: ...
+
J •

~,"JiA:+:B ..........
C -"án' g.'B'BC - l'
+ .
pondiente, en la, figura 44, "
:
; ::''¡)''::~:i' .,:,1',' :,( ~:, '!.:'-4-I,án'g''CCB < 2 rectos, + (2 rectos r- C'), +
'1

(2 rectos .; iJ')
.: ..•:'~,t.,4t.[:..J,." J·i ,,'~i .;, l,:'

::'T~'o:q~é'd~mue;t~:él~e~un~iado.
: ~ ;:-::' t~'! .~·-,~i. :':1
.. " ~, ro' i - .' ,;. ,
+ B + C=,4 rectos,'
,\:V'Go~OLAlUo.l;'!La,:suma 't/-elos ángulos de 'rz" o bien. en la figura 45,
o
',cua~r~f~~ol fS ~11!~~or:q_u_t4 rectos. (2 rectos -, B') + (2 rectos - C) +
" ..En! efecto,; basta :,d~scomponer el cuadrilá-
, tero en' dos triángulos mediante una diagonn],
+ +
B C' = 4 rectos'
o ' demanera que la suma de los ángulos de aquél contra el corolario 1. Se 'puede, por 10 tanto,
resulte igual a. la: suma de Ios ángulos de estos enunciar el
•• 'o" -': I : , :

44'

....
..
. TEOREMA 2. En la 'g~omelría 110 euclidiana Por. otra parte,. se comprueba' inmed~~tai
hijJerbólica no puede haber trióng?¡.[os, y por· mente la identidad r; ,. . ¡ ,

r .Ió tanto tampopo lig1lras más generales, q1te; (UVAC) '= (UYAB) : (uVBC); , .: -
. sea,!,-scmejantes sin ser congruen~es; t •• ' '.: ..
=,;(y·..CUVAC)·...:..:,.
,1 I ',1

la cual, poniendo (lJVBC)


Esta es la' conclusión a la que' llegó WaIlis, = Z, se escribe z = iy~mientras que'.Ias·¡dis7 .
de que el postulado de Euclides es equivalente
a la existencia de triángulos semejantes no '. . '. !.; .~.;·:r.. ~';:'·:1 > r·.
congruentes (ver 1.~y.
o, • l.,' '.
I ..! I .~ I

I • !", ~".
! '; ~.' :'.
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. . ¡
; .

.. Las condiciones que se exigen a' la distancia


"~o

-son:
.
a) Inv.arianda por movimientos. Es decir, "

segmentos congruentes deben' tener igual lon-


.gitud. -
- b) Aditividad. Es decir, 'si A,.'B y C están FIGURA .Ü . I ~

en :línea recta, debe verificarse AC = AB + •••• ;. • t"

+BC. uncias respectivas' son AC '..(p (%) = <p (xy) ,


AB =
q>(x) y Be _.:.'.q,(y). Para se:cum- 'que
pla la condición b) debe verificarse la relación
. '. :cp(xy) , q>.<x)·-·+;~6)·' "::'. '(1.>-"
x
" I •

para todo valor de y de y. Ésto exige, ~_:


poniendo que. la función q> sea continua, que
'cp(x) =klog:x, siendo-áunaconstante arbi-
• l' . ,;.' .
trarra • , .. ..'
Por' costumbre 'se toma Ji:_ Yz, y 'por lo'
tanto se adopta la siguiente' :,
DEFINICIÓN l. La' distancia ~ntre d~s pun- .
tos. A y B está dada po.r la expresión
; !',

AB.= Yz Iog (gVAB) ", (2)


FICUl\A 42 .
siendo U.y V los puntos en 'que la re~ta·:.AB
corta al absoluto'.
Esta distancia es, salvo' un .factor constante,'
Sean U y V los puntos en q'!le la recta'AB
corta n~absoluto Q, puntos que quedan bien 1 La soluci6h de la ·ecuación. funcional •.( 1) in-.' es
determinados -por el A y elB (fig. 46). La mediata si se supone que cp es derivable,' B:ura observar;
condición a) se 'cumple tomando como .. dís- que, derivando respecto de x, por función de .funcién, eí.·
rancia AB una función cualquiera 'cp,. a valo- " ".,,<p'(xy) .:....cp'(x)~. '.':. :" '.' '0' •

res reales, de la razón doble (UVAB) x, = Haciendo"


lp'(x) = k/x,
= l/x y poniendo <p'(i)·= k, resulta",
de donde <P,= k log x +
a, siendo a. una' , .
puesto que los movimientos conservan' las ra-
constante de' Integración. Sustituyendo'. esta expresión.
zonc~ dobles. Pongamos AH = q':~~).: en (1) resulta que debe ser (1 = O.

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

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

la única que, satisfac~.1as,condiciones a) y b}, la recta ~, el coseno ~p~rb6lico de Ja distan'-


,'Observemo~ dos propiedades jnmediatas de
~s~a distanc~a:, ' da AB está dado por la sencilla f6rmula .

1. ',Si B~A, es (UVAA) = 1, Y por lo, <)?~hAB = (ABB' A') 1/2 • (3 )


tanto la 'l~ngi,tud del segmento nulo es cero.
corno debe ser. .: B
, 2. Si B'~ende ~ V,!a raz6~ doble (UV AB)
tiende a cero. y por lo tanto la distancia AB :"
tiende a_; ex}.' Análogamente, si B tiende a U.
(UV A.B) tiende a infinito, y por ,lo tanto AB
también. Es decir, cualquiera que sea A su
distancia ~ JoS puntos de Q vale siempre .: eo,

A=A' e C'
,FIGURA 45

6.3. Ángulo de dos rectas. A la definí-


ciÓn de ángulo entre dos rectas que se cortan
en un punto P sele exigen las mismas condi-
ciones a) ,y b) del apartado .anterior, Por lo
tanto, para tener una expresión invariante por
movimientos necesitamos poder formar, con
las dos rectas 'dadas y elementos de Q, una ra-
FIGURA 44 zón doble. Pata ello observemos que por P pa-
san las dos 'tangentes 11- y V a Q (imaginarias
por ser P interior a Q), y por lo tanto podemos
Es~o j~stifica n'~evamente que a los puntos formar la razón doble (uvab). La única com-
de Q se les llame "puntos del Infinito" del plicación es que ah?:fa las dos tangentes son
plano. no euclidiano .hiperbólico. .!
_9tra expresión importante de la, 'distancia'
4B ,seobtiene observando que la definición de
coseno .hipcrbélico está dada, para AB,. por la
,relación' ,
, \ cosh 1113 ' ~ [exp AB exp (-, AB)] +
,donde exp indic'a la función exponencial (el
, número e elevado al argumento indicado). Se-'
gún (2) esta ~;x:presión,se puede escribir Q
'" cosh AB = .~«UVAB)'1/2 + (UVBA) 1/2]
de donde ,. '
, c~slé
"1 ,,1
AB = Y.í[:nIVAB) + (UVBA) "
+ 2]. imaginarias. Este es un inconveniente grave
desde el punto de vista geométrico' puro. En
'..Teniendo en cuenta la _relación (14) del cambio, desde el punto de vista analítico, de-
capítulo HI, resulta que si A' y B' son los pun- cir que u y v:son imaginarias significa única-
,tos conjugados de A y B, respecto de Q, sobre , mente que los coeficientes de sus ~cuaclOnes
.. .~., "
. . .
: ,.
;. 1'," I .' .~. ~'"
. . '

i
u i.·v.
';

lo son, y como la. razón .doble de cuatro rectas son paralelas, las rectas. coinciden j(:o~í:Já..,
de un haz es igual a la razón doble de sus coefi- tangente. a Q en t(punto' '(úriiC6) del;·Ül!i:!.:~;y:;
•. dentes angulares (ver 3.3) ,. el. hecho de. que nito de 'a.y b, o sea;u a.v~.¡Delaqi1í· (u1Íáb)~_:_:;~""
los de 'JI, y o ~ea'n imaginarios no' ~s .ningún -:-1 ypor 10 tinto··'(a;h).· Ó,.és·,decir~~'elá~~':i;.
inconveniente, puesto que se sabe. operar con gulo entre dos rectas paraléla's :es .iguál' a :cer~~/ : '.
números complejos. como' debe ser. .' ':/' ::.. '..¡':¡~;. ;''-;'1 !.j:;i:.~ ¡'

. Por consiguiente, de manera completamen-


te análoga a. 'la del caso de la distancia. entre ::'j:~.'.: . '.·.·,·.;i.:~. ·.·.I:,!·::.:,;, .):.; ':~\.J
. <.r' ~¡~;/:ii:::f
N.' . .·.·.',.•.•
~I~~

dos .punros, se llega a. la conclusión de 'que el ..


ángulo entre dos rectas debe definirse median-· ."1:
te la expresión '. .
. .
, :
1
1 • 1:" :'!.}! :~. . ~~;"
~
!.:. ""
.: '.:'. ; .....~'~,.. :.. ' .. : .....
~':""r
·.f.~:,;·
1
,!:.,.j. :.:
:
',j . ¡

i. (a,h). k log (uvah) :


. =. .
.' ':'¡::' Si; J~f'~;
. ..:'.:F~}:,;.'".{-...,'.
:;: ~.. '.:. ,¡; '.: ' .: ~
siendo '11. y v las tangentes al absoluto por el
r,
' ..
. ! .:
vértice P. :.;
~ :
-En este caso la constante k puededetermi-
narse si se impone la
condición de que el án-'
1 ¡ :..;,,. .~~.
guló recto debe valer .1t/2. En efecto, elígien- .' !.
'do convenientemente los ejes coordenados, se ,,; f -.
puede conseguir .que la ecuación que liga los ,
"
.coeficientes angulares, in y m', de dos rectas
perpendiculares (homólogas enIa involución
de [rectas conjugadas respecto de Q), sea
mm:' + 1 = O (3.7). Las tangentes son enton- , : ••
....
',r.

ces ;jlas rectas unidas de esta' involución, o sea, . .¡ '. i.


.las rectas de coeficientes angulares + i Y - i. ..!.!'
I ~. . " •( ,
, "
• 0. 1", •• s,

Si a y b son rectas perpendiculares, sus coefi-


cientes angulares m4 y mbcumplen la condición
'. I .
". '; ,
...,nomb+1=0. (4)
~or otra part~
m~-i
.C~,· i,-i,mo,mb) . ----
I mo+i mb+i
1 _ mom''b-i(mb-mai +1
.. i moh'6 + i(mb-' mo) +1
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 expresión del 'ángulo de
dos rectas . '.

.,
~mo
¡
aplicación, observemos que si 11 y: b
.

;'
, .
-.'

" 'o,
-,
- o',·
. ,

, " . .... '..

. '. :
: Sea R el polo de r, F el polo de la normal m, o sea,
y E·.el, polo' de la' paralela a;::::; P A a r por P.
Según (6),'poniendo',n';::::;PF y a'==PE es
sen a = cosh'" d.
2 De aquí se deduce, cos a = tgh d, y' por Jo
cos a!::::, (maa'm'). (SNEF)
tanto
o, bien, por proyección desde A 'sobre m,
l-cos a
c~~~a = (SPRM) • tga/2=----
sen- a
Por otra parte, en la recta m los pares P,S y
'. M,R son conjugados y, entonces, por (3) es
= cosh 'ti - senh d = e_-d,
que' 'es la expresión, ya encontrada por .Lo-
, cos~2d-:-'(PMRS) ='(PMSR)-l=
bachevsky, que liga el ángulo de paralelismo,
= [1- (PSMR) I" = [1- (SPRM) r1 = , correspondierite a un 'punto P y a una recta T,
,"
. jo
= (1-cos2 ar 1
con la distancia entre ambos ·e1ementos.

CAPíTULO VII

"
GEOMETRíA NO
, .' EUCLIDIANA
,
mPERBóLICA:
,,
IIl. AREAS, y CURVAS ESPEClfAiES

':7;1~,~rea' d~l 'Irián'gWo., Volvamos de ' Introduzcamos ahora la siguiente


':nuevo .a la .construcción. de las figuras 39a y DEFINICIÓN 1. Se, llama detecto', de, un
'39b,' según 1a cual cadalado BC' de un trián- triángulo a la diferencia entre 2 rectos y la'
gulo ABC determina u:U cuadrilátero de Sac- suma de sus ángulos interiores. "
cheri .BB'C'C" con los: ángulos rectos en B', ' " , .
. y:c.~.A estos cuadriláteros, (uno para, cada lado' TEOREMA' 1'. Dos triángulos con igual 'de-
'del.triéngulo) 10;5 Ilamarernos cuadriláteros.de [ecto son equ~valent~s·..
Saccheri asociados al~tri,ángu'lo ABe.' : Sean los triángulos ABC y AlBICl, .con la
'",De las propiedadesde 5.8 y del razonamien- construcción de la figura 39a ó 39b. Para la
,to hecho púa la 'demo'scráción del teorema 1 demostración se consideran dos casos:
:del capírulo ' VI, -se deducen' los siguientes • - a), Los dos triángulos tienen un lado 'igual.
-lemas;' ': ,'," Sea BC:::; BICI. '
, ' :,~,L~Á .I. Cada ~1Z0, de los ángulos agudos, Los, cuadriláteros de Sáccheri de los dos
,~e; u'n:·cuadrilá.teTo,',d~Saccberi asociado, a u~ triángulos '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 ,triángl,t~o.:" ,::' , -: '. "" " " teniendo los 'dos triángulos ig~al~ defecto,' las,
,",j ;LEMA' 2. :Tod(),:tr¡41~gulo,,es equivalente a' direcciones de los lados CC' y e1Cl" (lo mismo
;,~~/quie.ra de. s~ts'¡:cuadriláteros' de Saccheri que las deBBr y BlBl') coincidirán. También:
:asociados. ' . , T ",¡,;, '" '; : i',' ," '.' ' , ' , los pun tos E' y Bl' ,y los C~ Y CI' deberán
:,\ Por, :~quiv~ien~'e\~:,e~tien'de que tienen la . coincidir, puesto que 'en caso 'contrario ~~n~
','ini~~a irea, es, decir,' 'que' pueden descompo- " driarnos un' cuadrilátero B'C'Cx'Bl' con cua-
:..',ners,e en partes' respectivamente congr~entes. '~ró ángulos rectos. PO:1" lo' tanto, ~iendo e~ui-

••• I

"

-Ó, :.
valen tes 'Jos 40s cuadriláteros de Saccherí, por ciene un lado i~~l concada -uno de ellos, pbi "
. el lema 2 también .lo serán los triángulos de el. . caso a) resulta probado: el- 'teorema," •. 7j~~;\··
partida.
¡
.' El teorema l'nos: dice,!que~·;·ebáre:l··.de ';Uri '}~
b) Todos .Ios lados son desiguales. Supon- triángulo es solamente fim'ción :dé"Su ·de:fe¿to.~;~':.
gamos, por ejemplo, AlGl > AG. Ilamémosla F-(b J~ Descomponiendo uii:~t~áii-t·:
gulo en otros dos inediante·.'uri:l~haitS~ersál:·,
cualqiiiera, -el ..defedo.:"del ItriingiIlo' :süini ,~és:'
Al' la suma' de los"defe'c'tos ~b~ ~~I de '105 'trián~~ l. 'y-
los parciales, y como la·'nlism~~.cendición di· .
aditividadse cumple 'para las are:as, resulta que
la función F debe cumplir ·la: condición; .:
I .

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


"). . l.,,· . :...

F (bl 2 l P'(~2) •. (1)


Esta ecuación funcional solución. '~ieh~'pos:
única (suponiendo: qué.' P seli'::contintia) :. ..'
.. F
(b) =';b ./:'.

".
••••• , 'o'. ',11, .
I·.~

• • -,'
(2)': .
. FICURA 48 siendo e una constante' que se elige' de 'un~ vez'
.para siempre' l. '. . :.:
.....
{:_:;·
.. :::(;I:... ;' '" .:'_'·::I'
Será ~AlCl > ~AC > CC'. Por lo tanto ", • " o',

se puede tomar CNl = ~AICl de manera que .. lB .: '1


Nl 'esté sobre B~~, y prolongar el segmento
otro tanto; se tiene así CAl' = CIAl (fig. 48). l,,·.:
",

i'.i
",'

El triángulo G.A..lB tiene el mismo cuadrilá-


t-ro de Saccheri'BC<;::'B' que el triángulo ABC,
-: l· ¡ í :'. '.í';

.'puesto que por ser Al' Al" = ce' (por la


igualdad de los triángulos CC'Nl y NIAt' Al") ! . ',; '. ;*.
=
I'~ ••

y por se,r ce' BB', resulta Al' Al" =·BB'.


Por lo tanto los triángulos 'Al'Al"M.y BB'M l.
" .. :'::.~
. .'
.' (
o,:, ' " i :
son iguales, y por' consiguiente BM -:- MAl. FleURA' so ',,'

..... ; i " I


...
I .

Se tiene así el importante .; 1:'. '. '. ~ : ," .: ,.


TEOREMA 2. El área.de triángulo es pro-' un
porcional a SlI. dejecto. . i..'.
La fó~ula (2) Ji hemos demostrado para:'.
triángulos que .tienen los tres;vértices propios ..
Ella vale también, poi' pas~ al límite, para
triángulos con uno o más vértices impropios,
en cuyo caso los ángulos correspondiences, por
ser ángulos formados. por. rectas' paralelas, 501'1:
nulos. Se tiene así :.': ~'..;' . '..•
El irelJ. da;.:..:1tn. triángülo
FleURA 49 COROLARIO 1.
.
. '. e: .
1 ¿ ecuación fut1cjoni (1) 'se ~~~for~:\. ~n¡1~:'(1)'.
De aquí se deduce que el triángulo AlEe
tiene igual defecto que el ABe y por lo tanto,
del capítulo VI poi' el cambio ci~,variables ~ !og.x, . =
-con ]0 cual la Joluc:ión (2) resulta' de b allí. encon-
por hipótesis; que el AlBlci. Corno, además, uada.. " .' . : .' .,' '.:"

49

. : . '
.,.~ '"

. "

....". .
'

. . .
." ABe, con' el: vériic«, C. improPio .(fig. 49). Nota. La sel1-cilÍafórmula (2) para el área del trián~
·:'!a.le".F==:c.(n:-, A-, B). . 'gulo no es fácilmente generalizable a mú dimensiones.
El volumen del tetraedro no puede expresarse, en geo-
. :,COROLAllIO:·2.· 'El:: área ti" un' triángulo metría ·no euclidiana, mediante funcionés simples de sus
A'B'e'; C01I los. dos vértices B' y e' impro- elementos. Su estudio, que empezó con 'el mismo: 10-'
. pios (fig ...49), vale P=·c(1t-A'). bachevsky, y la generalización a más de tres dimen-
siones, han dad? lugar a numerosos trabajos. Uno re-
·/C~R.Pr.;~IC?'·j; :.Er- área de Ull tTiá~gulo ciente, que contiene abundante bibliografía', es el de
ABe, ~o11.1C?s tres. vértices improPios (fig. 50), Bóhrn PO). _
.vale F == ~JJ" '1 ';' I . . .

7.2. «;::urv.asespecíales, En el plano' hi-


perbólico se suelen considerar ciertas curvas
espccial~s que vamos a mencionar a c~)ntitiua-'
.ción, cuyas. propiedades resultan' muy' com-
prensibles a partir de su interpretación p~o-
yectiva.
. , . . I

.. l. Ciclo '0. Circunferencia. Es el


lugar geo-
métrico de 195 puntos que equidistan de otro
fijo, llamado centro.

FIGURA 11
.v,

/.1 • I •

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.~). .
" .. Obsérvese que. 'CTC es el máximo valor que
puede tomar el área de 'un triángulo. Es de-
cir: e» ge01;letrí~ hiper(Jólifa no hay triángu-
los de. área infinitamen~e grand«, "
".TaIllPoco·los· hayen ¡la geometría elíptica,
puesto que todo.el plano elíptico es finito' (c~-
.mo.se deduce de ~u:interpretación corno la su-
perficie de una esfera, 'ver 2.3). Por consi-
guiente' se puede enunciar, con Gauss, que el
·P.9stula4o de las p~ralelas es equivalente a ad-
m~tir la existencia .:tl:e triángulos de. área tan FIGURA 52
grande como se quier«. '. . .
Aunque todos, los..
triángulos sean' de área
. finita,' todo·.e(:p'lano. hiperbólico es 'de área Sea el punto A y consideremos,' sobre la
'infinita (a "diferencia 'del plano elíptico). En recta m que pasa por él, el punto M tal que
efecto, consideremos por un punto. O' rectas (UVAM) tenga un valor constante dado, 10 I
que formen cnúe sí un ángulo a == 2TC/n; ellas cual equivale a decir que el segmento AM
determinan el-polígono A1A2.Aa... An de vér- tiene una longitud dada (fig. 52). Si a es la
tices.impropios (fig. ~l). EJ.'área de este polí- polar de A, y H es su punto de intersección
.gono .. es . F -. e (te -. . a yñ -:- TCC ( 1~-2) , que con m, al girar tn alrededor. de ·A man-
tiende a~infinirocou n.. teniéndose (UV AM) constante, ~\l.ro,piéllse
'V.' .
.'.
50

-'.
mantendrá constante (AVUM) , , y como su polo A, o sea, cónicas bitangentes a, Q en
. .,
(AHVU) ,= -. 1y.por lo tanto' (AVHU) = , sus puntos de mterseCCIon ,con '4. ",},:'..1 ; .:
= 2, también 'será constante el producto Esto prueba 'que,. en geometría híperbéliéa;
(AVHU) . (AVUM) = (AVHM). En con- las curvas de distancia no :sÓn:.rectas.~Précisa-
secuencia resulta' constante la razón doble mente, como.ya. se .ob~e.rV6!,'antes (v:e~',;1.3h
,(AHVM). Esto nos dice (3.1 O,' al final), que postular que Ios puntos ,;equidistantes :d.Lun~'
la curva descripta por M es-la homológica de .. recta y situados de un mismo' lado .de: ella: es~
tán sobre otra recta,' equivale a admitir-el pos-
tulado 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
r¡:
proyectivo '(fig,' 54 lás 'curVas 'esta n repre...:
sentadas, ,por, cónicas -homológícas 'al'abs'Ohito.
respecto de la homología' de'-centro "A, eje: i:
coincidente, conIa ta'ngeii~e"J en este-punto,'.
Son, por lo tanto,' cónicas' 'que tienen 'con ~Q ,
cuatro 'puntos comunesconfundidos en,'A;~r:as'" ",
rectas que pasan por A se llaman diámetros 'del'
oricíclo. : i:¡ , : ' ":'! ' ',oo, ,:;~.
'1

í '

'ti :
,,'

¡ ~ , '. J, "J :

FIGUllA f3 t,'
0',: .,

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


el
y razón (ARUM) ~Es decirven' modelo pro-
'0, •
yectivo de la geometría hiper~ólica, los ciclos " ,
Q
están representados por elipses transformadas
del absoluto según l!l homología especificada. •• 0"
, .
,2. Curva de distancia o hiperciclo~ Es el lu-
,gar .gcornétrico 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 FICURA. ,.04 ,1

a secante a Q, por ser (UV1vIA) constante y , ,', " I ',', ' ,

(UVAR) =:- 1, el producto de estas razo- Un oricicIo queda determinado poi:~ p,wi~"
nes dobles, o sea (UVMH) , también será to límite A y uno' de sus puntos M. Dado' otro '
constante. Es decir, al girar 111- alrededor de A oricíclo determinado 'por, los, puntos ariálogos
se, mantiene constante la distancia MH, y M A' y M' existe. siempre ,m],:movimiento :que
una
describe' curva de distancia: (fig. 53). Por . transforma A en A"y M .en ,M'. Por lo tanto':'
.0 tanto, según' el resultado anterior se tiene: dos oriciclos cualesquierason congruentes;' "
• • '. • I • • • .' y'

las curvas de' distancia de una recta. a están


1 S~ dice que ~a curva es ,un~: tr~y~tOria 'ortogo:'
representadas por cónicas homológicas de Q
'nal a las rectas de un haz' cuando eorea á, eltas' rectas
, respecto de la.homología de eje, 4.Y centro en ortogonalrn.:nte. ' , ",: ,1:. I
.....
, '

.. :' ~.Estc,11~(:ho:~e~rD.ite'definir, en geometzia unidad absoluta. En la, geometría .hiperbólica


, hiperbólica, ~~ unidad absoluta de Ioagitud, la unida? de Iongirud pued~ ser, 'por ejemplo:
..-,1h,st¡¡, '~nside~ ~1'arco de oricielo compren- a) La dis~ancla correspondiente, a un ángulo
, ~~; entre 'l;Jñ:,p'u~~ :M: y el punto N' corres- , de paralelismo dado; b) el cateto de un trián-
, pendiente al' diámco:o paralelo a la tangente gulo rectángulo isósceles cuyos ángulos agudos
~n"'~f;(fig" ~4):Estos-arcos son siempre con- tengan un valor dado (menor de 45 °); e) El
, gruentes,'pues'si'MN"y'Mt.Nl. son dos de ellos, arco de oríciclo comprendido entre uno de sus
, correspcndíentes respectivamente a los puntos puntos y el extremo del diámetro paralelo a la '
+ límites A,y Al, basta considerar el movimiento tangente en dicho punto. ,
.:.quelleva 4- a ,Al y .M .a Ml; entonces los ori- Para las áreas ocurre la misma, cosa. En geo-
:cidos ~respec~yo~.}~oinciden y, dad~.la' cons- metría euclidiana la unidad es un cuadrado
<trucción, también. N coincidid con NI. de lado igual. a la unidad de longitud y, por 10
,: .j.I:' (: .. :~¡ ': :<,' L..:':'~ ',..,', ., ," , tanto, .sín conocer previamente ésta, no se
, " ",7.3. ¡Sobre lit Unidad de medida. Tanta
• ,'. • I ""'. ',-,>. ; •.
puede definir la unidad de área. En cambio, en
,~~) :J01 :;gcomc~.t~':,,~~,di~a, como en la no la geometría no euclidiana el área de cualquier
,.~.cli&apa,: los':ángulcs, tienen una. unidad na-
figura, definida a partir de sus ángulos Q de
~~., de medi~: ~,á.D~o .recto.: En efecto,
una longitud absoluta como las, vistas, puede
~ ambas geometrías, .Ias .dcfinicicnes de án-
servir corno unidad absoluta de área. En la
, iu.Io~, adyacentes. 'r'
.d~Igualded entre, ellos geometría elíptica puede ser el ~rea de un'
" :.:-:-d,Cfiniciones;q~e entrañan la, de ángulo rec-
triángulo trirrcctángulo, En la geometría hi-
to-- son consecuencias inmediatas' de los con-
perbólica puede ser, por ejemplo:' a) El área
",cePto.s' de recta,' ánguJ.9, Y congruencia entre de un cuadrilátero de Saccheri de hase igual .;
figuras, -sin necesidad de otros convenios. '
'. No ocurre ~o nli.m.;t~ con la .unidad de Iongi- a los lados Iarerales, y cuyos ángulos agudos ':':'1
rud, En la geometríaeuclidiana, por existir fi- tengan un valor dado (menor de,900); b) El
guras sen1ejantes",:no~.,«;S 'posible definir una área de un triángulo equilátero cuyos ángulos "
'1:
.J
,unidad. Je" Iongitud .con carácter absoluto a tengan un valor dado (menor de 60°); e) El'
r
partir de Jos, ~~ma~_
fundamentales. Si rodas 'área del sector de oricielo de Iongitud igual
a la unidad. ' iI
las figuras' cuyo :es.tudio "es el objeto de Ia
'geometría se, suSti~ye.n por otras semejantes, , , La' unidad !de longitud, una vez elegida, ,1
1

más grandes 'o ni;isTpequeñas, todo el sistema sirve para determinar la constante k dé la'
~
;-lógico permanece. Invarianre, Por, esto, para fórmula de la distancia (ver 6.2), y l~ unidad
definir: una unidad' 'de; medida para' la:.~IDngi~ de área sirve para hacer 10 propio 'conla cons'-
1
tudcs,:'h~y, que 1recurrir a -Ia experiencia. El tante e de (2) del capítulo. VII. No .habría
metro, ya. 'se~
que se 10 defina' como la diez- , ningún inconveniente en mantener desvincu-:
'1
.millonésima parte :del-Cuadrante de meridiano Iadas entre s:í:ambas constantes. Sin embargo, "

,terrestre, o como la Iongimd .del metro patrón se acostumbra a relacionarlas suponiendo que
de/platino iridiado qu~ :se ,co~serva en París, es para' figuras, infinitesimales la expresión del
siempre, una, definición "experimental", ajena área-debe coincidir con la euclidiana. Por ejern-
a': la'~gcómetría como 'Ciencia del pensamiento. i plo, una vez elegida la ..unidad de.Iongítud, la
: Es, distinta ID 'que' ocurre en las geometrías :',unidad de' á.r;e~se elige de, manera tal que el /
', no.euclidianas. No existiendo en' ellas figuras área s, de un, triángulo rectángulo isósceles, de
J
.' semejáritcs, basraráldefinir 'una figura cual- catetos iguales ~ una longitud 'a, satisfaga la . I
quiera por sus propiedades angulares para 'po- relaciónIim ,(2s/~) -:- '1, para ti rendiendo a
der. ;t\?~ar una' 'de/sus' magnitudes Iongítudi- cero (Coxeter [8, pág. -242]), que es la rela-
~~~~",c~mo unidad absoluta de medida. En la ción que vale en el caso euclidiano. '
.geometría "díptica, siendo las rectas finitas r Vemos, pues" que las geometrías no eucli-
de igual Ióngirud, .se puede tomar ésta como dianas tienen la propiedad de poseer un mayor

fZ
i ,
grado de',determinación que la euclidiana. Esto veces he expresado el -deseo.de que la' georne-
justifica la, frase de Gauss :en una carta ~ tría euclidiana' no fuese la verdadera, pues' aSí
Taurino en 1824 [18, pág. 187]: "Algunss tendríamos una medida absoluta" priori:'¡, ::":1.' ",",
, 'l,..' i, ¡ ,', • ,d ~ , ~ :~ r ~ " :'
.' ." ~" I .~ ',tI ~

i .::, .. : :' t' ':,',

r • ~. .,: .:. Ir' Jo ·t·. ~. . r


, "CAPíTULO 'vm-

OTROS MODELOS PARA IJAS GEOME'OUAS NO 'EuéLIDIANA.S ,


• t '. .', " ~. • :; ~ ~ .) 1':.. i .:::t L
. l. .. • : ~",", ! !o,, r'

• '.\ " !';", ¡ ,l.;,,; ..'' 1', :

8.1.. Interpretación proyeetíva de la geo- estudio del Capítulo IV analíticamente" no' .hay
'metría no euelídiana elíptieá, Como ya apenas diferencia entre el'caso-real y el imagi.:,
observamos antes (2.3), .el mejor modelo para 'nano. 'Por ejemplo, los conceptos de. polo" Y ¡
la geometría no euclidiana elíptica 10 consti- .polar, que aPí juegan.un papel fundamental,'
tuye la geometría ordinaria sobre la esfera, se estudian, por medio desusecuacíoaes, exac-'
con el convenio de considerar Ios puntos -dia- amente delmismo modosi la cónica es iinagi-'
metralmente opuestos como un solo punto, y naria, _ -' . ( , ::; ,:',... .r . L !'.!. :":,,.:
las circunferencias máximas como rectas.' Si se quiere proceder sintéticamente J:¡aYi.ql:Íe'
Sin embargo, también cabe dar a esta geo- partir. del concepto de polarúlatl, como co-.
metríuun modelo proyectivo al; estilo del es-
tudiado con detalle para la geometría hiper-
rrespondencia biunlvoca .entre .puntos y
del plano, tál que a-puntos alineados les corres-:
~t2.S.:
bólica, .Se tiene: penden rectas de un haz. Entonces los puntos .
La geometria ell l"ica es la geometría, sobre ,que pertenecen :1 su polar constituyen ¡-:-por.
todo el plano proyectiuo en el, cual: a) los definición- una cónica, que puede ser, real
punto» y las rectas son los mismos de la geo- , o imaginada, aun siendo la poIaridad.una;éo-
rnetrl« pmyectivt1j b] los movimientos son las rrespondencia siempre real Así procede, por
pomografias que dejan ,invarianle tena 'Cónica ejemplo, Enriques (23 J. ;"(,'I '; ¡' '.' ; .
Desde este punto de vista,- la. ,mayoría de
ima ginaria (absolttto Q del planp).
los razonamientos del: capítulo' V;. sigjten' ,va-,
Por la condición a),. como 'dos rectas del Hendo, y dan n'$uli:ado~ .de' .ta, geometría 'elip~.
plano proyectivo tienen siempre unpunto co- tica. Respecto de las:·d.ist3nCias y, heisJ13:Y.·
mún (propio o .impropio ), resulta que no se que .observare /1)' la distanciá'; está dada:,por
cumple el postulado de EucIj~e$, sino qué: PQr la misma fórmula. del,6.2~·.sól~_que:;uora U:'
un punto exterior a una recta no pasa nin- y V son puntos iirutgt'lanos (cuYaS,"~oordé::""
guna paralela. Las rectas son, aparentemente, nadas se obtienen buscando los puntos: de'· ,"
infinitas, pero por tener un solo punto impro- intersección de la recta AB. con 1:i cóDicá 'ab- .
pio resultan líneas cerradas, y' ~demás, con la soluta}, y pam que la distancia' sea .real la
métrica análoga :1 la del caso hiperbólico (6.2), constante 1(.. debe ser imaginaria; ':b) , con
que aquí debe tomarse de acuerdo con b), esto, la fórmula para. Iavdistancia entre-dos
resultan de. longitud finita. ': # puntos toma exactamente [a-misma fOnn3'que
Una cónica imaginaria puede definirse ana- la (5) del capítulo VI parael ángulo dedos
lítica. o sintéticamente. Desde el punto de vista rectas, de manera que la dualidad se 'manifiesta
3n~'í{tico se trata de una Curva cuya ecuación también en la medida; la longitud de.la recta
es de segundo grado y carece de Runtos reales, resulta finita, así como lo' es la-medida del.án-
por ejemplo X2 + + =y2 1 O. -Si se hace el gúlo completo (el formado por todas :w' rec-
Ir,
" .
!

'_"-.
"

tas que pasan. por un punto); e) la suma de , -al . plano) y sin singularidades, pero Hilbert .
los, ángulos de .un triángulo es mayor que dos demostró que tal 'superficie no existe 'en el
rectos y el área del mismo, está dada por la espacio ordinario [ 35]. En cambio' existe, 'y
fórmula .F=c(A+B+C-x), que es la Bieberbach dio un ejemplo, en un espacio de
bien conocida 'de los triángulos esféricos, y infinitas dimensiones [33].
que difiere de la, ..del caso hiperbólico única- Sin embargo, para zonas limitadas, la geo-
mente en que el 'defecto del triángulo es sus- metría sobrev la pseudoesfera coincide con la'
· '~twdp' por: el exceso: de Lobachevsky-Bolyai, Un estudio detallado
en esta dirección puede verse en el libro de
.. ~?,',2~:,.Otros .'mo~cl08 para la geometría
, 110::euclidiana hiperbólica. Así como la
geometría elíptica, ademá~ del modelo proyec- y
tivo, tiene el de la geometría sobre la esfera,
'se puede pensarsi existirá alguna superficie del
· espacio ordinario :tal! que, con convenciones
· adecuadas, la geometría sobre ella coincida' con
la geometría plana hiperbólica. 'La primera
condición es saber qué curvas de. la superficie
harán el papel de rect-as, y la contestación es
A': x
. naruralr las rectas serán lás' geodésicas de la su- I

· perficíe,' o sea/ las curvas que (por lo menos


para puntos. próximos)' ~e.~n Ias de longitud
mínima entre .rodas las' qu~ tengan Jos mis-
,mos extremos, 'Recordemos qu~, en el caso de 1
la geometría elíptíca, las circunferencias rnáxi-
-rnas. son, efectivamente, las geodésicas de la
esfera.' ",:' ..'
· , El problema: así planteado fue resuelto por
. I
Beltrami [29],"~1. demosrrar que' la geometría
plana hiperbólica coincide con la geometría so-'
b'~~',:un:as. supe~~iSies.·:, ,espeCiales l1am~das "de
..curvatura constante.negativa", El ejemplo más
Schilling [1.3] ..Como su estudio 'se hace a par-
si~ple de 'estas:;~up'~rficies" pero no el único,
'tir de la geoinerria euclidiana del espacio de
es' el' de la llamada 'pseudoesfera, que es la su-
tres dimensiones que contiene aIa pseudoes-
pe!~icie ~obtenidapor :re:volu~i6n, alrededor del. fera, resulta jarnbién demostrado ppr este, ca-
eje J, de la curva Ilamada tractriz, cuya ecua-
ción es ..' '!'.;', .f '
mino que la' geometría hiperbólica no puede
. :--;.' . .
,'.. contener contradicción si no la tiene la geome-

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


. ~, ~: " ;"
V: 2

_X
. .
2

].
tría euclidiana, Más aún, puesto que se pro-
, cede analíticamente, no puede haber contra-
dicción si no la hay en la geometría analítica,
.siendo" una constante ·tal 'que precisamente es decir, al fin de. cuentas, si no.lahay en la
, la.curvatura.de la superficie.'es'-1/a2• aritmética. Esta fue la demostración de Bel-
J .Esta superficie tiene el inconveniente de te- trami, en 1868, de' la índemostrabílidad ¡, del'
ner. una curva singular (la circunferencia AA' postulado de' Euclides. . .
dela fig. 5.5). Habría'sido muy deseable tener Resulta así que la geometría elíptica es la
~ mano una superficie de curvatura constante :de la superficie esférica (para zonas limita-
: negativa de extensión infinita (análogamente das) ; superficie cuya curvatura (llamada cur-

54
¡

,I
vatura de Gauss) vale l/r' (si' la esfera tiene 8.3~El modelo de Pohicaré. . Desdé" el
·1
1
radio .a) ,.~Sdecir, es constante y positiva. La
geométrla 'hiperbólica es, en cambio, la geo-
punto de vista geométrico,' pa~a estudiar una
superficie de curvatura-constante y' neg~tivi'
metría sobre las superficies. de curvatura .es cómodo disponer "de un:'umapa" o repre-
_. l/ro Analíticamente, la diferencia entre sentación de la misma sobre i.e1,plall'o;¡'o'.,sobre
ambas superficies,' en cuanto a su comporta- una parte de éste. En 'esta represenrscién
mien to in trínseco, independiente del espacio .en conviene que las geodésicas·;·(rectas. de)a·.géo~.
que están contenidas, consiste en que si el ra- metría hiperbólica y .'paSen:: ~ :ser' curvas' "4tn~
. dio de la esfera es a, el de la pseudoesfera es ia, . ples, por' ejemplo red¡s.: (j';'circunJereridas~ , .
para que la curvatura resulte,' para ambas, Una representación'. muy' útil, 'que'
af inismo
Igual a la inversa del cuadrado del radio. Se tiempo constituye un modelo interesante .de
explica así la observación importante de Lam- la geometría hiperb6lica; es 'la dada por ,IPoiÍt-
bert de que la geometría hiPerbólica coincide caré en 1882 [37J.· .. ;.: : :." i;· ....
con la geometria de la esfera beyo' radio es' la Para estudiar esta'; representación- c~~~i~~e
unidad imaginaria i = Y :.l~ suponer en el plano 'un par: de ejesortogona-
. .Esta observación es-futiy u-til 'para construir ,.' "lesx e y, y representar cada puntopor elaé-
toda la trigonorneería hiperbólica a partir' de mero complejo z=x+'iy.iEntonces, 'Ias!ca-
la. trigonometría esférica ordinaria. Bastará, racterísticas de' la representación' 'd~ Poínéaré
en efecto, dejar en -rodas sus fórmulas los án- son:
gulos sin modificación y, en cambio, sustituir l. El plano' hiperbólico esd constituido por:
los lados por su cociente por'í (radio de la el semiplano euclidiano y > O~ :
'esfera), teniendo luego en cuenta que para.
volver al campo real se pueden introducir las y
.funciones hiperbólicas en virtud de las rela-
Clone:! .
a . a
sen - =.-1 senh ti cos -. = cosh ti ;
i 1

de las cuales se pueden deducir las restantes


funciones trigonométricas. ~
Por ejemplo, las dos relaciones clásicas. "del
. seno" y "del coseno" de los tr~ángulos esfé-
ricos: x
sena sen b sen c v
u
senA senB sehC '
'cos ti -:- cos b cos e + sen b sen e cos A ,
se transforman, para la rrigonometr!a hiper- FIGURA 16 '. '.

bólica, e~ ", .
,
senh a senh b senh c 2. Los puntos son los misri1ó~del plano. Las
',

sen A . sen B sen C rectas son las semicircunferencias cúyo -cen-


cosh a .' cosh b cosh e - senh b senh e cos A . tro está sobre el eje' x'y, como caso limite, las.
rectas perpendiculares': al eJe· x. '.". . ..
De aquí'se pueden d~ducir t~das la-sférmu- . l' .. I i;' '.: n .
3. Los movimientos sonlas transfo~mación~
las de la trigonometría hiperbólica (ver, por
ejemplo, Norden [11], Coxeter [8], Lieb-' , .'. ('1)
.mann [10]). , .' .'.
. f
, l ••

.con la condición de ser a, b, 'C' y á reales; y duccn todas las propiedades sobre rectas per-
ad-, be > O.' , ,pendiculares del plano hiperbólico. ;,
,,','Con estos convenios, es fácil comprobar e) .Para, medir distancias ~ puesto que los
, "
que:: " ' , movimientos están dados por la ecuaciónj 1),
....: a) , Una, 'recta
puntos, , '

,., '"
.. ,
queda determinada por dos que es la de una proycctividad entre las: va-

:',i.': b) Como ét': ej~' x 1~6 pertenece al plano


'hiperbólico, las rectas :50n ilimitadas, (no tic-
'nen extremos).

j_ :.

_. !

, riables complejas z y z', se conservan las ra-


zones dobles y, por lo tanto, los mismos argu-
mentos de s.z conducen a que la distancia' en-
tre dos, puntos A y B esté dada' por la ex-
presión ' '
u e v, x ..1D = klog CUV AB) . , ,(2)
.FIGURA 17 La razón doble entre los cuatro puntos U,
V, A y B hay que entenderla corno la razón
doble de Íos.números complejos que los repre-
, e) Dada una, recta r~UV ..¡ un punto A
.que no pertenece; a" ella (lig. ) 6), las' rectas
que pasan ,'por '{1.' pueden
ser secantes, .no se-
cantes..« {como.caso límite 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~ funcíón '(1), que relaciona z
, ' 'con' z',.es analítica, da' una representación 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~\ángulosestán dados en FIGURA >9'
:~?-verdadera magnitud. ,Naturalrnente, se tra-
ta 'de .ángulos' entre circunferencias, que hay senran. Llamando ,u y v a las abscisas de u y V
qu,e,medir por el de.las tangentes alas mismas. (números reales) , r al radio de la semicircun-
Por; ejemployIas rectas perpendiculares están ferencia que contiene a A y B, Y (l y'p a los
representadas por semicircunferencias ortogo- ángulos v CA y VeR, si C' es la abscisa del cen-
'~!lalescon su centro en eleje x. De aquí se de- tro C, recordando la fórmula general '

56,
e" = cos x +
i sen x , f) Las circunferencias '"no euclidianas de
las abscisas de U, V, A y B serán (fig. 57)':
centro 0, por ser trayectorias ortogonales ~
las circunferencias de centro sobre el eje" x
r& = e - r , , v == e r + que pasan por 0, resultan también circunfe-
a == e + re ia
, +
b == e 1'ellJ • rencias ordinarias, aunque" no de centro ,0
Por Jo tanto, aplicando (3) "del Cap. III (fíg, 58). " ": : ": : '
resulta Los oricidos son circunferencias tangentes

r (UV AB) == e~a


e'" -
+1
1
: e~P~
erl! - 1
== al eje x (fig. 59). , " : ,!",
Los hiperciclos son' circunferencias q~,ecór-
tan al eje x (fíg. 60): ' ' :"! !"
; ';

'
== tg eP/2) : tg (a/~)
J'

g) "Es un ejercicio interesante construir "to- '


y en consecuencia
da la geometría hiperbólica a partir (le 'este
AH = /dog [tg (~/2 tg ~(aí2)]. modelo de Poincaré. Pueden 'demostrarse 'con"
"De aquí se deduce, por ejemplo, que AU == él todas" las propiedades de
los' capítulos 'V
+
= co, AV =- co, es decir, el eje x per- a VII, las cuales dan" lugar, tomadas a la" iD;::.
tenece al infinito" del plano, puesto que cual- versa, a propiedades de los .sisternas de: círcu-
q~ier punto está a una distancia infinita del los del plano euclidiano. .
': '1::
' ,":.
.."":,",ji .. ~/.)I .'
~\ '. : l' I '1

rmsmo. . ,",.~. : lo::: ~

,. )
I ! ': '

" ~" .;.

, ..~ .

i ~~.1 ¡:. ,'¡. '.~: ..


~",' "~'."
FIGURA 60 • ,
l
~ a ,
l
I

, I . '.: ,.. .
: ~.~
\

"'1
r-.
.~

, ' "

, I

" I :.. i

57

1"
" .'
l'
.' ,

, I
APl):NDICE

, ,
INFLUENCIA DE LAS GEOMETRtAS NO EUCLIDIANAS
'EN LA FUNDAMENTACIúNY DESARROLLO DE LA GEOMETRtA

. ...
'

... !

,
El' descubrimiento de 'las geometrías no básicos, y por 'otro, la afición al juego de sus-
euclidianas fue" para la matemática; uno de tituir postulados y obtener, así, una gran va-
,)os principales del siglo XIX. Tanto por el des- riedad de geometrías, muchas de ellas sin inte-
cubrimiento en sí, que terminó con los traba- rés intrínseco, pero siempre útiles para com-
jos y discusiones de más de dos milenios acerca prender mejor las bases sobre las que descansa
de la dernosrrabilidad o no del postulado de la geometría. ,
Euclides, como ,por 'las consecuencias que tuvo Al primer respecto cabe señalar que fue, '
en la fundamentación y desarrollo de la geo- efectivamente, en la segunda mitad del si-
metría-y aun de otras ramas de la matemática. glo XIX cuando tuvo lugar la gran revisión de
" Con las geometrías no euclidianas, sistemas la matemática desde el punto de vista del ri-
lógicos elaborados por el pensamiento con com- gor. Conceptos usados tradicionalmente fue-
pleta independencia de la experiencia, se re- ron por primera vez enunciados con claridad
cuperaba el sentido platónico de la geometría y puestos en' el lugar que como postulado o
y se volvía a lo que la obra de Euclides signi- teorema les correspondía. Ejemplo típico es el
ficó para 'el pensamiento.matemático. Seter- postulado de la continuidad y la consecuente
minó con la idea, de la geometría como Cien- definición de lQS núm~¡:os reales por Dedekind.
" cia 'del espacio o' de la realidad circundante, Respecto de la fundamentación rigurosa de
ideaqueaún el propio Gauss parecía sustentar la geometría, el máximo exponente fue la obra
cuando en I~17 escribía, en una carta a 01- Fundamentos ~ie la geometría de Hilbert, de
bers '[18, pág. 177]: "Talvez en otra vida la cual existen 'numerosas ediciones y una tra- ·í
tengamos otros puntos de vista sobre la esen- ducción castellana [25], y que puede consi-
, cía .del espacio, que ahora nos son inasequibles. derarse como la réplica moderna de los Ele-
Mientras tanto, la, geometría no debería corn- mm tos de Euclides. Se trata de una construc-
" pararse con laarirmética, que existe puramente ción axiomática con todas las exigencias .del
a 'priori, sino, niás bien, ser, colocada en el rigor lógico. Para cada axioma se prueba su
'mismo plano qu~ .la mecánica." jndependencia y su compatibilidad con los de-
Por otra parte, elhecho de ,obtener tan vas- más, de manera que ya no cabe una nueva
to-campo de novedades con solo sustituir un controversia como la suscitada por el postulado
postulado por otro" despertó, por, un, lado, la de las paralelas;
idea de axiomatizar -todas las ramas de la ma- La demostración de la independencia obliga
ccmátj~:l, analizando a fo~do sus principios -del mismo' modo que las geometrías no

, 58
euclidianas sirvieron para demostrar la inde- las ecuaciones lineales entre :ellas, también, con
pendencia del postulado V respecto de los de- coeficientes del cuerpo.rSi este cuerpo es muy
II ,más- a construir en cada caso una geometría general; se', obtienen, geometrías raras~~;Por
, en la cual se niega el postulado o axioma, en ejemplo, sí es finitcvresultanlas 'geometríás'fil

J.¡ cuestión, manteniendo los restantes, Nacen así,


, -como ya dijimos, geometrías muy diversas:
Por ejemplo, si no se, admite el postulado de
nitas, con' un número finito de, puntos y' de' ,
rectas. Si no es conmutativo, no se cumple el,
teorema de Pappus y resulta' una geometría no
, Arquímedes, se obtienen las geometrías no ar- pascalíana. En esta, dirección, para llegar las a
quimedianas, de las cuales hizo un estudiopro- geometrías ordinarias (euclidianas o no) de-
fundo M. Dehn [34]. Siendo el postulado de be admitirse: a) la conmutarividád del cuerpo; "
Arquímedes tan "natural" para la intuición, b) su continuidad (que ,puede enunciarse' así:
se comprende que, al no exigirsu cumplimien- 10$ elementos del cuerpo forman un espado'
to, la geometría, que resulta .puede presentar topológico conexo y localmente compacto}.
aspectos muy chocantes. Por ejemplo, puede Con estas condiciones, L. S.. Pontriaguin ,ha
'ocurrir que por un punto exterior a una recta demostrado que el cuerpo de la geometría pro- .
pasen infinitas rectas no secantes y que, sin
embargo, -la suma de los ángulos de un trián-
yectiva debe ser elde 'los números reales o el,
de los complejos [38]. "
gulo sea mayor que 'dos rectos. ' Aparte de esta influencia sobre la funda-
También se puede construir una geometría,
mentación, el ambiente -matemático creado',
no pitagórica, en la cual no valga, ni para fi-
a raíz de los estudi~s: sobre las diversas geome-
guras infinitesimales,' el teorema de Pitágoras.
trías posibles motivó un gran-florecimiento de
En ella cabe la posibilidad de, que dos' trián-
ideas nuevas, que a' su vez repercutieron en el
gulos rectángulos tengan catetos iguales y dis-
tinta hipotenusa, ' desarrollo, de la geometria.' La posibilidad 'de
geometrías' distintas 'de .Ia 'tradicional 'planteó
En ciertas construcciones axiomáticas debe
tornarse corno axioma el comúnmente Ila~a- el problema de las relaciones 'entre el espació y
do teorema de Desargues, a saber: si en dos las 'figuras en él con tenidas; y con ello: el 'pro-
triángulos los lados homólogos se cortan en blema de los movimientos de' figuras, la defi-,'
puntos de una recta, las rectas que unen vér- nición de movimiento -como transformación,
tices homólogos concurren en un punto. Si no del espacio en sí mismo, la idea' de grupo de
movimientos, etcétera. ". ,: .. ' '"
.
se acepta este axioma se tienen las geometrías
no argueslanas. . El fracaso de la intuición, lejos de reducir el ;
El teorema de Pappus ...Pascal (en un hexá- campo de la geometría fue 'un acicate parasu
gono inscripto en dos rectas, con los vértices progreso. Riemann abre horizontes 'inmensos'
alternativamente en 'una y otra, los puntos al definir el espacio como conjunto 'de' puntos
en que se cortan Ios pares' de lados opuestos dados por sus coordenadas: y con una "rné-
están en línea recta) también debe tomarse trica", que, puede ser muy general, para medir,
como postulado si no se acepta 'el de la conti- la distancia: entre dos de ellos o la longitud 'de"
nuidad. Su no admisión conduce a las geome- una curva' [39]. Se encuentra que la$ geome-"
trías no pascalianas, ' 'trías no euclidianas son las 'correspondientes a
Todas estas geometr ías, y otras varias que espacios muy particulares ,(los de curvatura '
se podría mencionar, han sido estudiadas con constante), caracterizados por la "libre movi-
detalle. Su construcción debe hacerse casi lidad", en ellos, de las figuras. Se entra de esta
siempre analíticamente, pues la intuición geo- manera en la llamada: geornetrfa. de 'los espa- ':
métrica deja de' ser útil. Así, los puntos son dos de Riernann, base 'de:,toda'la geometría,
las ternas de 'elementos de un cierto cuerpo de moderna y punto de partida de 'gran' número
números (ternas que constituyen las coorde- de generalizaciones. ':', , '
nadas homogéneas del punto) y las rectas son Como es común en la historia de la matemá-
,
........'

.tic;:a,.por suerte para. ella, la conclusión del mi- problemas que' aparecieron, como nueva albo-
lenario ..enigma 'del postulado de Euclides no rada, justo al cerrarse el crepúsculo del Iumí-
fuco un; 'punto:'final"sino más bien.ipunto de noso día que amaneció COIl Euclides. allá· en
partida
.
de'
.'. otras investigaciones
.
y de nuevos . .Alejandría" tres siglos antes de nuestra era.
.,

'.. "

.. :: ° 0'

'. ° 0
, I 1 "

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

.' . 'j ; :
':. "

:

. ".~ . .~.; t·.·.

.,"
: , " , • .,:l' . ~ ~. • ., ti .: '.' :.

';
... .• 1
-: ":' ~"i :::
I •
~ .', ' I ! ,1; . • . \ '•
........ . . .....
,.. .. ;
. l' "! ,l •

.
.'
i

• :',1 " " ~ ':: :. • "i: .:: 'l°o

;, 1 .~: :"';
: ·"'1 •. I"

.! i
..
l.' _ lO: !,
• ,J • r I ", '.','

t: ji":'

. , ...
... t ••

.: ~; .1

60
t.~I·
.'

BIBLIOGRAFtA

l. Sobre 10B Elementos de Euelides


Las ediciones más, asequibles y conocidas son:
lo The 'T'birJetn Books (JI Euclid's Elements, traducción y comentarios de THOMAS L. fuATH,
Cambridge UniversicyPrcss 2. edición' revisada, 1956. ,
2. Gli Elemrnti di Eucllde e la critica antica e moderna, recopilados' por F. ENR1QUES,
Roma, 192,..
2.... Elementos de Geometría (libros 1 y 11), versión directa, introducciones y notas por
J. D. G....RcíA BACC...., Universidad Nacional Autónoma de México, 1944.
Interesanees comentarios sobre los Elemenios se encuentran en:
J. Lnvr, B., Leyendo a El/elides, Rosario, 1947.

2. Geometrías no euclidianas (textos)


4.' l\ALDUS, R., y LonELL, F~, NidJJmklidisclle Gcometrie, Berlín, Sammlung Gdschen (vol.
970). J~ edición, 1953. " '
1. R., Ge07llctr{as no euclidianas (tr:lducción del [raliano}, Buenos Aires. Espa.,:a-
DONOLJI,
Calpe 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' edi-
ción, 1957.
9. KLEIN, F., Vorles1mgen 11ber nicht-Ettkliáis-:he Geomrtrie, Berlín, Sprínger, 1928.
10. LumMANN, H., Ni'cbteuk/idische Geometrie, Berlín, Samrnlung Schuberr (vol. 49), 1912.
11. NORDEN" A. P., Ele-mentare Ejn!ühr1lng in die Lobalch'1'1l1skische Geomeirie (traducción
del ruso), .BerIln, 191'8.
12. SCHlLLINC, F., Projcktl1lt 1ittd 'nichtmkJidisehe Geometrie, Leipzig, 1931. ,
] 3. SCI'ULLING, F.,' Pseutlosphárisehe, hyperboiisch-sphijrisebc und elliptiseh~sph¡jrjsehe Geome ...
trie, Beelín, Teubner, 1937.
1) ~. Vanmssr, G., lntroduction á la Géométri« 'Ion Exclidienne ,par la métliode ¡Umenlaire~
Puis, Gautbier- Vilb.rs, 1951.

3. Geometrías no euclldíanas {historla}


14. BOLYAI, \VOLFANG, Tentamen jmll!1lt71tem sllldioslZm in element« matbeseos purae, ele-
me~ltaris ac sublimioris meibodo intaitiva ev¡dentiaque btüc propia, introducendi, Mar05-
V:.1s~rhelyini, 1832.' " ,, '
15. BOLYAI, JOfU\NN, APPmclix scientian» spalji absolete vr.rl11n exbibens: a ve,Úale aut lalsi-
Ja/e Axiomatis Xl Euclídei (a priori hm~á 1tnqulJm decide7Jda) indepenáenJem, publicado
como apéndice de 1:1 obra cneerior, Existe traducci6n francesa (por Hoüe1, 1868) e in-
r¡ :'

glesa (por Halsted, 1891), esta última reproducida como apéndice de la versión inglesa
. del libro de Bonola (5], Nueva York, Dover Publications, 1955.
'16. ENGEL,·F., y LOBATCHEWSKY, N. 1., Zwei geometrische Abha7tdlungen, Leipzig, 1899,'
1.7. ENGEL, F., y STACKEL,P., Die Tbeorie der ParalleJlinie71 V071 E_1lkliJ bis aU.¡ Gauss, Leip-
zig, 189$. .
18. 'GAUSS, K. F., Werltt, Goringa, 1900, volumen ,8. "
, .: "1.9., 'LOBATCHE,WSllY, N. L, Geometriscbe Untersucbungen zur Theorie der Parallel/inien,
Berlín, 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 matemática, Buenos Aires, Espasa-Calpe Argen-
tina, 1911. " .
21. STACKEL,P., Wollgang ulId ,!oha71n Do/yai, geometriscbe Untersuchungen, Berlín, 19U.
21. *. DAVJD, L. v., Die, beide« Bolyai, Beihefre zur Zcirschrifr "Elemcntc der Mathematik"
~~ 1.1, Basel, 1951 (24 páginas).

4·. Geometría proyectiva y fundamentos


22. BLAScHKE,W., Projektive Geomeirie, Basilea, 1954.
23. ENRJQUES"F., Lezioni di geomeiri« proieJtiva, Bolonia, 1904.
24. GODEA'UX,L., Lecons- de géométrie 'projecti'lle, Lieia, 2' edición, 1952.
21. HJLllERT, D., FUllda11letltos de la geometría (traducción castellana de 1:1 7i edición ale-
'mana; la primera edición alemana es de 1899), Madrid, 19 n.
26. REY PASTOR, J., Fundamelltos de la geometría proyectiva superior, Madrid, 1911.
27. REYE, l'H., Geometrie der Lage, Lcipzig, 1899. '
28. SEVERJ,'F., Lezioni di geometría proiclli'lla, Nápoles, 1895.

5: Geometrías no euclidianas (memorias)


29. BELTRAMJ, E., "Saggío di Interprctazione dclla geometría non euclídea", Giornale di
maJemaJiche, volumen 6, 1868.
30. ' BOH'M, J., "Untersuchung des Simplexinhalrcs in Raumen konstantcr Krümmung belic-
bieger, Dímenslon", J. reine u1td ang, Malhematik (Crelle) , volumen 202, '1959.
3 l. COXETER,H. S. M., "Hyperbolic Triangles", Script« Mathematica, volumen 22, 1956.
32. BJEBERBACH,L., "Ueber die Enrwicklung der níchreuklidischen Geometrie Un 19. Jahrhun-
derc", Silzungsberichle d.er preussischen Akad. der Wiss., volumen 18, 1925.
33. ihEBERBACH,L., "Eine singularirátenfreie Flache konscanter negacivcr Krümmung in Hil-
e:
bertschen Raum", C011Jm. ma/h. Heluetici, volumen 4, 19.32.
34. DEHN.-M., ,"Die Legendreschen S¡¡t~e übcr die Winkelsumme' im Drcicck ", Ma/h. Atma/m,
volumen 53, 1900. "
35, HILDERT, D., "Ueber Flachen von .konsrantcr Gausschcr Krümmung", 'I'rans, Am: Math.
Soc., volumen-z, ,1901.
36. KLEJN; F., "Ucber die sogenannte nicht-Euklidischc Gecmeerie", Malh. Amialen, volu-
men 4, 1871í Y volumen 6, 1873.'
37. POJNCAaÉ, H., "Thécrie des groupcs fuchsicns", Acta Malbematica, volumen 1, 1882.
38. PONTRIACUIN,'L. S., "Uebcr stecige algcbraische Korpcr", Annals 01 MaJbe7llalics, volu-
men 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 traducción castellana
como apéndice de la monografía EsJado actual, métodos :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. VARGA,,O., "L'influence de la géométrie de Bolyai-Lobatchewsky sur' le développcment de
la géométrie", Acta MaJhemalicaAcad.Sc. Hungarlcae, volumen 5, 19 f4 •
.42. ZACHARJAS,'M., "Elcmentargecmcrrie und elcmenrarc nichteuklidische Gcometrie in syn-
thetischcr Behandlung", EnzylJop. drr matl», Winenschaften, Lcipzig, volumen 3, parce-I,
lección 2~ 1.9.14-1.921. . I, ;,
:

62
..
t ! • d .
¡ ,t

.'
,', i '
l.:
.' ~.,
.\
~.. ,,', "

...
~
.íNDICE "
,. .0,'

.
",

!.
"

, ';

,
I
,
!. ,

PR6LOGO 5

CAPíTULO I. .Los Elementos de Euclides 7


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

CAPÍiu!o Il: "Las geometrías no euclidianas


.1
I
2.1.. Las obras de Gauss, Lobschevsky y Bolyai. 12; 2.2. Las geometría,' ..
. :i
.1 I '

no euclidianas, I.}; 2.3. La geom e tr] a.no euclidiana elíptica, '104;, 2.4'• .1a· "
geometría' no euclidiana hiperbólica, 14; 2.f. Geometría' y, reaJid~d,;H;" ;'
2.6. Nuestro' programa, 16. '" ,.. , "
. .. -.'' .. t: ..:',:'.:.r' ¡ "
CAPÍTULO 111. Geometría proyectiva: I. El plano proyectivo ~ysus ti-anl-':
formaciones . . '. . ,,' .:'. '. . .. '. . .. 17·
. ",

".

3.1. El plano proyectivo, 17; 3:2. R.azÓn doble de cuatro ~~~'i~s:' ~ui in-; " ', .
. variancia 'por proyección y SeCCiQD,18; j~J. Rai~n doble de cuatro ree-.
ras, 19; 3.4. Cuaternas annónicas, 20, l~f. Teoeema .fundameiúal~'·,21; i j'

.J 1.6. Puntuales proyectivas y. perspectivas, 22;, 3.7. Involución,' 2-3; ~J;8. ..: ,,'
.~
:.'\Proyectividad entre haces de rectas, 24; '.9.
Homografias O :coline~Cio- ;
.;

!i.,)!
I ~

. nes, 21; 3.10. Homografias particularesr Jiomologla,.26.· , _.

CAPÍTULO IV. Geometría proyectiva: n. Las cónicas 27


4.1. Lar cónicas, 27; 4.2. Teoremas de Pascal y de Brianchon, 28; 04.1.
Determinación de cónicas, 29; 4.4. Poluidad en las cónicas, 29; 4.". Ele- ' .. '
mentes conjugados, 31; 4.6. Elementos notables de uña' cónica, 31; :
4.7. Homograflss que rransforman una cónica en otra; 32; 4.8. Pro- :
, yectividad entre cónicas, H. .' ..

CAPÍTULO V. Geometría no euclidiana hiperbólica: 1. Propiedades gráficas H· ,


.'

,.,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, geometría no euclidiana. 38; 5,7. Cons- ..


trueciones -elemenrales, 39; 5.8. Cuadriláteros de Saccherí, 41.
" ..
63

-----~~~-:-:::-:--:--;-=:. __
:::-::_.-::;;--
....__.._- -_._ ...
" "

" ..
:

CAPiTuLQ VI: Geometría no euclidiana hiperbólica: n. Ángulos y dis-


tancias 43
. .
6.1. Suma' de los ángulos interiores de un triángulo, 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 hiperbólica: IIl. Árcas y curvas


).
.espccialcs . 48
7.1. Área del triángulo. ·4~; 7.2:' Curvas especiales, 50; 7.3. Sobre la ",
'unidad de medida, 52.

CAPÍTULO VIII. Otros modelos para las geometrías 110 euclidianas' . 53


8.1. Incerprctaciónproyecriva de la geometría no euclidiana cliprica, 53; "
3.2. Otros modelos para la gccmerríc no euclidiana hiperbólica, 54;
8.3. El modelo de Poincaré, H.

ApÉNDICE. Influencia de las geometrías no euclidianas en la fund:lnlcnt:t-


ción y desarrollo de la geomctria . . . . . . . . . 58
, I

61

,.

,"

se .a e a 116 dcj
el 25 de enero
ro p r i m.i r
de 19GG
en 'los' talleres 'grMicos de
LA PRENSA Mi:m~A! ARGENTINA l'
I
~
!
I
Junín 8'15 • Buenos Aires ,¡,
1