Académique Documents
Professionnel Documents
Culture Documents
~
l
ROBERTO BONOLA
H.fJ..,w/q.ll
J1g0
e
.f
a ':
'
GEOMETRIAS
NO EUCLIDIANAS
EXPOSICIN HISTRICO-CRTICA
DE SU DESARROLLO
TRADUCCIN
D6L ! T Al~Lfit..!"10
PO R.
_J
"i'
Con 71 figuras.
NOTA DB
-~
-.... ....
.. . .:.""
'...:
JOS ORTEGA
GASSET
;.,.
,....,11
'SI
,_
....,
/'
t,->"'
)l.:
.....
f_,-: . ~ --
. '
J{~
Bl'ENOS
AIRES MXICO
,..,,
;
< ~~
~ -
'\,
'~;~ :-~~
\f
. --~ . -,.-_-
i'
- ~~~.!1~~.~.::r:~~):~:Ji:f~~~.:ff;::~~
J~
"l~
1 ~
MJ
pre:1~ir.r.e
1~
"'
~ ...
3"""'' A ir B, :i 945.
1.1.
1r
INDICE
l~
Pg.
PREFACIO . . . . . . . . . . . . . . . . .; . . . . . . . . . . .. . . . . . . .
~
ii
15
CA PT ULO I
\'
J.
El postulado de las para. las entre los gemetras griegos . . . . . . . . ... ........ .
6.
El po~t,1lado de la s l)ataleias entre los
rabe~ ............................... .
7-1 O. El po~tul 1do de las paraleias durante ei Re
nacimiento y el siglo XVII . . . . . . . . . . .
1-5.
rn
26
29
"'
C..i ?iTULO II
'lJ
...
...
si-
37
56
. . .
63
66
70
72
d
,
I1
4 ' .i
"{ i
~- ,
i
L;t <
..~i~ :
CAPTULO III
~'
1 1
. }_;[!
~{'
"\
ARGEN7'1NE
'.'
~n ;
75
81
83
""~
,~k
1
t
.,
~....~- . . ..
. . :. .: ;.
'
~.4-~
...
'
'
'1
..
"
~NOTA ( 1 )
'f
'
r;
l. t
\.,
-
i.
k.
,:.
~~tt
\.
.vi"
' -,..fi
. . ...
En los ltimos aos se oye por dondequiera un montono treno sobre la cultura fracas a,da y concluda.
Filisteos de todas la.s lenguas y todas las observancias
se inclinan ficticianumte compungidos sobre el cadver
de esa cultura, que ellos no han engendrado ni nutrido.
La guerra mundial, que no ha sido tan mundial como
se dice, parece ser el sntoma y, al par, la causa de la
defflmei6n.
La verkd es que n-0 se comprende cmo una guer ra
puede destruir la cultura. Lo ras a que puede aspirar
el blico suceso es a supriniir las personas que la crean
o transmiten. Per.o la cultura misma queda siempre
intacta de la espada .y el plomo. Ni se sospecha de qu
otro nwdo pueda sucumbir :u:na cultura que no sea por
propia detencin, dejando de produdr nuevos pensamientos y nuevas normas. lrfientras la idea de ayer sea
corregla por la idea de hoy, no podr ha blarse de
f rdcaso cultural.
1
.J
(1 ) Escrita por don Jos Ortega y Gasset para Ja 1~ ed., p ub1icada por Calpe en su coleccin Bibliote~a de ideas del siglo Xl:>.
..
..
-~l'i.~~,_,_;,~~'.~~~~0'2.olff:'..W--O!-?l'i>?lt'.~N;.;~:-ilt".f.S.~~~~1:,;gz:w~~~~1'g~'~~,.
i
.
"11
:
12
...
1
,,
~
f
1
NOT A
18
i\'O TA
lI
:
l
.. .. *
!
t
f
l
~~;
Iil
,.,;
~- f:
tr-,. ... ,. ~
/.
1J
\..<
it
!~! ..
t,~;_;~... :
~ .
'~T.~;~:;,~f~
*"';i..
5~~:it,,. ~~- .
...
" ';
..
..
'l'
'
PREFACIO
t
r'
1
r
t
~
.r'
1
1
f
,,11
l
!
~ti
'1
,..r1
n1
1
s:.1
.. i
( 1
dl,i
~~-; -l
_ffi:.
~t
'j
~:~f.
~
..
~':' ~~ ~
,".
~~-~ ;;.,'~~";'.
-~-.
.,~~~~_,:::-;-.:~=~~:~ ::.~~:::::.,-~'1:~::1.;z.-~:.~?~.~~: .,
'
- . --
~->.. - - - - - . -~~:
:-
. _;_
. . . ..
-~=--:::r--~...t~;.._--;;,-w::'""~->-.c:-.......";'.:,.-~---~"t..~---1
~
16
..
..
l
f :
I
r
'.
I"
rn
'
l
l.
1
q,
1
!
1:'
j
..
-}
PREFACIO
Entre los muchos postulados equivalentes al V eucldeo, los ms notables de los cuales van referidos
al final del captulo IV, hay uno de ndole esttica,
que, verificado experimentalmente, pudiera proporcionar una base emprica a la teora de las paralelas. De
aqu una importante relacin entre Ja Geometra y la
Esttica ( GENOCCHI), a la cual, no habiendo encontrado un lugar adecuado en los captulos precedentes,
he dedicado la primera de las dos notas con que termina el libro.
La nota II se refiere a un asunto no menos interesante. Las investigaciones de GAUSS, LOBATSCHEFSKI
y BOLYAI sobre las teoras de las paralelas tienen su
origen en la extensin de uno de los conceptos fundamentales de la Geometra clsica. Pero un concepto
se puede extender generalmente en varias direcciones.
En el caso que nos ocupa, el paralelismo ordinario,
fund:ido sobre la hiptesis de rectas. que no se cortan,
coplanarias y equ.idistantes, fu extendido por los susodichos gemetras, prescindiendo del postul,ado V de
EUCLIDES (equidistancia), y en seguida por CLIFFORD.
abandonando la hiptesis de la coplana:ridad.
De las paralelas de CLIFFORD, estudiadas primeramente con mtodo proyectivo (CLIFFORD-KLEIN) y
despus con el auxilio de Ja Geometra diferencial
(BIANCHI, FUBL'l'I), faltaba un tratado elemental; la
nota II est dedicada, en gran parte, a la exposicin
sintticoelemental de las ms sencillas y elegantes de
sus propiedades. La nota termina con una rpida indicacin del problema de CLIFFORD-KLEIN, que, histricamente, se liga al paralelismo de CLIFFORD y que
tiende a caracterizar la estructura geomtrica del espacio a base del ms estricto sistema de postulados
compatibles con los datos experimentales .Y con el principio de homogeneidad del espacio .
1!
.
.1
i+
i
J
1
ROBERTO BONOLA.
1
1
.
l.
m
.t !,
t~:,..t. ~
l_ r
tt~ -~-~;;~
17
PREFACIO
.A>
\,.;
}.!
.;
GEOMETRAS
:i
EUCLIDIANAS
'~
L
L
""
_,.
''!
fi
~
;;-~J
n
: :
} z
i
h
: :
lt
~'.
d
l '.
f
''
:. :
;~
(.
-+
CAPITULO PRIMERO
.;
1:'l
~'
NO
~
?~.>~
'
f_,
.~~
'
'i
{")
l
'li
... 1
11
\1
1
;
:
:
:!
.,:,.,
:1
'I
!i
11
!
.f
\
!
.il
;
!l
f~;!
Jl?~.
'~\1'
~~f'.
l
~;:: .-~
::'r.~f;-j~:fi:~~~~
'7~:,~c,c;.:;~,:-::l~t~f.'~~~~:
::: :5~J>.~;~~~~.~~~~~f'(*:'.:~'1:0Jf~~$~
t.
20
.f
.1
l
~ f
E1
i:.' '
'
1:
'.!
r:
ti
r!'
rf ~
o
;
L
(; .
::. . .
~;
"
,1
.-'
~;~11
!'
2. Desde los ms antiguos, todos Jos comentadores del texto eucldeo opinaron que el postulado V no
era bastante evidente para aceptarlo sin demostracin,
por lo cual trataron de deducirlo como"consecuencia
de otras proposiciones. Para conseguir este objeto,
substituyeron a veces la definicin eucldea de las
paralelas, de forma gramatical negativa, con otras definiciones que no presentasen dicha forma, supuesta
defectuosa.
PROCLO ( 410-485) , en su Comentario al libro l de
Euclides ( 1 ), nos transmite preciosas noticias acerca
de las primeras tentativas hechas con este propsito.
RefieJ:"e, por ejemplo, que POSIDONIO (siglo I antes
de J. C.) haba propuesto se llamasen paralelas a dos
rectas coplanarias y equidistantes. Esta definicin y
la eucldea corresponden, sin embargo, a dos hechos que
pueden presentarse separadamente, y PROCLO (pgina 177), refirindose a un tratado de GEMINO (siglo I
antes de J. C.), aduce a este propsito los ejemplos
de la hiprbola y de la concoide y de su posicin con
las respectivas asntotas, para mostrar que podra haber lneas paralelas en el sentido eucldeo, esto es, lneas que prolongadas hasta el infinito no se encuentran, y, sin embargo, no paralelas en el sentido de
POSIDONIO, esto es, no equidistantes.
Tal hecho es calificado por GEMINO, siempre al decir de PROCLO, como el ms paradjico ( ?ta:pa:oo~'t"a:rnv)
de toda la Geometra.
Queriendo luego concordar la definicin eucldea con
la de PosIDONIO, es necesario demostrar que dos rectas que no se encuentran son equidistantes, o bien que
el lugar de los puntos equidistantes de una recta es
una recta. Para tal demostracin, EUCLIDES se apoya
precisamente en su postulado.
PROcw (pg. 364) rehusa por elfo considerarlo entre los postulados, observando, en confirmacin de tal
opinin suya, que su inversa (La suma' de dos ngulos
( 1)
Para cuanto se relaciona con el texto de PROCLO nos reeri:reinos a la edicin dirigida p-0.r G. FRIEDLEIN. Procli Diadohi in primum Euclid;s eleme?ttOTtcm librum .Commcntarii ( Leipzii., Teubner, 1873).
fI-
'.
-~
'.1'>
~.
:
~
.~
{'
21
---------+-----
"
:f
1
'.{
~
3
...
;...1 -
~
.,,.
~~
_,i
lt
';,
1:i;
,<
.-<
Figura 1
..
:;
~
>
~ '
,, \_?.
~~
::o~;. ;;:;::;:o:;];ff{[~~~;;~~[~.;:i,~.file.;:;;:~'-.:;:to;.-;:-c::.:-:~!f'.~~;.~,;;';,::."-!::~:-r~'G:'.c:f~.fs:~~r"'"~k.~k~~~~~;~~f;~.
1-~
.,
.
. L
1,:
; .
i
E---=--=- F~Ge
tt::
V
,)
'
i
Al--...."
:1
H1
1>
t:
:~
' :
; f
~h' ! ~
'1t;~tt
Jr---___=:
L
....
------. __ - .
.,._.,_
.-.J:~
--~
.~
'<
~}
r~
~:
a.e
tZ
T
"":.:.~~,..~
('
CLIDES.
1,
Fiir.ira 2
i' ':-
i{,._;
1'
Figura 3
:. l'
f. '
l
. !
~I
q
J
,,
2S
~ 3. PROCLO (pg. 371), despus de haber criticado el razonamiento de TOLOMEO, intent alcanzar el
mismo objeto por otro camino. La demostracin de
PROCLO reposa sobre la siguiente proposicin, que l
considera comQ evidente: La distancia entre dos puntos
situados sobre dos rectas que se cOTtan puede hacerse
tan grande como se quiera, prolongando suficientemente las dos rectas (1). De sta se deduct; el lema:
Una recta que encuentra a una de dos paralelas encuentra necesariamente tambin a la otra.
He aqu la demostracin del lema dada por PROCLO:
Sean A B, C D dos paralelas, y E G una transversal,
l..
GEOMETR1AS NO EUCLIDIANAS
22
-.
,,
- ~;'
~--~-
'J'.
-~ . :'.~--=.
.. : <:."";;.. .
~,,.;;-:~
:'1l
'
., 1
.
1
>
:.:."'-
'
24
.f
1
.~
""
lt
1i
rr
ti
l
\f
ii
'.
~
,.i
il
:, :
GEOMETR!AS NO EUCLIDIANAS
5. Otra demostracin bastante antigua del postulado V, referida en el Comento rabe d\f AL-NIRIZI (1) (siglo IX), llegada hasta nosotros a travs de la
traduccin latina de GERARDO DE CREMONA ( 2 ) (siglo XII), es atribuda a AGANJS ().
La parte de este comentario relativa a las definiciones, postulados y axiomas contiene frecuentes referencias al nombre de SAMBELICHIUS, que se identifica fcilmente con SIMPLICIUS, el clebre comentaiis-
;}~~?~.- : i
. l
l
. J
f ft !.
H
. . !: ;.
,,.,;
.,.. .. ( ~..:..
~~~:-: ._' ,,
~~r~J,
:...~/l.-.r~
--O
'
.,
l ..
';~?1'~ t
(
<_> ..
.{
~~
.1
;
~1
i"'
.-~.
25
'~
f!
f,
. ,J
.J
5
~\
JI
-~. 1
"
G
Figura '
~~ :
,-
'iii ~t.
;
.".t.;
;:
t
d "-
~,.--
__ ...
_~
-- ,.
._.--
Er-~~~~~_,__--'-~-'-~__::,,;,__
~
. .;
' tf
~\
:
it'.;,,. . ~
rst;~~
( 1)
.'. . i~ ~-
~~~.
f.'
.._.o--=-___
"""~- --.
....
---- ~
......
"
~~~~--
i.1
~~
~~J
'-':~
26
rf~
t~
~ tr
I
~
~}
::i ,
.~
I,
!.
~. . .'" :l
,{.,.
r~='!: ~:
j(;;;~.--1.~: .~ ~.
~;i.~:. ~- ':
iZ't;;~:-
i1;?:_-~
~~~::~\
~.:~~ .
~~.-
.,e. r.
~;
ii~t
\;
'Y
1
. , f'
~!
GEOMETR!AS NO EUCLIDIANAS
!l.7
~~
.l
[J
~
'"'
-~
~
-~
'~
&'
j
f1
11
!
.1
t:
J.
l1
f
oc M.
'K.'
H' A
:A
Figura 5
,-i
t-1
= f
'ii
..~
H$~~~~~1~Jg~~~~~~!~~~~~-
--
~t1~
1
I
28
~t1~
GEDMETRtAS NO zuCLIDIANAS
.....
~ ~ri
1
,
ttaieolnr; y fa
otra oblicua a~la' tra.~~ ''., ":: -'"'-=':ah.. -En
~:~ :!sr:!~~~=~:~-~i~-~=~
. . .:. ~ ~~:ffi~~,i'
Piit,-li~~' "J:'ena:
1807);-
eih.~Ml.i>d11~-qumt!J .. , Npole11/cl-8'B}. /
una
_.
28
,_ :_ "
.M:~,~~R/#'.:~!~~-:: .,_- .
--~ -':
i:
JI.
, A . ..
(1). El Com.mto de PROCLO fu. impreso por-. primera-. va, en Basilea (1533) en el texto original; : despu6s en- Padua (1560). en
la traduccin latina de BAROZZL
.; .. -:
(") E~torum libri XV (Pesaro, 1672}.
.
(S) Eadidi.t elementorum libri XV .{RO'!Jl8, 1574).
.
(') Foll6to aobrs ~ lnea3 rUt4a equidistantes 11 ..io eq.ndiatante (Bolonia, 1603).
.
. . .
() Ulteriores observaciones s9bre l- fuiiimo objeto >fneron
hechas por CAT.t.LDI en Adicio-xss . al folleto:. sobre- lM Jttu1:14 .n<:tciB 11quidiatadea V " equidietantu (Bolni&, 1604).
'
'-.
.;:
'.
' '~~~:.~~~[
~-
- -._...,..
~,
, rif
.:~1
~i
,.
~ :~
.;{'
:;;.:..o jf
. p
tr.'
rf~11
~(~ftt
30
~~;-~~
fil~i
Ei~~-
~:--
.... . ,,,,:,:;.\(.';:.:,'.
. .
..
~5t{~
~~
1tk~
~~
.,
~.~-~-:~i llf
~~~'.
-.: .. ._ :
volviendo al
concepto de equidistancia f on,i:il;ilajlt:} por ; PsmoNIO,
siente con PROCLO la. ri.ecesidruf-;tl{.'rechazar qu,e las
paralelas de EUCLIDES puedan eomportarse de un modo
asinttico. A este fin define ~ la8 ; ;paralelas como. dos
rectas equidistantes, y trata .de\:probar que el lugar
de los puntos equidistantes de..'una recta es una recta (2).
. '
La demostracin reposa substancialmente sobre este lema: Si entre dos puntos -A:;1J:C, .tom<uias en cualquier lnea curva, cuya c&nCa.Vida.4 >
est -hacia X, se
traza la recta A C, y si desde-Zs:'infini.tos puntos del
arco A C se trazan perpendicUlres ,:a lguna recta;
:::>-
>'
:
"
<'
IB " ....
.O
Ff&'nra :~ :.
.:_.,: _
. -~i_f
:f
1
,f
:1
~:,:
:~-'
~t
;1
.. '
( 1)
>
.
~ w
_:J
;~
hl~ :
'las
~ '
'
::1
,
,.
'
F!p.ra 'l
.. ~Ef~.:J~~.:~l~~!t~~,~
.,._
,
. Pero cuando el autor quiere 4emostrar que el lugar
de los puntos- equidistantes , de .na recta es tambin
una recta, . aplica el. precedente lma a una figura en
que no se verifican las relaciones qu~ .existen. entr.e el
arc .A B C y la recta G F, de donde fas consecuencias
que deduce sobre la existencia de . rectas equidistantes
no son del todo lcitas. .
Bajo este aspecto, la demostracin de GIORDANO no
ofrece ventaja alguna sobre las precedentes; ofrece,
!in embargo, una notabilsima proposicin, cuyo concepto adquirir en lo sucesivo. . un mayor desarrollo.
,....._ ,....._
Sea A B C D un cuadriltero, con los ngulos A y B
rectos y 108 lados A D y B C iguales; sea, adems,
H K una perpendicular, bajada desde un punto H del
segmento D C sobre la base A B del cuadriltero. GIOR.
;,,..--..
,-....
DANO demuestra: 19, que los ngulos D y C son iguales; ~. que cuando....~I segmento H K sea igual al seg-
J .. ,.
esiz~~~enJ~re8 8ea.n
. .~t".
tD
= ~ .
:, ~
81
.recta. . ;:;_-
,i~~~
. -GEOMETJUAS NO EUCLIDIANAS
lii
~.~;
'."'i
1&
:~
..rl
:t ;
~:
~ '
:1.
!~~
SZ
..!~::--,
.1.f~':>
rt..,~~- .
t;._.,. :
,.
'
'
J. W.ALL'I& (1616-1703); abandonando el con. cepto de . equidi~cia, . explotado : in~ente por }?s
precedentes , geom~tras,. da :.una .;nue-ya demostracton
.del postUlado :V, :fmld:ild0se eli ;~ .. nocin comn: . De
toda f igu.ro, exis"te. #ita, semeic,,.Jite (Le magnitud a.rbitrq,f'..ia,.: IIe aqu, rpidamente; c4mO:pr ocede WALLIB ( 1}
/. s~: o,y b dos :r~cortada&: enAY B por la trans. ver-Sal 'e; y a. y ~ IosrigU1osintemos de i.ln mismo lado
de "c itales que +~sea merior'tt,ue~ dos ngulos rectos.
Ti:azad por A la reeta b~~ de -Iiodo que b y b' formen
con'i ' ngulos correspndien,teS~iguales, es claro que b'
caer en el ngulo adyacente. a . %. ~ Si ahora transport amos continuamente la recta--b-de modo que B recorra
,'
ir ;.
,.
b'
~-
38
tulado de . EUCLID!'.S.
.
-. : /-,
;
Observemos todava que WALi.rs poda .ms sencillamente admitir la existencia de .tringulos con ngulos
iguale8, o, como veremos en lo , que sigue, de dos solos
tringulos desiguales, con los ngulos dos a. .dos iguales [cfr. pg. 43, nota (1) ].
6 a b b.b.
+ s.
~-}~: .
r.
Ji.
10.
ry""
r \ r J r \ r t ""
~S
\~)tX
:~
:; \;... ..,: . : .. .
:?':7JL:-1;ct'::.~: ".
_ ..
:: (.~).; (Jfr:. $ALI.IS: Da poat1'It0:. Q_;into; . 6' :P.efin.iti01U Qiiin.. ta;;.<:IJb~ .:v1, .. E~; . discsptatio 'geometTica; .
Opera Math.,
~'"Jl~.f;pi,gs~ -~9-37~ .: ~~:rlord, 1~9-~E~-~: _trabajo ' de W.ALLIS
e011.tiee dos conferencias . dad.as.:en!' fa~ Umve'rirldd ' de Orlord,
~m en 165!,;.1a ,segunda en 1663;,'E ndllas viene expuesta
.6Jl~,&,.dmostraf!in de N.ASR-ElJDlN. Le.1 parte relativa a la
d~qi~6:]. : d W ALLis fu tradu~da al alemn por ENGEL y
! ST~~~;'.1a: T~"8 de-r Pa~Uiioi~ ,,on .Euklid ~ia av.f
.' ~-~-~;f~;' 21ii6\{Lelpzi.g, Teubnei; 1896). Esta obra ser en
lo ~cea~!!> 111.d ieada con Tll. d. P. ,,
en
..
~ ;
' :-~
';'-
;~~~t1?>7~~~~6~
. .~~~~~
: :::-
t:
J-
~ ~-.
.~
.:
.".' ':-
34 .
JJI
VIO.
que
."-
.:xa,~i~~Y~{;; .-:N~;~;:4IBs.:) ~
palabra
. ~ aqu:; signi~(-lQ'~lie.~':ECI:dJJES, en . su texto;
,.
y Is:..postlados.
:.''':t'ri<'::-: .
La primera . manera~ ;ae:.: relaciria .con la diferencia
existente entre probLema .':y ; teorema. El postulado difiere del axioma, com' el prbleni.a.. difiere del teorema,
dice PROCLO. Con estO se debe entender que el postu1,ado afirma la. posibilidad.de una: comtruccin.
La segunda. maneri)~onsiste . e:il ~decir que el postul.ado es uM proposici-t:~<de- ~temao geomtrico, mientrci.s :que el -~ es ~n.~1*1Jo~ ~n lo mismo
a. la _geometra _que a Lq)if4fn.t.i:c.d::> . , ~
''.-';.,.
..
.......
tjW trJWg4:".cYer-
..
,.,..f-_q~.:.......r.-. .~t
.......'.;;-... ?~~
~. . - . ~~'-0f-~b~~~~~m-~~..~ ~ ....'4'.-.... -
""
'.-
-..}
35
.,.,.
v...
se
-:<,:H
Hl
>1!
,:~1!
t'.ii
':-1
}jj
-~:.p
:~:~d
<ill
.,
''ji
'.~lJ
-fl
tij
A1
.l{
.i
-~,
l
.. l
.1
j
tj
_. ,1
;1
!j
i;
il
.j
:H
;r~
./~j
c!i
J,
... ,-L:(-'
l!;~.f~4-
' r.
~-~~~tL
-~
/~
,..
.;...,
'
~ '$~
~~~
GEOMETRlAS NO EUCUDIANAS
86. '
...\ t
''
~-
'en
.{
)1 -
t-~~ i~ '
..
ir.:
;.
:. e !;
:-1,.
~..
.- . - .
.. .-: .=:.:
< :':
.... -'".
..
~w'
. r)}
(,-.;Ir'
'
CAPTULO II
~
.
Notemos.. en fin, que,,cualqiera que sea el modo de
resolver la cuestin de. nombre aqui surgida, la moderna filosofa matemtica tiende, generalmente a suprimir ;la distincin entre postulado y axioma, entendida
en .el segundo y tercero de fos modos ai'riba rero,rdad().'\!,
porque .domina la idea de atiibuir a Jas propsfo~oil.es
:fuD.danientales de la Geomtrfa;_ un carictei'de .. .hi:PtesiS ' poyadas"en lina )j~ empriCa,;nien,~s\diii.~
supe#lno i)orier entre eStas.proposicione8 atrmaciones
q'e''.s eaa sunples onsecuncia'.de ls:dfinfoiories:dadas.
i.l
LOS PRECURSORES
:,,
D~ :.
LA GEOMETRfA 1>i0
EUCLIDI~A
GEROLAMO SACCHERI
(1667-1733)
11. La obra del padre GEROLAMO SACCHERI Euclides ab omni naevo 'Vi:n.dicatus: sive cona.tus geome-
~:
"
}i:
..~.
tricus quo stabiliuntur prima .ipsa, universae Geometriae Principi,a (Miln, 1733) est dedicada en su mayor parte a la demostracin del posttilado V. La idea
directriz de las investigaciones geomtricas de SAcCHERI se encuentra en su LOgica demonstrativa (Turn, 1697), precisamente en un tipo especial de razonamiento, ya usado por EUCLIDES (Lib. IX, Prop. XII),
por el cual, aunque se admita como hiptesis la falsedad de la pro1J()sicii que se quiere demostrar, .
igualmente a. concluir. que es verdadera (1).
.~
se llega
.,
AnteS de exponer la. obra saccheriana' recordemos
que EUCLIDES, 'para demostrar su proposicin XVI (el
ngulo externo de un tri.D.gulo e.s mayo!'. que cada' uilo
d los niulos internos'opuestos), adririte linplfciti:riente que la recia" sea infinita, estando' silbStanciablln~.
filndad su razonamiento en la existencia""de -.riD,;_.sego.
ment doble de un segmento dado. : ' -; ~, ,, , . ~-' ;:,_:_;,;,
De la posibilidad de 'llegar esta hlpt:esitf ha~
en lo que sigue; por ahora obser'Vemo8 que SdHERI'
.",
::.f
-~,;:::;:~!;,~~-~fW.i;~~
~w~~~,~rbJ~~~~~~
. ;L -~_~~~ --
1i"ej>.{:~b-.,ia...
:, ..
i}}
~3
4
1
.1
'1~1
;H~J
~~~~$~-~~-~~~;~-
!tz"t "
J~~~
,,,~~-~~!~t ..
68
GEOM.ET.R!AS 'NO
l:UCLIDIANA.~
r: -~~:
,
'1t1e)e SfrVe':_tambin
del postu,..
Mpt'es de la continuida.d
ae;U1-ecta (1 ), para extender tOdailas figuras de un
.tii>Q<'.dafo ciertas 'Pi9Po'sl.ci,on~ aidriiitda~ como ver '.d,,1.Q~riui solamente .pax:a.~a',fj~a,. de aquel tipo.
,.tilO.iU 'Arqumedes y
_'~ ~.'.l2.
d~ la
f~~dinJnti
La figura .
de SACCHERI es el
Bb:adriltero birre'fn~{-~6ic~es, esto es, el cua_d riltero con dos l.dos ~-opu~tO ~ iguales y perpendiclref a la ~as~. Las -propiE!dMes de tal fi~ra se
deducen del s1gmente lema, de.:. fcil demostracin:
Si en un
cuadriltero A B C_D,
e los ngulos co-n.............. .,,,,......
.
secutivos A, B rectos, los UJdos. A D y B C son. iguales
.............
..:...
tambin, el ngulo C ea igwiF aL ngulo D (prop. I),
y si los
A D y . B. C son
.desiguales,
de los dos <in..-...lados
,,,........ . .
' . .
.. ; .
gulos C y D es mayor el_adi/aiente al lado menor 'Y
viceversa.
Sea
ahora
A
B
C
D
un
..
~iia<iriltero
birrectngulo
...............
.,,.......
,,,,....... .
.
.
: .. .' :.. . . .
(A= B = 1 recto} e issceles; (:A:D = B C) ; en la hiptesis eucld~a . ta~bin ios-'fuiiiils 'C y
son rectos,
de modo que . admitiendo que: emos ,,'ri'gulOs puedan ser
ambos obtusos,o ~bos liU,f#os) 'D.ieia; implcitamente
el . postulado V. SACCl!ElU .di~~~ti:Cjstinente las tres
. . . ' .'.
. :
..
,
'.;;;Q. .
........
_ '
hitesis
relativas
a los
ngplPiitGy;;DXqu
l denomi.. .
. .....
..
.. <\ .
_. .
.......
'
riaba respectivamente k"ip~?.~;"6.1'.!fi;l,O recto . ( C =
~
~.
'
'
'
iJ
?~~
89
;fj
y iectngulos
;11
,'.
i
'<l.
.A
0 1
l.""
.,,'{
ti
:~
)l'
'
F'ia=a 9
~1;
i
1
~
;1
~
, ~ \.-~
'.o\!.J,~~~ .. -. -~.">
Q
N
E>
; ~r. 1h~;iili~z~:t~~t;~fi~]k )~
.:j;"f
.~
-~-.
,.;
.:--fi.i:m.el:Citidfil4tero:~~te~'ifi6s~el#: A, !Je D
0)~:1l&jf~_.za. hip. ~ng: . ~@.W11i-11,ip:::.1ig:~ ooti.80 o la
JiiP.~:liiig; .af11d~ 86 teridm-:'feip~~ment~, '.A'B,=e n,
aeuJa:r, 00'
<;~{.-~:;./~<~::~..
segment/A B.divide
~ ~ ~
al
... (7}. Esta h1ptesis ~ usia por SA~ - en su forma intni. ti.Va.~ ; ~il '_decf;. un segmento, q'ae pll1la ..ue ., un pi,odo continuo de
1a" lcingiiud .i:; a -la .' longitud b, . diztjnta de , a;, adquiere, durante
la variaci6n~. .una longitud cualquiera
~mpreridida entre a. y !>.
.
0
.:l
-~!~
-~
~10
=e
'"t '-'"~-~ . . .
'
J~-
:;i~J.
. "...
!4~
"~
P.
i"
"-'~ . . . -
... ~~'<:""_'{::.~,.R<'i.~oi.~~.~..Z:l}:.:~
.&.!
...-.. .,,,.....,,
:~Siendo Jos ngulos K y H obtusog;:- la perpendic~
en K a KB encontrar al segmento A H en el punto M,
':fubn~cio el ngulo A MK obtuso ...(teor. ngUio . exte~
-Entonces eri A B KM ser. (lema primero)
~B ); KM. Toriando ahora sobre A B el segmento
.
MD
H
..
,IR
. l.
::~1d
A N
.............
~
.~ -
.-,~4~-
.....
"'
is. De
tri..
~~ii":;;q:-t~.~~~~~,~~~~~'-
' ]~:~J
--~:
.,,,-....
...........
,,-...
...........
,,,,,.......
./"'...
...............
,,,.,.......
.,,,,,,.,......
~..i
"1
1t:.
-~1
A + B + C > 2 rectos.
En la hip.
ng. agudo, siendo A B < D C, . sguese:
/'-.
,.,....,,
A C B < D A C, y de aqu, en el mismo tringulo:
.Fizura 1S
,,,,-....
De,
,/'..
A + B + C = 2 retos.
En
ia
kip.
ng.
obtUBo, siendo
A..
B>
ser.
-.....-...
.,,.,,.........
.
.
A C B > D AC ( 1 ), por lo cual en el tri.ngtilo en cues'tin tendi"mos:
Figura 12
: :~
4.f
'
,;;;;
.)/
n:o}: -
'
1...:'
.....-_
~~.
~(~
~:<
:>:
~~;
A + B + C < 2 rectos.
El teorema demostrado, que se extiende fcilmente
a un tringulo cualquiera, con la descomposicin. de la
figura en. dos tringulos :rectngulos, viene invertido
por SACCHERI en la proposicin XV, mediante un razonamiento . por reduccin al . absurdo.
Una :fcil consecuencia de estos resultados es el siguiente teorema:
Si en un. solo tringulo la suma de L.os ngUloB es
igual, mayor o mnor que d<rs ngul-Os rectos, en todos
los dems t ringul-Os esta suma ser respectivamente
igual, may<>r o menor que dos ngulos rectos (2) .
Este teorema, que SACCHERI no enuncia explcitamente en la primera y tercera hiptesis, :fu . nueva-
ment encontrado y darlo a conocer por LEGENDRE casi
Esta desinaldad viene demostradti ;r SA~RW en. 11u
VIII_ y sirve de lema a la propo:riei6n ,JX.: Hemo11
omitido la sencilla demostraci6n, porque se encuentra muy frecuentemente en los textos elementales, antes . de Ji teorli., de
las pmuelas.
. (t) Otra proposicin de SACCHERI, que no nos iite~ .directamente, afirma que ri 1111. u-n solo cuadriltero la'' 3tM .U los
.11.gulo11 es igiu, mayor o nurn<' qm1 .c uatro ng~:..r:eiiio{i, .,.
deduu respsctivantMlte la h:ip. ng. ruto, la 11.ip.: ifilg,c,<:i6t:o.. o
la h.ip. ng. a.gudo. Con esta prop01!ici6n se :relilcl;i; una - obse?Vad6n de SACCHDU sobre el postulado d. :W;l.Is:'{ Mr; ! ;g).
W ALLIB podia sencillamente admit? la ' e:rlsterlci.t; 'de"'da -solos
tringulos eon ngulos iguales y lados desigll:ale;f~i:.~:deducir
la existencia de un cuadriltero en el Cliahta:a mlia"'de -los n~los es igu.al a cnatro ngulos rectoa, :y de-'..2lqul .:la~ viilid~ de
b Mr. <mg. ruto y a continuacin el postulado V . :
1
1
- 1
(1)
prava~-
'< '
1
~
.'J
44
--"
,_
<~' J4; Los prec~dente.s teoremas _8,obre el cuadriltero . birrectngulo -issceles :: fueron -:< demostrados por
SccHERI y posteriormente por oJ;'ros gemetras, auxi-li4D.dose _del postulado de Arq~mdes _y !lel principio
de; _la continuidad (cfr. proposfoin' _V,-VT)~ El Sr. M.
DEHN~ (l) ha .demostrado, siri. embargo, que ellos no
son independientes. Podemos - demostrarlo elementalmente del siguinte modo (2): :_ - '
Sobre la recta r fjense dos 'puntos B y D; elvense
desde ellos loa dos segmentos perpendiculares e iguales
entre s B A Y--D C, y nanse despus los dos puntos
A y C por medio de la recta s. La figura obtenida, en
- ..........
_,,..._
la cual evidentemente se tiene B A C = D C A, es fundamental para nuestras consideraciones, y a ella nos
referiremos constantemente. Sentado esto, sean E y E'
dos puntos de s: el primero, situado entre A y C; el
segundo, no; sean, adems, F y F' los pies de las perpendiculares bajadas desde E y E' sobre la recta r. Se
verifican entonces los siguientes teoremas:
1Q -Si {
E'F'=AB
EF>AB,1
29
f
E'F'<AB
_Si { o
bien
-- - .. '. . ~1::EF<:AB,}
~,-;8.f :;, b'-bik; - loa ngulos BAC iJ Dc
.. _,_-- " E'F'_> 'AB
,:
'.:. . . =-
';'.o~
~~ 11
BAE=FEA;
l~
?]
-~~.~
__,
;:~
:'_! ~!
{;;--j
""
'": ~
; f~
-~;'-'
Fia'nra 14
,_- ._,-~;~-:_;
:::;-l)
"'.'-~
::-<,li
FE _C =DCE;
r J r :~
f'"
":'._-~
:~ry
:"C:i
7;(::J
S: ~
':-'.1
.:~,
1
1
EF=AB,}
o bien
"
-r r
!.~
45
son
ag~os.
,......._
,,,,,.,......,_
+F
,......
Gsrolamo Saccke-ri
,,o;.4. -za-:nfnti..de loa-- 7<guloa ck un -. tringulo 11 fu.- in'!lsatigaCiin..ea.:116 -- -M:~'Dh'n. Rend. Tutltnto Lombardo,
II, vol.
.-
ser,
-1
1
1
1
,,,,.........
I C > 2 rectos.
xxxvnr_ (1901>).
B A C + D CA > F I A
Errtr
f"
Fla=s 15
(1
->
1
1
.. !
'
t,1,~;;~
"-
~~.~ti
~:/j
(.<!'
,.... ,, ..... -J
1
46
l. q. d. cL .
B A C > 1 recto.
suP<>ngamos, en segundo 1ugar; ':E' F' < A B. Entonces prolonguemos F' E' hasta obtener el segmento
F' =A B y unamos I' con C A.~ "' .
~~-,. :;~~..-
y_
~aciones ~
F'f--A' = BAI';
.., . : :
1'
.;.:"...'
:,'t
. ...;;. ..
"
'
'!; -
:.
!'
'~ ;:;~
'.~
si B A C
./"'-.
~\~
r.,<~
= ~
- -
l1
47
...-...
.,,, .......
si B A C = D C A = 1 recto, entonces M N =A B;
/*'-...
...........
si B A C =DCA> 1 recto, entonces M N >A B;
..,,,,......
r~~~ :;:z~
~-
GEOMETR!AS. NO EUCLIDIANAS
"'
1
.,Zi
-~
.,...._
FEM
,,-.,,
.,....... ~
=lrecto;
F'E>MJ
,... -
rFEML
, ,. .,
29 Si BAC = DCA> 1 recto, tambin~
s>lrecto;
,,......
39 Si BAC
,,.-..,,
-~~
.;
LF'E'M
,,..._
J<lrecto.
"
;1
:1
o:l
ill.I
p
A
~I
"
!j
-~ 1
"i 1
lF'~M
rFEML
,....:.. 1
,,..._
,,.-....
= DCA
< 1 recto, tambin ~
-~ j
:j
;
l
\_
J''.,c.
.!
E'
,.
A E
Ji
K B
.!
~
-. .;
F' B
~1'1
'
r ,.
;..
F~ l~
:1
7;i.Sli;
t~;~:~ll
;J,
(~~;2~~-:tf:~
:;
,i~
GEOMETR1AS . NO EUCL!DIAN AS
48
,.._
ri ,B AM =1 ricio, tambiifi {
,;:,-
si B ,,,.....
A M
K H M -,
KRP
{ ,..
,.-._
>
,,...._ tambin
1 recto,
. , . . _
t O~
1 - ,
i
~
, - . . .
KHM l
KRP.
si B A _M
_;,. . _
= 1 recto;
,,,:_
,.-._
> 1 recto;
1
* If-"KHM L
,.-..
,.-..
J < 1 recto.
L -KRP
Estas propiedades, como : fclmente se comprende,
se verifican tambin si el punto P cae entre M y N.
En resumen, los tres ltimos teoremas, que manifiestamente coinciden con los de SACCHERI, relativos a
los cuadrilteros birrect.Iigulos issceles, es decir: si
en un. solo caso es verdadera, respectivamente, la hiptesis deL ngulo recto, del ngulo obtuso o del ngulo
agwk>, seT verdadera en cualquir otro caso, estn
demostrados independientemente del postulado de Arqumedes.
. Queriendo ahora pasar de los:. teoremas sobre los
cuadrilteros a los teoremas -sobre:los tringulos, enunciados al principio de este pn:~o, podemos desde lue. go .referirnos a los razonamients .. de .SACCHERI (cfr.
pg. 42), puesto que aquellos razruuriientos no dependen- en absoluto del postulado :en;, cuestin. Con esto
queda obtenido el resultadO- que nos babfamos propusto.
15.
4!}.
,.i
'
Sea A B C un trin,qulo rectngulo en C; sean H el
pu,nto medio de . A B y K el pie de la perpendicular
bajada desde H sobre A C.
Tendremos entonces:
A K K e, en za hip. ng. recto;
A K < K C, en la hip. ng. obtuso;
A K > K C, en la hip. ng. agudo.
La parte relativa a la ._}iip. ng. recto es inmediata.
En la hip. .n.g. obtuso, siendo la suma de los ngulos
de un
cuadriltero
mayor que cuatro
ngulos rectos,
.,,,......
..,,,,,.....
.
ser A H K < H B C. Bajada despus desde H la H L,
perpendicular a B C, los dos tringulos A H K y H B L,
con las hipotenusas iguales, en virtud de la precedente
relacin, dan lugar a la siguiente desigualdad:
A K < H L. P~ro en el cuadriltero trirrectngulo
H K C L, el nguloH es obtuso (hip. ng. obtuso), por
lo cual ser H L < K C, de donde A K < K C.
- Del mismo modo se demuestra la tercera parte del
lema.
/t.
'
,.., A~
Ficura 19
= ....
fura 18
: -~
~~~:-.t..:'$~.,;~"""'"'.ct~s0.1':'r:~ti-J~~~~
,,~
JI
'J
,
J
GEOMETR!AS NO EUCLIDIANAS
50
.t
51
. l
;..
'
Figura 21
/\
:s .
At
.F'iS'= 20
es
. \X];II}. .
.-L ....
..
... (>,). El" postulado de ARQUMEDES, de que ..se .liare aquf uso, aparece : en tal forma. que incluye implcitainnte la .infinidad de la
re~
posicin'\ es : s11bstanc1almente idntico ar. de; ~AS1K-EDDl.N. NA~-~E~Il;l.~ .se-}efere, sin embargo, solamen.te a --la hip. ?tg. recto,
.li..~~_d9_, ..!lem,ostrado anteriormente:.~e la ~uma .de _los ngulos
-de':uiitninglo es igual dos nglos rectos. Es oportuno ob. 5ervaiqu SA.CCHllRI conoci y 'critic la obra del gemetra rabe.
..
. ...
~
~->
-:'
,.:
-
1
l
1
' 1
~,,
ar
1i
~. j,
_:;
t
...,. 1
i~l
~ _
52
'.~
GEOMETR!AS NO EUCLIDIANAS-
}.' ' ..
rt~
[:;.r
ji'
-_~
/_~,!1...,_~,..
l)
"'-,.:
--~
,~
;..
, ~
~:.:
t: ..
~"'-:
i'.
"
'
"
\[ :-
;'4
't
~::.
t~
~-:-~. ;I~
~~fil ~ -
rtf:~t ' t
::~:~
,,.
: -:~~~-. .:::-- ~:
.e
'
Entre tanto ser bueno observar que en esta hiptesis existen una perpendicular y una oblicua a una
misma recta que no se encuentran (prop. XVII). Para
construirlas, desde el vrtice B del tringulo A B C,
rectngulo
en ,.,.--.
C, trcese la recta B D, de modo que
_,..._
sea A B D = B A C. Entonces, por la hip. ng. agudo
el ngulo e BD es agudo y las dos rectas e A y B D,
que no se encuentran (EUCLIDES, XXVII), son una
oblicua y la otra perpendicular a la B C.
.De ahora en adelante nos referiremos exclusivamente a la hip. ng. agudo.
Sean a y b dos rectas coplanarias no incidentes. Desde. .los puntos A 1 y A 2 de a bjense las perpendiculares.
A 1 B 1 y A 2 B 2 sobre b. Los ngulos A 1 y A 2 del cuadriltero obtenido pueden ser: 19, uno reeto y u:ri.o
-~
-~
'_:_~~1.':.
;;_'
... ~
Figura 22
~.
j:-'
;~
Al
_,,,,......_~
~
-~
<~
:f!
r;
.:;i._a.~_
-~-$.
~1
~'}
1~-.
,.
-~
~
~,,
~I.
53
can
-~
IZ
_'}I~
_:.,;..
~-
.11t'
~.1
1
'B,
'
'
Figura 23
--_
-..:."'"!J
;,:;t;,
<'.!'.
=-~
':j
.. ..~.');
_-~:..-
-----------6
.., ~ :i
Figura 24
( 1)
Este :resultado justifica la duda presenta.d a por 1os griegos respecto a la existencia posible. de rectas coplanarias asintticas (cfr. pg. 20).
.'
~
:.f
-f
-~
.~
.'.}
~
~~
'.'
. ..
. : . . . ..
..
---</<
~-"-':'?~i'r-c.
~,;~<"~'.'..~"~~~:;(<'
..
54,
GEOMETil.tAS NO EUCLIDIANAS
~;
~~~:
teneeen
~~
\:'
( :
~'
\;'-~
r
f
~i;J
...
:!!_''
::..
en
_
, ~
=~'
B'
Figura 2S
:~~
. .,,.t
'
un
- c.,~-. : , --
.-
~ - - - ~- . . .
. -
,,,,,-....
_::.:
>~
-;_~
C)
En la . obra de SACCHERI, antes de - este resultado, se encuentran o_tras muchas., propos~cio_nes in;r~~iltes, entre las
cuales e_s dlgna de mencion la s1gmente: s~ fB> ;ectaa se apro:J:i1114n coda vez ms, y $2' distancia se man.tune s~mpre stt:perior : a. . it ~rto . segnumto asignable, la kip_6u"8 del ngul-0
ai;rt.ido iieia: :Uutrula; Aai que postular ia auSencia de rectas
asinttica8 . "equivale a admitir el postulado euclideo.
:~
:-:t.
-~~
:,l:
....:...<:
:::~~
~f
-:iJ
:Jl'
"@
~~
,_
7~@if~~~~~~t;~~~~~~~~~~~~;tt?~.~:
55
LEE:
'!--.
en
una
'1
, 7
1
56
GEOMETRJAS NO EUCLIDIANAS
~
'-"
!ti
1.
en
57
B1 Bt
\ l
J.,
Bn
1
1
.!
l>
1
j
A 1 A,
!'.!
A.
Figura 26
cia entre cada uno de ellos y el siguiente va decreciendo. De modo que resulta:
B A - .Bn A 0
>
(R A - B A 1 )
n.
tercem
lamoSaceheri
A~s.
"i'
El posLula . de Arqumedes tambin- se usa aqu bajo tal
forma que incluy< la infinidad de la recta -(cfr. S.&.e<:m:RI, nota
de la. pgina 50),
-1
:~i'
-~
,1
'
( 1)
': 1
..
j
1
,.j
:...
.; )
:14
-W!':~~:,_:~t>.'#f4~~~5\~ .
~1i..J
~ ~;'
~:!:
.,,_.---1 tii~~;
!::!
~j
.1
l
58'~
GEOMETR!AS NO EUCLIDIANAS
..
~;~~~-:};1~~i~*~~. ~ ~
.~
...
-i
"1
~--i
_,,
-;i
'-~~
..
~~~ft:l".,!z.--l~-
..;'";.*9).
- . _,
59
-~~
~)
~
E
:I
. .,
~
-~!!
'jI
.,
1
1
.i
~1
'., 1
-~ l
~j i
-1
.a,,J'
i""
"1.1
~
..
"'-
._~.
-~'~-~"'i>'!\':'~.>:::'..-=bit~."i it@dJii!_,g;g<!!-W~,__~~~"'~-~-~==n>~~~..,,.,,,,.~-._..~
60
GEOME'.l'R.tAS NO E U CLIDIA N A S
Para ver despus, del modo ms sencillo, cmo a todo >segmento puede coordinarse un ngulo y obtener
asFuna. representacin n umrica absoluta de los segmentos; imaginemos construido. sobre todo segmento
tringulo equiltero. . Fodemos sociar a cada segmento . el ngulo del tringulo respectivo y luego la
:: medida de este ngulo; ya , qe .&iste una correspondenCia .biunvoca entre ItiS\ seg-lDentos y los ngulos
comprendidos entre ciertO)):ll.i_t~; . .
; La obtenida representacin .n umrica de los segmentos ri~ goza, .sin embargo, P.e ia: propiedad distributiva
que . corresponde a la long~tud1 porque sumando dog
segmentos no resultan sumados : los ngulos correspondientes. Se puede, sin embargo, . determinar una funcin del ngulo que goce de . esta propiedad y asociar
a un segmento, no el ngulo en cuestin, sino esta
funcin del ngulo. Tal funcin, para todo valor del
ngulo comprendido entre ciertos. limites, nos da una
medida absoluta de los segmentos. La unidad absoluta
es aquel segmento para el cual. la. funcin toma el valor l.
,
Si se observa despus qu'e cuando una cierta funcin
del ngulo sea distributiva en el . sentido arriba indicado, tambin el producto de esta funcin por una
constante arbitraria goza de : la . niisnia.' propiedad, es
claro que se podr disponer siempre. de esta constante,
de modo que la unidad absolu~.. de .}os segmentos sea
aquel segmento que corres)ori.de.;;i ~un llgulo determinado;. por ejemplo, al ngulo::i de;~'.45~~ La posibilidad
de construir, dado el . nguloi.( la"(lmidad absoluta de
loi segmentos est ligada: -a ,lti .r~soluci6n del siguiente
ptQblema: Construir en. za. hip; ''.dngc~;-Udo un trin:iJ1d:'.equiltero de determiiUuf,::d/iCienCa.
::,.P.ara cuanto se refiere a la .-:Died.ida : bsoluta de las
..:rji&S'h)oligonales; Qbservemoi; que 'st dada, desde
lii'eg&/p<ir la deficiencia de losp,llgono8; Tambin para
108:p0liedros pudiera instituirs~un _medda absoluta.
p~ro;' segn nuestra intuicin ::espacial;- la medida
allsdlufa'de tOdas estas magnitudes geomtricas no nos
par~.: posible; de donde, negando la existencia y la
14~ 'i:ibsoluta. para los segmntos,' se Pudiera., con
LilmERT,' r echazar la terce1a hiptesis.
un
:~~
l ..
.i
r2 (7:_:A .-B'-c),
!i-
61
22. LAMBERT dej, pues, la cuestin en suspenso; antes bien, el no haber publicado sus investigaciones hace suponer que haba entrevis.t o. algn horizonte
nuevo.
Entre tanto, es conveniente observar que, por el nial
resultado general de semejantes investigaciones,' en la
segilnda mitad del siglo XVIII iba formndose la convicin de que fuese necesario admitir sin demo8traciil el postulado eucldeo o algn otro postulado equivalente.
'
'
..
~
( 1)
En efecto, en geometra esfrica la suma de los ngulos
de un cuadriltero es mayor que cuatTo ngulos rectos, etc.
(') Cfr.
STC!CEL y ENGEL:
..
ti>
:~{
~~i:
~;:~---,.~, ,,,,,~..;;,-
. -..,,,"'!""'l;
;;;M
: ~t,
2'.wi:f~/ft;-,-;:fffiJ,'t:;:
. m.o...4'> <>< "'-~
:.,'{;My,.,r.
%~:1',;\;,~)'~
c . .~~ ~
- .
:: ,
;'~-~
.--.._ <fK...
-~~
.. .. '-"- -
:r
mi~~..,,..~~~--- -;'-..
'.--"" .. ,_
,<'
,..
<';
~~~~--:{~~~~~~~
t~
- ~::
. -~;!;
62
:~':
En Alemania,
----~
~;.
:.:'!,
iit
..~}~
~-f.5
:ti
r:..
-.. ,.
~1~
~-
sig1?_.;'.. '.
DEL
. 63
SIGLO :>..-VIII
23.
La crtica sobre las paralelas, que ya en Italia y en Alemania haba conducido a resultados. de gran
inters, tuvo tambin en Francia, a fines del siglo XVIII
y 'principios del XIX. un notable impulso.
D'ALEMBERT. (1717.,.1783),
un articulo suyo sobre
Geometra (1759), declara qu_e ; La dfi'fl4ticm et les
proprits de la ligne droite, ~insi qiie des lignes para],..
leles ~ s0nt l'cue et 'p<>ur ai n8i'.:dif e--f,e BCtLndale des
lments de Gomtrie ( 1 ) . Sostieneque con una buena
definicin de lnea recta se d'b'enan eVitr ambas dificultades. Propone llamar par.Iela a una recta dada, a
cualquier' otra recta coplanaria que line dos puntos
equidistantes y situados en una misma regin de aqulla. Esta definicin permite construir inmediatamente
las paralelas ; sin embargo, serla necesario demostrar
que estas paralelas son equidistantes. Est e teorema fu
propuesto por D'ALEMBERT, casi .como desafo, a sus
con temporneos.
en
,''
-~
.. ;
....
0
. .
-; l
!
1
1
-
1
1
1
l
1
1
-r ,~
-~ :~;
;,i
..;..,
>::-~~
.... ~
.._.-:.;_
_._
~.;:.
... ~:-~
-- ~
;:~:
( 1)
. ( 1)
Cfr. D'AL!:llll!ERT: Mlanges ~:' ~a'Nrfl, ffHiatcire et
de Philogophie, t. V; 1 XI ( 1759)-.~;"tambin: Encycl-Op11difl
, M thodiq11.e Math>rnatil{ll.fl, t . II, ' pg":.. 619, artculo Paro.Ue-
IH (1785) ,
.. ,:.. ._
(') A. DE M;oBGAN: Budget of. Paradous, p g . 173 (Londres, 1872) .
( 1)
Cfr. J . HoiiEL: Eaaai critique aur lu priw.cipeB fonda
mentauz de la Go1Mtris Um.mtawe, pg. 84, nota. (Paris, G.
Villars, 1883.)
(')Mi sullan ea Taurine-naia, t . II, pgs. 299- 822 (1760-61 ).
1
!1
.;_'
1
1
~r
~-,,.~~~{,~?.ii~l
{i*i1
Memoria Sur les prncipes f ondamentaux de la M caniqe _(1760-61) ( 1 ), en la cual D. DE FONCENEX desar_rolla-una cu~stin de independencia anloga a Ja anteriormente indicada de la-tdgo_n ometra esfrica. Precisamente FoNCENEX demuestra ,que la ley analtica
para- -la composicin de la8 fuerzas concurrentes no
depende ni del postulado V ni de cualquier otro equivalente ( 2 ).
:,~t_:_~_:.,~_
- i
: -1-ir_ . . _-,_
-
., - ll'
;f; f$~
1
,,
'i"
;:
-fi -; - j
'!,<-
r
r
{:
GEOMETRtAS NO EUCLIDIANAS
64
la1neye8
~-
.1
;_~
:1
l
l1
-1'-
:...~
'~
1
.-,_
"'_e
1,,.
'Ji
~,_._
::r:
-'.~
---~
;;,;
65
-'
"
Cfr.: LAPLACE: CEu-vres, t. VI. ,ivre V, Ch. V, pg. 472.
(') Cfr. : Sances de l'Ecole nonnale; Dbats, t. I, pgs. 2833 (1795) . La discusin fu reprodu cida en M athiria, t. IX, p( 1)
.>
-;j
_)J
: ..;;o
:.k
~~~~~~~~4:--~~~~~~~-:~~~rJ~tt~f?~a~~~;-~r~~.~~:~~~
r--
~~j
e:r.:-:~2 ;
1;
1?6
s,~J!ti4<>
j\j\LAJ\!'
ADRIANO
MARA
LEGENDRE
(1752-18S3)
27. Los precedente3 gemetras se limitaron a ex:Ponerlas dificultades y a emitir juicios acerca del pos..:
tulado; quien. intent, en cambio,. transformarlo en
teorema .fu LEGENDRE, cuyas investigaciones, espar'idas en ls diferentes ediciones de sus Elments de
Gomtrie (1794-1823), estn resumidas en las R,.
flxions sur diff rentes manieres de dmontrer la thorie des paralleles ou le thoreme sur la somme des trois
angles du triangle (Mm. Academie Sciences, Pars,
t. XIII, 1833) .
En las ms interesantes tentativas, LEGENDRE, como
antes SACCHERI, ataca la cuestin por el lado de la
~ma de' los ngulos de un tringulo, suma que l
quiere demostrar igual a dos ngulos rectos.
A este fin trata desde el principio de descartar la
hiptesis saccheriana del . ngulo obtuso, estableciendo
que en cual(uier tringtilo la suma de los ngulos es
numor (hip. ng. agudo) o igual (hip. ng. recto) a
dos ngulos rectos. r
. E~ongamos una sencilla y elegante demostracin
de LEGENDRE.
Sean, sobre una recta, n segmentos iguales y consecutivos A 1 A2 , A 2 A3 , A,,An+i, sobre los cuales,
en-na.misma regn de Ja recta, se construyen n trinitilos iguales, teniendo por terceros vrtices los puntes
Bl,;B2, '-'. Bn.
:{:L<>s '.segmentos B 1 B2 , B2 B3, ... Bn-1Bn, que unen
e!!tos:, :ltimos vrtices, son iguales, y pueden considerarse '.como . bases de otros n - 1 tringulos iguales:
Bi.A2B;; 'B2AaB3, ... Bn-1 AnBn. Compltese la figura
.cQn'
.,eJ,,;
' tringulo B An+1 B n+1. igual a los precedentes.
; :
: . .., .... -- ..
11
67
A,
A,
AJ
A.l
Figura 27
~;
.,
!I
ti
ii
11
:1
ti'
j
,
,. t
~-
r:c:~~t~i{~~;;:~:~~~~:~~fii:}i.f"f1f~~~~0~~~~~.%~~~~~J~;r:t_~~~;
~
l-\ '< -; .:;_H ... , .. ,
" " ..., ..,,.,..}' ""M;...~.- -~ _ .......~ -- -
.,,,.
...
<
,.
68
GEOMETRtAS NO EUCLIDIANAS'
69
suma
_e;
,/"'-...
~F
:~)r..
,~,~!:'
?,.:
Figun. 28
l:
J
,,,,........
--~ ~.,_~--
"::'.:
.:'1
~: "
t -~
.f ~
r.~
!.> ~
:;
..~ ~
'! t
-~ ~
.-:
AA
B.
Figura 29
;~:
,,,.'
< :
'T
,.....
"";;
"'
?
~l!
l~--~~~ ~~F~-~~~~~~
t,. ;
;1 .
se
}':'A'-:::,. :,.,-... ~
..
...
it
.,
~-----&-~----~=~~~
'
~'
70
GEOlr!ETRtAS NO EUCLIDIANAS
..
.;.-i>
'dk~RE.
~
-~
'
.:;~
't'
:S~ AB
~~l.'..
,~.. r~
->
..
~;
.....F{.'.
:
~~
:~~
;.~:-;
lf
'
--1
;;;;;111.
,.f
t~i;
B
Figura 30
;:'
y una oblicua a la
-i,,i.(
sguese
teora
de las- paralelas, y, por
.
............... la..,.,,,.....__
,,,........... ordinaria
.,,,........
tan_to, A + B + C 2 rectos.
En otras demostraciones, LEGENDRE hace uso de razonamientos analticos y, tambin errneamente, de
magnitudes infinitas.
C.o n esta obra tan varia LEGEND&E crey, al fin, resuelta la inextricable aificultad escondida en el principfo de la Geometra. En substancia, sin embargo; no
aade,Iiada de: verdaderamente nuevo al material; y a
l.s-'.:con:Vicciones ganadas por sus predecesores. Su maest enla forma sencilla y elegante que sup0
4il;~:t~~~ de sus investigaciones, por 1 :que St.as
hl~n; aquella difusin que tanto contribuy' a
ilanciJar el crculo de los cultivadores de las nuevas
f~;~q~~:~entonces estaban formndose.
:.: ~:~~~~~:~;~:~;.~ :~;_
ii' .~riti,
~....
::.
';;
--~
:-;.
~j
- ..
.:;
( 1)
La Theoria ParaZlela.rum fu publicada en latILY. traducida al alemn por STACKEL y ENGEL en el t. XLIX de Math.
Ann,, pgs. 168-205 (1897).
( 2)
Cfr. STlCXEL: Die Entdeckung der Nchteuklidise~;.
Geom.strie durch J. Bolyai. Math. u. Natnrwissenschaf . . Berich.
AU$ Ungarn, t. XVII (1901 ) .
(') Cfr. .W. BOLYAI: Kurzer G.,-zmdriss Bines 'Vers11cha, etc.,
pg. 46 (Maros Vsrhely, J8fil ') .
~,,__
~>
'
~:r
~J:Cu
;-;.--:
.--:;:;,:~;;;;i~-:;_;(;~,,,~~--
iJ
~-s
"'
~~
. 1
;~
.
::t ,\
,f,
l'fj
;~
1~j
t
-~1'
J~
j
'
/':.:
BOLYAI (1775-1856)
,-_ ., ..........WOLFGANG
_;.,.
-
': 29;':i'.E7i; este captulo se ha mencionado ya .al geme~L~~g~~o W. BOLYAI, que se ocup de las para-
71
'.;f;
4~
72 .
GEOMETR1AS NO EUCLIDIANAS
"i
.1
f'
...
""B~----B,-....... ::: .
.;.
M"
Figura 31
-(i)'i~2~~~1"atio
ces se cortan en una sola lnea, completamente determinada por tres puntos.
Es intil seguir .el razonamiento con que WACHTER
trata de demostrar que la superficie de los cuatro puntos es una esfera, porque, faltando en su opsculo una
definicin precisa de aquella superficie, sus deducciones tienen solamente carcter .intuitivo.
Merece, en cambio, especial atencin un pasaje de
su carta de 1816, escrita despus de una conversacin
con GAUSS, en la que se haba hablado de -una geometra
antieucldea.
En e11ta carta, W ACHTER, refirindose a la superficie lmite de una esfera cuyo radio tiende al infinito,
que en la hiptesis eucldea se identifica con el plano,
afirma que sobre ella, aun en el caso de falsedad del
postulado V, sera vlida una geometra idntica a la
del plano ordinario.
La afirmacin e.s de la mayor importancia, porque
nos presenta uno de los ms notables resultados vlidos en el sistema geomtrico -correspondiente a la hiptesis saccheriana del ngulo agudo (cfr. L<>BATS-
73
~ -
\
( 1)
Para cuanto se refiere a W A.CHTER cfr. P. STACKEL: Fried.erich. Ltui'Wg WMh.ter, ein Beitrdge zu,. Guchichte der nicll.teuk/idi.schMI. Geom~trie; lliath. An11., t. LIV, pgs. 49-85 (1901). En
este articulo se exponen _las cartas de WACHTER sobre este
asunto y el opsculo de 1817 arriba citado,
_)
~~
J(:
~.? .
"":
.:'. ;.'-\
:i
4-
f::cf:
NJ ii
CAPTULO. III
LOS FUNDADORES DE LA GEOMETRfA NO
EUCLIDIANA
t'
.....>. .: . !
p--
~r'
N):~'i
t
~'''').'
_-;-;:... .-.
!,~
_{t
f
(
~~ ::.~-- -
~~2:
1}%
$~~i~ J
..
..
(1777-1855)
~ 31. Veinte siglos de intiles esfuerzos, y sealadamente las ltimas investigaciones infructuosas sobre
el postulado V, indujeron a muchos gemetras de principis del siglo pasado a la conviccin de que la organizacin definitiva de la teora de las paralelas constituye un problema irresoluble~ La escuela de Gottinga,
desd~ 1763, haba declarado oficialmente la necesidad
de someterse a la hiptesis eucldea, y esta idea, expresada por KLGEL en su Conatuum (cfr. pg. 62),
fu compartida y sostenida por su maestro A. G.
KAEsTNE&, entonces profesor en la Universidad de
Gottinga ( 1 ).
No obstante, el inters por nuestro asunto fu siempre vivo y, aun no dejando de fatigar intilmente a los
indagadores de la presunta demostracin del postulad-O,
gui finalmente al descubrimiento de los ntievos sistemas geomtricos, los cuales, fundados tambin en la
intuicin, se desarrollan en un campo ms vasto, haciendi>, caso omiso del principio contenido en el !)Ostu~
lado eudideo.
Toda la dificultad para penetrar en el nuevo orden
de ideas aparece manifiesta a quien, refirindose a
aquel . tiempo, reflexiona en las concepciones entonces
dominantes de la filosofa kantiana.
"f;
..;
a1
:.t
. ,. .. -.. q __ , ___
-~-- -~ :~tm
j
?I
-'. I
1
1
i
1
'~
-~
,
t
lf,
76 .
li,il::\flf~
~i~;f:L~
if1'.:'1~
'):~~
-~
-~-mrt
/:?
.:
,..
LOS FUNDADORES DE LA GEOMETRJA NO EUCLIDIANA
GEOMETRIAS NO EUCLIDIANAS
i'
,ftl;
'
.. ,
': ~
;~.
:~'\
77
deducen que no por intuicin genial el eminente gemetra reconoci fa existencia de una Geometra no
e1relidiana, lgicamente inatacable; sino que debi, al
contrario, de dedicarse a una larga y fatigosa ~ labor
antes de vencer al antiguo prejuicio.
Conoci GAuss en el primer perodo de sus investi
gaciones las obras de SACCHERI. y LAMBERT? Qu in
flujo ejercieron en su actividad? El profesor SEGRE,
en sus Conjeturas antes citadas (pg. 56 [1]), observa
que tanto GAUSS como BOLYAI, durante su es.t ancia en
Gottinga (el primero de 1795 al 98, el segundo de 1796
al 99), se ocuparon de las paralelas. Es, por consiguiente, posible que, por mediacin de KAESTNER y SEIFFER,
conocedores profundos ambos de este asunto, vinieran
en conocimiento de Euclides ab omni naevo vindicatus
y de la Theorie der ParaUellinien; pero los datos histricos que se poseen, sin minorar el valor de esta conjetura, no son suficientes para avalorarla _!!Ompletamente.
33. A este primer perodo de la obra gaussiana
sigue un segundo, despus de 1813, ilustrado principalmente por algunas cartas: unaeWACHTER (1816) ;
otras dirigidas a GERLIN (1819)' TAURINUS (1824) y
ScHUMACHER (1831), y por los apuntes encontrados
entre las cartas de' GAuss.
.,
Tales documentos nos muestran que GAUSS, en este
segundo perodo, vencida toda vacilacin, procedi al
desarrollo de los teoremas fundamentales de una nueya
~tra, que l llama priiero an_t~id'f,ana (cfr.
la carta de WACHTER..citada en la pg. 73); despus
Ge<nnetra ~t.i:a.l- (siguiendo a SCHWEIKART, cfr. pgna 81), y finalmente no ~g,;p, (cfr. carta a
ScHUMACHER). Llega as a adquirir la certeza de que
la Geometra no euclidiana no contiene en si misma
ninguna contradiccin, aunque a primera vista muchos
de sus resultados tengan un aire paradjico (carta a
SCHUMACHER, 12 de junio de 1831).
Sin embargo, GAUSS no dej traslucir nada de estas
ideas por la seguridad de no ser comprendido (tema
das Geschrei der Biiotier; carta a BESSEL, 27 de enero
1829); slo a algunos amigos ntimos confi algo de
sus investigaciones, y cuando por necesidad se -ve obligado a escribir a TAURI:t-.'US ( 1824), .le ruega qu~ guarde el silencio sobre las _!!Omunicaciones que le hace.
}I
'" I
~ :~
"'
'
,;
78
:'
. .
,~Hace . algunas semanas-,he,-,comenzado a escribir algunos resultados de mis medi~iones sobre este asunto,
que .s_e remontan. en .pa~;k\cuirnta aos, y de 1as
cti.ales nada haba . redactjiO.,vAI6::;;que me ha obligado
tr.es_.o .cuatro .veces a em~;.d 'nuevo toda la labor
en mi cabeza. No quisiera~ siii'.: embargo, que todo esto
pereciese conmigo.:i>
-!___i . .
'
Jj
GEOMETR1AS NO EUCLIDIANAS
"Y-
.N
.B
-, .
.,,_
Figura _82
:. .t:7
pmifu~;,,N.
:'.
..
. . DeJa-'definicin de paralela no resulta luego evidente la r.eciprocidad del paralelismo; es decir, que tambin
BN>
es -:ParaleJa a A M .Esta propiedad es objeto de
o~a elegante demostracin de GAUSS.
-f
79
~$+4~~<~1't*Zi?~~];~-~~~~1~
,-
: !
:
i_
r
.!'
:;(,
. 1
'll
~ il
1:'
.,
,
. i
~i
'
.-.7'
)'
.;
~ .t-.
~~.
80
la circunferencia; no es
una. circunferencia. . _ljiJ
tres . de. sus puntos. .-0
~%~ ' j
;=.: 1.r,.jf
~~.-:-;:',
'
".]!.'
circunferencm. Semejan
. te linea puede concebirse
como lmite de una cir1.
- :7 o .'curiferencia cuyo .radio
r .
ccart a:
r.k(} _;i).
'..
. - ?.i:j;:~~r~iw.~c:t)Il~~o~::
<j-.}:.~"'-~l\'e
. ::-.;;:,
~....
J>ii.aando ' ai
,~::- .. -'
... ~..:.
---
81
GEOMETBIAS NO EUCLIDIANAS
-e .
r.
. r3
~-2d(k +F,
+-;- )=
3.
5!
r2
r4
': -. 2ir( :;.1 +--+--+
... )
. - .. : .
k~31
lts!
limite, para k:= ~ se. obtiene: !!
?r .,.,
.:j;~~~~~~::i3i~i~~?iJ:~1y~;0'~sJ.;:?.::~i~;~~1@;:~4tr~:'
obse.rvacin puede e.xtenderse a todo el sistema descubierto por GAuss, sistema que,- para k = co, contiene,
como caso lmite, el de EUCLIDES.
FERNANDO CALOS SCHWEIKART (1780-1859)
. . 35. Contemporneas e indeJjendientes de las de
GAyss son las investigaciones del :Profesor de Jurispiudencia F. C. SCHWEIKART (1), que: en ' 1807 impri-
i;<
!.:
J~
(NOTICIA]
.
>b} que esta suma es tanto menor cuanto .myor
el rea deltringulo ;
.
..
.
>C) que la altura de. un tringulo rectngulo issceles,
. - aun creciendo cuando crecen los lados, sin embilrgo rio
puede superar a determinado segmento, que yo llamo
.~
es
. .. CoNSTANTE.
.. .
figura 35.
,: .
,~
'
./...._
(1) Estudi Derecho en la Universidad .de Marburgo y sigili de 1796 a 1798 las lecciones de Matemtic;s dadas en
aquella Universidad por el profesor J. K.. F,:-_HAID'F) antor de
varios escritos sobre las paralelas. Cfr. _Th. -~ ,p.,pg: 243'.;
2:
~
~!
11
GEOMETR!AS NO EUCLIDIANAS
82 .
la Geometra astral de manera de poder resolver cualquier cuestin, dada la constante de SCRWEIKART. Concluye determinando el limite superior del rea de un
tringulo bjo .la f9rma . ( 1 ) :
...!:;
~!
83
1tCC
{ log. hip. (1 + '\} 2) }2
SCHWEIKART no public sus investigaciones.
~1
~
Jl1
, i
h
(1794-1874)
~~
-~
~
Figura 85
..
O'
(i) La con!Jtante C que figura en esta expresin es la constante de ScHWEIXART, no aquelia que GAUSS denot con k Y
por medio de la cual expresa la longitud de la circunferencia
(c!r. pg. 80). Las dos constantes estn ligadas por la siguien-
te relacin: k=
e
+ .f2)
-Jo. (1
.,H
~
"
;
i'
il
.1
'
"1
J
-...
' f 1
>
:;. 1
~~ff
..i.1
'~
v~tl.-
~~i
[e~ ;
'
84.
-~
A este fin TAURINOS parte de la frmula fundamental de la Trigonometra esfrica:
~?f
\': .
~-~r
.'.
IS~>
g~~--- ;-}
~r
coa=
(i.'' .
"; -r,.-,
Ji:l/ 'i'
..
r-"
f- ~
"rt'-
[1]
., 1...1:.
,
+ sen k
cos k cos k
),1
:. U
LOS F UNDADO RES DE LA G EOM E T RtA NO EUCLIDIANA
'l'
,: ~~
-~.t.
.~f~'
r\J:-~-~
~f. -
f,~~:
-e
sen k cos a;
~f?~
~ ~-
'f.
(II)
,~t
~.~~....
~
;.
~~~-
comodidad del lector recordamos ~ definicin .analltica y las propiedades :fundamentales de las funcianu hip.r-
.,,.(I) : ? Ch
---~~~\' '.
c~e
Tb
- e-x
X=
c+e-x
xi ...
xi
-~+-+-+
.....
11
3!
. 51
:ti
iThx = tg (ix)
- i Cth :t = ctg (iz).
Estas ltimas permiten transtormar las :f6rmulu :fundamentales , de la goniometrla, en las correspondientes para laa funciones hiperblicas.. Las cuales son las siguientes:
x'
+ -=-+-+.
2!
.4!
Cth x = ex+e--x
tf&-e-x
~-
{ Sh x = sen (~);
(III)
Ch X= 008 (tz);
e x+e-x = 1
J:
-x
. bolicaa:
ri
'f
1 ix
.
tg x - - e -e-tz
i iex +e -ix , ctg x = i e ix
ix +e -tz
. ,
e -e-i.:z:
Sh
4!
rj
Notando luego que las :funciones circulares sen :z:, coa ii:,
tg :z: , son susceptibles tambin de una definicin analtica,
Y qe precisamente
:-
..
1( )2 + -l()'
+--
a -=l+- - .
Ch
k
21 k
(1) Para cuanto se refiere a la eventual influencia de SA.CCHERI y LAMBERT sobre TAURlNUS cfr. las Con;eturas de SEGRE,
citadas en Ja pg. 66.
Ch.!:_
k
k
k
---------- = - -----a
1 +Ch.!:_
Sh'
k
Pero
;'(, .
:iiY
88
Y. en .ella substituye el radio real k por el radio ima gi,~ario ik (donde i = '\f=l). La frmula obten'id~
por TAURINOS puede escribirse, mediante el uso-de las
fum;iones hiperblicas ( 2 ), en la siguiente forma:
. ~ _-:,:.
.....
t
'<
...
GEOMETRtAS N O EUCLIDIANA S
... -~1.
f
~~
,.,t
'
Ch.2 z-Sh'x= 1
~i~~~=~x~y~y~z
l Ch (x y) = Ch x Ch y Sb z Sh y.
.-
il
I;
J~
4
,; I
.Ki:
~.~;~:)
- --
-~.;:: .:;-';:" ~
'
d t>--,_ l
~" 1,>:r.-
86
t.
-~
LOS FUNIJ A DORES DE L A GEOll!ETRtA N O EVCLl DlANA
[2]
_. 1 ( a )
i. +- 21 -_
k
.
(*)
~ .
-~
~ , por fo
.e
d~l
f.
' -.
..
-~
-~
i-. l
'i '
'J .
.'1tl
1"'l
-- ~~l.
(A
\
~~
e -
.j
:1
l
Fia'ur "- 36
Ch
,_
1
1
=Vi'
1
:ICABT.
"-;c--37. La-segunda frmuia fundamental de la. trigonometra -esfrica
-
a\.?o
-"
2 '
a=O
Ch -k -= -
sen~
[3]
~ .
-
.\
87
1 ( a )
++
4! -k
cosa ==
1 (. )! 1 ( )
2+~ +~ +
21 k
4! k
- .
~~
'\..;...
OJ
.;
~
'
! -1~
~
o:
-;,f
~
~e
l ~ ~
<
GEOMJ!:TR1AS NO :EUCLIDIANAS
88
!i . t-~
~'
.i
.!
'
'ltp2
2r.k2(Ch-1),
,~
1(
89
Aadiremos que TAURINUS reconoci, como LAMBERT, que la Geometra esfijca corresponde enteramente al sistema v).ido en la hip. :ng. obtuso; adems,
que la Geometra ordinaria constituye un eslabn de
enlace ent re la <;}eometria esfrica y la Geometra lag.esfrica,.
En efecto, si el radio k varia de un modo continuo del
campo real al campo puramente imaginario, pasando
por el infinito, se pasa del sistema esfrico al sistema
l-Og.-esfrico, a travs del de EUCLIDES.
Aunque TAUIUNUS, como ya s e ha dicho, excluy la
posibilidad de una Geometrfa log.-esfrica, vlida en el
plano, no desconoce el inters terico que puede ofrecer, y, reclamando sobre sus frmulas la atencin de
los gemetras, parece prever la existencia de algn
ca.so concreto en el cual encuentre una interpretacin (1).
';I
1
~
~1
_J
r)
r -Ch
r ---
41tk8- S h
2
k
k
k
No nos detendremos en los correspondientes desarrollos analiticos, porque nada aadiran para aclarar el
mtodo. Notemos ahora que los resultados de TA'UlllNUS confirman la previsin de LAMBERT respecto a su
tercero hiptesis (cfr. pg. 59), ya que las frmulas de
la Geometra log.-esfrica, analticamente interpretadas, dan las relaciones fundamentales entre los elementos. de un tringulo trazado sobre una esfera de radio
imaginario (1).
(1) En eate momento conviene observar qne L.uDizrr, Bimul,. t:iieamente a las investigaciones sobre laa paralelas, u ha
ocupado de las !unciones trigonomtricas con argul!lento imagi:Dario, cuyo enlace con la Geometra no euclidiana fu6 puesto
eJ-,:~dencia por TAURINUS. Pudiera oeurrir que L.illBJ!:a'r hubiese' reconocido que las f6rmulaa . de la trigonometrla .:e.f6riea
conservan una forma. real aun mdando eu ella.s el radio real
por el radio imaginario puro. Con esto la previsi6n-de LAll!ERT,
relatSTB a la 1t.ip. ng. a.{TIUiQ (cfr. pg. 61) tendrlaun fundameiitO':inlHacutible. Nada, sin embargo, nos autorfi:li. 'para cree:r
que}~ ..habia efectivamente reiacionado sua.~ il,tvel!tigacio
:ieiJ,<Bobj:e , las funciones trigonomtricas con- la teor11' -de las
pariil~i. dr. P. STlCKEL: Bemerkungen zu UimberlB Theorie
der' PM<ilUUiftie,.._ - Bibliotheca Math~ pgs. 107-110 (1899).
-~
_.
ia
t4
( 1)
La importancia de ScHWEIXART y TAURINUS, en el descubrimiento de la Geometria no euclidiana, fu realzada y puesta
de relie>e por STACKEL y ENCEL, que en la Th. d11r P. les dedicaron un capitulo entero (pgs. 281-286), exponiendo los pasajes
ms importantes de las obras de TAUJUNUB y algunas cartas entre ste, GAUSB y SCBWEIXAR'l'~ .
Vase, adems, el articulo de STlCKEL sobre Frrmz Adolph
Taurinus, Abhandlungen Z. Geshichte d. Math., t. IX, pginas
397-427 (1899).
~~lft:::.~~.:i~'::.'''":<'t~~-:'.\oi~J.~-~";-~~?il~t;tl;~u-~%t~~-~-
4~
-~
CAP1TULO IV
"
LOS FUNDADORES DE LA GEOMETR1A NO
EUCLIDIANA
( Ccmtinua.cWn)
NICOLS IVANOVICH LOBATSCHEFSKI
"'1
:::--
~:E
;e
~; ~.
"f-~i
'
; ~K,.
11
;f ''
~~~1:
1!1;_,..,'.
r~~
...'.~.. .. ,.'
~
:
~t.~5 .
-~~':.
/.
.
~-
~\
~:
':~~ ~
et ...
.:~
;:~~
./!
-~
.t-
:... ~~
~ .,_
~-
.-.~-...;
-~~~~--:--~':'.l';;~~~~{:;:'t':~~t~~tf.1;1 _
"
-~
J
m~::_l:
.~J
(1793-1856) (1)
~J
.l
~_,;
0f.r,
9~
~P. ~M- b
GEOMETRtAS NO EUCLlDIANAS
'i:
~.
t
X
;:
.I
40. La Geometra no euclidiana, la misma concebida por GAUSS y SCHWEIKART alrededor de 1815, estudiada por TAURINUS bajo forma de un sistema abstracto en 1826, entraba en 1829-80 a formar parte del
pblico patrimonio cientfico.
Para exponer del modo ms rpido el mtodo seguido
por LoBATSCHEFSKI en la construccin de la Geometr ia
imaginaria o Pangeometra, refirmonos a sus Investigaciones geomtricas sobre la teora de las paralelas, de 1840.
En ellas LoBATSCHEFSKI, despus de haber . est ablecido un grupo de teoremas indeperidientes de la teora
de las paralelas, considera sobre el plano un
haz de centro A y una
recta B C que no pertenece a l. Sea. A D la
recta del haz perpendicular a B C y A E la
recta perpendicular a _
a
A D. Esta recta, en el
e
D
sistema eucldeo, es la
F:igur.. 37
nica que no corta a
B C. En la geometra de
LoBATSCHEFSKI exjsten en el haz A otras rectas no
secantes a B C; las no secan-ts estn separadas de las
secantes por dos rectas, h y k, que a su vez no encuentran a B C (cfr. SACCHERI, pg. 53).
Estas rectas, que el autor llama paralelas, tienen
cada una un determinado sentido de paralelismo: la h
de nuestra figura corresponde al lado derecho; la k,
al lado izquierdo. El ngulo formado por la perpendicular AD con una de las paralelas es .el ngulo de para-lelistno correspondiente a la distancia A D. LoB b..TSCHEFSKI usa el smbolo Il (a) para denotar el ngulo
de paralelismo correspondiente 3. la distancia a. En la
Geometra ordinaria se tiene constantemente: Il (a)
== 90 ~n la de LoBATSCHEFSKI Il (a) es una funcin
bien determinada de a. que tiende a 90 cuando a tiende a cero, que tiende a cero cuando a tiende al infinito.
De la definicin de las paralelas el autor deduce
despus sus principales propiedades, esto es, la conservacin, la reciprocidad, _la tratuJitividad del carcter
;J
> j
Y;~
-~..1
~
1
1
~<C:
l
( 1)
' : \;
9S
~-~
1
j
...
,-i
....
fil:~Wr?~i~G]~~t11~.
1
-.!
~J~'.
1''
1 ,.
98
GEOMETR1AS NO EUCLIDIANA:>
:: '
+.42.
tesimales), .a. las frmulas de la trigop.ometra imai}ionariG ;pueden substituirse, .en menos de. infinitsimos
d 6rdenes superiores al segundo, las frmulas trigonomtricas-ordinarias.
o) La.. substitucin de los lados a, b, e en lados puramente imaginarios ia, ib, ic convierte las frmulas
de ' la trigonometra imaginaria en las frmulas de la
trigonometra esfrica ( 1 ) .
d) Estableciendo en el plano y en el espacio un sistema de coordenadas semejante al cartesiano ordinario,
es posible, con los mtodos de la Geometra analtica,
calcular las longitudes de las lneas, las reas de laa
superficies y los volmenes de los slidos.
~
9 43. Cmo LoBATSCHEFSKI se vi llevado a ocuparse de las paralelas y a descubrir la Geometra imaginaria?
Se dice que BARTELS, maestro de LoBATSCHEFSKI en
Kazn, estaba. unido por la amistad con GAuss (pgina 91) ; si ahora se aade que aqul pas en Brunswick; con. GAUSS, los dos aos que precedieron a su eleccin .en KaZn (U~07) y que mantiene despus con GAuss
una relacin epistolar, se presenta .spontnea la hiptesis de que ste no sea ajeno a las nvestigaciones de
LoBATSCHEFSKI;
Ya hemos visto que GAuss, antes de 1807. habia intentad(, resolver la cuestin.de las paralelas y que sus
.' ' es-fue~s )lasta aquella poca: no haban dado
fruto
.-@.e'la>speranza de superar. los escollos en que haban
- ~peZa<Io sus investigaciones~ Por . consiguiente, todo
-10~:qe BAfil'ELS pudo haber aprendido de ,_GAUSS antes
d~~:18Q7 . se reducira a algn resutado negatiyo. En lo
q1le\&e:;refiere a las posteriores ideas de GAuss~ parece
s~:-qu BA&TELS n tuviese cnocifuiento de ellas,
de:'~odo:que debemos suponer que LoBATSCHEFSKI cre
mas
_ ~----:~~~~~~:~~;
. .~ -
.~:
-~t~~J!'.-:~~~~~--'-<~,~~~/f:~~.J~3~~4~A~~
~
~
~11
.~
,,~-
;~
l~
1~
')~
' ~%~
r-::~;,~
1
i ,:;.
.J
1
1
1
1 .'
., .
.~:
'.;_
i \li
9"/,
~1
C1) Cfr. F. ENGBL, ob. citad.e. en. Ja-. pg; 91; , Zweiter Teilc
Loba.tirehef8kij Le ben und Schrifte11:~- C!lp. VI,pags. 373-383.
~
(') Cfr. las ConjeturaB de SEGRx, , citadas .~ la pg. 60.
(') Pgina 67 de la .citda obra de ENGEL.
(') Cir, el discurso de A. VASILIF.V sobre L-0BATSCHUSKI .(Ka:un, -1893).-Trad. alemana de EN GEL, Zcits. f. Math. u. Phy .,
t. XI, pgs. 205-44. { 1895 ) .
'
''>.,,.
<-
98
GEOMETRJAS NO EUCLID;A.NAS
-~
,,
5';
Bea
99
Figura 39
"
45. Para establecer algo acerca de la constante k,
contenida implcitamente en las frmulas de LoBATSCHEFSKI y explcitamente en las de TAURINUS, es necesario aplicar la nueva trigonometra a algn caso
prctico. A P.Ste fin, LoBATSCHEFSKI se sirve de un
tringulo rectngulo, A B C, en el.., cual el lado B C = a
es el 'dimetro de la rbita terrestre y A una estrella
fija en direccin perpendicular a B C. Indiquemos con
2p la paralaje mxima de la estrena_:A. Tendremos:
.........
't
tar
de donde
tg
!n
(a)
:> tg ( -~
-P
= ' 1-tgp
1 + tg P
Pero
1
tg 2
~i:'
-(a.) =e
-~
( 1)
,7:
BATTAGLIJ";! ,
1 '
'
~ "\
100
GEOME1'Ii1AS NO EUCLIDIANAS
luego
~
ek
<
- ak = log
I+tgp
(
1-tgp = 2 tg p
<
+ -3l
, tenemos:
tgl p
+ _5l.o igs p + .. .) .
Adems, siendo
tg 2p
-~
= 1 ~~; p
A la misma conclusin podramos llegar considerando la cuestin por el lado de la suma de los ngulos de
un tringulo. La.s observaciones astronmicas indican
que ia deficiencia el.e un tringulo, con lados casi iguales a la distancia de la tierra al sol, no _pede ser superior a 0",0003. Ahora, si en lugar de un tringulo
astronmico considersemos un tringulo terrestre, con
los ngulos accesibles a las medidas directas, en virtud
.del principio de proporcionalidad entre el rea y la deficiencia, la eventual deficiencia de tal tringulo entrara;'necesariamente en los lmites de los errores experimentales; as que, experimentalmente, podremos suponer que la deficiencia en cuestin sea nula, y, por
consiguiente, sea vlido en el campo experimental el
postul.ado eucldeo (1).
+ tgp
1-tgp
Ahora, en la hiptesis p
= 2 ( tg p + tg3 p
ser finalmente
a
JUAN
T <tg2p.
"
Substituyendo, con LoBATSCHEFSKI, 2 p por la paralaje de Sirio, que es de 1",24, y efectuando los clculos,
se obtiene:
; < 0,000006012.
Este resultado no nos permite fijar un valor a k,
sino asegurar que es muy grande respecto al dimetro
terrestre. Se podra repetir el clculo con paralajes
mucho menores, por ejemplo, de O",l, encontrando a k
mayor en un milln de veces al dimetro de la rbita
terrestre.
Para que en el espacio fsico fuese vlida la Geometra eucldea, . y por consiguiente el poirtuladc V,
debeda ser ',k fufinito, o lo que es lo mismo, deberan
exiStii. estrellas con paralajes tan pequeas como se
qiera:
,Ahora, una resP'Uesta a la ltima cuestin se comprende que no podremos darla nunca, puesto que las
obsivaciones :astronmicas sern siempre limitadas.
Sea"'c!omo quiera, dada la enorme magnitud de k respcto. a las lneas directamente medibles, deberemos,
con LOBTSCREFsKI, suponer vlida n el campo experimental la hipotesis eucldea.
..~~~~~
~ ; ---:: ..._
\f-~,:;:~~~~~:iJ=~~~~-~
101
,,.
BOLYAI (1802-1860)
r :Ij
" !
~.
'l
.; 1
'-'
11
' 1
~I
-~
!i
rn
.
~i
.!
!!
1
;
~ ~:;
i
l{)f
GEOMETRtAS NO EUCLIDIANAS
JUAN BOLYAI se propone entonces construir una teora absoluta del espacio, siguiendo el mtodo clsico. de
los griegos, esto es, aplicando el mtodo deductivo,
pero sin decidir a p-rf,ori sobre la validez o no validez
del postulado V.
-'{V:
.~~
~
,.
A
Figura 40
"
.
llamaba a esta paralela con el nombre de paralela asnt6tica. o asntota (cfr. SACCHERI). En las converscionea de los dos amigos se presentaron el concepto de
lnea de equidistancia de una recta; el otro importan. tiaimo de ']J<Lraciclo (oriciclo de LoBATSCHEFSKI)' y se
reconoci que se habra obtenido la demostracin del
azioma XI si se pudiese establecer que el -paraciclo es
una recta.
.Habiendo SZSZ abandonado Viena a principios de
1821, para encargarse de la ensefian:za del Derecho en
!"Co1egio de Nagy-Enyed (Hungra), JUAN queda solo
proseguir en sus especlaciones. Hasta el ao
'182Qt estuvo dominado por la idea de encontrar una
demStfacin al axioma XI, siguiendo un camino, anfogo-:l3de' SACCHERI Y-LAMBERT. Bien pronto cree haber
1ali'Seiido-su objeto, como se deduce de 'la correJpon~den~a.:con. su padre.
1J.E1?reon0cimiento de los errores cometidos fu 'para
J\ii!etpaio decisivo hacia los futuros descubrimientos,
~rqpe;)<:9ntene en <que no necesita ;hacer p.inguna
violenci&>'a la-Naturaleza ni modelrla C<iri:forme alguna
qinera;~ciegniente formada, sino que se debe, en cambfo~~:ji_~~"unfPiodo razonable y natural, ni:irar la Naturaleza':inisma/con Ja verdad y contentarse -con la repre-serit3:cifui~"meiios imperfecta posible:i>.
~~
"
(~
103
para.
{':t.-r.
:>
-. ~
"
_..:_
k
= tg - 2
II (a) ,
que liga el ngulo de paralelismo II (a) al correspondiente segmento (cfr. LoBATSCHEFSKI, pg. 96) , relacin que es la clave de toda la trigonometra no euclidiana. Para destacar los descubrimientos de JUAN en
este perodo, copiemos un trozo de la carta que escribi,
desde Temesvar, a su padre el 3 de noviembre de 1823.
<Estoy decidido ahora a publicar una obra sobre la
teora de las paralelas, apenas haya ordenado la materia y las circunstancias me lo permitan. No lo he hecho
todava; pero el camino que he seguido ha ciertamente,
por decirlo as, casi alcanzado el propsito; el propsito
propio no est alcanzado; pero he.. descubierto cosas tan
hermosas, que me he quedado sorprendido con eJJas y
se debera lamentar por siempre que se hubiesen perdido. Cuando las veis, lo reconoceris vos mismo. Entre
tanto no os puedo decir ms que esto: He crea.do -de la
nad{!, un nuevo universo. Todo lo que "s' he comunicado
hasta ahora no es ms que un palacio' de papel frente
a esta torre. Estoy tan persuadido'd que esto me dar
gloria, como si -hubiese ya acaecido;>
WOLFGANG expres el deseo de acoger inmediatamente en el Tentamen -1a teora de su hijo, porque <Si la
cosa est realmente conseguida, es conveniente apresurarse a darla a la iuz pblica por dos motivos: primero, porque las ideas pasan fcilmente de_uno a otro,
que puede anticiparse a publicadas; en segundo lugar,
porque hay tambin algo de verdad en esto, que muchas
cosas tienen una poca, en la cual son descubiertas al
mismo tiempo en ms lugares, precisamente como en
primavera brotan las violetas en todas partes; y puesto
que toda lucha cientfica es ~6-lo una gran guerra, a la
__.,,_,,~i~~?:F~~t,:~~'i'\~''--:-'5'-~-.~
11!
l! ."I
l
:-i
l -1
1 \~
\.1
~
:
J .:J'
>.
1 "1
'. I
1
~!
:1
'. l
' 1
11-l
1
":
, 1
!l
:::-4
104
'j~~
_
WOLFGANG BOLYAI est.aba acaso ' bien lejos de suponer que su presentimiento . correspondiese a un llech o
real~ esto es, al simultneo descubrimiento de la Geometra no euclidiana por obra de GAuss, TAURINUS y
LoBATSCHEFSKI.
.-
su
. .
dix scientiam spatii absolute veram exhibens: a veritate aut f alsitate Axiomatis XI. Euclide-i, a priori haud
unquam decidenda, independentem: adfecta ad casum
f alsitatis quadratura ciruli geometrica (1).
El apndice fu en"\7ado por primera vez (junio 1831)
a GAUSS, sin que llegase a su destino, y por segunda
vez en enero de 1832. Seis semanas despus (6 marzo, 1832) GAUSS responda as a WOLFGANG:
<Si empiezo diciendo que no puedo el-Ogiar este trabajo (de JUAN), t quedars, ciertamente, por un instante mara"\7llado; pero no puedo decir. otra cosa; alabarlo seria alabarme a mi mismo; En_ efecto, .todo .el
contenido de la obra, el camino trazado por tu hijo, los
resultados a que lleg coinciden . casi . enteramente .con
mis meditaciones, que han ocupado- ,en :parte mi mente
~e treinta a treint.a y cinc,o. .aos a. esta; pal-te~ .As, me
:qued completamente .estu~facto. En_~lant a mi tra~a.,jo .personal, del cual, -hasta aqu; he confiado bien
i)Q al papel, era mi intencin no ,dejar que se publicase .nada durante mi vida. Eri efect9/ -la . mayor parte
. de
..Jos hombres no . tienen ideas clrS . sobre . las cues'
(1
j~
'~,
~J!j
-~
;-1 -
;:-.~I~.;
. ..
~-
~.;~
:i?..
~!
-~
-11
-~Y8=
;)
t1i
_,,
1
'
.J
.~
~
1~
ji
. ~
li
~
l,
'
...
~ 48.
He aqu U:na indicain de los ms importantes resultados contenidos en Ja obra de JUAN BOLYAI:
a) Definicin de .las paralelas y sus' propiedades independientes del postulado eucldeo.
b) Crculo y esfera de radio infinito. La Geometra
sobre la esfera de radio infinto es idntica a Ja Geometra plana ordinaria.
e) La trigonometra esfrica es independiente del
postulado de EUCLIDES. Demostracin directa de las
frmulas.
d) Trigonometra plana en el caso no eucldeo. Aplicaciones al clculo de las reas y de los volmenes.
"" :i:
11"
.-'-...:~ ......:
1. 05
..:~~1~~1ff~~W~irt~~- .
_,;
~i
106
GEOMETRtAS NO EUCLIDIANAS
}i
-i;~~
i'.' <7
::~:;
,.;.
;~--
~<
'~;,
.
~;
!~
~
.ii3
.~"~'
'i
..:,,,, .
\;';
~
,. ..:: .
.
1
.I.J..-~
.~.~
:: J
-~}j~~
l;i
. : ~{
":C
:
{~.1
~ 1 ~.t;;
.:.~:.
'~9::
Figura. U
"{ft~~!f,~--~~:~~.;;,\;,..~~'~:~.:,~~~~::&f:~~i "i~.;-.'<
tando por
~)
1
.
107
un determinado sentido a BB'; despus, por A, imaginese descrita la orisfera (event-.ialmente plana) que
corta ortogonalmente las rectas A.A', .BB' y CC' respectivamente en los puntos A, M y N~ Si se. llaman a:, b', e'
los lados del tringulo rectngulo risfrico A M N, en
virtud de cuanto en otra parte se dijo[por ,ejemplo, en
el 48 (b) ], se tendr:
sen AM N = b':c'.
Pe~ sobre la orisfera, dos areosde oriciclo estn entre si como las circunferencias: que tienen por radios
(oricclicos) aquellos arcos, asi. que; ~ indicando con
cirf. x' la circunferencia de radio oricfolico x', se podr
escribir:
sen A MN cirf. b' :cirf. e'.
Por otra parte, una circunferencia trazada sobre la
orisfera con radio oricclico x' puede mirarse como una
circunferencia ordinaria, cuyo radio rectilneo x sea la
mitad de la cuerda del arco oriciclico 2x'. Asi que, deno-
~.J
il
g~
B'
~1
1\
.,
'
il'l
1
1
sen
ABq=
Q
""
b:
MN
son
c.
De la propiedad del tringulo rectngulo A B C, expresada en esta igualdad, se puede deducir el enunciado
teorema de BOLYAI, del mismo modo que de la relacin
eucldea
.,....:.
sen AB C = b:c
se deduce la proporcionaiidad entre los lados de un
tringulo y los senos de los ngulos opue8tos (Appendix, 25).
El teorema de BOLYAI se expresa luego brevemente
as:
[1]
a:
b:
c=sena:sen~:sen.
;.1
x.=2-;i:x;
y substituyendo en [l],
.~tff~t;~P:-<~-Tt'-;,' .."-~~::.
lj
'1
\ j~.-~
(\
r~ :;.~
~-
108
a: b : c =sen o::
[1']
sen~:
sen.
..
~
z~
-k
z.
A
Qx='ltk ( e - e
'i.'W:
.:~~~:
=2;;kSh k'
~
.'}.L.
\.;_.
:;~:~
GEOMETR!AS NO EUCLIDIANAS
~~~
a
b
e
Sh: Shk: Sh =sen ex: sen~ : sen.
:~~
"-~
~
-:-::;'....
-'
~~~
'~~j
-~t:'.
~~;
~<- .
:e
~;
"":..;._,
~~:_,
~
t
:::-1.~
.t_ .
~.:_::-l
_,:';:
M
--~-~.';
.J_:).7
-~":.?;
:..;t.t,_
.A
B
Flure 42
. :,~~ll
--~~
).-.~~!'~.J
. :J-5:
109
51.
\~-l~
!$~
~~-~
.fJ
-~ti
flp
J:' ~j
I *~
~-~
l.:'
""
~~
.!
i;
;;;~
.il
~
-;,~
'Si
:J
He aqu rpidamente cmo BoLYAI demuestra esta proposicin. Las circunferencias Q A By Q .. E D, engendradas por
los puntos B y D en sus rotaciones alrededor . de la recta A E.
pueden considerarse como pertenecientes la primera al plano
perpendicular en A al eje A E, la segunda a una superficie equidistante de este plano. La equidistancia entre superficie y plano
est dada por el segmento d = B D. La relacin entre las dos
circunferencias en cuestin resulta por esto funcin solamente
de d. Esta relacin puede tambin expresarse recurriendo al teorema de BoLYAI ( 49), el cual, aplicado a los dos tringulos
rectngulos AD E y AD B, conduce a la relacin:
( 1)
.
l;:_
.l
~.,
1-
:?~,
..
>
'
~?~:"::::-";';'.'"::;'~'~'
1 ,
.'1)
110
6.
{J)
~ll
( 1) La .solucin de
ms complicada.
BOLYAI f .4.ppendi:z:,
1
=--'lt'=45.
..
:~
:I ;11
1! -~
' ' ft
7:
11
-;:
!!
1 ~
1
. -;:
il ;
Q.
. i'a!'J
j ,.
z,~
1~
l. _,.
~:~4
\'[~
'-":]
]
l,,i
Figura 44
:~,
,i~-
.. ,
Al~
'
.'g~:
~J
-~~
,_7.4{"
:.~-:e
! ~
-. ~
lt
(,)
~ie'
;~
i \~
l >.C4
'T
_______ A
.; f
:{J
i!
.>.
,,;
o tambin
!'
:'
H!i
11
k2(;;-A-"B-f,
,~
~!
C'
= k2-;:;.
Figura 43
.~
111
Ch k
,;I
~,
Si ahora se construyen, segn el 51, los dos segmentos b', e', correspondientes a los ngulos de pa:rale-
'
.~
..
=-1
sen II (x )
'
:~.
~~~(_:--~:~.-~?~J~f?~-1:JS~4.t~~rffr~~~'.-:~~:s~::' : _::~~,,~i:<:J-~=r~~:s~~-,.~-~-~~~~~i
'.~~~~Jffi~~~{~f0~-?7~~~?..;
-,::.1
";S l
-~1
..::.i
_<fil
~-~
..,,._
..
GEOMETRtAS NO EUCLIDIANAS
11t.
Ch
~- .
::: Ch
t..i
' 1
. :!
entre los tres segmentos a,, .b' y e' subsistir la. relacin
Ch
113
:~~
B'
A'
primero e hipotenusa el segundo de un tringulo rectngulo, el otro cateto a' de este tringul9, en virtud de
\;
b'
e'
21tk2 (ch
A AB
~~
~
~),
,/"-
--. ~~
1}
se tiene:
ctg
~)
:q.
!-}
;~1~...- 1.
--~
-~~
~~
:(~
C hk- - 1
tg
p~. 95):
r
<>k
1 ( .r ) .
=tg2II.2.
..
......;
:,.~.
--~t~~z
<~
ctg a:_ctgn(
+1
~)
tg II ( ; )
:-~~
~~~1
~- ~-
ctg Gt
tgZ
.".:~
'
n(-]--)
Utilizando las frmulas trigonomtricas en el tringulo A B C es fcil eliminar et del ltimo miembro de
la precedent~ relacin, y obtener as ( 1)
2
. ~
r \ 2
r
<Jk
- '>k)
=.,- S h2k
' - =\'e- - e
-
( r )
corres-
,/"-
== B BA == Il "2 .
.J!
fjr
46
Figura
,..~
ctg
rr ( ~) ctg a
= Ch
~;~
":: .lo<
--~~
-!-
- --
< .~- :.
~
"..t..;. ~:-
. ~.-.-"":..
--~--..._
_.l
'ti
-:~
114
GEOMETR1AS NO EUCLIDIANAS
e ,.
J J f.
Axioma XI. Ew;lidis 'Verum, aut quadratura circuli geometrica; etsi hucusque indecisum-manserit, quodnam ex
his duobus revera -locum habeat.>
La indecisin asi formulada le-parece en aquella poca (1831) irresoluble, puesto que cierra su trabajo con
estas palabras: cSuperesset denique (ut res omni numero absolvatur), impossibilitatem (absque supposit ione
aliqua) decidencli, num l [!iistema eucldeo] aut aliquod
(et quodnam) S [sistema no eticlideo] sit, demonstrare: quod tamen occasioni magis indonae reservatur.>
JU..L'l, sin embargo, 110 public nunca tal demostracin.
Esta frmula, demostrada por otro camino por BoLYAI Appemlix, 43), permite asociar a todo crculo
un determinado ngulo z. Si fuese z = 4 , entonces se
tendra:
&,;--k2
t
~-:"
de la ctull, aiendo
r + 1 = 2 ctg' I1 {- 2r) + I,
Ch-= 2Sh'k
2k
se deduce:
+ I,
1 por tanto:
ctg a -
ctg l1 ( ; )
...-
-:;..;,.:~.
-;:
. /';~:.
'_;:-.:e
las
'"
)'
tg' II ( ; )-
Eatas dor; relaciones permiten escribir la expreaiu di! t&" ..- del
modo exiido.
-:,:..~~
115
r,
~r k2 tg~ ~
-~-,..
(!) Con este nombre BOLYM parece indicar aquellas superficies que, en .cuanto a la movilidad sobre si mismas, se comportan
como el plano.
,,
~~~~:~~~j~~i;~~~f~:~?}:~0~;;.:~~1~f~~~~~~~~::;~~;;fy~~
-1
,JJ
116
~e
GEOMETRtAS NO EUCLIDIANAS
El P.E:gundo problema, el relativo a la indemostrabilidad del axioma XI, BoLYAI .no acierta. a resolverlo, ni- a
formaree una exacta conviccin acerca . de l. Durante
un cierto tiempo crey que n o se podra de ningn modo decidir, entre el caso eudideo y el no eucldeo, cul
fuese el verdadero, apoyndose, como antes LoBATSCHEFSKI, en el valor analtico de la nueva trigonometra. Despus se verific en JUAN un retorne a las antiguas ideas, seguido de una nueva tentativa para demostrar el axioma XI. En esta ;tentativa aplica las frmulas
no eucldeas a un sistem de cinco puntos completamente independientes. Entre las distancias de estos puntos
existe necesariamente una relacin; ahora bien: por un
error de clculo, JUAN no encontr esta relacin, y durante cierto tiempo crey haber as demostrado la-falsedad de la hiptesis no eucldea y la absoluta verdad
del axioma XI (1).
Despus, sin embargo, advierte el error; pero no
marcha segn esta direccin en ulteriores investigaciones, porque el mtodo aplicado a un sistema de seis o
-;J ma puntos le hubiera conducido a clculos demasiado
largos.
El tercer problema arriba indicado, relativo al tetraedro, es de indole puramente geomtrica. Las soluciones
de BOLYAI fueron encontradas y dadas a conocer recientemente por STACKEL (cfr. nota [1]). Del mismo
problma se haba ocupado extensamente LoBATSCHEFSKI .a fines .de J829 ( 2 ), y GAUSS, en la carta en parte
referida en la pg. 104, se lo propona a JUAN.
Aadiremos, en. fin, que J. BOLYAI, al conocer (1848)
las Geometrisclie Untersuchungeri, de LoBATSCHEFSKI, se
ocup de ella con i~tencin tica (3), y que, para su(1) He aqui'~l' ttuio -d~l ~abajo en que. JUAN se prop-0nia exponer esta dem:Ostracin :: B eweii de& bis nun auf Mr ErtU immer
. iwelt.;'.:noeifel.aft- . /61Dn9'1C611., . wsltb~mtim u.nd, ali. der geSlllftm.tm -Raum--1tnd, BewegUAtgeleh.re zum Gru-iu ~61&d, auch
i11. cZM. Tkt a1lerhiich8twich.tigst61t 11. -Euklidisch.&n A~. Von
J. Bolyai; 00n Bolya, k: k. Gh.ia-Sta.bshau.ptmann in Ptmaion.
Vase a e ste propsito el trabajo de P. STACKEL: Unter811.Chu.nge11.
cuu '<ler Absolut- Geometrie .au. J ohcnn Bolya~?s N ackla.ss. Math.
n. Naturw; Berichte aus Ungarn, t. XXIII, pgs. 280-307 (1902).
A este trabajo nos remitimos para todo el contenido del 55.
(') Vanse pg. 53 y siguientes de la obra citada en la pg. 91.
(') Cfr. P. STACKEL. und J. KURSCHX: Johann Bol11ai'a Be
mn-k\4ngen. .ueber N. Lobauckewskij'3 Geometmche Unt"s1U:hu.n.flBa ZKr Theom !Ur ParaUeUinien. Math. u. Naturw . .Berlcht& aus
Unprn, t; XVIII, pgs. 250-279 (1902) .
.~.'
~-
'.~
,
"
'
:{
-~
;Jf.
.;~
-J~
~
~
:~1A:
- .~
:~
'}
-~
. ~:;f
1-1
:;;.~'
- ],~.
\'~;
11
~~
( 1)
Cf:r. P. STlCXEL: Johann Bolyc.~s ,Rau.mlekre, Math. u .
Natunv. Bericll.te''aui! Ungarn, t. XIX (1908).
( 1)
Mmoires couronns et autres Mmoires de la Real Academia de Blgica, t. XXI (1870). Vase tamhin. del mismo autor:
EHai aur lu prineipes fandamentauz cie .la <Momtrie et de la
Mlca11,iqt1. 'Mm. .de la Socit des Sciences de .Bordeaux, t . IIL
premier Cahier (1878).
..,.
.c.---;;f
_;.,,. _::-~~~
: ~~~-::w..;~.i~:"Z;.~~W::r'!.~F!~~~~;~;Zl'~~~r.~:.~~.:::. :::"::.:: -
-: ..
-t:~~.'!,
.---:: ~~~-.~-~~,.~~~:-:\:~
tj
~!<
fy
1
j
fil
j
1
1
s.
j1:1
.,:J
~
1
~
J.
~j
,i
-~
l
-~r
:1
~
it
::
~
:~.:;...,.~,.
,, . ..
!'.~
~~~
~j::;.~
...-......
~-
.j
.:~~
~~
117
-..:-. - '"
. _,_.
l'
.,:_
118
GEOMETR!AS NO EUCLIDIANAS
~~
~'1
~
.;;-
,, ~.;;
:'.
--i.~:;
~f!
;~-r.
.~~
~
~~
51. Veamos ahora cmo de las relaciones del prrafo precedente pueden deducirse las de la Geometra
eucldea. y de la no eucldea.
Caso eucldeo. -- La equidistante l es una recta (por
tanto, Ex= 1), las drcunferehcias son proporcionales
a los radios. Entonces las [1] se convierten en
.;t,,,
: ~:.,
r'
.._,
-)_
'
-~
Figura 46
I?.
-~
[1]
Oa=O
ji
e sen a
cos a
= Ea
.:_.t
sen ~
cos ~ = Eb sen a
-~--~
-~~~
Ec =Ea Eb
t~
Ec) + Q
(1']
esto ei!,
cos a = sen
. [i
+ Ec Ea)=
cos p =sen a,
~.
Q2a
[5J
Q2b
E 2 a-1 - E2b-1
Si despus aplicamos la primera de las [2] a un
tringulo rectngulo con el vrtice A tendiendo al infinito, y, por tanto, a: tendiendo a cero, tendremos:
lim cos a: = lim (Ea sen p).
Pero Ea es independiente de a:; el ngulo p, en el lmite, deviene el ngulo de paralelismo correspondiente
a a, esto es, II ( i:i). Tendremos entonces:
: ......
1
Ea - sen rr (a)
.~i~
. :-f.
2b (Eb
Ja= e sen a,
l b =e sen~;
[2']
a:+ p = 90;
en fin, la [3] se reduce a una identidad.
Las [1'], [2'] comprenden toda la trigonometr a ordinaria.
Caso no eucldeo. - Combinando entre a las [1 ] y
las c2 se obtiene:
sen~
[2] {
:11
Qb=Q
[3]
:.t?
119
.1
-~
~.!"
= Q 2c
(Ec
+Ea Eb).
PITGORAS
: :~.~
Q2a
,.">
'
ctg2 II (a)
-~1-
.-:~~
:-;,.,
-~~!(~
Q2b
$
~
f.
.1
ctg2 II (b)
ti
de done
-~;-~~~~
'~:;
ctg2
~;~!-
.
.:;{~
';.~
rr
(a)
ctg2 II (b )
~ '
.:s::~
.f
0d
;:fl
-:;,_
__..
e?.->
' ".::.;.
;;
oe:-s;,' '
'!
'' .
..;
GEOMETRIAS NO EUCLIDIANAS
120
Esta relacin, unida a la expresin de Ex, nos permiobtener de las [1], (2] y [3] las frmulas de la trigonometra, de LoBATSCHEFSKI-BOLYAI.
te .~pletamente
(1"]
[2"]
[3"]
t g - II(x) =e
--;-
}
.,
~
~
.
.
;~~!~
-~
:~.::.::
~f~
j}
~t~
;.\?,~
-w'~
>
={
-.\
.il
:~;
nes hipt:rblicas de x. Se obtendran entonces las precedentes relaciones bajo la nueva forma:
= .~h
., Te sen a.
= Sh Te
Sh k
[1'"]
sen ~
cos a = sen p Ch
-~ ..,.<
[2'"]
sen
sen
p = sen a: Ch ~
Ch T = Ch -Ch T
..
;:;-i
-~.-
.: )
'fil_
1
fi,1
.:t~
1
,;
.;~
11
jJ
11
(-}~-b)
{
cos
[3"']
Sh T
121
=coa b
2 -::
f
l
.....{
-4
,_
~~~~~~\rttrt~---"'
it
- ~~~;~~
122
GEOMETR!AS NO EUCLIDIANAS
r . ::::> . N'
-{ A, B, e,.~. H, N
r . :::> . M.
1 A, B, e, ... H,
1 B, e, ...
H, M
r . ::::> . M,
e,...
H, N
r. ::::> . N.
f B,
''
1
1
1
J
l
~
l
~
!U
Tomemos, en primer lugar, como sistema fundamental de hiptesis el formado por los' i>ostulados de asociacin [A] y de distribucin [B],:que caracterizan en
la manera ordinaria loa conceptos derecta y plano; por
los postulados de CQ11.gruenci.a (C] y por el postulado de
Arqumedes [D].
Con relacin a este sistema fundamental, que indicaremos con ~ A, B, C, D } , las siguientes hiptesis son
entre si equivalentes y equivalentes a la formulada por
EUCLIDES en su postnlado V:
a) / Los ngulos internos de un mismo lado formados
povaos paralelas con una. transversal son suplementarios (TOLOMEO).
b) Dos rectas paralelas son equidistantes.
e_) Si una rect.a. encuentra a una de dos paralelas
encuentra tambin a la otra [PROCLO] ; o bien: dos rectas p;i.ralelas a una ... tercera sop paralelas entre si; o
tambifo : por un punto exterior a una recta pasa una
sola paralela a esta recta.
d) De un tringulo cualquiera 'puede siempre construirse un tringulo semejante de magnitud arbitraria [WALLIS].
e) Por tres puntos no en linea recta pasa siempre
una esfera [W. BoLYAI].
f) Por un punto situado entre 'fos lados de un ngulo pasa siempre una recta que corta los dos lados del
ngulo [L-ORENZ] .
/ 11. Si dos rectas, r y s, son una perpendicular y la
ob;:a oblicua a Ja transversal A B, los segmentos_de las
perpend~culares bajadas desde los puntos de s sobre r
son menores que A B, en .Ja regin en que A B forma
con s un ngulo agudo [NASi&-~DDiN].
p) El lugar de los puntos equidistantes de una recta
es una recta.
. . 1
:l
11
:i
~ ~.
.
.: l
' 1!
m
1!l
'i
li
~ )l
.
~
~
~'
1
,1
~'-. '''"'7'?"~-~ ~t7t~t'f:tt'::~,~~~~'jf':~' ?!J9'"'='-=-~~
i
1
24
GEO:,fETRtAS NO EUCLIDI.4.NAS
cuanto las
obras
bres
(1)
1 25
A disipar las tiniebla s que en volvieron en los primeros aos las n uevas teoras contr ibuyeron los escritos
frm.lceses y alemanes de LoBATSCHEFSKI, .Per o sobr e
todo la obr a constante e infatigable de algunos gemetras, cuyos nombres . estn hoy ligados a la difusin y
al tr iunfo de la Geometra no euclidiana. Queremos
hablar pr incipalmente d e C. L. GERLING (1788-1864),
R. BAL'IZER (1818-1887) y FR. SCHMIDT (1827-1901),
en Alemania; J. HoEL (1823:..1886), G. BATTAGLINI
(1826-1894), E. BELT&AMI (1835-1900) y A. Fmm, en
Francia y en Italia.
- - ~1
1
~
~jl
A'.
~
'
61. GERLING, que desde 1816 estaba en correspondencia con GAuss sobre las paralelas (1) y que en 1819
le comunicaba la nota de SCHWELKART sobre la Astralgeo?netrie (cfr. pg. 81), tuvo del mismo GAuss (1832),
y con palabras que no pudieron dejar de suscitar en l
una legtima curiosidad, la noticia de un kleine Schrit
sobre la Geometra no euclidiana, compuesta por un
joven oficial austraco, hijo de W. BOLYAI ('!). Las posteriores indicaciones bibliogrficas conseguidas (1844)
por GAUSS sobre las obras de LoBATSCREFSKI y BoLYAl ( 3 ) indujeron a GERLING a procurarse las Geonietrische Untersuchungen y el Appendix, y a librarlos as
del olvido en que parecan confinados.
~
1
~
l
~
~ 62. La correspondencia entre GAUSS y SCHUMACHER, publicada entre 1860 y 1863 (4); las muchas veces citadas obras de LoBATSCHEFSKI y -. BoLYAI; las ten-
'.J
l
11
l
....-.~>f~~~t\~~~~~~~~~:i-7~~~~~.~:_j'!J2~1~f~,
l
J
1
l
1
-~
l
j
l
1
~
~
.;
-~
J1
;
i'
126
'.~
tatvas de LEGENDRE para dar, aunque en los textos e1ementales, ~na organizacin rigurosa a la teora de las
paralelas, indujeron a BALTZER a substituir en la. segun. da edicin de sus Elemen.te der MatJiematik (1867) (1)
la definicin eucldea de paralela por la derivada de la
nueva concepcin del espacio y a clasificar, con LOBATSCHEFSKI, entre las propiedades experime]'.!tales la relacin a + ~ + = 180 , que caracteriza al tringulo eucldeo. Para justificar luego la innovacin, BALTZER no
dej de presentar unas breves indicaciones sobre la posibilidad terica de una Geometra ms general que la
ordinaria, fundada sobre la hiptesis de dos paralelas y
de destacar con justo relieve los nombres de sus fundadores. Al mismo tiempo llam la atencin de HoEL,
cuyo inters por las cuestiones relativas a la Geomet ra
elemental era bien conocido en el campo cientfico ( 2 ),
sobre la Geometra no euclidiana, solicitndole a. traducir en lengua francesa las Geo~trische Untersuchungen y el Appendix.
63. La versin francesa de.i. opsculo de LoBATSCHEFSKI se public en 1866, junto a la de un extracto
de la correspondencia entre GAUSS y SCHUMACHER ( 3 ).
La aproximacin as obtenida entre las ideas de LoBATSCHEFSKI-BoLYAI y las de GAUSS fu muy fecunda, porque el l!ombre de GAUSS y su sancin de los descubrimientos de los dos entonces oscuros e ignorados gemetras contri.huyeron del inodo ms eficaz y seguro a dar
crdito e importancia a 1a5 -nuevas doctrinas.
. ( 1)
C:tr. los Elementos de Matemticas de BAL'l'ZER, traducidos
-por L. CREMONA, t. IV, pgs. 6-7, 24-31 (Gnova, 1867).
( 1)
HOEL babia publicado, en "1863, su famoso Essai d'une
~a:poBition rationeUe des principes fondamentau.x de la Gom
tris U"'6ntaire; Archiv. d. Math. u. Phy., t. XL. (1863).
' (") Mmoires de la Socit des Sciences Phy. et Naturelles de
Bordeaui, t . IV, pgs. 88-120 (1866). Fu tambin publicada en
un opsculo separado, con el ttulo: Etudes gomtriqu.es sur la
t!in-is des paraUeles par N. J. LOBATSCHEFSKI, Conseiller d'Etat
de. 1'Empire de Russie et Professeur a l'Universit de Kasan;
traduit'd l'allemand par J. HOEL, Suivia d'un Extrait de la
correapo-iidance de GAUSS et de ScRUMAC.RER (Pnris, G . . Villars,
1866).
1!t'!
i<;~
Los datos recogidos por SCHMIDT sobre los dos BoLYAl fueron publicados al mismo tiempo (1867) en A rckiv. d. Math. u. Phy.; y al ao siguiente, A. FORTI, que
ya haba. impreso un artculo histricocritico sobre LoBATSCHEFSKI (4 ) , daba a conocer a los italianos el nombre y las obras de los dos ahora clebres gemetras
hngaros (5).
A favor de HOEL recordemos tambin su inters :por
los manuscritos de JUAN BOLYAI, entonces conservados
~:
~-
.:;~
..-
.,
.,
{ 1)
Mm. Soc. Scienc. Phy, et Nat. de Bordeaux, t. V, pginas 189-248. Fu tambin publicada aparte en un opscuio con el
titulo: La science absolue de Z' espac.a, indpendante de la v ri:t
ou fausset de l'Azime XI d'Euclide (que l'on ne pourra jama:i$
tablir G priori); 8Uivie de la quadrature gomtrique du cer cle,
dans u cas de la fausset de l'Axiome XI, par JEAN BoLYAl, Capitaine au corps du gnie dans l'arme autrichienne; Prcd
d'une notice sur la me et les tra11aux de W. et de J; Bolai, par
M. Fr. ScRl!llIDT. {Pars, G. Villars, 1868.)
(') Cfr.: P. STlcKEL: Franz Schmidt, Jahresbericht der Deutschen Math.-Ver., t. XI, pgs. 141-46 (1902).
() Este opsculo de W. BOLYAI se suele citar brevemente con
ias primeras palabras de su titulo: Kurzsr Grundrns. Fu im
preso en Maros-Vsrhely .e n 185L
(') Acerca de la ge-0metria imaginaria o no euclidiana. Consideraciones histricocriticaa; Revista Bolonesa de Ciencias, Le
tras, Artes y Escuelas, tomo 11, pgs. 171-84 (1867). Fu impre!IO
separadamente en un opsculo de 16 pginas (Bolonia, Fava y
Garagnani, 1867). El mismo trabajo, con varias adiciones y con
el titulo: E11tudw11 geomtricos sobre la teoria de l<l8 paralelas
de N. J. Lobat.cll.efski, fu reimpreso en el diario poltico La
Provincia di Pisa, ao IIT, n. 25, 27, 29 y 30 (1867) y publicado
de nuevo aparte bajo el ttulo primitivo (Pisa, Ni.stri, 1867) .
( 5)
Cfr.: Acerca de la vida y los eacritos de Wolfgang y Juan
Bolai de Bola, matemticos k11.Qaros, Boletn de Bibliogra!a
y de Historia de las Ciencias Mat. y Fsicas, t. I, pgs. 277-99
(1869). Este artculo de FORTI est enriquecido con copiosas no
tas histricas y" bibliogrficas _de B. BoNCOMPAGNI.
11
l;
.
\l
i
. 1
1
1
l !
i
l
l
\
'
,.
.~'\
- ..
. . .
- .
i.
..;,,,_,:f::::"". '. .;;
ii;{
128
GEOMETRiAS NO EUCLIDIANAS
1.
Maros-Vsrhely. Por medio del prncipe B. BoNCOMPAGNI (1821-1894), que iriteres a su vez al ministro de
Cults hngaro, barn ETVs, cqnsigui que fuesen
depositados (1869) en la_ Academi hngara de Ciencias de Budapest (1) y pudiesen as ser objeto de los
oacientes y cuidadosos estudios; primero_"de SCHMIDT
y recientemente de STXCKEL.
Adems, HOEL no dej de moverse en muy diferentes
ocasiones, a fin de segurar a la Geometra no euclidiana un triunfo duradero; baste citar su Essai critique
sur les prncipes fondamentaux de la Gomtrie ( 2 ), los
artculos Sur l'impossibilit de dmontrer par une construction plane le postulatum d' Euclide (3), las Notices
sur la vie et les t:ravau:i; de N. J. LoBATSCHEFSKI ( 4 ),
las traducciones france.sas de varios trabajos relativos
a la Geometra no euclidiana (5), para comprender qu
ferviente apstol haba encontrado sta en el clebre
matemtico francs.
l.;,
lfit
~!
64. Con anloga fe y actividad introduca y difundia por Italia las nuevas especulaciones geomtricas
nuestro compatriota JOS BAITAGLINI, y el Giornale di
Matemat:ke, por l fundado y dirigido, desde 1867 en
adelante fu como el rgano oficial de la Geometra no
euclidiana.
El primer trabajo de BATTAGLINI Sobre la geometra,
imaginaria de Lobatschefski ( 6 ), escrito para estable(1) Cfr. el artculo de STACKEL sobre FR. SclIMIDT citado anteriormente en el texto.
(') Primera edicin. Pars, G. Villars, 1867: segunda edicin,
1888.
() Giornale di Matematiche, t. VII, pgs. 84-89; Nouvelles
Annales ('), t. IX, pgs. 93-96.
. (') Bull. des Scienc~ Math., t. I, pgs. 66-71, 324-28, 384-88
(1870).
(")_ Adems de las versiones- de que se habla en el text-0, HoEL
tradujo un trabajo de BATrAGLINI [cfr. la nota (1 ) ] , dos de
BEl'..ntllll [cfr. pg. 129, nota- ( 1 ) ; pg. 147, nota] , uno de
Rn,:lUNN (cfr. pg. 140) y une de HELMEOLTZ [cfr. pg. 151].
()-; Giornale di Mat., t. V, pgs. 217-31 (1867). -Npoles,
Rend" Acc . .. Scien~ Fis. e Matero.; t. VI, pgs. 157-73 (1867).Traduccin francesa de Hotll:L: Noav. Annales, ('), t. VII, pginas. 209-21, 265-77 (1868).
129
KI> ().
Hojeando los aos sucesivos del Giornale di Materna,ticlle se encuentran frecuentemente trabajos relativos a
'
'{~
'~{
~~
-~
'~
.~I
,-:~I
'.~
GEOM.ETR!AS NO EUCLIDIANAS
lSO
~ ".
-~-:
I
::J!.
_,~f
~~
.
CAP!TULO V
:}'.
:g
'~
'1:;J!t~'
...
~_.,
:~.
'!'
DIRECCiN MTRICODIFERENCIAL
LA G.OOMETRA SOBRE UNA SUPERFICE
67. Para facilitar el propsito conviene partir de
las consideraciones siguientes:
Dada una superficie, propongmonos ver hasta. qu
punte se puede . fundar sobre ella una Geometra anloga n la del plano.
'
( 1)
""
-;-~~~
:'.;\:>-~~~i:i~~i&:~~t~-:'f~~'":'.'-~~~:.--,"'~/":-_::';~~~~f'
.~
,
-~-<>:'=~~)\}s~~--.---
--
.-:.'!"":-~",-~ -==--~
-~}ii1
182
-;t
G EOMETRtAS NO EUCLIDIANAS
Por dos puntos A y B de la superficie pasa generalmente una lnea bien deterniinada que le pertenece, la
cual marca sobre la superficie la mnima distancia entre
los dos puntos. Tal linea es la geodsica que une los
dos puntos dados. Si se trata, por ejemplo, de una esfera, la geodsica, que une dos puntos (no extremos de
un dimetro) , es un arco del crculo mximo por ellos
determinado.
Ahor2. bien; queriendo comparar la Ge6metra sobre
una superficie con la Ge<imetra sobre el plano, parece
natural poner en paran.g n las geodsicas de aqulla,
midiendo las distancias sobre la superficie con las rectas de ste, y tambin considerar como (geodsicamente) iguales, sobre una superficie, a dos figuras trazadas en ella que puedan hacerse corresponder punto a
punto, de modo que l~ distancias geodsicas entre los
pares de puntos correspondientes sean iguales.
A este concepto de igualdad se puede llegar de un
modo intuitivo admitiendo que la superficie sea realizada con una hoja flexible e inextensible, y que con un
movimiento de la superficie, en el cual sta no permanezca rgida, sino flexible, como se ha dicho antes, las
figuras superficiales llamadas por nosotros iguales puedan superponerse una a otra.
Tomemos como ejemplo un trozo de superficie cilndrica, que, por simple flexin sin extensin, doblez ni
rotura, pueda aplicarse sobre una regin plana. Es claro
que en este caso debern llamarse iguales sobre l,a superficie dos figuras que se extiendan sobre figuras planas iguales, bien entendido que dos figuras tales no son
generalmente iguales en. el . espacio.
Volviendo a una superficie cualquiera, el sistema de
convenciones antes indicado da origen a una Geometra.
sobre la superficie, que consideraremos siempre por regiones convenientemente limitadas (regiones normales). Dos superficies aplicables una sobre otra con una
flexin sin erlensin tendrn la misma Geometra; as,
por ejemplo, sobre una superficie cualquiera cilndrica,
y en general sobre una superficie cualquiera desarrollable, se tendr una Geometra semejante a la de una superficie .plana.
Un ejemplo de Geometra sobre una superficie, .':lencialine:U:te diversa de la del plano, nos es proporcionado
PQr la Geoi:netrla de Ja esfera,. porque es imposible apli-
::.~~~7:>1:~.::,-::7~?7","' . ~<-:7.?7~~~0:~}'0~;
l
i
1
~
_,':-'
:">.
'
138
1
.~
~j
!:W
~~
Seudoes!era.
Tractriz.
F!gun 47
Fiirna 48
( 1)
Recordando que la curvatura de una linea plana en un pun
to es la inversa del radio del circulo osculador en aquel punto,
he aqu cmo puede definirse la curvatura en un punto M de
u na sunerficie:
Traz;da por M Ja normal n a la superfici e considrese el haz
de planos por n y el correspondienU! haz de curvas que aqul
produce en la superficie. Entre las curvas (planas) de tal ha'
existPn dos ortogonales entre s, cuyas curvatm:as ( arriba <lefi-
~~.~~~-;-:;,~~:\?:.~0~~!;.~;-~,~~~~,..:.:, ...-
. ~- -~.~:~~~:-:i;...'.'f :.;:-t:_r,~:~~--:-,;.;--~~
f:,,.t
>
134
G E O M ETR!AS
rw
V~ .
Y la esera
;.i
r,~,
3i
::;~
de ellas.
Para K < o se tienen. las superficies aplicables sobre
la seudoesfera, la cual puede presentarse como modelo
de las superficies de cur.vatura constant~ negativa.
La seudoesfera es una'-g~pe:rficie de revolucin; la
[1]
;~
jlf;
z= klog
"\/ k2
x2,
1
-~
~\
i
:.::;,
K ==-
1,i
~1
-~r
~
~
l
:~
''~~*
-~
"'
~"'a
:~
Figura 49
f i.
b) Punto.
e) Geodsica.
~a
d)
-~
Superficie.
Arco de geodsica.
:,~
-. ~
;-~~;
1.:i' .
}~;
- .~
~.;.-:
~.,.
a)
b)
e)
d)
_,
Regin de plano.
Punto.
Recta.
Segmento rectil-
neo.
-~i
;:"S
.{
.~...
~t
1
k2.
+ 'V xk2 -
R~
~i
nidas) gozan de las propiedades de mximo o mlnimo. El producto de estas curvaturas da la curvatura.de la superficie en el
punto M (GAUSS). A la curvatura de GAuss corresponde luego
un notabilisimo carcter; ella se mantiene invariable para toda
flexin sin extensin de la superficie; de modo que si dos superficies son aplicables, en el sentido indicado en el texto, deben,
en los puntos correspondientes, tener Ja misma cw:vatura (GAUSS).
.Este resultado, invertido por MINDING en ' el caso de las super
ficies de curvatura constante, pone de maniesto que las super~
ficies libremente mviles sobre s mismas estn caracterizadas
por la constancia de la curvatura.
135
EUCLIDIA NAS
e) Postulados relativos
a la ordenacin de los
puntos sobre la recta.
f) Dos puntos determinan una recta.
1
1
~1
~I
" _ .l_
( 1)
La trsctriz es la curva en Ja cual el 3egmento de tangente
comprendido entre, el punto de contacto y la asntota tiene una
longitud constante.
'-
.-.:;..:...
- - - - ---.~ ........
..,;,.~..:;;..
~- -.:.. "'~----:-
GEOMETRlAS NO EUCLIDIANAS
136
g) Postulados de la
congruencia segmentara y
angular.
cr
>
.
':~
:f!
-~
~!;
;~
-}..~
-~&
;~
./\/\/\
=A +B + C-
Kdv
= o,
/\
/\
1
l
/\
A+ B + C = 1t.
de donde:
ABC
K = 7li >o.
Entor.ces tendremos:
f d
r..
...
!1
.,t.
-4
);
K .
Pero la integral
~2 Id
(j.
ABC
aplicada al tringulo A B
e,
da
-.~
):
;_
~1
V =
ABC
.u
,~
=A + B + C-
-1
1
~.
J
l!
JI
;~
-::.
/\
~-=~~
/~
::1
,'::;
.... ,.,,
\:
-~
jf \
-!'
'il
/\
/\
~ = kz (A+ B + C - -:t).
Es decir:
a) Sobre la superficie de curvatura constante positiva la suma de los ngulos de un tringulo geodsico
e.'J mayor que dos ngulos rectos.
b) El rea de un tringulo geodsico es proporcional al exceso de W, suma. de sus tres ngulos sobre dos
ngulos rectos .
1
3er. caso:
K=- k2.
,.1
......~~.
-'
.;
,]
'J,
.-'(i
:;:~
,J
---~~"'~~::r,:H~~~';\'.,::<~~ i", , .,._.,,____ ~ _-c_-: . .~~ --:~;:-;t::"t;.t~.f.r~~;;f~:[;f~"':
"
n
-~
l
A+B+C>"';
--:-~
~...:.
Apliquemos esta frmula a la superficie de curvatura constante, distinguiendo los tres casos posibles.
diier1mcial de L .
ter. caso:
K=o.
Entonces tendremos:
-~
~~ ;;
Cfr~
.l
~"t.
ABC
( 1)
.l
137
..;.;:
da
fK d
IK
~
j
--""---
-----~---
..:...
-- . c.: -
4 ..
Ji
: ..
~.
1
GEOMETR!A S NO EUCLIDIANAS
188
.:l
''\
Entonces tendremos:
ABC
=- ~
k2'
ABC
donde, tambin aqu, con ll indicamos el rea del tringulo A B C. Sguese entonces
6.
(/\
/\ /\) ,
k2=7tA+B+C
de la cual se sacan las dos relaciones siguientes:
/\
/\
=k 2
(-:.-A-B-C/\)
/\
/\
--~
Es decir:
a} Sobre la superficie de curvatura constante negativa la, suma de los tres ngulos de un tringulo geodsico es menor que dos ngulos rectos.
b) El rea de un tringulo geodsico es proporcional a la deficiencia de la suma de sus tres ngulos
respecto a dos ngulos rectos.
Resumamos los resultados en la siguiente tabla:
K=o
1
K=k2
l
K=-7'2
Carcter especifico
/\.
/\
/\
/\
/\
/\
plano
A+B+C=,.
esfera
A+ B+ C>
seudoesfera
/\
/\
199
!1
j
l
<l
-~
1l
t?
1
,l
='\/=f.
/\
A+B+C<r:
(j,
r.
/\
A+B+C<.,.
~-~-5~~.~:.i~~T0t-r~~~;-rs~~~-~;~~.:
'1I1
1
1,
BOLYAt
!I
69. De los anteriores prrafos resulta que las propiedades relativas a la suma de los ngulos de un tringulo, en la Geometra de las superficies de curvatura
constante, corresponden respectivamente:
para K = O, ,., a las vlidas en el plano, en virtud
de la hip. ng. recto;
para K > O, a las que substituiran en el plano,
en virtud de la hip. ng. obtuso;
para K < O, a las vlidas en el plano, en virtud
de la hip. ng. agudo.
El primero de estos resultados es evidente a priori,
porque se trata de superficies desarrollables.
La analoga entre Ja Geometra sobre las superficies
de curvatura constante negativa, por ejemplo, y la Geometria de LoBATSCHEFSKI-BOLYAI se pod.ra hacer ms
li
( 1)
Wie sicii. entschn.eide?t liisst, ob zwei gegebens krumme
Flii.cken a.uf sin.ander a.bwickelbar sin.d oder nich.t; nebst Bsmerkunge7t ber die Fliichen von unveriinderlichem Krmnwngamaa e; Crelle, t. XIX, pgs. 370-87 (1839).
( 1)
MINDING: B6itriive zur Theom d1Jr krztJsten Linien auf
krummen Fliiche11.; Crelle, t. XX, pgs. 323-27 (1840).-D. CoDAZZI: Acerca de ~ sup,,rficies que timen comta?tte el producto
de los dos ,.a.dios de cur11atuni; Ann. di Scien. Mat. e Fis., t. VIII.
pginas 346-55. (1857).
l:_~: ~~~-"
~~
.j
;
1
.1
-~
:?
140
GEOMETR!AS NO EUCLIDIANA!'.
.1.
-~~%1~t~~~P~:~~~~
.. _ _ _ ___ _ _!_41
1
!
1
1
.1
iJ
La Geometra desarrollada con la base de estos principios ser la Gomet::.-a plana ms general, conciliable
con los datos que expresan el resultado de nuestras experiencias tomadas en un sentido riguroso, pero limitadamente a un campo accesible.
De acuerdo con cuanto se dijo en el 69, es claro que
dicha Geometra encontrar una concreta interpretacin en la de las superficies de curvatura constante.
Pero tal correspondencia subsiste solamente desde el
punto ce vista (diferencial), segn el cual se confrontan regiones limitadas. Si nos colocamos en el punto de
vista (integral), segn el cual se comparan la Geome-
~:1~;,;:~:~t,~~:.~~~.:-~:..'~ :Y~- A
..;.
! ~.;..__/
'
~
j~
tI
<1
;~ ~
"!
'
~- :-.:. : : ~'!"'~
142
i
_!-OS DESARRO LLOS SUCESIVOS
.1
.-.;:
;Y.
:~:'
148
RIEMANN,
part-e lli,
2.
,,.,.-
~r
,,,
)-
1
h
11
1-
~
~
),:
:~
,_1
ij
;~
"
J~
-~.
"'"":"
-~--
._:.",.":-:-7,,....:
'i
i:
GEOMETRIAS NO E U CLIDJANAS
144
. . . . . . . .. . .. . . . . . . . .
Plano
punto
recta
segmento
ngulo
tringufo
...................
S 72.
,.~v.
."~
'i
~;.1
Refirindonos a los razonamientos d SACCHERI (p. gina 49); LAMBERT (pgs, 56-57) y LEGENDRE . (pgi-
-~~
BE&T) (2).
.1
1
.~;
'\
~l
!!
;
i
.Jii
'!
Li
.[ll'i:
!11
'!I
:1
:.
.il
J
!/
14 5
~~:
et
ni
i!j
{: l
~.J
n
~
~l
! ~
!fl"
.;
ii
;
11
' J1
-~';j
,. ;~"!~~~~-~~;iif~r,tt~l~~
. 1
'1
~:~-;fT
~f:~~
-1
;-::
,,
146
GEOI\1ETR1AS NO EUCLJDIAN.4.S
f'
tries non eu.clidiennes (Turin, Memorias (3), t. XXIX, paginas 365-404, 1877), despus de haber expuesto la insuficiencia
de ciertos razonamientos intuitivos, dirigidos a probar la existencia concreta de una superficie apta para representar el entero plano no eucldeo, insiste sobre la probable existencia de
puntos singulares (como; por ejemplo, los situados en la linea
de retroceso de la figura 47) en todo modelo concreto de superficie de curvatura constante negativa.
Sobre el teorema de RILBE&T aadamos que el carcter anaUtie<i de la superficie, admitido por el autor, se demostr ser
superfluo. Vase a este propsito la disertacin de G. LTKEMEYER: Ueber de1' an.alvtiacii- Ch.a.ra.kter der Integra.le 11on par
tielle1t Differentialgleic111u1.11en (Gottiogen, 1902) y la nota de
,E:: HoLMGREN: '- Sur lee surfacee ii cou'l'bure constante negatfoe,
Comptes Rendus, primer sem., 1902, pgs. 840-43.
( 1) Ei?ui tteue Eig~ch.a.ft de1' Kugel, Gott. Nacbrichten, 1899,
pgs..:'44-54.-En las pginas 172-75 de Grundla.gen. der Geometris de HlLBERT est tambin demostrada esta propiedad. Notem<>B que las superficies de curvatura constante positiva son
necesariamente analticas. Vase, a este propsito, la citada disertacin de LTXEKEYER (pg. 163) y la Memoria de Hor,MGREN: U.rber eine KUuise wn partisl~ Ditfe7entialglekhungm der
Zw.;:tt11t, Oronung .. Math. Ann., t. LVII, _pgs. 407-20 (1903).
'
~--'-.;...."'-"""~~~~,- ,..,_~~-'"'
~"'-~(':....""~~~~~7.'.t..
1~ :- '.
' -.
~1~~~z~~0~~~{i~~,~~~~~5 -~2~~:.;::Jt
-~
'
:-.,_
1
1,._.._
'
'.;!.'.
-
ir.~
147
:i
' ii
1
:
!.
11
i.
ij
"ti
f'.
i~
/:
75.
Cmo haba concebido RIEMANN su plano completo, ei haba pensado en el plano elptico o en el planoesf era, o haba r econocido la posibilidad de entrambos,
no se puede precisar, porque l en su Memoria hace
Geometra diferencial y dedica solamente pocas palabras a las formas completas. Pero los continuadores de
su direccin, entre ellos BELTRAMI, considerando constantemente la Geometra riemanniana junto a la esfrica, fueron llevados a suponer que sobre el plano completo
de RIEMANN, como sobre la esfera (por la existencia de puntos opuest's), el postitlado de determinacin
de la recta presentase excepciones (1), y que la nica
forma compatible con la hip. ng. obtuso fuese el planoe.sfera.
Las propiedades esenciales del plano elptico fueron
dadas por A. CAYLEY (1821-1895) en 1859; pero la relacin entre estas propiedades y la Geometra no euclidiana fu indicada por KLEIN slo en 1871. A KLErn
se debe, por tanto, la clara distincin entre las dos Geometras riemannianas y la representacin de la elptica
con la Geometra de la radiacin (cfr. 9 71).
. Para comprender en qu consiste la diferencia entre
' la Geometra esfrica y la elptica fijemos la atencin
l
j
~'!
~
1
. fi
'~.
1~
~
~
f:
!li
!t~
.-::-.-:--.....
~l!Ah..?:;
*' ~~::;;."":'""~.ct;:,;:::.....-~-e.=._-:--=r~:.;.'f.:..:.~-~-:-1::."'-'"- -
ji
}'
-.
"- ~~
148
GEOMETP..!AS NO EUCLIDIANAS
sobre dos tipos de superficie que se presentan en el espacio ordinario, esto es, sobre las superficies de dos
caras (bilaterales) y sobre las superficies de una sola
cara (unilaterales) .
Ejemplos de superficies bilaterales son el plano ordinario; las superficies de segundo orden (cnicas, cilndricas, esfricas) y, en general, todas las que limitan
slidos. Sobre stas es posible distinguir dos caras.
ejemplo de superficie unilateral nos lo da el folio
de Moebius (Moebiussche Blatte), el cual se construye
fcilmente asi: .Cortada una faja rectangular A BCD,
en vez de unir !Os lados opuestos A B y C D de modo
que se obtenga una superficie cilndrica, se unen esos
mismos lados despus que uno de ellos, por ejemplo, el
CD, ha girado 180 alrededor de su punto medio. Entonces la que era cara superior del rectngulo, en la
proximidad de CD, viene a encontrarse continuada por la cara inferior del rectngulo primitivo, as que
sobre el folio de Moebius, la distincin de las dos caras resulta imposible.
Queriendo distinguir las superfi. cies unilaterales de las bilaterales
mediante un carcter que dependa
slo de las propiedades intrnsecas
. Folio de Moebius
de las superficies, se procede as: FiFilrura O
jado un punto de la superficie y un
sentido de rotacin alrededor de l, hgase recorrer. al
punto un camino cerrado sobre la superficie que no
atravieee su eventual contorno; para las superficies bilaterales, cuando el punto retorna a la posicin inicial,
el sentido inicial de la rotacin coincide con el sentido
final; 1..ara las superficies unilaterales (como fcilmente se verifica sobre el folio de Moebius, recorriendo la
linea mediana de la superficie) existen caminos cerrados, para los cuales el sentido final de la rotacin es
inverso del inicial.
Volviendo a los dos planos de RIEMANN, se puede
ahora fcilmente explicar en qu consiste su diferencia
substa.'1cial: el plano-esfera est dotado de los caracteres de las superficies bilaterales; el plano elptico, de
los de las superficies unaterales.
La propiedad del plano eliptico ahora enunciada encuentra luego, como todas las otras, una interpretacin .
concreta en la radiacin de rectas.
En efecto, un abatimiento de una recta sobre s misma alrededor del centro de la radiacin cambia entre s
las dos rotaciones que tienen por eje aquella recta.
Otra propiedad del plano eliptico, ligada a la precedente, es sta: el plano eliptico, al cop.trario de lo que
ocurre con el eucldeo y los otros no eucldeos, no viene
cortado en dos hojas por sus rectas. Esto puede expresarse tambin diciendo que, dados sobre l dos puntos,
A y A', y una recta arbitraria, se puede pasar de A a
A' por un camino que no salga del plano ni atraviese
la recta.
Este hecho se traduce en una clara propiedad de la
radia".!in, que es superfluo recordar.
!;.
Un
i'
149
~:.
de
',.6
........
.,~<-~~-~,;:~~~-~~11-'~):T~.i:~~:<;:;,_~:~:-_rv~J@"5}.~1f~~~tf'/~~
'
'
~~~u;L?!.Pit
SS
't-----.. .. _. ,. .
.>
.~.:.
,..,.
;-;...
-~.
'?"~
153
GEOMETRtAS NO EUCLIDIANAS
152
LoBATSCHEFSKI-
DIRECCiN PROYECTIVA
SUBORDINACIN DE LA GEX>METRA MTRICA
A LA PROYECTIVA
&
"
pgs. 437-543
ideas, R. POLNCAll, en su trabajo Sur lea h11potheses fonda.-rMntauz de la Gfomtrie (Bnll. de la ' Socit Math., de France,
t. XV, pgs, 203-16, 1887), resolva el problema de !ijar todM
laa kip6tea que caracterizan. entre los varios grupos de transformaciones, el grupo fundamental de la Geometr!a plana enclldea.
\I
~ '1
.1
'I
;I,
'. j
'I
\,,
:
o;. "1l
:1
\j'ji
{\1
; ,)'"Jl
>;'>-1
~,,
li
.JJI
/f
li
~~
.: r.'
t '
..
;t;c::~:';~*'';-;..~,.~~~~
.. ..,.., ... -~
.. !
154
G EOMETR!AS NO EUCLIDIA N AS
A /\ /\
F (A, B, C ... ) =O
.
entre los ngulos A, B, C,. . . puede substitmrse con
sta:
/\/\/\
F(
log b
2i
logc
...
)=o,
m-
Trc.i des
pr~s
!<.'J
.1
-~
.j
.~l
'.",
;;:!
1
1
'I
1 55
t.
J
i
'
- - ~.
---- -..::-:....,~~!:.~~,->-:
'"""""'
. ..:r--::_
~~~~
---"""""-=
" .~,,.
::- ~-:::-:Y;
"<>:::::. ~-~!
~1r:- . . .:~:.~~~; ,~~?-. 7".:..-f.""'~
..)~"-:~-;~~r.:.7:~)
- -:-:::. --__--;-
.........
@
~i~'
{56
.t
,, f.
J
'
lll
~
'
; :
.
.r
plano dado, e introducir puntos .impropios que se cnsideran como centros de estas radiaciones.
. Pero los puntos impropis pertenecientes a un plano
no pueden, en este caso como en el eucldeo, asignarse
a una recta (recta en: el infinito); constit uyen, una regin entera, separada .de la regin de 10.11 puntos efectivos (puntos. prpi-Os) .:POr, una. cnica cnica lmite o
en el infinito)~ Esta cnica es el lugar de los puntos
impropios determinados por los haces de rectas paralelas .
., .
.
En el es pacio Juego los .puntos impropios estn separados de los puntos propios por una cudrica no .reglada (citdrica lmite o en el infinito), lugar de los puntos impropios, segn los cuales se cortan las rectas paralelas. E stablecida la validez de la Geometra proyectiva en las hiptesis no euclidianas (KLEIN) ( 1 ), para
obtener la subordinacin de la mtrica a la proyectiva
basta considerar, como en el caso eucldeo, los entes mtricos jundamentales (absolutas) e interpretar las propiedades mtricas de las figuras como relaciones grficas de ellas respecto a estos entes. Sobre el plano de
LoBATSCHEFSKI-BoLYAI, el ente mtrico fundamental es
la cnica limite que separa la regin de los puntos propios d~ la de los puntos impropios; sobre el plano de
RIEMANN es una cnica imaginaria, definida por la
polaridad absoluta del plano (cfr. pg. 144).
Tanto en uno como eri otro caso, las propiedades mtricas de las figuras son todas la,s propiedades grficas
qe permanecen inalterables. en las transformaciones
proyectivas ( 2 ) efue dejan fijo el absoluto.
Estas triuisformaeiones proyectivas constituyen luego los 003 mommi~08 del.plano no euclidiano.
'r
~1~;
..
;)
157
~-,
= ~ a;
x =
O.
llii
Yi
+ '\) 01-
:ry -
~ -
au
'\) 02:ry
= o,.,.
= o,,,. '
,,,,-
_!!_
?
-
+ '\) OZr:r -
log O.ey
U..,y -
'\j Qt%J'
0z: 0,.,,
O.u
yy
:~
1
J
'l
:.1
i
...l
1
1
i,
~)
'<
,;\
l'
~r.:~:;ir7~~~tf~;t~~-}~}!.~i~
.r . - -
~---"-- -
~1":
158
WS D!:SARROLLOS SUCESIVOS
o bien, introduciendo las f unciones inversas de las funciones cir culares e hiperblicas (1):
Dey = i k arceo
[2]
{j
'V 0,,,, yy -
lJ!'au
y
2:ey
[1' ]
. ~":;
uv
1
=~
2
'\) =
(
[2']
Para la interpretacin proyectiva del concepto de ngulo valen consideraciones anlog.s. El ngulo de dos
r ectas es proporcional al logaritmo de la raz6n doble
del grupo que ellas forman c<m las tangentes trazadas .
al absoluto por su punto comn.
Si se quiere luego que la medida del haz entero est
dada por 2-x, como en la mtrica ordinaria, es necesario
la fraccin
~i
2;
l sen
.
ra
. ( log a ) = _!_ a - 1 .
2i
i z ...fa '
f
l
l
Ch ( log a ) = a
2 .
2
+1
.,-;;
~.
2-.rci .
Sh ( log a ). = a 2
=O
-~
'
=T
'I
:are
=~ Are Sh
,!
'Y.,.m
1 Are Ch -
f w;J
i V
l.i
'UV
[3']
!'~
sen
.'!
j;
qr""
( 1)
(loga)= a.+1
'Y,..
k2.
008
t.t:'
og -.:c.::...-'-~==========
"'
:~;
K=- 1
rr :ry
yy
La constante k que aparece en estas frmulas est
luego ligada a la curvatura K de RIEM ANN por la siguiente relacin:
'\J zy -
p~porclonalidad
U U
;ll
'\) = yy
:,jf.
vOu O;,;
D"'., = k Are Sh
[3]
~bij
'lau =
D"" = i k are s en
'l
159
~
n y,.
. ;
\.
z:
= O,
. lf..u
1
;
t '
=O
.'$,:
'T .. ;
.A
:
l;(
,. representasen las ecuaciones (puntuales y tangenciales) del absoluto del espacio en vez del absoluto del
plano. Segn que Q= = O sea la ecuacin de una cudrica real de puntos elpticos o de una cudrica imaginaria, las frmulas se r eferir n a la Geometra de
LoBATSCHEFSKI-BOLYAI o a la Geometra de RIEMANN.
f':
l'<
t.\
['
t E.
it..
J,...-~
_.,;. ;
-e
i': ,
~ .
__ ,,;:...
.,
. . ' ..i
~~
-~
-"'
162
GEOMETR!AS NO EUCLIDIANAS
~:
~-
,.
-<
KLEIN ( 2 ).
Nicht-Euklidi8cke GeC?netrie;
Math. Ann., t . . IV, pgs. 573-825 ( 1871).
f
~
"{
~ 83. Las propiedades de las figuras planas, en relacin a una cnica, y las del espacio, en relacin a una
cudrica, constituyen en su conjunto la mtrica proyectiva. La. mtrica proyectiva fu estudiada p~r CAYLEY ( 1 ) , independientemente de las relaciones que tiene
con la Geometra no euclidiana, relaciones que fueron
descubiertas y expuestas algn ao despus por F.
163
Llamamos la atencin sobre el hecho que para obtener de la frmula general de la distancia la especial
del caso eucldeo, debemos hacer tender k 2 al infinito.
Y puesto que la curvatura de RIEMANN est dada por
k2'
-1
M
~:
en
Th
1
~J
~
,{l
~~1
1
l
,>'1'
-.,!
160
GEOMETRlAS NO EUCLIDIANAS
~:
i
Ui_2
+ Uz2,
'lf""
'""'= =
'l'. .u = U12 +
'lf"" = U1V1
+ UzV2,
+ V22)- '
U1 V1
-\j
(u12
+ U2V2
+ Uz2)
(vi2
+ Vz2)
U:!
U1
-\j U2 + Uz2
<.:OS
ty
U22 +e ia3
log (M
00
00
;
q
=O.
!l
-;
:::li
XY J = 2 log1 =O.
"
D=v
:1
2+ X3-" =O.
'I
U1V1
UzV2
Uz2) (v12
eX2
de donde
eX1 "
COS UV
"+
Entonces, poniendo
= V2 + V22,
~=are cos
se convierte en
~
161
ik are sen
'l
!!
'l
"\)-;A.
11
!I!l
' I
!
l.
= r;
la cnica degenera en dos puntos imaginarios conjugados, situados sobre la recta u 3 O. La frmula de la
distancia, introduciendo las coordenadas no homogneas
X,= -5_
X '
Y,= y,
Y:t'
toma la forma
D,,v =
'\j
(X1 -
X2)2
+ (Y1 -
' '
1
Y2)2,
'
i'
il
f-::;~~~--.---..,~-::.....~-
- -
--
_.:~-~-
,...,,
164
GEOMETRl AS NO iWCLlDIANA"
P'
T
Fi&'ura 51
165
s '
N ' M'
s R'
R S)
fM N
\ M' N' S' -R' '
I
j
.,,
],
t.
r~
: !
'.!
-~J~
'"fJ;
~:
~~
l,'
.:;;_
( M N R S)
N~
.;
::i;
~ 86.
Ahora volvamos, completndolas, a las definiciones del 9 84, relativamente a un crculo dado s obre
un plano.
Plano
= Regin de los puntos inter ior es
ar crculo.
Pun to
= Punto int erior al cr culo.
Recta
= Cuerda del crculo.
M ovimientos
-=Transfor maciones pro yectiva s
del plano, que mudan en s m isma . la r egin de los puntos interiores al crculo.
A batimientos
= Tr ansfor maciones homol g icas
del crculo.
Figuras congruentes = Figuras t ransformables una en
otra mediante una de las llamadas proyectividades.
\;
~~
ll
~:j
"'
r;
~.~
~1
:,~
"
~'
~
U_.
1(J(J
.,..
-~
Los precedentes desarro:Uos permiten, . sin ms, afirmar que todas las proposiciones de la Geometra plana
elemental, ligadas a los conceptos de recta~ ngulo, congrencia, pueden traductrse convenientemente en pro..:
piedades relativas al . sistema de los puntos interiores
al crculo, sistema que indicaremos { S r ~
En particular, veamos lo que corresponde en el Bistema -l S } a dos rectas ortogonales del p)ano ordinario.
Observemos para ello que si r y s son dos rectas ortogonales, un abatimiento del plano alrededor de s superpone a si misma la' recta.r, cambiando, sin embargo, los
dos rayos en que sta queda dividida por s.
Segn las definiciones establecidas, un abatimiento
en { s r es una homologa, que tiene por eje una cuerda
s del circulo y por centro el polo de la cuerda. Las rectas
dobles en esta homologa son, a excepcin de s, todas
las rectas que pasan por el centro de homologa; de
modo que en el sistema { s r debern llamarse perpendicul,ares dos rectas conjugadas respecto al crcul,o fundamental.
Se podran fcilmente verificar en { S r todas las
proposiciones relativas a las rectas perpendiculares; en
parti::!ular, que si desde el punto comn de dos cuerdas
conjugadas en { S r se trazan las tangentes (imaginarias conjugadas) al circulo fundamental, estas tangentes estn separadas armnicamente por las dos rectas
ortogonales (cfr. pg. 154).
87. Veamos tambin cmo en la mtrica convencional, establecida en el interior del circulo, puede expresarse la distancia de dos puntos.
Introdzcase para ello un-sistema de coordenadas ortogonales (x, y) con el origen en el centro del crculo.
La distancia de dos puntos A ( x, y) , B ( x', y'), en el
plano convencional, no puede representarse con el acostumbrado radical
-\j~(z---x-')_2_+-(y---y-,)2,
167
=~
'
-~
'~
i
'1
.1
..
~
~
I~
In
log(A B M N).
~1
;!
I'
:1
H
n
.,
1
=-:log (a b mn),
2i
sen (a.n)
sen ( b n)
tt
j3
i
iI
1
i
L
:
~~'
1
t,
';'f~
't
-~
~
'
,1
... -~i"W~~7f~~k:~-~~:.:,~~r{~?'.~1,,:::~{~",.<7~~:<},,,... -~-- .. , __,
~
- ,
168
GEOMETR1AS NO EUCLIDIANAS
Sean r (ui. Uz, U) y r' (v 11 v 2 , v 3 ) dos cuerdas distintas del crculo fundamental. Refiriendo el crculo a
un sistema cartesiano orto.gonal con el origen en el
centro y tomando por unidad de medida~el radio, tendremos
x2+y2-1 =O,
u 2 + v2 - 1 =o,
por ecuacin puntual y tangencial del crculo.
Haciendo homogneas estas ecuaciones, obtenemos
X12 + x,_/- X32 = 0,
U12 + U22-U2 =O.
El ~ngulo -:;.; de las dos rectas puede calcularse por
medio de las frmulas [3'] del 81, poniendo en ellas:
'Yua = U1 2 + Uz 2 - Us2
~
1n1
senrr
. ." re ., , .,
., ) (V1--rV2---1.'3., , ., ., ).
U1--ru2~-u3-
Si ahora se observa que las rectas r y r' tienen respectivamente por ecuaciones
x1u 1 + XzUz + x 3 u.a = O,
X1V1
=
X3 =
X2
_,...._,
sen rr
\)Cu1 2
-~
Figura 53
r'
i~
-~;t
~-;
1
fa
-~~
- ~~
J~::
~11,,
~I
f'
;~
;~
.~;
U3Vz,
UV3,
'lL:iVz -
UzV1,
,.,..."i:
+ Uz 2 -
UgV1 -
.,, (x32 V
~:
.i"~
UzV3 -
e~
x.,2 -
U32 ) ( V1 2
i'~
1,,
YAI.
169
.'
x12)
+ Vz 2 -
V32 )
En
sta se ve que...........
la condicin necesaria
y suficiente
.
.
.
para _aue -el ngulo rr' sea nulo es que sea nulo el nuIQerador de la fraccin obtenida.
Figura 54
'
170
i'.i~~
... :
'I":::
OM=kArcCh
'\Jl-a
:11
~-~-~
'\f1= a2
:{ti
Confrontando
esta frmula con la relativa al seno del
,,,-...
ngulo OMN se deduce
'!'
= __1
sen oMN
relaci:ri que coincide con la dada por TAURINUS, Lo. BATSCHEFSKI y BOLYAI para el ngulo de paralelismo
(cfr. pg. 95).
90. Veamos finalmente cmo se expresa en 1 S ~
la distancia de dos puntos infinitamente prximos distancia elemental), para comparar Ja actual representacin de la Geometra hiperblica con la de BELTRAMI
(cfr. 69).
Sea:i (x, y), (x + dx, y+ dy) dos puntos infinitamente prximos. Su distancia ds se calcula por medio de
la. [2] del 81, poniendo en ella:
:z:2 + y2 - 1,
yy = (x+dx)2+ (y+dy)2-1,
z:y = x(x + dx) + y(y + dy) --:-1,
...:r =
(1-x2-y2)2(1-2xdx-2ydy-dx2~dy2)
i'
f
~
.....~
"1#.
-.~
%.
-~~~
~-
..........
.ti
_,i!;
. ~~}.':.~
',I;
._:?'~1
=~~' -~.
~":.:
.~
Ch OM = - - 1
ChOM
k
'. .
,:~
2 '
de donde
k
i't. i):'.
~-1
1
171
o bien
a82
[5]
'
Recordemos ahora que BELTRAMI, en 1868, interpretaba la Gometra de LoBATSCHEFSKI-BOLYA! con las de
las superficies de curvatura constante negativ. El estudio de la Geometra de tales superficies se efecta
partiendo de un sistema (u, v) de coordenadas tomado
sobre la superficie y por las leyes segn las cuales se
miden las distancias elementales ( ds). La eleccin de un
oportuno sistema (u, v) permite a BELTRAMI (1866)
reprei!entar el cuadrado de ds en la forma siguiente:
k 2 (1-v 2 )du2 + 2uvdudv + (1-u2)dv2
(l-u2-v2)2
'
+ yz - 1 =O,
pli. 1902).
~.[t.~~
~~
:. : .?ti
~(
---,
,tj
]!~
~lr.J1.
.. ~
:: ~
..
'.
. ift1
~ ~
'.
-;
,,
tf '
'
""
r:
_;_..;o::;
172
E.
J:-~
-;;
91. La representacin de la Geometra plana hiperblica sobre el plano eucldeo es susceptible de ser
extendida al caso del espacio. Para representar la Geometra del espacio de LoBATSCHEFSKI-BOLYAI en el espacio ordinario blstarfa poner en este ltimo las definicioni;s siguientes:
Espacio
= Regin de los puntos interiores a una
esfera.
Punto
= Punto interior a la esfera.
Recta
= Cuerda de la esfera.
Plano
Puntos de. un plano secante interiores
a la esfera.
Movimientos= Transformaciones proyectivas del espacio que mudan en s misma la regin de
los puntos interiores a la esfera, etc....
Con esta especie de diccionario se podran traducir
las pr:)posiciones de la estereometra hiperblica en
otras tantas propiedades del espacio eucldeo relativas
al sistema de los puntos interiores a la esfera (1).
la
1
( )
De la interpretacin de la estereometra no euclidiana, y
en general de la interpretacin de la Geometra de las variedades
de .curvatura constante de ms dimensiones, se oc11p, tambin
BELTR.XI en la Memoria: TeOTa fu1tdamental de los espacios d6
curvatura constante; Annali di Matem. (2), t. II, pgs. 232,55
(18tl8) ,_;Opere Mat., t. I, pgs. 406-29 (Miln, Hoepli, 1902).
-;,
~'Y;
.... <;_!"
'o~'
l.
-~
, ~.
.J-
-~'~
-,;e-;
.'~-.
~
- --173
---sobre el plano eucldeo del plano riemanniano en cuestin.
Queriendo una rep_resentacin del espacio elptico sobre el .espacio eucldeo~ bastara tomar en ste una polaridad uniforme, a Za que corresponda una cudrica
fundamental imaginaria no degenerada, y establecer
respecto a esta cudrica un sistema de definiciones
anlogo al precedentemente indicado en el caso hiperblico. No insistimos, sin embargo, sobre esto, porque
no ofrse ninguna dificultad nueva.
Notemos, no obstante, qtie en esta representacin
todos los puntw del espacio eucldeo, comprendid-Os los
puntos del plano del infinito, vendran a corresponder
biunvocamente a puntos del espacio riemanniano.
LOS DESAR ROLLOS SUCESIVOS
~)
': l
j1
( l
-_-
.'
.:;~.
~~
~~
~-
;~:y
,1
j'
,l
'
~1
(
~- :
if
!
!
~ ~ ..
CONCEPTOS GI.FICOS
.;i...
4'~
-~
.., ~
J
-~
--~~
. ~::_~
::~~-
93. Los principios expuestos en lbs prrafos anteriores conducen a un nuevo orden de ideas, en el cual
se ponen como primer fundamento de la Geometra las
propiedades grficas, antes que las propiedades de congruencia y de movimieto, de que se sirvieron RIEMANN
y HET__,MHOLTZ. Ntese que, no queriendo desde el principio introducir ninguna hiptesis sobre la interseccin
de rectas coplanaria:>, conviene partir de un oportuno
sistema de postulados, vlido en. una regin limitada
del)spacio, y completar sucesivamente la regin mcial
por medio de puntos, rectas y planos impropios (cfr.
pg. 155 ( 1 ).
DeBarrollada la Geometra proyctiva, se pueden introducir en el espacio las propiedades mtricas, aadiendo a. los postulados iniciales los que caracterizan los
movimientos o la congruencia. Hacindolo as, se en-
11
.j
1
j '
!'
~~~#..1,"':.;:i:;..._._~,...!:......~--...------~-
___J
"1
1
,_
171,.
~-
~ f
.;_1
-~~
'~
'i~
'-l:.
-~
~..
&f[
~f
-.:;',
DE EUCLIDES
-'.~
~~.(:
94. Antes de poner fin a esta exposicin histrica nos parece til decir algunas palabras sobre la indemostrabilidad del postulado de EUCLIDES.
El hecho mismo de que las innumerables tentativas
realizadas para su demostracin no condujeran al resultado esperado puede hacer surgir la duda de que sea
indemostrable, ya que el instinto geomtrico parece afirmarnos que una proposicin tan sencilla, si es demostrable, debe serlo por razonamientos igualmente sencillos. Pero tal consideracin no puede de ningn modo
adrilitfrse como una prueba de la indemostrabili_d ad en
cuestin.
- Prescindiendo del_ postulado de EUCLIDES, para seguir
los desarrollos de GAUSS, LoBATSCHEFSKI y BOLYAI, se
ci:nstruye un edicio geomtrico, en el cual no se encuentran contradicciones lgicas, y que por ello precisamente parece confirmar la posibilidad lgica de la
-'= ~
Para la deduccin de este resultado vase: BoNoLA; Dster1){a geomtrica de los tres tipos de eapu.ciJJ: hiperbl~~ .' pcirab61ico l/ elptico; Circolo Mat. Palermo, t. XV-, p~aii '63-65 (1901).
.-~
;~,
( 1)
minaci6u_por
175
GEOMETR1AS NO EUCLIDIANAS
'
hiptesis no euclidiana, que es como decir la independencia del postulado de EUCLIDES de los primeros principios .e la Geometra, y, por tanto, su indemostrabilidad. Todava el hecho de que no se hayan encontrado
contradicciones no basta para asegurarnos de esto; es
preciso asegurarse de que prosiguiendo los indicados
desarrollos jams podran aparecer tales contradicciones. Se puede hacer surgir tal conviccin, de un modo
seguro, de la consideracin de las frinulas de la trigonometra no euclidiana. Si, en efecto, nos referimos al
sistema de todas las ternas de nmeros (z, y, z)' y
consideramos convencionalmente toda terna como un
punto analtico, podemos definir la distancia de dos
puntos analticos partiendo de las frmulas d~ la susodicha trigonometra no euclidiana. Construimos as un
sistema analtico, el cual, ofreciendo una convencional
interpretacin de la Geometra no euclidiana, demuestra su posibilidad lgica.
En este sentido, las frmulas de la trigonometra n<J
euclidiana de Lobatschefski-Bolyai dan la prueba de la
independencia del postulado de Euclides de los primeros principios de la Gj_ometra (relativos a la recta, al
plano y a la congruencia).
''
Se puede buscar una prueba geomtrica de la independencia misma refirindose a los desarrollos ulteriores, de que.hemos hecho mencin. Para e.sto conviene
partir del principio de que los concepts construdos por
nucstr.i intuicin, independientez!lente de la correspondencia q_ue encuentren en el mundo exterior, son a priori lgicamente posibles, y as. es lgicamente posible la
Geometra eucldea y toda serie de deducciones fundadas sobre ella.
Ahora, la interpretacin que la Geometra plana no
euclidiana hiperblica recibe en la Geometrja sobre las
superficies de curvatura constante negativa ofrece,
hasta cierto punto, una primera prueba de la indemostrabilidad del postulado euclideo. Precisamente queda
as establecido que el postulado susodicho no puede de-
'
j
.;
1
!
'
, J
I+
l:fl
I~
k!
~1
j
.f-11
~
-~}-~
i q
:i
L~
-~
;~
"
...q,H1
i~I
!'
.,
'
Ef:s\~}j~~Jf;;?:--~~m~:~~~i~~~
..
~~ ~>~3:; :~: ~: ~
--~~::_:~~:;7"::
- ;i;..,
J-11 .
178
GEOMETRtAS NO EUCLIDfANAS
'i-?un
...
~.\..-:
tu
L OS DESARROLLOS SU CESIVOS
,._
fl
177
ll
!I
1'
,'l
ll
. . !
~J i
.:j
!1
~
l.
.,
:~'
.!
1
.J
~~
~;
( 1)
Ot:ra demostracin ms sencilla y elegante de la independencia del Postulado I se deduce fcilmente de la rep:resentacin
ideada por Ku:m y POINc.\R, del plano no euclidiano sohril el
plano euclidiano, m el cual los puntos del plano no euclidiano se
representan por los puntos de un medio plano euclidiano; laa
rectas, por las semicircunferencias ortogonales a la frontera o
contorno rectilneo del medio plano, etc. Tambin la Geometrla
~liptica puede representarse de un modo semejante, y aus correspondientes en el espacio euclidiano, las Ge<>metrlas del espacio, hiperblica y elptica. Una exacta dese:ripei6n de estas
interpretaciones se encuentra en WEBER und WELLSTllIN, Ertcvclopedie der Eleme'l!.tar-Mathematik, II, 9-11, pgs. 39-81, Leip
zig, 1905, as! como en el cap. II de la Nichteuklidiaclu-tt Geonwtrie
de H. Lu:BMANN (Sammlung Schubert, 59, Leipzig, 1905).
.,
:~
~-. f
'~
5
;.
,.:_
-.--.,:
- ---
~f:;Jf/!rf;,~~::-1{~~x)::r;
'-"~f'~;.-:;,_.-:.i i_;~ . .
..t
~'
. ,~?~~,;~Y" '
;??-"ii!,w1!1f
~;JP".
.,
'
! {
i
NOTA PRIMERA
"
..~: 1
Para demostrar el principio de la palanca, AR(287-212) se apoya en ciertas hipt esis: algunas, enunciadas; otras, sobreentendidas. Ent re las
hiptesis pasadas en silencio, adems de la que con lenguaje moderno se llama hiptesis del refu erzo de las
ligaduras (1), hay uno de los mismos casos de equilibrio
de la palanca, que pudiera enunciarse as:
Una palanca, suspendida por su punto medio, est en
equilibrio cuando a un extremo se aplica el peso 2P y al
otro extremo se cuelga, por el punto medio, una nueva
palanca, llevando en cada extremo un peso igual a P ( 2 ) .
Sin entrar aqui.en la hiato.ria de las crticas hechas
a ARQUMEDES por el uso de tal hiptesis y de las var ias
tentativas realizadas para demost rarla ( 3 ) , refiramos a
este propsito las argumentaciones de LAGRANGE, porque de ellas puede hacerse derivar de un modo sencillo
y claro una importantsima conexin entre la hipt esis
en cuestin.y el postulado de las paralelas.
l.
QUMEDES
J...
- - ~
1-~.
..
. ._'
~"{,
~)...
.....11
..
':'.~
-,
-;fo
-,TI?
......_":~
~
~I
-~
:~t
:: \ t
( 1)
Esta hiptesis puede enunciarse as: Si varioa cu erpos, sujBtos por ligaduraa, estn en equilibrio ba;o la acci.611 de f u erzas
dtultu, estarn ta~ en equilibrio si a las ligaduras 11a ezistentes u aiiadi!n otras 'nu6fla8. Cfr., por ejemplo, J. ANDRADE: U9cms <U Mkaniqull Ph:11sique, pg. 59 (Pars, 1898).
(') Cfr.: Archimedu opeTa Omnia, en la edicin critica de
J . L. HEIBERG, t _ !I, pgs. 142 y siguientes (Leipzig, Teubner,
1881).
( 1)
Cfr., por ejemplo, E. MACH: La Mcaniqu,., <i:epos ltistoriq1u et critiqu.8 <U son dt1Bloppe11'.ent, trad. por E. B ERTRAHD, .
pgs. 21 y siguientes (Pars, Hermann, 1904) . Respecto a las
varias hiptesis. sobre que puede fundarse Ja demostracin del
principio de la palanca, recomendamos el reciente . volumen de
P. DuHEH: !As origines de l.a. Statiq1e (Pars, Hermann, 1905) ,
. especialmente la nota C (pgs. 356-68.), Sur lee dit!era a zi<mes
d'01i 011 peut dduii- la thurie du levier ,
.:~~i
.,.
:l
"-.~
..
~
;;:
180
------
_.,
!ll'
'i
g).~
~;<t
~;
....
'~
1
,.,;
,,
_"'
181
;_;
'.-
~"~?.'-':~~_,,~-. =?j~~<_-;
};
182
GEOMETR!AS NO EUCLIDIANAS
~f.
18S
"":
paa, est en estrecha cone."'{in con la naturaleza eucldea del espacio. Sin embargo, si se examina la parte
esencial de dicho principio, es decir, la expresin analtica de la resultante (R) de dos fuerzas' (P) iguales y
concurrentes, es fcil establecer que subsiste independientemente de cualquier hiptesis sobre las paralelas.
Esto puede ponerse en evidencia deduciendo la frmula
-R = 2.P cos
ci,
lQ
l:;
"(-
"
donde 2a es el ngulo formado por las dos fuerzas concurrentes, de los siguientes principios:
1Q Dos o ms fuerzas aplicadas a un mismo punto
admiten una determinada resultante.
2Q La resultante de dos fuerzas iguales y contrarias
es nuia.
. R = 2/(P, a).
Una primera aplicacin de los principios enumerados
conduce a establecer la proporcionalidad entre R y P,
y '.'etO independientemente de cualquier hiptesis sobre
50. paralelas (cfr. la nota de 1i pg. 193); entonces la
: precedente relacin puede escribirse ms simplemente
.Jas
Sea a= 45.
..
_: R
~~
'"~
.?f.
i"
:;}
;;~
p,
P1
.3
.r.
-~~
Figura 56
;.:.
;~
intensidad
~.,..":
.;_,
~~
.;::.
.<
R. Tendremos entonces :
=2 ~
R f ( 45 ).
1
1
.1
'-""'"
-~:
P~,
ser
R=2P /(45).
.
I :,
'
. a:SF .
, (45)
= ~
v2:
R=2P /(a).
,..
--~ "!.,
2<?
Sea a= 60.
lares de Ja variable.
.
-~
., :- -; l
q
1
~v.-=.J:~~~gSf~~:~~;;y;::~:::o_.; -.;:~;\:
.
J
184
185
R'
p~
- P.
P1
.. \
t
P,
pi
.~
t'!
p~
'
~
1
Figura 67
l
= 2
4P/(36) /(72).
P=4P/(36 ) ! (72 ),
o bien:
[2)
/(36);
[l]
2f(36 ) = 2f (72) l .
1=4/(36 ) / (72).
Figur a 58
R=2P
f ( 36 )
..
1-
= 1 + :\
5 .
/(72 )
-l+\15
4
~ 6. Con procedimientos anlogos a los del precedente prrafo se podrian deducir otros valores para
f ( a). Detenindonos, sin embargo, en los calculados y
-,
o.;..,~4!*-~~~~~?i~~~2:~~;:~Pt~~~;;,
..
. ..... ,
~
.. <t,
-~ji;
m.1
~.:~
186
GEOMETRtAS NO EUCLIDIANAS
=1
f ( 36) = 1 + \f5
4
cos O = l
/( O)
+ \{5
cos 36 = _l
cos 45 =
'\J22
/(45)
= \2
2
cos 60 =
f(60)
= __!_
2
/(72)
= -1 + ~
f (90)
=o.
cos 72 o = -
+ \f5
4
cos 90
=o
p/ ,'/ ~p
pl
2P f( p),
formando ent re s el ngulo 2 a. Componiendo R 1 y R 2
en una nica f u erza R, obtendremos:
= 4P / ( e:)
f (p).
Pqr otra parte, componiendo P 1 con P 4
pz
187
R1
y P 2 con P 3 se
obtienen dos resultantes parciales, teniendo ambas la
direccin de R y respectivamente las intensidades:
2P f (e:+~),
2P f (a - p) .
2f ( a.) f(p ) = f ( u
+ p) + f
( :;; -
p)
cos ( a. +
p) + cos
-:
(a -
p)
_,,,
= 2 cosa cos ~.
R
Figura 59
P-;-P 3
-----------
---- -
.t
188
= }R,
~ R y descom-
dirigidas ambas
")
:<
P1
Figura 60
+ k'J..y = o,
.f' (O)+
!" (a.) +. .. .
+ "- da.
2
Igualando los coeficientes de da.' y poniendo
(0), se obtiene:
'v
f''
d~
l
J
l
---..7.: ::~:,;~~trtj~~~r~~-$10::-::~F:f~~~~,
d2y
da2
de la cual, integrando y teniendo en cuenta las condiciones iniciales del problema, obtuvo la conocida expresin de f().
La aplicacin de los principios del clculo infinitesimal exige, sin embargo, la continuidad y derivabiJidad de /(a); condiciones, observa FONCENEX, inherentes a la misma naturaleza (fsica) del problema; pero
queriendo prevenir jusqu'aux difficuUs les moins fondes, recurre al clculo de las diferencias finitas y a
unas ecuaciones de las dif erenci.as, que le permiten obtener f (a:) para todos los valores de o: comensurables
con -.. El caso de a inconmensurable con 7t, se trata cpar
une mthode fa.muiere aux Gometres et frequent surtout dans les crits des Anciens>, e s decir, con el mtodo de exhaustacin (2).
Todo el procedimento de FDNCENEX, y lo mismo el
desarrollado en el 6, es independiente del postulado
de EUCLIDFZ; todava hay que notar que FDNCENEX no
tena . el propsito de libertar la ley de composicin de
fuerzas concurrentes de la teora de las .paralelas, sino
ms bien el de demostrar la ley en cuestin, creyendo
18!1
ky =o.
v = f(a. )
y k' = -
L q. q. d.
'"
-,,'
190
GEOMETR!_".S NO EUCLIDIANAS
19 Sistema P 1 , P 2 .
29 Sistema P 1 , P 2 , Q, Q2.
39 Sistema T 1 , T 2
Ad-mitiendo el poder transportar el punto de aplicacin de una fuerza a lo largo de su lnea de accin, es
claro que los dos primeros sistemas resultan equivalentes; y puesto que el segundo es equivalente al tercero, podremos substituir las dos fuerzas P 1 , P 2 por las
otras dos T 1 , T 2 Estas ltimas, pudiendo transportarse,
a lo largo de su lnea de accin, a B, se compondrn en
la nica fuerza
LA ESTTICA NO EUCLIDIANA
~ 9.
Demostrado as que la ley analtica para la
composicin de las fuerzas concurrentes no depende del
postulado V de EUCLIDES, pasemos a deducir la ley segn la cual se componen las fuerzas perpendiculares a
una recta.
Sean A y A' los puntos de aplicacin de las dos fuer-
~:
T,
R
Figura 61
De
es claro que la fuerza P 1 podra mirarse como la componente de una fuerza T 1 , aplicada en A y dirigida
segn BA. La intensidad T de esta fuerza est dada por
T=
~;~~::~/".
--.>.,l.
~~-Vi'
;;.~ "Ta,.,
~~
sen a
cos
sen
;
C.1
' ,P::. :.
.41
l
)
1
Siempre en el mismo
b
= cos k'
:
~~
b
= 2P cosk.
y-~
<
ij! .. ,:,-;
-~
f'.;.,- '
'.:'" , <':fE;( ~'i~
R=2P Chk.
Repitiendo las mismas consideraciones sobre la fuerza P2 , obtendremos sobre el plano los siguientes sistemas de fuerzas:
~~:?i4!~~~
;.;,
=T
'
cos ()
--,
sen o:
~qu,
b
cos p" _ Ch ---.
- o: k
sen
,,...._
a: = _BAC,
_,,...__
= ABC,
= 2 T cos ~ = 2 P
191
\.
~--
,_ ~;;:::~::'F
)$
;;
'
1
~
192
CONCLUSIN. - En el nico espacio eucldeo, la intensidad de la resultante de dos fuerzas iguales y perpendiculares a una recta es igual a la suma de las intensidades de las dos fuerzas dadas. En los espacios no
euclidianos la resultante depende, del modo arriba in~
dicado, de la distancia de los puntos de aplicacin de
las dos componentes (1).
p -
..
Sh
p+q
= --=--Sh _!l_'
Sh y_
~'\
R
senp+q
k
:..~
sen
sen
;:
..!'..;
'
R=n <t>(~,
b)-
<t>(:, b)=
'\
.p ( P,b).
( P , b ) =P -11> ( b ) ,
..~.{
',
~~~~~~.~~~~~-~~~.~-~~~&r~f/!0~~~~
.;
'
( 1)
en
( 1)
+ Q cos _!l_,
k
p
q
f
R=P~(b ) .
-~~
R = P cos _E_
1
j
k'
lt
Q_
'
.
:
p+q_q_p'
i)
'
~ 10. El caso de dos fuerzas desiguales P, Q, perpendiculares a una misma recta, se trata de un modo
anlogo al precedente. En la Geometra eucldea se llegara a las conocidas relaciones:
R=P+Q,
R
1 9.1
GEOMETRIAS NO EUCLIDIANAS
........
~~
............
~,_.
~~~~~~~~~-
'
GEOMETRtAS NO EVCLID.IANAS
194
=2 p
cos ~
sen~
...
-~~
r1
- ~
A'
---~
}:'
P,
P3
,~
R2
. R1
funcional.
FONCENEX, que fu el primero en tratarlo as ( 3 ),
supone ser q (x) =constante la nica solucin de la [3],
teniendo la constante, como fcilmente se verifica, el
valor :numrico 2. Sucesivamente LAPLACE . y D' ALEM
BERT integraron la [3] 1 obteniendo:
perpendicularmente a la recta AA' cuatro fuerzas iguales, P 1 ; P 2 , P 3 , PM de modo que los puntos de aplicacin
de P 1 y P 4 disten entre s 2 (a+ b)_, y los de P 2 y P 3
2 (b-ci).
[2]
.p(b) q(a)
q(b+a) + q(b-a).
Esta ecuacin, poniendo <p(b) = 2/(b) , se identifica
con la encontrada en el 6 (pg. 187) al tratar de la
composicin de fuerzas concurrentes.
El mtodo seguido para obtener la [2] es debido a
D' ALEMBERT ( 1 ) ; si en ella se suponen a y b iguales
entre s y se observa que <p (o) = 2 se obtiene otra ecuacin:
[3]
[<p(x)]2= <p(2x) + 2,
Figura 62
'~
P <p(b-a).
Componiendo, 'finalmente, estas dos resultantes parciales se obtiene:
R = P q (b +a) + P <p(b - a).
De h1.s dos expresones de R se saca la ecuacin funcional a que satisface <p (b) :
195
.':ll
Pqi(b+a);
,,"'
( 1)
Opu.n ules matlt.matiques; t. VI, pg. 371 ( 1779) .
(') Cfr. la citada Memoria de FoNCENEX, pgs. 319-22.
() Eu otra parte (pg. 64). hablando de lo escrito sobre l1o1
mecnica de FONCE1U:X, se dijo que LAG!u.NGE fu su inspirador,
si no el autor. Esta opinin, acogida por GENOCCHI y por otros
gemetras, procede de Dl:LAMBKE. He aqoi cmo se expresa e l
ilruitre bigrafo de LAGJl.il!GE; <Il (LAGRANGE) fournissait a
FONCENEX la partie- analytique des ses Mmoires en lu laissant
le soin de dvelopper les raisonnemnts sur lesquels P-Ortaient
ses formules. En effet, on remarque dja dans ces Mmoires (de
FONCENEX) cette marche ' purement . analytique, qui depuis a
fait le caracte?e des gran.d es productions de LAGRANGE: 11 avait
trouv une non-velle thori du levier;>-Notice sur la me et les
O"Uvragtt de M. le Comt1J Lagronge; Mm. Inst. de France, classe
Math, et Phy., t: XIII, pg. .XXXV (1812):
.. c.:;~~~~~F:~~~~fit:~,-
:lo-. '"' -~
.i
1
19(J
GEOMETRtAS NO EUCLIDIANAS
.=.
qi(x)=e"+e
11
'!'
Valor 1
.de e
Forma de tp (z)
1
%
Relaciones
trigonomtricas
197
'
i;
......
'
!
1
j
1deTIpiano
1
c=k le1 +e--=2Ch~ Ch b _ cos ~ 1 hiper1
- --"= 2 cosx
iz
iz
e= i k 1 e"+ e
~J:
\lll{i .. .
-;i;
i. ":
.
~9;~1;:~~f~~-/ _> .~:':.: \. .~~ ~
e=
:,:-
, ~--
. .,
::
.,
J~
, ..-_
~J'.
~-
a-;..,.,
o:
cos
cos k
= sen a
blico
1 para-
'
1 .
cos
1 = .-.- sen
!(,
'
_,
1
1
blico
)li-(:c.
.;vro.
./~,,~~~i~~'!.P
106-11!;
( 1)
Uno de ellos es la Memoria citada en la pg. 189; otro,
que se remonta al 1869, tiene por ttulo: D los primeros principio, de la MecdnicG 'I de la Geom.,t - relaci# c01t el pos-
tulado dJs E~lidu; Annall della Societa italiana delle Scienze (3), t. II, pgs. ' 153-89.
;;
~:~ ~ ~.,-~.. :_
'-~ ~~
..
1
l
1eliptico
..
-'>
e + .e . = 2
<lO
k - sen
,~_;.
~'
- . .:.
. -
t..:o;;:lll!llll"i!?F;~~~!'O:<'""'i..J.'..!l':l.!""''"'!~"'-"'-~-!!'.~-;:,'5.~'""=-..~-.
'__,, '" ..
:;
''.
1
!i
il
!: ~ ~ t-
J'
NOTA SEGUNDA
~~
f!
il11
CLIFFORD
~ l. Las paralelas de EUCLIDES son rectas que poseen las siguientes propiedades:
a) Pertenecer a un plano.
b) No tener puntos comune.s.
c) Ser equidistantes .
ti'
Se
tt:;::
f .
i :l
:!
I
i
'lii
'l
'.il
~. 2.
Se presentan entonces dos casos, segn que dichas paralelas pertenezcan o no al mismo plano.
~f
31:
.~-i~~k~~~?:'f::i'~!<'~"-
- ------ -
... .._
- ": .
~- ,....-.. ~- -
.;-:
'
.!
200
GEOMETR!A.S NO EUCLIDIANAS
El caso en que las rectas equidistantes sean coplanarias est ya agotado, puesto que los precedentes desarrollos (~ 8) nos permiten
afirmar que el espacio coA
B
rrespondiente es el eucldeo
ordinario. Supondremos,
pues, que las dos rectas
equidistanti:;s r y s se crucen y que fos segmentos de
A,
B'
perpendicular bajados desde los puntos de r sobre s
Figura 63
sean iguales: .e~tos segmentos sern evidentemente
perpendiculares tambin a r. Sean AA' y BB' dos de
estos segmentos. El cuadriltero alabeado ABB'A', que
as resulta, tiene cuatro ngulos rectos y dos lados
opuestos iguales. Es fcil ver que tambin los otros dos
lados opuestos AB, A'B" son iguales, y que cada diagonal, por ejemplo, AB', forma con las dos paralelas
ngulos alternos internos iguales. Esto resulta de la
congluencia de los dos tringulos rectngulos AA'B',
,,
AB'B.
Si a.hora se examina el triedro A (A'B'B), en virtud
de un teorema sobre las caras, vlido a la vez en los
tres :;istemas geomtricos, podremos escribir:
'N
~
!~
;'
~
..I'
;~
,.
'l
't
::,
..............
<{
:fj
:t
lH
1A
-1
.
i
B'
B1 ,.
..........
HB' =BM.
3. Para demostrar despus que en el espacio elptico de RIEMANN existen efectivamente pares de rectas
que se cruzan equidistantes, consideremos una recta arbitraria r y los infinitos planos perpendiculares a ella;
estos planos pasan: todos por otra recta r', la polar de r
en la polaridad absoluta del espacio elptico. Un seg-
., l[]~?{'j~~~~~1[~~'t~~~~-;
F igura 64
201
~~>~0~~~. :~~--c~
- :
~- J
'
202
GEOMETRIAS NO EUCLIDIANAS
LAS PARALELAS Y LA SUPERFICIE DE CLIFFORD
-;,
3) Si dos segmentos son i{fll.al.es y paralelos, uniendo convenientemente sus extremos se obtiene un. paralelogramo alabeado.
se
203
Esta propiedad, que puede considerarse, en cierto sentido, como inversa de la segunda, es tambin de inmediata verificacip.
4) Por un punto cualquiera (M) del espacio, que no
pertenezca a la polar de una recta ( r) , pasan dos paralelas a l,a recta.
En efecto, desde el punto M bjese la perpendicular
MN sobre r y sea N' el punto en que la polar de MN
corta a la r. Sobre esta polar fjense luego los dos segmentos N'M' y N'M", iguales a NM, y nanse los puntos
M', M" con M. Las dos rectas r' y r" as obtenidas son
las paralelas buscadas.
Si M perteneciese a la polar de r, sera MN igual a
la semirrecta y los dos puntos M" y M' coincidiran.
Por consiguiente, vendran a coincidir tambin las dos
paralelas r' y r".
El ngulo comprendido entre las dos paralelas r' r"
puede medirse con el segmento M'M", que sus lados
interceptan sobre la polar del vrtice; entonces podremos decir que la mitad del ngulo r'r", esto es, el ngulo de paralelismo, es igual a la distancia de paralelismo.
Para distinguir las dos paralelas r', r" consideremos
un moYimiento helicoidal del espacio, de eje MN, en el
M
,;~
'
.:~
//r
1M''
Figura 65
:-"~~~~%~;~;;{,-{:,~~r~;f:~:.;
1
1
-1
'
'j
!
1
.,
.l
20."i
204
Los deslizamientos pueden ser dextrorsum o sinistrorsum. Entonces, refirindonos a las dos paralelas r',
r", es claro que una de ellas podr superponerse a r con
un deslizamiento dextrorsum de amplitud MN, mientras
que hl. otra se superpondra a r con un deslizamiento
sinistrorsum de la misma amplitud. Por esto las dos
rectas r' y r" se debern llamar, la ppmera, paralela
dextrorsum; la otra, paralela sinistrorium ar.
5)
Dos paralelas {
dextrorsum
. . tr
s1n1s orsum
ABB'
Se'ln b y e paralelas dextrorsum a a. Desde los puntos A y A' de a, distantes entre s la semirrecta, bajamos las perpendiculares AB, A'B' sobre b y las perpendilares AC, A'C' sobre c. Las rectas A'B', A'C',.,...._son las polares de AB y AC, por lo cual el ngulo BAC es igual
al ngulo B'A'C'. Adems, por las propiedades de las
paralelas, existen las siguientes igualdades segmentarias:
AC= A'C',
AB=A'B',
por las que los dos tringulos ABC y A'B'C' son iguales.
De aqui la igualdad de los dos segmentos BC y B'C'.
Adems, siendo
BB' =AA' = CC',
el cuadriltero alabeado BB'C'C tiene los lados opuestos
iguales.
Pero para establecer que b y e son paralelas precisa
tambin demostrar que los ngulos adyacentes del cuadriltero en cuestin son suplementarios (cfr . . 2).,
e
e
b
B
A
A'
rclo.
BC =Aire'.
Adems, los dos diedros de arista BA y B'A' son
ambos iguales a un diedro recto, disminuido (o aumentado) en el diedro que tiene por seccin normal el ngulo A 'BB'; dedcese la igualdad de los dos triedros en
cuestin, y de aqu la igualdad de las dos caras B3C
,,,,. ........
y B"B e . De esto se deduce que los ngulos B y B' del
cuadriltero BB'C'C son suplementarios, y, sucesivamente
dl cuadriltero, etc.),
.,... (trazando las diagonales
,,....
que B es suplementario de C, y que C es suplementario
de e' etc.
Podemos, pues, afirmar que b y e son paralelas. Que
el paralelismo entre b y e sea dextrorsum, si tal es el
paralelismo entre las dos rectas en cuestin y la recta a,
se verifica intuitivamente, examinando la figura.
~,
dextrorsum 1
,
ta son paralelas { . . t
)-entre si.
sin is rorsum ,
= A1B'B" = 1
el
,-"..
...,
,,_.
,:-:;_.
LA CUDRICA DE CLIFFORD
5--
~ 5.
...
todas las rectas que se apoyan en tres paralelas dextrorsum son entre s paralelas sinistrorsum. En efecto,
si ABC es una secante comn a las tres rectas a, b, e,
y si se toman sobre estas rectas, en un mism sentido (1), tres segmentos iguales AA', BB', ce, los puntos A', B', e' pertenecen a una recta paralela a ABC.
El paralelismo entre ABC y A'B'e' . es luego sinis-
trorsum.
De esto se deduce que tr:e8 paralelaa a, b, e definen
una superficie reglada de gegundo orden ( cudrica de
Glifford), de la cual las rectas secantes a a, b, e constituyen un primer sistema de generatrices (g 8 ) ; el segundo sistema de generatrices (g4 ) est constituido
por las infinitas rectas que, como a, b, e, se apoyan
en las Ya
( 1)
Es claro que fijado un sentido sobre una recta, queda tambin fijado sobre toda otn recta paralela a ella.
Fi2"Ura 66
~~i~~~~~~~~1;1~.:~.~-~;:~-~~~
1ll#J~!;~,
; --- ~ :-;:
. .... .. -
,_,~;..-J."> ...
""""'-""'-
-1- ~
~ ) -' --
.,
-'<~:.
206
GEOMETRt.4.S NO EUCLIDIANAS
6.
M
N
Figura 67
mando _D y S a los puntos en que la polar de LN encuentra respectiYamente a las rectas d, s, y H al punto
medio de DS = 2o, las rectas HL y HN son paralelas
tanto a s como a d. De las dos rectas HL y HN escojamos la que resulta paralela dextrorsum a d y sinistrorsum a s; sea, por ejemplo, HN. Entonces. la superficie
de CLlFFORD considerada puede engendrarse por la rotacin de s o d alredecior de HN. Con esto queda pro-
Z07
li
1
11
!;
/i
L
i'
I
~
.. t/'~
JI
!I
li
''
:
I '
l
i
'
"
~-
Jl
'{t
.. j:.
GEOMETRtAS NO ZUCLIDlANAS
208
fj
ella; el meridiano y el paralelo que pasan por M determinan respectivamente sobre u y v dos arcos, OP. OQ,
cuyas longitudes u, v sern las coordenadas de M. Es
manifiesta la analoga entre el sistema de coordenadas
adoptado y el sistema cartesiano ortogonal.
Sea M' un punto infinitamente prximo a M; si u, v
son las coordenadas de M, las de M' podrn indicarse
con u + du, v + dv. Si ahora se considera el tringulo
infinitesimal MM'N, cuyo tercef
,,
vrtice N es el punto en que se
encuentran el paralelo de M y
el meridiano de M', es claro que
el ngulo MNM' es recto, y que
Q~
las longitudes MN, NM' de los
M
u
catetos son precisamente du., dv.
Por otra parte, el tringulo
en cuestin puede mirarse como
P' J..
o
rectilneo (situado en el plano
Fii:ura 63
tangente en M) ; as que, por
las propiedades infinitesimales
de los tringulos planos, su hipotenu&a ds est ligada a los catetos du, dv por el teorema ele PITGORAS:
Pero ambas sumas, };d,x, :t:.dy, representan la longitud l de la recta, por lo que el rea !J,. de la superficie
de CLIFF()RD toma la sencillsima forma:
. .6. = l 2 . sen a,
"
ds 2 = du 2
+ dv2
sen 6 =sen 6
dx }; dy.
209
-~
9. Las.ideas de CLIFFORD, explicadas"en los precedentes prrafos, condujeron a KLEIN a un nuevo modo
de formular el problema fundamental de la Gwmetra.
Queriendo dar una ligera indicacin de las ideas de
KLEIN, refirmonos a los resultados del ~ 68, relativos
a la posibilidad de interpretar la Geometra plana con la
de las superficies de curvatura constante. El parangn
entre las propiedades de los planos eucldeo y no eucldeos y las de las superficies en cuestin fu entonces
restringido a regiones convenientemente limitadas; ampliando el parangn a las formas completas, se encontrarn, en general, diferencias, imputables alguna vez
a la presencia de puntos singulares de las superficies
(ejemplo, vrtice de un cono), otras a la conexi6n de
ellas.
Prescindamos de los puntos singulares, y como ejemplo de superficie de curvatura constante, por todas partes regular, dotada de una conexin distinta de la del
plano eucldeo, consideremos el cilindro .ordinario.
La diferencia entre la Geometra plana y la cilndrica,
entendidas una y otra en sentido integral, fu ya explcada (pg. 141), observando que el postulado de la
congruencia entre dos rectas arbitrarias cesa de ser
verdadero en el cilindro. Sin embargo, existen numeroaas propiedade8 comunes a las dos Geometras, teniendo su origen en el doble carcter de tener tanto el plano
como el cilindro la misma curvatura y de ser ambos
regulares.
1
!
,
'f ;
\r. . .
(1) Preliminary Sketch, ... , citado en la pg. 202.-Las propiedades de la cudrica en cuestin, ligeramente indicadas por
CLIFFORD en 1873, encontraron un mayor desarrollo en el trabajo de KLErn: Zur Nicht-Euklidischen Geometrie (Math. Ann.,
t . XXXVII pgs. 544-72, 1890) .
.,,tr~~~~-r~~~~uo
<
--~
..
_i~~
.:-1:~-.
sin).
~
Los postulados de extensin podran pedir, por ejemplo, que sobre el plano completo fuesen vlidas las propiedades de la regin accesible; seremos conducidos
entonces a las dos formas del plano, parablica e hiperblica; si en cambio dichos postulados pidiesen la extensin de las propiedades en cuestin, con eventual reserva. para las que atribuyen a la recta los caracteres
de lnea abierta, junto a los dos planos indicados deberemos enumerar tambin el plano elptico.
Pero las precedentes consideraciones sobre las superficies regulares de curvatura constante sugieren un
modo ms general de enundar los postulados de extensin; podremos, en efecto, pedir simplemente que en
torno a cada punto del plano sean verificadas las propiedades de la regin inicial. Entonces la clase de las
formas J)osibles del plano se amplia notablemente; se
podra, por ejemplo, concebir una forma de curvatura
nula, doblemente conexa y representable completamente
sobre el cilindro del espacio eucldeo.
La investigacin de todas las variedades de dos di-
mensi<mes, de curvatura c01t8tante, por todas partes regulares, es el ob;eto del problema de CLIF'FORD-KLEIN.
~
10. Es posible realizar con convenientes superficies regulares de curvatura constante del espacio eu~
cUdeo todas las formas de CLIFFORD-KLEr~?
GEOMETR!AS N O E U CLIDIANAS
210
'~
:$,~-~
ZH
'\
'
l,
ti
212
-~
;.N
GEOMETRJAS NO EUCLIDIANAS
1
'I
NOTA TERCERA
--:
.,
LA CONSTRUCCiN DE PARALELAS NO
EUCLIDIANAS
-"i
~-
'
~
Il (l')
l
1
i
1
,
:
~
=~
- I I \l),
2
etctera.
1
1
Entonces es vlido el teorema: A cada tringulo rectngulo (a, b, e, )., 11) corresP<mae un cuadriltero tri. rectngulo con el cuarto {agudo) ngulo ~' cuyos lados
se ven . desde el vrtiCi del ngul-0 agudo en el orden
e, rn', a, 1.
Es vlido aun el inver8 de este.. teorema.
De esto se deduce la siguiente construccin (fig. 69 ) :
Para trazar por A la paralela BC, se baja la perpendi(1) Vase pg. 256 de la obra de ENGEL (citada en el
111
<fi
I'
ij
l1.
38).
ll
.,
}
1?
_.,._
--r
..
~-:~-~~ -t...... _ -
~-J
~..
..;.,,!
~i
~ "
.:,#
lf;
!\';
~,J
1~
'~
. :14
GEOMETR!AS NO EUCLIDIANAS
.Firrur& 69
.\'i
<t: EAD
puesto que
'i~
<t: BAE
~. AD
t"'1-51"'
~1
!ii
.~.
~i
1
f.'~ l
.1
. 1
.::"l
' .'il
,~1
= .,
= 2-. = n
2
(m').
Para evitar las frmulas trigonomtricas en la demostracin de esta construccin se puede tratar de demostrar directamente que la prolongacin de la recta
~ AE (simplemente a causa de la igualdad de BC y AE)
no corta a la prolongacin de BC, pero tambin que no
tiene con ella ninguna altura (Lot) comn, y que por
consiguiente debe ser paralela a ella. Esta demostracin
no ha sido tratada hasta ahora.
Se puede adems justificar la construccin demostrando el teorema que dice que en el triedro de aristas
paralelas la suma de los ngulos diedros es dos rectos,
y en u.n n - edro de aristas paralelas dicha suma es
(2 n-4) rectos (V. 48) (1).
Finalmente, es tambin posible deducir, sin utilizar
la Geometra no euclidiana del espado, que la adjuncin
de que se trata en el anterior teorema - la construccin
de paralelas hasta squi hechas, como ya lo muestra la
figura 69, slo en parte se usar - es demostrable.
2. Demostracin directa de l,a, construccin por med(>, de Poliedros raaiados de aristas parolelas.
Levantaremos sobre el plano del cuadrilatero trirrec-tngulo _ABCD, cuyos elementos determinantes designaremos con:
:<t:-Bcp =
215
LA CONSTRVCCiN DE PARALELAS
Fizura 70
encuentra a CD en E (ED = b1 ), y por An y E hagamos pasar un plano que corta a' CDn segn En. Por
definicin es entonces
-
<t EAD =
; -
rr
(m')
= ; - (; -
)=
.!
'1
Se estabiece en seguida que el plano nAB es perpendicular a a y que el plano ODA lo es a l, porque nA y
AB son perpendiculares a a y nD y a lo son a l.
Adems es
de cuatro aristas paralelaa O (ABCD) los ngulos diedros correspondientes a las aristas nA, B y nD son
rectos y la suma de los cuatro ngulos diedros es igual
a cuatro ngulos rectos), el otro a lo largo de EA, un
ngufo diedro recto; adems el ngulo diedro de CD
es idntico al de ED (por tanto, igual a a).
.
:::;.~~
i.\.'N..4l.1\~
~'Z".i&itdfai:imirm&i:zw
6~~~--------------------
l.
.;
.-
~16
CEOMETR! A S N O E U CLIDIANAS
L A C ONSTRUCC! N DE PARALELAS
" -
317
.~
= <!: ABn.
~!.
t_ ''."
~.
~~
r: _
.'!.'
..
BD
'~
=m.
<t:CAD= ~ =Il(b) ,
y ,. -
y tambin ig ualmente
), + <!: DAe = A+ II ( e +
m ).
de paralelismo
= BC y
C1
,:'_@.':
-~
.
== AE
;~
finalmente,
es decir,
== rr
(l)
= /,;
'
:~
.lJ
'.-~1$'
Fiirura 71
.,;~~";'
;;
..-'~'-;;;:-1<
-:~ ..V
-~,'?
;;.
......
Obtenemos a.s la primera de l as seis siguientes relaciones, de las cuales la tercera y la quinta se obtienen
por construcciones semejantes; la segunda, cuarta y
sexta resultan de Jo que antecede, cada vez que se permuta-u. los catetos a y b y paralelamente los ngulos ),
y . De este modo .se deduce la tabla ( 1 ) :
)., + rr (e+ m) = ~.
+~=II(c-m),
. Con sto queda completamente demostrada la adjuncin que en el teorema anterior se enuncia (1).
('') BONOLA.: Ist. Lomb. Rendiconti. Serie 11, vol. 37 (904),
P'gs. 255-58. Ya antes fu demostrado este teorema, tambin con
mtodo puramente geomtrico, por F. ENGEL: BuU. de la Soc.
Plt.11Bico-Mathmatique, Kazn (2) VI {1896), y en los Berickten
tkr K. S. G. d. W., Math,..Pkye, Klasse 50 (Leipzig, 1898) , pginas 181-187.
II(b+l)+II(m--a)= 21
. + n (e
l ) =a:;
.+a:=II(c-l);
-;:,
1 '-
II(m+a)+IT(l-b) :::;:2
Relaciones semejantes a stas pueden deducirse tambin, para el cuadriltero trirrectngulo, por medio de
c
1
"' .,
~-
- :s
"!
'!.\
j
. ~;
f,
"'
'
.fo
~
218
G EOJUITR1AS NO EUCLIDIANAS
construcciones anlogas, prolongando ciertos lados, trazando las perpendiculares a ellos que son paralelas a
los otros lados construidos, etc. Designemos en el cuadriltero con ~ 1 el ngulo agudo y los lados con c1 , m'1,
ai, li; s~ obtiene la tabla:
A +
A.1
II(C
~1
<li +
+ m) = ~l
"'(1
Il(c1 -
11
m),
II
n(l1 +b 1 )+rr(m-a)=
Las construcciones hasta aqu hechas dependen totalmente de fundamentos mtricos; pero se puede tambin
utilizar el h echo de que ]os conceptos mtricos de ortogo,.
nalid~d y de paralelismo tienen una significacin proyectiva (~ 79) y de que la Geometra proyectiva es independiente del postulado de las paralelas O 80) .
Cmo se podrn encontrar, segn esto, por ejemplo,
las dus paralelas a una recta, pasando por un punto A'!
Sean sobre g los puntos P 1 , P:tt P 8 y P'1 , P'21 P'8 , de
modo que los puntos designados con letras acentuadas
todos estn a un mismo lado de los correspondientes
puntos sin acentos y que sea
.._j
a'1) = ~l
;;.
.<
2'lt'
:-;
";). .
= 21
-~:t.
,.
'lt
:i
P 1 P'1
,...,.._
11
..
~i-= ~.
1 =a.
Con esto queda una vez ms demostrado el teorema.
De las dos tablas de frmulas podr nlterim:nlente deducirse que a un cuadriltero trirrectngulO" con los elementos (a, b, e, A., .) corresj)onde un segundo con los
elementos:
ai = . a, b i = l' , c1 = m, A.1. =
2'it -
(.)
P'
P.1 = 1' ,
219
LA CONSTRUCCiN DE PARALELAS
;;
= P P' = P P'
2
3;
~~-
FP-.
'f;ltfT
-:'
::;~if::;~~~~~~i~f-~:::;:_. ~-~-~
~
1'
220
GEOMETR!AS NO EUCLIDIANAS
'l'i
;l
'
~
fl1
.~,
~t
_~.1-
":~
.7~~
<
..;:~
:""'.-''~~~
':""":;?;-:
itl
Bessel F. W. (1784-1846):
pg. 76, 77.
Besthorn R. O.: pg. 24.
Bianchi L.: pg. 131, 136,
207.
Biot J. B. ( 1774-1862) : pgina 63.
Boccardini G.: pg. 55.
Bolyai J. (1802-1860): pgina 62, 66, 70, 71, 76, 77,
80, 101, 102, 103, 105, 106,
107, 108, 109, 110, 114,
115, 116, 117, 118, 120,
124, 125, 126, 127, 139,
142, 147, 151, 153, 155,
156, 159, 162, 167, 170,
171, 172, 174, 191, 192,
199, 219.
Bolyai W. (1775-1856) : pgina 71, 103, 104, 105,
123, 125, 127.
Boncompagni B. (18211894): pg. 127, 128.
Bonola R.: pg. 40, 44, 118,
173. 1'14., 216.
Borelli G .A. (1608-:IB79') :
pg.~. 30, 33.
e
CampanQ G.
(siglo XIII) :
,
~
pg. 38.
Gandalla F. {1502-1594):
pg. 33.
Carnot L. N. M. (1753.
1823) : pg. 64.
~.
-:.
-~
:;!!
.;!
ft::P_ . .....
. i ."?".._.
/" '
i
fU
~DE
CH
Chasles M.
pg. 154.
(1796-1880):
D
Dedekind J. W. R. (18311899): pg; 140.
Dehn M.: pg. 44, 124, 144,
145.
.
Delambre J. B. J. (17491822): pg. 195_
Dichstein S.: pg. 140.
DuhelJl P.: pg. 179.
F
Fano G.: pg. 152.
Flauti V. (1782-1863): pgina 28.
Foncenex (de) D. (17341799): pg. 64, 188, 189,
195.
Forti A. (1818- ? ) : pgina 125, 127.
Fourier J. B. (1768-1830) :
pg. 65, 66.
Frattini G.: pg. 129.
Friedlein G.: pg. 20.
-~
..
G
Glauss C. F. (1777-1855):
pg. 71, 75, 76, 77, 78, 79,
80, 82, 83, 87, 89, 93, 94,
95, 96, 104, 105, 114, 125,
126, 129, 133, 134, 136,
174, 199.
Gemino (siglo I a. C.) : pgina 20, 24, 25, 36.
Genocchi A. (1817-1889) :
pg. 145, 189, 195, 197.
Gerling Ch. L. (1788-1864):
pg. 76, 77, 80, 81, 82,
125.
Gherardo da Cremona (si-
glo :m) : . pg. 24.. . _
Giordano Vitale . (16331711); pg. 3'.), 111, 34, 40.
Gregory, D. (1661-1710) :
pg. 34, 36. - .
Grossm1i.nn: pg. 219.
Gnther S.: pg. 129.
223
Kaestner A. G. (1719-1800):
pg. 62, 71, 75, 77.
Killing W.: pg. 212.
Klein C. F.: pg. 131, 140,
147, 152, 156, 162, 173,
177, 199, 209, 210, 212.
Klgel G. S. (1739-1812):
pg. 28, 56, 62, 75, 82, 97.
Krschk J.: pg. 116.
L
ilf
;~
'
Lagrange J. L. ( 1!73'6N
1813): pg. 63, 64, 179,
Nasir-Eddin (1201-1274):
180, 195.
pg. 26, 27, 28, 29, 32, 50,
Laguerre ;E. N. (183451, 123.
1886) : pg. 154.
-~ Newton I. (1642-1725): pLambert J. H. (1728-177'l):
gina. 64.
- pg. 56, 57, 58, 61, 62, 68,
69, 76, 77, 80, 82, 84 88,
89, 91, 92, 97, 102; 131,
Olbers H. W. M. ( 1758:'141, 144.
' "."'
Laplaee P. S. (1749-l~~J):
1840): _pg. 76.
.. " :; ,' "-pg. 64, 65, 195, 196.-~~ ' __ Oliviero di Bury (primera
"' '.,'~ Legendre A. - ~; (1752- : , -' mitad del siglo XII): p"'
1833) pg. 43, 44, 66, . 68, gina 33. . 70, 80, 94, 126, 130,>:-141,
Ovidio-(d') E.: pg. 129.
144.
.
.
.
"
Lclbniz G. W. F. {1646- p
1716\: pg. 65._ . - -Lie/S.~(1842-1899): pgina Pacciolo Luca (aprox. 1445~
151, 152, 153,. l71J. .
. - 1514~ : pg. 33.
,
E
-i
(:
_,t
.;"J?~;.~~:~;
-l
, ~!'
:;..
".,j
'l
.J
..!
224
.Pascal
E.~
pg. 140.-
Seyifer K. F. (1762-1822):
pg. 71, 77.
Sin:;plidus (siglo VI) : pgi~
(I. 24, 25:, ,
-Wl~
::-;'-177.
Smtsoff :J?._,,. pag. 140. _
Poncelet J. V. (1788'-1867): - Stackel P.: pg. 32, 55, /)6,
,_ -pg. 154.
61, 71, 73, 76, 88, 89; 105,
.Posidonio (siglc I a. C.):
116, 117, 127, 128.
... pg. 20, 25.
Staudt C. G. -(1798-1867) :
Proclo (410-485): pg. 20,
pg. 131, 153.
"
21, 22, 23, 24, 29, 30; 34,
Szsz C. (1798-1853): p35, 36.
gina 101, 102.
-~
-!t-
- Riceardi P. (1828-1898) :
pg. 33.
Ricordi E.: pg. 129.
Riemann B. (1826-1866) :
pg. 128, 131, 140, 141,
142, 143, 144, 145, 146,
147, 148, 149, 150, 151,
152, 153, 155, 156, 157,
158, 159; 162, 172, 173,
174, 176, 177, 191, 200.
Tannery P. (1843-1904):
pg. 24, 36.
Taquet A. (1612-1660) : pgina 33.
Tartaglia N. (1500-1557) :
pg. 33.
Taurinus Fr. A. (17941874): pg. 76;__77, 83, 84,
87, 88, 89, 93, "94, 95, 96,
104, 115, 139, 170.
Tilly (de) F. M.: pg. 66,
117, 192. Tolomeo (87-165) : pg. 21,
22, 123.
-
s
Saccheri G. (.l.667-1733):
pg. 22, 37, 38, -40, 42,
43, 44, 48, 50, 51, 53, 55,
56, 57, 62, 66, 67, 76, 77,
82, -83, 84, 92, 93, 94, 97,
102, . 124; :131, -141, 142,
143, - .144, ' 145. _ '
Sar.-..orius ,v;-Waltershausen
W; - (1809-1876) : pg. 125.
~a'1le H. (1549--:1(122) : p.- -- ,;. gma 33.
_/~~.:. -' ~~hmid~_, F. _(1826-:!-901):
'.J'i~f.:r.;>~'1\cfpg; 1251 .127; ,128; mxiachei : H:: C. ;' (1780;q)~~ _pg; .76, -77, 78,
< --
...
'.
"
..
,,,.
V
~~ 1'
w
Wachter F. L. (1792:-181.2);:
pg. 72, _73, -77,;11-L - " i'.~:._.
Wallis :J'. (1616-1703):- .pgina 2~ 32, "33, 43; 64;123.
'"'';
z:-,_
Zamberti -B. (primera~ :ii
tad del siglo~) ::;pg._3 3.
Zenon (-495.:.'.435): _p~23.
Zolt (de)~"A.: pg: 129~ ~..
,_
,,,
y
-l
..;
..
! ' e.
'