DEMOSTRACIN Y

PRUEBA
Tipos de demostraciones

Demostracin
Qu es una demostracin? qu significa demostrar?
Demostrar: (Del lat. demonstrre).
1.tr. Manifestar, declarar.

2.tr. Probar, sirvindose de cualquier gnero de demostracin.

3.tr.Fil. Mostrar, hacer ver que una verdad particular est
comprendida en otra universal, de la que se tiene entera certeza.

Probar: (Del lat. probre)

Justificar, manifestar y hacer patente la certeza de un hecho o la verdad de
algo con razones, instrumentos o testigos

Demostracin
Qu se puede demostrar? Cules de estas afirmaciones
puedes demostrar? Hazlo
Hoy hace un da bonito
Si corro mucho llego antes
Existe un nmero que es el ms grande de todos
Si llueve, la calle se moja
X es el ms alto de la clase
1+1= 2

Se trata en general de demostrar que

si se verifica A entonces se verifica B.

Elementos de una demostracin

Premisas: Aquello que se presupone cierto antes de

abordar la demostracin (conocimientos previos)

Proposicin (o tesis): Es el conocimiento que se trata de

demostrar
Fundamentos: Es el conocimiento usado para demostrar

la veracidad de la proposicin
Procedimiento: Es la va de razonamiento usada para

demostrar la veracidad de la proposicin

Tipos de demostraciones
1.
2.
3.
4.
5.
6.
7.

Demostracin hacia delante (directa)

Demostracin marcha atrs (indirecta)
Demostracin por contraposicin
Demostracin por reduccin al absurdo
Demostracin por induccin
Demostracin por distincin de casos
Demostracin por contraejemplo

1. Demostracin hacia delante (directa)

Examina los elementos de la situacin A, a fondo, con

un ojo puesto en la situacin B.
Mira los elementos que figuran en A y las cosas que de ellos
puedes deducir, para tratar de entresacar las que tienen que ver
con los elementos que han surgido de tu exploracin de B

Este examen tal vez te lleve directamente a deducir la

verdad de la situacin B que es lo que estabas
buscando,
pero lo ms probable, es que de A sepas cmo concluir unas
cuantas cosas, C, D, E, y que tal vez de alguna de ellas, por
ejemplo D, sepas deducir V que te parece que te lleva ms cerca de
B,

Procediendo as posiblemente llegas finalmente a B.

1. Demostracin hacia delante (directa)

Ejemplo 1:
Demuestra que si n es impar, tambin su cuadrado es impar.
Toma un entero impar n arbitrario:
n = 2k + 1, para algn entero k (axioma)
Entonces, n2=(2k+1)2=4k2+4k+1 = 2(2k2 + 2k) + 1 (inferencia)
par
Luego, n2 es impar (como se quera demostrar)
Ejemplo 2:
Demostrar que para cualquier nmero natural n es cierto que n5 - n
es mltiplo de 10.

2. Demostracin marcha atrs (indirecta)

Ponemos nuestra atencin primeramente en B (afirmacin a

la que queremos llegar).

Con un ojo puesto en A, vamos tratando de buscar

situaciones intermedias, E, F, G, de las que B se podra
deducir

Vamos mirando ahora si alguna de estas podra estar

relacionada con la situacin A (se podra deducir A de ellas).

Cuando la encontramos, nos cercioramos de que el camino

inverso al que hemos encontrado, ahora de A a B, es
correcto.

Esto es..
Transformamos B y llegamos a algo fcil de probar usando A o
que ya sabemos que es cierto. Luego probamos eso intermedio.

2. Demostracin marcha atrs (indirecta)

Ejemplo 3:
Demostrar que si a y b son impares positivos, ab es impar

Ejemplo 4:
Demostrar que si e son nmeros reales
se cumple que:
+

2

positivos,

3. Demostracin por contraposicin

(demostracin supongamos que no)
Queremos demostrar que A implica B.

Esto es equivalente a demostrar que

Si no se cumple B, no se cumple A

(B A)
Qu lgica hay detrs de esta forma de trabajar?
Si llueve (A) la calle se moja (B)
Si la calle no est mojada (B)

3. Demostracin por contraposicin

(demostracin supongamos que no)

Ejemplo 5:
Si el cubo de un nmero es par, el nmero es par

Ejemplo 6:
Si en un cuadriltero no hay ningn ngulo obtuso, es decir,
de ms de 90, entonces dicho cuadriltero es un rectngulo.

4. Demostracin por reduccin al absurdo

Queremos demostrar que A implica B.
Para ello,

Suponemos que suceden a la vez A y el contrario de B.

Tratamos de ver que esta situacin nos lleva a una

contradiccin.

Una vez encontrada, ya est demostrado pues A es

cierto por ser la hiptesis as que debe ser falso el
contrario de B (por tanto, B es cierto).

4. Demostracin por reduccin al absurdo

Ejemplo 7:
Raz de dos es un nmero irracional
Demostrar que no existen dos enteros y , con mcd (,)=1, tal que

raz de dos se exprese como .

Ejemplo 8:
Si m y n son enteros tales que n+n2+n3=m+m2, entonces n es par

5. Demostracin por induccin

5.1. Induccin dbil
Qu significa demostrar por induccin dbil?
Demuestro que la proposicin (P) que voy a demostrar
vale para el primer elemento.
P(1) cierta
Demuestro que si vale para un elemento cualquiera, vale

para el siguiente.
Supongo P(k) cierta y demuestro que P(k+1) cierta
Ya est demostrado.

Ejercicio:
Explicad con vuestras propias palabras esta forma de
demostrar

5. Demostracin por induccin

5.1. Induccin dbil
Ejemplo 9:

Demostrar que, para cualquier nmero natural, la suma de

los primeros nmeros vale:
+1
2

Ejemplo 10:
Demostrar por induccin que la suma de las diagonales de
un polgono cualquiera de lados es:
3
2

5. Demostracin por induccin

5.2. Induccin fuerte

Demuestro que para el primer elemento la proposicin

se cumple.
P(1) cierta

Supongo que se cumple en todos los elementos

anteriores, demuestro que se cumple para el siguiente.

Supongo P(1), P(2), , P(k) ciertas y demuestro que P(k+1) cierta

Ya est demostrado
P(n) cierta para cualquier n natural

5. Demostracin por induccin

5.2. Induccin fuerte
Ejemplo 11:
Demostrar que para cualquier nmero natural n distinto de
1, se verifica que n es primo, o se puede representar como
producto de nmeros primos (Teorema Fundamental de la
Aritmtica)

6. Demostracin por distincin de 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.
Se trata de demostrar que para todos los posibles casos
que pueden tener los elementos que se tienen en cuenta,
se cumple la propiedad.

El ejemplo 2 nos vale para verlo.

6. Demostracin por distincin de casos

Ejemplo 12:
Demostrar que la suma de dos nmeros naturales ser impar
slo en el caso en que ambos nmeros tengan una paridad
distinta.
Ejemplo 13:
Demostrar que n(n+1)(n+2) es siempre mltiplo de 6.

Ejemplo 14:
Demostrar que si a y b son dos nmeros reales, entonces
|a+b||a|+|b|

7. Demostracin por contraejemplo

Se trata de encontrar un ejemplo que contradice la tesis
que se quiere refutar.
Para demostrar que una cierta proposicin no es cierta,
por ejemplo todos los espaoles son morenos, lo ms
fcil es poner un ejemplo de lo contrario (contraejemplo),
es decir, presentar un espaol rubio.

7. Demostracin por contraejemplo

Ejemplo 15:
Demostrar que dos figuras formadas por el tangram con el
mismo rea, tienen tambin el mismo permetro.
Ejemplo 16:
Demostrar que es falso que cada nmero natural impar es
suma de los cuadrados de dos nmeros naturales.
Ejemplo 17:
Es cierto que si n es un nmero natural cualquiera,
entonces (3n)!+1 es siempre un nmero primo? Demuestra
si es cierto o no.

Demostraciones falsas
Una demostracin es falsa cuando la verdad que pretende
demostrar no ha sido probada.
Motivos:
Premisas incorrectas
Premisas incoherentes
Razonamiento incorrecto
Error en el razonamiento

Demostraciones falsas
1.

Demostrar que

es igual a

Es esta demostracin correcta? Fijaos no solo en el contenido

sino en los pasos dados.
La afirmacin es correcta pero la demostracin no
(razonamiento incorrecto).
Se pueden cancelar factores comunes al numerador y
denominador pero no cifras comunes.

Demostraciones falsas
2.

Demostrar que 0=1.

(n+1) 2 = n 2 +2n+1
(n+1) 2 - (2n+1) = n 2

(n+1) 2 - (2n+1)-n(2n+1) = n 2 -n(2n+1)

(n+1) 2 - (n+1)(2n+1) = n 2 -n(2n+1)
(n+1) 2 (n+1) (n+1)
n+1 = n

1=0

(n+1)(2n+1) +

(2n+1)

2n+1
2n+1
= n2
2
2n+1
2n+1
=n
2
2

n2

- n(2n+1) +

(2n+1)
4

a2 = b2 => a=b , es cierto si a y b tienen el mismo

signo.
En este caso no es as. Por ejemplo, para n=1 las
bases de los cuadrados tienen distinto signo
(una es -0,5 y la otra 0,5). Por tanto, no se
pueden quitar los cuadrados.

Demostraciones falsas
3.

Demostracin de que 2=1

a=b
a2 = ab

a2 b2 = ab b2
(a-b)(a+b)=b(a-b)
a+b=b
b+b=b
2b=b
2=1.
Hay error? Dnde?

Al quitar (a b) lo que estamos haciendo es

dividir ambos miembros por (a b). Pero en este
caso no se puede porque (a b)=0 y no se puede
dividir por cero

Demostraciones falsas
4.

Demostracin de que 1=-1

1=

1 1

1= 1 1
1=i*i

1=i2
1=-1
Hay error?

1 = 1
En este caso hay que tomar -1

Los elementos ms usados del

lenguaje matemtico

< >
Existe ( no existe)
! Existe slo uno
Para todo
# Absurdo, contradiccin
/ Tal que, de forma que
t.q. Tal que
Unin
Interseccin
Incluido ( : no incluido)
Incluido o coincide
Pertenece ( no pertenece)

Los elementos ms usados del

lenguaje matemtico
o
y
P Q (P implica Q)

Si se verifica P entonces se verifica Q

Q es condicin necesaria para que se cumpla P
P Q (P es equivalente a Q)

P se verifica si y slo si se verifica Q

Q es condicin necesaria y suficiente para que se cumpla P
i.e. Idnticamente, equivalentemente
Conjunto vaco