·~;!

: \'-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
'de 'la vida de Euclides, Según el testimonio de
Proclo, un matemático que vivió en Bizan-
"cio [enrre los años 410 y:485 de .nuestra era,
"Euclides floreció durante el reinado de Pro-
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.
delreinado de ese soberano. Además, se' cuen-
ta 'que un día Prolomeo preguntó a Euclides.
si para aprender geometría existía un Camino
,má~ breve que el deIos Elementos, obteniendo
I la respuesta. de que en geometría na existe
. camino real. Euclides es, pues, posterior a Pla-
tón: [428-348. :1. C. J y a sus discípulos [como,
Aristóteles, 384-322 a.
C.]" pero anterior a',
Eratéstenes [aproximadamente 280-192 a. C.]
y aiArquímcdes [287-2123. C.J.u
, Debido a 'estas noticias es costumbre ubicar
a Euclides como habiendo vivido alrededor del
año' 3<>0,antes de nuestra era. Sin embargo, te-
, 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
: que se carece de referencias más directas, se
comprende que algunos historiadores pongan
en duda tal fecha y aun la existencia misma de
Euclides, atribuyendo sus obras' ya sea a otro
matemático griego,.·o 'a la labor conjunta de
.una escuela qut! hábria pretendido compendiar
todos los conocimientos matemáticos de 12'
época.
Prescindiendo de la persona, real o hipoté-
, '.
tica, lo que Interesa' par~ ,la: historia d'e' la ;má?:
temática es la obra,,:y ésta;:'ali'ri'qu~ a -Euclides. ..'."
se le 'atribuyen algunos escritós"más~ sereduce!' ,
fundamentalmente a" los' ! famoso~:, Elemétltos. :'::
.' , ,,'. ,·;:u'~:::~:~. ¡: <;:~:,:i' i.~': ¡/; '.
Euclides 'for;nan ',un :COh)U~td-de ::0 'Jlbro{de;;~::,'.
dicados a Jos fundamentos .aJ.ije!sairol1o~:J6~';<' y ..
gíco y sistemático, de'Ja-:geometría;;Es;Ii abrí};',
cumbre de la 'matemática':'g'riega:' Durante si;;'r'~':\
gIos ha sido el texto' obligado': de géometría e.:t,:.': .
todas las escuelas. Es etprimer ~bro:d(funda:"/::. '
mentación geométrica~:y SÜ, ;estilo ,y~'ord¿na~..·:"
ción fueron los moldesa los 'que.se ájustaron~·:. :'
todas las 'obras posteriores de' matem:hica. ~,".' :;) :
No se 'trata, :e'n.absolutor(ie:''\Jri;¡'maiiu~I·::i '.
práctico o de un 'co~junto' de:.;egl~s úti]'~s!<jul,
puedan' servir' para" ctllttilár lo' ,.me'Jir~ .al:: es~¡:"
tilo .de los docuinentos'·~egipdó's '·o¡babil6rticós'.:: ,
-de .épocas'arit~riores; Sc"trata de',uná 'estr,li'ctlJra'?,' ,
. de Platón' de la' geometda:I,~.·C(;mé;:!si','Sé'Hati.ra! :::;
de alguna finalidad ~'prádj'd;fIó~\' ge6m¿tds~\~'.
h:ibl~n: siempre ·:~e'~cita~i~~;.,~~.~l.~#gár/J~alg~~~;;i:':¿,; ',' .:
. gar, cuando en verdad la CleÍlCla':s'e,cuItlva!con,?:::~:;,.:;
el único. fin 'de ~onoce~r.t~','!:'(1{epüblicti~'rLibio~:¡¡,:\ ':_
Vil , 527)s s , ."."" .',:, ;~,;,'~'.;'l·,',,-!: j"f' I,',I;"¡, ',';' ,!,¡:J..,¡:.',!.",
.; "~~:;~'i ~r~" t;'r~: ·i;;'lo~o.:>f~·;!:i~ '; -í{~J~::' ..
. Las bases de que parte,Eublldes"para:¡c<hfl-,:'¡:;" .
car su geoméerla-son: las"definidories/lós':pb's~\! -:':
tuIado~'y las río~iones,~comuI:ies.~'·:, '{':,.::~!~~~ :i·(IJ'~I"'··
, 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-
. derna, el sistema presenta varios defectos. No
'. figura, por ejemplo, aunque es usado con fre-
cuencia, el postulado de la continuidad, que
en la forma dada por Dedekind se enuncia:
. Si los puntos de 1tna ~ecta están' divididos
en dos clases, de manera Q1tClos de la primera
clase precedan a todos los de .14 segunda, en-
tonces existe 1m P1tnto, y sólo 1tná, que separa.
a ambas clases, es decir, que sigue a todos los
, de la primera y precede a todos los de la se...
gUtida.
, También .esusado, sin qu~ sea postulado ex-
plíciramenee, el hecho de que un p.,unto de una
recta divide a ésta en dos partes "separadas, o
.de que una' recta de un plano. divide a éste
en dos regiones, así como el siguiente postu~
Jado de Arqulmedes, que en realidad es con-
secuencia del de la continuidad, y que ·luego
'resultó fundamental para la construcción
axiomática rigurosa 'de la geometría:
, Dadas dos magnit1tdes entre las cuales están
definidas la nema y la 'relación de mayor a me-
nor, tal-como para segmentos o ángulos, exis-
te siempre 1m múltiplo. de la primera que es
mayor que la segunda.
Sin estos postulados, u otros equivalentes,
pueden señalárseles varias fallas lógicas a los
Elementos. Por ejemplo, 'ya en su primer pro-
.blerna, que consiste en la"construcción de un
triángulo equilátero de lado dado, al hacer la
construcción lrabitual de trazar dos circunfe-
rencias, de radio igual al lado dado, por los
extremos de un, segmento de la misma longi-
tud (lo que puede hacerse por el postulado JI) ,
no queda demostrado que dichas circunferen-
cías deban cortarse.
Sin embargo, todos los defectos que pueden
señalarse resultan insignificantes comparados
con el mérito extraordinario. de haber cons-
truido una ciencia deductiva a partir del cú-
mulo de conocimientos dispersos, en su mayo-
ría empíricos, que constituían la matemática
anterior a la griega. Además, el hecho de se-
ñalar' como postulado. al quinto de ellos, que
.dio origen a tantos estudios y discusiones du-'
rante más de veinte siglos, demuestra una in-
"
tuición genial acerca de uno de los puntos cla-
ves del pensamiento geométrico l.
'1 ' .: ,
1.3.' El postulado V o postulado :de'.I~~1
paralelas, 'De los cinco postulados del-sisre-'.
ma de Euclides, los cuatro primeros traduceñ':'
'propiedades más o menos evi den tes. para' nues-, -.
tra intuición geométrica¡ Elrnériro' consiste ,en,:
haber sabido seleccionar,' de entre el sinnúmero' ~
de tales propiedades, una: Cantidad redúcidí-" .
sima de ellas que fuera. suficiente. paraeons- '
truir la geometría. El postulado: Y,i en cambio; "
llama la atención, y ello desde.el principio ....por ..
su mayor- complicación' 'y ·po.r-~c~recer"·de la'
evidencia intuitiva de'.que gozan:':los :.·demás;·.'
Es probable que al' mismo Euclides" no 'se; le.'
escapara esta diferencia y. procurase.ven tóda
su obra, evitar lo más'. posible leste 'postuladoj"
que aplica por primera vez' para .demostrar .la:
proposición 29 del Libro 1,' a+saber: 'una recta'
,que corta a dos paralelas/oriria:~'con: e~IaS:}~·~";.
'
gulos alternos internos igú'áIcs;:~¿'~respd~die.n.:':"
tes iguales; e inrerioresdé un: mismolado ..·su,,,:~
plernentaríos, Este esfuerzo de: Euclides' por.'
I
evitar el uso de su postulado V, mientras 'pue'-',
de, y por construir la ·g~ome~i:íii.con indepen-
' "dencia del mismo, .justifica !Ia .muy .repetida
fiase de que Euclides fue el ..primer geómetra
no euclidiano, o bien," que ;Ji "geometrí« no
eu~lidiana nació negan-do su paternidad, ; v- ,';.
Hay que observar que en algunos. marius-
critos el postulado de las paralelas" aparece
corno axioma Xl (algunas nociones comunes
pasan a ser' postul ados ),. 'Así :se lo menciona
también en algunos trabajos 'posteriores, 'por'
ejemplo en los de J. Bolyaí. 'Siguiendo la cos-
tumbre gener:t]"que:históric~mente parece ser
la más exacta, nosotros seguiremos llamándolo .
.postulado V" " :~, I .' •
La primera idea, que prevaleció por' más de
veinte siglos, fue la de querer "demostrar" este
1 Más detalles sobre Euclides y' su obra pueden verse
en las clásicas obras de Heath. [1] .y. Enriques ,[2] •.
:ls¡ como en la Historia de la matemática de Rey Pas-
tor y Babini [20J. y muchos pU,ntos de vista, or'igi- .
nales acerca del valor de los Elementos como modelo
de construcción matemática, en el interesante libro de
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° _.
- (3, la recta CBl caerá dentro del ángulo
DCH. Por. consiguiente, durante la traslación
habrá un punto A' en que la recta ·A'B' cor-
tará a CD~ Si P es el punto de: intersección,
se. tiene el rridngulo A'CP. Si se puede 'cons-
truir un triángulo' semejante al A'CP cuyo
lado sea AC, el punto' homólogo del P será
el. de encuentro de .AB y CD·; es decir, estas
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. ..
:WalHs opina que su forma VIS del postulado
es:]a más próxima al pensamiento de Euclides,
puesto que el postulado' III establece la exis-
tencia de. circunferencias semejantes, y parece
'nátural el paso sucesivo' de postular la existen-
cia
.de figuras semejantes también para otras
figuras .geométr~cas. . '. . excluye "tál p~si~ilid~d,~J~'E~·:i;,.~a~bi?,\.~¡
';Otra orientación, que hace ver bajo un nue-
vo aspecto la incidencia del postulado de las
paralelas sobre teoremas geométricos al pare-
cer muy distintos, es la iniciada por el jesuita
(fig. 2). Sin eluso del.pósrüladó V se demues-
tra 'fácilmente 1 que el ángulO C es igUal :al D•.. '
Caben entonces tres casos, según que esteári-
gulo sea recto,' agúd.b ru-,obtusó. :S~ d~niti'esir~ .
que siempre se está ~.il el-mismo .caso;·cüales~ ,
qu..iera·:qúe-sean las dimehsicnesde.lá' i"asé'\~B:
y de los segmentos igúales !A.p. y BC~t ~pái¿";'. ."
cen así tres posjbilidade(·qtJe."p~eden ~óm~rse' .
como hipótesis: la del ~ángulo .recto, ,la !del, .
=
que" el postulado' de lás paralelas eqUi~.aIe"~~~b.;..: ..
. hipótesis del .ángulo:, recto,!.'i:·.trata)~ego~;,(Je·~." . '.!
probar que las otrasJ~'pótel;isJlévan'!~ ~n::á.~:
';::;~.
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..
< ~.
.toma como el abSüi-dCi'deseadd,'y.:por·lo):in.tc(:·' l.,
~ar~~~~.. ....i'
hipótesis d~1!~~ID110Ja;~.~?t:D~·.:~??~1~~i}I>~~~r ..,.,; ¡:
a cont~ad~Ccló,n A ~l~.n~~:i ~~~l~~v~~~~~~'.h~a!:::l. .i
. contradicción no eX1ste.~y..es .¡preclsamen~e; la :'.. (.
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
'las geometrías no euclidianas. . los postulados precedentes-,
. ·'N~ es"difíci( demostrar que las tres hipó-
tesis, (del ángulo recto, obtuso o agudo) equi-
valenrespéctivamente a suponer que la suma
de los ángulos interiores de un triángulo es
. igual, mayoro menor que dos rectos.
. Finalmente, es intéresante la forma obtenida
r por Gauss (carta a~. Bolyai en 1799 [18]):
, Vr. Existen tridngtdos de área tat) grande
. como se.quiera.' ':
.; :: Si '~e admite esta proposición, el postulado V
también: puede demostrarse. . ca se aclararán en la Tierra; y el desdichado
. ·.Hemo~, dado varias formas diferentes del
postulado de .Ias paralelas, Se podrían citar to-
davía otras 111as.rodas ellas fueron cnconrra-
das durante las tentativas de "demostrar" di-
.cho .postulado.' ·Et' resultado. fue "siempre la .
"~~stitQci6n .del' mismo por otro equivalente,
de enunciado: más: o menos. simple, o más o
menos evidente. :Así se fue llegando al. con-
vencimiento de' q~e .se trataba 'efectivamenre
de 'un verdadero postulado -no de un teore-
# • I •
"
, '
: ., 1 ':' l·
, :.,2:1.' Las ~bras"de Gaues, Lohachevsky y
Bo)yai.; Si el ·po~t~.la40·V, en la forma. dada
por~Euchdes u ot,ra 'equivalente, es un verd~
·.dero·postulado, eI'hecho qe negarlo, aceptando
'105 aemas~' no: deb~· co:nd~cir a contradiccion
aIguna~ Es~a f~e:la ~d.ea¡·q~e:maduró en la pri-
mera.:mitad
'" ,
de1:s.iglo
'I .
XIX; 'y' que: dio por re-
"' ...
s~lt~A~'I~Ln~fixA~~~t.0;i,dc, .,las."g~o~etrías no
cu,~hRl~n~~,es·;de~~.J;""l;de.·.la.s:·geol?etnas en que
. el:,ppg'pla'd9 :V¡: .deJ.~uc~des .deja de ser válido.
,}C~fl1o~:t.oda.Ii~e~',:q~e.;.l~eg.a a 'la ~adu~ez e.n
un determinado momento de la historia, di-
cha~'~g~omet~ías" .ii.ó'·puede~ atribuirse 'total-
.~:ente: a 'u?a
sola' p~rsona:. Fueron gestadas por
la obrade todos los matemáticos anteriores que
) "
12
-rna que pudiera demostrarse con el s~lo uso de
y que, por '10
tanto, iban a· ser inútiles todas las tentativas'
de demostración.
·En este sentido, Wolfang Bolyai '(1775-
1856) 1 escrihia a su hijo Johann, uno de los
'creadores de la geometría no euclidiana [21]:
"Te ruego que no intentes tú también luchar
con la teoría de las líneas paralelas. Perderías
-el tiempo y 'sus teoremas quedarían sin de-
mostrar. Estas-impenetrables tinieblas pueden
derribar a miles de torres como Newron. Nun-
género humano nunca poseerá en el mundo
nada completo, ni aun en la geometría. Esto
constituye una grande y eterna herida en nu
alma."
1 Como suele. acostumbrarse, utilizamos la versión
alemana de los nombres de los Bolyai, padre e hijo. Para
respetar la forma húngara, en la que el nombre sigue
al apellido, en algunos libros Wolfang Bolyai aparece
como Bclyai Farkas, y su hijo Joh:mn como Bolyai
]ános. '" .
CAPiTULO II
, .
LAS GEOMETRtAS.'NO EUCLIDIANAS
", s
intentaron ver claro ·el.significado del famoso
postulado, y cosechadas simultáneamente por
varios matemáticos, entre' los cuales, y corno
más significativos, se cita siempre al gran rna- i
.!,
temático alemán Karl Friedrich Gauss (17.77,~ ,
1855) , al ruso Nikolai 1vanovich Lobachevsky ¡
(1793-1856) y al húngaro Johann Bolyai
(180f-1860). . ;
En realidad, los únicos que publicaron du-
rante su vida los resultados obtenidos fueron
los dos últimos, pues Gauss, prillceps matbe-
maticorum, ya coronado ,de fama por 'otras
investigaciones, temió siempre que las .relati-
a
vas la recria de las paralelas fueran conside-
radas por sus contemporáneos como div:aga-'
 .:
'.
'. 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
como quedaron una vez' pulidas y sedimen-
tadas. .Un .estudio histCSrico· y . bibliográfico
puede verse en el libro de Boncla [5].
~ Sea una recta.,. == AB y un punto P exte- .
. .'
. (Obsérvese 'que .lasrectas¡ no] secantes, tes-.'
pon den .también a.la definición- ~e rectas ··para-.:
lelas dadas por·.Euclides. (ver::l.2 h·sin émbar:"; .
go, las posiciones límites tienen .Cierta.spropie~"
'dades particulares 'que hacen convCtiient~ con-:

. .' 13:
.',

.i ... '

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

'
':. ~':", ',,". '.
 : ... :.... ;
: :.
", t. '.
,,'
• • • !':",
.... .,: , ,¡ ';;
servar' sólo p~ra t ellas' el nombre de paralelas,
para 'a,sí-"distüiguírl.as de las no secances.}: ' ,
~-Los .casos 2 y _:3 ¡ corresponden a las geome-
idas ~o, euclidianas, Ilamadas, respectivamente,
elJ ptiq( e" bjpl_rb61~clI.,,:':':,
.... : •••...•.. ;:
':,2.3. L~geomctria:no' eu~lidiana elíptica.
, ',La, ,ge~mecda':'elíptica,; .es la. que resulta de
, "su~.ti~uir,el postulado: de: las paralelas por el
. siguiente: ' ,:¡ ,"', " , se considera el lugar geométrico de los puntos
Por, un 'punto exterior, a ,,,na recia "O plisa
ninguna p'arIlJela.es decir. todas las recias qm:
pasan !por 'un pt¡.n!o extcrior a otra cortan a
es/a última. ' : .,
':Consi,deremos (~ig~,j) 'la recta HP p~rpcn-
dicul,!~ a,.r,p()r."u~,:punto H.de la misma y la
LL'_ perpendicular.a: PH', por el punto P. Sea
.M1 'el, punto' en q~e LL' corta a r. 'Según el
postulado 1 de Euclides ,(inte~pret~do en 'el
sentido de que· por. .dos puntos pas~ una sola
recta) ,:'el punto Ml~·debe,ser único, y' el mismo
tanto si M'se aleja':hacia la. derecha como ha-
cia la izquierda. La"recta r·resulta a~í cerrada
. y, p'or .10 tanto, ~init~.:E~'dedr: _ .,.' . trigonometría esférica.
E".n:la 'geomctrla ~eli plica las ;eclas son ce-
-.las ", (.'. ':r
rraa:,:.'
~{¡"_i',
No _pued~decirse que sean U!~m!t~das",
puesto 'que no ,tienen ,p..?~~s ~onde empiecen
o' terminen; por lo tanto no ~ay estricta con-
tradicción, con el postulado Sin embargo,
"i~plíci~amenie se :.hil~~a::,entendido siempre
quevlas rectas ',dc;b~an)~er'¡abiertas e infinitas.
De ~qui ;que :la conclusión 'de .que debían ser
-cerradas "se¡estimase:"un'aicontradicción con el
postulado P',":Y Ja'~ge0n1.e~.r,í~ elíptica no 'fuera
cQ:'lsider~d~,'eli u,n:pr4tcipio~ ',', ' : '.
f..:'Li:;· cometría~elí i~~a,es' l;t'geometría: sobre
la-~superficie esférica cuan, o se 'conSl eran co-
-mo rectas :13, circ;unferencias 'má~mas., 5ola-
menté¡h~y ..que, c~':lye~j.r~'para evitar que dos
recta~\se .cortcn> en ~dQs.':puntos..diferenres, qué
los p~Úttos'~Jia1fzciralmenté 'opuestos .sea.n 1m
solo pi¡.n~o•.:En' ,reiio~es 's~fident~mente limi-
_t~da~:'para-que ;~Q:ha~~,e~::~~as.'puntos diame-
tr~lmente'opuestos~'la identidad, entre la geo-
metria: 'sobre la esfera y 'la: geometría ,t:Ií ptíca,
, escompleta .. Se
tiene-así el:.'primer'ejem~lo d~~.
;"
I
, .
geometría en que no se cumple el postulado V. ,
'Por tratarse de un ejemplo muy familiar, es
muy útil para comprender algunos hechos que
a primera vista parecen paradójicos. Por ejem-'
plo, el resultado de Wallis, de' que no. puede
;"f . haber figurassemejantes en una geometría no
euclidiana, se cumple evidentemente sobre la
esfera, donde un triángulo queda, determinado
completamente por sus ángulos. También, si
equidistantes .de una Circunferencia máxima
(recta de la geometría elí ptica) , resulta una
circunferencia menor, que ya .no es una recta;
','
se comprende así el postulado V2 de Clavíus.
Con esta íntcrpreeacién de la geometría'
elíptica es fácil deducir todas sus propiedades, '.
por 10 que no vale la pena detenerse en ella.
Así: la suma de los, ángulos de un triángulo e:s'
mayor que dos rectos, el área de un triángulo
es proporcional: a su exceso esférico, en un
cuadrilátero de Saccheri se cumple la hipótesis
del ángulo .obtuso, etcétera. , . .
Ánálogament~, la' trigonometría correspon-
diente a la geometría elíptica coincide con la
. ',' l. ,
A: veces se considera también como' geome-
.) '. ,
j'. ' ': . '. ' , tría no euclidiana a la geometría esférica pro":'
píamente dicha, es decir, la: geometría sobre
- la esfera 'sin la' identificación de los puntos
diametralmente opuestos. En este caso el pos-
n. tulado 1 debe, entenderse en el sentido de que
por dos puntos 'pasa por lo menos una recta. Le" (O/O/'
Como la idea de estudiar la geometría so-
brc una .superficie determinada --en el caso
actual, la esfera=--" tomando 'como rectas las
geodésicas.o curvas de longitud 'mínima 'entre"
dos de sus pimtos (suficientemente pr6ximos):
es de B. Riem:mn'(1826-1866), a las geome-'
trías elíptica y esférica se las suele llamar"
geometr'ias no euclidianas de Riemann.
. 2.4.. La geometría DO euclidiana ~iper.;
bólica. El -caso 3 de 2.2 corresponde a la
geometzia 'no euclidiana propiamente dicha.,
Es la' geometría desarrollada por Gauss, Loba-;
chevsky y Bolyai, a la que K1ein dio, el nom- ~
bre de geometría hiperbólica. En ella las rec-:
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-
side los Elementos de Euclides y hubiesen re-
trocedido, vol '¡iendo a considerar la 'geometría
.como una ciencia destinada a medir las cosas
· de; la Tierra. En 'efecto, al vislumbrar la po-
sibilidad. de'.gcometrías distintas de la euclidía-
naJ en lugar de adquirir el convencimiento de
·que el postulado Vera Indemostrable y .que,
· " . .. ., .
en; consecuencia, existían otras' geometrras
,. , ...
'. tud "'apreciable poi' .Iós! senti(Jos;~.Ja:géometiía. i; .
euclidiana sed .la niás acorde':con'la: naturaleia~ .:" .
por -ser el p~stuladóiide;:E~¿lides\~~If.inásJefi~ ::~,.
denre : para ·.Ja.¡.'in~ció~~l;p~a:F.~~s~~~Zp~ede .~..
ocurrir' al trarar .fenómenos :cuyo·I.¡:orden~.;de::.
magnitud sea' muy' diferente t del. qué.'~apredárt. :
directamente los sentidos,::!coino;distahcias es.:. . ."
.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,
es ;decir, cuál -era la geometría' válida en la
naturaleza 1. ..
. !
· 1 Henri Pomcué La' recllazado la posibilidad de d~-
cidir, por medio de 12 experiencia, cu~1 es 12 "verda-
o menos fI~rJaJml ,ino m~s;o 'irienos.:é&moJtI.:para:.Ser .
aplicada a .,un:. cierto :~~mundo".·Pua :el nuéstro~' este .::
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
pasa-Carpe Art., coleeci9it'" Austr2l,'
IV y.Y.) .: :.. : !
1'''', cap' .. ;!!.UI,'
. ....
I

".:..

.H

.' ..

• 0,, ~." ~ •

.' ....
Enesros casos podría ser que la intuición fa-
:llara Y' que o~~as:geomcCrías fueran más apro-
piadas, .de 'la misma manera como para gran-
des velocidades, superiores a las observadas
direcramente por los sentidos, deja de ser exac ...
tao la mecánica newtoniana (la más evidente
para la intuición) ..y debe ser sustituida por la'
einsreiniana.' . :..,.
Desde el 'punt,o -de vista de la matemáti~a
.pura, en cambio, todas .las geometrías tienen
igual valor.: Son' estructuras matemáticas dis-
tintas: pero :igual.n:iente valederas, cuyo inte-
. rés p.u~4e variar según.la aplicación que se les
.: encuentre, Paralos, usosde la práctica, la geo-
metr:.í~·.euclidja~~ es .l~.:qu~·mejor se adapta.
En cambio, paraciertos capítulos de la mate-
má rica.pura (te~rí~ de, funciones automorfas)
ode la físi~a reéricaj'teoría de la relatividad).
.: .IQS 'esquemas de las geomerrlas no euclidianas
,. son más apropiádos~;' "'~.:, : .:
"· ..!{:;:ri· i..
1;.. ' ¡)":':¡::i',::.¡ -.1:!. ",' '.
:. ::~:;2,,~,,¡;
N.ue~lr.:Q.:p~og~~a •. Lobachevsky y
.' Bolyaijdesarrollaron su geometría por vía .ele-
;. ~,ent:~l~,;Pres~~Ad~~nd~·::d.e~ .po~.tul~do V O. sus- .
.: ·tltuY~l?golo,r por. ¡otro; :.pero siguiendo un ca-
.. mino; ~~álogo'. al .de-Ios Elementos, }tegaron a
1': mp.cho,s.res~l..t~40sinteresantes de la geometría
.., y;?~;ig~npmetría: -9-0. euclidianas, Al no encon-
'.:.,.trar contradicción. e~: sus razonamientos, He-'
, . gaban :a la. convicción de- que. el postulado de
Euclides; era, yc:r~ad~ra~ente un postulado,
puesto ;que su. negación no conducía a resul-
tadosl contrad~ictorios. S1n .embargo, esto era
. nada ,más que una' convicción, no una demos-
tración, puesto' que'. quedaba la duda de si la
co_!!tradicciónEareEe!:_ía ~ algúE_~ev~ reo- .
rema .. As~, , en . ciertos' momentos; el mismo
Bolyai. creyó, p~r un exxor de cálculo, haber
llegado' a: una contradicción y, por 10 tanto,
haber "demostrado" el postulado de Euclides
(ver Bonola [5,' pág. :ll.~J)~ .: . Admitiremos, sin formularlos explícitamen-
-,: ,~a 'prueba ..de;:1.~ indemostrabilidad del p~.s-
rulado de. Euclides no, fue' dada hasta' más tar-
.·de; por: caminos.diversos.: Primero por Beltra-
'ini·.(1835.-1900r,.en·I~68,. según una direc-
'~.' '~ : ;:.< :.' . ¡ :',:. ..: .' . .
, 16
! .
ción de la que hablaremos más adelante (8~2),
y luego porF, Klein (1849-1925) en una me-
moria famosa [36], en la cual sistema tizó las,
. geometrías no euclidianas desde el punto de
vista de la geometría proyectiva, construyen-
do modelos con los cuales se podían obtener
todos los teoremas de las mismas. Llegó incluso
más lejos que Lobachevsky y Bolyai y, sobre
todo, demostró que nunca se encontraría con-
tradicción en sus razonamientos, puesto que
ello conducida a una contradicción en el rno-
delo, el cual estaba construido' a partir de la
geometría euclidiana. 'Es decir, demostraba ~ue
si hubiera contradicción en la geofl1etría~ no
euclidiana, también la habría, por ta1),to, en la
euclidiana. ' -
i
Nuestroobjeto es exponer con cierto detalle
esta iri terpretación proyectiva de las geome-
trías no euclidianas. Creemos que es la mejor
manera de lograr una visión global de su jes~
tructura y de comprender la esencia de ;sus
principales teoremas. Ello obliga a manejaral ..
gunos conocimientos de geometría proyectiva
.que, para no tener que hacer continua referen-
da a textos sobre
,
la materia, vamos -,a resumir
I
en los capítulos In y IV. '
No vamosa hacer la construcción axio~á-
tica de la geometría desde el principio.· Si-
guiendo el camino de Euclides, pero con todas'
las correcciones y añadidos exigidos por la crí-
tica moderna, 'esta construcción fue iniciada
por M. Pasch (1843-1930)' y terminada con'
: la obra magistral de D. Hilbert (1862-1943) ..
.titulada Fune/amentos de la geometría [25],
fuente insustituible a este respecto. Dicha
construcción' puede verse en cualquiera de los
libros modernos dedicados a las geometrías no
euclidianas, por ejemplo en los excelentes de
llaldus [4], Coxeter [8] o Norden [11].
te, los postulados con los cuales se edifica rigu-
rosamente la geometría proyectiva, y que pue-
den verse en la obra de Enriques [23] o enila
de Rey Pastor [26]. .
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«
; repT~se~~,!c~Ó_n,¡á.e_1 'pl~~o 'Pro_yictivo, con el
l. convento de¡: 114?n.ar:. ,~¡rp.1~n!os" a las rectas
~,,
r a'4ia~ió1"-y,~,rTectas"
.' _'i • ,1_
{I' los' pla1Jos de la misma.
;.:".E:n 'efecto;' alcortar con e~ plano n; a cada
. ": recta a .que,cortea 'n le corresponde el punto A,
,.~ de int~.rsecd6n,¡ 'a plano (a,b) determi-
"::'nad.o por ,dos,.re~tas'-la, recta 'AB determinada
:.p~r'l<?s::puntos:: correspondientes. Los puntos
. .impropios de n corresponden a las rectas de
la radiación contenidas en el plano n', paralelo
,a ~.: f\ .rectas paralelas de n les corresponde una
._-:misma ::~ecta.paralela ,que pasa por' O, conté- ,
:n~da:en'el plano' n',o "sea.,:un solo "punto" im-
.propio: .~~ recta ·~mp.ropia,correspon~e a rt'. La '
'radiación de (.vértice ,:0;, excluido el plano n', ,
-consrítuye 'un,a .representacién del plano eucli-
diano: J;" '.¡ "', ',:::, ,',: .;' .': . ' ,r
'se edifica' con los mismos. elementos de la geo-
metría euclidiana}. aquélla podría estudiarse
de la por entero .dentro del marco de esta última,
..j', ; _ .• ," 1, ',' ,. '; • ,~ • ' _
tan solo complicando los enunciados. Esta 'ob-
servación es muy importante desde el pqnto
de vista de la -fundamentación de la geometría.
y cada Según ella, al construir la geometría proyec-
tiva no podrá encontrarse en ningún momento
contradicción lógica si,no la hay en la geome-
tría euclidiana .
3.2. Razón doble de cuatro puntos:' 8U
invariancia por proyección y seceión, DE-
FINICIÓN 4. Dadós cuatro puntos s~bre una
misma recta r, y un cierto orde~! ~,B,C,D

, ;""'!, 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
.,,~llamada 'cullári'lllr#ce! completo. Un" cuadri-.
',' .vértic.e'..es'un conjunto"d4! 4 puntos,' como los
:',M..:N~' p y Q.,..~elos cuales nohaya tres sobre
'.una misma recta'.::Las 6 rectas que' unen estos
puntos entre si, dosa ,40s, se llaman lados del
pueden permutarse- los elementos entre' sí.
, Además,' siendo negativa la razón .doble, .de
1 En efecto, según (3), si x= 1 es (c-a)(d
- b) =' (J - a) (e - b) o' sea,' haciendo operaciones
"y simplificando; (a-b) (c-il) = o, 10 que obliga
, ':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:.:: .::;..',.;.
l·
"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'
cénica:' a 'las', ,tangentt~s respectivas en dichos
puntos. ',', . ! ,
;To,da,c~nica;,divide'al plano en dos regiones:
'la; de los ¡puntos desde ,los cuales se pueden
tra~ar 't~n~enF~~ a .la cónica y la de aquéllos
polar P tiene lugar la configuración de la
figura 19.
'
De ella se 3.e'duce que, trazando por P dos
. secantes PAB y PAlB ...cualesquiera, se verifi-
ca: a) Los pares de rectas (ABl,BAt) y
,(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
.. :' en .otra •.: .Supongamos definida una"
c6nica • L
homografía o colineación entre dos planos J(
.y .n',·que::pueden ser distintos o coincidentes.
. . S.e~p..A·y.1J dos .haccs proyectivos de J(. Co-
mo las homografías subordinan proyectivida-
des -entre.formas homólogas, los haces trans-
formados: A'. y,. E', serán respectivamente pro-
'. ycctivos 'con .los ·jf y:.B; en consecuencia, se-
'. rán proyectivos :.e~tr~ ·sí. Por otra parte, los
; h~ce~_4.y' lJ. engendran unacónica Q y, por la
.honi'~graf.ía. dada, alos puntos' de Q les cotxes-
: e, ~",
,
I.
'puntos homólogos A, D, e y' P y A', C' il"~
•
y P'. Esta homografía, por el teorema 3. trans-
forma Q .cn otra cónica, 1;1cual debe pasar por
A', B' Y e', y tener por tangentes en A': y B'
las rectas- P'A' y P'E', respectivamente. En
consecuencia, por el corolario 2 del teorema 1,
esta cónica no puede ser otra que Q'. Es decir»
. TEOREMÁ .1-. Dadas dos cánice: Q'y Q',
existen itzfillitas bomograjlas que. transfor-
man Q m: Q'. Cada una de estas hOlliografías
queda determinada dando tres puntos de, Q y
sus /~fs homólo g?S de Q'. :
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í-
tulo;IV sabemos que hay.dos de estos moví-
mientes}; el transformado de B I( que es el
mismo para cualquiera 'de estos dos}novimien-
tos) será el pun ro H buscado...
El postulado IV también se ·cumple. En'
efecto,' dados dos ángulos rectos de vértices
p.y:P', formados respectivamente por los pa-
f res dé semirrectas a,b y a',b'. (fig, ~9), por el
'.,'.
5.5~ El quinto. p08·iulado~;. :EI .postula-: .'
.do V, en cambio; ha-.dejado decurnplirse, En
ef~cto, por .un p~n,to P leit~.ri~r_;.a1.a'~ecta ~~.
(fig. JO) pasan: ti) lasrectas interiores/al an- ..
gulo Al> B que cortan a lá i'edá: r ==:I.AB (rec-'
tas sccantesy ; b) las.:iectas:.interibres al án':'·
.gulo APB' que. no .cortan !r~ {rectas' n'o a
secantes'['; c) .Ias rectas, AA~· y'BB~ .que 'sepa~'
ran ambas clases .de rectas y tampo.co. corcan'
, .
, ..37 ..
 "

:- ;.
-. ~ I '.

,;

2~'r#!! pero que son: 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;, ,!,,? ,

T~mbién es cierto que todo ángulo a me-
nor que un recto es ángulo de paralelismo de
.cierto punto ~ y una recta r. Basta observar
que/en la figura 33~ dados P, h yaquedan
ternlinados H y A, y por lo tanto también
. la recta r == H A.
5) Dos pares 'de rectas paralelt1$ son siempre
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¡:~·.: ~, ¡
rando la,:sime'tría:.de ej~:::RM.::cíU~: II~va'A ¡ rsO:~;~¿..
bre B, remIta que;, al;;)gidl.i.que /en'.·ell ca'ro)t ":.: ;
euclidiano, la mediatrizde 'un: ség:nento"~es~.eJ)');:<·~:' ,[
,lugar geométrico, dé los, puntos-que' equidist':i'o';,;C:~ !
de- de los extremos ...: ' .. (:;, ¡.:j ,;',',:,¡:;.!, ,'~, i '¡;l,.:t/~;:' ··í
¡~;!..~...! ~.~.:.
.~----....:... • . 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
, .Ao y 'pe son, iguales -entre si (fíg,'38) •
':,TEouMA 6.: EtI un; cuadrilátero de Saccberi
'Ia"mediatriz dé la base es ta~bién mediatriz
, de~lado opUesto.' Además, los ángulos opues-,
'..to~ a 1/1 base:son ,jgu~le~ entre sí.
, ."
• .'
l'
,': l.
"
puntos medios de las, lados AB y AC, y sean
AA', !3B' y, CC' las perpendiculares él h, desde
A, B, y C, respectivamente. Los triángulos
AA'N y CC'N .son congruentes; en efecto,
l
siendo iguales los ángulos opuestos por el vét-
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
D N e C sólo pasa una perpendicular a esta semirrec-
'1
, ta, resulta que C' y A' coinciden, o sea;' los
" .. : 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
(AHVU) ,= -. 1y.por lo tanto' (AVHU) =
= 2, también 'será constante el producto
(AVHU) . (AVUM) = (AVHM). En con-
secuencia resulta' constante la razón
,(AHVM). Esto nos dice (3.1 O,' al final), que
la curva descripta por M es-la homológica de ..
su polo A, o sea, cónicas bitangentes a, Q en
. .,
, sus puntos de mterseCCIon ,con '4. ",},:'..1 ; .:
Esto prueba 'que,. en geometría híperbéliéa;
las curvas de distancia no :sÓn:.rectas.~Précisa-
doble mente, como.ya. se .ob~e.rV6!,'antes (v:e~',;1.3h
postular que Ios puntos ,;equidistantes :d.Lun~'
recta y situados de un mismo' lado .de: ella: es~
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
, hiperbólica, ~~ unidad absoluta de Ioagitud,
..-,1h,st¡¡, '~nside~ ~1'arco de oricielo compren-
, ~~; entre 'l;Jñ:,p'u~~ :M: y el punto N' corres-
, pendiente al' diámco:o paralelo a la tangente
~n"'~f;(fig" ~4):Estos-arcos son siempre con-
, gruentes,'pues'si'MN"y'Mt.Nl. son dos de ellos,
, correspcndíentes respectivamente a los puntos
+ límites A,y Al, basta considerar el movimiento
.:.quelleva 4- a ,Al y .M .a Ml; entonces los ori-
:cidos ~respec~yo~.}~oinciden y, dad~.la' cons-
<trucción, también. N coincidid con NI.
,: .j.I:' (: .. :~¡ ': :<,' L..:':'~ ',..,', ., ," ,
, " ",7.3. ¡Sobre lit Unidad de medida. Tanta
• ,'. • I ""'. ',-,>. ; •.
,~~) :J01 :;gcomc~.t~':,,~~,di~a, como en la no
,.~.cli&apa,: los':ángulcs, tienen una. unidad na-
~~., de medi~: ~,á.D~o .recto.: En efecto,
~ ambas geometrías, .Ias .dcfinicicnes de án-
, iu.Io~, adyacentes. 'r'
.d~Igualded entre, ellos
" :.:-:-d,Cfiniciones;q~e entrañan la, de ángulo rec-
to-- son consecuencias inmediatas' de los con-
",cePto.s' de recta,' ánguJ.9, Y congruencia entre
figuras, -sin necesidad de otros convenios.
'. No ocurre ~o nli.m.;t~ con la .unidad de Iongi-
rud, En la geometríaeuclidiana, por existir fi-
guras sen1ejantes",:no~.,«;S 'posible definir una
,unidad. Je" Iongitud .con carácter absoluto a
partir de Jos, ~~ma~_
fundamentales. Si rodas
las figuras' cuyo :es.tudio "es el objeto de Ia
'geometría se, suSti~ye.n por otras semejantes,
más grandes 'o ni;isTpequeñas, todo el sistema
;-lógico permanece. Invarianre, Por, esto, para
definir: una unidad' 'de; medida para' la:.~IDngi~
tudcs,:'h~y, que 1recurrir a -Ia experiencia. El
metro, ya. 'se~
que se 10 defina' como la diez-
.millonésima parte :del-Cuadrante de meridiano
,terrestre, o como la Iongimd .del metro patrón
de/platino iridiado qu~ :se ,co~serva en París, es
siempre, una, definición "experimental", ajena
a': la'~gcómetría como 'Ciencia del pensamiento.
: Es, distinta ID 'que' ocurre en las geometrías
', no.euclidianas. No existiendo en' ellas figuras
.' semejáritcs, basraráldefinir 'una figura cual-
quiera por sus propiedades angulares para 'po-
der. ;t\?~ar una' 'de/sus' magnitudes Iongítudi-
~~~~",c~mo unidad absoluta de medida. En la
.geometría "díptica, siendo las rectas finitas r
de igual Ióngirud, .se puede tomar ésta como
fZ
unidad absoluta. En la, geometría .hiperbólica
la unida? de Iongirud pued~ ser, 'por ejemplo:
a) La dis~ancla correspondiente, a un ángulo
, de paralelismo dado; b) el cateto de un trián-
gulo rectángulo isósceles cuyos ángulos agudos
tengan un valor dado (menor de 45 °); e) El
arco de oríciclo comprendido entre uno de sus
puntos y el extremo del diámetro paralelo a la '
tangente en dicho punto. ,
Para las áreas ocurre la misma, cosa. En geo-
metría euclidiana la unidad es un cuadrado
de lado igual. a la unidad de longitud y, por 10
tanto, .sín conocer previamente ésta, no se
puede definir la unidad de área. En cambio, en
la geometría no euclidiana el área de cualquier
figura, definida a partir de sus ángulos Q de
una longitud absoluta como las, vistas, puede
servir corno unidad absoluta de área. En la
geometría elíptica puede ser el ~rea de un'
triángulo trirrcctángulo, En la geometría hi-
perbólica puede ser, por ejemplo:' a) El área
de un cuadrilátero de Saccheri de hase igual .;
'
a los lados Iarerales, y cuyos ángulos agudos ':':'1
tengan un valor dado (menor de,900); b) El
área de un triángulo equilátero cuyos ángulos "
'1:
.J
tengan un valor dado (menor de 60°); e) El'
r
'área del sector de oricielo de Iongitud igual
a la unidad. ' iI
, , La' unidad !de longitud, una vez elegida, ,1
1
sirve para determinar la constante k dé la'
~
fórmula de la distancia (ver 6.2), y l~ unidad
de área sirve para hacer 10 propio 'conla cons'-
1
tante e de (2) del capítulo. VII. No .habría
, ningún inconveniente en mantener desvincu-:
'1
Iadas entre s:í:ambas constantes. Sin embargo, "
se acostumbra a relacionarlas suponiendo que
para' figuras, infinitesimales la expresión del
área-debe coincidir con la euclidiana. Por ejern-
i plo, una vez elegida la ..unidad de.Iongítud, la
:',unidad de' á.r;e~se elige de, manera tal que el /
área s, de un, triángulo rectángulo isósceles, de
J
catetos iguales ~ una longitud 'a, satisfaga la . I
relaciónIim ,(2s/~) -:- '1, para ti rendiendo a
cero (Coxeter [8, pág. -242]), que es la rela-
ción que vale en el caso euclidiano. '
Vemos, pues" que las geometrías no eucli-
dianas tienen la propiedad de poseer un mayor
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-
'metría no euelídiana elíptieá, Como ya
observamos antes (2.3), .el mejor modelo para
la geometría no euclidiana elíptica 10 consti-
tuye la geometría ordinaria sobre la esfera,
con el convenio de considerar Ios puntos -dia-
metralmente opuestos como un solo punto, y
las circunferencias máximas como rectas.'
Sin embargo, también cabe dar a esta geo-
metríuun modelo proyectivo al; estilo del es-
tudiado con detalle para la geometría hiper-
bólica, .Se tiene:
La geometria ell l"ica es la geometría, sobre
todo el plano proyectiuo en el, cual: a) los
punto» y las rectas son los mismos de la geo-
rnetrl« pmyectivt1j b] los movimientos son las
pomografias que dejan ,invarianle tena 'Cónica
ima ginaria (absolttto Q del planp).
Por la condición a),. como 'dos rectas del
plano proyectivo tienen siempre unpunto co-
mún (propio o .impropio ), resulta que no se
cumple el postulado de EucIj~e$, sino qué: PQr
un punto exterior a una recta no pasa nin-
guna paralela. Las rectas son, aparentemente,
infinitas, pero por tener un solo punto impro-
pio resultan líneas cerradas, y' ~demás, con la
métrica análoga :1 la del caso hiperbólico (6.2),
que aquí debe tomarse de acuerdo con b),
resultan de. longitud finita. ': # puntos toma exactamente [a-misma fOnn3'que
Una cónica imaginaria puede definirse ana-
lítica. o sintéticamente. Desde el punto de vista
3n~'í{tico se trata de una Curva cuya ecuación
es de segundo grado y carece de Runtos reales,
por ejemplo X2 + + =y2 1 O. -Si se hace el
Ir,
" .
!
estudio del Capítulo IV analíticamente" no' .hay
apenas diferencia entre el'caso-real y el imagi.:,
'nano. 'Por ejemplo, los conceptos de. polo" Y ¡
.polar, que aPí juegan.un papel fundamental,'
se estudian, por medio desusecuacíoaes, exac-'
amente delmismo modosi la cónica es iinagi-'
naria, _ -' . ( , ::; ,:',... .r . L !'.!. :":,,.:
Si se quiere proceder sintéticamente J:¡aYi.ql:Íe'
partir. del concepto de polarúlatl, como co-.
rrespondencia biunlvoca .entre .puntos y
del plano, tál que a-puntos alineados les corres-:
~t2.S.:
penden rectas de un haz. Entonces los puntos .
,que pertenecen :1 su polar constituyen ¡-:-por.
definición- una cónica, que puede ser, real
, o imaginada, aun siendo la poIaridad.una;éo-
rrespondencia siempre real Así procede, por
ejemplo, Enriques (23 J. ;"(,'I '; ¡' '.' ; .
Desde este punto de vista,- la. ,mayoría de
los razonamientos del: capítulo' V;. sigjten' ,va-,
Hendo, y dan n'$uli:ado~ .de' .ta, geometría 'elip~.
tica. Respecto de las:·d.ist3nCias y, heisJ13:Y.·
que .observare /1)' la distanciá'; está dada:,por
la misma fórmula. del,6.2~·.sól~_que:;uora U:'
y V son puntos iirutgt'lanos (cuYaS,"~oordé::""
nadas se obtienen buscando los puntos: de'· ,"
intersección de la recta AB. con 1:i cóDicá 'ab- .
soluta}, y pam que la distancia' sea .real la
constante 1(.. debe ser imaginaria; ':b) , con
esto, la fórmula para. Iavdistancia entre-dos
la (5) del capítulo VI parael ángulo dedos
rectas, de manera que la dualidad se 'manifiesta
también en la medida; la longitud de.la recta
resulta finita, así como lo' es la-medida del.án-
gúlo completo (el formado por todas :w' rec-

'_"-.
 "

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

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

54
 ¡

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

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"
" .'

.' ,
, ,
INFLUENCIA
'EN LA FUNDAMENTACIúNY
. ...
'
... !
El' descubrimiento de 'las geometrías no
euclidianas fue" para la matemática; uno de
,)os principales del siglo XIX. Tanto por el des-
cubrimiento en sí, que terminó con los traba-
jos y discusiones de más de dos milenios acerca
de la dernosrrabilidad o no del postulado de
Euclides, como ,por 'las consecuencias que tuvo
en la fundamentación y desarrollo de la geo-
metría-y aun de otras ramas de la matemática.
" Con las geometrías no euclidianas, sistemas
lógicos elaborados por el pensamiento con com-
pleta independencia de la experiencia, se re-
cuperaba el sentido platónico de la geometría
y se volvía a lo que la obra de Euclides signi-
ficó para 'el pensamiento.matemático. Seter-
minó con la idea, de la geometría como Cien-
" cia 'del espacio o' de la realidad circundante,
ideaqueaún el propio Gauss parecía sustentar
cuando en I~17 escribía, en una carta a 01-
bers '[18, pág. 177]: "Talvez en otra vida
tengamos otros puntos de vista sobre la esen-
, cía .del espacio, que ahora nos son inasequibles.
Mientras tanto, la, geometría no debería corn-
" pararse con laarirmética, que existe puramente
a 'priori, sino, niás bien, ser, colocada en el
'mismo plano qu~ .la mecánica."
Por otra parte, elhecho de ,obtener tan vas-
to-campo de novedades con solo sustituir un
postulado por otro" despertó, por, un, lado, la
idea de axiomatizar -todas las ramas de la ma-
ccmátj~:l, analizando a fo~do sus principios
, 58
l'
, I
APl):NDICE
DE LAS GEOMETRtAS NO EUCLIDIANAS
DESARROLLO DE LA GEOMETRtA
,
básicos, y por 'otro, la afición al juego de sus-
tituir postulados y obtener, así, una gran va-
riedad de geometrías, muchas de ellas sin inte-
rés intrínseco, pero siempre útiles para com-
prender mejor las bases sobre las que descansa
la geometría. ,
Al primer respecto cabe señalar que fue, '
efectivamente, en la segunda mitad del si-
glo XIX cuando tuvo lugar la gran revisión de
la matemática desde el punto de vista del ri-
gor. Conceptos usados tradicionalmente fue-
ron por primera vez enunciados con claridad
y puestos en' el lugar que como postulado o
teorema les correspondía. Ejemplo típico es el
postulado de la continuidad y la consecuente
definición de lQS núm~¡:os reales por Dedekind.
Respecto de la fundamentación rigurosa de
la geometría, el máximo exponente fue la obra
Fundamentos ~ie la geometría de Hilbert, de
la cual existen 'numerosas ediciones y una tra- ·í
ducción castellana [25], y que puede consi-
derarse como la réplica moderna de los Ele-
mm tos de Euclides. Se trata de una construc-
ción axiomática con todas las exigencias .del
rigor lógico. Para cada axioma se prueba su
jndependencia y su compatibilidad con los de-
más, de manera que ya no cabe una nueva
controversia como la suscitada por el postulado
de las paralelas;
La demostración de la independencia obliga
-del mismo' modo que las geometrías no
 euclidianas sirvieron para demostrar la inde-
pendencia del postulado V respecto de los de-
II ,más- a construir en cada caso una geometría
, en la cual se niega el postulado o axioma, en
J.¡ cuestión, manteniendo los restantes, Nacen así,
, -como ya dijimos, geometrías muy diversas:
Por ejemplo, si no se, admite el postulado de
, Arquímedes, se obtienen las geometrías no ar-
quimedianas, de las cuales hizo un estudiopro-
fundo M. Dehn [34]. Siendo el postulado de
Arquímedes tan "natural" para la intuición,
se comprende que, al no exigirsu cumplimien-
to, la geometría, que resulta .puede presentar
aspectos muy chocantes. Por ejemplo, puede
'ocurrir que por un punto exterior a una recta
pasen infinitas rectas no secantes y que, sin
embargo, -la suma de los ángulos de un trián-
gulo sea mayor que 'dos rectos. '
También se puede construir una geometría,
no pitagórica, en la cual no valga, ni para fi-
guras infinitesimales,' el teorema de Pitágoras.
En ella cabe la posibilidad de, que dos' trián-
gulos rectángulos tengan catetos iguales y dis-
tinta hipotenusa,
En ciertas construcciones axiomáticas debe
tornarse corno axioma el comúnmente Ila~a-
do teorema de Desargues, a saber: si en dos
triángulos los lados homólogos se cortan en
puntos de una recta, las rectas que unen vér-
tices homólogos concurren en un punto. Si no
.
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á-
gono inscripto en dos rectas, con los vértices
alternativamente en 'una y otra, los puntos
en que se cortan Ios pares' de lados opuestos
están en línea recta) también debe tomarse
como postulado si no se acepta 'el de la conti-
nuidad. Su no admisión conduce a las geome-
trías no pascalianas, ' 'trías no euclidianas son las 'correspondientes a
Todas estas geometr ías, y otras varias que
se podría mencionar, han sido estudiadas con
detalle. Su construcción debe hacerse casi
siempre analíticamente, pues la intuición geo-
métrica deja de' ser útil. Así, los puntos son
las ternas de 'elementos de un cierto cuerpo de
números (ternas que constituyen las coorde-
nadas homogéneas del punto) y las rectas son
las ecuaciones lineales entre :ellas, también, con
coeficientes del cuerpo.rSi este cuerpo es muy
general; se', obtienen, geometrías raras~~;Por
ejemplo, sí es finitcvresultanlas 'geometríás'fil
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
pascalíana. En esta, dirección, para llegar las a
geometrías ordinarias (euclidianas o no) de-
be admitirse: a) la conmutarividád del cuerpo; "
b) su continuidad (que ,puede enunciarse' así:
10$ elementos del cuerpo forman un espado'
topológico conexo y localmente compacto}.
Con estas condiciones, L. S.. Pontriaguin ,ha
demostrado que el cuerpo de la geometría pro- .
yectiva debe ser elde 'los números reales o el,
de los complejos [38]. "
Aparte de esta influencia sobre la funda-
mentación, el ambiente -matemático creado',
a raíz de los estudi~s: sobre las diversas geome-
trías posibles motivó un gran-florecimiento de
ideas nuevas, que a' su vez repercutieron en el
' desarrollo, de la geometria.' La posibilidad 'de
geometrías' distintas 'de .Ia 'tradicional 'planteó
el problema de las relaciones 'entre el espació y
las 'figuras en él con tenidas; y con ello: el 'pro-
blema de los movimientos de' figuras, la defi-,'
nición de movimiento -como transformación,
del espacio en sí mismo, la idea' de grupo de
movimientos, etcétera. ". ,: .. ' '"
campo de la geometría fue 'un acicate parasu
progreso. Riemann abre horizontes 'inmensos'
al definir el espacio como conjunto 'de' puntos
dados por sus coordenadas: y con una "rné-
trica", que, puede ser muy general, para medir,
la distancia: entre dos de ellos o la longitud 'de"
una curva' [39]. Se encuentra que la$ geome-"
espacios muy particulares ,(los de curvatura '
constante), caracterizados por la "libre movi-
lidad", en ellos, de las figuras. Se entra de esta
manera en la llamada: geornetrfa. de 'los espa- ':
dos de Riernann, base 'de:,toda'la geometría,
moderna y punto de partida de 'gran' número
de generalizaciones. ':', , '
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·
. ".~ . .~.; 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