Demostraciones

Algunas propiedades que usaremos...

Propiedades de la igualdad
1) a = a cualquiera sea a (Reflexiva)
3)
2) Si a = b
b,yentonces
b = c, entonces a = c (Transitiva)
b = a (Simétrica)

Asumimos además conocidas las propiedades

de la suma y el producto:
(a + b) + c = a +(b +c) ( Asociativa de +)
a+b=b+a (Conmutativa de +)
a + 0 = 0+a = a (Neutro de +)
Dado a hay un a´tal que a+a´= 0, a´= -a (Opuesto)
a.(b+c) = a.b+a.c
UNIMET- Prof. Bernardo González (Distributiva)
 Demostraciones

Un ejemplo...
DADO: a + b = a + c
PROBAR: b = c

1.Proposiciones
a+b=a+c Razones
1. Dado.

2. (-a)+(a + b) = (-a)+(a + c) 2. Sum. el op. de a

3. (-a+a) + b = (-a +a) + c 3. Asociativa de +
4. 0 + b = 0 + c 4. Def. de opuesto
5. b = c 5. Def de neutro.
UNIMET- Prof. Bernardo González
 Demostraciones

Otro ejemplo...
DADO: A-B-C, B-C-D, AB = CD
PROBAR: AC = BD
D
1.Proposiciones
AB = CD 1. Dado.
Razones
C
2. AC=AB+BC 2. B entre A y C
B
3. AC=CD+BC 3. Sust. 1 en 2
4. CD+BC=BC+CD 4. Conmutativa.
A
5. AC = BC+CD 5. Transit. 3 y 4
6. BC+CD =BD 6. C entre B y D
7. AC = BD 7. Trans. De 5 y 6
UNIMET- Prof. Bernardo González
 Demostraciones

Def. Si dos rayos AB y AC cumplen que C-A-B se llaman

rayos opuestos.
B
A
C

Def. Si dos ángulos con igual vértice se disponen de modo que los
lados de uno sean opuestos de los de otro, entonces los ángulos se
llaman opuestos por el vértice.
B
A
E

D C
∠BAC y ∠DAE son opuestos por el
∠BAE y ∠ CAD son opuestos por el vértice
UNIMET- Prof. Bernardo González vértice
 Demostraciones

Teorema 2.3 Los ángulos opuestos por el vértice son

xxxxxxxxxxxxxcongruentes.
Por comodidad de notación, denotamos los ∠ ´s con
números: ∠1 representa el ∠BAC.

B
A
E
2 1 C
D 3

¿Cuál es la HIPÓTESIS? ¿Cuál la TESIS?

UNIMET- Prof. Bernardo González
 Demostraciones

Teorema 2.3 Los ángulos opuestos por el vértice son

congruentes.
Comenzamos escribiendo nuestro enunciado en la
forma condicional: Si..., entonces...

Si dos ángulos son opuestos por el vértice,

entonces son congruentes.

¿Cuál es la HIPÓTESIS? ¿Cuál es la TESIS?

¿A cuáles ángulos nos referimos?

Interpretamos nuestro enunciado en relación a una figura.

UNIMET- Prof. Bernardo González
 Demostraciones

Identificamos dos ángulos opuestos por

C el vértice, por ejemplo ∠1 y ∠2.
B
¿Qué dice el enunciado referido a la figura?
1
Si ∠1 y ∠2 opuestos por el vértice,
entonces ∠1 ≅ ∠2 .
A Finalmente expresamos el enunciado así:
H) ∠1 y ∠2 opuestos por el vértice
E 2 D T) ∠1 ≅ ∠2
ó
DADO: ∠1 y ∠2 opuestos por el vértice
DEMOSTRAR: ∠1 ≅
∠2
UNIMET- Prof. Bernardo González
 Demostraciones
DADO: ∠1 y ∠2 opuestos por el vértice
DEMOSTRAR: ∠1 ≅ ∠2
C
B 1.Proposiciones
∠1 y ∠2 op. vér Razones
1. Dado.

1
2. AB y AD rayos op. 2. Def. de rayos op.
3. ∠BAD llano 3. Def. de
3 ∠llano.
A 4. m∠1+m∠3 = 180º 4. Post. 1.8 y 1.9
5. AE y AC rayos op. 5. Def. de rayos op.
2 6. m∠2+m∠3 = 180º 6. Post. 1.8 y 1.9
E D 7. m∠1+m∠3 = m∠2+m∠3 7. Igualac. 4 y 6
8. m∠1 = m∠2 8. Cancel. en 7.
UNIMET- Prof. Bernardo González 9. ∠1 ≅ ∠2 9. Def. de ≅ de ∠
 Demostraciones
DADO: ∠1 y ∠2 suplementarios
∠3 y ∠4 suplementarios, ∠2 ≅
PROBAR:∠ ∠41 ≅ ∠3
1 2 1. ∠1 y ∠2 suplementarios 1. Dado.
Proposiciones Razones

∠3 y ∠4 suplementarios
2. m∠1+m∠2 = 180º 2. Def. de
3
suplem.
m∠3+m∠4 = 180º
3. m∠1+m∠2 = m∠3+m∠4 3. Sustitución
4
4. ∠2 ≅ ∠4 4. Dado
5. m∠1+m∠2 = m∠3+m∠2 5. Sust. de 4 en
3
6. m∠1= m∠3 6. Cancel. de
+
7. ∠1 ≅ ∠3 7. Def. de ≅
UNIMET- Prof. Bernardo González
 Demostraciones.
Establece la demostración de la proposición:
“La bisectriz del ángulo interno de un triángulo
corta al lado opuesto”
1. Traducir a forma condicional
Si un ángulo interno de un triángulo tiene bisectriz,
entonces la bisectriz corta al lado opuesto al ángulo
C 2. Identificar hipótesis y tesis.
D
E
H: “un ángulo interno de un triángulo tiene bisectriz”

T: “la bisectriz corta al lado opuesto al ángulo”

A B
3. Traducir en diagrama.
UNIMET- Prof. Bernardo González
 Demostraciones.
Establece la demostración de la proposición:

“La bisectriz del ángulo interno de un triángulo

corta al lado opuesto”

3. Traducir en diagrama.
C
D
E
DADO: BD bisecta ∠ABC
DEMUESTRA: Existe E tal que BD ∩ AC = {E}
A B

UNIMET- Prof. Bernardo González