Teorema de angulos y sus medidas

Cristian Felipe Luengas

Universidad Sergio Arboleda

28 de marzo de 2020

Teorema A
←→ −−→
Si C ∈ S ↔ ,D , C ∈ S ↔ ,−B , yCB ∩ AD = [X], entonces X ∈ AD − [A]
AB AD

i. C ∈ S ↔ ,D . i. Dado
AB

ii. C ∈ S ↔ ,−B ii. Dado

AD

←→ iii. Dado
iii. CB ∩ AD = [X]
←→ iv. Por interestacia
iv. X ∈ CB y X ∈ AD
v. Definicion de segmento
v. C − X − B , porqueX 6= C, B?.
vi. Desigualdad,interestacia
vi. T enemos que o X = A o X − A − D o X ∈
−−→
AD − [A]D vii. definicion de segmento
vii. X=A viii. Teorema de colocacion de puntos
viii.C −A−B ix. contradice la definicion segmento
←→
ix. C ∈ AB
x. Definicion de rayo y de teorema puntos
x. X 6= A al lado

xi. X − A − D. xi. Teorema de la semirecta

xii. S ↔ ,−B xii. Teorema colocacion de puntos
AD

xiii. X ∈ S ↔ ,−B xiii. de

AD

−−→ xiv. Teorema de la semirecta

xiv. BC − [B] ⊆ S ↔ X
AB
xv. Teorema colocacion de puntos
−−→
xv. C ∈ BC − [B]
xvi. Por interestacia
xvi. C ∈ S↔X.
AB
xvii. Contradice la definicion de rayo y de
xvii. N o puede ser que X − A − D. teorema puntos al lado
−−→
xviii. X ∈ AD − [A] xviii. Conclucion

Teorema de la adiccion de la medida de angulos

Si C ∈ S ↔ ,D y m∠DAB = m∠DAC + m∠CAB, entonces C in int∠DAB.

AB

1
 i. C ∈ S ↔ ,D i. Dado
AB

ii. m∠DAB = m∠DACm∠CAB. ii. Dado

iii. Casos iii. Teorema de localizacion de puntos

−−→ a) Caso A
a) C ∈ AD
b) C ∈ S ↔ ,−B b) Caso B
AD

c) C ∈ int∠DAB c) Caso C
−−→ iv. Numeral A
iv. C ∈ AD
v. Postulado del transportador
v. m∠DAB = m∠CAB
vi. Postulado del transportador
vi. m∠DAC = 0
vii. Teorema de la medida
vii. m∠DAC > 0
−−→ viii. Contradice la interestacia y el Postulado de
viii. N o puede ser que C ∈ AD
la regla
ix. C ∈ S ↔ ,−B
AD ix. Numeral B
←→
x. CB ∩ AD = [x] x. Teorema de barra cruzada
←→
xi. X ∈ CB y X ∈ AD xi. Por interestancia

xii. C − X − B xii. Definicion de segmento

−−→
xiii. X ∈ AD − [A] xiii. Teorema de la semirecta y/o teorma A
xiv. X ∈ int∠CAB xiv. Teorema de localizacion de de puntos
−−→
xv. AD − [A] ⊆ int xv. Teorema de la semirecta en el interior de un
angulo
xvi. D ∈ int∠CAB
xvi. Teorema punto interior de un angulo externo
xvii. m∠CAB = m∠DAC + m∠DAB
xvii. Postulado del transportador
xviii. m∠DAC = 0
xviii. Postulado del transportador
xix. m∠DAC > 0
xix. Teorema de la medida
xx. N o puede ser que S ↔ ,−B
AD
xx. Contradice teorema de la semirecta
xxi. C ∈ int∠DAB
xxi. Numeral C y fin de la demostracion debido
a por el teorema de colocacion de
puntos brinda como unica opcion verdadera