PR O P O S I C I Ó N 7 ,

LIB R O V I I

CAREN ARISMENDY
NICOLAS GUZMAN
STEVEN TOVAR
PROPOSICIÓN 7, VI

SI DOS TRIÁNGULOS
TIENEN UN ÁNGULO
DE UNO IGUAL A UN
ÁNGULO DE OTRO Y
TIENEN PROPORCIONALES LOS LADOS QUE
COMPRENDEN LOS OTROS ÁNGULOS Y
TIENEN LOS RESTANTES ÁNGULOS
PAREJAMENTE MENORES O NO MENORES
QUE UN RECTO, LOS TRIÁNGULOS SERÁN
EQUIÁNGULOS Y TENDRÁN IGUALES LOS
ÁNGULOS QUE COMPRENDEN LOS LADOS
PROPORCIONALES.
 PROPOSICIONES PREVIAS
NECESARIAS

PROPOSICIÓN 23, I. PROPOSICIÓN 5, I.

Construir un En los triángulos isósceles,

ángulo rectilíneo los ángulos en la base son
igual a un ángulo iguales entre sí y, si las
rectilíneo dado en líneas rectas iguales se
una línea recta producen más, entonces
dada y en un los ángulos debajo de la
punto de ella. base son iguales entre sí.
 PROPOSICIONES PREVIAS
NECESARIAS

PROPOSICIÓN 32, I.

En cualquier triángulo, si se produce uno de los

lados, entonces el ángulo exterior es igual a la
suma de los dos ángulos interiores y opuestos, y
la suma de los tres ángulos interiores del
triángulo es igual a dos ángulos rectos.
 PROPOSICIONES PREVIAS
NECESARIAS

PROPOSICIÓN 13, I. PROPOSICIÓN 17, I.

Si una línea recta
está sobre una línea En cualquier
recta, entonces triángulo, la suma de
forma dos ángulos dos ángulos
rectos o ángulos cualesquiera es
cuya suma es igual menor que dos
a dos ángulos ángulos rectos.
rectos.
 PROPOSICIONES PREVIAS
NECESARIAS
PROPOSICIÓN 9, V.
PROPOSICIÓN 11, V.
Las magnitudes que
guardan con una misma
magnitud la misma Las razones que son
razón son iguales entre iguales a una misma
sí; y aquellas con las que razón son también
una misma magnitud iguales entre sí.
guarda la misma razón,
son iguales.
 ∡BAC = ∡USA_1

Sean ABC y DEF dos triángulos

que tienen un ángulo igual a un
ángulo.
El ángulo BAC es igual al
ángulo USA_1

AB es a BC como SU es a UA_1

AB: BC :: SU: UA_1

1R es un
ángulo recto
∡ACB = ∡SA_1U

∡CBA = ∡A_1US

Sean ABC y DEF dos triángulos

equiángulos, ya que tienen otro
ángulo igual a un ángulo.
El ángulo CBA es igual al
ángulo A_1US

y los restantes iguales, esto es,

∡ACB = ∡SA_1U
SUPONGAMOS POR REDUCCIÓN AL
ABSURDO

Es un tipo de argumento muy empleado en demostraciones

matemáticas. Consiste en demostrar que una proposición
matemática es verdadera, probando que si no lo fuera
conduciría a una contradicción, por lo cual sería
verdadera.
SUPONGAMOS POR REDUCCIÓN
AL ABSURDO QUE

∡ACB ≠ ∡SA_1U

Entonces,
∡CBA > ∡A_1US
ó
∡CBA < ∡A_1US
 ∡G_1BA =
∡A_1US

Por I, 23 constrúyase en el
extremo B del segmento AB
el ángulo G_1BA igual a
A_1US

Es decir,
∡G_1BA = ∡A_1US
Por tanto, por V, 11 podemos
afirmar que:
AB es a BG_1 como SU es a
UA_1

Es decir,
AB: BG_1 :: SU: UA_1
Por V, 11 podemos afirmar
que BG_1 es igual a BC

Entonces AB guarda la misma

razón con cada una de las rectas
BC, BG_1
Por V, 11 podemos afirmar
que BG_1 es igual a BC

Entonces AB guarda la misma

razón con cada una de las rectas
BC, BG_1
Entonces, por hipótesis podemos
decir que, el ángulo BG_1C es
mayor que un ángulo recto.
Entonces ∡BG_1C < 1R
Es decir,
∡BG_1C < ∡90°
Lo que implicaría que su
ángulo adyacente AG_1B es
menor que 1R
Entonces ∡AG_1B >1R
Es decir,
∡AG_1B > ∡90°
Por tanto, ∡CBA =
∡A_1US y, en
consecuencia, ▲ABC y
▲SUA_1 son equiángulos.
Por tanto, ∡CBA =
∡A_1US y, en
consecuencia, ▲ABC y
▲SUA_1 son equiángulos.
 EN CONCLUSIÓN,

Si dos triángulos tienen un ángulo de

uno igual a un ángulo de otro y tienen
proporcionales los lados que
comprenden los otros ángulos y tienen
los restantes ángulos parejamente
menores o no menores que un recto, los
triángulos serán equiángulos y tendrán
iguales los ángulos que comprenden los
lados proporcionales.