LIBRO 1

DEFINICIONES
D.I.1. Punto es lo que no tiene partes.
D.I.2. Lnea es la longitud sin anchura.
D.I.3. Los extremos de la lnea son puntos.
D.I.4. Lnea rectas es la que yace por igual sobre sus puntos.
D.I.5. Superficie es lo que slo tiene largo y ancho.
D.I.6. Los extremos de la superficie son lneas.
D.I.7. Superficie plana es la que yace por igual sobre sus rectas.
D.I.8. ngulo plano es la inclinacin de dos lneas que se encuentran en un plano
y no yacen las dos sobre una recta.
D.I.9. S las dos lneas que contienen el ngulo son rectas, el ngulo se llama
rectilneo.
D.I.10. S 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.
D.I.11. ngulo obtuso es el mayor que el recto.
D.I.12. ngulo agudo es el menor que el recto.
D.I.13. Lmite es el extremo de algo.
D.I.14. Figura es lo comprendido por uno o varios lmites.
D.I.15. Crculo es una figura plana limitada por una sola lnea que se llama
periferia [circunferencia], 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.
D.I.16. Este punto se llama centro del crculo.
D.I.17. Dimetro del crculo es una recta cualquiera que pase por el centro y cuyas
dos partes tengan sus extremos en la periferia. Esa recta divide al crculo
en dos partes iguales.
D.I.18. Semicrculo es la figura limitada por un dimetro y la periferia. El centro del
semicrculo es el mismo que el del crculo.

D.I.19. Figuras rectilneas son las limitadas por rectas. Trilteras si lo estn por
tres, cuadrilteras por cuatro, y multilteras por ms de cuatro.
D.I.20. Entre las figuras trilteras el tringulo es equiltero si tiene los tres ngulos
iguales, issceles si solo tiene dos ngulos iguales y escaleno si sus tres
lados son desiguales.
D.I.21. Entre las figuras trilteras, el tringulo rectngulo es el que tiene un ngulo
recto; obtusngulo, el que tiene un ngulo obtuso, y acutngulo, el que
tiene sus tres ngulos agudos.
D.I.22. Entre las figuras cuadrilteras, el cuadrado es equiltero y equingulo; el
rectngulo, equingulo, pero no equiltero; el rombo es equiltero pero no
rectangular; el romboide, sin ser equiltero ni equingulo, tiene iguales los
lados y los ngulos opuestos. Las dems figuras cuadrilteras se llaman
trapecios.
D.I.23. Restas paralelas son las que, estando en el mismo plano y prolongadas al
indefinidamente, no se encuentran.

POSTULADOS
P1. [Es posible] trazar una lnea recta desde un punto cualquiera a otro punto
cualquiera.
P2. [Es posible] prolongar de una manera ilimitada en lnea recta una recta
limitada.
P3. [Es posible] describir un crculo para cada centro y cada radio.
P4. Todos los ngulos rectos son iguales.
P5. Si una recta, al incidir sobre otras dos, forma del mismo lado ngulos internos
menores que dos rectos, las dos rectas prolongadas indefinidamente se
encontrarn en el lado en que estn los ngulos menores que dos rectos.

NOCIONES COMUNES
NC1. Cosas iguales a una misma cosa son iguales entre s.
NC2. Si a cosas iguales se agregan cosas iguales, los totales son iguales.
NC3. Si de cosas iguales se quitan cosas iguales, los restos son iguales.
NC4. Las cosas que se superponen una a la otra son iguales entre s.

NC5. El todo es mayor que la parte.
PROPOSICIN 1
Construir un tringulo equiltero sobre una lnea finita dada.


DEMOSTRACIN

Sea AB la recta finita dada.
As pues, hay que construir sobre la recta AB un tringulo equiltero.
Descrbase con el centro A y la distancia AB el crculo BCc [Post. 3], y con el
centro B y la distancia BA descrbase a su vez el crculo ACd [Post. 3], y a partir
del punto C donde los crculos se cortan entre s, trcense las rectas CA. CB hasta
los puntos A, B [Post. 1].
Y puesto que el punto A es el centro del crculo CcB, AC es igual a AB [Def. 15];
puesto que el punto B es a su vez centro del crculo CAd, BC es igual a BA [Def.
15]; pero se ha demostrado que CA es igual a AB; por lo tanto, cada una de las
(rectas) CA, CB es igual a AB. Ahora bien, las cosas iguales a una misma cosa
son tambin iguales entre s [N. C. 1]; por lo tanto, CA es tambin igual CB; luego
las tres CA, AB, CB son iguales entre s.
Por consiguiente, el tringulo ABC es equiltero y ha sido construido sobre la recta
finita dada AB. (Que es) lo que haba que hacer.


PROPOSICIN 2
Poner en un punto dado (como extremo) una recta igual a una recta dada.


DEMOSTRACIN
Sea A el punto dado y BC la recta dada.
As pues, dibjese a partir de A una recta igual a la recta BC.
Se dibuja, desde el punto A hasta el punto B la recta AB y se construye el tringulo
equiltero ABD donde AE y BF son el resultado de prolongar DA y DB
respectivamente.
Con centro B y radio BC se dibuja la circunferencia G y con centro D la
circunferencia H.
As pues, dado que el punto B es el centro de G entonces BC es igual a BG y, al
mismo tiempo el punto D es el centro de H y por lo tanto DG tambin es igual a
DH que comparten la misma medida DB y DA. Entonces, las partes restantes AH y
BG son iguales. Una vez demostrado que BC es igual a BG entonces las rectas
AH y BG son iguales a BC y las cosas iguales a una misma cosa son iguales entre

s. Por lo tanto, a partir del punto A se ha dibujado la recta AH que es igual a la
recta BC dada.
PROPOSICIN 3
Dadas dos rectas desiguales, quitar a la mayor una9 igual a la menor.


DEMOSTRACIN

Sea AB y b las dos rectas desiguales dadas, sea AB la mayor de ellas.
Asi pues, hay que quitar de la mayor AB una recta igual a la menor b.
Colocar sobre el punto A la recta AD igual al segmento C y describir el crculo DEF
con centro en A y radio AD. [I 2, Post. 3]. Ahora, dado que el punto A es el centro
del crculo DEF, entonces AE es igual a AD. [ I Def. 15]. Pero C es tambin igual a
AD, entonces cada una de las rectas AE y C son iguales a AD, de modo que AE
tambin es igual a C. [N.C. 1].

Por consiguiente, dadas dos rectas desiguales AB y C, se ha quitado de la mayor,
AB, la recta AE igual a la menor C.

PROPOSICIN 4
Si dos tringulos tienen dos lados del uno iguales a dos lados del otro y tiene
iguales ngulos comprendidos por las rectas iguales, tendrn tambin las
respectivas bases iguales, y un tringulo ser igual al otro, y los ngulos restantes,
a saber: los subtendidos por lados iguales, sern tambin iguales
respectivamente.


DEMOSTRACIN:

Sean ABC, A'B'C', dos tringulos que tienen los dos lados AB, AC iguales a A'B',
A'C', respectivamente, es decir AB a A'B' y AC a A'C', y el ngulo BAC igual al
ngulo B'A'C'.
Digo que tambin la base BC es igual a la base B'C', y que el tringulo ABC es
igual al tringulo A'B'C', y los ngulos restantes, subtendidos por los lados iguales,
sen tambin iguales respectivamente, es decir el (ngulo) ABC (igual) al (ngulo)
A'B'C', y el (ngulo) ACB (igual) al (ngulo) A'C'B'.

Pues si se aplica el tringulo ABC, al triangulo A'B'C', y el punto A se coloca sobre
el punto A' y la lnea recta AB sobre la recta A'B', coincidir tambin el punto B
sobre el punto B', por ser igual AB a A'B'; al coincidir tambin AB con A'B', la recta
AC coincidir tambin con A'C' por ser igual el ngulo BAC al B'A'C': de modo que
tambin el punto C coincidir con el punto C' por ser igual a su vez AC a A'C'.
Pero tambin el punto B haba coincidido con el punto B; de modo que la base BC
coincidir con la base BC. [pues si coincidiendo el punto B con el punto B' y el
punto C con el punto C', no coincide la base BC con la base B'C', dos rectas
encerraran un espacio; lo cual es imposible. Por lo tanto, coincidir la base BC con
la base B'C'] y ser igual a ella. [N. C. 4]; de modo que tambin el tringulo entero
ABC coincidir con el tringulo entero A'B'C' y ser igual a l; y los ngulos
restantes coincidirn con los ngulos restantes y sern iguales a ellos, el (ngulo)
ABC al (ngulo) A'B'C', y el (ngulo) ACB al (ngulo) A'C'B'.
Por consiguiente, si dos tringulos tiene dos lados del uno iguales a dos lados del
otro y tienen iguales los ngulos comprendidos por las rectas iguales, tendrn
tambin las respectivas bases iguales y un tringulo ser igual al otro, y los
ngulos restantes, a saber: los subtendidos por lados iguales, sern tambin
iguales, respectivamente. (Que es lo que haba que demostrar)



















PROPOSICIN 5

En tringulos issceles los ngulos de la base son iguales entre s, y prolongadas
las dos rectas iguales, los ngulos situados bajo la base sern iguales entre s.



DEMOSTRACIN


Sea AEF el tringulo issceles que tiene lado AE igual al lado AF, y sean Ed, Fe el
resultado de prolongar en lnea recta las rectas AE, AF [Post. 2]

Digo que el ngulo AEF es igual al (ngulo) AFE y el (ngulo) FEd es igual al
(ngulo) EFe.

Pues tmese al azar un punto C en la recta Ed y qutese de la mayor Ae, la recta
AD, igual a la menor AC [I, 3], y trncense las rectas CF, DE. [Post. 1].

Ahora bien, como AC es igual a AD y AE a AF, las dos rectas CA, AF son
respectivamente iguales a las dos rectas DA AE y comprenden el ngulo comn
CAD; por tanto la base CF es igual a la base DE, y el tringulo ACF ser igual al
triangulo ADE, y los ngulos restantes subtendidos por los lados iguales sern
tambin iguales respectivamente, el (ngulo) AFC al (ngulo) AED y el (ngulo)
ACF al (ngulo) ADE [I, 4]. Como la recta entera AC es igual a la recta entera AD,
cuya respectivas partes AE y AF son iguales, entonces la parte restante EC es

igual a la parte restante FD. Pero se ha demostrado tambin que CF es igual a
DE; entonces las dos rectas EC, CF son iguales a las dos rectas FD, DE,
respectivamente; y el ngulo ECF es igual al (ngulo) FDE y su base comn es
EF; y el tringulo ECF ser, por tanto, igual al tringulo FDE, y los ngulos
restantes subtendidos por lados iguales sern tambin iguales respectivamente;
as que es igual el ngulo CEF al ngulo DFE y el ngulo EFC al ngulo FED asi
pues, como se ha demostrado que el ngulo entero AED es igual al ngulo entero
AFC cuyas partes respectivas FED, EFC son iguales, entonces el ngulo restante
AEF es igual al ngulo restante AFE y estn en la base del tringulo AEF. Pero se
ha demostrado que tambin el ngulo CEF es igual al ngulo DFE; y son los
situados debajo de la base.

Por consiguiente, en los tringulos issceles, los ngulos que estn en la base son
iguales entre s y, prolongadas las rectas iguales, los ngulos situados debajo de
la base sern iguales entre s. Q. E. D.

































Q.E.D. quod erat demostrandum que haba que demostrar
PROPOSICIN 6

Si dos lados de un tringulo son iguales entre s, tambin los lados que subtienden
a los lados iguales sern iguales entre s.



DEMOSTRACIN


Sea el tringulo ABC que tiene el ngulo ABC igual al ngulo ACB.

Digo que tambin el lado AB es igual al lado AC. Pues si AB no es igual a AC, uno
de ellos es mayor. Sea AB el (lado) mayor. Y del (lado) mayor AB qutese la
(recta) AB igual al (lado) menor AC, y trcese DC.

Ahora bien, como DB es igual a AC y BC es comn, tambin los dos lados DB, BC
son iguales a los dos lados AC, CB, respectivamente, y el ngulo DBC es igual al
ngulo ACB; por lo tanto, la base DC es igual a la base AB y el tringulo DBC
ser igual al triangulo ACB, el menor al mayor; lo cual es absurdo; entonces los
lados AB y AC no son desiguales; luego son iguales.

Por consiguiente, si dos ngulos de un tringulo son iguales entre s, tambin los
lados que subtienden a los ngulos iguales segn iguales entre s. Q. E. D.

(CONTRADICCIN)






Q.E.D. quod erat demostrandum que haba que demostrar
PROPOSICIN 7

No se podrn levantar sobre la misma recta otras dos rectas iguales
respectivamente a dos rectas dadas, de modo que se encuentren en dos puntos
distintos por el mismo lado y con los mismos extremos que las rectas dadas.



DEMOSTRACIN

Pues, si es posible (hacerlo), constryase sobre una misma recta AB, otras dos
rectas AD, AB iguales respectivamente a dos rectas dadas AC, CB, que se
encuentren en dos puntos diferentes C Y D, por el mismo lado y que tengan los
mismo extremos, de modo que CA sea igual DA y tenga el mismo extremo que
ella: B, y trcese CD.
Ahora bien, puesto que AC es igual a AD, tambin es igual el ngulo ACD al
ngulo ADC [I, 5], por tanto, el ngulo ADC es mayor que el ngulo DCB; luego el
ngulo CDB es mucho mayor que el ngulo DCB. Puesto que CB es a su vez a
DB, tambin es igual el ngulo CDB al ngulo DCB. Pero se ha demostrado
tambin es mucho mayor qu l; lo cual es imposible.
Por consiguiente, no se podrn levantar sobre una misma recta otras dos iguales
respectivamente a dos rectad dadas de modo que se encuentren en dos puntos
distintos por el mismo lado y con los mismos extremos que las rectas dadas.
Q. E. D.
(CONTRADICCIN)





PROPOSICIN 8

Si dos tringulos tienen dos lados del uno iguales respectivamente a dos lados del
otro y tienen tambin iguales sus bases respectivas, tambin tendrn iguales los
ngulos comprendidos por las rectas iguales.



DEMOSTRACIN

Sean BAC, BAC dos tringulos que tienen los lados BA, BC iguales,
respectivamente, a BA, BC, (es decir) el lado BA al lado BA y el lado BC al lado
BC; y tengan tambin la base AC igual a la base AC.
Digo que el ngulo ABC es tambin igual al ngulo ABC.
Pues si se aplica el tringulo BAC al tringulo BAC y se pone el punto A sobre la
recta AC, coincidir tambin el punto C con el punto C por ser igual AC a AC; y
al coincidir AC con AC coincidirn tambin AB,CB con AB,BC. Pues si coincide
la base AC con la base AC y los lados AB, AB no coinciden con los lados AB,
BC sino no que se desvan como AF, FC, podrn ser construidas sobre una
misma recta oras dos rectas iguales respectivamente a dos rectas dadas que se
encuentren en dos puntos distintos por el mismo lado y por los mismos extremos.
Pero no puede construirse [I, 7]; por tanto, no es posible que, aplicada la base AC
a la base AC, no coincidan los lados AB, BC con los lados AB, BC. Luego
coincidirn; de modo que tambin el ngulo ABC coincidir con el ngulo ABC y
ser igual a l.
Por consiguiente, si dos tringulos tienen dos lados del uno iguales
respectivamente a dos lados del otro y tienen las bases respectivas iguales,
tambin tendrn iguales los ngulos comprendidos por las rectas iguales. Q. E. D.




PROPOSICIN 9

Dividir en dos partes iguales un ngulo rectilneo dado.



DEMOSTRACIN

Sea BAC el ngulo rectilneo dado.
As pues, hay que dividirlo en dos partes iguales.
Tmese al azar un punto D en la recta AB y qutese de AC la recta AE igual a AD
[I, 3] y trcese DE, y constryase sobre DE el tringulo equiltero DFE, y trcese
AF.
Digo que el ngulo BAC ha sido dividido en dos partes iguales por la recta AF.
Pues como la (recta) AD es igual a la (recta) AE y AF es comn, las dos (rectas)
AD, AF son respectivamente a las dos (rectas) EA, AF. Y la base DF es igual a la
base EF; por tanto, el ngulo DAE es igual al ngulo EAF [I, 8].

Por consiguiente, el ngulo rectilneo dado BAC ha sido dividido en dos partes
iguales por la recta AF. Q. E. F.

Q.E.F. quod erat faciendum que haba que hacer
PROPOSICIN 10

Dividir en partes iguales una recta finita dada




DEMOSTRACIN

Sea AB la recta finita dada.
As pues, hay que dividir en dos partes iguales la recta finita dada AB.
Constryase sobre ella el tringulo equiltero ABC [I, 1] y divdase en dos partes
iguales al ngulo ACB mediante la recta CE [I, 9].
Digo que la recta AB ha sido dividida en dos partes iguales en el punto E.
Pues como la recta EC es igual a la recta CB y la recta CE es comn, entonces las
dos rectas AC, CE son iguales respectivamente a las dos rectas BC, CE; por
tanto, la base AE es igual a la base BE [I, 4].
Por consiguiente, la recta finita dada AB ha sido dividida en dos partes iguales en
el punto E. Q. E. F.





PROPOSICIN 11

Trazar una lnea recta que forme ngulos rectos con una recta dada, desde un
punto dado en ella.



DEMOSTRACIN
Sea AB la recta dada y C un punto en ella.
As pues, hay que trazar una lnea recta que forme ngulos rectos con la recta AB
desde el punto C.
Tmese un punto D al azar sobre la recta AC, y hgase CE igual a CD [I, 3], y
constryase sobre DE el tringulo equiltero FDE [I, 1], y trcese FC.
Digo que ha sido trazada la lnea recta FC que forma los ngulos rectos con la
recta AB, desde el punto C dado en ella.
Pues como DC es igual a CE, y CF es comn, los dos (lados) DC, y CF son
iguales respectivamente a los dos (lados) EC, CF; y la base DF es igual a la de
FE; por tanto, el ngulo DCF es igual al ngulo ECF [I, 8]; y son ngulos
adyacentes. Y cuando una recta levantada sobre otro recta hace los ngulos

adyacentes iguales entre s, cada uno de los ngulos iguales es recto [Def. 10],
por tanto cada uno de los ngulos DCF y FCE es recto.
Por consiguiente, ha sido trazada una recta CF que forma lo ngulos rectos con la
recta dada AB, desde el punto C dado en ella. Q. E. F.
PROPOSICIN 12

Trazar una lnea recta perpendicular a una recta infinita desde un punto dado que
no est en ella.

DEMOSTRACIN
Sea AB la recta infinita dada y C el punto dado que no est en ella.
As pues, hay que trazar una lnea recta perpendicular a la recta infinita da AB
desde el punto dado C que no est en ella.
Tmese, pues, al azar un punto D al otro lado de la recta AB, y con el centro C y la
distancia CD descrbase en crculo EGF [Post. 3], y divdase en dos partes iguales
la recta EF en I, y trcense las rectas CE, EI, CF [Post. 1].
Digo que ha sido trazada la recta CI perpendicular a la recta infinita dada AB
desde el punto c que no est en ella.
Pues como EI es igual a IF, y IC es comn, los dos (lados) EI, y IC son iguales
respectivamente a los dos (lados) FI, IC; y la base CG es igual a la de CF, por
tanto, el ngulo CIE es igual al ngulo FIC [I, 8]. Y son adyacentes. Ahora bien,

cuando una recta levantada sobre otro recta hace los ngulos adyacentes iguales
entre s, cada uno de los ngulos iguales es recto y la recta que se ha levantado
se llama perpendicular a aquella sobre la recta que est [Def. 10].
Por consiguiente, se ha trazado la recta CF perpendicular a la recta infinita dada
AB, desde el punto dado C que no est en ella. Q. E. F.
PROPOSICIN 13
Si una recta levantada sobre otra recta forma ngulos, o bien formar dos rectos o
bien (ngulos) iguales a dos rectos.

DEMOSTRACIN
As pues, forme una recta cualquiera CD levantada sobre la recta AB y los ngulos
BCD, DCA.
Digo que los ngulos BCD, DCA son o bien dos rectos o iguales a dos rectos.
En efecto, si BCD es igual a DCA, son dos rectos [Def. 10]. Pero si no, trcese
desde el punto C la recta CF que forme los ngulos rectos con AB [I, 11]; entonces
los ngulos BCF, FCA son dos rectos y dado el (ngulo) BCF es igual a los dos
(ngulos) BDC, DCF, adase al uno y a los otros el ngulo FCD; entonces los
(ngulos) BCF, FCA son iguales a los tres (ngulos) BCD, DCF, FCA [N. C. 2].
Como l (ngulo) ACD es igual a su vez a los dos (ngulos) ACF, FCD adase el
uno a los otros el (ngulo) DCB; entonces los (ngulos) ACD, DCB son iguales a
los tres (ngulos) ACF, FCD, FCB [N. C. 2]. Pero se ha demostrado tambin los
(ngulos) BCF, FBA son iguales a esos mismo tres; ahora bien, las cosas iguales
a una misma cosa son tambin iguales entre s [N. C. 1]; por tanto, los (ngulos)

BCF, FCD son tambin iguales a los (ngulos) ACD, DCB. Pero los (ngulos)
BCF, FCD son dos rectos; por tanto, los (ngulos) ABD, DCB son iguales tambin
iguales a dos rectos.
Por consiguiente, si una recta levantada sobre otra forma ngulos, formar o bien
dos rectos o bien (ngulos) iguales a dos rectos. Q. E. D.
PROPOSICIN 14
Si dos rectas forman una recta cualquiera y en un punto de ella ngulos
adyacentes iguales a dos rectos y no estn en el mismo lado (de ella), ambas
rectas estarn en lnea recta.

DEMOSTRACIN
As pues, sean dos rectas BA, AC que, con una recta cualquiera DA y en un punto
de ella B y sin estar colocadas en el mismo lado (de la recta DA), formen ngulos
adyacentes DAB, DBC iguales a dos rectos.
Digo que AC est en lnea recta con BA.
Pues si AC no est en lnea recta con BA, est AE en lnea recta con BA.
As pues, dado que la recta AB ha sido levantada sobre la recta BAE, entonces los
ngulos DAB, DAE son iguales a dos rectos [I, 13]; pero tambin los (ngulos)
BAD, DAE son iguales a los (ngulos) BAD, EAC [Post. 4 y N. C. 1]. Qutese de
ambos el (ngulo) comn BAD; luego el ngulo restante DAE es igual al ngulo
restante DAC [N. C. 3], el menor a mayor; lo cual es imposible. Por tanto, AE no

est en lnea recta con BA. Y de modo semejante demostraramos esto de
cualquier otra que no sea la recta AC. Por tanto, BA est en lnea recta con AC.
Por consiguiente, si dos rectas forman con una recta cualquiera y en un punto de
ella ngulos adyacentes iguales a dos rectos y no estn en el mismo lado (de ella),
ambas rectas estn en lnea recta. Q. E. D.
PROPOSICIN 15
Si dos rectas se cortan, hacen los ngulos del vrtice iguales entre s.

DEMOSTRACIN
As pues, crtense las dos rectas DC, AB en el punto E.
Digo que el ngulo CEB es igual al (ngulo) AED y el (ngulo) BED al (ngulo)
CEA.
Pues, dado que la recta CE ha sido levantada sobre la recta AB formando los
ngulos BEC, CEA, entonces los ngulos BEC, CEA son iguales a dos rectos [I,
13]. Dado que la recta AE ha sido levantada a su vez sobre la recta CD formando
los ngulos CEA, AED, entonces los ngulos CEA, AED son iguales a dos rectos.
Pero se ha demostrado que los (ngulos) CEA, ACD [Post. 4 y N. C. 1]. Qutese
de ambos CEA; entonces, el (ngulo) testante BEC es igual al (ngulo) restante
DEA [N. C. 3]; de manera semejante demostraramos que tambin los (ngulos)
BED, AEC son iguales.
Por consiguiente, si dos rectas se cortan, hacen los ngulos del vrtice iguales
entre s. Q. E. D.





PROPOSICIN 16
En todo tringulo, si se prolonga uno de sus lados, el ngulo externo es mayor que
cada uno de los ngulos internos y opuestos

DEMOSTRACIN
Sea ABC el tringulo y prolnguese uno de sus lados BC, hasta D.
Digo que el ngulo externo ACD es mayor que cada uno de los ngulos internos y
opuestos, CBA y BAC.
Crtese en dos partes iguales AC por el punto G y, tazada BG prolnguese hasta
H y hgase GH igual a BG [I, 3], y trcese CH [Post. 1], y prolnguese por el otro
lado AC hasta I [Post. 2].
As pues, como AG es igual a GC, y BG a GH, los dos (lados) AG, GB son iguales
respectivamente a los dos (lados) CG, GH; y el ngulo AGB es igual al ngulo
HGC; pues son opuestos por el vrtice; entonces, la base AB es igual a la base
HC y el tringulo ABG es igual al tringulo HGC, y los ngulos restantes, a saber:
los subtendidos por los lados-iguales son respectivamente iguales [I. 4], entonces

es igual el (ngulo) BAG al (ngulo) GCH [N. C. 5]; luego el ngulo ACD es mayor
que el ngulo BAG. As pues, de manera semejante, si se divide en dos la recta
BC, se demostrar tambin que el ngulo BCI, es decir el ngulo ACD [I, 15] es
mayor que el ngulo ABC.
Por consiguiente, en todo tringulo, si se prolonga uno de sus lados, el ngulo
externo es mayor que cada uno de los ngulos internos y opuestos. Q. E. D.
PROPOSICIN 17
En todo tringulo dos ngulos tomados juntos de cualquier manera son menores
que dos rectos.


DEMOSTRACIN
Sea ABC el tringulo.
Digo que son ngulos del tringulo ABC tomados juntos de cualquier manera son
menores que dos rectos.
Prolnguese BC hasta D [Post. 2]. Y puesto que el ngulo ACD es un ngulo
externo del tringulo ABC, es mayor que el interno y opuesto ABC [I. 16]. Adase
a ambos ACB; entonces los (ngulos) ACD, ACB son mayores que los (ngulos)

ABC, BCA. Pero los (ngulos) ACD, ACB son iguales a dos rectos [I. 13]; por los
tanto, los (ngulos) ABC, BCA son menores que dos rectos. Y de manera
semejante demostraramos que tambin los (ngulos) BAC, ACB son menores
que dos rectos as como los ngulos CBA, ABC.
Por consiguiente, en todo tringulo dos ngulos tomados juntos de cualquier
manera son menores que dos rectos. Q. E. D.
PROPOSICIN 18
En todo tringulo el lado mayor subtiende al ngulo mayor.

DEMOSTRACIN
Sea, pues, ABC el tringulo que tiene el lado AC mayor que AB.
Digo que el ngulo ABC es tambin mayor que el ngulo BCA.
Pues como AC es mayor que AB, hgase AD igual a AB [I. 3], y trcese BD.
Y puesto que ADB es un ngulo externo del tringulo BCD, es mayor que el
interno y opuesto DCB [I. 16]; pero el (ngulo) ADB es igual al (ngulo) ABD,
puesto que el lado AB es tambin igual a AD; por tanto, el (ngulo) ABD tambin
es mayor que el (ngulo) ADB; luego el (ngulo) ABC es mucho mayor que ACB.
Por consiguiente, en todo tringulo el lado mayor subtiende al ngulo mayor. Q. E.
D.










PROPOSICIN 19
En todo tringulo al ngulo mayor lo subtiende el lado mayor.

DEMOSTRACIN
Sea ABC el tringulo que tiene el ngulo mayor que el ngulo BCA.
Digo que al lado AC es tambin mayor que el lado AB.
Porque si no, o bien AC es igual a AB o menor; ahora bien, AC no es igual a AB;
pues entonces sera tambin igual el ngulo ABC al (ngulo) ACB [I. 5], pero no lo
es; por tanto, AC no es igual a AB. Ni tampoco AC es menor que AB; pues
entonces sera menor el ngulo ABC que el (ngulo) ACB [I. 18]; pero no lo es;
por tanto, AC no es menor que AB. Pero se ha demostrado que tampoco es igual.
Por tanto, AC es mayor que AB.
Por consiguiente, en todo tringulo al ngulo mayor lo subtiende el lado mayor. Q.
E. D.










PROPOSICIN 20
En todo tringulo dos lados tomados juntos de cualquier manera son mayores que
el restante.

DEMOSTRACIN
Sea, pues, ABC el tringulo.
Digo que dos lados del tringulo ABC tomados juntos de cualquier manera son
mayores que el restante, los lados BA, AC (mayores) que BC, los lados AB, BC
(mayores) que AC, y los lados BC, CA (mayores) que AB.
Prolnguese por el otro lado BA hasta el punto D, y hgase AD igual a CA y
trcese DC.
Entonces como DA es igual a AC, tambin el ngulo ADC es igual al (ngulo) ACD
[I. 5]; por tanto, el (ngulo) BCD es mayor que el (ngulo) ADC [N. C. 5]; y puesto

que DCB es un tringulo que tiene el ngulo BCD mayor que el ngulo BDC, y al
ngulo mayor lo subtiende el lado mayor [I. 19], entonces DB es mayor que BC.
Pero DA es igual a AC; por tanto, los (lados) BA, AC son mayores que BC; de
manera semejante demostraramos que los (lados) AB, BC son tambin mayores
que CA y los (lados) BC, CA (mayores) que AB.
Por consiguiente, en todo tringulo dos lados tomados juntos de cualquier manera
son mayores que el restante. Q. E. D