UNIDAD 2.

Actividad 1. Caractersticas de los mtodos de demostracin.

A travs de esta actividad podrs diferenciar las caractersticas entre cada uno de los mtodos
de demostracin, adems de argumentar en qu casos se utiliza uno u otro.
Instrucciones:
1. De acuerdo a lo visto en los temas anteriores de la unidad, investiga que caractersticas tiene
cada uno de los mtodos de demostracin, presenta un ejemplo de demostracin de cada uno
de ellos y argumenta las razones por las cuales se desarrolla la demostracin por ese mtodo.
2. Ingresa al foro y anota los ejemplos de demostracin de cada mtodo y el argumento por el
cual lo demostraste con ese mtodo.
3. Revisa las respuestas de dos de tus compaeros aceptando o rechazando su respuesta.
Mtodo progresivoregresivo.
Es un mtodo de demostracin cuya caracterstica fundamental es que se puede partir de las
hiptesis y llegar directamente a la conclusin, por esta razn se le llama progresivo, o bien,
puede partir de la conclusin y llegar a la hiptesis, por esa razn se le llama regresivo.
Tambin, puede partirse de la hiptesis y llegar a una conclusin secundaria que se deduce de
la conclusin principal, de forma que al ser verdadera la conclusin secundaria, se deduce que
es verdadera la conclusin final y por esta razn se le llama mtodo progresivoregresivo.
Ejemplo:
El rea de un tringulo rectngulo es 15x2 + 30x. Cul es la medida de sus catetos?
De manera regresiva:
Separamos los datos; hiptesis (H) y conclusin (C).
H: rea de un tringulo rectngulo.
C: El rea es 15x2 + 30x.
Se parte de la conclusin, es decir, iniciamos de manera regresiva.
Se sabe que el rea es 15x 2 + 30x, por hiptesis se conoce que se trata del rea de un tringulo
rectngulo, por lo tanto el rea se obtuvo de la frmula b x h / 2.
De manera progresiva:
H: rea de un tringulo rectngulo.
El rea de todo tringulo se obtiene con la frmula b x h / 2, por lo tanto multiplicamos por dos
el rea del tringulo rectngulo en mencin, resultando 30x 2 + 60x. Considerando que esa sera
el rea de un rectngulo, para encontrar la medida de largo y de alto, se procede a factorizar:
30x2 + 60x
x(30x + 60)
Si el rea de un rectngulo se obtiene multiplicando la base por la altura, entonces x puede
representar la base y 30x + 60 la altura, llegando a la conclusin que un cateto del tringulo
rectngulo mide x y el otro 30x + 60.
Mtodo de demostracin directa.
Se utiliza cuando tenemos un enunciado que consta de un conjunto de hiptesis que se
consideran verdaderas y un conjunto de conclusiones cuyo valor de verdad debe ser
demostrado, este mtodo consiste, en utilizar las hiptesis para avanzar progresivamente en la
demostracin del enunciado, alcanzando la conclusin, ya sea para demostrarla o para
encontrarla. Se le llama mtodo de demostracin directa, porque utiliza directamente la

hiptesis para demostrar la conclusin, en otras palabras, es un mtodo que no se desva

analizando negaciones de alguna proposicin o de la conclusin.
Ejemplo:
El producto de dos nmeros pares es par.
Tenemos:
Hiptesis: Dos nmeros son pares.
Tesis o conclusin: Su producto es par.
Simbolizando:
a + b son pares.
Estableciendo equivalencias:
a = 2x b = 2y En el entendido cualquier nmero multiplicado por dos es par.
Operando:
(a)(b) = (2x)(2y)
Lo que es igual a:
4xy
Factorizando:
4xy = 2(2xy)
Entonces:
(a)(b) es igual a 2 por 2xy, comprobando as el enunciado.
Mtodo por reduccin al absurdo.
Supone que la proposicin que queremos demostrar, es decir la conclusin, es falsa. Para ello
se usan deducciones matemticas para llegar a una contradiccin o algo absurdo, lo que
implica que la proposicin de la que partimos es cierta.
Ejemplo:
Si el producto de dos nmeros enteros es par, entonces por lo menos uno de ellos es par.
Simbolizando:
xy = 2(k)
Negando la tesis o conclusin:
x no es par (x = 2a + 1)
y no es par (y = 2b + 1)
Estableciendo equivalencias:
xy = (2a + 1) (2b + 1)
Operando:
xy = (4ab + 2a + 2b + 1)
Factorizando (factor comn 2)
xy = 2(2ab + a + b) + 1
Entonces:
xy es impar
Si esta tesis es una contradiccin de la original, estonces esta ltima es verdadera.
Mtodo por induccin matemtica.
La induccin matemtica es un mtodo de demostracin que suele ser muy til en problemas
en los que se trata de probar que todos los nmeros naturales (1, 2, 3...) cumplen una cierta
propiedad: consta de dos pasos:
Primero, se demuestra que el 1 cumple la propiedad.
A continuacin, se supone que la propiedad es verdadera para un cierto nmero n
(arbitrario) y se demuestra para el nmero siguiente, el n+1.
Si se consigue, esto demuestra la propiedad que queramos para todos los nmeros naturales.

Ejemplo:
Demostrar que para todo n perteneciente a los naturales, se cumple que: n(n+1) es par.
Sustituyendo a n por 1:
1(1+1) = 2
El 2 es par.
Sustituyendo a n por k:
k(k+1) es par.
Sustituyendo a n por k+1:
(k+1)((k+1)+1) es par.
Operando:
(k+1)(k+2)
k+1 par o k+1 impar.
Suponiendo que es par: (k+1)(k+2) es par.
Suponiendo que k+1, entonces (k+2) es par y (k+1)(k+2) tambin es par.
Mtodo por contraejemplo.
Este mtodo se utiliza para demostrar que un argumento que pensemos que no es vlido
realmente no es vlido. Es decir, no se utiliza para demostrar la validez si no que para
demostrar la falsedad.
Ejemplo:
Todos los nmeros impares entre el 2 y el 10 son primos.
Las dos condiciones son:
Ser nmeros primos, lo que implica que deben tener 2 divisores, el 1 y s mismo.
Ser impares entre el 2 y el 10, es decir 3, 5, 7 y 9.
Analizando:
Divisores de 3: 1 y 3
Divisores de 5: 1 y 5
Divisores de 7: 1 y 7
Divisores de 9: 1, 3 y 9
Por lo tanto el enunciado: todos los nmeros impares entre el 2 y el 10 son primos, es falso.
Mtodo de demostracin por casos
En muchas ocasiones la situacin que propone una demostracin es tal que se puede clasificar
en un nmero finito de casos posibles, o bien en un conjunto infinito de clases de casos y cada
uno de ellos se puede tratar mediante algn truco diferente para obtener la conclusin a la que
queremos llegar.
Por ejemplo:
La ltima cifra del cuadrado de un nmero natural es: 0, 1, 4, 5, 6 o 9
Analizando:
Todos los nmeros naturales tienen terminacin de: 0, 1, 2, 3, 4, 5, 6, 7, 8 y 9
Por lo tanto, dividiendo en impares y pares:
Impares: 1, 3, 5, 7, 9
Pares: 0, 2, 4, 6, 8
Elevndolos al cuadrado:
12 = 1, 32 = 9, 52 = 25, 72 = 49, 92 = 81
02 = 0, 22 = 4, 42 = 16, 62 = 36, 82 = 64
Concluyendo:
El enunciado: todos los nmeros naturales tienen terminacin de: 0, 1, 2, 3, 4, 5, 6, 7, 8 y 9, es
vlida.