n

Facultad de Educacio

Escuela de Pedagoga en Matematica y Estadstica

tica
Asignatura: Fundamentos de la Matema

Secuencia Did
actica III: M
etodos de demostraci
on.
Introducci
on
Definici
on 1
Un teorema, en matematica, es una proposicion verdadera que entrega un conocimiento
relevante para una determinada teora y cuya verdad debe ser demostrada.
Toda sentencia o enunciado puede plantearse como un teorema. Un teorema, generalmente, es
el resultado del planteamiento de un problema, que normalmente tiene la siguiente estructura:
(p1 p2 pn ) q
Tal como se establece p1 , p2 , . . . , pn son hipotesis (o supuestos) que se derivan del mismo problema y se consideran como verdaderas y q es la tesis.
Los siguientes son ejemplos de teoremas:
1. Si dos lados de una triangulo son congruentes, entonces los angulos opuestos a estos lados
son congruentes.
2. Si m y n son dos n
umeros enteros cualesquiera y
a = m2 n2
b = 2mn
c = m2 + n2
entonces a2 + b2 = c2 .

3. Si 0 > 1, entonces 2 es un n
umero racional.
4. Sean a y b n
umeros reales. Las siguientes sentencias son equivalentes:
a<b
a+b
>a
2
a+b
<b
2
5. Si n es un entero impar, entonces n2 es un entero impar.

1 de 6

Actividades

. Actividad

Demuestre, por el metodo directo, el siguiente teorema:

Si n es un entero impar, entonces n2 es un entero impar.
Dem:

. Actividad

Demuestre, por el metodo indirecto (por el contrarecproco), el siguiente teorema:

Si 5n + 4 es un entero par, entonces n es un entero par.
Dem:

2 de 6

. Actividad

Demuestre, por contradiccion, el siguiente teorema:

2 es un n
umero irracional.
Dem:

3 de 6

. Actividad

Demuestre, el siguiente teorema (demostracion de una equivalencia):

Sean a y b n
umeros reales. Las siguientes sentencias son equivalentes:
a<b
a+b
>a
2
a+b
<b
2
Dem:

4 de 6

. Actividad

Demuestre el siguiente teorema (soluciones de una ecuacion cuadratica): Sea la ecuacion

ax2 + bx + c = 0, donde a, b, c R y a 6= 0, entonces

b b2 4ac
, i = 1, 2
xi =
2a
son soluciones de la ecuacion dada.
Dem:

5 de 6

Resumen
Definiciones y Propiedades
Un teorema es una sentencia matematica que debe ser demostrada como verdadera.
Un axioma o postulado es una suposicion aceptada sin demostracion.
Una demostraci
on es una sucesion de sentencias que forman un argumento que muestra que un teorema de verdadero. Las premisas del argumento son axiomas y teoremas
previamente demostrados.
Un lema es una teorema breve usado en la demostracion de otro teorema.
Un corolario es un teorema que sigue directamente de otro teorema.
Una conjetura es una sentencia matematica cuyo valor de verdad todava es desconocido.
Cuando se demuestra (si este de hecho es verdadera), resulta en un teorema.
Una falacia es una razonamiento incorrecto.
Metodos de demostracion:
Tipo de demostracion
Demostracion directa

Proposicion a demostrar
p q

Demostracion indirecta
(por contrarecproco)
Demostracion por contradiccion

q p

Demostracion por casos

Demostracion de una equivalencia

(p1 p2 pk )
C
p q

Demostracion vacua

p q

Demostracion trivial

p q

6 de 6

Estrategia
Suponga que p es V
y muestre que se deduce q.
Suponga que q es V
y demuestre que se deduce p
Suponga que p es V,
y demuestre que se deduce
una contradiccion
demuestre p1 C,
p1 C, . . . , pk C
pruebe p q
y q p
pruebe que p es F
(luego p q es V)
pruebe que q es V