Geometrı́a I

El libro I de los Elementos de Euclides

Laura Hidalgo Solı́s

Universidad Autónoma Metropolitana - Iztapalapa

16 de mayo de 2016
Teorema (21)
Si dos rectas que parten de los extremos de uno de los lados de un
triángulo se juntan dentro de él, tales rectas son menores en total
que los dos restantes lados del triángulo, pero el ángulo que
comprenden será mayor.

Hipótesis: Sea el triángulo 4ABC , sean dos rectas BE y DC que

se juntan dentro, en D, partiendo de los extremos B, C de uno de
los lados, el BC .
Tesis: Los lados BD y DC son menores en total que los dos
restantes lados del triángulo, los BA y AC : en cambio comprenden
un ángulo, el ∠BDC mayor que el ángulo ∠BAC .
Teorema (22)
Construir un triángulo con tres rectas que son iguales a tres rectas
dadas. Pero es necesario que dos de las rectas tomadas juntas de
cualquier manera sean mayores que la restante.

Hipótesis: Sean a, b y c las tres rectas dadas, dos de las cuales

tomadas de vez, sean mayores que la restante: las a, b ,ayores que
la c; las a, c mayores que la b; las b, c mayores que la a.
Tesis: Hay que construir con rectas iguales a las a, b c un
triángulo.
Teorema (23)
Construir sobre un segmento dado y en un punto sobre él, un
ángulo rectilı́neo igual a un ángulo rectilı́neo dado.

Hipótesis: Sea AB la recta dada: A, un punto en ella, y sea

∠DCE el ángulo rectilı́neo dado.
Tesis: Construir sobre la recta dada, la AB, y en el punto A de
ella un ángulo rectilı́neo ∠DCE .
Teorema (24)
Si dos triángulos tienen iguales dos lados de uno respectivamente
iguales a dos del otro, mas de los ángulos comprendidos por las
rectas iguales es uno de ellos mayor que el otro, la base de uno
será mayor que la del otro.

Hipótesis: Sean 4ABC , 4DEF los dos triángulos que tienen los
lados AB, AC respectivamente iguales a los DE , DF ; o sea el AB
igual al DE y el AC igual al DF ; mas el ángulo en ∠A, mayor que
el ángulo en ∠D, esto es, el ∠BAC mayor que el ∠EDF
Tesis: La base BC es mayor que la base EF .
Teorema (25)
Si dos triángulos tienen dos lados de uno respectivamente iguales a
dos de los lados del otro, mas la base es mayor en uno que la del
otro, tendrán también el uno el ángulo comprendido por las rectas
iguales mayor que el del otro.

Hipótesis: Sean 4ABC , 4DEF los dos triángulos que tienen los
lados AB, AC respectivamente iguales a los DE , DF ; o sea el AB
igual al DE y el AC igual al DF ; mas la base BC sea mayor que la
EF .
Tesis: El ángulo ∠DAC es mayor que el ángulo ∠EDF .
Teorema (26, ALA)
Si dos triángulos tienen dos ángulos respectivamente iguales a dos
ángulos del otro, y uno lado de uno igual a un lado del otro, –el
que une los dos ángulos iguales o el opuesto a uno de los ángulos
iguales–, tendrán los demás lados de uno respectivamente iguales a
los demás del otro y el ángulo restante de uno será igual al
restante del otro.

Hipótesis: Sean 4ABC y 4DEF dos triángulos con ángulos

∠ABC = ∠DEF , ∠BCA = ∠EFD y que tengan también un lado
de uno igual a uno del otro, primeramente BC = EF .
Tesis: Afirmamos 4ABC = 4DEF .
Primer caso
 Segundo caso:

Hipótesis: Sean 4ABC y 4DEF dos triángulos con ángulos

∠ABC = ∠DEF , ∠BCA = ∠EFD y que tengan también un lado
de uno igual a uno del otro, con AB = DE .
Tesis: Afirmamos 4ABC = 4DEF .
Si BC 6= EF , podemos suponer BC > EF , sea T un punto tal que
BT = EF .
Entonces 4ABT 4DEF (T.I. 4).
En particuar AT = DF , ∠BTA = ∠EFD.
Ahora bien ∠EFD = ∠BCA, ası́ que el ángulo externo ∠BTA del
triángulo 4ATC será igual al ángulo ∠BCA, interno y opuesto, lo
cual es imposible. (T.I.16)
Por lo tanto BC = EF , análogamente AB = DE , en particular
4ABC = 4DEF . (T.I.4)
 Teorı́a de las paralelas

Teorema (27)
Si una recta al incidir sobre dos rectas hace los ángulos alternos
iguales entre sı́, las dos rectas serán paralelas entre sı́.

Hipótesis: Haga la recta EF , cayendo sobre las recta AB, CD

ángulos alternos iguales entre sı́, a saber, el ángulo ∠AEF igual al
ángulo ∠EFD.
Tesis: La recta AB es paralela a la recta CD.
La demostración se hará por contradicción.
Teorema (28)
Si una recta al incidir sobre dos rectas hace el ángulo externo igual
al interno y opuesto del mismo lado, o los dos internos del mismo
lado iguales a dos ángulos rectos, las rectas serán paralelas entre sı́.

Hipótesis: Hágase la recta EF incidente sobre las dos rectas AB y

CD,el ángulo externo ∠EGB igual al interno y opuesto ∠GHD, o
bien los ∠BGH, ∠GHD internos y del mismo lado sean iguales a
dos rectos.
Tesis: La recta AB es paralela con la CD.
Teorema (29)
Una recta que corta a otras dos rectas paralelas hace que los
ángulos alternos sean iguales, los ángulos externos iguales a los
interiores y opuestos, y la suma de los ángulos internos por el
mismo lado iguales a dos rectos.

Hipótesis: Sea EF la recta que cae sobre las dos paralelas AB y

CD.
Tesis: Los ángulos ∠AGH ∠GHD iguales y el ángulo externo
∠EGB igual al interno y opuesto ∠GHD y los internos del mismo
lado ∠BGH, ∠GHD igual a dos rectos.
Teorema (30)
Las rectas paralelas a una misma recta son paralelas entre sı́.

Hipótesis: Sea cada una de las rectas AB, CD paralela a la EF .

Tesis: La recta AB es paralela a la CD.