Beruflich Dokumente
Kultur Dokumente
.- ~
< :::
'~N
~~~
~~
~~
~ti)
~~
Q)~
$Q)
Q)
ti)
'.
e ,.
u... _t"_
-~
.'
. .
b(J
- t
' ....
~~::t:--~~ . "
J.~:
. ..
.,.
,J'.
.:;
-~
..:
('
~
'-1
.....
-.......
11:
'::t
r~
.J
-.r
<:t
,...,_.
..
_ _ _J.
- - - - .. -..1"':
-- .....
'
t
t
EUCLIDES
PREAMBU L O
son las noticias que se t ie ne n de la vid a de Euclides . l'roM UYclo escasas
dice que floreci bajo Ptolo m eo 1, y, por ta11to, e 11 el periodo
'
..,
.\
~
~-?~": , .
..........: ~-
,....
!'
689
690
< 11.:-.111
Hu~
t..Ull
l.lJ~ .
1 O~IU
'
! ''.
-- -~- - - - -- -
"'.-~:'1"
~~~t
'
..
11
69 1
--------~-
692
EUCLIDES.- 81 Bl.IOGRAF IA
'
BIBtIOGRAFIA
Las obras del mds fam.oso gemetra. que registra la historia de la Ma.
temdtica son las siguientes:
~I J.."to1z1ia: Elementos, en trece libros, a los que casi todos los editores, agregan otros dos, cuya autenticidad es dudosa porque nir1guno de
los manuscritos se los atribuyen sin reservas. El que figura con el nmero XIV podra ser de Hipsicles, que floreci l1acia 150-110, 11 trata de
los polgonos regulares con elegancia, pero sin el caracteristico rigor euc/j.
dC"o: y el XV se cree generalmente que es de Damascio de Damasco, del
sit:lo IV antes de J.C.; fue vertido al lat11 en el XII por Gerardo de Cre
111011a, en la Escuela de Traductores de Toledo, y consta de tres partes,
la primera de las cuales trata de la inscripcin de unos poliedros en otros;
la ug1111da-que es muy corta-estd dedicada al problt:ma de encontrar
las aristas y las caras de los poliedros regulares, y el objeto de la tercero
es ddenninar la amplitud de los dngulos diedros de los cinco poliedro1
regulares, cuyas demostraciones declara t: autor del libro que las expo.
ne St'gn el m'todo de su maestro Isidoro 1 ; 6i 1e10' W( 'lol6"'e' 0
~iueo' i9''1Y~' iy' 616Coa>.oo, 111 ror rexor Jotror, fundado en la
propit'dad dt' Hr alturas las medianas de un tridngulo equildtero.
La historia de 101 Elementos es la historia de la Geometrla desde qui
fueron t'scritos hasta el Renacimiento.
Durantt' mucho tiempo se ha credo que Euclides se limit a enunciar
sm proposiciones siendo Then de Alejandria 1 quien las dnnostr, error
...
...:
-___,..,...-:-~
693
'
'
'
b!H
~-
9"
...,
EUCLIDES . - BIBLIOG:IAl IA
..
"''Jiic:iorws
a~JIO''-tJe'al.ln .....
(f
.
~
_ _ _ _ _ _ _ _ _ _ _ _ _ _ __ L
'
695
''JtJ
Lll
r...
111 I L IJ!:>
l , l<ll l,U!:>
lu ~ h)
'"'
"
...
_l
697
t8
Lllt. l IHCOS
GHIL~O S . -
JUMO 1
rlll<'l 11 ; N. 1'. lk1111er 11 crt'e 111e los lugures e udi.11.'1 e1u11 c11rvus lru
idas e11 unu rn>er/icie, y Cha~les 1 ~ opina que la obra tratuba de las cudicas de revolucin y sus seccio11es pla11as, apoyar1do su tesis en la pro>siciJn 11 del tratado Sobre conoides y esferoides de Arqumedes, en
mde, luego de enunciar a/gimas propiedades de estas superficies, din
siracusano que las demostraciones de tales propiedades son evidentes:
,,,w .. /JI :ianw,. 'l'"'eai ;,.., o cinoch!1c, lo que parece indicar que Ar11 1111edes aluda a ur1a obra anterior, que podria ser la de Euclides.
Heiberg lll 110 cree que dicha frase arrebate a Arqulmedes la prioridad
1 el estudio de las cuddricas y , recordando los conocimientos de Estereo>ma que tenan los griegos anteriores a Euclides, opina que la obra de
rte colltena, adems, las propiedades del cono, cilindro y esfera, y, aceJ ta111bih1, del toro de Arquitas ll.
IV. Xw ....,: Secciones cnicas, obra de la que puede decirse, como
e la a11terior, que todo son conjeturas acerca de su contenido. La critica
10derna cree que se trata del arreglo de otra de Aristeo sobre el mismo
m1a y sirvi de base al tratado de Apolonio.
Arqumedes habla en varias ocasio11es de ciertas propiedades de las
eccio11es cnicas que crea conteriidas en el escrito de Euclides, quien
011sider como propiedad fundamental de las curvas que estudi la u iresada por la ecuacin cartesiana yl 2px + qx2.
V. fl1ei lua1eia1"'" ~1pJ.io>': Sobre la divisin de las figuras, obra de
a que solo se sabia lo que dice Proclo : que trata de la divisin del circulo
' de las figuras rectilneas en partes proporcionales, hasta que /olm Dee u
ncontr en 1561 un manuscrito rabe con un titulo andlogo al citado
m griego y lo tradujo al latfn, atribuy~ndolo a un tal Mahomet de Bagdad,
v en
"
n Jean-Etienne Montucla (1725-1799) escribi una Histoir d.s Mathlmatiquu, Pars, 1754, que es, realmente, la primera digna de este nombre. Tiene et
defecto de su parcialidad por todo lo franc~s. En el tomo 1, p4g. 172, dice
que para Euclides loa lugares auperlicialea 'n las 5uperficlu en general, y ca
la pjg, 214 asegura que e trata de las Uneas de doble curvatura.
11 Nota a su trad. alemana de la Histoire des Mathlmatiques, de Bossut.
"Aper:u historiqu sur l'oriiine d t le dvlloppement des mlthodes en
Gomtrie, 3. cd., nota 11, Parls, 1889.
20 En su edicin de las Opera om11ia de Arqu(medes, vol. 1, pg. 342.
ll Cf. V. FLAUTI : So/uzioni geometrisc:l1e di a/cuni prir1cipali problemi su/la
p1ramidc: tri1mgo/are, en la Atti de la Academia dt' Npoles, vol. 1, pg. 22, l 8H.
12 Ast rlogo
de Isabel l.
ingl~s
699
_ _ _ _ _ _ __
el cual crey que estaba co11tf!nido el tratado de Euclides cu ya versin public Commandino con algunas re.servas: De superfici e rum d ivilionbus lber Machometo Bagdalino adscript us, n unc primum Jo an n is Dee
Loodinensis et Federici Commandini Urbinatis in luccm edit us, P isa, 1570,
y el mismo ao apareci en Psaro una traduccin italiana de F . Viani d
Malatesti da Montefiori: Libro del modo de dividere le s uperficie attribuito a Machometo Bagdalino.
E. Savile u cree que esta traduccin no reproduce ntegramente el
cuto de Euclides, puesto que solo habla de las figuras recti/nt'as, niientras qut' en el tratado del gem etra griego tambin tenla cabida el circulo.
En este estado se encontraba la cuestin cuando a mediad o s del siglo
pasado Woepcke top con un manuscrito drabe en la Biblioteca Nacional
de Parls, en el que habla dos fragmentos de las obras de saparecid as de
Euclides y las public J4 cote jdndolas con el manuscto de Dee , d e cuyo
rstudio dedu jo" que este reprod uca esencialmente el tratad o d e aquel ; y
as se cree lw y apoydndose en la autoridad d e Mo ritz Can to r 11
La traduccin de Dee s irvi para la reconst it ucin de L. F . Of terdinger: Beitrage 'zu Wirderherstellung der Schrift d es Euklides ber Theil un g
dcr Figuren, Ulm, 1851, en la que demuestra rigurosam e nte las pro posiciones enunciadas por Euclides: veintiuna en t o tal, las seis pn'meras de
las cuales se refieren a la d ivisin de un tridngulo en partes iguales, cuatro a las de un trapecio, otras cuatro a la de un tridngulo cualq uiera JI
cinco a la de un pentgono. Las dos restantes son lemas.
La restitucin dt' Ofterdinier no se consider definitiva a causa de
\,
- ---------~-----
iUU
EUCLIDES . - lilBLIOGRAF l A
drei optische Werke, Abh. suz Gesch . der math . Wiss ., vol . XXVI , Leipzi,, 19ll, y otra de Ver Eecke : Optiquc et Catoptriquc, Brujas, 1918.
Finalmtmte, para el estudio completo de Euclides pueden consultarse
las siguientes obras:
J88J.
C. A. : Die Geometr und die Geomerne vor Euclides; ei11 historches Versuch, uipzig, 1870.
CANTO&, Moritz: Euklid und sein /ahrhundert, Leipzig, 1867.
CoLINON, A.: Etude sur la sphire, la ligne proit et le plan, Nancy, 1888.
DEL&Ol!UP, J. : Prolegom,nes philosophiques de la Gomltrie et solution dea
postulats, Lleja, 1860.
DIXON, N. : Th~ fo1mdations of Geometr, Cambridge, 1891.
DODGSON, N.: Euclid and his modem rivals, Londres, 1885.
HANKEL, Hennann: Geschic11te du Matl.enratik in Altertum und Mittela/tu,
Leipzlg, 1873.
HElaERG, J. L.: Litterarguchic;hliche Studien ber Euklid , Leipzig, 1882.
LEMOINI!, E.: La Gomtroraphie ou art des construction$ omtrique. Pars,
1902.
LEVI, Beppo: Leendo a Euclides, Rosario, Rcp. Arg., 1947 .
LOtUA, Gino: Le science esatte ne/l'antica Gracia, Miln, 1914.
NEUGE.llAUER, O.: Vor/esungen ber Geschiche der Antiken Matlrematik : Vor griechichte Mathematik, BerlCn, 1934.
PELETIER, Jacques : In Euclidis Elemento geometrica demonstratio11um libri sex,
Leiden, ISS7
REY, Abcl: s Mathimatiques en Grke au milieu du V siicle, Pars, 1915.
Rrccuot, Pietro: Sagio di una bibliografa eucldea, Bolonia, 1887 -1891 .
SAHCHEZ PtREz, Jos~ Aucusto: La Aritmtica en Grecia, Madrid, 1947.
TANNbY, Paul: La Glomltrie irecque, Pus, 1887.
THoMAS, lvor: Selections i/lustrating the Hto111 of gruk Mathematics, Cambridge, Mau., 1919-1940.
Zl!UTHl!N, Hieronymua Georg: Die Geometrlache Constructlon ala 'Exlstem.bewel1', ln der antlken Geometrlu, Mathematischen Annalen, vol. XLVIl, Pglnaa 222 y 1g1., BerUn. 1896.
BllETSCHENEIDER,
16
701
...
70.l
ELEMENTOS DE GEOMETRIA
. ,.
ll BRO
1
DEFINICIONES
l.
2.
).
4.
5.
6.
7.
8.
en un
9.
llama
.,
.,
J 11('OlQ.
4 i~ ioov, frase que ha preocupado a los exegetas de todos los tiempos. Ya.
cer, descansar, (~ ioov, que Jos latinos tradujeron er aequo, es una propiedad
de la recta que Euclides dedujo probablemente del arte de la construccin
como regla o barra rgida, cuyo carkter visual denuncia la tra)ettoria del
r J)'O luminoso coincidente con el borde de la regla. Sobre este asunto hay
un intere~ante trabajo de Amal.di tn las Qucstioni riiuardanti le J;latcmatichr
dc111c111ari, de FEDERICO ENlllQUES, ) . ed., Bolonia, 1924.
...
~------------------------....._:_~ L
703
10. Si una recta trazada sobre otra forma con ella dos ngulos contiguos iguales, cada uno de ellos es recto, y la recta se llama perpendicular a aquella sobre la cual . se traz .
11. Angulo obtuso el mayor que el recto.
12. Angulo agudo es el menor que el recto.
13~
Lmite es el extremo de algo.
14. Figura es lo comprendido por uno o varios Hmltes 5
15. Crculo es una figura plana limitada' por una sola Hn ea que se
llama periferia 7 , respecto de la cual son iguales las rectas que inciden
sobre ellas trazadas desde uno de los puntos situados en el Interior de la
figura.
16. Este punto se llama centro del cfrculo.
17. Dimetro del drculo es una recta cualquiera que pase por el centro y cuyas dos partes tengan sus extremos en la periferia. Esa recta divide al drculo en dos partes iguales 1
18. Semidrculo es la figura limitada por un dimetro y la periferia.
El centro del semicirculo es el mismo que el del circulo.
19. Figuras rectilfneas son las limitad as por rectas . Trilteras si lo
estn por tres; cuadrilteras por cuatro y multilteras por ms de cuatro.
20. Entre las figuras trilteras el tringulo es eq uil tero' si tiene
los tres lados iguales, issceles si solo tiene dos lados iguales y escaleno
si sus tres lados son desiguales .
21. Entre la figuras trilteras, el tringulo rectngulo es el que tiene
un lingulo recto obtuslingulo, el que tiene un ngulo o btuso, y acutn
gulo, el que tiene sus tres ngulos agudos 10.
22. Entre las figuras cuadrilteras, el cuadrado es equil tero y equi-
~~~~~~~~~~~~~~-
70.
.'
EUCLtDES .-
,
",, o l111n t .
,1
23. Recias paralelas 100 las que, estando eo el mismo plano
prolongadas al infinito, no se encuentran.
I
705
lll
NOCIOl\ES COMUN ES
3.
... ,:
4.
iguales.
POSTULADOS
5.
6.
7.
.......
8.
9.
"1.'l"P"' heterrnecos, obloncos, de ob y /on6!us, largo, rectn&ulo apaiudo, ms laro que ancho. En Aritmltica, el nmero hetermeco es el producto de dos enteros distintos, y cuando son iguales )', por tanto, el nmero
es un cuadrado, aquellos factora aon los f lanco1 de este, 1e1n la definicin
de Aristteles.
u Un 1e1mcnto, se&n la terminoloaCa actual. El concepto de 1e1mento no
existe en la Geometda rlep.
u Hemos traducido por radio la palabra 6uon111u, distancia, porque Euclides la emplea, eYldentemente, en sentido mltrlco; pero recordaremoa que
aquella voz.. rodiu1, no aparece en Geometra hasta el allo XVI con Ramua.
que la Introdujo en 1u Scholarum mathrmaticorum, Basllea, 1569.
l11:tl:1novoa.
IV
11 ;
14
tL E MC: NT O S Dl GE OM ETR IA
..
'
PROPOSIC IONE S
"Silogismo fundamental de la Matemt ica, mediante el cual introduce Euclides el principio de transltlvidad.
11 Fisura en los Prlmros Anallticos, I, de Aristteles.
11 A1.1STTJLES: Mtaflsica, XI, 4, la da como axioma.
1t f.qioQ1at;.ovta, de lqin11t;.uv, ajustar, encajar. Congruentes son, pues, 111
cosas que se, ajustan unas a otras sin deformar5t.
lO o>.ov. total.
JI Algunos editores, con excelente criterio, consideran esta nocin comn
como un sexto postulado que completa el anteri or-a de paralelismo-, pues
que establece la unicidad de la determinacin de un punto por la lnteueccin
de dos rectas.
ll Los Elementos dicen rect a limitada : t tOf i a 1tfJ1f(lOOtl'' 'l Vid . su pra, no
ta 12.
2J Eucl ides escribe A. 11 y /'.4. , /' LJ ; pero pue5to que la coma equivale tam bin al signo de suma, empicaremos la copula tiva 11 cuando se trate de di 1in1 os elementos.
CIU<T lflCOS ,
1.- l)
-----------------l---~~~~~-~
706
CIE..,TIFICOS GRIEGOS.-lONO 1
son
61
24 i'1:t1 l'
ibu
. 1
1
1
-"L~ , ; l
..
,,
'
;101i1om .
..Zi '.
: ~ ~ ..
. . . .,... . . . . . . . . . . . . . ..._~~~~ L
~~~~.._.._
707
709
EUCLIDES .-
i08
ELEMENTOS DE GEOMETRtA
''
Sea ABG un tringulo issceles (Fig. 5). Prolnguense . sus lados Iguales AB y AG en BD y GE ; tmese sobre la recta BD un punto cualquiera
Z; rstese de AE el segmento AH igual al AZ y trcense bs rectas ZG
y HB.
Puesto que AZ es igual a AH y AB igual a AG, los segmentos ZA y
AG sern respectivamente iguales a los HA y AB y comprenden al ngulo comn ZAH; luego la base ZG ser igual a la H B, el tringulo AZG
:. 1i:-i1 e (llu bFi;o1. Obsr\'ese la di(erencia entre esta (rmula final y la de
la proposicin l. la cual es una construcci.i11, mientras que la 4 es un teorema,
)', por tanto, aquella se hace )' esta se demuestra. Como ambas ion largas, adop.
taremos en lo sucesi\'O las clsicas siglas espaolas l.q.q .h. y l.q.q.d ., respecti
\amente.
Tambin se notar el exceso de palabras, tanto en los enunciados de la hiptesis y de la tesis del teorema como en su demostracin, en que con macha
cona insistencia se repiten las mismas frases. Euclides, como todos los gemetras griegos, habla demasiado y su facundia contagi a los tratadistas latinos
hasta los das de Luca Pacioli, cuya Summa, publicada en Venecia, 1494, es
todava abundantemente verbosa; pero sus inmediatos sucesores-ya renacentistas-inician el uso de un lenguaje cada vez ms sinttico, que termina en el
laconismo actual que ha desbrozado la manigua verbal eucldea, reduciendo al
mnimo su palabrera. Hemos, sin embargo, respetado escrupulosamente el texto
de los E/c.'me11tos, dada la finalidad de esta obra, para huir del refrb ltali11no
traduttorc traditore, habilhdonos limitado a aligerar un poco el texto, suprl.
micndo palabras superfluas, y, desde luego, la intil repeticin literal del enunciado antes de decir qu era lo que se quera demostrar.
Obsr\'ese, por ltimo. que la superposicin del tringulo ABG al DEZ es
un transporte rgido que puede realizarse en virtud dl postulado de libre mo' iliJad, utilizado implcitamente por Euclides, quien, en cambio, se ve obli :;1do J declarar la coincidencia de las bases apoyndose, ahora explcitamente,
en la nocit~n 9, que, como dijimos en la nota 21, algunos editores de los
L'k11r. 11tus colocan entre los postulados.
igual al AHB y los restantes ngulos del uno iguales a los del otro comprendidos entre lados iguales, a saber: el ngulo AGZ igual al ABH y
.. .
el AZG
al que
AHB.Al es igual a AH y AB y AG son partes de estos segPuesto
A
mentos e iguales entre si, el resto BZ
ser iual al resto GH; pero ya se demostr que ZG es igual a H B; luego BZ
y GZ sern respectivamente iguales a
GH y H B y el ngulo BZG igual al GH B.
siendo BG su base comn, y el tringulo
BZG igual al GHB y los restantes ngulos del uno iguales a sus correspondientes
en el otro los que , precisamente comprenden lados iguales, . de modo que el ZBG
ser igual al HGB y el BZG al GH B.
Pero se demostr que los ngulos ABH
y AGZ son iguales, as( como GDH y
BGZ ;, luego al ngulo ABG, que es la di
F1G. 5.
{erencia de los primeros ser igual al AGB,
que es la diferencia de los segundos,
que son los ngulos ,~n la base del tringulo ABG, y tambin se demos
tr que los ngulos ZBG y HGB, situados debajo de la base, son igua
'" 1
\
17
les, 6.
l.q.q.d.
Si dos
dngulos de un tridngulo son iguales, los lados opuestos o
estos dngulos tambin serdn iguales.
Sea ABG un tringulo que tiene el ngulo ABG igual
A
al AGB (Fig. 6). Digo que el lado AB es igual al AG.
porque si estos lados fueran desiguales, uno de ellos te
ria mayor que el otro. Si es AB el mayor, rstese el
BD Igual al menor AG y trcese la recta DG .
Puesto que el lado DB es igual al AG y el BG es comn, los dos lados DB y BG sern respectivamente igua
les a los dos lados AG y GB y el ngulo DBG igual al
AGB, y, por tanto, las bases DG y AB y el tringu F10. 6.
lJ
710
UE"llFICOS GRll:.GOS. -
EUCLIDl!S.-ELEMENTOS DE GEOMETRIA
TOMO 1
'"'"'
..
7 ll
r
1
IC
...
712
EUCLIDES.-ELEMENlOS DE G EOMETRIA
Ditidir
11n
..
\;
1.
1
1
1'
1
!1
'
1
1
713
y trcense las rectas CH, CT y GE. Digo que la GT es la perpendi cular pedida porque siendo HT igual a TE y GT comn , es Gil igual
a GE, el ngulo GTH igual al GTE y corno son continuos sern rectos y la recta GT perpendicular a AB, l.q .q .h. u.
13. Si u11a recta levantada sobre otra forma dngulos , serdn rect os o
igual a dos rectos "
Sea AB la recta levantada sobre la CD con la que forma los ngulos
GBA y ABD (Fig. 13). Digo que estos ngulos son rectos o iguales a do s
rectos, porque si son iguales son rectos, y si no es as, trcese por l p unto
B sobre la recta GD la perpendicular BE y
E
sern rectos los ngulos GBE y EBD, y puesA
to que el GBE es igual a los dos ngulos GBA
y ABE, adase a los dos el mismo ngulo
comn EBD y entonces los dos ngulos GBE
y EBD sern iguales a los tres GBA, ABE
y EBD.
l
,.
1
1
1
1
-
,i.
JJ Segn Proclo, este p roblema fue resue lto por Enpides de Q uo, que floreci en el siglo v a . de J.C.
n Se sobrentiende igual a dos rectos la s uma de los d os n gu los.
l4 Vase nota anterior.
----------------
;14
"ABE'"'''"'',, Ano."
d<oi"
'' m<oo iguI I moyo" lo '"''
es imposible. Por tanto, BE no est
en la misma recta que BG, y an ~ O logamente. se demostrarla respecto
de cualquiera otra recta que no sea
F1c. 14.
la BD; luego la GB est en la misma
recta que la BD, l.q .q.d.
Si dos rectas se cortan, (ormar1 ngulos opuestos por el vrtice
" . 1
.,
/___
15 .
iguales .
Crtense las dos rectas AB y DG en el punto E. Digo que el ngulo
AEG es igual al DEB y el GEB
A
igual al DEA, porque puesto que
la recta AE, levantada sobre la
CD forma los ngulos GEA y
AED iguales a dos rectos, y pues (,
10 que la DE levantada sobre la
D
AB forma los ngulos AED y DEB
tambin iguales a dos rectos, los
ngulos GEA y AED son iguales
B
a los AED y DEB, y restando el
F1G. 15.
ngulo comn AED, el GEA ser
igual al BED, y del mismo modo
se demostrara que los ngulos GEB y DEA son iguales, l.q .q.d . 15
16. Si u prolonga uno de los lados de un tridngulo, el dngulo externo
es mayor que cada uno de los dngulos internos y opuestos.
Sea el tringulo ABG y prolnguese el lado BG hasta D (Fig. 16). Crtese la recta AG en dos por el punto E: prolnguese la BE hasta Z, de
1\
1~ Proclo agrega a esla proposicin un corolario : De lo cual se sigue eviJcntcm~nte que si dos rectas se cortan, los ngulos alrededor del punto de
corte formarn ngulos igual en total a cuatro rectos . Como este corolario
no figura en los manuscritos del Vaticano ni de Bolonia, Max Simon cree que
!ue aadido por los neopi1agricos.
715
~.
716
"
B
717
(,
Fao. 11.
flO . 19.
Sea ABG el tringulo (Fig. 20) . Digo que dos lados cualesquiera de
este tringulo, tomados en junto, son mayores que el otro lado, o sea:
c:n los actuales tratados de Gcomc1r;1, la cual exige la admisin del postulado
de parakllsmo, del que no se hace uso en los Elr111r11tos hasta la proposi cwn 29, lo que prueba que su autor lrat<i de e\itarlo en las veintiocho ante .
raorcs , que, por ser independiente s clcl fam oso postulado, autorizan a co nside
rar a Euclule~ como el fundador de la Geu metra abs oluta.
JI
--L ._ __ ___________
718
11os1r que los lados BA, AG son mayores que los BE, EG, luego Jos BA,
l\G sern mucho mayores que los BD, DG.
Puesto que en todo tringulo el ngulo externo, es mayor que un interno
1 opuesto, el ngulo BDG es mayor que el GEB y por la misma razn tambin el exlerno GEB del tringulo ABE ser mayor que el BAG, y como se
A ,_____ _____
demostr que el ngulo BDG es mayor que el GEB, el BDG ser muB,___ _,
cho mayor que el BAG, l.q.q.d.
G,..___.
22. Construir un tridngulo con
tres segmentos igualn a otros tres
dados. Sean A, B, G, los tres
segmentos dados, dos de los cuales, tomados en junto, sean mayores
que el otro: los A, B mayores
E
que el G, los A, G que el B y los
8, G que el A.
Trcese la recta DE limitada
por el punto D e infinita hacia el
F1c. 22.
E, y tmese DZ igual al segmento
A; ZH igual al B y HT igual al G.
Haciendo centro en Z y en H y con radios ZD y HT descrbanse los crculos DKL y KLT y trcense las rectas KZ
y KH. Digo que el tringulo KZH es
el pedido porque puesto que Z es el centro del circulo DKL, es ZD igual a KZ,
y como es igual a A, es KZ igual a A,
y puesto que H es el centro del circulo G
KLT, es HT igual a HK, y como es igual
a G, es HK igual a G, y adems ZH
es igual a B; luego los tres segmentos
z
KZ, ZH y HK son respectivamente iguales a los A, B y G, 1.q.q.h.
23. Sobre una recta dada y en uno
de sus p1111tos, construir un ngulo rect1li11co ig11al a otro rectilneo dado.
A
H
Sea AB la recta dada, A uno de sus
B
punlos y DGE el ngulo rectilneo dado
F1c. lJ.
ci~. 23).
Tmese sobre cada una de las rectas GD y GE sendos puntos cualesquie-
z\
719
EUCLIOES.-ELEMLNTOS DE GEOMETRIA
HI h
720
EUCLIDES.-ELEMENTOS DE GEOMETRIA
iguales a los del otro, o sea : el AG y el DZ, el BG y el EZ, y que el ilngulo BAC ser igual al EDZ .
Si son desiguales los lados BG y EZ, uno de los dos ser mayor que
el otro. Sea BG el mayor. Tmese BT igual a EZ; trcese AT y porque
BT es igual a EZ y AB a DE, los dos segmentos BT y AB seriln respectiHmente iguales a DE y EZ y comprendern ngulos iguales.
Por tanto, la base AT ser igual a la DZ, el tringulo ABT igual al
DEZ y los ngulos restantes del uno iguales a los restantes del otro, precisamente, a los que subtienden lados iguales , a saber: ' el ngulo BTA externo del tringulo ATG igual al BGA interno y opuesto, lo cual es imposible; luego no siendo desigual el lado BG al EZ, es igual, y como tambin AB es igual a DE, los dos lados AB y lJG sern respectivamente iguales a los dos DE y EZ y comprendern ngulos iguales ; la base AG ser
igual a la DZ, el tringulo ABG igual al DEZ y el tercer ngulo BAG igual
al tercero EDZ del otro tringulo, l.q .q.d. 40
27. Si una recta, al incidir sobre otras dos, fon11a d11g11los alternos
iguales, diclias rectas serdn paralelas.
Si la recta EZ, incidiendo sobre las AB y GD forma los ngulos alternos AEZ y EZD iguales entre si, digo que AB y CD son paralelas, porque si no lo fuesen y se prolongan _se encontrarn hacia BD o hacia AG.
'
c. (
l
Si es AB el mayor, tmese Bl:l igual
F10. 26.
a DE; trcese HG y puesto que
Bll es igual a DE y BG igual a
EZ, y el ngulo HBG igual al DEZ, la base HG ser igual a la DZ y el
tringulo HBG igual al DEZ y los restantes ngulos del uno iguales a los
restantes del otro, a saber: precisamente los que subtienden lados iguales, es decir: los ngulos HBG y DZE
Pero se ha supuesto que el ngulo DZE es igual al BGA, luego tambil!n el BGH es igual al BGA: el menor igual al mayor, lo cual es imposible. Por tanto no siendo desiguales los lados AB y DE, son iguales.
Tambi~n son iguales los lados BG y EZ, luego los AB y BG son respectivamente iguales a los DE y EZ e iguales los ngulos ABG y D~Z. y
por consiguiente la base AG igual a la DZ y el tercer ilngulo BAG igual
iiil tercero EDZ del otro tringulo.
Sean, ahora, Iguales los lados que subtienden ngulos iguales, a saber: el A B y el DE. Digo de nuevo que los otros lados del uno sern
~~
721
722
EUCLIDES .-
.4
723
1os, los BllT y HTD, juntos, sern meno res que dos rectos; pero si un a
rtcta al incidir sobre o tras dos forma del mismo lado dos n gulos in ternos menores que dos rectos , las dos
E
rectas, prolongadas al infinito, se en41
B
contrarn ; Juego AB y CD, prolonga - A
ds al infinito, se encontrarn, y como
no se encuentran porque se supone que
son paralelas, el ngulo AHT no es
o
desigual al HTD y, por tanto, es igual. G
Adems, el ngulo AH T es igual al
EHB, luego el EHB tambin es igual al
f lG. 28 bls.
HTD, y aadiendo el ngulo comn
BHT, sern entonces iguales los ngulos ElfB y BHT a los BllT y HTD; pero los EHB y BHT, juntos , son dos
rectos ; luego tambin se r ~n dos rectos los BHT y H TD , juntos, l. q .q .d .
30. Las rectas paralelas a 1m a
misma recta son paralelas entre si.
A
H/
B
Sean AB y CD (Fig. 29) dos rectas
~
paralelas a la EZ . Digo q ue la AB
>
es paralela a la C D porque cor tn dolas por la HK el ngulo A H K
G
K/
O ser igual al HTZ, y puesto que H K
'
incide sobre las rectas paralelas EZ
y CD, el ngulo H TZ ser igual a l
1
1
ELEMENTO S DE GEOMETRIA
r/
Fto. 29.
HKD.
,.
41
pra,
~ . .
Vi.i.
JU
i 2\
1
1
~1
.~1
.11
EUCLIDES.-ELEMENTOS DE GEOMETRIA
CIENTIFICOS GRIEGOS.-TOMO 1
cidir !>obre l;,s BC y EZ, ha formado los ngulos lternos EAD y ADG
i~uaks .:nlre si, la rect EAD ser pualel a I BG, l.q.q.h.
32. Si se prolonga uno de los lados de un tridngulo, ti dngulo txttr
110 es igual a los dos int1rnos 11 opuestos, juntos, y los tres internos del
1ri11;11lo son ig11al1s a dos rtctos.
Sea ABC el tringulo (fig. ll). Prolnguese uno de sus lados, el BC,
hast el punto D, y trcese 1 por' el G la recta
A
E GE paralela la AB. Puesto que la AG incide sobre las paralelas, los ngulos lternos
BAG y AGE son igules entre sf, y como tm.
bin incide sobre ellas la BD, el ngulo e1t
terno ACD es igual a los dos internos y
opuestos BAG y ABG. Pero se demostr que
el ngulo AGE es igual I BAG, luego el
ngulo externo AGD es igual a los dos interB
o nos y opuestos BAC y ABG.
flG . ) l.
Si se aade ahora el ngulo comn ACB,
los dos ACD y AGB, juntos, sern igual a
los tres ABC. BCA y CAB, juntos, y como los ACD y ACB son dos rectos,
los lres del tringulo AGB, BCA y CAB 1;1mbin son dos rectos, l.q.q.d.
)). Los seg111entos que u11e11 por el 111is1110 lado scg111e11tos iguales y
paralelos, so11 tambin iguales !/ paB
A
ralelos 0 .
Sun AB y GD los segmentos
igules y pualelos (Fig. 32). Trcense lo5 AG y BD, y puesto que la recta
AB es paralela a la GD y sobre ellas
incide la BG, 101 ingulos alternos O
ABG y BGD scr'n iguales, y como
F10. 12.
AB es igual a GD y BG es comn, la
/~
Eudemo dice que esta proposicin se debe a lo5 pitagrlco5. Los Intentos
para demostrarla indcpendicnttmentc del postulado de paralelismo condujeron
a Saccheri a establecer en su Euc/iclrs ab omni nae110 11inclicatu1, Miln, 17)),
que si la suma de los tru ngulos de un tringulo es mayor, l&ual o menor que
dos rectos, lo mismo ocurre en todos los tringulos. No logr demostrar la
abrnlu1a \"alidcz del pos1ulado, aunque ti s lo crey, pero lleg a resuhado,
imporlantcs que lo colocan entre los precursores de las geometras no-euclidea~ .
41 i :ti ti utt tfQll ln1trnyvouoa1 .
&--1~-----------B
41
725
I'"; : paralela-lnea, palabra cuya formacin debe de estar ,ugerlda por el teorema anterior 1, 33; pero advit!rtase que Euclides la empica sin haberla defi-
.. 1
'
nido explcitamente.
41 En lugar de bw.ilQo~ : diamelro, que d ice Euclides, trad ucimos .Jiagunah, aunque esla voz : b111y1ovw.;, solo apa rece una vez en los E/eme11lo :
lib. XI, prop. 28.
'Partes iguales.
;26
UENTIFICOS GlllLGOS. -
TOMO 1
EUC LIDES .-
35. Los paralelugramus que estn sobre la misma base !I e11tre IOJ
1111s111as parulelas son equiva/e,.tes 41
Sean los paralelogramos ABGD y EBCZ que est<in sobre la misma
lla~e BC y entre las mismas parlelas AZ y BC (Fig. 34).
Puesto que la regin ABCD es un paralelogramo, los lados AD y BG
son iguales, y por la misma razn
lo son EZ y BC; luego AD es igual
a EZ; pero DE es comn, y, por
tahto, AE es igual a DZ, y como
tambin AB es Igual a DC, los segmentos EA y AB son respectivamente iguales a las ZD y DG y el ngue;
B
lo ZDG igual al EAB, es decir, un
f1G. H.
ngulo exterior y uno interior: luego sern iguales las bases EB y ZG
y el tringulo EAB ser equivalente al DZG.
Restando el tringulo comn DHE, resulta el trapecio ABHD, equiva.
lente al EHGZ, y aadiendo el tringulo comn HBC, el paralelogramo
completo ABCD ser equivalente al paralelogramo completo EBGZ, l.q.q.d.
'
ELl:.MEl'OS OE GE OMETRIA
727
J6. Los paralelogramos colocados so bre bases iguales y entre las mis mas paralf!'las son equi valentes.
Sean los paralelogramos ABCD y EZ HT (f ig. 35), que estn colocados sobre las bases iguales BG y ZH y ent re las m ismas paralelas A T y BH.
Trcense las rectas BE Y GT, Y
A
E
T
0
'"'"
q"' BG" ig"I ZH y ZH
igual a ET, tambin BG ser
1
. 1
41
l.
li
1
1
1
"\[SJ'
1 ,
la fiura del texto que el autor de los Elementos adopt segurame nte por ser
la ms complicada.
Esta prop. 35 demuestra tambi4!n que dos figuras planas pueden tener la
misma 'rea sin lener el mismo perfmctro, con lo cual qued dem ostra do el error
de los navegantes que calculaban la superficie de una isla por el tiempo q Lle
empicaban en recorrer sus costas.
728
C IUHIFICOS GltlEGOS. -
TOMO 1
38. Los tri11g11los colocados sobre bases iguales y entre las misnia
puralel11s so11 t'q111vale111es .
Sean los triangulos ABG y DEZ (Fig . J7) que estn colocados sobre
bases iguales BG y EZ y entre bs
H
A
O
T mismas paralelas. Prolnguese AD
k7 /\/
.I'
11
1.
1
.,
l5:&
1 '
"
729
.
1
&
. ' 7!
730
1
1
~
''I
1
1
1
L\7'
44. En u11a recta dada, aplicar 50 a u11 d11gulo rectili11eo dado "" parulelogramo equivalente a un tringulo dado.
Sea AB la recta dada, G el tringulo dado y D el ngulo rectiUneo
dado (Fig. 43).
41
"Q"l.'lQWala .
' "V~ol.eiv, es
....
1
.,1
.1
.11
11
731
732
:
i
CIENTIFICOS GRIEGOS. -
TOMO 1
Pero los ngulos ZK.T y J<.TH, juntos, son dos rectos; luego los KTH
y JJTM, juntos. tambin son dos rectos, y teniendo entonces en una recta
l/T y en un punto T de ella dos rectas KT y TM, no situadas en el mismo lado, forman ngulos contiguos que son dos rectos, esas rectas KT
y TM estn sobre una misma recta.
Y puesto que la recta TH incide sobre las paralelas KM y ZH, los ngulos
alternos MTH y THZ son iguales
entre sf, de modo que aadiendo
el comn THL, los ngulos MTH
y THL sern iguales a los THZ
y THL; pero los MTH y THL, juntos, son dos rectos; luego los THZ
y THL, juntos, tambic!n son dos
K
T
M
rectos y, por tanto, las rectas ZH y
FIG. 44.
HL estn sobre una misma rect.
Por ser las rectas ZK y HT iguales y paralelas y tambin la TH y I
Ml, ser la KZ igual y paralela a la ML, y como lo es tambin la TH y
la LM, ser, por tanto, la KZ igual y paralela a- la ML, y estn unidas por
las rectas KM y ZL; luego las rectas KM y ZL son tambin iguales y pa ralelas, y, por tanto, KZLM es un paralelogramo.
Y puesto que el tringulo ABD es equivalente al paralelogramo ZT y
el DDG al HM, ser la figura rectilnea ABGD equivalente al paralelogra.
mo entero KZLM, y en el ngulo ZKM, igual
G
al dado E, ha quedado construido el paralelogramo KZLM equivalente a la figura rectillnea
dada ABGD, l.q.q.h.
46. Construir un cuadrado sobre un seg
D
E
mtnto dado.
En el punto A de la recta dada AB levn
tese la perpendicular AG; tmese AD igual
' a AB; trcese por el punto D la DE paralela
a la AB y por el B la BE paralela a la AD,
y entonces ADEB es un paralelogramo y ser
i;ual el lado AB al DE y el AD al BE; luego
los lados lJA , AD, DE y EB son iguales entre
A
.
B
si y el paralelogramo es equiltero .
F10. 4S.
Digo, adems, que es rectangular porque
puesto que la recta AD incide sobre las paralelas AB y DE, los ngulos
\JLaJ
733
BAD y ADE, juntos, son dos rectos , y como el BAD es recto, el ADE
es tambifo recto.
1 ,
1
1
.!.
Ahora bien: en los paralelogramos los lados y los ngulos opuestos son
iguales entre si; luego cada uno de los ngulos opuestos ABE y BED es
recto y, por tanto, el paralelogramo ABED es rectangular pero se de mostr que es equiUtero, luego es cuadrado, l.q.q .h.
47. En los tridngulos rtct11gulos el cuadrado sobre el lado op11est o
al ngulo recto es equivalente a los cuadrados sobre los lados que fon11a11
est dngulo recto.
Sea ABG el tringulo rectngulo que tiene recto el ngulo BAG (F igura 46). Constryase sobre el lado BG el cuadrado BDEG y sobre los lados BA y AG los cuadrados HB y TG por el punto A trcese la AL pa
ralela a las BD y GE y nanse A con D y Z con G .
Puesto qut los ngulos BAG y BAH son rectos, sobre la recta BA y
en su punto A las dos rectas AG y AH, no situadas en el mismo lado, for man ngulos contiguos que, juntos, son
dos rectos, esas rectas estn sobre la
misma recta .
Por el mismo razonamiento se de muestra que las rectas BA y A T estn
M
I
A K
sobre la misma recta, y como el ngulo
DBG es igual al ZBA porque los dos son
rectos, adase el ngulo comn ABG y
entonces el ngulo entero DBA ser igual
al entero ZBG.
Y porque DB es igual a BG y ZB a
l:IA, las dos rectas DA y BA sern respectivamente iguales a las dos ZB y BG
y el ngulo DBA igual al ZBG luego la
base AD es igual a la base ZG y el tringulo ABD igual al ZBG.
D l
E
Ahora bien: el paralelogramo BL es
FG. 46.
doble del tringulo ABD porque tienen
la misma base BD y estn entre las mismas paralelas BD y AL, y el c ua drado HB es doble del tringulo ZBG porque tienen la misma base ZB
y estn entre las mismas paralelas ZB y HG; luego el paralelogramo BL
es equivalente al cuadrado HB .
Si se trazan las rectas AE y DK se demostrara de modo anlogo que
L_
_____ _ _
7H
EUCLIDES.-
el parJldogramo GL es equivalente al cuadrado TG, y, por tanto, el cuadrado DDEG es equivalente a los dos cuadrados HB y TG juntos, l.q.q .d . s1.
48 . Si el cuadrado construido sobre uno de los lados de un tridrigulo
es equil'alente a los cuadrados, juntos, de los otros dos lados, el dngulo for.
mado por estos dos lados es recto .
Sea en el tringulo ABG el cuadrado sobre el lado BG equivalente a
los cuadrados sobre los lados BA y AG.
le\'ntese en el punto A la recta AD perpendicular a la AG tmese
AD igual a BA y trkese DG.
Puesto que DA es igual a AB, lambifo ser el cuadrado sobre DA
11 Eue es el famoso teorema atribuido generalmente a Pitgoras; pero Proclo, ms cauto que sus antecesoru, dice que es del cjefe de la escuela pita.
grica. .
Los asirios y babilonios conocan el teorema en el caso particular del
tringulo rectfogulo de hipotenusa 5 y catetos 3 y 4, que los arpedonaptu
egipcios-tendedores de cuerda-empicaban para trazar perpendiculares; pero
se ignora el grado de gcner11idad que 1uvo tal propiedad. Los indios, por
ejemplo, tomando como catuo un nmero impar a= 3 en el triiingulo cUsico,
cuyo cuadrado es a1 =2n +l. obtuvieron con nuestra notacin moderna:
al-1
n=--,
y, en general:
ol-1
oi+ ( - -
al+l
n+l = - - - ,
2
LIBRO
)1 - t-al+l- )1
DEFINICIONES
11
735
de donde dedujeron tri,ngulos rectfogulos cuyos lados utin dados por las
1ern11
(3, ... 5),
ELEMENTOS DE GEOMETRIA
736
11
'
PROPOSICfQ:-ES
.. !
1
l: '
A
' " "y"entonces
I AZ pml<I
1., GD
y BE,
el rectngulo
AE
ser equivalente a los AD y GE
juntos.
Por una parte, el recUngulo AE
~
o
E
es el comprendido por las rectas
flG. 50.
AB y BG porque lo est por las AB
y BE y la BE es Igual a la BG, y por otra parte el rectngulo AD es el
comprendido. por las rectas AG y GB porque la DG es igual a la GB.
Y porque DB es el cuadrado de GB, el rectngulo comprendido por
..
1.
737
Es decir,
(a+b)a = ab + az.
Cl f. td lf i CO S ,
1. - l-4
-~~~-~--~--~~--~--~~~~--'
738
:
!
)z - (a+b)l
,
2
1
1
1
'
Algebraicamente,
a+b
ab+ ( - -b
.. 1
739
i-tO
..
N/IT j
(2a+b)b+al-(a+b)l.
Euclidu generaliza este teorema y el anterior en Data, props. 84 y 85, al
nso en que en vez de rectngulos se trate de paralelogramos; pero las de.
mostraciones son an~logas, y lo que hace es resolver la doble ecuacin
Algcbraicamentc,
(a+ b)l +al = l(a+b)a+ bl.
ar r2 = bl,
cu}a raz po>iliva es la nica que considera.
' 11
741
1o
742
MJ
/'
<"'
IH
V' J
V
A~
~ '.N
IR ,' J
>
.'111
.'
ji
T
Fu;. SS.
'
11
Algcbnicamenle,
druple del GK; luego los ocho que comprenden el gnomon STU equiva len al cudruple del AK.
Ahora bien: puesto que AK es el rectngulo comprendido por AB y
BD porque BK es igual a BD, el cudruple del comprendido por A B y BD
ser equivalente al cudruple del AK, y como qued demostrado que el
gnomon STU equivale al cudruple del rectngulo AK, resulta que el cu druple del comprendido por AB y BD equivale al gnomon STU; y si r;e
aade el comn XT, que es igual al cuadrado de AG. el cudruple del rectngulo comprendido por . las rectas AB y BD ms el cuadrado de la A G
equivalen al gnomon STU ms el cuadrado XT.
Pero el gnomon STU y el cuadrado XT, en junto, equivalen al cua drado AEZD, que es el construido sobre la recta AD; luego el cudruple
del comprendido por AB y BD ms el cuadrado de AG e~uivalen al cua drado de AD, o sea: el cuadrado formado por las rectas AB y BG como
5j fueran una sola; y por ser BD igual a BG, el ~u:idruple del compren
dido por AB y BG ms el cuadrado de AG equivale al cuad r ado de AD.
l.q .q .d.
9. Si se ditide una recta en partes iguales y des iguales, lo s cuadrados
de las partes desiguales de la recta entera son doble del de la mitad de la
recta e"tera, mds el cuadrado de la difere11cia e11tre las dos clases de cortes 12
Divdase la recta AB (Fig. 56) en partes iguales por el punto G y en
partes desiguales por el D. Digo que los cuadrados de AD y DB son doble
de los de AG y GD.
Levntese en el punto G la GE perpendicular a la AB y tmesela igual
a cada una de las AG y GB; trcense las EA y EB; por los . puntos
D y Z las DZ y ZH paralelas a las EG y AB, respectivamente, y nase
A con Z.
Puesto que AG es igual a GE, tambin sern Iguales los ngulos EAG
y AEG, y como el alngulo junto a G es recto, los ngulos restantes EAG
y AGE Sfrn rectos e Iguales luego cada uno de los CEA y GAE ~ la
mitad de un recto. Por el mismo razonamiento se demuestra que cada uno
de los ngulos GEB y EBG es tambin la mitad de un recto luego el
ngulo entero AEB es un recto.
..
U Algebr;~icamente,
74)
a1+b1~2
( -b)1]
[ ( -a+b)J
2
+ - 2.
744
Ji
. ~
./
1'
11
:11
: 1
...
..
745
BD. Digo que los cuadrados de las AD y DB son doble de los d e AG y GD.
Trcese por el punto G la recta GE perpendic ular a la A 8 ; tmesela
igual a cada una de las AG y GB; trcen5e las EA y EB; por el pun to E
la EZ paralela a Ja AD y por el D la ZD paralela a la G E.
Puesto que Ja recta EZ incide sobre las paralelas EG y DZ, los ngu los GEZ y EZD, juntos, sern dos rectos, de modo que los Z EB y EZD
sern, juntos, menor que dos rectos. Pero rectas que forman n gulos menores que dos recios, prolongadas, se encuentran; luego las EB y ZD prolongadas se encontranin .
Prolnguense hasta su encuenlro en H y trcese la AH. Puesto q ue
AG es igual a GE, el ngulo EAG ser igual al A EG; pero el n gulo junto a G es ~c to ; luego cada uno de los ngulos EAG y A EG ser la mitad
de un recto ; y por la misma razn
E
z
cada uno de los GEB y EBG s er
tambin la mitad de un recto ; lucio el AEB es recio, y puesto que
el EBG es la mitad de un recto , el
DBH ser la mitad de un rec to .
Pero el BDH es rec to porque A"'-::::
,!.
~'
1O
es igual al DCE por alternos; luego el ngulo restante DHB ser
la mitad de un recto, y, por tanH
to, los DI/ 8 y DBH son iguales y
F1G.
S7.
los lados BD y HD tambic!n sern
iguales.
Puesto que el ngulo EHZ es la m itad de un r ecto y el ngl o jun to a
Z es recto, porque es igual al opuesto junto a G, el ngulo res tante ZEH
ser la mitad de un recto y los EHZ y ZEH iguales.
Tambifo sern iguales los lados HZ y EZ, y como lo son EG y GA, sus
cuadrados sern Iguales, y, por tanto, dobles del cuadrado d e GA ; pero
el de EA eq uivale a los cuadrados de EG y GA, y, por consiguien te, es doble del de AG.
Puesto que los lados ZH y EZ son iguales, tambin i;ern iguales sus
cuadrados, de modo que ser n doble del cuadrado de EZ ; pero el de EH
equivale a los cuadrados de H Z y ZE ; luego es doble del de EZ, y como los lados EZ y GD son iguales, el cuadrado de EJI es doble del
de GD.
Pero q ued demostrado que el cuadrado de EA es doble del de AG;
746
EUCLIOES.-
(a-b)I
.
2
747
zlab ( a+b)I
2
ELEMENTOS DE GEOMETRIA
- 1+15
~~~~~~~~~~~~~~~~~~~]~~~~~~~~~~~~~~~~~~ ~
curas
diada
y que
El
reducidas son : l, 1/2, 2/1 , 1/5, 5/8, ... , que forman Ja sucesin estu
por el gemc1ra francs Gabriel lam (1795 -1870), cuyo nombre lleva,
dan la dispos icin de las hojas de las ramas de las brcteas de la pilla .
lector a quien in1erese este lema puede consultar la obra de TIMEIWING
c.1~
. ''''
H
748
dos del d11gulo obtuso sobre el que cae la perpendicular 11 por la recta uUrior que queda entre la perpendicular y el dngulo obtuso.
Sea ABG (Fig. 59) el tringulo que tiene el ngulo obtuso BAG y trcese desde B la BD perpendicular a la GA prolongada. Digo que el cuadrado de BG es mayor que los cuadrados de AB y AG en el doble del recUngulo comprendido por AG y AD .
B
Puesto que la recta GD est
dividida por el punto A,' su cuadrado es igual a los cuadrados de AG
y AD m's el doble del iectngulo
comprendido por AG : y AD.
Al\lidase el cuadrado co'mn
BD, y entonces los cuadrados GB
o
t y DB equivaldrn a los de GA,
AD y DB ms el doble del recUnflG. 59.
gulo comprendido por .AG y AD.
Pero el cuadrado de GB equivale a los de GD y DB porque el fogulo
junto a D es recto y adems el cuadrado de AB equivale a los de AD y
BD; luego el de GB equivale a Jos de AG y AB ms el doble del rectngulo de AG y AD, y, por tanto, es mayor que los cuadrados de AG y AB
en el doble del rectngulo comprendido por AG y AD, l.q .q.d.
IJ. En los tridngulos acutdngulos el cuadrado del lado que subtiende
un dngulo agudo es menor que los cuadrados de los lados que lo comprenden en el doble del rectdngulo comprendido por el lado sobre el que
cae la perpendicular y por la recta interior que queda entre la ,,.rpendicular 11 el dngido agudo 16
Sea ABG (Fig. 60) el tri,ngulo acutngul con un 'ngulo agudo en B,
y trkese desde A la recta AD perpendicular a la BG. Digo que el cuadrado de AG es menor que los cuadrados de GB y BA en el doble del rectngulo comprendido por GB y BD.
Puesto que la recta GB est dividida por el punto D, los cuadrados
de GB y BD equivaldrn al doble del rectngulo comprendido por GB y
BD ms el cuadrado de DG.
~i!
..
~ll
.,
:11
!
EUCLIDES.-ELlMENlOS DE GEOMETRIA
Ja
fi-vd, /d .
--r1 ;::; 1
749
C>
11 Con este problema, que pone trmino al libro ll de los Elementos , ensea
Euclides a cuadrar cualquier figura poligonal, y, al mi smo tiempo, csiablecc
la posibilidad de tralar las figuras poligonales como magnitudes, es de ci r, como
cosas. en d sentido que da a esta palabra en las nociones comunes . Vid . i11fra ,
VI. 13 .
11 J.iteralmentc, yEyovo~ civ 1i11 rn f':uw;r:EV .
750
JI
EUCLIDES.-ELEMENTOS DE GEOMETRIA
TOMO I
751
11
LIBRO
111
PROPOSICIONES
DEFINICIO:-IES
Jt
. l. Crculos iguales son los que tienen iguales sus dimetros o cuyas
- -lneas desde el centro son iguales 1
2. Se dice que una recta es tangente al crculo cuando Jo toca y pro
longada no lo corta.
). Se dice que dos drculos son mutuamente tangentes cuando se tocan mutuamente y no se cortan J.
4. Se dice que dos rectas distan Igualmente del centro cuando las perpendiculares trazadas a ellas desde el centro son Iguales .. 5. Se dice que dista ms aquella sobre la cual cae la perpendicular
mayor.
6. Segmento de circulo es la figura limitada por una recta y por la
periferia del drculo 1
19 civaycacprooevljl, civay11acpt'(o1.evov .
1 Vid. supra, I, nota l 3. En realidad, esta definicin no es tal, sino un teorema que habra que demostrar por superposicin.
l La palabra circulo tiene aqu{ el mismo sentido que hoy. Euclides se refie re al jrea y no a la periferia, es decir, a la circunferencia . Vid. SUJ'l'O, l. nota 7.
l las pal;ibras arco y Cuerda fueron empleadas por primera vez en el
comentario de Campano a la edicin pnnc<"rJ de los Elcmr11to1, Venecia, 1482.
'
l
1
ll
!
-~--------------------------------- ~- - - - ---
_______.
752
CIENTIFICOS GRIEGOS.-
TOMO 1
.~.
.'
.. ~
5.
~
753
6.
..
,,
s Este teorema y el anterior demuestran que las circunferencias concntricas
no tienen puntos comunes, y, por tanto, queda establecida la uni ci dad de la
circunferencia de centro y radio dados y completado el postulado IH del lib. l.
75-4
i
l.\
il
1
1
:) 1
')'
":il:
. 1
1
EUCLIDES.-ELEMENTOS DE GEOMETRIA
CIENTIFICOS GRIEGOS.-TOMO 1
..
1 .
,,
1 .
755
756
I
_J: I
_:
11
11
; ,
11
-~1 1
~t i~
ti:
. f!
: I'
d
ti
CIENTIFICOS GRIEGOS.--TOMO 1
F1G.
70.
dos partes iguales y en ;ilngulos rectos, y, por tanto, la secante pasa por
el centro del <.:lrculo; luego este centro est sobre '1a HK, y por la misma
razn tambi~n est sobre la TL, y como estas dos rectas no tienen ningn
otro punto comn fuera del D, es D el centro del circulo ABG, l.q.q.d.
10. Dos clrculos no se cortan tn mds dt dos pw1tos .
Si el cfrculo ABG (Fig. 71) cortara al DEZ en ms de dos puntos B,
H, Z y . T, trcense las rectas BH y BT y
por sus puntos medios L y K las LM y
KG perpendiculares a ellas y prolnguense hasta los puntos E y A; y entonces,
por cortar la recta AG en dos partes iguales a la 8 T y en ngulos rectos, el centro
M \~
1
E
del circulo est en esa recta AG, y por
N
O
l
p
cortar la ME a la BH en la misma forma,
el centro est tambi~n en ME; luego es el
punto O; y anlogamente se demostrara
e;
que tambifo O es el centro del circulo
FIG
.
11.
DEZ, y, por tanto, los dos clrculos ABG
y DEZ, que se cortan , tienen el mismo
centro, lo cual es imposible; luego no se pueden cortar en ms de dos
puntos, l.q .q.d.
11. Si dos crculos se tocan interionnente, la recta que u111 sus cen tros, prolongada, pasa por ti punto dt contacto.
Sean los crculos ABG y ADE cuyos cen T
tros son Jos puntos Z y H (Fig. 72), respecti vamente. Si la recta ZH prolongada no cae
sobre A, sino sobre T, trcense las AZ y AH,
y por ser AH y HZ, juntas, mayores que ZA,
o sea: que ZT, si se quita la comn ZH,
ta restante AH ser mayor que la restante
HT; pero AH es Igual a HD; luego tambi~n HD ser mayor que HT, es decir: la
menos mayor que la mayor, lo cual es imposible, y, por tanto, la recta ZH, prolongada,
no caer &obre T, sino sobre el punto de con flG. 72 .
tacto A. l.q.q .d.
12. Si dos circulos u tocan exterionnerite, la recta que unt sus centros pasa por el punto dt contacto.
Sean los dos clrculos ABG y ADE (Fig . 7J) de centros respectivos
IJj
.>
757
,
~
j
-~
758
. \
759
..
760
1
,::
.1
:1
-..1\
1
EUCLIDES .-
que cona en ngulos rectos a la EK, prol nguese hasta N y trcense ME,
EN, ZE y EH .
Por ser ET igual a EL, tambifo es BG igual a MN, y por AE igual a
EM y ED a EN, la AD es igual a las ME y EN juntas; pero las ME y
EN junlas son mayores que MN; luego AD es mayor que MN, y como
MN es igual a BG, es AD mayor que BG; y por ser ME y EN iguales
a ZE y EH y el ngulo MEN mayor que el ZEH, la base MN es mayor
que la ZH; pero se demoslr que MN es igual a BG, luego BG es mayor que ZH, l.q.q .d .
JJ)
761
..:t
1
762
CIENTIFICOS GRll:GOS . -
TOMO 1
763
Sea ahou otro ngulo BDC con su vt!r tice D en 111 periferia y abarcando tam
bic!n el mismo arco BG. Tnicese la DE
y prolnguese hasta H. Razonando como
antes, se demuestra que el ngulo BEll
es doble del' BDH y el H EG doble del
HDG; luego el BEG es doble del BDG,
1.q.q.d.
21. Los dngulos colocados en el mismo segmento de circulo son iguales.
Sean los ngulos BAD y BED (Fig. 82)
F10. 11.
colocados en el mismo segmento BAED
del circulo ABGD. Digo que esos ngulos son iguales.
Sea Z el centro del crculo y trcense las rectas ZB y ZD .
el v~rtice del ngulo BZD en el centro del circulo y el del BAD
riferia y abarcar los dos el mismo arco BGD, el ngulo BZD es
BAD y por la misma razn es tambi~n doble del BED; luego
y BED son iguales, l.q.q.d.
Por estar
en la pedoble del
Jos BAD
G
F10. 12.
F10. IJ.
--
764
EUCLIDES.-ELl:MENTOS DE Gl:OMETRIA
Lar a la AG
luego la AB. El ngulo ABD serl mayor, igual o menor que
11 BAD. Sea primero mayor. Sobre la recta BA y en 5U punto A constr
yase el ngul.o BAE i&ual al ABD; prol11guese la BD hasta E y trlcese
la EG.
Por ser iguales los ngulos
ABE y BAE, la recta AE ser
igual a la BE y por ser AD igual
a DG y DE comn y los ngu.
los ADE y EDG Iguales por rectos, AE ser Igual a GE. Pero ya
1e demostr que AE es igual
flG . 86.
a BE; luego las rectas EA, EB
y EG son Iguales y, por tanto,
el drculo descrito con centro en E y radio desde E hasta uno de los puntos A, B o G pasar por los dems puntos y habremos completado el
circulo a que pertenece el segmento dado. Es claro que este es men or que
un semicirculo porque el centro E cae fuera de
Si el ngulo ABD es igual al BAD, las rectas DA, DB y DG 1ern
iguales: D ef centro del clrculo y el segmento ABG un semicirculo; y si
el ngulo ABD es menor que el BAD, y construimos sobre la recta BA en
su pun to A un ngulo BAE igual
al ABD, el centro del circulo caer
&obre BD, dentro del segmento
ABG, el cual ser' mayor que un
aemicfrculo '
26. En clrculos Igual los dn- .
~ ~ 8:
desiguales.
Si se pudieran construir los dos segmentos semejantes y desiguales AGB y
ADB sobre la recta AB (Fig. 84), trcen-..,
se las AGD, GB y DB, y por ser semeAlk"":
B jantcs los dos segmentos, abarcarn los
ngulos iguales AGB y ADB, es decir:
FIG. 84.
seran iguales el ngulo exterior y el interior del tringulo GDB, lo cual es imposible.
24 . Los segmentos circulares semejantes sobre rectas iguales son
'l.
iguales.
Si AEB y GZD son segmentos circulares semejantes construidos sobre las rectas iguales AB y GD (Fig. 85), digo que dichos segmento.> son
iguales porque aplicando el AEB sobre el GZD de modo que el punto A
caiga sobre el G y la recta AB
sobre la GD, el punto B caer
sobre el D por ser AB igual a
CD y el segmento AEB coin
c.
B
o
cidir con el GZD porque si no
A
coincidiera caerla dentro o fueF1G. as.
ra o lo cortarla 1 como el GHD,
y entonces un circulo cortarla a otro en ms de dos puntos, lo cual es
imposible; luego la recta AB no puede ser igual a la GD sin que sean
iguales los segmentos semejantes AEB y GZD, l.q .q.d.
~~
..
25.
I 1'0QUlJ.~fl.
K
F10.
17.
ri
Sean ABO y DEZ (Flg. sn doa
765
'
101
nguloa
7tib
TOMO 1
igualo LJl/G y ETZ con sus vt!rticu en el centro y los BAG y EDZ con
los su} JS en la periff'ria . Digo que el arco BKG es igual a ELZ. Tricense
las r~ctas BG y EZ, y por ser iguales los dos clrculos, 100 iguales los ra dios HB, HG y TE, TZ, y como el 4ngulo en H es igual al ingulo en T,
la base BG ser igual a la EZ, y por ser iguales los ngulos en A y en D, el
segmento BAG es semejante al EDZ y estn sobre las rectas iguales BG
y EZ; luego esos segmentos son Iguales y como tambit!n son iguales los
clrculos, el arco restante BKG es igual al arco restante ELZ, l.q.q.d.
27. En clrculos igualts los dngulos qut abarcan arcos igualts son
igualts, tanto si titntn tl "'rtict
A
o
tn ti ctntro como si lo titnen tn
la ptriftria.
Sean ABG y EDZ (Fig. 88)
do's cfrculos iguales de centros H
y T respectivamente, y en ellos
Jos ngulos BHG y ETZ con sus
vt!rtices en H y T. y los BAO y
FIG 8 8.
EDZ con los suyos en la perife.
ria y abarcando los arcos iguales
BG y EZ . Digo que los ngulos BHG y ETZ son iguales asl como los
BAG y EDZ.
Si el ngulo BHG no es Igual al ETZ, uno de ellos ser mayor que el
otro. Si lo es el BHG, constryase sobre la recta BH en su punto H el
ngulo BHK igual al ETZ y entonces el arco BK ser igual al EZ; pero
como el EZ es Igual al BG, el BG ser Igual al BK, es decir: el mayor
igual al menor, lo cual es imposible; luego el ngulo BHG no es desigual
a ETZ y ser, por tanto, Igual; y como el ngulo en A ea la mitad del
BHG y el ngulo en D la mitad
del ETZ, los 4ngulos en A y en
D son iguales, l.q.q.d.
28. En cfrculos igualts rtc
tas iguales subtitnden arcos igualn: ti mayor con ti mayor 11 ti
"""' con el menor.
Sean las rectas iguales AB y
flG. 89.
DE en los clrculos iguales AGB
y DZE (Fig. 89). Digo que el arco mayor AGB es igual al arco mayor
DZE, y el menor AHB al menor DTE.
767
768
CIENTIHCOS GRIEG OS .-
TOMO 1
Sea ABGD el circulo dado de centro E y en ~l un punto D y el dimetro BG (Fig. 91 ). Tritcense las rectas AB, AE, AD, AG y DG y prolnguese la BA hasta Z. Por &er EB igual a EA, el tngulo ABE &er,, Igual al
BAE, y por ser EG igual a EA, el tngulo AGE ser;t
l
igual al CAE ; luego el tngulo entero BAG equivale a los dos ABG y AGB; pero el ZAG, exterior
al triilngulo ABG, es tambl~n equivalente a estos
dos; luego el BAG es igual al ZAG y, por tanto,
ambos son rectos, es decir, el 'ngulo BAG en el
cmiclrculo es recto.
Por valer los dos 'nguloa ABG y BAG, juntos, del triilngulo ABG menos de dos rectos, y
ser recto el BAG, el ABG seril menor que un recto
y esti en el segmento ABG mayor que el semicirculo y por estar el cuadri14tero ABGD en el
f1G. 91.
circulo, sus ilngulos opuestos ABG y ADG equi valen , juntos, a dos rectos ; pero como el ABG es
menor que un recto, el ADG ser mayor que un recto y estil en el segmen to ADG menor que un semicirculo.
Digo tambifo que el ngulo del mayor segmento limitado por el arco
ABG y la recta AG es mayor que un recto y el del menor segmento limitado por el arco ABG y la recta AG es menor que un recto, pues siendo
recto el itngulo formado por las rectas AB y AG, el limitado por el arco
ABG y la recta AG es mayor que un recto y por ser recto el formado por
las rectas AG y AZ, el limitado por el arco ADG y la recta AG es menor
que un recto, l.q.q.d.
Corolario. De aquf se deduce que cuando un ingulo de un trlil.ngulo
equivale a los otros dos juntos, es recto, lo mismo que el ingulo exterior
a este equivale a los dos juntos y cuando los contiguos son Iguales, son
rectos.
ca, rx, 9, pues que se pregunta por qut! el fogulo inscrito en un scmicfrculo
es recto. Porque aon lguales--dice-lu tres rectas, a aaber: las dos mitades
de la base y la trauda desde el centro del crculo al vt!rtice del fogulo opuesto
a la base., justificacin incompleta, a pesar de que la apoya en la propiedad
de valer dos rectos la suma de los tres fogulos de un tringulo, diciendo que
U evidenie que por medio de la reduccin al acto se descubre Jo que existe
. en potencia' La demostracin de Euclides, en cambio, es perfecta y no con
tiene ninguna metafisicalizacin nebulosa .
~-
769
1
1
11
Cllt<TlflCOS ,
1. -l l
770
CIENTlflCOS GRIEGOS.-
TOMO 1
~
B
flG.
E
94.
F10.
'5.
..
1.
L
771
772
1
1.
'
pasa, la divide en partes iguales; luego HA es igual a HG, y habiendo quedado la AG dividida en partes iguales por el punto H y eo partes desiguales por el E, el rectngulo comprendido por EA y EG, m'5
el cuadrado de Eh, equivale al cuadrado
de llG, y ai'ladicndo el cuadrado comn
de ZH, el rectngulo comprendido por
EA y EG, ms los cuadrados de HE y HZ,
equivale a los cuadrados de HG y HZ.
Pero el cuadrado de ZE equivale a los
O de EH y HZ y el de ZG a los de HG
y HZ (Fig. 98) luego el rect4ngulo comprendido por EA y EG, m's el cuadrado de EZ, es equivalente al cuadrado de
GZ, y como GZ es Igual a ZB, el rectngulo comprendido por EA y EG, m's el
f1G. 91.
cuadrado de EZ. equivale al cuadrado de
ZB, y tambifo al comprendido por EB
y ED, ms el cuadrado de EZ, de modo que separando el cuadrado comn
de EZ, el rectngulo restante comprendido por EA y EG equivale al comprendido por EB y ED, l.q.q .d.
O
36. Si desde un punto exterior a un crculo st le trazan dos rectas, una de las cuales lo
corta y la otra solo lo toca, ti rectngulo
comprendido por toda la rtcta stcanll 1f su
partt exttrior tntr1 11 punto 1f la periferia coniexa d1I cfrculo tquivale al cuadrado d1 la tan
81
._
iente 11
Desde uo punto D exterior al circulo ABG,
trcese la recta DB tangente y la DA secan
te (Fig. 99). SI esta pasa por el centro Z del
crculo tr,cese la ZB, y aiendo entonces recto
Pio. 9!1.
el ngulo DBZ y quedar dividida la recta AG
en dos partes iguales por el punto Z, si se ai\ade GD, el rectngulo comu Tanto este teorema como ti anterior permitieron al gemetra suizo Jale.oh
Steintr (l 796-1863) introducir el concepto en potencia dt un punto respecto de
una circunferencia, y al franc~s louis Gaultier de Toun, que floreci a prin
ciplos del siglo XIX, definir el lupr de los puntos de igual potencia respecto
de dos circunferencias, al que llam eje radicalt.
~-
..
773
prendido por DA y DG, ms el cuadrado de ZG, es equivalente al cuadra do de ZD; pero ZG es igual a ZB; luego el rectngulo comprendido por
DA y DG, ms el cuadudo de ZB, es equivalente al cuadrado de ZD .
Pero los cuadrados de ZB y DB equivalen al cuadrado de ZB; luego el
rectngulo comprendido por DA y DG, ms el cuadrado de ZB, equivale
a los cuadrados de ZB y DB. Seprese el cuadrado comn de EB y en tonces lo que resta, que es el
rectngulo comprendido por DA
y DG, equivale al cuadrado de
DB, l.q .q .d.
Si la recta DGA (Fig. 100) no
pasa por el centro del circulo,
bsquese este, E, y tnlcense des 1\
~\
~/,.
~ o
de ~I la perpendicular EZ a la
AG y las EB, EG y ED. Por
ser recto el ngulo EBD y ZA
igual a ZG porque la recta EZ,
ftG . 100.
que pasa por el centro, es per
pendicular a la AG que no pasa,
aadiendo GD, el rectngulo comprendido por AD y DG, ms el cua drado de ZG, es equivalente al cuadrado de ZD, y aadiendo el cuadrado de Z{. el rectngulo comprendido por AD y DG, ms los cuadrados
de ZG y ZE, equivalen a los cuadrados de ZD y ZE; pero el cuadrado de
EG equivale a los cuadrados de ZG y ZE porque el ngulo EZG es recto
y el cuadrado de ED equivale a los cuadrados de DZ y EZ; luego el rectngulo comprendido por AD y DG, ms el cuadrado de EG, equivale al
cuadrado de ED pero los cuadrados de EB y BD equivalen al cuadrado
de ED porque el ngulo EBD es recto; luego el rectngulo comprendido
por AD y DG, mis el cuadrado de EB, equivale a los cuadrados de EB
y DB.
- - ---~-
CIENTIFICOS GRIEGOS.-TOMO 1
774
11
PROPOSICIONES
...'
IV
DEFINICIONES
~-,
l. Se dice que una figura rectillnea est4 inscrita en otra figura rec
tillnea cuando cada uno de sus 'ngulos 1 tiene el v~rticc en cada uno de
i xoui;
1 xo111c;
775
Y"'"'"
""
ic1u't'tlUl
yw,1Wv .
5 ~ VCltftC.,~FnOut .
n>.nioc;.
>" "I'"
-- - - - -
776
CIENTIFICOS GRIEGOS.-TOMO 1
Sea AllG el circulo dado y DEZ el trlfogulo dado (Fig. 103). Tr4cese
la HT tangente al circulo y constry1Se sobre ella y en su punto de contacto A el llngulo T AG igual al
DEZ y del otro lado el HAB Igual
E
al DZE y nase B con G.
Por ser A T tangente al circulo y haberse trazado desde su
punto de contacto A la recta AG
o
al circulo, el 4ngulo T AG es
igual al ABG formado en el segmento alterno y como el T AG
T
es igual al DEZ, el ABG ser4
flG. 10).
igual tambiln al DEZ; y, por
tanto, el ngulo restante BAG del tringulo ABG ser4 Igual al restante
EDZ y el tringulo ABG ha quedado inscrito en el circulo y 1us 4ngulos
son iguales a los del DEZ, 1.q.q.h.
3. Circunscribir a un circuid dado un tringulo d1 ngulos iguales a
los de un tringulo dado.
Sea ABG el circulo dado y DEZ el tringulo dado (Fig. 104). Prolnguese la El hacia H y hacia T tmese el centro K del circulo tr4cese
desde il una recta cualquiera KB
constryase en su punto K el llngulo BKA igual al DEH y el BKG
igual al BZT y tr4cense las rectas
LM, MN y NL tangentes al circulo
en los puntos A, B y G, y las KA,
KB y KG desde el centro K a esos
puntos, y entonces los 4ngulos que
tienen sus virtlces en ellos ion rectos y por dividirse en dos tri4ngulos el cuadrll(tero AMBK 1u1
cuatro llngulos valen cuatro rectos;
flG. 104.
pero siendo rectos los KAM y KBM, l
los otros dos AKB y AMB valen dos
rectos, lo mismo que DEH y DEZ; luego los AKB y AMB valen tanto como los DEH y DEZ, y puesto que el AKB es igual al DEH, el
AMB lo serll al DEZ; y anlogamente se demuestra que el LNB es igual
al DZE, y, por tanto, el restante MLN lo es al EDZ; luego el tri4n-
\>z
'
EUCLIDES.-ELEMENTOS DE GEOMETRIA
. 1
gulo LMN tiene sus ngulos iguales a los del DEZ y est circunscrito al
. circulo ABG, l.q.q.b.
4. Inscribir un circulo en un tridngulo dado .
Sea ABG el trillngulo dado (Fig. 105). Divldanse en dos partes iguales
sus ngulos ABG y AGB por las rectas BD y CD, que concurren en el
punto D' y triicense desde este punto las
A
perperidi~ulares DE, DZ y DH a los lados
del tringulo.
Por a;er el iingulo ABD igual al GBD y
rectos los BED y B7.D, los tringulos EBD
y ZBD, que tienen iguales un lado y dos ngulos, tendrn tambiin iguales los otros lados; luego DE es igual a DZ y por la misma
razn DH tambiin es Igual a DZ; luego las
G
tres rectas DE, DH y DZ son iguales entre
sr. y, por tanto, el circulo descrito desde
D como centro y radio DE, DH o DZ pasaB
ni por los otros dos puntos y tocar a las recF10. lOS.
tas AB, AG y BG en los puntos E, Z y H
por ser rectos los ngulos que tienen sus virtices en esos puntos, pues
si las cortase, la perpendicular trazada en el extremo de un dimetro caera dentro del cfrculo, lo que ya se demostr que es imposible; luego dicho circulo no cortar a los lados del tringulo, sino que los tocar y
quedar4 Inscrito en el tringulo, l.q.q.h.
5. Circunscribir un circulo a un tndngulo dado.
Sea ABG el tr14ngulo dado (Fig. 106). Divdanse en dos partes Iguales
los lados AB y AG por los puntos D y E y trcense desde ellos a las
rectas AB y AG las per:pendicula
res DZ y EZ que se cortarn den
" lro del tringulo, en el lado BG
"
o fuera de BG.
Sea primero que caigan en z.
P10. 106.
dentro del tringulo, y trcense las
rectas ZA, ZB y ZG. Por ser DA
igual a DB y DZ comn, las AZ y BZ sern iguales, y anlogamente se
demostrarla que AZ y GZ son tambin iguales, luego las rectas AZ,
@ ~~
j,._
777
778
I!
:I
EUCLIDES.-ELEMEHTOS DE OEOMETRIA
1-
T
!j
T
!
779
T
G
K
8. Inscribir un circulo n ur1 cuadrado dado.
F10. 108.
Sea ABGD el cuadrado dado. Divldanse sus
lados AD y AB en dos partes iguales por los puntos E y Z; trcese por
E la ET paralela a las AB y DG y por Z la ZK paralela a las AD y AG,
y entonces los cuadrilteros AK, KB, AT, TD, AH, HG, BH y HD
paralelogramos y, por consiguiente, sus lados
A
E
O
opuestos iguales entre sf.
Por ser AD igual a AB y EA la mitad de AD
y AZ la mitad de AB, la AE es igual a la AZ
y lo mismo demostrarlamos que HE es Igual a
1
l. IK
HZ y que HT y HK son Iguales a HZ y HE; luego la.s cuatro rectas HE, HZ, HT y HK son Iguales entre si, y, por tanto, el crculo descrito desde
H como centro y con radlo HE, HZ, HT o HK
e;
B
T
pasar por los demils puntos y tocanf a las recF10. 109.
tas AD, AB, BG y GD por ser rectos los ngulot
ep E, Z, T y 'K, porque si el circulo ~rtara a aque. llas rectas, la perpendicular trazada desd\' el extremo del dimetro del
drculo caerfa dentro de este, lo cual se ha demostrado que ea imposible
luego el circulo de centro H y radio HE, HZ, HT o HK no corta o las
rectas AD, AB, BG y GD, sino que las toca y cst4 Inscrito en el cuadra
do dado, l.q.q.h.
9. Circunscribir un circulo a un cuadrado dado.
Sea ABGD el cuadrado dado (Fig. 110). Trcense las rectas AG y BD
que se cortan en E. Por ser AB igual a AD, GB igual a CD y AG comn,
el ngulo DAG es igual a BAG y, por tanto, el BAD est dividido en dos
'
"
1
7110
1
'i\
~I
partes iguales por la recta AG; lo mismo dcmostrarmos que los A BG,
BCD y GDA lo estn por BD y AG. y por ser iguales los ngulos BAD y
A
ABG, el EAB mitad del DAB y el EBA milad
del GBA, el EAB es igual al EBA y la recta EA
igual la EB.
Anlogamente i;e demuestra que EA y EB
111"
L
AD
son igules a EG y ED; luego las cuatro rec
tas EA, EB, EG y ED son iguales entre s, y,
por tanto, el crculo descrito desde E como c.:ntro y con radio EA, EB, EG o ED pasar por los
G
dems puntos y estar circunscrito al cuadrado
f1G. 110.
dado, l.q.q .h.
10. Construir 1111 tridngulo isscrles cada
uno de cuyos ngulos e11 la bast sea doble drl dngulo tn ti vrtice.
Tmese una recta AB (Fig. 111) y en ella un punto G tal que el rectngulo comprendido por AB y BG sea equivalente al cuadrado de AG.
Con centro en A y radio A 8 descrbase el crculo BDE; adptese a l la
recta DD igu1l a la AG. que no es mayor que el dimetro del crculo;
trcense las rectas AD y DG y circunscrbase el crculo AGD al tringulo AGD.
Por ser el rectngulo de AB y BG equivalente al cuadrado de AG y
AG igual a BD y B un punto exterior al crculo AGD desde el cual i;e
han trazado las rectas BA y BD, una de las cuales corta al circulo y la
otra lo toca, y desde D la DG, el fogulo BDG es igual al DAG y agregan
do a am"s el GDA, el ngulo completo BDA ser igual a los otros dos
GDA y DAG juntos, y como el exterior BGD es igual a estos, el BDA
r'.
Esta construccin era conocida de los pitagricos, pues que es la del pen
tlcono estrellado, 1!mbolo con que ae reconoclan los afiliados a la secta. En
ceneral, el lib. IV de los Elementos recose las investigaciones matem,tlcas de
la escuela de Samos, como ha demostrado Hl!t1UG en au coleccin de escolios Om Scholiemt ti/ E11k/ids Elrmenter, Copenhague, 1888, en dan~s. c:on
un resumen en franch redactado por el propio autor; y, en particular, el pro
blema 10 esti vinculado con el del dodecaedro regular-1\ h 11i1v l\c:1llr><n
"'""''l'vwv, dice IMllLICO en su Vida dt Pitd:vrai-que quiere la leyenda que
fuese llipaso quien divulg su conocimiento, lo mismo que el secreto del nmero irracional. Vid. mpra, nota 6 de J>itgoras, y el trabajo de KullT \ ' OH
flllTZ 1The discovery of incommensurability by Hippasus of Metapontutn>,
.A1111als of f\latl1t111atin, vol. XLVI, 1915.
781
i82
CIENTIFICOS GRIEGOS.-TOMO 1
luego estos ngulos son iguales, y como por la misma raz.n lo son los
ABG, BGD y GDE a los anteriores, el pentgono es equiil.ngulo, l.q.q.h.
12. Circunscribir un pentdgono equi/dtero 11 equidngulo en un cfrcu/o dado.
Sea ABGDE el circulo dado (Fig. l lJ); los puntos A, B, G, D y E los
\'rtices del pentgono inscrito de tal modo que los arcos AB, BG, CD,
DE y EA sean iguales entre si, y trcense por esos puntos las tangentes
H
HT, TK, KL, LM y MH al circulo y
desde su centro Z las ZB, ZK, ZG, ZL
lo.s KTH, TllM y HML son iguales a los anteriores; luego los cinco ngulos HTK, TKL, KLM, LMH y MHT son iguales entre si, y, por tanto,
el pentilgono es equiilngulo, l.q.q .h.
IJ.
tero.
j\
!
1'
Sea ABGDE el pentigono dado (Fig. 114). Divldanse los ngulos BCD
y GDE en dos partes Iguales por las rectas GZ y DZ y desde su punto
de interseccin Z trcense las ZA, ZB y ZE.
A
Por ser BG igual a GD y GZ comn
y el ngulo BGZ igual al DGZ, las BZ y
DZ seriln iguales y el tringulo BGZ igual
al DGZ; luego los iilngulos GBZ y GDZ
8
seritn iguales, y por ser el GDE doble del
E
GDZ e igual al ABG, y el GDZ igual al
GBZ, el GBA es doble del GBZ y por tanto, el ABZ igual al ZBG y ABG ha queda-
y ZD.
T('
78)
\ ......._M
784
'
"
..
\':
CIE.NTIFICOS GRll:.GOS. -
TOMO 1
como arcos iguales &ubtienden rectas iguales, son iguales las rectas AB, BG,
muestra que los otros ngulos del hexgono son iguales a estos dos; luego
el hedgono es equingulo, l.q .q.h.
Corolario. De aqul ae deduce que el lado del hexgono es igual al
radio del dtculo, y, lo mismo que lo hecho para el pentgono, trazando
por los puntos de divisin tangentes al circulo, se circunscribid a este
un hexgono equiltero y equingulo, y por razones anlogas a las dadas
para el pentgono se inscribir un circulo en un hexgono equiltero y
equingulo dado y se circunscribir
A
otro circulo.
16. Inscribir un p1ntad1cdgono
equildttro !/ equingulo en un circulo dado .
Sea ABGD el circulo dado (Figura 117). Adptese a este el lado AG
del trilngulo y el AB del pentgono
equiliUeros inscritos en ~l de modo
que ai se divide el circulo en quin
ce partes iguales, siendo el arco ABG
la tercera parte tendr4 cinco de es
tas partes y siendo el arco AB la
quinta tendr tres, y, por tanto, el
arco restante BG tendr4 dos de las
partes iguales. Divldaae este arco BG
F10. 117.
en dos partes Iguale& por el pun
to E y entonces cada uno de los arcos BE y EG ser4 igual a la decimo
quinta parte del circulo; luego si trazamos las rectas BE y EG y adap
tamos sucesivamente al circulo rectas Iguales a estas, quedar inscrito
en l un pentad~c4gono equll4tero y equingulo, l.q .q.h . '
'Esta elerante construccin, fundida en la igualdad l /J - 1/S = 2/1 S, debi
dr ser conocida de los pitagricos, pues que dich1 igualdad equivale 1 la
l/6 - l/10=1/15, y, por tanto, el lado del peot1decjgono es la diferencia entre
el radio y au seccin 'ure1, descubierla por la escuela de Samos. Enpidu de
\\
1.
785
786
"'. '
787
4. Se dice que dos magnitudes tienen razn cuando se puede mul tiplicu una de ellas de modo que supere a Ja otra .
5. Se da q~ la ruda de uaa prima-a nugalrud ron ua Hiuadl
es la misma que la de una tercera coa una cuarta cuando, tomando cualquier mltiplo de la primera y de la tercera y de la segunda y cuarta,
el mltiplo de la primera es mayor, igual o menor que el de la 1egunda,
segn que el de la tercera
mayor, igual o menor que el de la cuarta 1.
"
LIBRO
\ J!
1
V1
\\',
DEFINICIONES
l.
mide'.
homog~-
1\1
1'
\ 1
1
i 1
1
mhlplo.
>E11ctamente.
Obsirveae que Euclides no define la ma1nltud, pero supone lmpUcltamente
que debe aatisfacer a laa nociones comunes del lib. 1, y, por tanto, eat' de
acuerdo con Aristteles cuando dice (Mdofbico; V, ll) que la ma1nltud es
una cantidad que puede mtdine1.
si.a palabra :"A.1x61~, que fisura en el texto 1rie10 de eata definicin, ha
sido objeto de varias Interpretaciones. Loa franceses la han traducido por eran-
d'11r; los ingleses, por si:'; los alemanes, por Grosu, y nosotros, por con1idad,
ya que uelacin respecto de la cantidad parece ser lo que m' ae aproxima a
oxio~ 1<01 :r11>.ux111111. No ser' superfluo recordar que >.y~ : razn, era tambiin huta Euclides lo upreuble y representable num4!ricamente por comparacin con una maanitud tomada como unidad, y de aquf que la palabra racio nal tensa hQY un sentido preciso, mientras que es variable para Euclldt1, pues
que en I del. l del lib. X considera como racionales a loa Irracionales cuadr,ticos.
Esta definicin complementa la anterior y es, en el fondo, la enunciacin
Imprecisa del postulado de Arqufmecies, que, n realidad, es de Eudoalo de
Cnido : Dadas dos ma1nitudes desiguales, ae pt:ede alcanzar y auperar la mayor repitiendo la menor un nmero suficiente de veceu, lo cual supone la '
txistencia de ma1nitudes tan arndea o tan pequel'las como se qulera'i con objeto de embridar al infinito, incompatible con la Matemjtlca grieaa. l.a definicin euclldca no tiene otro alcance que ti . de advertir que 5iempre que ae '.i' '
hable de l1ualdad o deslaualdad de rnbnea se sobrentienda que el par de
ma1nitudes que ae comparan cumplen tal condicin, a I que Eucllde1 bito
explicito llamamiento para demostrar ma adelar.te que si es a > b, ea 1iernprt e : o <e: b, cualquiera que sea 11 maanltud. Vid. in/ro., prop. 8. 1 "' 11 1
1 Modernamente diramos: Dos razones, a/b y c/d, aon Iguales 11, dadot doa
nmeros ente roa cualesquiera m y n, ca mo it mb cuando aea me it mil. '
Entre eata definicin y todaa laa anterlorea hay una diferencia uenclaJ 1 laa
que preceden a la 5 solamente exl1en la conalderacln de cierto ndmero de
operaclonea, mientra que la S depende de lnflnltu y es la primera deflnlcl6n
por abstraccin, . puea que en ella no se enumeran 111 notas del ente definido,
sino que ae establece au iaualdad, y, al propio tiempo, con1tltuyo una andel
pacln, en veintltrfa alalcn. del concepto rlauroso de ndmero Irracional ae1n
el m4todo de laa cortaduras expuesto por DEDEltlND en au opdsculo Stoti1kolt
""" irrotionot' Zohltn, , Brunawlclt, 1872.
La ceptacln del CO!'Ctpto eucldeo de cuotquiu equimilltiplo: xoll'
;,:ru1ovoiiv 1'0HW1>.0010.ol'ov,~tropez con 1randes dificultades huta el Renacimiento, y el propio Galileo empleu la tercera jornad de sus Discorsi ' di
mostrozioni moumoticht intomo et dut """' 1ci,nu, Leiden, 1618, definiendo
el movimiento uniforme como quel en que los Hpacios recorridos por un
788
CIE.NTIFICOS GRIEGOS,-
6.
TOMO 1
1101'1 .
,,
\
..
mvil en tiempos iauales cualesquiera son laualcs entre sr., definicin que
aclara diciendo: H crefdo conveniente aareaar a la antlaua dcfinlcln--{que
llama simplemente molmlento uniforme al que recorre espacios lauales en
tiempos l1uales)-l1 palabra 1cualcsquier11 (q11ib111c11mq11], u decir, en tiempos l1u1lea c11ol'lq11iro, porque puede ocurrir que el mvil recorra espacios
isuales en tiempos l1ualea y, sin cmbar10, no sean lsuales los apaclos recorridos en 1l1un11 fracciones mis peque/las, aunque l1uales entre ah, y en la
quinta jornada-la dictada en sua llimos dfas a Vlvlanl, au disclpulo predilecto, y alladida en ediciones poateriores 1 la princp1 de Leiden-trata precisamente de entender el q11ib111cumq111 de Euclides cuando, &)osando au teora
de las ma1nitude1, LQuh!n ser,-dic~l feliz insenio que tenia la segu ridad de que cuando las m11nitudes 5on proporcionales concordar'n siempre los. equimltiplos7 SI el lector sabe ya qu~ ea tia proporcionalidad de magnhudea, le ser' muy dificil entender que el comportamiento de la primera
ma1nitud con la ae111nda es an,1010 al de la tercera con la cuarta cuando
los equimdltlploa de la primera y tercera concuerden Indefectiblemente con los
de la 1e1unda y cuarta en ser alempre mayores, l1u1lea o menores. Sea de ello
lo que fuere, creo que la definicin de Euclides ea m' bien un teorema que
hay que demostrar.a
,. .
.
Un positivo pro1reao de la teorfa de m11nhud11 proporcional., para caminar hacia la del nlimero real se debe a BoaaLLI (1601-167P), quien, an 1u Eucli" r11tit11to, Parla, 1658, 11 propuso perfeccionar el lib. V de loa Elm1nto1,
que tanto habla preocupado a Galileo; pero la ellmlnac16a de les pell1ro111
Intuiciones 1eomftrlcu no 11 realiz huta medladoa del 11&10 xm. :
1 Con eJ 1imbollamo moderno, ea a: b > c/J al M pueden' encontrar dos mimeroa enteros m y n tales que siendo ma > nb, sea mc4'ncl.
''.A"loylo M lv 'lQ,olv 5Qou; '1oxiou1 lo1'v, 1e1dn la leccin de Helberg.
la palabra 5'101: tfrmlno, empleada aqu en un sentido diferente del lib. I, .lfrmino, confin, limite o mojn, hace pensar a 1l1uno1 comentaristas que no debla
figurar en el texto original, y no falta quien crh que toda la definicin ha
sido interpolada posteriormente porque es superflua. Se trata de la proporcin
ll1m1d1 continua, que tiene la forma a :b=b :c, para dl1tln1ylrla de la discrera.
que consta de cuauo tfrminos; pero Euclides no usa las ' palabras ouvrxfi~ y
1
989
17.
11
de Ariutelea.
,,
11
lft
PROPOSICIONES
19'
Ea decir, 11 se tiene
:11 ~\
~ '
~t
!i
,.
\ \\
i
1:
\,
\i
EUCLIDES.-ELEMENTOS DE GEOMETRIA
CIENTIFICOS GlllEGOS.-TOMO l
790
a : b=n : p y b:c=m : n.
u Eua proposicin, enunciada en una forma que nos parece extralia e incluso i!lcomprensible, equivale a decir que al ma, mb, me, . .. , 1111, son equimhip\os de \11 ma1nitudu a, b, e, .. .. l, ae tiene :
ma +mb +me+ ... + ml-m{a+ b+c+ ... +I) .
791
Es decir, ma+na-(m+n)a.
u Con la notacin moderna, si u a- mb y c-md, sent na- pb y ne - pd.
Zl
.......
792 .
.'
:,
\
!\,
'1
; \
\
..
1
1
Z,
\11
la
,._
(-------..--/
K~--
M---~~--~~~--~~--
____
c. - - ./
o-
,z. -
L _____...,__ __
..,,/
N----------PIO. 121.
;:
1i\
~
d1s restadas d1 las primtras son equimltiplas de las rtstadas d la l'gunda, las qui qudan serdn iguales o tquimltiA
H
B plas d1 llas 11 _
Si AB y GD son dos magnitudes equimdl
tiplas de otras dos E y Z (fig. 121), y las magnitudes restadas AH y GT son equlm1Utiplas
K G
T O
de las mismas E y Z, digo que laa que quedan
HB y TD son iguales o equimltiplas de ellas.
...__.
Si primeramente es HB igual a E, digo que
fiG . J2J.
tambit!n TD senf igual a Z porque tomando GK
igual a Z, por ser AH equimltipla de E como
GT lo es de Z, y HB y GK iguales a E y Z, respectivamente, AB ser equl -
J_
: 'd
Si la primera mag~itud A tiene con la segunda B la misma razn que la tercera G con la cuarta D (Fig. 121 ), tmense las magnitudes E y Z equimltlplas de A
y G y las H y T equimltlpl11 de
B y D. Digo que la razn de E a H
es la misma que la de Z a T.
Tmense lu magnitudes K. y L
cquimltiplas de E y Z y otr11 cua-
Las veces que la magnitud AE sea mltiplo de la GZ, senl la EB ml tipla de la GH y la AE lilmbifo ser equimltipla de GZ como AB lo es
de HZ pero hemos supuesto que AE era equimltipla de GZ como AB
de GD luego AB es equimltipla de HZ y GD y, por tanto, HZ es igual
a GD.
e - ._/,
79)
{--------~;
794
i
'
'1
'
1
---
11
I'.
,,~
EUCLIDES.-ELEMENTOS DE GEOMETRIA
795
G1
-i
de D sea el primero mayor que K .
1~
Si N, cudruple de D, es el primer
~
H
T
mltiplo mayor que K, no es K meK
/
nor que M, y por HZ el mismo
v
0
mltiplo de AE que HT lo es de EB,
~
tambi~n ser ZT de AB; pero ZH
L
es el mismo mltiplo de AE que K
M
de G; luego ZT senl el mismo de
N
V
AB que K de G, y, por tanto, las
magnitudes ZT y K son equimltiPie. 12.s.
plas de AB y G.
Siendo HT el mismo mltiplo de ~JJ que K de G, y EB igual a G,
tambifo HT ser igual a K pero K no es menor que M, luego tampoco
HT es menor que M, y como ZH es mayor que D, el todo ZT es mayor
que D y M juntas, las cuales son iguales a N porque M es triple de D y
M y D juntas son el cudruple de D y N es culidruple de D; pero ZT
f
E
1 ~
At
- 797
CIEHTIFICOS GRIEGOS.-TOMO 1
796
1
1
completaramos la demostracin.
9. Las mag11itudts qui titn1n la misma ra%n con una magnitud son
igualts, 1J con lds qut una misma magnitud titnt la misma razn, son
e;
igualts
Si las magnitudes A y B, que
B
A
tienen la misma razn con la magf1G . 117.
nitud G (Fig. 127). no futran igua-
\ 11
11
'
--
,
;.
il I 1\\
- ' \i:
-
1
'.
"
b
' ~I,.
c.
A
misma G, y no es luego A no es
menor que B, y como 1e demos
f1G. lll.
tr que tampoco es igual, tiene que
ser Si
mayor.
8 tiene con G mayor razn que con A. digo que B es menor que A
porque si no fuera menor serla Igual o mayor. Igual nu es porque entonces G tendrla la misma razn con A y con B y no la tiene; luego A no es
igual a 8 y tampoco 8 es mayor que A, porque entonc~s G tendrla con B
.L.
--
SI es o : b- m : n y ..-- ...
J -m:n, se tendr.tl o :b-c:d.
ll Textualmente, al &oa .:mro#xu 10 H 1o A, inuvixu xai 1b 0 1o M.
MSI es a1 :b 1-a1 :b1 - .. . -o,.:b,. ae verificar:
JJ
proposi ~ij
--
--
~-
798
!\
' I'
11
nores, menores.
Como H es mltiplo de A, tambifo lo son H, T y K de A, G y E porque dado un nmero cualquiera de magnitudes respectivamente equiml
tiplas de otras magnitudes cualuquiera, las veces que una de ellas sea
mltipla de otra, las mismas veces lo ser in todas de todas las dem4s; y
por lil misma razn L y L, M y N son equirnltiplas de B y de B, D y Z;
luego la razn de A a B es la misma que la de A, G y E a B, .!) y Z,
1
; 11
i:
I
'1
l.q.q.d.
13. Si uno prim1ra magnitud ri1n1 con una J1gunda la misma razdn
qui una r1rc1ra con una cuarta, 11 la d la r1rc1ra a fa cuarta -' ~1a11or
qu la d1 una quinta a una suta, la rozdn d la prim1ra a la S1&11nda
s1rcf mo11or qui lo d1 lo quinta a la uda u,
Sea A una primera magnitud que tiene con una segunda B la misma
razn que una tercera G tiene con una cuarta D y la tercera G con la
cuarta D mayor razn que una
quinta E cqn una sexta Z (Fig. lJ l).
H
a
C.
.!. .JL. ~
~.
Digo que la ru.n de A a B es
mayor que la de E a Z.
-1
Puesto que hay algunas mag
-1- -1FIG. m.
nitudes equimltlplas de G y E
y otras cualesquiera equimltlplu
\
1\
--
r
....,
..
.
..
11
'!
\ 11;
\'
799
ClEHTlflCOS GRIEGOS.-l'OMO l
lesqulera K y L de D y Z.
Puesto que H es mayor que K, T no es mayor que L y las nces que
H aea m1Utlplo de G otru tantu lo aer M de A y lu que lo sea 1C de
D lo 1er N de B ~ pero A ea a B como G a D, y M y H ae bao tomado
equimltiplu de A y G, y N y K de B y D; luego 11 M ea mayor que N,
ser H mayor que K; al igual, Igual, y al menor, menor; pero H ea ma
yor que K; luego tambi~n M ser mayor que N; T no es mayor que L;
M y T son equlmltlplas de A y E, y N y L de B y Z; lueso la razn de
A a B es mayor que la de E a Z, \.q.q.d.
14. Si una primtro magnitud tiene con una s1gunda la misma rozn
q111 1111a t1rc1ra con una cuarto !/ la primera u mayor qui la tercera, la
segunda serd mayor qui la cuarta; si fues1 igual, igual, y si menor, menor 16
Si una primera magnitud A tiene con una 5egunda 8 la misma razn
que una tercera G con una cuarta D 1 y A es mayor que G (Fig. 1J2), la
run de A a B ser mayor que la de G a 8 ; pero como la de A a B es
la misma que la de G a D, la de G
A
e,
0
8
a D ser mllyor que la de G a B
,___.
y puesto que de dos magnitudes
FIG. l 12.
desiguales con la que una misma
tiene mayor razn es menor, resulta que D es menor que B o B ma yor que D; y anlogamente se demostrarla que si A es igual a B , tam bifo G ser igual a D y si A es menor que B, ser G mayor que D .
15. Las part1s JI los 1quimltiplos tomados en 11 mismo orden tienen
lo , misma razn n.
(. Si AB es tantas veces mltiplo de G como DE de Z, habr en AB tan as magnitudes Iguales a G como hay en DE iguales a Z . Divid iendo AB
en las partes AH, HT y TB iguales a G y DE en las partes DK, KL y LE
iguales a Z, el nmero de las AH,
A
H
T
B
G
HT y TB ser igual al de las DK,
KL y LE, y por ser AH, HT y TB
iguales entre si, lo mismo que las
z
15
~
~ t---4
DK, KL y LE, las razones de AH
a DK, HT a KL y TB a LE 1ern
F10. UJ.
iguales, y como entonces tiene la
misma razn cada antecedente con el consecuente, lo mismo estarin todo1 los antecedenta y todos los consecuentes pero AH es igual a G
y DK a Z;' tuego G e.a a Z como AB a DE, l.q.q.d.
! \1
1' i
........
800
1
l
1;
1 \'
,.
LP
~
~
de EB y ZD. Por ser HN el mis mo mltiplo
de AE que TK de
.
H
T
K
X
EB, tamb1fo lo es HK de AB, y
L
M
N
P
por ser LM el mismo mltiplo de
GZ que MN de ZB, lo ser4 LN
de GD.
F10. ns.
Pero LM era equimltlpla de
GZ y HK de AB; luego HK es equimltipla de AB y LN de GD, y, por tanto,
,\
1
'.I!
\:IG "
1
> Si se verifica
tS
a : b~c : d, tambi~n
C5
l4 - b) : b-(c - d) : d .
a : b- e: d, se verificar' igualmente
(a+b) :b-(c+d) : d
41 Si
lt$i
801
CJEHTIFICOI ,
1.- 26
---------~
...
-
80)
EUCUDES.-ELEMENTOS DE GEO.METRIA
CIE.NTIFICOS GlllE.GOS. -TOMO 1
802
IC epar&a y aE ser' a EA como DZ a GZ y, alternando, BE es a DZ
,... Li.
u;,
11
i1
y si menor, menor.
21. Si tr1s magni1udu 11 otras tantas tomadas de dos en dos fonnan
a:b=c:d
1,
b:ca:e:f,
~.
b:cd : e,
tambi& D seri mayor que Z, e igual si igual, y menor a;i menor, porque
siendo A mayor que G y B otra magnitud, A tendr' con B mayor ru.n
4* G coa B; puo A lf /J flJl1W li 1 Z, , >Rrlf~1 fi 11 lJ 8Jme
E D; ,_. 1 UtldtJ tfl Z mayot tit&n que en b, y eom6 efe dos
magnitudes desiguales la que una misma tiene mayor razn es menor, z
es menor que D o D mayor que Z, y anlogamente se demuestra que a;i
A es igual a G es D igual a Z y si menor, menor.
22. Si tHlrias ma111laul11 11 otras lanta.s lomada d1 do1 1n do1 "'"
proporcional' 11ndrdn raz6n CUJI ...
Sean A, B y G tres magnitudes, y D, E y Z otras tres tales que A es
a B como D a E y B a G como E a Z (Fig. 140). Tmense H y T equlmdltiplas de A y D y otras cuales
quiera K y L equlmltiplu de B
_r::'-Y E y otras lambl& cualesquiera
"
M y N equimltiplas de G y Z;
-1.- __.__
y entonces por ser A a B como
F10. 140.
D a E y habcuc tomado H y T
equimltiplas de A y D, y K y L de B y E, scr4 H a K como T a L,
y por la misma rUn Ka M como L a N.
Pero si se tienen tres magnitudes H, K y M y el mismo nmero de
otras T, L y N y se toman de dos en dos proporcionalmente con la misma razn, si la primera H es mayor que..)A, tamblfo T ser mayor que N;
a;I igual, igual y si menor, menor, y H y T son cquimltiplas de A y D,
y M y N otras equimhlpl11 cualesquiera de G y Z, resulta que A es a G
como D a Z, l.q.q.d.
,
21. Dodas lr11 manitudes 11 otras tantas que, tomadas d1 dos n
dos, /orman proporcion11 perturbadas, tambiln 11tardn n proporcin 4',
::t::-r
a:b-4:1
f.
b:c-1:f,
b : c-d : e,
se verificar' a : e- d: f.
ajlc.
'"
.il
--- --
805
804
DE a ET, y .siendo las magnitudes separadas proporcionale1 como 111 compuestas, ser AH a HB como DT a TE; pero tamblin c1 BH a G como
ET a Z; luego Igualmente AH es a G como DT a Z , l.q .q .d .
'
equimltiplas de A y B y tener la misma razn las partes y los equimltiplos, A sert a B como H a 1 y por la misma razn E a Z como
M a N y A a B como E a Z luego tambiin H es a T como M a N;
y por ser 8 a G como D a E, tamblin seri, alternando, B a D como G a Ji
y por ser T y l< equimltiplas de B y D y tener la miima razn las partes
y los equimltiplos, 8 ser' a D como T a K pero B ea a D como G a E;
luego tambiin T sert a K como G a E.
: 1
1\
4'
1.Q!
Es decir, al ea
"
tendri
o : b-c : d
e:bf:d,
(a H) : b (c+f) : d .
LIBRO
VI
1
DEFINICIONES
l. Figuras rectilneas semejantes son las que tienen los ingulos iguales y los lados propordonalea 1.
2. Figuras Inversamente proporcionales son las que tienen sus lados
Inversamente proporcionales a los nguJ01 opuestos iguales
1
1
1
- -
'I
'
Se dice que una recta est dividida en media y extrema razn cuan3. lnca total es a la parte mayor como la parte mayor a la menor.
do la Altura de una figura 1$ la , perpendicular traz.ada desde el vlrtice a
4.
la bue
ll
PRO POS ICIOHES
l.
1\
1\
1\
1
1
#(JJ
'
"
808
) . Si u11 11gulo d1 un tringulo ut bis1cado por una recta qui corta a la base, los s1gm1nlos d1 uta 11ndrdn la misma razn con los otros
lados del tringulo, lf si lo~ segm1ntos d1 la ba11 timen la misma razn
con los otros lados, la r1a qui un1 ti vlrtic1 con 11 punto dt 11ccin
bisecar al d11gulo.
Si la recta AD biseca al 'ngulo BAG del tringulo ADG (Fig. 146),
trcese la GE paralela a la DA y prolnguese la BA hasta E, y entonces,
por incidir la recta AB 1obre las paralelas AD y EG, los 'ngulos AGE
y GAD scrb iguales y como el GAD es
E igual al BAD por hiptesis, el BAD scr4 igual
al AGE, y por incidir la recta BAE sobre
las mismas paralelas los 'ngulos BAD y
AEG scr iguales: pero se ha demostrado que el AGE es igual al BAD; luego el
AGE es tambin igual al AEG y, por tanto,
AE es igual a AG y como se ha trazado GE
paralela a AD. es BD a DG como BA a AE.
fiG . l46.
y por ser AE igual a AG, ser BD a DG como
BA a AG.
Por otra parte, si BA es a AG como BD a DG y se trat.a la recta AD.
por la misma construccin es BD a DG como BA a AG y tambin BD
a DG como BA a AE, y por ser AD paralela al lado EG del tri,ngulo
BGE, es BA a AG como BA a AE; luego AG es Igual a AE y el 'ngulo
AEG igual al AGE; pero el AEG es igual al BAD y el AGE al GAD;
luego el BAD es igual al GAB y, por consiz
guiente, el BAG ha sido bisecado por la recta
AD, l.q.q.d.
4. En los tridnaulos 1quidngulos, los
lodos opuutos a los dnaulos iualu son propordonal1s.
Si ABG y DGE son dos tr14ngulos que
tienen Iguales los 'ngulos ABG y DGE y los
BAG y GDE (Flg. 147), colquese BG en 11
B
flG. 147.
nea recta con GE. Puesto que los ngulos
ABG y AGB. juntos, son menores que dos rectos y el AGB igual al DEG, los ABG y DEG, juntos. son menores que dos
rectos y, por tanto, prolongando BA y ED se encontrarn en un punto Z.
Ahora bien: por ser iguales los ngulos DGE y ABG. las rectas DZ
809
y GD aertn paralelas y por ser iguales los ingulos AGB y DEG aer'n pa ralelas las AG y ZE; luego ZAGD es un paralelogramo y la recta ZA
ser' Igual a DG y la AG a ZD, y como AG es paralela al lado ZE del
trl4ngulo ZBE, aeri BA a AZ como BG a GE: peto AZ u Igual a
GD, Juego BA es a GD como BG a GE y AB a BG como DG a GE.
Adem,s, por ser GD paralela a BZ, es BG a GE como ZD a DE; pero
ZD es igual a AG; luego BG es a GE como AG a DE y BG a GA como
GE a ED y hablindose demostrado que AB es BG como DG a GE y
BG a GA como GE a ED, . es BA a AG como GD a DE, 1.q.q.d.
5. Si dos trid11gulos titnn sus lados proporcional1s, serdn 1quidng11los lf los dngulos iualn correspondr4n a los lados subtndidos.
Sl ABG y DEZ (Fig. 148) son dos tri,ngulos en loa cuales AB es a
BG como DE a EZ; BG a GA como EZ a ZD y DA a AG como ED a
DZ, constryanse en los puntos
A
E y Z de la recta EZ los ngulos
o
ZEH y EZH igu~ a ABG y
AGB, respectivamente, y entonces
el 4ngulo restante en A ser igual
al restante' en H y los tringulos
ABG y HEZ ser'n equingulos;
luego los lados opuestos a los 'n
H
e;
gulos Iguales serio proporcionales
y AB ser a BG como HE a EZ;
flG . 148,
B
pero AD es a BG, por hiptesis,
como DE a EZ; luego DE es a
EZ como HE a EZ, y, por consiguiente, las rectas DE y HE tienen la
misma razn con EZ, y DE aenl entonces igual a HE.
Por la misma razn DZ es igual a HZ, y como EZ es coml1n, los doa
lados DE y EZ aon Iguales a los HE y EZ y la base DZ Igual a la
ZH; luego los 'nguloa DEZ y HEZ aern iguales y el tri4ngulo DBZ
igual al HEZ, el iogulo DZE Igual al HZE, el EDZ al EHZ, el ZED al
HEZ, el HEZ al ABG, y, por tanto, el ABG igual al DEZ, y por la misma
rat.n, el AGB ser4 Igual al DZE y el 'ngulo en A al 1fogulo en D: luego
los tringulos ABG y DEZ son equingulos, l.q .q.d .
6. Si dos tridngulos tienen un dngulo igual 11 los lados que lo forman proporcional1s, los tridngulos son 1quidngulos 11 los dngulos igualo
ser4n los correspondi1n111 a los lados subte,.didos.
E~
....
810
Si ABG Y DEZ son do1 tringulos que tienen iguales los ngulos BAG
y EDZ y sus lados son tales que BA es a AG como ED a DZ (fig. 149),
constryase en el punto D ~I ngulo ZDH igual al BAG l en el z el
A
DZH igual al AGB, y ' entonces, por
ser el ngulo restante en B igual al
restante en H, los tringulos ABG y
DHZ son equingulos y, por tanto,
BA es a AG como HD a DZ; pero,
por hiptesis, BA es AG como ED a
DZ y ED a DZ como HD a DZ, lueE
Z
go ED es Igual al DH y los tr"ngu
(j
101 DEZ y DHZ 1er'n iguales por
B
FIG. 149.
tener dos lados iguales e igual el in
gulo que forman, y el ngulo DZH
ser igual al DZE y el DHZ al DEZ, y como el DHZ es igual al AGB,
el AGB ser igual al DZE, y por hiptesis, el BAG es igual al EDZ, luego
el ngulo restante en B es igual al restante en E y los tringulos ABG
y DEZ sern equingulos, l.q .q.d .
7. Si dos tridngulos tienen un d11g11lo igual, los lados que fonnan otro
dnulo proporcionals '11 los d11gulos restantes, ambos m1mores o no me
nores que un recio, los lridngulos serdn
equidnulos, siendo iguales los dngulos cu
A
o
yos lados son propordonal.s.
Si el 'ngulo BAG del triingulo ABG
(Fig. 150) es igual al EDZ del DEZ y los
lados que forman 101 ingulos ABG y DEZ
son tales que AB es a BG como DE a EZ:
Jos ingulos restantes en G y en Z son am
Ble::
\.
bos menores que un recto y los ingulos ABG
y DEZ no 100 iguales, uno de ellos aeri
G
mayor que el otro. Si lo es el ABG, cons
flO. UO.
- tryase en el punto B de la recta AB un 'n
:ulo ABH Igual al DEZ y entonces, puesto
que el ngulo en A es igual al ngulo en D y el ABH Igual al DEZ, el
ngulo restante AHB ser Igual al restante DZE y los tri,ngulos ABH
y DEZ sern equingulos y, por tanto, AB es a BH como DE a EZ;
pero, por hiptesis, DE es a EZ como AB a BG, y entonces, por tener
AB la misma razn con BG y BH, es BG igual a BH y el 4ngulo en
811
bH
/Jz
A
:.
j
/j
812
CIENTIFICOS GRIEGOS.-TOMO 1
EUCLIDES.-ELEMENTOS DE GEOMEllllA
8ll
..
H
FtG. 154.
B
E
11-----
..
8H
Clf:NTIFICOS GRlf:GOS.-
TOMO 1
"M
'
::
,
815
...
EUCLIDES.-ELEMENTOS DE GEOMETRIA
o
...L...
Obsrvese que nte teorema es, realmt'11te, un caso partic ular d t! I VI, 14. y
p111tde enunciarst' asl: Los rectd11gu/os cuyas bases son inversam .. 11te propo rona/t!s a sus alturas tie11t'n ig ual drt'a, v. reciprocam rnt<', los rec td11gulos de i& ual
drl'a t it'ne1 i11Vt!rsamente proporcio11a/rs sus bases v Hu a lturas .
EUCLIDES.-ELEMENTOS DE GEOMETRIA
11 l
1
1;1
11\
\
i'
11
11
I'
11\
817
10
818
EUCLIDES.-ELEMENTOS DE GEOMETRIA
porcionales los lados que forman este ngulo, son equivalentes, y siendo
proporcionales las tres rectas BG, EZ y BH, la razn de BG a BH es
duplicada respecto de la ~e B(:i a EZ; pero BG es a BH como el trifogulo ABG al ABH; luego la razn
del trifogulo ABG al ABH es duA
plicada respecto de la de BG a EZ,
o y como el tringulo ABH equiva
le al DEZ, la razn del ABG al
DEZ es duplicada respecto d~ la de
BG a EZ, l.q.q.d.
E
Z
Corolario. De aqu se deduce
B "' H
que
si tres rectas son proporciona
flG . 10.
les, la primera es a la tercera como
la figura construida sobre la primera es a la semejante construida so
bre la segunda.
20. Los poligonos semejant u dividen en el mismo nmero de
tridngulos semejantes con la misma ra::n que los totales y son entre .sf
como las razones duplicadas de los lados homlogos.
Si ABGDE y ZHTKL son dos poligonos semejantes (Fig. 164), siendo AB el lado homlogo del ZH, trcense las rectas BE, EG, HL y LT,
y entonces, por ser iguales los ngulos BAE y HZL, es AB a AE como
ZH a ZL, y teniendo los tringuA
los ABE y ZH L un 4ngulo igual
y proporcionales los lados que lo
E ~z
forman, sern equingulos y, por
0
consiguiente, semejantes.
H
l
Siendo Iguales los gulos ABE
y ZHL, asl como los ABG y ZHT,
por la semejanza de los pollgonos,
T
K
tambl'n sern iguales los 4ngulos
P10. 164.
EBG y LHT, y por ser EB a BA co
mo LH a HZ y AB a BG como ZH
a HT, es EB a BG como LH a HT, es decir, proporcionales a los la
dos de los ngulos iguales EBG y LllT; luego, los tringulos EBG y LHT
son semejantes.
Por la misma razn tambin son semejantes los tringulos EGD y
LTK, y, por consiguiente, los pollgonos han quedado divididos en el mis
mo nmero de tringulos semejantes .
u de los polgonos los ngulos ABG y ZHT son iguales y sus lados pro
LJ
'
i~
..:..
.'::
...
.......
-~
,,
~:
819
'
'
CIENTIFICOS GRIEGOS,-TOMO 1
820
f.UCLIDES.-ELEMENTOS DE GEOMETlllA
44llll
_, ll
.......
----
---.
1 ,
IJ
tu
11 ouyxr1rvoc; l.y~ .
12 El tnto griego: xai. yryovhw wc; 1t V nr Jll)Oc; l~V rH. otwc; ~ K J1QOc;
A, u Intraducible literalmente.
u No hay que confundir la razn compuesta con el resultado de componiir
...
821
Puesto que BG es a GH como el paralelogramo AG al GT y tam bin como K a L, es K a L como AG a GT, y puesto que DG es a GE
' como el paralelogramo GT al GZ y tambi~n como L a M, es L a M como
GT a GZ; pero se ha demostrado que K es a L como el paralelogramo
AG al GT y L a M como el paralelogramo GT al GZ; luego K e5
a M como AG a GZ, y por tener K con M la razn compuesta de las
razones de los lados, AG tiene con GZ esta misma razn compuesta, l.q .q .d .
24. En todo pralelogramo los paralelogramos atravesados por la
diagonol ion stm1jant1s 111tre sf y al total.
Sea el paralelogramo ABCD y AG su diagonal que atraviesa a los
paralelogramos EH y TK. Por ser EZ paralela al lado BG del tringulo
ABG es BE a EA como GZ a ZA y por ser ZH paralela al lado GD del
triitngulo ADG es GZ a ZA como DH a HA; luego BE es a EA como
DH a HA . Componiendo se tiene:
A
E
B
BA es a AE como DA a AH,
.y alternando, BA es a AD como
EA a AH; luego en los paralelogramos ABCD y EH los lados que
forman el itngulo comn BAD son
proporcionales.
Por ser HT paralela a DG, el
ngulo AZH es igual al DGA, y
F10. 168.
como el DAG es comn a Jos dos
trillnguloa ADG y AHZ estos tringulos sern equingulos, y por la misma razn lo son los AGB y AZE; luego los paralelogramos ABGD y
EH son equlinguloa.
Tenemos, pue1, que AD es a DG como AH a HZ DG a GA como
HZ a ZA; AG a GB como AZ a ZE y GA a BA como ZE a EA; luego
DG es a GB como HZ a ZE y en Jos paralelogramos ABGD y EH 101
. lados que forman jngulos Iguales son proporcionales y, por unto, estos
paralelogramos son semejante..
una razn establecido en V, def. 14. La frase de Euclides, que aparece lntem
pestlvatnente en la demostracin de este teorema, hay que Interpretarla de
acuerdo con la definicin de Simson: Dado un nmero cualquiera de magni tudes de la _misma especie, se dice que la primera tiene con la ltima la razn
compuesta de la razn que la primera tiene con la segunda y de la razn que
la segunda tiene con la tercera y de la razn que 11 tercera tiene con la cuarta,
y as sucesivamente hasta la ltima magnitud. Eucun~s : Elnnentorum libri
priores ux, Glasgow, 17.56.
;1
1
l
822
CIENTIFICOS GIUEGOS. -
tr<f~,
lj \
'1
11
i
i
,\
TOMO 1
f.UCLIDES.-f.LEMENTOS DE GEOMETRIA
821
. 1
..
~~
------- - --
824
EUCLIDl!S.-ELEMENTOS DE GEOMETlllA
CIENTIFICOS GlllEGOS.-TOMO 1
-.&//7
L/
~. .' . 9'n
u
.
'
825
\_jN
, .
1' El diorisma: 6ioe1o~. o condicin que impone Euclides para que este
problema 1ea posible, demuestra la profundidad de su pensamiento anal!tico,
tanto m's sorprendente cuanto que careca del simbolismo adecuado.
Empleando nuestro actual lenguaje algebraico, si ponemos AB - o, AS - x y
llamamos h a la altura del paralelogramo IS equivalente a la figura rectilnea G, y b y e a la base y altura del RS construido 1obre SB -o - x, 1e tiene ;
G-xh,
----.
o-x
bG
(o-.r)x---,
e
ecuacin de segundo grado, cuya1 rafees uro reales 11 ea
ole
P<---ioh,
4b
e
siendo h 1 - i o - la altura del paralelogramo AH semejante aJ dado D cons
truido 1obre la mitad de AB, que es la condicin impuesta cuando, si '' cum ple, la ecuacin tiene dos races positivas y el problema es una aplicacio de
'rus por defecto.
U6
CllNTlflCOS GlllEGOS.-TOMO 1
)
.
j
1
n Poniendo BP-r
tiene:
"h
y eliminando h:
(a+ .r)x = }!_<}__
e
EUCLIDE.S.-ELEMENTOS DE GEOMEllllA
827
"Segn Proclo, este teorema, generalizacin del 1, 47, se debe personalmente a Euclides, mientras que aquel parece ser de Ja escuela pitagrica, pero
no especfticamente de Pit;igoras. Vid. supra, lib. J, nota 49.
,...
!J/)1;:J ~el
828
CIENTIFICOS GRIEGOS.-
TOMO
y AGB juntos son iguales a los DAG, AGB y CBA juntos; pero estos tres
ngulos valen dos rectos, luego tambin valdrn dos recios los AGE y
AGB juntos, y estando enton~es las dos rectas pe y GE situadas a distinto lado de la AB con la que forman en su punto G dos 'ngulos contiguos AGB y AGE iguales a dos rectos, las dos rectas estn sobre la misma recta, l.q.q.d.
H. En crculos dt igual radio los dngulos son proporcio11alu a los
arcos qut comprenden lo mismo si tienen sus v~rticts tn ti ce11tro que
en la circunft,,ncia JD.
Sean los dos clrculos de centros H y T (Fig. 177) y radios iguales y
los ngulos BHG y ETZ con los vrtices en los centros, y los BAO y
EDZ en las circunferencias. Tomando un nmero cualquiera de arcos
consecutivos GK y KL e iguales a
BG en la circunferencia H y ZM
y MN en la T Iguales a EZ y trazando las rectas HK, HL, TM y
el<
ir::'"
Ele
K:/ N
TN, los ngulos BHG, GHK y KHL
sern iguales entre 1( y, por tan(j
to, el arco BL es del BG el mismo
mltiplo que el ngulo BHL del
c.
BHG y por la misma razn el arco
ftG. 177.
EN es del EZ el mismo mltiplo
que el ngulo ETN del ETZ, y entonces, si el arco BL u igual al EN,
el 'ngulo BHL ser Igual al ETN; si mayor, mayor, y si menor, menor.
Tenemos, pues, cuatro magnitudes: los dos arcos BG y EZ y los dos
gulos BHG y ETZ y sus equimltiplos: arco BL y 'ngulo HBL, arco EN
y 'ngulo ETN, y como si BL es mayor, igual o menor que EN, el 'ngulo
BHL ser' mayor, Igual o menor que el ETN, el arco BG es al EZ como
el 'ngulo BHG al ETZ; pero el BHG es al ETZ como el BAG al EDZ
pot 1er dobles respectivamente; luego tamblin el arco BG ser al EZ
como el 'ngulo BHG al ETZ y el BAG al EDZ, l.q.q.d.
'
LIBRO
Vll
A-rJ,/z
829
DEFINICIONES
,'
1:
'
1
\:
\:
8)0
CIENTIFICOS GRIEGOS.-TOMO 1
EUCLIOES .-ELEMENTOS DE GEOMETRIA
)
.....
~:
tottlica de multitud de mnadas, multitud medida con la misma unidad y multi1ud de medidas : Metaflsica, X, l. 6, y XIV, l.
Es la misma ddinicin V, l, con la nica diferencia de que la magnitud:
1 1iytlio~, queda sustituida por el nmero: (>101oc;, )' tanto en un caso como
en otro se sobrentiende que se trata de parte alkuoll o submltiplo, palabra esta
que se encuentra en Nicmaco: nonoU.o..'t1.o1oc;.
s Euclides no emplea aqur la palabra l(>oc; en 1ingular, como en la definicin anterior, 1ino en plural: .-1 0 r, por lo cual la hemos traducido por fraccidn,
que es lo que en nue11ro lenguaje actual equivale a 111 part~ eucUdeaa.
'Definicin ldintica a la V, 2.
1 us definiciones 8, 9 y 10 son una embrollada clasificacin de los nmeros
sc:n el mdulo 4. Falta la del lmparmente par, que es de la forma 4n+2, aparentemente i1ual al parmente par del tipo 4n; pero la diferencia consiste en
que en los nmerOI parmente pares se llega a un cociente 1 al cabo de cierto
nmero de dlvlslone1. por 2, y en los imparmente pares no, siendo, por tanto,
de la forma 2"' (2n + l). SAN }SIDOllO, en sus Etimologlas, da mucha importancia a utos nmeros que 1ozaron de gran predicamento durante la Edad Media,
pero hoy no tienen nin1n inten!s.
1 Euclides no considera la unidad como nmero, y, por tanto, no tiene en
cuenta la divisibilidad de un nmero por si mismo. El nmero primo eucldeo:
"l'';11u.; c1l'1011",~. es el incompuesto: uovl1F10~. de Nicmaco: Aritmltica, 1, 9,
del que dice San Isidoro: Etimo/oglas, 111, que no tiene ninguna otr parte
si no es la unid3d ..
BJJ
14. Nmeros compuestos entre sf son los que tienen un mismo divisor comn'
15. Pfoducto de un nmero por otro es lo que resulta de sumarlo
consigo mismo tantas veces como unidades tiene el otro.
16. Nmero plano es el producto de dos nmeros que se llaman sus
lados.
20. Se dice que cuatro nmeros son proporcionales cuando el primero es el mismo mltiplo, parte allcuota o fraccin del segundo que "I
tercero del cuarto.
21. Los nmeros planos y slidos se dicen semejantes cuando sus la
dos son proporcionales.
22. Se dice perfecto un nmero cuando es igual a [la suma de) sus
partes aHcuotas 11
,_4,
11
PROPOSICIONES
f.UCLIDES.-ELEMENTOS DE GEOMETRIA
CIENTIFICOS GRIEGOS.-TOMO J
812
..
El
8))
ji
,r
m.c.d. (c,d)-d2
'\
aad1mt;
'
'
~!
c~d2m1;
b=d1n1:
paifeqb,
;.'
'
..
( l)
se tendr
..-
q,
d-din ,
(2)
ser'
pcifeqd,
(JJ
a-d1b,
t
;
c-did,
(d1 ;6 d1).
c-d,m.
d-d;i1121
ae verlficari
cn 1 n 1 ~ dimin 1n 1 - dmz11 1
pero no se verificar'
011 111 ~
1.- 27
m 1 n1 ~
bm1n1;
c 111 1n 1 ~ dm 1n 1
834
CIENTIFICOS GRIEGOS.-TOMO 1
EUCLIDES.-ELEMENTOS DE GEOMETRIA
BT
1.
BT
Al
:1
(;l
flG.
;,
o}
Al
17'.
:1
"
de donde
'
!
y, por tanto,
o--b.
n
"
m
a--b;
n
ea
c--d,
n
m
a+c-- (b+d).
n
Ea el teorema an'1010 al S, relativo a lu diferencias, de modo que 11
l
--b,
ae tJene
"
1
n
c--d,
1
a-e-- (b-d),
n
.U
c--d,
a--b;
n
"
(b+d),
c--d,
ae deduce inmediatamente:
b-o+o+a+ ... +a;
,,
a+c- -
Jo
parte de un
de lo rema-
sumando
F10. llO.
11. Si un nmero IS una fraccin d1 otro y un tercero la misma fracddn d1 un cuarto, lo r1manent1 del primero y tercero IS la misma frac ddn d lo rfmanente del segundo 11 cuarto 11
o}
83S
m
a-e-- (b-d) .
836
9. Si un mmero es paru de otro y un tercero la miJma parte o partu de un cuarto, el primero es la parte o partu del tercero como el se.:1111do del cuarto "
10. Si un nmero es partes de otro y un tercero las mismas partes de
1111 cuarto, las partu del primero al tercero son las mismas que las del
u;1mdo al cuarto "
11 . Si un total es a otro total como un nmero restado a otro nmero restado, los remanentes serdn como los remanentes totales M,
12. Si varios nmeros son proporcionalu, la razdn de un antecedente a su cons.cuente es igual a la de todos los antecedentu a todos los consecuentes :n.
13. Si cuatro nmeros son proporcionales, tambi'n lo son alternando.
Si A es a B como G a D, es A el n\smo mltiplo, parte allcuota o fraccin de B como G de D, y, por consiguiente, la parte o partes de A en G
son las mismas que las de B f"n D; luego A es a B como G a D. l.q.q .d .
14. Si dos grupos de nmeros tomados de dos en dos tienen la mismo
ra:dn , fom1ordn proporcidn los cuatro tnninos extre;,.os.
Dados los nmeros A, B, G y D, E, Z, tales que la razn de A a B
es la misma que la de D a E y la de B a G la misma que la de E a Z,
digo que A es a G como D a Z.
Por ser A a B como D a E, alternando ser A a D como B a E, y
por ser B a G como E a Z, ser tambi~n B a E como G a Z; pero B a E
es como A a D; luego A es a D como G a Z, y alternando, A a G como
D a Z, l.q.q.d.
DSl
el
se verifica
"
"
1
a---, c--d, a--c,
m
b--d.
"
anterior
..,
. 1
1
1
.,
~\
837
t
J6 Es decir, si a est' contenido n veces en b y e, tambiin est' contenido n
veces en d, siendo, por tanto,
a
e
b-na, d-nc,
-;--
tamb1'n aer
a
~--
EUCLID&S.-EUMENTOS DE GEOMETRIA
CIENTIFICOS GRIEGOS . -TOMO 1
838
ros, los 111meros obtenidos tie11en la misma razn que los multiplica dores.,,_
819
25. Si dos nmeros son primos entre si, el cuadrado de uno de ellos u
es primo con el otro M,
SI A y B son dos nmeros primos entre sf y A mulliplicado por si
mismo da G, si D es un nmero igual ~ A entonces B y D son primos
entre s(, y siendo B primo con D y con A, tambi~n lo ser con el producto de D por A; es decir: con G, l.q .q.d .
26 . Si dos nmf!ros son primos con otros dos , tambi'n lo son sus
productos.
"-
27. Si dos nmeros son primos entre sf 11 cada uno df! llos se multiplica . por sf mismo, los productos tambi'n son primos f!ntre si, 11 si
estos productos
multiplican por los nmeros originales, los nuevos productos tambiln son primos entre sf u.
840
28. Si dos nmtros son primos entre JI, tambiJn lo serd cada uno
con los Jos juntoJ M.
29. Todo nmero es primo con cualquier nmero del que no sea divisor n.
'
30. Si un nmero primo divide a un producto de dos nnieroJ, divide por lo 111eno1 a uno de stos "
) l. Todo nmero compusto tien algn divisor primo .
Si A es un nmero compuesto, tiene algn divisor B que si es primo
.....
841
'
..
CIEHTIFICOS GRIEGOS. -
842
37 . Si 1111 nmero estd medido por otro, I nmero que mide ser la
'
misma parte que el nmero medido.
38. Si un nmero es una parte cualquiera de otro, estard medido
por ti mismo nmero de partes 0 .
39. E11contrar el menor nmero que tenga varias partes dadas 44
LIBRO
TOMO 1
VIII
PROPOSICIONES
la misma razn.
Sean A, B, G y D varios nmeros en proporcin continua, cuyos extremos A y D son primos entre si. Si no fueran los menores que tienen
con ellos la misma razn, sino los E. Z, T y H. serla A a D como E a H;
pero A y D son los menores por ser primos entre si, y como los menores
que tienen la misma razn que otros dos son equimltiplos de estos, E
serla mltiplo de A y T de D; lo cual es imposible.
2. Encontrar los menores nmeros que estln en proporcin conti-
~\'
'.
Se tiene, pues,
oJ
alb
alb - abl -
crbl
--,;l'
K = BE-8 8>:81.
al
crb
-;;;----,;-
Es decir,
Z=AG=A - A>= Al;
80
de razn a/b.
--
EUCLIDES.-ELEMENTOS DE GEOMETRIA
844
"
l
1\
'
!\
845
CIENTIFICOS GRIEGOS.-TOMO 1
luego H es a T como A a L.
Puesto que E multiplicado por D da L y por Z da 8, aer4 D a Z
como L a B; pero D es a Z como T a K; luego T es a K como L a 8,
y por haberse demostrado que H es a T como A a L, ser' H a I<. como
A a B; pero H tiene con I<. la razn compuesta de laa razones de los lados; luego tarnbiin la tiene A con B, l.q.q.d.
6. Si varios nmeros utdn en proporcin continua 11 el primero no
mide al segundo, ninguno de los nmeros dados medird a cualquierd de
ellos.
Si A, 8, G, D y E con varios nmeros en proporcin continua y A
no mide a 8, es claro que esos nmeros no miden unos a otros ordenadamente; luego A ni siquiera mide a B. Suponiendo que A mida a G,
El razonamiento eucUdeo, terriblemente lar10, H reduce a lo 1l1ulente:
ScaD a, b, e, d, 1, f, loa o\\meros que forman las razones irreducibles
c:rl, 1:f,
11:11,
r:11-11:b,
11:1-c:cl,
1:t-1:f.
ne
pma
nd
pmb
11-pmb,
f1umnetv.
'En lensuaje moderno: SI es o:b-:f y entre o y b hay otros ndmeros
e, d, .. ., en pro1resin 1eomitrica, sean " n1, n1, .. ., n1, los menor ea que tiene
la misma nzn que a, b, e, .. . , b.
Por ser n 1 y n 1 primos entre sr, seri n 1 :n1-o:b-e:f; luego ca
-mn 1,
pnc,
pnc
pnd
z-pnd-qr,
r-qf .
f-mn,
tiene sucesivamente:
'"
----.
----. ----. - ---. -;--,.'
mb
..
<A'
o:"-'fP, ... ,
a(J", (Jn+I,
8-16
CIENTIFICOS GRIEGOS.-
TOMO 1
J!UCLIDl!S.-ELEMENTOS DE GEOMETRIA.
15. Si un robo mide a otro, el lado del primero medird al del segundo; 11 si el lado de un cubo mide al de otro, el primer cubo medinf al
seg1mdo iu.
16. Si un cuadrado
mide a otro, tampoco su lado medird al de
otro; y si el lado de uri cuadrado no mide al de otro, tampoco el primer
cuadrado medird al segundo.
17. Si un cubo no mide a otro, tampoco su lado medird al de otro;
11 si el lado de un cubo no mide al de otro, tampoco el primer cubo medird al segundo 11
18. Entre dos nmeros planos semeja11tes hay un medio proporcio11al, y los 11meros planos semejantes estn en la misma razn que la ra:n duplicada de sus lados u.
"
847
..,.
..
;-
19. Entre dos nmeros slidos semejantes hay dos medios proporcionales, 11 los nmeros slidos semejantes estd11 en la misma razn que
lo roz6n 'triplicada de sus lados u.
20. Si entre dos nmeros hay un medio proporcional, los nmeros
son planos semejantes .
21. Si entre dos nmeros hay dos medios proporcionales, los nmeros son slidos semejantes 14
~-!i.~Sean'
' 'Puato
24. Si dos nmeros tienen la misma razn que otros dos nmeros
cuadrados y el primero es cuadrado, tambin lo es el segundo.
Si los nmeros A y 8 tienen la misma razn que el cuadrado G con
el cuadrado B, y es A cuadrado, G y D sern semejantes y entre ellos
habr;f un medio proporcional; y por ser G a D como A a B, y A cua drado, tambi~n tiene que serlo B, l.q .q.d.
25. Si dos nmeros tienn la misma razn que otros dos nmeros
cubos 11 el primero es c:ubo, tambin lo es el segundo.
y, por tanto,
14.
Si ea 11: b:c, ae tendr':
ac
b2 : be : el;
de donde
dclJl
--;-. 1-.i- p
u Como en el teorema anterior, se tiene, 1uct1ivameo1e:
G-cde,
' Los
:/-d:g-e:h;
b-fJh;
d
c
el
dJ
.i
-di-------
-----.
.
--------.
fgh
hdf
b
lih
1 1 h
fl
,,
,.,
cd
hdf
di
cd
4
1 lo:. teoremas 20 y 21 son los reclprocos de los 18 y 19, respectivamente.
u Es un caso particular del teorema 20, en que uno de 101 nmeros planos
tiemeiantes es cuadrado.
16
EUCLIDES.-ELEMENTOS DE OEOMETRIA
848
26 .
...
IX
PROPOSICIONES
tambi~n
cuadrado.
G y D el
y B habr'
D es cua-
drado,
lo ser' G, l.q.q.d.
2. Si el producto de dos nmeros es un cuadrado, los dos nm1ro1
son planos semejantes.
Sea G el producto cuadrado de A por B. Multiplicando A por 1( mi
mo, el producto D es un cuadrado; luego ser' A a B como D a G, y por
ser cuadrados D y G son nmeros planos semejantes y babr' entre ellos
un medio proporcional; luego ser' D a G como A a B 1 tambl6n babm:'
un medio proporcional entre A y B y, por consiguiente, A y B son nme
ros planos semejantes, 1.q.q.d.
J. El producto de un cubo por sf mismo es un cubo'
4. El producto d1 un cubo por otro cubo n un cubo.
' Para demostrar este teorema, Euclides tiene en cuenta la existencia de
medfos proporcionales entre cuadrados y cubos. Siendo, en efecto,
l : a"' a : al .., al : al ;
1\1
849
":.metc)t,161 dos aemejantes, entre los cuales habr dos medios proporciona
. tes>y, pot tanto, Des a G como A a 8; luego entre A y B tamblin hay
dos medios t>roporcionales, y por ser A cubo, tambiin lo es B, 1.q.q.d.
6. SI el producto de un nmro por si mismo es un cubo, 11 nmero
s lombiln un cubo z,
7. El producto d1 un nmero compuesto por un nm1ro cualquiera
es. un nmero sdlido.
e li. Si . A es un nmero compuesto, ser4 divisible por algn nmero D y
'c;entonc:es . tantas veces como D mida a A, estu4 medido por unidades E
,e'/ el producto. de E por D ser4 A: pero el producto de A por un nmero
; .lr;tl G; lue10 el D por E multiplicado por B tambi~n es G, y G es
~~ntonces ut\ nmero slido cuyos lados aon D, E y B, l.q.q.d.
~ t r .
Si IVOrio1 naimero1 mpnando por la unidad estdn en proporci6re
, continuo, I .tercero " cuadrado y los 1ucesivo1 iuprimierulo de uno n
,: uno: el cuarlo 1 cubo y 101 sucesivos 1uprimindo de do1 en dos, l ,,,.
timo e1 la vez cuadrado y cubo fl 101 sucHfooi suprimiendo de cinco
...
a..
n cinco.
y habiendo dos medios proporcionales entre 1 y o2 y entre o2 y oJoJ es olol
se deduce que entre al y al hay dos medios proporclonalea, y como a' ea cubo,
tambl~n a es cubo.
'Es detlr, en la progresin geom~trlca
1, a, at,
los tfrminos 3.-aZ, 5.-a4, 7. 0 -a6, ... , son cuadrados; los 4.-al, 7.-at ;
1
.1
850
EUCLIDES .-ELl!MENTOS
Sean los nmeros en proporcin continua l, A, 8, G, D, E. Z . Pues10 que la unidad mide a A el mismo nmero de veces que A mide a B,
el nmero ,A mide al B cgn las unidades de A; luego el producto de
A por si mismo es B y, por ' tanto, B es un cuadrado; y como B, G y D
esln en proporcin continua, D es un cuadrado por serlo 8 y por la
misma razn tambi~n Z es un cuadrado; y an'1ogamtnte se demuestra
que son cuadrados los nmeros sucesiYos suprimiendo de uno en uno.
Pueslo que la unidad mide a A el mismo nmero de veces que B a G
y A multiplicado por 8 da G, el nmero 8 mide al G tantas veces como
la unidad a A, y entonces A multiplicado por s( mismo da B y multlpllcado por 8 da G; luego G es un cubo, y como G, D, E, Z est'n en proporcin continua, Z es cubo por serlo G, y como se demostr que era
cuadrado, el s~ptimo nmero es cuadrado y cubo a la vez, l.q.q.d.
9. Si varios nm1ros 1mp1zando por la unidad 1stdn n proporcin
continua y 11 nmero qu sigu a la unidad ts cuadrado, todos los dmds
urdn cuadrados, IJ si cubo, cubos.
Sean los nmeros en proporcin continua 1, A, 8, G, D. E, Z, siendo
A cuadrado. Como acabamos de demostrar que el te rcero 8 es cuadrado
y A, B, G estin en proporcin continua, tambi~n G es cuadrado, y como
B. G, D estn en proporcin continua y 8 es cuadrado, tambl~n lo es D.
y lo mismo se demuestra que son cuadrados todos los nmeros restantes.
Si A es cubo, como hemos demostrado que el cuarto G es cubo y la
unidad es A como A a B, el nmero A mide al B tantas veces como la
unidad a A; luego A multiplicado por s( mismo da B; pero A es cubo y
el producto de un cubo por sl mismo es cubo; luego B es cubo; y puesto
que los cuatro nmeros A, 8, G, D esn en proporcin continua y A es
cubo, tambi~n es cubo D, y por la misma razn es cubo E y lo mismo ae
demuestra que los nmeros restantes son cubos.
\O. Si varios nmros, 1mpnando por la unidad, 1stdn '" proporcin continua y el s1gundo nP ts cuadrado, ninguno Strd cuadrado ucp
to 11 11rcro 11 los sucesivos suprimitndo d uno n uno, 11 si I s1gundo
110 n
cubo, ninguno serd cubo ucepto el terc1ro y los sucnivos supri-
1.
1!
la \O
U.
su, en la progresin geom~lrica, l. a , a1, al, .. ., si a no es cuadrado,
solo son cuadrados los t~rminos a1, a4, . ... y si a no es cubo, solo son cubos
a\ a6, a, .. ., teorema dernosuado en los E/tmtntos por reduccin al absurdo.
DE
GEOMETRIA
851
11. Si varios nmeros, mpezando por la unidad, tSldn en proporcin continua, el menor mide al mayor segn alguno de los intermedios .
Sean los nmeros en proporcin continua 1, A, 8, G, D, E, siendo A
el menor y E el mayor. Puesto que la unidad es a A como D a E, el
nmero A mide al B el mismo nmero de veces que D a E y alternando,
A mide a D el mismo nmero de veces que 8 a E, pero A mide a D segn la unidad, luego B mide a E segn D, y como 8 es el menor y E el
mayor y D un Intermedio, el menor mide al mayor segn un intermedio,
l.q .q.d.
Corolario. De aqu( se deduce que el producto de dos t~rminos que
equidistan de la unidad y del ltimo es igual al ltimo.
12. Si varios nmeros, empezando por la unidad, estdn en proporcin contin11a, los nmeros primos que dividen al mayor, miden tambi'n
al que sigue a la unidad 5
13. Si varios nm1ros, empezando por la unidad, estdn en proporcin contin11a y el que sigui a la unidad es primo, al mayor solam1nte lo
dividen los niimeros d1 la proporcin.
Dada la proporcin continua l , A, B, G, D, siendo A un nmero pri
mo, digo que a D no lo divide ningn nmero excepto A, B, G.
Si dividiera a D un nmero E distinto de los A, B, G este nmero
ser(a compuesto porque si fuera primo dividirla a A. lo cu .ll es imposible;
luego tiene un divisor primo que no puede ser otro que A , y entonces A
dividira D segn un nmero Z que no puede ser ninguno de los A, B, G
porque sl lo fuera, serla E uno de ellos, lo cual es contra la hiptesis, y
dividiendo A a Z, es Z un nmero compuesto, l.q .q .d. .
14. El m1nor nmero que .std medido por varios nmeros primos
no tine otros divisores primos que estos.
at, as, .. .,
11",
-------EUCLIDES.-
CIEHTIFICOS Glll.lf.GOS,-TOMO l
852
juntos l.
16. Si dos nmeros son primos tntrt J(, ti Jtgundo no Hrd a ning11 nmero como ti primtro al stgundo .
Si los nmeros A y B son primos entre si y fuera posible que A sea
a 8 como B a G, puesto que los menores nmeros que tienen la misma
razn qu otros son equidivlsores suyos, A dividirla a B, lo cual es ab.
surdo; luego no puede ser B a G como A a B, 1.q.q.d .
17. Si varios nmeros estdn tn proporcin continua 11 los txtrtmos
son primos entre si, ti ltimo no serd a ningn nmero como ti prime
'~
;1
ro al seg1111do '
7 Si los tres nmeros o, b, e, forman una progresin geomt!trlca y son 101
menores que tienen la rat.n comn m : n, siendo m y n primos entre 1(, la
progresin ser'
"
u primo con n y tambit!n con n2, y, por tanto, la suma a+b u prima con e,
y anilogamente, la suma mn+nJ es prima con ml; luego la suma b+c lo u
con o y o+c con b.
Ea decir, entre dos nmeros primos entre 11 no existe . tercero propor-
cional.
La hiptesis es casi absurda ; pero el razonamiento es correcto, pues que
u reduce a decir que si o, b, e, .. ., 1 es una progrnilt geomt!trica, siendo
o ) / primos entre si, y se verificase a : b- I : r, y, por tanto, a : I b : r , el n
mtro o medirla a b, y por la misma razn b a e y, por consiguiente o a e,
y as siguiendo, a a 1, lo cual es contra la hiptesis.
ELEMENTOS
DE
GEOMETIUA
851
to proporcional 11 ,
20. Hay mds nmeros primos qu cualquier conjunto d nmro1
primos.
Dados los nmeros primos A , 8 y G (Fig. 181), sea ED el menor mimero que esti medido por ellos, Y o..... z
agrEguesele la unidad DZ. Enton- ce& DZ es un ndmero primo o no lo 1 - - .
e.a. SI lo es, se tienen los ndmeros e . primos A, B, G y EZ que son mlfs ~
o
que A, By G. Si EZ no es primo estari medido por algn nniero prlP10. 111.
mo H, que no es ninguno de 101 A,
B o G, porque si lo fuera, como A, B y G por medir a EZ medirla a la diferencia DZ, que es la unidad, lo cual ea absurdo: luego H no e.a ninguno de
IO Ea declr, la condicin necuarla y suficiente pera que entre dos n1imcr09
f>I 1ea dlvl1lbla por por ser
-bl:o.
11 Dados 101 nmeros o, b y e, para encontrar el nmero
dlstln1ue cuatro casos :
o b e
a
b
e
----- ;
-~-rh-- .
b
e ir
b
e
ir
ir
be: o, Euclid11
5endo y no siendo o y e primos entre lf; y lue10 de embrollados razonamientos, que aclararon C1.Av10 y Bolll!LU en sus respectivas ediciones de los Elr-
854
CIENTIFICOS GlllEGOS.-TOMO 1
EUCLIDES .-ELEMESTOS
mentos, Uep a la conclusin de que para que exista :e es necesario que be sea
mltiplo de
12 Obs~rvese que la demostracin de este teorema : La sucesin de niimeros primos es ilimitada, se ha conservado a lo largo de
1l&lot tal como
la hizo Euclldu, quien debld de Uepr a ella por conslderaclonea enraaeomftricas, pues que los aeamentos rectilfneoa que, como siempre, utiliza para representar )01 nmeros, tienen en este caso valor num.!rico y no carcter 1eomftrico, ya que el producto de los tres segmentos A, B y G es otro segmento
DE, cuya longitud ea el producto de las longitudes de A, B y G tomando
como unidad el segmento DZ. Euclides no solo tena el espritu 1eom~trlco
que lo ha inmortaliudo, sitio tambifo el esplritu de finura de que habla de
hablar Pascal veinte siglos despul!s, y si hubiera dispuesto de un simbolismo
adecuado se habrfa adelantado 1 los aritml!ticos del siglo xv1, como se adelant
a los gemetras.
ll Las demostraciones de este teorema y de los que le siguen, hasta el )0
''
DI:
GEOME1111A
855
25. Si de rm 11mer par st quita u11 impar, lo que queda et impar.
26. Si de u11 nmero impar se quita u11 impar, lo que queda et .Pdr.
27. Si de un 11mero impar se quita un par, lo que queda es it11par.
28. El pruducto de un mmero par por un impar es par.
29. El producto de un 11mero impar por un impar es impar.
30. Si u,, nmero impar mide a u110 par, tambin mide a su mitad.
Si el nmero impar A mide al par B segn G, este G es par, porque
si fuera impar, siendo 8 el producto de A por G serra el conjunto de un
nmero impar de nmeros impares y ser impar, Jo cual es contra la
hiptuis; luego G es par, y por medir entonces A a 8 un nmero par de
veces, tambifo mide a su mitad, l.q.q.d.
32. Solo los nmeros que resultan de sucesivas duplicaciones, empezando por 2, son pannente pares .
Si B, G, D son varios nmeros obtenidos por duplicacin a partir de
la dfada A, son evidentemente parmente pares; y considerando ahora el
conjunto 1, A, 8, G, D estos nmeros est4n .en proporcin continua, y
como el A, que sigue a la unidad, es primo, el mayor D solo lo dividen
los A, B y G y por ser pares, solo el D es parmente par, y lo mismo
se demuestra que dnlcamente los 8 y G son parmente pares.
ll. Si la mitad de un nmero es impar, el nalmro s solament parment impar.
.
SI Ja mitad del nmero A es impar, A es evidentemente parmente
impar, y si fuera tambifn parmente par estarla medido por un nmero
par segn un nmero par y su mitad estarla medida por un nmero par
aunque es impar, lo cual es absurdo; luego A es solamente parmente
impar, l.q.q.d.
34.
inclusive, son anlogas y tan sencillas como las anteriores, por lo que las
omitimos.
-EUCLIDES.-ELEMENTOS
DE GEOMETIUA
157
CIENTIFICOS GRIEGOS.-TOMO I
856
parmrnte impar.
Si el nmero A no es uno de los obtenidos duplicando la diada ni au
mitad es impar, es evidenterriente parmente par. Si lo bisecamos, au biseccin tiene mitad y continuando asl se llegar6 a un nmero impar;
luego umbiln es parmente impar, l.q.q.d.
dada Ja progruln
.1
ti
de donde
a,.
o,. - a,,_ 1
-1
a,,_ 1
a,, _1 - a,, _2
-2
...
-----
Gs-OJ
Oz
0-01
.. } f
'
36. Si varios nmeros, ernpe:ando por la unidad, utdn ri propor. cidn d11plicdda v el conjunto de todos u un nmero prim, el , prbducto
. de f1t .conj11nto por #1 ltimo es un Plmero per/rcto "
lln
a,.-a 1
--o1 -o 1
a1
s.
de
aq"-1,
aq"-o
aq-o
a(q-1)
S,,
q-1
-------; s.. 1
..
"El mitodo lineal empleado por Euclides para encontrar ndmero1 perfec
tos se capta a trav1 del razonamiento 1obrecar1ado de repeticiones, cracias al
ejemplo que pone. LOI divisores del ndmero perfecto sob 101 trmlnot ' de la
proaredn 2", de modo que, partiendo de la unidad y sumndoloa hasta lltiar
a una suma que sea un nmero primo, se tiene:
l +A+a+G+D-E-1 +2+2+2,+24-ll;
continuando la pro1rt1ldn a partir de ll-ndmero primo tomado por unidad-,
resulta:
ll, ll2-62; lJ.22-124; Jl2-241,
y multiplicando el 1e1undo trmlno de Ja primera proaresln por el 1Utlmo de
Ja se1unda se tiene el mismo producto que el dltlmo de la primera por et pri.
mero de la 1e1unda,
ea decir:
2 248-1' Jl-496,
s-1 +2+4+ .. . +2"-'+r(l +2+4+ ... +2- l)-(1 +r)(l +2+4+ .. . +2"- 2) +2"-'
tt-
L........
L.
--~
..-J
.........._
s- 2. 2"-'(2"-' -
.,
~;
il
21
\
1\
1
1
1
-1)-6
- i) - 8
-1)-496
-1) = 8.128
- l )- H.550.3 36
- 1)-8.589.869.056
- 1) - 137.4)8.691.328
. - 1)-2.305.84).008.139.952.128
- 1) - 2.658.455.991.S69.8ll.744.654.962.615.95l.842.l 76
(2" -1)
(21
(2'
2 (2'
2 (2'
211 (2
21 (2"
211 (2"
2l0 (211
2' (l"
211
2 1 (2U7 -1)
2Slll pszt - 1)
2 (~ -1)
2nt(2m-l)
2ll02(2D>'- 1)
t..........J
J~bllco
1 descubierto por Curtze en el ms. latino Mon.ac 14.908: los tres 1l1ulent~
2mo(2nt1 - 1)
859
B,
DE GEOMET1'1A
o----------<
i.-..J
"
como u
EUCLIDES.-EUMENTOS
858
-.:J
1t
EUCLIDES.-ELEMENTOS DE GEOMETlllA
860
861
CIENTIFICOS GlllEGOS.-TOMO 1
LIBRO
X1
1
PlllMEllAS DEFINICIONES
\ las
,, ellu .
,.;.' . )
,,~,
r .
r
t'
1 \, '.
11
'
PROPOSICIONES
.!c,,butitro.
.
~uclldel
pero
"'"
116!
EUCLIDES. - ELEMENTOS
DE
GEOMETRIA
861
4 Este teorema establece el' mt!todo de exhaucin-Vid. supra, Estudio 1relimi,.ar, IV-, equivalente al postulado de Arqumedes-Vid. supra, lib. V,
def. 4-, que este enunci expl!citamente entre los que preceden a su tratado
Sobre la esfera 1f el cilindro. Euclides lo aplica para demostrar que las 'reas
de dos drculos son proporcionales a los cuadrados de sus di,metros: XII, 2, y
los volmenes de las pin1mides triangulares de Igual altura proporcionales a 1u1
bases: XII, 5, y Arqulmedes reconoce en la carta nuncupatoria de su tratado
De la cuadratura de la pardbola que fue empleado por gemetras anteriores
a il.
la demostracin euclldea tiene el mismo ritmo que el argumento dicotmi co de Zenn, a cuya dialt!ctlca discursiva hablan intentado los gemetras alejandrinos adaptar las proposiciones en que aparecla tlmidamente el concepto
de infinito ante el cual experimentaban una especie de terror supersticioso.
l.a demostracin de Euclides es defectuosa, porque contiene la peticin de
p1 incipio introducida como def. 4 del lib. V, cuya Importancia en la estructura
de la Geometrla destac Hilbert al establecer el axioma de continuidad en sus
bmosus Grudlugcn, pg. 24, Leipzig, 1899.
Apo} .indose en el postulado de Dedek ind, demostr Stolz el de Arqufme
des, tema que ba desarrollado V1TALI en las Quesrioni rii:11arda111i le Mate111a 11d1 <' ""'"1rnlari, tomo 1, ) . ed ., p:\!.s . 129-30, de Enriques, Bolonia, 1924 .
EUCLIDES.-ELEMENTOS
CIENTIFICOS GRIEGOS.-TOMO 1
864
6.
ro a otro nmrro.
Si A y B son dos magnitudes Inconmensurables y A tuviera con B la
misma razn que un ndmero con otro ndmero, A serla conmensurable
con 8, lo cual es contra la blptsls; luego A y B no son entre si como
dos nmeros, l.q.q.d.
8. Si dos magnitudes no son entre si como dos nmeros, las magnitudes son inconmensurables, porque si fueran conmensurables, serian
entre si como un nmero a otro ndmero.
9. Los cuadrados construidos sobre rectas conmflnsurables rn longitud son e11tre si como un nmero cuadrado a otro nmero cuadrado y
los cuadrados que son entre si como un nmero cuadrado a otro nmero cuadrado, tienen sus lados conmensurables en longitud; pero los cuadrados construidos sobre rectas incomnensurables en longitud no son e'1
tre si como '"' rriimero cuadrado a otro mrnero cuadrado, y los cuadra
865
dos que no son entr si como un nmero cuadrado a otro nmero cuadrado no tienen sus lados conmensurables en longitud .
Si las magnitudes A y B son conmensurables en longitud, A es a B
como un ndmero G a otro nmero D y el cuadrado construido sobre A
es al construido sobre B como la razn duplicada de sus lados luego el
cuadrado construido sobre A es al construido sobre B como el cuadrado
de G al de B.
Si, ahora, el cuadrado sobre A es al cuadrado sobre B como el cuadrado de G al de D, la razn del uadrado sobre A al cuadrado sobre B
es duplicada de la de A a n y la del cuadrado de G al de D duplicada de
la de G a D luego A es a B como G a D , y estando A y B .e n la misma
razn que el ndmero G al nmero D, la magnitud A es conmensurable en
longitud con la B.
Si A y B son inconmensurables en longitud, digo que el cuadrado
sobre A no tiene con el cuadrado sobre B la razn de un nmero cuadra
do a otro nmero cuadrado, porque si la tuviera A serla conmensurable
con B.
Ademds, si el cuadrado sobre A no tiene con el cuadrado sobre B la
misma razn que un nmero cuadrado con otro nmero cuadrado, A y B
son inconmensurables porque si fueran conmensurables, el cuadrado sobre A tendra con el cuadrado sobre B la misma razn qi;e un ntlmero
cuadrado con otro nmero cuadrado, y no la tiene.
Corolario. De aquf se deduce que las rectas conmensurables en longitud tambin lo son en potencia; pero las conmensurables en potencia
no siempre lo son en longitud'
10. Construir dos ~etas inconmensurables, una solo en longitud 11 la
otra tambiln en potncia, con una r~cta dada.
Sea A la recta dada; B y G dos ndmeros que no tienen entre si la
razn de un ndmero cuadrado a otro nlhnero cuadrado, es decir, que no
son ndmeros planos semejantes, e Imaginemos que B es a G como el
cuadrado sobre A al cuadrado sobre D, y, por tanto, que el cuadrado
construido sobre A es conmensurable con el construido sobre D segdn
hemos aprendido a hacerlo.
Puesto que la razn de B a G no es la de un nmero cuadrado a otro
nmero cuadrado, tampoco lo ser la del cuadrado sobre A al cuadrado
sobre D ; luego A es inconmensurable en longitud con D.
7
Clf"'11rlCOS,
_......._
DE GEOMETRIA
J . -21
866
lUCLIDF..S . - ELEMENTOS
GEOMll RIA
867
yor AB el semicirculo ADB; tmese AD igual a G ; trcese DB y enton ces el ngulo ADB es recto y el cuadrado construido sobre AB es mayor
que el construido sobre AD, es decir, sobre G, y lo supera en el cuadra do de BD.
..
i
DE
EUCLIDES . - ELEMENTOS
868
......-....
~]
- ------ -------- -
DE
G[OMETRIA
869
TOMO I
----------
..
B
l
O
mismo
se venr1ca para sus cud~d ruples, resulta que cuatro veces el
Ftc. 191 .
rectngulo de BD y DG junto con
cuatro veces el cuadrado de DE ser( equivalente a cuatro veces el
cuadrado de EG; pero el cuadrado de A equivale a cuatro veces el rec tngulo de BD y DG y el de DZ equivale a cuatro veces el de DE por ser
DZ doble de DE, y el cuadrado de BG es el cudruple del de EG porque
BG es doble de CE; luego los cuadrados de A y de DZ son equivalentes
al de BC, y, por tanto, el cuadrado de BG excede al de A en el cuadrado
de DZ, lo que demuestra que BG es tambin conmensurable con DZ.
Puesto que BD es conmensurable en longitud con DG, la recta BG
tambin lo es con GD; pero GD lo es con BZ por ser GD igual a BZ;
luego BG, es tambin conmensurable en longitud con BZ y con GD, es
decir: BG es conmensurable en longitud con la restante DZ, y, por tanto,
el cuadrado de BG excede al de A en el de una recta conmensurable
con BG.
Por consiguiente, aplicando a BG un paralelogramo equivalente a la
cuarta parte del cuadrado de A y deficiente segn un cuadrado y dado
el rectngulo de BD y DG, queda demostrado que BD es conmensurable
en longitud con DG.
Con la misma construccin se puede demostrar anlogamente que el
cuadrado de BG excede al de A en el de DZ , y como el cuadrado de BG
excede al de A en el de una rec ta conmensurable con BC , resulta que RG
es conmensurable en longitud con DZ, y, por tanto , ne es tambin con mensurable en longitud con la rcstanre, suma de BZ y DC; pero esta
suma es conmensurable con DG ; luego BG tambin es conmensurable en
_L
EUCLIDES.-ELEMENTOS
CIENTIFICOS GRIEGOS. -
870
~--------1 G
A
F1c. 192 .
DE GEOMETRIA
871
TOMO 1
se aplic.
1 bleBD,en
" Este teorema de la condicin para que las ralees de la ecuacin sean con-
,,,
mensurables con a:
a.r-rt-4
iambi~n
~-a~b.
y por ser
a
bl
x11 = 4
n La recta medial recibe este nombre por ser media proporcional entre dos
rectas racionales conmensurables en potencia, de modo que si estas son a y
a ,./b, Ja medial es
aJ
-- ~ ---
a./b
lo son a y ./ a
procamente .
- - ----------------- -----
01, y recl-
al./b '
r
872
l lo EHDH rnmo
ZD DH y I
el formado por ED
1
1
,,
,1
GEOMETRIA
871
"<l!ngu.
y EH, o
sea : por EZ y EH, es EZ a EG como
d md"do d EZ ol m!Ongulo d
D
EZ y EH, l.q .q .d .
flG . 194.
22 . Si a una N!cta racional se
aplica el cuadrado de una mediql, la
anc/111ra obtrnida es una recta racional e inconmensurable con la recta a
que u aplic el cuadrado .
Sea A una recta medial, BG una racional y BD un rea rectangular
equivalente al cuadrado que se aplica a BG (Fig. 195). Por ser A medial,
su cuadrado equivale a un rectngulo formado por rectas conmensurables solo en potencia, y si es HZ este rectngulo, como el cuadrado es
tambin equivalente a BD, resulta BD equivalente a HZ y equingulo,
y, por tanto, sus lados son inversamen
A_~
te proporcionales y ser BG a EH como
EZ a GD y tambin el cuadrado de
DC al de EH como el de EZ al de CD;
pero el cuadrado de BG es conmensu
rabie con el, de EH porque estas rectas son racionales"; luego el cuadrado
de EZ tambin ser conmensurable con
el de GD, y como el de EZ es racioE
H
nal, tambin ser racional el de GD y,
por tanto, la recta GD es racional.
Por otra parte, EZ y EH son inconmensurables en longitud por ser conmensurables solo en potencia; luego EZ
es a EH como el cuadrado de EZ al
flG . 195.
rect<ingulo de EZ y EH, y, por consl
guiente, el cuadrado de EZ es inconmensurable con c-1 rectngulo de EZ y EH ; pero el cuadrado de CD
es conm ensurable con el de EZ porque estas rectas son racionales en
potencia, y el rectngulo de GD y CB es conmensurable con el de EZ
y Ell por ser ambos equivalentes al cuadrado de A; luego el cuadrado
DE
o z
z----------
........
!
!
CllNlllCOS GRIEGOS.-
874
EUCLIDES .-ELEMENTOS
TOMO 1
\ i
meH
GEOMETRIA
87S
e
n
c.
TI
IM
KI
1~
FtG. 197 .
DE
FtG. 198.
bles solo en potencia (fig. 198). Constryanse sobre estas rectas los cuadrados AD y RE, que sern mediales, y apliquese sobre una recta racional Zll el rectngulo HT equivalente a AD, sobre TM en MK equivalente al AG y sobre KN el NL equivalente el BE, cuyos lados FH, TK
y K L qucdar<in en lnea recta .
Puesto que los cuadrados AD y BE son mediales y equivalentes, respectivamente, a HT y LN, estos rectngulos son tambin mediales y por
estar aplicados sobre la recta racional ZH, las rectas ZT y KL sern
racionales e inconmensurables con ZH y por ser AD conmensurable con
BE, tambin HT ser conmensurable con NL; luego HT es a NL como
ZT a KL, y, por tanto, ZT ser conmensurable en longitud con KL y los
rectngulos ZT y KL racionales.
Por ser BD igual a BA y BO igual a BG, es BD a BG como BO a
BG y BD a BG como BA a 80; pero BD es a BG como AD a AG y AB a
RO como AG a GO: luego AD es a AG como AG a GO; y por ser AD,
AG y GO equivalentes a HT, MK y NL, respectivamente, es HT a MK
como MK a NI. y tambifo ZT a TK como TK a KL; luego el rectngulo
formado por ZT y KL es equivalente al cuadrado de TK, y como ese
rectngulo es racional, tambin ser racional el cuadrado de TK, y, por
tanto, TK . Si es conmensurable en longitud con ZH, es TN racional; pero
si es inconmensurable, las rectas TK y TM ser<n racionales y conmen -
Por otra parte, sit'ndo BD racional y <'quivalentc a KT, <'S KT racio nal y por estar aplicado a la rt'cta racional EZ, es HT racional y conm<'nsurable en longitud con EZ; pero EH tambi~n es racional t' inconmensurable en longitud con EZ: luego EH es inconmensurable en longitud con HT, y por ser EH a HT como el cuadrado de EH al rectngulo
de EH y HT, el cuadrado de EH es inconmensurable con el rectfogulo
formado por EH y HT; pero los cuadrados de EH y HT son conmensurables y racionales y dos veces el recUngulo de EH y HT es conmensurable con el rectiingulo de EH y HT por ser doble de ~I; luego los
cuadrados de EH y HT son inconmensurables con dos veces el recUngulo de EH y HT, y, por tanto, los cuadrados de EH y HT, junios, y dos
veces el rectllngulo de EH y HT, es decir, el cuadrado de ET, es inconmensurable con los cuadrados de EH y HT; y como estos cuadrados
son racionales, el ET es irracional, y como, por hipt~is, es racional,
resulta que un rea medial no puede exceder a otra medial en una racional, l.q .q.d . .
u El mecanismo de la demostracin de este teorema, anlogo 11 de lo5 cuatro anteriorts, u muy sencillo, aunqut partzca complicado por 11 facundia
876
EUCLIOES . -ELEMENTOS
27.
D a E. Por ser A y B racionales comensurables solo en potencia, el rectngulo de A y B, o sea: el cuadrado de D . es medial, y por ser B y G
conmensurables solo en potencia, B es a G como D a E; luego D y E
son conmensurables solo en potencia. y corno D medial, tambin lo
ser E . Digo que el rectngulo que forman es medial.
Siendo B a G corno D a E, alternando es B a D como G a E: pero
D es a D como D a A; luego D es a A como G a E y el rectngulo de
A y G equivale al de D y E, y por ser medial el de A y G, tambin lo
GEOMETRIA
877
LEMA
cuadradCJ .
l.
Si A. B y G son tres rectas racionales conmensurables solo en po u~ncia y se toma la media proporcional D entre A y B, es B a G como
DE
...
planos semejantes o nmeros cuadrados, su producto, junto con el cua drado de GD, es igual al cuadrado de BD, y corno el producto de AB por
BG es cuadrado porque se demostr si se multiplican dos nmeros pla nos semejantes el resultado es un nmero cuadrado, se tiene que dos
nmeros cuadrados, es decir: el producto de AB por BG y el cuadrado
de GD, juntos, han formado el cuadrado de BD y es claro entonces que
la diferencia de dos nmeros cuadrados, o sea: el producto de AB por
BG es un cuadrado siempre que AB y BG sean nmeros planos semejan tes; pero cuando no lo son, su diferencia no es cuadrada.
LEMA 2.
Errcontrar dos mmt>ros cuadrados que, iurrtos, no fo r men
otro cuadrado.
Dado el producto cuadrado de AB por BG y el nmero GA par (Fi gura 20)), divldase AG en dos mitades por el punto D, y entonces es
claro que el producto de AB por
BG junto con el cuadrado de CD
equivale al cuadrado de BD y si
Fro. 201.
se quita la unidad DE, el producto
de AB por BG, junto con el cua drado de GE es menor que el cuadrado de BD, y digo que no es cuadrado por11ue si lo fuera serla igual o menor que el cuadrado de BE, pero
no mayor porque la unidad no puede ser dividida.
a
"
'
o 1 '
......._....____
.. _____
il
:1
fj
878
EUCLIDES.-ELEMENTOS
mnp2 . mnql + (
mnr>1 - nmq1 )
2
- ( mn,>2:nmq1
r.
los nmeros mnf'q y l(mr1p1- mnq1) son tales que la suma de sus cuadrados
es un cuadrado.
Dividiendo ahora por nl los dos nmeros de la igualdad anterior,
y
mp1mq1+ (
"l
I'
mp1-mif'
)J (
~
mpJ+mql
mp1 mq1+ (
mpl- mq1
-2 --- 1
)1
..
y siendo, como antes, mpJ y mql ambos pares o impares, Euclides demuestra
l;li
)J
l1lJ1 . ,,,q1+
( -"',.,;-~-q~
= (
."'i:-:~~q_,__
.,
1
DE GEOMETRIA
8 79
29. E'1contrar dos rectas racionales conmensurables solo en potencia !I tales que el cuadrado de la mayor exceda al de la menor n el de
una recta ,conmensurable en longitud con la mayor.
Sea AB una recta racional y CD y DE dos nmeros cuadrados cuya
diferencia GE es un cuadrado. Descrlbase el semicirculo AZB y ser DG
a GE como el cuadrado de AB al de AZ ; trcese ZB y por ser el cuadrado
de AB al de AZ como DG a GE, el cuadrado de AB estar con el de AZ
en la razn del nmero DG al GE, y, por tanto, el cuadrado de AB es
conmensurable con el de AZ; pero el cuadrado de AB es racional; luego
tambin lo ser el de AZ, y, por tanto, AZ es
tambin racional, y como la razn de DG a
GE no es la de un nmero cuadrado a o t ro,
tampoco lo ser la del cuadrado de AB al de
AZ y, por consiguiente, AB es inconmensurable en longitud con AZ y las rectas AB y AZ
sern racionales conmensurables solo en potencia.
A
B
Puesto que DG es a GE como el cuadra do de AB al de AZ, ser GD a DE como el
cuadrado de AB al de BZ, y por tener CD con
F rG. 202.
DE la razn de un nmero cuadrado a otro,
el cuadrado de AB tendr con el de BZ la razn de un n m ero cuadrado
a otro y AB ser conmensurable en longitud con BZ.
Adem, por ser el cuadrado de AB equivalente a los c uadrados de
ZA y ZB juntos, exceder al de ZA en el de ZB, conmensurable con AB,
y hemos, pues, encontrado dos rectas racionales AB y AZ conmensurables solo en potencia y tales que el cuadrado de la mayor AB exced e
al de la menor AZ en el de BZ conmensurable en longitud con AB.
30. Encontrar dos rectas racionales conmensurables solo en potencia
11 tales que el cuadrado Je la mayor exceda al de la menor C'n el de rma
resta inconmensurable en longitud con la mayor "
31. Encontrar dos rects mediales conmensurables solo en potencia
que formen un rectdngulo racional y tales que el cuadrado de la mayor
~
l
5i es cuadrado ser mayor, igual o menor que !(mpl + mql) - 1, y estas tres hip
tesis conducen a sendos absurdos.
16 El razonamiento es el mismo que el anterior, sin m;ls que decir ahora
inconmensurable en lugar de conmensurable y ser GE y ED dvs n meros cu)a
suma, en vez de su diferencia, es un cuad rado.
Hl!O
11\1
1
l,l i
1
EUCLIDES. -
ELEMENTOS
DE
GEOMETRIA
ts81
....
l.
CIENTIFI COS GRIEGOS. -
882
TOMO 1
'i
:rl - al:rZ+---0
ti:
17 Este
EUCLIDES. -ELEMENTOS
Jn1ercambiando en la prop. 3J las palabras racional y medial, se demuestra la 34 , que, algebrai camente, tquivale a resolver la ecuacin bicuadrtica
DE GEOMETRIA
semicrculo ADB y, haciendo la construcci n de antes, por ser AZ inco n mensurable en longitud con BZ, tambifo AD lo es con BD en potencia, y
puesto que el cuadrado de AB es medial, tambin lo es la suma de los
AD Y DB; Y puesto que el rectngulo de AZ y BZ equivale al cuadrado de cada una de las rectas BE y DZ, es BE igual a DZ y , por tanto, BG
doble de DZ y el rectngulo de A B y BG tambifo doble del de A B y DZ ;
pero el de AB y BG es medial; luego tambi~n lo seni el de A B y DZ, y
por ser equivalente al de AD y DB este tambifo ser med ia l.
Siendo BG inconmensurable en longitud con AB y con m ens u rable con
BE, ser AB inconmensurable en longitud con BE, y, por tanto , el cuadrado de AB inconmensurable con el rectngulo de AB y BE ; pero los
cuadrados de AD y DB equivalen al cuadrado de AB y el rec tngulo de
AB y DZ, o sea : el de AD y DB es equiva lente al de AB y BE; luego la
suma de los cuadrados de AD y BD es in conmensurable con el rectngulo de AD y BD, l.q .q .d .
36. Si se j1mta11 dos rectas racionales com11ensurables solo en potencia, el total es un irracional que se llama binomial 1'.
Sean AB y BG las dos rectas (Fig. 206 ). Por ser AB inconmensurable
en longitud con BG, es AB a BG como el rectngulo de AB y BG al
cuadrado de BG; luego ese rectngulo es inconmensurable con el cuaA
B
G
drado de BG; pero el doble del rectngulo de AB y BG es inconmensuFrc . 206.
rable con el de AB y BG y los cuadrados de AB y BG juntos, son conmensurables con el de BG porque AB
y BG son rectas racionales conmensurables solo en potencia; luego el do ble del rectngulo de AB y BG es inconmensurable con los cuadrados de
AB y BG juntos, y, por tanto, el doble del rectngulo de AB y BG }unto
con los cuadrados de AB y BG, es decir, el cuadrado de AG es inconmen surable con la suma de los cuadrados de AB y BG; pero esta suma es racional; luego el cuadrado de AG, y, por consiguiente, AG es irracional,
l.q.q .d . .
37.
ll
.1
1
1
x2- (
883
1'
>mlrio6w lli h
lO
6o \'otwv.
lll!-l
TOMO 1
qut> fon11a11 1111 rectdngulo racional, t>l total es una rt>cta irracional qu' se
llama primt>ra bimt>dial z1
Sean AB y BG las rectas . Por ser AB inconmensurable en longitud
con BG, los cuadrados de AB y BG juntos s~ inconmensurables con el
doble del rectngulo de AB y BG, es decir: el cuadrado de AG es lncon mensura ble con el rectfogulo de A 8 y BG; pero este rectngulo es racional por hiptesis; luego el cuadrado de AG y, por tanto, AG, es Irracional, l.q .q .d . 21
38. Si se j1111tan dos rectas mediales conmensurables solo e" potencia, qut> forman un rt>cldngulo medial, el total es una rt!cla irracional qui!
si! llama st>gunda bimedial 21
Si A B y BG son las rectas dadas (Fig. 207); DE una recta racional y
DZ un rectngulo equivalente al
A
B
G
cuadrado de AG, que , aplicado a
DE, da el otro lado DH, el cuadraT
H
o
do de AG equivale a los cuadrados de AB y BG juntos con el doble del rectngulo de AB y BG, y
si ET equivale a los cuadrados de
z AB y DG y se aplica a DE, el reE
manente TZ equivaldr al doble
flG . 207 .
del rectngulo de AB y BG, y por
EUCLIOES . - ELUIENTOS
.------r-~--.
.' .
DE
GEOMETRIA
885
ser mediales, por hiptesis, las rectas ' AB y BG, los cuadrados construi dos sobre ellas tambi~n lo sern y como por hiptesis, el doble del recttlngulo de AB y BG tambifo es medial y ET equivale a los cuadrados de
AB y BG y TZ al doble del rectngulo de AB y BG, los rectngulos
ET y TZ tambiln son mediales, y, habifodose aplicado a la recta racional
DE, las rectas DT y TH son racionales e inconmensurables con el rectngulo de AB y BG.
Ahora bien: la suma de los cuadrados de AB y BG es inconmensura ble con el cuadrado de AB y el doble del rectngulo de AB y BG es con mensurable con el rectngulo de A 8 y BG; luego la suma de los cuadra dos de AB y BG es inconmensurable con el doble del rectngulo de AB
y BG, y como ET equivale a los cuadrados de AB y BG y TZ al doble
del rectalngulo de AB y BG, es ET inconmensurable con TZ, y, por tanto,
DT ser inconmensurable en longitud con TH; luego DT y TH son rectas
racionales y conmensurables solo en potencia y, por consiguiente, DH
es irracional, y como DE es racional y el rectalngulo formado por una
recta racional y otra irracional es irracional, el DZ es irracional e irra cional tambiln el lado AG del cuadrado equivalente, l.q .q.d. 14
39. Si se juntan dos rectas i11conme11s11rablt!s solo en pott>ncia cuya
suma de cuadrados es racional y el rectd11g11lo que forman medial, el to tal dt las dos rectas es un irrac ional que se llama mayor"
rafz positiva de la ecuacin
a+m
(a-m)J
r4 - 2 - - - r2x1+
r1=0.
.(i
a
AB - BGr(l - Ja)
es el aptomo : nnoto111. del prefijo lno, lejos de, y t6110<;, divisin- parte
cortada de - , el menor segmento de una rec:ta dividida en media y extrema
razn, ralz positiva de la ecuacin
14
r./b
BG .. - -
la
1
1
I' !
- .-;;;-)
( ~a+
~a ,
a+b
(a - b)1
r4 - 2 - - r2 x1 +
r4- O.
.(i
a
1~ las rtclas son, en es1e caso,
An '
\ / - - - - -;; - -
i2
1 + --:1-r~~~
ne -
.iT
v------a---.-,-:, ai
1 -
Si A B y BG son las rectas dadas, A G es irracional porque siendo medial el rectngulo que forman, su doble y los cuadrados de las rectas,
juntos, es decir, el cuadrado de AG
los de las rectas, juntos, son
G
B
A
inconmensurables; luego el cuadrado de AG es irracional, y, por
FIG 208 .
tJnto, A(;, l.q .q.d .
40. Si se j11111a11 dos rtctas i11co11111e11s11rables en potencia !J talf'S que
la srmw de sus cuadrados ua medial, !/ el rectdrrgulo que forman racional,
el total de las dos rectas serd irracio11al !/ se llama lado del cuadrado equivalente! a la suma de un rea racional y otra medial n.
'f'i
1
886
"
./l:a?--+
vl - Jla+a~
J~ [ y.:=;l+;i- -V--J.~al]
l
1\
x4 - 2r2. rl + - - r4 =o.
l +a?
1\1
.,
2' ;,
10 7.WQlov 6u"ol'lv'I
11
rJ ,/f+-;;J+a
./2(1 +al)
';
BG-
!,
..
,J.;i+aLa
al
..-4- - - - - rl r1+
J 1 +al
J -2(1 +al)
887
1;
'' irracional
GEOMElRIA
man
AG =;2-l\fi+
OE
(1
+ al)J
r4~0.
Poniendo
r : ,..
AB =
Ji
~v-;~-~j~a:a:~
r~m
BG =~2 -
v------a-1-
888
el lado del cuadrado equivalente, y como este lado es AG. es AG irra cional. l.q .q .d .
LEMA .
Dividiendo una recta dada A B en dos partes desiguales por
lo s puntos C y D y sponiendo AG mayor que DB, digo que los cuadrados dt A B y BG, juntos son mayores que los de AD y DB juntos.
Bisecando All por el punto, E (Fig. 210), por ser AG mayor que DB,
si se quita DG de ambos, el reA
O E
C.
B
manente AD ser mayor que el re
manente GB, y como AE es igual
a EB, es DE menor que EG; luego
F1c. 210.
los puntos G y D no equidistan
del de biseccin E; y puesto que el rectngulo de AG y GB junto con
el cuadrado de fG, equivale al cuadrado de EB y el rectngulo de
AD y DB junto con el cuadrado de DE tambifo equivale al cuadra
do de EB , el rectngulo de AG y GB junto con el cuadrado de EG
equivaldr al rectngulo de AD y DB junto con el cuadrado de DE;
y como este cuadrado es menor que el de EG, el remanente rectngulo
de AG y C8 es tambin menor que el de AD y DB y, por tanto, el doble
del de AG y GB menor tambin que el doble del de AD y DB; luego los
remanentes : suma de los cuadrados de AG y GB, mayores que la suma
de los cuadrados de AD y DB, l.q.q .d .
42. U11a recta binomial solo u puede dividir en sus partes 29 [racio
nales conmensurables solo en potencia] por un punto :io.
la recl3 irracional
1
.\
AG -
\1
-+ \ / l -
r' - 2v'mrl+m -
al
r4-0.
1 +al
-.
..
nr
GI O M [ IRIA
Sea AB (ffg. 211) una rec ta bino mial dividid a por el punto G en las
partes AG y ne racionales conmensura bles solo en pote n c ia . Di go que
no hay otro punto D que d iv ida as{ a AR, porq ue s i lo h ubie ra , p o r n o
ser AG igual l! DB, serla AD igual a GB y
AG a GB como BD a AD y A B estara di viA
O
G
B
dida por el punto D lo mi smo que por e l G,
lo que es contra la hiptesis; luego AG no
fl G. 211.
es igual RD y, por tanto, lo s puntos G y D
no equid ist an del de bisecc i n y los cuadrados de AG y GB difieren d e
los de AD y DB y el doble d el rectngul o de AG y G B d ifi e re t am bifo
dol doble del de AD y DB porque los cuad rados de AG y GB jun tos co n
el doble del reclfol!ulo de AG y GB y los de AD y DB junt o s con el d oble
del rt'cUngulo de AD y DB son ambos eq ui\' a le nles al c uad r ado d e AR;
pero los cuadrados de AG y GB d ifieren d e los de AD y DB en u n rea
racional por ser racionales ; luego el d o ble del rectngulo d e AD y DB
tambin ffiere del doble del de AG y G B en un rea ra cional , a u nque
son m ediales , lo cual es abs u rd o por q ue un r ea med ia l n o excede d e
otra med ial en una ra c ion a l ; luego un a recta b ino mi a l n o se puede di vidir por \'a r ios puntos, l.q .q .d.
:io
ts
y si ts
a+ v'b=c + .;d,
es
a=c,
b=d;
8H t;
a =c,
b=d
a= d,
/, ~c .
EUCLIDES . - ELEMfNTOS
890
l )
en potencia .
Ahora bien : como la suma de dos rectas conmensurables solo en po
tcncia es la irracional que se ha llamado binomial, es EN una recta bi nomial dividida en sus partes por el punto T .
An logamente se demuestra que EM y MN son rectas racionales con
DE
GEOMETRIA
891
'
!
892
EUCLIOES.-ELEMENTOS
CIENTIFICOS GRIEGOS.-lOMO 1
que Afl no se puede dividir asl por otro punto D, porque si se pudiera
y suponemos AG mayor que A D. aplicando a EZ el rectngulo EH equi
valente a la suma de los cuadrados de AG y GB y el TK equivalente al
doble del rectngulo de AG y GB,
M T
N
E
A el total EK equivaldr al cuadrado
de AB, y aplicndole EL, equivalente a la suma de los cuadrados de
AD y DB, el remanente MK ser
equivalente al remanente doble del
D rectngulo de AD y DB, y como,
por hiptesis, la suma de los cuaG drados de AG y GB es medial, EH
tambin es medial y por estar apli
K
L H
B cado a la recta racional EZ, es ET
racional e inconmensurable en lonFrG. 216.
gitud con EZ.
Por la misma razn TN es racional e inconmensurable en longitud
con EZ. y puesto que la suma de los cuadrados de AG y GB es incon
mensurable con el doble del rectngulo de AG y GB, tambifo EH ser
inconmensurable con HN, y, por tanto, ET con TN y estas rectas sern
racionales conmensurables solo en potencia ; luego EN es una binomial
dividida por el punto T.
Anlogamente se demuestra que tambin est dividida por M, y como
ET no es igual a MN, resulta una binomial dividida por varios puntos,
lo cual es imposible, l.q.q.d .
111
89]
SEGUNDAS DEFINICIONES
DE GEOMETRIA
48-5). Encontrar las rectas primera, segunda, tercern, cuarta, quinta y sexta binomiales.
., ...
1(
1
894
CILNllFICOS GRIEGOS. -
TOMO 1
ol
EUCLIDES .-ELEMENTOS
IE
.rJ -
lmx + mln1
O,
r - 2mr+--m1-0,
l+n
r. /l
i
i
o-n
r - 2tnr+--
'' I
m1~0,
GEOMETRIA
"'
ar
..; 1 -
,,1
rn=
ar, ar,1l+r11:
r ..JO,
i-LJ]
para 111 tres primeras binomiales, para las cuarta y quinta, y para la se11ta,
respectivamente, cuyas representaciones anaUticas son:
ar(l+./1-nl),
ar(t+ ./ _1-1_nl) .
siendo
ar. - - - - - br..JO.
895
DE
brJQ{l + ./=r;t},
1
) ,
ar ( 1 + -_=-:::./ 1 +nl
ar(l
+ ../-1-+n1),
-=-
896
CIENTIFICOS GRIF.GOS. -
'i
EUCLIDES . -
TOMO 1
'
,.
GEOMETRlo\
897
cq~;nl<nl<
!ngulo
DEZll
I cuesdrado de
AB. Digo que DH
una primera binomial.
Aplicando a DE los rectnguE
T
L
O
los DT y KL equivalentes a los
cuadrados de AG y de GB, el resA
C1
B
to, o sea: el doble del rectngulo
f1G . 221.
de AG y GB, ser equivalente a
MZ, y bisecando MH por el pun to N y trazando NO paralela a HZ, los rectngulos MO y NZ sern equiva lentes al de AG y GB.
Ahora bien: puesto que el punto G divide a la binomial AB en sus
partes, AG y GB sern rectas racionales conmensurables solo en potencia y, por tanto, los cuadrados de AG y GB racionales conmensurables y
su suma tambin racional, y como equivale a DL, tambin DL es racional,
orra medial.
59 . Si un cirea estd limitarla por una rr cta racional y la se:rta bino
DE
binomial, 1.q.q.d .
55 . Si un drea estd limitada por una recta racional 1J la segunda binomial, el lado del cuadrado equivalente es la recta irradonal que se ha
llamado
58.
mial, f'I
lla111ado
E L EMENTOS
1. - 19
B'JB
y por cst.u aplicado a la recta racional DE, es DM racional y conmensurable ~n longitud con DE.
.
Por otra parte, siendo AG y GB racionales y conmensurables solo en
potencia, el doble del rectngulo que forman, es decir: MZ, es medial, y
por estar aplicado a la recta racional ML, es MH racional e inconmensurable en longitud con ML. o sea: con DE; pero MD tambifo es racional e inconmensurable en longitud con DE; luego MD ser inconmensurable en longitud con MH, y como son racionales, lo son solo en potencia, y, por tanto, DH es binomial.
Hay que demostrar ahora que es una primera binomial. Puesto que
el rectngulo de AG y CB es medio proporcional entre los cuadrados de
AG y GB, ser MO medio proporcional entre DT y KL, y, por tanto,
DT es a MO como MO a KL, o sea: DK es a MN como MN a MK;
luego el rectngulo de DK y KM equivale al cuadrado de MN.
Adems, por ser el cuadrado de AC inconmensurable con el de GB,
es DT conmensurable con KL y DK con KM, y puesto que la suma de
los cuadrados de AG y GB es mayor que el doble del rectngulo de AG y
GB, es DL mayor que MZ y, por tanto, MD mayor que MH y el rectngulo de DK y KM equivalente al cuadrado de MN, es decir: a la cuarta
parte del cuadrado de MG y DK inconmensurable con KM .
Ahora bien: si se tienen dos rectas desiguales, se aplica a la mayor
un paralelogramo equivalente a la cuarta parte del cuadrado de la menor
y deficiente segn un cuadrado, y se divide en partes conmensurables,
el cuadrado de la mayor excede al de la menor en el de una recta conmensurable con la mayor; luego el cuadrado de DM excede al de MH
en el de una recta conmensurable con MD, y como MD y MH son racionales y MD mayor que MH, es conmensurable en longitud con la recta
racional DE; luego DH es una primera binomial, l.q.q.d.
61. Si se aplica a una recta racional el cuadrado de la primera bime-
1!!1
,.
..i.
EUCLIDES .-
..
F.LF.MF.NTOS
DE
GEOMETRIA
899
1
,
.1'\ '
!1
EUCLIDES. -
ELEMENTOS
DE
GEOMElRIA
901
902
''\
l.
\
1
1
J
1
rl
'.i'
.,.
1\,1
EUCLIDES . - ELEMENros
surable con TK, la parte menor ET es conmensurable con EZ y, por tanto, EK es una quinta binomial, y como EZ u racional, y si un rea est
limitada por una recta racional y una quinta binomial, el lado del cuadrado equivalente al rea es el equivalente a la suma de un rea racional
y una medial, resulta que el lado del cuadrado equivalente a El es el lado
del cuadrado equivalente a un rea racional y una medial, y, por tanto,
tambin lo es el de AD, l.q .q .d .
72 . Si el cuadrado de una recta equivale a la suma de dos drea1 mediale1 incom11ens11rablts entre .si, la recta es 1111a segunda bimedial o lado
del cuadrado equil'alente a la suma de dos drea.s mediale.s.
Sean AB y CD (Fig . 225) dos reas mediales inconmensurables entre
si y AD su suma. Si AB es mayor
T
E que GD y EZ una recta racional a
A K
la que se aplica el rectngulo EH
equivalente al AB y el TI al GD,
por ser mediales las reas AB y GD
tambin lo sern las EH y TI. y
B
e,
por estar aplicadas a la recta racional EZ, sus anchos respectivos
ET y TK son rectas racionales e inconmensurables en longitud con
o
EZ, y puesto que AB lo es con GD
Z y equivale a EH y GD a TI, tamH
bin EH ser inconmensurable con
FIG . 225.
TI, y siendo EH a TI como ET a
TK, son ET y TK inconmensurables en longitud y, por tanto, racionales
y comensurables solo en potencia; luego EK es binomial.
Pero el cuadrado de ET excede al de TK en el de una recta conmen surable o inconmensurable con ET.
Si lo excede en el de una recta conmensurable en longitud con ET,
ninguna de las rectas ET y KT es conmensurable en longitud con EZ, y,
por tanto, EK es una tercera binomial, y como EZ es racional, y si un
rea est limitada por una recta racional y una tercera binomial el lado
del cuadrado equivalente es una segunda bimedial, resulta que el lado del
cuadrado equivalente a El, o sea: a AD, es una segunda bimedial.
Si el cuadrado de ET excede al de TK en el de una recta inconmensu
rabie en longitud con ET, las rectas ET y TK son inconmensurables en
longitud con EZ y entonces EK es una sexta binomial. y como cuando
DE
GEOMElRIA
903
un llrea estli limitada por una rec-ta racional y una sexta binomial, el
lado del cuadrado equivalente es el del equivalente a la suma de dos
llreas mediales, resulta que el lado del cuadrado equivalente a AD es el
de la suma de dos lireas mediales, 1.q.q .d .
73. Si a una recta racional u le quita otra racional conmensurable
.solo eti potencia con ella, el resto es "" irracional que se llama ap tomo 15
Si AB es una recta racional y se le quita la BG, tambin racional y
conmensurable con ella solo en potencia, digo que el remanente AG es
irracional.
--.
J1 pfoq.:
;toto,111 bnH(HL
________
-------
id
904
CIE.NTlflCOS GRIE.GOS. -
TOMO 1
EllCLIOES. -ELEMENTOS
1j '
""
,.
11.
DE GEOMETRIA
905
Si a la recta AB se le quita la
en un ciadas, la recta llamada menor BG y ambas cumplen las condiciones
es la AG. de la que d igo que es irracional.
1
Pues10 que la suma de los cuadrados de A n y ne es racional y el doble del rectngulo de AB y BG medial, esa suma es inconmensurable con
el doble del rectngulo y, convirtiendo Ja, ta l suma es inconmensurable
con el reslo, que es el cuadrado de AG, y , por l anlo, AG es irra cional,
l.q .q .d .
77.
Si a una recta se le quita otra 111co11me11s11ra/Jle en potencia cun
f'lla y la s11111a de los cuadrados de ambas es medial, y el doble del recttir1g11lo que fon11an racional, E'I resto es "" recta irracional q11e se llama
lado del c11adrado equivalente a la di{ erencia f'ntre un drea racional y o tra
medial ,.,_
78 . Si a una recta se le q11ita otra inco11nre11s11rable con ella siPndo
la s11ma de los cuadrados de ambas medial, as como el d oble del rectngulo que forman, y esa suma i11co11mens11rable con el d oble del rec tngulo di las dos rectas, el resto es 11n irracional q11r se llama lado del
cuadrado equivalente a la difere ncia de dos dreas mediales >.
O
l
H
Si a la recta AB (Fig. 227) se
le quita la BG y ambas cumplen
las condiciones enunciadas, aplquese a uaa recta racional DI el
rectngulo DE equivalente a la
suma de los cuadrados de AB y
BG y el DT equivalente al doble
del rectngulo de AB y BG. El
T
E
resto EZ ser equivalente al cuaA
G
drado de AG, y, por tanto, AG es
B
el lado del r.uadrado equivalente
Frc. 227.
a EZ.
Puesto que
la suma de los cuadrados de AB y BG es medial y equivalente a DE,
lambi~n DE es medial, y como est aplicado a la recia
11 avootl'lju"'"
'
_...______
-
EUCLIOES . -E LEMENTOS
DE
GEOMETlllA
1
CIENTIFICOS GltlfGOS . - TOMO 1
79 . A u11a recta aptoma solo se le puede ariadir u11a recta conmensurable con ella en potencia.
Si AB es la recta aptoma (Fig. 228) y BG un aadido 0 , AG y GB
son racionales y conmensurabl es solo en potencia, y si DD fuera 6tro
aadido, AD y DB tambin serian racionales y conmensuraA
B
G
O
bles solo en potencia, y puesto que el exceso de la suma de
F1G. 228 .
los cuadrados de AD y DB sobre el doble del rectngulo de AD y DD es tambin el de la suma
de los de AG y GB sobre el doble del rectngulo de AG y GB; o sea: el
cuadrado de AB, resulta que el exceso de la suma de los cuadrados de
AD y DB sobre el de la de los de AG y GB es el mismo que el del doble
del rectfogulo de AD y DB sobre el de AG y GB; y como el exceso de
las dos sumas es un llrea racional, tambin e l de los dobles de los rectllngulos ser un rea rac ional, lo cual es imposible porque ambos son
mediales y un 4rea medial no excede a otra medial en una ra cion al ; luego
BG es el nico aadido posible a AD, l.q.q .d .
80. A una primera recta aptoma de una medial solo sr le puede
aadir una medial comne1u11rable con ella en potencia y que /om1e un
rectdngulo racional.
81. A una segunda recta aptoma de una medial solo se le puede
01iadir una medial conmensurable con ella err poter1cia y que form e ""
rutdngulo medial.
82. A una menor solo se puede aadir "" recta inconmensurable
con 'Ita en potencia de modo que la suma de los cuadrados de ambas sea
racional y el doble del rectdngulo que forme n medial.
906
''\
i:
1:
,\
.;2
r<
:--o- ~ar,.
(\j--
l+
./1 +al
' (V
r~m
(
if
l+
~a----=
./l+al )
./ 2(1 +al)
( - .;-m)
,
:'o
y-;_
907
o
./l+oJ
'J
l-
o
)
./l+J
que son las mismas que las de binomial, primera bimedial, segunda bimedial,
mayor, lado del cuadrado equivalente a la suma de un \rea racional y otra
medial y rea del cuadrado equivalenle a la suma de dos \reas mediales,
sus1iluyendo el signo + por el - , y corre5ponden a otras tantas ralees posi
1ivas de las mismas ecuaciones. Vid . mrro, nous 20. 22. 2l. 25, 27 y 28.
la clasificacin de estos doce irracionales establecidos por Euclides, a los
V./p./q= ~ [V
..
!
/- /
CIENTIFICOS GRffGOS. -
908
i'
EUCLIOES . - ELEr.UNTOS
TOMO 1
cuaclrados
CO~CLUYEN
44
6.
llama sexta.
i1
H-oci1k..J
909
LAS PROPOSICtOl"ES
85 -90 . Encontrar las aptomas primera, segunda , tercera, cuarta , q11rn la y sextil.
Si A es una recta racional dada y BH una conmensurable en longitud
con ella (Fig. 229), tambin BH ser racional , y si ED y EZ son dos ntimeros cuadrados cuya diferencia
e:,
A
8
H
DZ no es un cuadrado, la razn
de ED a DZ no ser la de un
E
z
o
nmero cuadrado a otro y, por
flG . 229 .
tanto, ED es a DZ como el cua drado de BH al de CH; luego
el cuadrado de BH es inconmensurable con el de CH y por ser aquel ra cional, tambin lo ser este .
Ahora bien: puesto que la razn de DE a DZ no es la de un nmero
cuadrado a otro, tampoco lo es la del c uadrado de Bll al de CH, y, po r
tanto, BH es inconmensurable en longitud con CH y por ser ambas rec tas racionales son conmensurables solo en potencia y DG es, por consiguiente, una recta aptoma .
Digo, adems, que es una primera aptoma porque si el cuadrado de
BH excede al de CH en el de una cierta recta T, es DE a DZ como el
cuadrado de BH al de CH y, convirtiendo, ED es a EZ como el cuadrado de BH al de T; pero la razn de ED a EZ es la de un nmero cuadrado
a otro; luego la del cuadrado de BH al de T es tambin la de un nmero
cuadrado a otro, y, por tanto, BH es inconmensurable con T en longitud ,
y como el cuadrado de BH excede al de GH en el de T, que es una recta
conmensurable en longitud con BH, y este total 811 es tambin conmensurable en longitud con A, resulta que BG es una primera aptorna,
l.q.q.h.
91. Si un drea estd limitada por 11 1111 recta racio rral y la primera
aptoma, el lado del cuadrado equivalt!nte es una apt oma .
TERCERAS DEFINICIONES
5.
GEOMETRtA
J,07 /
VI
cuarta.
DE
JJ , -.; / ,
41
De una manera anl oga constru) e Euclicies las otras
en las props. 86 90, que se corre sponden con las 49 -53 , como
y las representa ciones analti cas de las seis apt omas son los
drti cos conjugados de los bin omiales estable cidos en la nota
910
'
j,
'
\\
EUCLIDES .-ELEMENTOS
Si A n es el rea limitada por Ja recta racional AG y la primera aptoma AD, cuyo aadido es DH (Fig. 230), las rectas AH y DH sern
racionales conmensurables solo en potencia; la AH conmensurable con
la racional AG y el cuadrado de
AH exceder al de DH en el de
una recta conmensurable con AH,
de modo que, aplicando a AH un
paralelogramo equivalente a la cuarta parte del cuadrado de DH y
deficiente segn una figura cuaflG . 230.
drada, queda dividida en dos partes conmensurables.
Bisecando DH por el punto E y aplicando a AH un paralelogramo equivalente a Ja cuarta parte del cuadrado de EH y deficiente segn un cuadrado, si el paralelogramo es el de AZ y ZH. estas dos rectas sern conmensurables entre si; y trazando por los puntos E, Z y H las ET, ZI y HK
paralelas a AG. resulta que por ser la AZ conmensurable en longitud con
ZH, la AH tambin ser conmensurable con AZ y ZH. y como AH e.s
inconmensurable con AG. las AZ y ZH sern conmensurables en longitud
con AG y siendo esta racional, tambin sern racionales las AZ y ZH, y,
[!]:!
,,
il '
911
92. Si un drea estd limitada por 1111a recta racional y una segunda aptoma, el lado del cuadrado equit>alente es rma primera apdtoma de una
medial.
""
""
94. Si 1111 drt>a estd limitada por "" rrcta racio11al y una cuarta apJtoma, el lado del cuadrado eq11ivale11te es
menor.
95 . Si un drea ntd limitada por 1111a recta racional y '"' q11i11ta ap toma, el lado del cuadrado equivafcntt' al drea es el del cuadrado t>q11ivalentf! a la di{t>rencia e11tre 1111 drea mt>dial y otra racional.
96. Si un d1ea estd limitada por una recta racio11al y la uxta apto ma, f!I lado del cuadrado f!quivalen.
A
B
H
tf! al drf!a f!s el del cuadrado equi-
""
,. /
GEOMETRIA
1 l I\
EK mediales.
Por otra parte, si de un cuadrado LM equivalente a Al se quita el cuaclrado NO que tiene el ngulo LPM comn con ~1 y es equivalente a ZK,
los cuadrados LM y NO tendrn la misma diagonal PR y el rectngulo ll
mitado por AZ y ZH ser equivalente al cuadrado de EH, y, por tanto, AZ
es a EH como EH a ZH; pero AZ es a EH como Al a EK y EH a ZH
como EK a ZK; luego EK es medio proporcional entre Al y ZK.
Adems. se demostr que MN tambifo es medio proporcional entre
LM y NO y Al equivalente al cuadrado LM y ZK al NO; luego MN equi\'alc a AK y como EK equivale a DT y MN a f_O, es DK equivalente al
~nomon UVW y NO; pero AK equivale a los cuadrados LM y NO; luego
l.'l rem;inentc An equi\'ale a SQ. y como SQ es el cuadrado de LN, este
DE
::::;:.:,;!;,;~mnda
97. Si se aplica a
nt"
''
una recta
ii
:
t6 I.os leoremas 91 -96 son homlogos de In~ 54 -59, y solo hemos traducido
11 demostracin dd 91 porque la~ de los 92 .96 se hacen fc-ilmenle, 11111toti1
m111011dis.
_..____
..
___ -
EUCLIDES .-ELEMENTOS
912
,1
\,
1
\\
\i
'i
DE
GEOMETRIA
913
"'
99. Si se aplica a una recta racional el cuadrado de la segunda ap toma dt una mtdial, se obtiene una tercera aptoma .
100. Si se aplica a una recta racional el cuadrado de una menor, se
obtiene una cuarta aptoma.
101. Si u aplica a una recta racin11a/ el cuadrado eq11it>a/1'11te a la rnma
de lln drea racional y otra medial, se obtiene u11a q11i11ta aptoma.
102. Si se aplica a una recta racional el c11adrado equivalente a la
suma de Jos dreas mediales, se obtin1e 1111a sl'xta aptoma 47
101. Una recta comne11s11rab/e. 1'11 /011git11d co11 "" aptoma u ""
aptoma del mismo orden .
Si AB es una recta aptoma y CD conmensurable en longitud c:on AB,
digo que GD es una aptoma y del mismo orden que AB.
Puesto que AB es aptorna, si BE es un aadido las rectas A E y BE
sern racionales conmensurables solo en potencia, y si la razn de BE a
DZ es la misma que la de AB a GD,
el total AE ser al GZ como AB a A
B
E C
o
GD, y por ser AB conmensurable en
longitud con GD, lo ser AE con
Frc. 212 .
GZ y BE con DZ; y como AE y
BE son rectas racionales y conmensurables solo en potencia, tambin lo
sern GZ y DZ, y siendo AE a CZ como BE a DZ, ser, alternando, AE
a EB como GZ a ZD.
Ahora bien: el cuadrado de AE excede al de BE en el de una recta
conmensurable o inconmensurable con AE.
Si el cuadrado de AE excede al de BE en el de una recta conmensurable con AE, el cuadrado de CZ tambin exceder al de ZD en el de una
recta conmensurable con GZ y si AE es conmensurable en longitud con
esta recta racional, tambin lo ser GZ; si lo es BE lo ser DZ, y si no lo
es AE ni BE, tampoco lo ser GZ ni DZ.
Si el cuadrado de AE excede al de BE en el de una recta inconmensurable con AE, el de GZ tambin exceder al de DZ en una recta inconmen surable con GZ, y si AE es conmensurable en longitud con esta recta racional, tambin lo ser GZ; si lo es BE lo ser DZ, y si no lo es AE ni
BE tampoco lo ser GZ ni DZ; luego GD es una aptoma y del mismo or den que AB, l.q.q .d . 411
., Los teoremas 97-I02 se correspo nden con los 60 -65 }" son los recfprocos
de los 91 96 . Las demostraciones de los 98 102 son an;ilogas a la del 97 .
"Comp. el enunciado y la dcmos1racin de este teorema con 66 .
'i
: 1
- ---
EUCLIOES . - E L LMENTOS
91-1
r~
,l
- ------ --
.. P1 opmicionr ~
-
915
Si del rea medial BG se q uita la racional BD , digo que el lado del cuadrado equivalente al resto EG es la primera a ptoma de una m edia l 0 el
lado del cuadrado equivalente a la diferencia en t re un rea medial y otra
racional.
Dada !a recta racional HZ y haciendo una aplicacin de reas como an tes, ZT es racional e inconmensurable en longitud con ZH, m ientras que
ZK es racional y conmensurable en longitud con Zll; luego ZT y ZK son
rectas conmensurables solo en potencia y, por t anto, KT es una aptoma
y ZK su a~adido .
Ahora bien: el cuadrado de TZ excede al de KZ en el de un a recta
conmensurable o inconmensurable con TZ. Si esta recta es conmrnsurable
(fig. 234), el aadido ZK es con
(
..
l
mensurable en longitud con la recta racional dada HZ y entonces KT
es una segunda aptoma, y. por
O
C,
tanto, el lado del cuadrado equiva- A
f1 G . 2l1 .
lente a LT, o sea : a EG, es una
primera aptoma de una medial.
Pero si el cuadrado de TZ excede al de KZ en el de una recta incon menfurable con TZ, el aadido KZ es conmens urable en lo n gitud con la
recta racional dada HZ y entonces KT es una q uin ta apto ma, y, por tanto,
el lado del cuadrado equivalente a EG es el lado del cuadrado equivalente
a la diferencia entre un lirea medial y otra racional, l.q.q.d .
110. Si de un drea medial se quita otra medial i11conmenmrable c on
ella, el lado del c11adrado equivalente a la diferenc ia es la segund a apto ma
de una medial o el lado del c uadrado equivalente a la diferencia entre dos
dros mediales.
Si en la misma figura de antes se quita d el rea med ial BG el ifrea
tambin medial BD inconmensurable con ella, po r ser mediales estos dos
rectfogulos, es BG inconmensurable con BD, y , por tanto, las rectas ZT y
ZK SO'l racionales e inconmen surables en lo n gitud co n ZH , y puesto q ue
BG es inconmensurable con BD, o sea : HT con llK , la s rectas ZT y ZK
son raciona les y conmen surables solo en poten c ia; luego K T es una ap toma .
LJ]L
GEOMETRIA
109. Si de 1111 drea medial se quita una racional, el lado del cuadrado
f'q11ivaln11e a la diferencia es la primera aptoma dt' una medial 0 el
lado del cuadrado equivale nte a la diferencia t'ntre "" drea m t'd ial y
otra racional.
al EG .
Puesto que DG es racional y equi vale a HT y BD medial y equivale a
HK, ser HT racional y llK medial,
y por estar aplicados a la recta ra1
[
] ]
cional HZ, es ZT racional y con 1 mensurable en longitud con HZ,
G
I
mientras que KZ es racional e ino
conmensurable con HZ; luego ZT
f1 G 2H.
ser inconmensurable en longitud
con ZK y las rectas ZT y ZK racionales y conmensurables solo en potencia,
y, por tanto, TK es una aptoma y KZ su aadido.
Ahora bien: el cuadrado de TZ excede al de KZ en el de una recta
conmensurable o inconmensurable con TZ. Si esta recta es conmensurable,
la TZ lo ser en longitud con la racional dada HZ y, por consiguiente, KT
es una primera aptoma, y como el lado del cuadrado equivalente al rectngulo limitado por una recta racional y la primera aptoma es una aptoma, ti lado del cuadrado equivalente a LT, o sea : a EG, es una aptoma.
Pero si el cuadrado de TZ ~xcede al de KZ en el de una recta incon mensurable con TZ, esta es conmensurabie en longitud con la recta racional dada HZ y, por tanto, KT es una cuarta aptorna, y como el lado del
cuadrado equivalente al rect;lngulo limitado por una recta racional y una
cuarta ap1oma. es una menor . resulta que el lado del cuadrado equiva -
DE
ill!\
,11
"I
--- -----
--
E.UCLIDES . - E.l.l'MENTOS
'116
917
""
.\ .
GfOMF. lRI-'
siguiente, HZ y EZ son rectas racionales y conmensurables solo en po tencia; luego llE es aptoma, lo cual es imposible por ser racional, y ,
por tanto, la aptoma no es binomial, l.q .q .d . 50.
112 . Aplicando el cuadrado de
recta racional a una bihomial se
obtiene una aptoma cuyas partes son conmensurables con las de la bino mial y del mismo orden, y la aptoma obtenida es tambin del mismo or den que la binomial.
11 J. Aplicando el cuadrado de rma recta racional a una aptoma, se
obtiene una binomial cuyas partes son conmemurab/es co11 las de la aptoma y del mismo orden, y la binomial obtenida es tambit!n del mismo orden q11ela aptoma.
114. Si un drea estd limitada por una aptoma y una binomial, siendo
las parles de ambas rectas co1m1ensurables y teniendo la misma razn, el
lado del cuadrado equivalente al drea es racional.
115. De una recta medial se pueden obtener infinitas rectas, ninguna
d' las cuales es igual a alguna de las anteriores 51
Si el cuadrado de ZT excede al de ZK. en el de una recta conmensurable con ZT y ninguna de las rectas ZT y ZK es conmensurable en longitud
con la racional dada ZH, es KT una tercera aptoma .
Pero si K L es racional, el rectfogulo limitado por una recta racional y
la 1ercera aptoma es irracional y el lado del cuadrado equivalente es la
irracional que se ha llamado segunda aptoma de una recta medial, resulta
que el lado del cuadrado equivalente a LT, o sea : a EG, es la segunda ap
loma de una medial.
Pero si el cuadrado de ZT excede al de ZK en el de una recta inconmensurable con ZT y ninguna de las rectas ZT y ZK es conmensurable en
longitud con ZH, entonces KT es una sexta aptoma, y como el lado del
rectngulo limitado por una recta racional y una sexta aptoma es el lado
del cuadrado equi\alente a la diferencia entre dos reas mediales, resulta
que el lado del cuadrado equivalente a LT, o sea: a EG, es el lado del cuadrado equivalente a la diferencia entre dos reas mediales, l.q .q .d .
111. La aptoma no es la binomial .
Si una aptoma AB fuera binomial, aplicando a una recta racional
dada DG el rectngulo GE equivalente al cuadrado de AB, el ancho DE del
rectngulo serla una primera aptoma puesto que AB es aptoma, y dado entonces
8
A
el aadido EZ de DE, estas dos rectas son
H
E
racionales y conmensurable solo en potencia, y el cuadrado de DZ excede al de
EZ en el de una recta conmensurable con
DZ y DZ ser conmensurable en longitud
con la racional dada DG.
Por otra parte, puesto que AB es bino
mial, DE es una primera binomial y dividindola por el punto H en sus partes,
DH y EH son racionales y conmensurables
solo en potencia y el cuadrado de la par
te mayor DH excede al de GH en el de
una recta inconmensurable con DH , sien
do la parte mayor conmensurable en lonG
gitud con la recta racional dada DG; lue ric . ns .
go DZ es conmensurable en longitud con
DE
'
h
t.
a + ./b ; e -
./d,
que el Algebra elemental establece por reduccin al absurdo, elevando al cuadrado las dos desigualdades, que es lo mismo que hace Euclides geom~trica
mente, y permite demostrar que todos los irracionales estudiados en que ln tenlene el signo + son distintos de todos los que Interviene el signo - , y
unos y otros distintos del medial, con un total de trece Irracionales : medial,
binomial, primer blmedial, segundo blmedlal, mayor, lado del cuadrado equlalente a la suma de un llrea racional y otra medial, lado del cuadrado equiva lente a la 11uma de dos llreas mediales, aptomo, primer aptomo de un medial,
segundo aptomo de un meda!, menor, lado del cuadrado equivalente a la dife rencia entre un 'rea medial y otra racional y lado del cuadrado equivalente a
la diferencia entre dos ~reas mediales.
51 Los teoremas 112- 115 son probablememe apcrifos. pues que con el 111
termina el estudio exhaustivo de los trece irracionales, y Euclides no utiliza
ninguno de ellos en los libros siguientes de los E/,mr,.tM . Ante la duda de
su autenticidad, nos hemos limitado a traducir los enunciad os, prescindiendo
de las demostraciones, que so n, adems, excesivamente lar~as y pesadas.
DE
Gl:OMETRIA
919
CIENllFICOS GlllEGOS.-TOMO 1
918
I
1
LIBRO
XI
DEFINICIONES
l.
2.
J.
n~ulos
rec-
- ------ -- -- - - -- -
'
\'
1
;\
li\
, i101i<l
n()<; en
(:ti:uf>ov
oQOit lonvcomo
...
, Tanto
esta definicin
en la 6 no se debe reprochar a Euclides
el uso de la interseccin de dos planos, que no establece que es una recta
hasta la prop. 3, porque se trata de definir y no de demostrar.
Esta enrevesada ddinicin se :tclara diciendo que la inclinacin de una
4
recta sobre un p\ano--que hPY llamamos .ngulo de recta y plano1 - es el
nr,ulo que form:t la recia con su proyeccin sobre el plano. el cual es menor
que el que forme con cualquier otra recta del plano que pase por su punto
de intfr-'c c in, segun se p11'de demostrar fcilmente apoyndose en XI, 4.
)' l . 19 .
EUCLIDF.S.-ELEMENTOS
DE
921
GF.OMETRIA
920
B.1~c
de referencia la recta AB en BD de manera que AB resulta ser un segmento comn de las rectas ABG y ABD. lo cual es imposible porque si se
describiese un crculo de centro B y radio BA, los dimetros cortarlan a
p.1r:1lclop ;uno.
.23. l\.1scs del cilindro son los dos crculos descritos por los dos lados
{)puestos del paralelogramo que gira.
H . Conos y cilindros semejantes son los que tienen proporcionales
los ejes y los dimetros de las bases.
25. Cubo es el slido limitado por seis cuadrados.
26. Oct;icdro es el slido limitado por ocho tringulos equilteros
iguales. Icosaedro es el slido limitado por ninte tringulos equilteros
27.
igu;ilcs.
28 . Dodcocdro es el slido limitado por doce pentgonos iguales y
G
FrG. 2J6.
l'q11iLi1cros .
11
rROPOSlCIONES
l.
plana.
Estahlccidas estas definiciones, Euclides pasa a demostrar los teoremas
d'1 lib. XI de sus El1m<'111os sin enunciar ningn postulado: defecto lgico
que contrasta con el rigor de que dio fidedignas pruebas en la Geometra plana,
que la hace suprrior a la del espacio. Un sistema de postulados, como en el
libro l. hubiera evitado algunas demostraciones defectuosas y peticiones de
p11ncipio ele que adolecen ciertos 1eorernas existenciales de los tres ltimos
11111 'FI
pbnn 1le rrfcrrnria es el dado:
\;\l\o e.;, e\ l1'
tl1l111t<._1\f
,,
.,
"
FIG. 237.
EUCLIDES.-ELEMF.NTOS
CIENTIFICOS GRIEGOS.-TOMO 1
'112
f tG . 2J8.
SI'
corta11 en su punto de
GEOMETRIA
92)
""
11 Admisin irnpllcita de que los dos planos 1icnen por lo menos dos pun1ns ~omunrs. lo cual es, rn realidad . un poslulado compatible con el quinto
,\el lib. 1, srl(n ha observado Staudt.
DE
---------
92-1
CIE~llFICOS
GRIEGOS, -
TOMO 1
EllCLIDES. - - F.LEMENTOS
....
DE
Gl.UME 1 RIA
925
ClfNTIFICOS GRIEGOS.-TOMO 1
926
EUCLIDES. - f l fMfNTOS
DE
GlOM[IRIA
927
11.
Dcsrlc
1111
p1111to del'ado
14 ,
..
>la110 1lado .
Si A es el punto desde el cual hay que trazar una perpendicular al
pla~o de referencia, tmese en este
A
una recta cualquiera BG y trcesele
la perpendicular AD (Fig. 244). Si
AD es tambin perpendicular al plano, hemos hecho lo que queramos,
y, si no lo es, trcese en el plano la
DF. perpendicular a BG en D, la AZ
(,
perpendicular desde A a DE y la
H
HT paralela por Z a BG .
B
Puesto que BG es perpendicular
a DA y a DE, lo es a su plano y por
ser paralela a HT es HT perpendicuIG. 244.
lar al plano de DA y DE porque
cuando dos rectas son paralelas y una de ellas perpendicular a un plano,
tamhin lo es la otra; luego llT es perpendicular a todas las rectas que la
cortan y estn en el plano de DA y DE, y por estar AZ en este plano, es HT
pcrp~ndicular a AZ que tambin lo es a DE, y como cuando una recta es
perpcnilicular a dos que se cortan en su punto de interseccin, tambin
es perpendicular al plano de las dos rectas, A Z es perpendicular al plano
de ED y llT, que es el de referencia 1.q .q .d.
Gl
E~---..J
IG. 2~6 .
e;
217.
..
IG .
928
EUCLIDES .-ELEMENTOS
A'I
. 1
\\
\_7N
M[_~~~~~~~~~
como GZ a ZD.
Trcense AG. BD y AD que cor
flG. 250.
1;1 ;il p!Jno K L en el punto O y na .,c O con E y con D.
Puesto que los dos planos paralelos f:.L y r.tN estfo cortados por el
la misma ra1.n
fflDO, su' intersecciones EO y BD son paralelas, y por
929
1111
G EOMETRIA
lo son AG y OZ y siendo EO y BD parale las, en el tringulo ABD se tie ne que AE es a EB como AO a OD y en el ADG es AO a OD como GZ
a ZD; luego AE es a EB como GZ a ZD, l.q .q .d.
planos paralelos,
DE
Ahora bien: como dos planos son per pendiculares cuando las rectas
trazadas en uno de ellos perpendicularmente a la interseccin de ambos
estn en el otro plano y HZ, que es una rec ta del plano DE, es perpendicular a la interseccin GE de este plano con el de referencia, resulta que
el plano DE es perpendicular al de
referencia, l.q.q.d .
1. -- JO
- -
..--....
f .UCLIDES. -- ELl'MENTOS
DE
GEOMUHIA
930
20 .
Si 1111 11g11/o slido estd limitado por tres ngulos planos, la rnma
9Jl
L~
EUCLIOF. S . - Fl.FMENTOS
932
6 6
- --
"f:sla
1la1I , scmejama
01:
GO .\ IETRIA
933
suman menos de cuatro rectos. por hiptesis, los LOM, MOL y NOL sumarn menos an de cuatro rectos, lo cual es absurdo; luego AB no es
menor que OL, y como se ha dt-mostrado que tampoco es igual, es mayor .
Siendo OR perpendicular en O al plano del circulo Ll\fN, cuyo uadra do es igual al exceso del cuadrado de AB sobre el de OL, si se trazan RL,
RM y RN, es OR perpendicular a Ol, OM y ON y como OL es igual a
OM, la base RL ser;i igual a la RM y por la misma razn RN a Rl y a
RM, es decir: las tres rectas Rl, RM y RN son iguales entre s.
Por otra parte, puesto que por hiptesis el cuadrado de OR es el ex ceso del de AB sobre el de OL, el de AB equivaldr a la suma de los de
OR y Ol, y como esta suma es igual al cuadrado de LR porque el ngulo
LOR es recto, resulta que AB es igual a LR .
Pero las rectas BG, DE, EZ, HT y TK son iguales a AB y las RM y
RN lo son a Rl; luego las AB, BG, DE, El y HT y TK son iguales a las
Rl, RM y RN, y siendo entonces RL y RM iguales a AB y BG, y LM, por
construccin, a AG, el ngulo LRM ser igual al ARG, y por la misma razn el MRN igual al DEZ y el LRN al HTK ; luego con los tres ngulos
planos LRM , l\IRN y NRL , iguales a los dados ABG, DEZ y HTK se ha
constnJldo un ngulo slido en R. l.q .q .h .
LEMA .
Que el cuadrado de OR se puede tomar igual al exceso del de
AB sobre el de Ol se demuestra asl. Descrlbase sobre AB el semicrculo
ACB (Fig. 259); tmese AG igual a OL y trcese
GB . Por ser recto el ngulo AGB el cuadrado
G
de AB equivale a la suma de los cuadrados de
AG y BG y, por tanto, el cuadrado de AB excede al de AG en el de BG, y como AG es igual
a OL, el cuadrado de AB excede al de Ol en el
de BG; luego si se toma OR igual a BG el cuaA
B
drado de AB exceder al de OL en el de OR,
FIG. 259.
l.q.q.d.
24. Si un slido estd limitado por planos paralelos, los planos opuestos son paralelogramos iguales 16
Sea el slido GDTH limitado por los planos paralelos AG, HZ, AT,
DZ, DZ y AE (Fig. 260). Cortando dos de ellos, BH y AE, por el plano
I& Enunciado defectuoso, puesto que no dice explfcitamente que ,1 currpo
que se considera solamente est. limitado por seis planos. to correcto hubiera
sido : Si un slido est~ limitado por seis planos paralelos do' 11 dos, las caras
opuestas son paralelogramos i:ualcs.
-----------
--
--
9)4
EUCLIDES . -ELEMENTOS
.
11 Euclides dice: oH(.'fO\' noQo).).rhnin1flov, que ncmo5 u
te. y no paralclcplpedo a secas, como se suele traducir
lo ~uccsi\'o; pero como no ha definido previamente esta
misma falla que en I, 34, con el paralelogramo. Vid. supra,
u La imprecisin de este enunciado queda aclarada a )o
_ _.
.. uuc1ao
literalmen
y empicaremos en
palabra, comete la
lib. 1, nota 44 .
largo de la demos
,.
~ .
DE
G[OMETRIA
9)5
tres slidos son iguales, y por la misma razn lo son los ED, DM y MF;
luego el mismo mltiplo que la base LZ respecto de la AZ es el slido LV
respecto del AV; y anlogamente, las bases NZ y ZT y 1 los slidos NU y
TU. Por consiguiente, si la base LZ es igual a la NZ, el slido LV ser
igual al NU, mayor si mayor y menor si menor.
Se tienen, pues, cuatro magnitudes: las dos bases AZ y ZT y los dos
slidos AV y TU y se han tomado equimltiplos de la base AZ y del s lido AU, es decir, la base LZ y el slido LV, y de la base TZ y el slido
TU, a saber: la base NZ y el slido NU, y como se ha demostrado que si
la base l.Z es mayor que la NZ, el slido LV es mayor que el NU, igual
si igual y menor si menor, resulta que la base AZ es a la ZH como el slido
AU al TU, l.q.q.d.
26. En 11n punto dado de 1111a recta dada, construir 1m dngulo slido
igual a uno dado.
Sea AB la recta dada y en ella el punto A, y D el ngulo slido dado
limitado por los ngulos EDG,
EDZ y ZDG, y se pide construir
l
en el punto A de AB un ngulo
slido igual al D (Fig. 262).
~~
- - ..
EUCLIDES . -
936
DE, los dos lados AT y AB son iguales a los DZ y DE, y la base TB igual
a la Zf. los ngulos BA T y EDZ sern, pues, iguales y por la misma ra1.n el TAL ser igual al ZDC y el BAI, al EDC, l.q .q .h/
'!.7 . Sol1re urra recia dada, co11st1uir '"' paraleleppedo semrja11te a 11110 .
dado !/ se111eja11tcmenle dispuesto .
Sea A B la recta dada y CD el paralelppcdo dado. En el punto A de
AB constryase el ngulo slido A limitado por los ngulos BAT, TAK y
KAB respectivamente iguales a
los EGZ y ZCH y HCE que com
prenden al ngulo slido C, y
zf
\
(
l
entonces EG ser a CH como
A B a AK y CH a CZ como AK
a AT y, por equidad, EG a GZ
como AB a AT (fig. 263).
Completando ahora el paraleA
logramo TB y el slido AL, ser
F1G . 263 .
EC a CH como AB a AK y sien
do proporcionales los lados que forman los ngulos EGH Y BAK, el paralelogramo EH es semejante al BK y por la misma razn son semejantes
los KT y TB a los HZ y ZE, respecti\'amente, y. por tanto, los tres para-
,1 ,
J
1
l'
JH
o
flG .
264 .
--- - - - -
Como hemos inclicado en la nota 45 clcl lib. 1 csla es la unica vez que
l'uclides empica la palabra diagonal : h111y:".'"
lU Esta propie<bd es cierta , pero hab ra que demostrarla antes de hacer
1
'"
DE
GEOMETRtA
937
"
'@
ELf. MENTOS
...,
#
Je ella .
-- --
--
- - -- --- - - - 1
938
1
IL
EUCLIOES .-
TOMO 1
mismas recias ZP y DR; y como el slido GP, cuyas bases son los para lelogramos ACRl. y OQRP, es igual al GN, cuyas bases son los paralelogra mos AGBL y HEKN porque tienen
N,
..1\1\
R _
/\
/\
la misma
base AGBL y la misma
altura y los extremos de sus aristas AH, AO, GE, CQ y LM, LP,
BK, BR en las mismas rectas HQ
'>
1 111 I fo y NR resulta que el slido GM es
igual al GN, l.q .q .d .
31. Los paraleleplpedos de la
misma base y de la misma altura
son equivalentes 21 .
32 . Los paralelt'pipedos que
tienen la misma altura son entre
si como sus bases.
A
Sean los paralelepfpedos AB y
flG. 166.
CD cuyas bases son AE y GZ (fi-
.1 .
a at
D
""
,
z
y cortando el paraleleplpedo GK por
el plano DH paralelo a dos planos -'
c.
H
'
FIG. 267.
opuestos, la base GZ es a la ZT como
.el slido GD al DT; pero la base
ZT es igual a la AE y el slido HK al AB; luego la base AE es a la GZ
como el paraleleplpedo AB al GD, t.q .q .d .
33. Los paraleleplpedos semejantes son entre si como las razones tri
llK
11 [qc
E.LHIENTOS
DE
Gf.OMETRIA
939
9 10
11orcio1wlrs a las alturas , y los pan1leleplpedos cuyas bases son inversamente 11roporci1>11ales a las oll uros son eq11ivale11tes "
35 . Si desde los trrtict's de dos d11g11los rectilneos iguales dados st
tro : a 1111a recia <]lle formt' d11g11los igualt's co11 los respectitos lados de
los 11;11los dados ; desde 1111 p1111to cualquiera de esas recias se baja 11110
H'rpr11<lic11/ar al pla1ro de los dng11los, y se tra:a la recta que 1111e sus
J1111tos dr 111tersecci11 con los vrtices, rsta recta forma ci11g11los iguales
co11
la tra:oda primeramente 14
rectillntos iguales. Desde sus vrtices
Sean RAG y EDZ dos ngulos
A y D se trazan las rectas AH y
DM que forman con los lados AB
y AG. DE y DZ los ngulos HAB
igual al MDE y HAG igual al
MDZ (Fig. 269); desde dos puntos
cualesquiera H y M de AH y DM
se bajan las perpendiculares llL
y MN a los planos de los ngulos
___)
BAG y EDZ . respectivamente, y
frG . 269.
desde sus puntos de interseccin
LJJi,.
L y N, con los planos se trazan las rectas LA y ND que los unen a los
)D
proporciv11al.
Sean A. B y G tres rectas tales
que A es a B como B a G y LT
el paralelepipedo formado con ellas.
Constryase el ngulo slido E
11 con los ngulos DEH, HEZ y ZED
iguales a los NLO, OLM y MLN
r.__.
fllJ . 270.
respectivamente; tmense sobre \as
rectas ED. EZ y EH longitudes
i~uales a B y compltese el paraleleplpedo EK (Fig. 270) .
1 F.I razonamiento para demostrar este teorema es an:\logo a los anteriores.
- -------
1
1~q~o
l F.I
enunciado de este teorema, cuya demostracin es demasiado \'er
h o ncica y dif c il ele seguir , se puede sintetizar as( : F.n dM ngulos triedros
1.:ualcs o <1a par de aristas homlogas fo r ma ;in:u1os iguales con el plano de .
IH 0 1ra~ dos .
DE
941
GEOMElRIA
lOMO 1
Por ser A a 8 como 8 a G, ser LM a EZ como ED a LN, y siendo entonces inversamente proporcionales los lados de los ngulos NLM y DEZ,
el paralelogramo MN es equi\'alente al DZ y como en los planos de esos
ng'u los se han trazado las rectas LO y EH iguales a 8, que forman ngulos
respectivamente iguales con sus lados en ambos slidos, las perpendicula res desde O y H a los planos de LM, LN y EZ, ED sern iguales y, por
consiguiente los slidos LT y EK tendrn la misma altura, y sern equi valentes, l.q.q.d.
37. Err los paraleleppedos sen1eja11tes y semejanteme11te dispuest o s
construidos sobre cuatro rectas proporcionales son proporcionales, y s1
cuatro paraleleplpedos semejantes y semeja11teme11te dispuestos son pro
porcio11ales, las rectas sobre las cuales estdn construidos so11 proporcio rralts.
Sean AB, GD, EZ y HT cuatro rectas tales que AB es a CD como EZ
a HT sobre las cuales se han construido los paraleleppedos semejanles y
semejantemente dispuestos AK, CL, EM y HN (Fig . 271). Por ser semejan tes los slidos AK y GL estn en la razn triplicada de AB a CD ; por la
D
misma razn EM y HN respecto de
r\
L
EZ y HT y por ser AB a CD como
~
,,,.
1
EZ a HT, ser AK a GL como EM a
HN. Estando, pues, los paraleleppedos AK y CL en la razn triplicada
de AB y GD y los EM y HN en la de
E
EZ y HT, es AK a GL como EM a
HN y lambi~n. por tanto, AB a CD
como EZ a HT, l.q.q.d.
~~~
'
FIG. 271.
38. Si
cubo se
lo dia:1111al
Por los
1111
8~
1 ' ~ 1 1",
H
F1c. 272.
EUCLIDES.CIENTIFICOS GRIEGOS. -
'J L!
111
ELEMENTOS
DE
GEOMETRIA
9"3
TOMO 1
..
LIBRO
XII
PROPOSICIONES
'
~'.
a \'S, l.q .q .d .
39. Si las bases de dos prismas de igual altura so11 u11 paralelogramo
y 1111 tringulo, y el paralelogramo es doble del tringulo, los dos prisso11 equivalentes.
Sean los dos prismas ABGDEZ y HTKLMN de igual altura, siendo
la base del primero el paralelogramo AZ doble del tringulo H TK base
del segundo (Fig. 273). Digo que
p
los dos prismas son equivalentes.
o
Compltense los slidos AO y
H P y entonces, por ser el paralelogramo AZ doble del trifogulo HTK
y el paralelogramo doble del mismo tringulo HTK. los paralelogramos AZ y TK sern equivalen ,
tes, y como los paraleleplpedos de
H
z
E
la misma base y la misma altura SOll
flG . 27J.
equivalentes, el slido AO aeri
y el prisma ABGDEZ ser la mitad del slido AO
equivalente al 11 P
mitad del H P "; luego los dos prismas son equln
y el llTKLMN la
lentes, l.q .q .d. J6.
11111s
:,~~:\,
li
'~
'
t
1 Esta
lclogramo .
--------------.
br
11 \
11.:
I'
I:; :
,,1:
EUCLIDES.-El.HIENTOS
CIENTIF!COS Gl!IEGOS.-TOMO 1
914
GEOMIOTRIA
945
a un rea menor que el EZHT, y anlogamente se demuestra que tam poco el circulo EZHT es a un rea menor que el ABGD como el cuadrado de ZT al de BD.
Digo ahora que tampoco el crculo ABGD es a un rea mayor que el
EZHT como el cuadrado de BD al de ZT, porque si la razn fuera ma
yor, tntonces, inversamente, e l cuadrado de ZT serla al de BD como el
<lrea S al circulo A DGD; pero el rea S es a este circulo como el EZll T
a un ilrea menor que el ABGD y el cuadrado de ZT serla al de BD como
el circulo EZHT a un <lrea menor que el ABGD, lo que se ha demostrado
que es imposible; luego el cuadrado de DD no es al de ZT como el crculo ABGD a un rea mayor que el EZHT y como se ha demostrado que
tampoco es menor, tiene que ser igual, l.q.q.d . 1
LEMA.
Digo que siendo el rea S mayor q ue el crculo EZHT, es S
al circulo ABGD como el EZHT a un rea menor que el ABGD porque se
DE
,1
JE sic t'or,ma merece especial examen, porque es la primera vez q u' Euclides 1plica el mtodo de exhaucin establecido en X, 1, con el que consigue
haur la operacin que ho} llamamos del paso al lmire .
Sun, en decto, C 1 y C 1 dos circulas de dimetros D 1 y D 1 y se q uie re demostrar 4ue es C 1 : C 1 = D 1 : D 1 par J lo cual die ~ } d ice bien--que si as no fuera ,
h;ibr{a un ;lrea S ~ C1 tal que ser ia C 1 : S = D 11 : D1. lo que es absurdo.
No puede ser S < C 1 porque inscribiendo en C 1 y C 1 sendos polgonos seme jantes P1 y P1 de un nmero suficiente de lados para que, en vir t ud de X. 1,
su C 1 - P1 < C.,S, es decir, P1 > S, se deberla tener
D 1l
C1
P1
DI ~ -s- ~ --,;;
lo cu1l es imposible por ser C 1 > P 1 y S < PiT1mpoco pu,de ser S > C 2 porque, por la misma razn, serla
DI
D,2
s
e,
Cz
Pz
EUCLIOES .-
916
CIENTIFICOS GRIEGOS.-
fLHIF:NTOS
DE
GEOMETRIA
947
TOMO 1
91R
l:lJCLIDES . - f. LEMENTOS
PE
GEOMF.TRIA
949
-1
li''
~
.L
950
DEZ T, lo cual es absurdo porque el slido es menor, por h iptesis; lue go la pirmide ABGll no est con un slido menor que la DEZT en la
misma razn que la base ABG con la DEZ, y anlogamente se demuestra
que la pirmide DEZT no est con un slido menor que la ABGH en la
misma ra1n que la base DEZ con la ABG.
Digo ahora que tampoco la pirmide ABGH est con un slido mayor
que la DEZT en la misma razn que la base ABG con la DEZ , porque si
ese slido es Y, entonces, reciprocamente, la base DEZ ser a la ABG
como el slido Y a la pirmide ABGH; pero se ha demostrado que el
slido Y es al A BGH como la pirmide DEZT a un slido menor que la
pidmide ABGH; luego la base DEZ es a la ABG como la pirmide DEZT
es a un slido menor que la ABGH, lo cual es absurdo y, por consiguien
le, la pirmide ABGH no est con un slido mayor que la DEZT en la
misma razn que la base ABG con la DEZ, y como se ha demostrado
que tampoco est en la misma razn con un slido menor, resulta que
la base A /lG es a la DEZ como la pirmide A BGH a la DEZT, l.q .q .d.
6. !_as pirmides poligonales de la misma altura son entre s como
sus /lases ~.
7.
lans 111ii1alentes .
Sea el prisma ABGDEZ, cuyas bases son los tringulos opuestos ABG
y DEZ . Trcense las rectas BD, EG y GD, y
entonces, por ser ABED un paralelogramo y
BD su diagonal, el tringulo ABD es igual
al EBD, y, por tanto, la pirmide de base ABD
y vrtice G equivale a la de base DEB y vrE,......i,
~
tice tambifo G, y como esta ltima es la
misma que la de base EBG y vrtice D, la
de base ABD y vrtice G equivale a la de
base EBG y vrtice D .
Por otra parte, siendo ZGBE un paraleloA
gramo de diagonal EG, el tringulo GEZ es
B
igual al GBE y, por consiguiente, las pirmides
flG . 279 .
cuyas bases son estos tringulos y vrtice D
son equivalentes , y como la de base GBE y vrtice D se ha demostrado
que cquinle a la de base ABD y vrtice G . resulta que la de base GEZ y
-------- ----
EL E MENTOS
Df. G[OMETRIA
TOMO 1
951
vrtice
es equivalente a la de base ABD y vrtice G y el prisma ABGDEZ
ha quedado descompuesto en tres pirmides triangulares equivalentes.
Ahora bien: puesto que la pirmide de base ABD y vrtice G, es la
misma que la de base ABG y vrtice D por estar limitada por los mismos
planos y la de base ABD y vrtice G se ha demostrado que es la tercera
parte del prisma cuyas bases son los tringulos opuestos ABG y DEZ,
resulta que la pirmide de base A BG y vrtice D es la tercera parte del
prisma que tiene las mismas bases, es decir : los tringulos ABG y DEZ .
Corolario. De aqul se deduce que una pirmide es la tercera parte
de un prisma de la misma base y de la misma altura 6
8. Los pirmides triangulares semejantes son entre si como las ra zones triplicadas de sus aristas homlngas.
Sean las pirmides semejantes de bases triangulares ABG y DEZ y
vrtices H y T, respectivamente . Compltense los paraleleplpedos BHML
y ETQP y por la semejanza de las pirmides dadas y la igualdad de los
ngulos ABG y DEZ, HBG y TEZ,
ABH y DEZ, ser AB a DE como
BG a EZ y como BH a ET y el
paralelogramo BM es entonces se mejante al EQ (Fig. 280). Por la
misma razn el DN es semejante al
E R y el BK al EO; luego los par:.___~
~
(
ralelogramos BM, BK y BN son
flG . 280.
semejantes a los EQ, EO y ER y
como unos y otros equivalen a sus
opuestos, resulta que los slidos BHML y ETQP estn limitados por el
mismo nmero de planos semejantes y, por tanto, son semejantes, y
. .
@
.
pirmide resulta ser suma de pirmides triangulares cuyos vt!rtlces son los de
la dada. As( lo hace Euclides y as( ha pasado a los textos secundarios de GeometrC1.
La ingeniosa demostracin de este teorema se conserva en los manuales
escolares, podada, naturalmente, de la frondosidad de palabras que caracteriza
al gemetra alejandrino, quien top con el artificio que emplea por una afor
tunada coincidencia, pues que, como dice BEPPO Lr:vt, loe. cit., p.tg. 199, profundizando un poco en el mt!todo de exhaucin, Euclides habra podido llegar
al resultado directamente por el razonamiento anterior. Este paso lo hizo Arqul
medes en el tratado de la Cuadratura Je la pardbo/a, problema que, com o
sahemos , se puede considerar como una transposicin del prohlrma del volumen
de la pirmide> .
952
TOMO 1
DE
GEOMEflllA
953
por ser entre s los paraleleppedos semejantes como las razones triplicadao; de sus aristas homlogas, dichos slidos sern entre si como la
razn triplicada de la arista BC a la EZ; pero la razn de esos slidos es la
misma que la de las pirmides ABCH y DEZT porque la pirmide es
la sexta parte del slido por ser el prisma, mitad del paralelepfpedo, triple
de la pirmide; luego la ADCH es a la DEZT como la razn triplicada
de BG a EZ. 1.q.q .d .
Corolario . De aqul se d~duce que las pirmides poligonales tambin
son entre s como las -razones triplicadas de sus aristas homlogas 1
9. E11 las pirmides triangulares equivalentes, las bases son ir1versa111e11te proporcionales a las alturas , y las pirmides cuyas bases son
i11Ll'rsa111e11te l'roporcio11ales a las alturas son equivalentes .
Sean las pirmides equivalentes de bases triangulares ABG y DEZ
y vrtices H y T . Compltense los paraleleppedos BHML y ETQP y entonces, como estos paraleleplpedos equivalen a seis veces las pirmides
dadas y estas son equivalentes,
lo sern tambin los paraleleppe dos ; pero los paraleleppedos equi valentes tienen sus bases inversa mente proporcionales a las alturas
(Fig. 2R 1); luego la base BM es
a la EQ como el tringulo ABG al
DEZ y, por tanto, estos dos trino
gulos son entre si como las alturas
de los paraleleplpedos ETQP y
FIG. 281.
BHML, y puesto que estas alturas
son las mismas que las de las pirmides DEZT y ABGH, respectivamen te, la base ABG es a la DEZ como la altura de la pirmide DEZT a la
de la ABGH, y por tanto, estas pirmides son inversamente proporcio-
"'
~ 1
,
es al de base EZJIT y vrtice N
0
1
como la razn triplicada de DD
"
o
a TZ. porque si no fuera as, ten "
,
" 0
dra una razn triplicada con un
slido menor o mayor que el cono
Ftc. 282 _
EZHTN (fig. 282).
Si el slido O es menor , inscrb.1se en el crculo EZJI T el cuadra do
EZHT, que ser mayor que la mitad del crculo , y, por tanto, la pirmide
que tenga por base ese cuadrado y el mismo vrtice que el cono ser
mayor que la mitad del cono. Bisecando los arcos EZ, Zll, HT y TE por
los puntos P, Q, R y S y trazando las rectas EP, PZ , ZQ, Qll, HR, RT,
TS y SE, los tringulos EPZ, ZQH, HRT y TSE sern mayores que la
mitad del segmento circular EZllT y las pirmides que tengan por bases
esos tringulos y el mismo vrtice que el cono tambin sern mayores
que la mitad del segmento de cono correspondiente al segmento circular .
Bisecando de nuevo los arcos obtenidos; uniendo los puntos de biseccin con los v~rtices anteriores; considerando las pirmides triangu lares de vrtices en el del cono, y repitiendo continuamente este proceso
hasta tener segmentos de cono menores que el exceso del cono EZHTN
fLEMENTOS
.......__
.'
UICLIDES.-ELEMENTOS
954
DE
Gf.OMETRIA.
955
li11dro
es
J..
'111\
1 11
EUCLIOES .- f. LBl.NlOS
o8.
lo tambin los ejes LN, NE y EK,_
el mltiplo KL del eje EK es el
Fu;. 28J.
mismo que el cilindro QH del HB,
y por la misma razn el mhiplo MR del eje KZ es el mismo que el cilindro WH del /ID, y, por tanto, si el eje KL es igual al KM, el cilindro QH
sa igual al HW; si mayor. mayor, y si menor, mt'nor.
Teniendo, pues, cualro magniludes: los ejes EK, KZ y los cilindros
/JI/, llD )' lomados equimltiplos del eje El<. y el cilindro BH, a saber:
el eje KL y el cilindro QH y del eje KZ y el cilindro llD, a saber: el eje
/.:l\f y el cilindro HW, y habindose demostrado que si el eje
K
KL excede al KM, el cilindro QH
lambin excede al HW y si es
igual, igual, y si menor, menor,
H
resulta que el eje EK es al l<.Z
E
como el cilindro BH al HD,
l.q.q.d.
14. Los conos y cilindros de
1J8{J DD[.J O
9H
~ 8[11}
V
..
l
1
1
l
Sean EB y ZD dos cilindros
N
M A
T
B
dt' bast"S iguales AB y CD y e;es
llT ~ Kl ffig . 1841 Prol&n,uMe
Fu;; 214
el f'ie A"L y tme-se U i'u;il ;i HT
JC' modo que teni~ndose rnronce<; el cilindro G\f de eje L ; )" 1l1ur;i if'J;il
J la lfcl EB. esros dO'l c1frndrO'l sern cnlre ~; e<Jmo sis t>"~~~. \ put'Sl'J QJ~
t LH son i~uales. r;imbit'n ser in iru;ile<; bs e dindros. y hab1t ndo sdc e~ o/turas.
G .OMT.lRIA
1(
Of.
EUCLIDES. -ELEMENTOS
CIE.NTIFICOS GRIEGOS.-
958
..
LIBRO
..
1111
GE.OMETRIA
959
XIII
PROPOSICIONES
17.
DE
TOMO 1
11
' Este teorema, correlativo de\ anterior en el espacio, est resuelto en los
Elementos con ta\ profusin de palabras que es muy fcil perder el hilo del
ru:onamiento y con una figura cuya marafta de lineas es demasiado densa,
por lo cual nos limitamos a traducir el enunciado y a indicar que en el corol3rio que le sigue- tambin excuivamen" verborreico- Euclides demuestra que
los poliedros semejantes inscritos en una esfera son entre si como los cubos
y su corolario, _se demuestra en este
de los di:lmetros de estas.
" Apoyndose en el problema anterior
del 2.
1eorema , 11111tatis mutandis , el razonamiento
!.
1
L
\
l-
EUCLIDES . - ELEMESTOS
CIENTIFICOS GRIEGOS. -
960
TOMO 1
el punto
Sea A B una recta di"idida en media y extrema ra1.n por cuadrado
G y AG la parle mayor bisecada por el punto D. Digo que el
.,
R~
H1
-I
71v
\M
lz
GEOMETRIA
961
r \
ZH (Fig. 288).
n-- "''{,
DE
IN
de ZH.
Ahora bien: el gnomon y el cuadrado ZH forman el cuadrado DN,
que es el de DB, y ZH es el cuadrado de DG; luego el cuadrado de DB
es cinco veces el de DG, \.q .q .d .
4. Si se divide una recia en media y extrema ra:uSn, el cuadrado de
la ruta total, junto con el de la parte menor, es triple del de la parte
mayor.
Sea AB una recta dividida en media y extrema razn por el punto G
y AG su parte mayor. Constryase el cuadrado de AB y trcense las rectas de la figura.
Puesto que el rectngulo de AB y BG equivale al cuadrado de AG;
es AK el rectngulo de AB y BG y TH el cuadrado de AG. es AK equivalente a TH, y por ser equivalentes AZ y ZE. si se les aade GK, resulta AK equivalente a GE; luego AK y GE son el doble de AK; pero
Al\. y GE forman el gnomon LMN y el cuadrado de GE; y, por consii:uicntc, el r.nomon y este cuadrado son el doble de AK (fig. 289) .
Por otra p;irte. se ha demostrado que A K equivale a TH; luego el
!'111111
os . 1. -- JI
t.....
EUCLIDES . -ELEMENTOS
DE
GFOMETRIA
96)
962
7.
Si
1111
.,
J:'
a los
B. ngulos iguales del pentgono no son consecutivos, como
Si Alosy tres
los A. G y D, trcese BD y entonces, por ser iguales los lados BA. y AE.
BG y GD y formar ngulos iguales, el tringulo ABE ser igual al BGD.
la base BE igual a la BD y el ngulo remanente AEB igual al GDB. y
como el BED es igual al BDE, ser BE igual a BD y el ngulo total AED
igual al total GDE, y como, por hiptesis, el GDE es igual a los A y G,
tambin el A ED ser igual a estos, y por la misma razn el A BG tambin seroi igual a los A. G y D y el pentgono es equingulo, 1.q.q.d.
8. Si dos diagoriales de un pentgono equiltero 11 equingulo subtienden ngulos consecutivos, las diagonales se cortan en media 'IJ extrema razn y la parte mayor u igual al lado del pentgono.
Dado el pentgono equiltero y equingulo ABGDE, cuyas dos diagonales AG y BE, que se cortan en T , subtienden los fogulos consecutivos A y B, digo que AG y EB quedan divididas en media y extrema razn y la parte mayor es igual al lado del pentgono.
Describase el circulo circunscrito al pentgono, y por ser este equiltero y equingulo, los tringulos ABE y ABG sern iguales y, por tanto, iguales las bases BE y AG y los ngulos BAG y ABE (fig. 292); luego
el A TE es doble del BAT. y como el EAG tambin es doble del BAG por
es supuluo, una vez demostrados los 36 y 73 del lib. X. Vid. supra, notas
20 y 22 de es\C libro.
estar inscrito en el arco EDG, que es doble del BG, resulta que el ngulo
TAE es igual al A TE y, por tanto, la recia TE igual a la EA y tambin a
la AB, y como el ngulo ABE es igual al AEB y se ha demostrado que
el A BE lo es al BA T, el BEA ser igual al
A
BA T y como el ABE es comn a los dos trin gulos A BE y A B T, el ngulo remanente BA E
ser i .~ual al remanente ATB y por ser entonces equingulos los tringulos ABE y ABT, E
8
es AB a BA como AB y BT y, siendo BA
igual a ET, ser BE a ET como ET a TB y por
ser EB mayor que ET, tambin ET ser ma yor que TB; luego BE ha quedado dividida en
mt'dia y extrema razn y la parte mayor TE
es igual al lado del penlgono ; y de la misflG . 292 .
ma manera se demuestra que lambin AG ha
quedado dividida en media y extrema razn
por el punto T y que TG es igual al lado del pentgono, l.q .q.d .
9. Si se 1men el lado del liexgono y del de cgono inscritos tn ti
mismo crculo, la recta total resultantt queda dil'idida en media y ex
trema ra:n y la parte mayor Ps el lado del hrxdgo110.
Sea ABG un crculo, BG el lado del decgono inscrito y CD el del
hexgono en la misma recta. Digo que BD queda dividida en media y extrema razn y que
CD es su parte mayor .
Desde el centro E trcense las rectas EA,
B
j A EG Y ED y prolnguesc E 8 hasta A, y entonYJ
ces , por ser BG el lado del decgono equi"
tero, el arco ABG es cinco veces el BG; luego
el arco AG es cudruple del BG y siendo el
AG al GB como el ngulo AEG al GEB, el
ngulo AEG es cuatro veces el GEB y por la
igualdad de los EBG y ECB . . el A EG ser do
ble del EGB, y como la recta F.G es igual a Ja
CD porque cada una de ellas lo es al lado
F1c . 291 .
del hexgono inscrilo, el ngulo CEO es tam
bien igual al CDI:. y. por tanto, el EGB dohle del EDG (Fig . 293).
Por otra parte , se ha dem o slrado que el ngulo AEG es doble del
r GB ; luc.:o el AEG es cu;drupl c del EDG, y co mo lambin se ha demos
.,.
t
!
1
l.
_\
")
EUCLIDES. - ELEMENTOS
964
CIENTIFICOS GRIEGOS.-
1rado que el AEG es cudruple del BEG. el EDG ser igual al BEG y por
ser el EBD comn a los dos tringulos BEG y BED, el ngulo remanente
BED ser igual al remanente EGB, y, por tanto, los trifogulos EBD y EGG
son equingulos y entonces DB es a BE como EB a BG; ptro EB es igual
a GD; luego BD es a DG como DG a GB. y siendo BD mayor que BG ,
tambin DG ser mayor que CB, es decir : la recta BD ha quedado dividida en media y ex.trema razn y la parte mayor es DG. \ .q .q .d . '
10. Si se inscribe un pf'nldgono f'quildff'ro en un circulo, f'I cuadra
do de su lado n igual a los cuodrados de los lados del hudgono !/ df'I
decdgono inscritos en , mismo circulo.
Sea AB el lado del pentgono equiltero Inscrito en el circulo de
centro Z desde el cual se trazan las rectas ZA, ZB y la ZT, perpendicular
a la AB . que se prolonga hasta K .
A
Unase K con A y B; trcese ZL
_,....__
perpendicubr desde Z a AK y pro
lnguese hasta M y nase K con N .
Por ser ABGH igual a AEDH.
el arco ADG es igual al AED y,
por tanto, el remanente GH igual
al DH, y como GD es el lado del
pentgono. es CH el del decgono (Fig. 294).
Por ser ZA igual a ZB y ZT
perpendicular a AB, el lingulo
AZK es igual al KZB y el arco
AK igual al 1<8; luego el AB
es doble del BK y, por tanto, AK
es el lado del decgono, y por la
H
misma razn, AJ< doble de KM .
f10. 294.
Por ser el arco AB doble del BK
y el CD igual al AB. es el GD do-
-1
\
.\
1
110 = -(,/5 2
\l .
AK--(v'5 - ll,
7
de do.!'de
,.,
_,.,
GEOMETRIA
965
DE
TOMO 1
"
1
AB- 11 "'"~ \I
10 - 2.-'S.
EUCLIDES. - ELEMF.NTOS
..
'1
1
GFOMll RIA
967
DE
10
EUCLIDES .-ELEMENTOS
OE
Gt:OMF.TRIA
969
968
;i\ radio DE. y por ser AE doble de DE. el cuadrado de AE ser4 cudruple del de DE. o sea: del de BE, y como el cuadrado de AE equivale a
los de AB y BE juntos, estos cuadrados equivaldrn al cudruple del de
BE, y separando 11 , el cuadrado de AB ser triple del de BE; pero BE es
igu;il a DE; luego el cuadrado de A B, que es el lado del tringulo inscri
10, es triple del cuadrado de DE. que es el radio, l.q.q.d.
1 J. Construir una pirdmidt n tn una tsftra dada y demoJtrar que
., cuadrado del didmttro dt la tsftra ts igual a una vtt y media ti cua
_.
..
[UCUDF.S . - ELHIENlOS
D.
GF.OMI TRIA
971
9i0
14. Co11Struir '"' octutdro (regular] e11 1111a esfera dada, como en d
taso a11terior, !/ denrostrar que el cuadrado del didmetro de la esfera es
igual al doble del de la arista del octaedro.
Sobre el dimetro A B de la esfera dada de centro G descrbase el se
micrculo A DB; tr<icese en
la perpendicular GD a AB; nase B con
D ; constryase el cuadrado EZHT de lado igual a BD y trcense TZ y
EH que se cortan en el punto K desde el
cual
se baja la perpendicular #( L al plano
o
del cuadrado EZHT y se prolonga hasta c:I
otro lado del plano, como KM; tmse
KL y KM iguales a KE, KZ. KH y KT y
trcense las rectas LE, LZ, LH, LT, ME,
MZ. MH y MT (Fig. 299), y entonces, por
ser KE igual a KT y el ngulo EKT recto,
B
G
A
el cuadrado de ET es doble del de EK y
como KL es igual a KE y recto el ngu
L
lo LKE , el cuadrado de EL es doble del
de EK y habindose demostrado que el cua
drado de ET es doble del de EK. , resulta
Et 1 \\.
1
el de ff, igual al de ET y, por tanto, las
rectas El. y ET son iguales, y por la mis:
ma razn TL es igual a r E y el tringulo
.!
'
LET es equiltero.
1(
Vt I JH
M
Frc. 299.
,,,
972
EUCLtDES .-ELEMENTOS
Df. GEOMETRIA
97]
"'4
EUCLIDES .-ELEMENTOS
974
DE
975
GF.OMETRl4
'
nv
en ella, Lq .q .h .
Digo ahora que la arista de este poliedro es la recta llamada menor.
Puesto que el dimetro de la esfera es racional y su cuadrado quintuplc
del radio del circulo EZHTK, este radio es racional: pero si en un circulo
de radio racional se inscribe un pentgono equillt'ro, el lado de este es
la recta irracional llamada menor, y como el lado del pentgono EZHTK
es la arista del icosaedro, resulta l.q.q .d.
Corolario . De aqul se deduce que el cuadrado del dimetro de la
esfera es el quinluple del cuadrado del radio del circulo que ha descrito
el icosaedro y el dimetro de la esfera se compone del lado del hexgono
y dos lados del decgono inscrito en el mismo crculo .
i
17 . Construir rm dodecaed10 en una esfera, lo mismo que las figuras ( 1 '
a11taiores, !/ demostrar que su arista es la recta irracional llamada ap
'
toma .
Sean ABGD y GBEZ dos caras de un cubo perpendiculares entre si.
Bisquense las rectas AB , BG, BD, DA. EZ, E/3 y ZG por los puntos H,
T, K, L, M, N y O y trcense las HK, TL, MT y NO . Sean R, S e l 16s
puntos que dividen a las rectas NP, PO y TQ en media y extrema razn,
siendo RP, PS y Ql sus respectivas partes mayores; levntense en esos
puntos las perpendiculares RU, SV e IW a las caras del cubo hacia afuera y tmense iguales y trcense UB, DW, WG , GV y VU.
Digo que el pentgono U BWGV es equil;ltero y equingulo y est en
un plano . Trcense BR, BV y BS, y put'sto que el punto R divide a NP en
media y extrema razn y es RP la parte mayor, .los cuadrados de NP Y \
NR juntos, son triple del de RP, y como NP es 1~ual a NB Y RP a RU . '
los de Nll y NR juntos, cquivilcn al triple del de RU , y como el de 1w
\
es ~quivalcntc a los de Nn y NR juntos. resulta que el .de BR es triple
del de HU . y como el de BU equivale il los ele llR y RU 1untos, el de llU _, I res cuclruple del de RU ; lucl!o lil recta llll es rlohlc de la RU y como la
........
p0r
01::
GEOMETRlA
977
976
triple del de la arista del cubo, NO, que es la arista del cubo, es ncional,
"
es la irracional aptoma .
11.
.,
"=~~: ~~-::\~Mmo,uw~11
El 38 .
''" "
~"~ ~.,~;\\,
"'
NO
de donde, duplicando :
NO:RS-RS :(RN +SO);
luego si NO est dividida en media y extrema razn, el segmento mayor es RS.
ts Segn el teorema apcrifo fi.
"Con su extraordinaria habilidad geomtrica, Euclides ensella en las proposiciones 11-17 a inscribir el tetraedro, octaedro, hexaedro, icosaedro y dodecaedro regulares en una esfera, y calcula sus aristas en funcin del ndio r de
esta, obteniendo :
) l -
1 \'
'"" '"'
perficie.
Del mismo modo se demuestra que los otros vrtices del dodecaedro
tambin estn en la superficie de la esfera y, por consiguiente, el dodecaedro ha quedado inscrito en ella.
Para demostrar ahora que la arista del dodecaedro es la recta irracio
nal llamada aptoma, se tiene que por estar NP y PO divididas en media
y extrema razn y ser RP y PS sus respectivas partes mayores, el total
NO tambin est dividido en media y extrema razn y es RS su parte
mayor " y corno el dimetro de la esfera es racional y su cuadrado es
r./6,
rv'2 ,
2
rv'3,
3
r '\. I
5 y 10<s - .;s),
r
-3 <v'l5 - v'3)
~,
978
'-;i
E.UCLIDE.S . - ELE.ME.NlOS
c.
~
'
j..
~1
Ahor.1 bien : llZ es el lado del cubo que est di\'idido por N en media
y cx1rc111;1 ra1.n; luego la parle mayor, llN. es la arista del dodecaedro .
Puesto que se ha demostrado que el dimetro de una esfera es una
'\'
DE
GE.OME.TRlo\
979
Al mayor que la ZB .
Ahora bien : Kl es la parte mayor de AL dividida en media y extre ma razn porque es el lado del hexgono. KA el del dedgono y NB es la
parle mayor de ZB dividida en media y extrema razn; luego KL es ma yor que NB, y como KL es igual a LM. es LM mayor que NB; luego MD .
arista del icosaedro, es, con mayor razn, mayor que NB. que es la del
dodecaedro, l.q .q .d.
Digo ahora que ninguna otra figura, adems de estas cinco, se puede
construir con figuras equilteras y equingulas .
Un ngulo slido no se puede construir con dos tringulos o planos .
Con tres tringulos se construye el llngulo de la pirmide {triangular).
con cuatro el del octaedro y con cinco el del icosaedro, pero t:on seis
tringulos equilteros y equingulos reunidos en un punto no se puede
formar un ng~lo slido porque siendo el ngulo del tringulo equiltero
igual a las dos terceras partes de un recto, los seis valdrn cuatro rectos,
lo cual es imposible porque todo ngulo slido est limitado por planos
cuya suma es menor que cuatro rectos, y por la misma razn tampoco
se puede cons1ruir un ;lngulo slido con ms de seis tringulos .
El ngulo del cubo est formado por tres cuadrados; pero es impo-
I -----------.......
..
980
sible formar un ngulo slido con cuatro cuadrados porque llenan el planq.
Con tres pentgonos equilteros y equingulos se forma el lingulo slido del dodecgono, pero es imposible formarlo con cuatro porque siendo el fogulo del pentgono equiltero igual a un recto y un quinto de
recto, los cuatro valen ms de cuatro recA
tos, lo cual es imposible.
Y por la misma razn de absurdidad
no se puede construir ningn c.tro fo~ulo
slido con polgonos equilteros y equilinE
gulos.
l~ma .
Que el ngulo del pentligono
equiltero y equi<lngulo vale un recto y un
quinto de recto, se puede demostrar as(:
Sea ABGDE un pent<lgono equiltero y
equingulo inscrito en el crculo de centro
Z y trcense las rectas ZA, ZB, ZG, ZD y
F1G. JO>.
ZE que bisecan los ngulos del pentgono. Puesto que los ngulos alrededor de
Z son iguales y valen, juntos, cuatro rectos, uno de ellos, como el AZB,
vale un recto menos un quinto de recto; luego los otros dos ngulos,
ZAB y AIJZ del tringulo ABZ valdrn, juntos, un recto y un quinto de
recto, y como el ngulo ZAB es igual al ZBG, el total ABG, que es
el ngulo del pentgono, vale un recto y un quinto de recto, l.q.q.d.