Vous êtes sur la page 1sur 7

Demostracin Directa

En la prueba directa, la conclusin se establece al combinar lgicamente los axiomas, definiciones,


y teoremas previos aceptados como vlidos por la comunidad matemtica.
Ejemplo
El entero n es par si existe un entero k tal que n = 2k y es impar si existe un entero k tal que n = 2k +1

Ejemplo.
Demostrar que si n es un entero impar, entonces n
2
es un entero impar.
p: n es impar. (Hiptesis)
q: n
2
es impar. (Tesis)

Se demuestra p -> q, se parte de que p verdadero y se termina demostrando que q es verdadero.
Si n es impar entonces, n = 2k+1, donde k es un entero.
Se sigue que
n2
= (2k + 1)
2
= 4k
2
+ 4k + 1 = 2 (k
2
+ k) +1
Por tanto como n
2
es de la forma 2t + 1 entones n
2
es impar.

Induccin Matemtica
Una proposicin p(n) es verdadera para todos los valores de la variable n si se cumplen las
siguientes condiciones:
Paso 1.- La proposicin p(n) es verdadera para n = 1, o bien, p (1) es verdadera.
Paso 2.- Hiptesis de Induccin. Se supone que p (k) es verdadera, donde k es un nmero natural
cualesquiera.
Paso 3.- Tesis de Induccin. Se demuestra que p (k + 1) es verdadera, o bien, p (k) verdadera ) p(k
+ 1) verdadera:
La tcnica de Induccin Matemtica consiste en los tres pasos anteriores. Si se necesita demostrar
la validez de una proposicin p(n) para todos los valores naturales n, entonces es suficiente que se
cumplan: Paso 1, Paso 2 y Paso 3. Comentario: Intuitivamente la idea anterior se conoce con el
nombre de Efecto Domino". Si imaginamos una fila infinita de fichas de domin: dispuestas
verticalmente y suficientemente prximas una cualquiera de la siguiente, entonces si el
volteamiento de la primera ficha provoca el volteamiento de la segunda ficha, por el
Principio de Induccin Matemtica la fila completa es volteada.
Determine para que valores de n N es verdadera la desigualdad 2
n
> n
2
+ 4n + 5
Al examinar los valores de n = 1, 2, 3, 4, 5, 6 nos damos cuenta que la desigualdad es incorrecta,
pero si es verdadera para n = 7, por lo que podemos intentar demostrar por el mtodo de Induccin
Incompleta que para todos los valores de n 7, la desigualdad es verdadera.
Paso 1.- Si n = 7, obtenemos 2
7
= 128 > 7
2
+ 4 7 + 5 = 82 o sea, cuando n = 7 la desigualdad es
correcta.
Paso 2.- (Hiptesis Inductiva) Se supone que la desigualdad es verdadera para un cierto valor de
n = k, o sea, 2
k
> k
2
+ 4k + 5.
Paso 3.- Finalmente a partir de la hiptesis inductiva, se desea probar la Tesis dada por
2
(k+1)
> (k + 1)
2
+ 4(k + 1) + 5.
Al multiplicar la desigualdad dada en la hiptesis inductiva por 2, obtenemos
2
(k+1)
> 2k
2
+ 8k + 10
Transformando el segundo miembro de esta desigualdad obtenemos
2
(k+1)
> (k + 1)
2
+ 4(k + 1) + 5 + k
2
+ 2k
Teniendo en cuenta que k
2
+ 2k > 0 para todo k 7, podemos deducir que
2
(k+1)
> (k + 1)
2
+ 4(k + 1) + 5, obteniendo lo que se requera demostrar (Tesis).
Contraposicin o Contrareciproco
Se llama contrarrecproco a una ley lgica, formalizada en los silogismos por Aristteles, que
consiste en el bicondicional entre una implicacin y la negacin del antecedente y consecuente de
la misma implicacin.
Esta ley lgica puede utilizarse como regla de derivacin en la lnea de premisas. Formalmente,
puede definirse como la frmula lgica .
Si tenemos que demostrar que una proposicin p implica una proposicin q (es decir, si se da p, se
tiene que dar q), a veces es ms sencillo demostrar que si no se da q, entonces no puede
cumplirse p. Esto se conoce como demostracin por contrarrecproco o contraposicin.
Ntese que "p implica q" y "no q implica no p" son proposiciones equivalentes
Ejemplo
Todos los nmeros primos mayores que 2 son impares.
Aqu, la proposicin p es "n es un nmero primo mayor que 2" y la proposicin q es "n es un
nmero impar". Demostrar que todo nmero primo mayor que 2 es impar (p -> q) es lo mismo
que demostrar que no existe un nmero par que sea nmero primo mayor que 2, o
equivalentemente, que el nico nmero primo par es 2 (no q -> no p).
Esto es ms fcil de demostrar, ya que todo nmero par se puede escribir como
n = 2 k, k >= 1 (la idea de nmero primo tiene sentido slo en los nmeros naturales).
Si k = 1, tenemos n = 2, nmero primo.
Si k > 1, entonces n es mayor que 2, pero no es primo ya que tiene algn factor que no es ni 1
As que 2 es el nico nmero primo par.
Por lo que se ha demostrado que todos los nmeros primos mayores que 2 son impares.









Reduccin al absurdo

Se atribuye al filsofo griego Zenn de Elea, alrededor del siglo V a.C., la invencin del mtodo de
reduccin al absurdo que utilizaba en sus argumentos y en sus famosas paradojas, desde
entonces es un mtodo ampliamente aplicado en matemticas.

El procedimiento general para demostrar indirectamente por reduccin al absurdo una proposicin
de la forma (H1 H2 Hn ) Q consiste en:

1) Negar la conclusin Q utilizando las leyes de la lgica, la negacin de Q es denota por Q que
se lee no Q.
2) El conjunto de hiptesis ahora es de la forma H1 H2 Hn Q, es decir que Q se
aade como una hiptesis
3) Del conjunto de hiptesis enunciadas en 2) obtener una contradiccin evidente, una
contradiccin es una proposicin que siempre es falsa y es denotada por C, en forma simblica:
H1 H2 Hn Q C, es decir que el conjunto de hiptesis
{H1, H2, ,Hn,Q} es inconsistente o contradictorio.
4) entonces Q es verdadera por la obtencin de una contradiccin al suponer verdadera la
negacin de Q

Demuestre que para todo entero n, si n2 es par entonces n es par
Demostracin:

Seleccionando un entero arbitrario n e identificando hiptesis y conclusin se tiene:

Hiptesis H1: n
2
es par Conclusin: Q: n es par
Negacin de la conclusin Q: n es impar
Ahora, el conjunto de hiptesis es H1 y Q: n
2
es par y n es impar

Cmo se inicia la secuencia de la demostracin?
La respuesta no es nica como veremos en esta demostracin pero una gua general es la
generacin de una contradiccin. Para tal fin, consideremos la suma de n
2
y n en el siguiente
proceso lgico deductivo:

Proposicin Razn
1) n
2
es par hiptesis
2) n es impar hiptesis
3) n
2
+n es impar la suma de un par e impar es impar
4) n
2
+n=n(n+1) distributiva
5) n+1 es par por proposicin 2)
6) n(n+1) es par por proposicin 5)
7) n
2
+n es par por proposiciones 4) y 6)
8) n
2
+n es impar y n
2
+n es par por proposiciones 3) y 7)

Se ha obtenido una evidente contradiccin en la proposicin 8) por lo tanto la negacin de Q no es
verdadera: n es impar y se acepta la veracidad de Q: n es par. Queda formalmente demostrada la
proposicin.








Demostracin por Contradiccin

La demostracin de un teorema diremos que es por contradiccin cuando suponiendo que la
conclusin, Q, es falsa y utilizando la hiptesis P, y otros teoremas y equivalencias lgicas
establecidas previamente, se llega a una contradiccin.

Est basada en la equivalencia lgica conocida como reduccin al absurdo, es por ello que este
mtodo de demostracin es conocido, tambin, como demostracin por reduccin al absurdo.
P > Q (P ^ Q) > C
Donde C es una contradiccin. Por lo tanto, si probamos que (P ^ Q) > C es una tautologa
tendremos que P > Q tambin lo es y, consecuentemente, P => Q.


Demostrar que si el cuadrado de un nmero entero es impar, entonces el nmero es impar.

Demostracin

El teorema a demostrar es Para cada entero n, si n
2
es impar, entonces n es impar
Supongamos que n
2
es impar y que, sin embargo, n no es impar.
Entonces, tendremos que n
2
es impar y n es par de aqu que por la definicin de nmero impar y la
de par dada en el ejemplo tengamos que existan dos nmeros enteros k y l tales que:

n
2
= 2k + 1 y n = 2l
Luego
n
2
= 2k + 1 y n
2
= 4l
2

Por lo tanto,
2k + 1 = 4l
2

De donde se sigue que
1 = 4l
2
2k = 2(2l
2
k)

y como si l y k son enteros, 2l
2
k tambin lo es (lo llamaremos m), tendremos que hemos
Encontrado un nmero entero m tal que
1 = 2m
es decir, el 1 es par, lo cual, obviamente, es una contradiccin.
Lo que nos ha llevado a la contradiccin es la suposicin de que n no era impar, por lo tanto esta
es falsa siendo cierta la contraria, es decir, n es impar.





















Demostracin por Casos
La demostracin por casos es un mtodo de demostracin matemtica en el cual la proposicin a
ser probada se divide en un nmero finito de casos, y cada caso es demostrado por separado.
Tambin se la conoce como:
prueba exhaustiva
prueba por exhaucin
prueba por exhauscin o
mtodo de fuerza bruta.
Una demostracin por casos consta de dos etapas:
Una prueba de que los casos son exhaustivos; es decir, que cada instancia de la proposicin a ser
probada coincide con las condiciones de (al menos) uno de los casos.
Una demostracin de cada uno de los casos.

Ejemplo.
Demuestra que si a y b son dos nmeros reales, entonces |a+b|=<|a|+|b|.
Partimos de la definicin de valor absoluto |r| de un nmero r, que es r si r>=0 y -r si r<0. En todo
caso es un nmero positivo o nulo y siempre es cierto r=<|r|.
Esto nos invita a distinguir dos casos en la tarea propuesta.
Si a+b>=0 entonces |a+b|=a+b. Como a=<|a| y b=<|b|, es claro que se tiene la desigualdad.
Si a+b<0, entonces |a+b|=-a-b. Como -a=<|a| y -b=<|b|, tambin en este resulta cierta la
desigualdad.






























El mtodo progresivo-regresivo

El mtodo progresivo-regresivo consiste en trabajar con la hiptesis y la tesis de forma simultnea
obteniendo afirmaciones equivalentes a ambas y de alguna forma llegar a vincularlas lgicamente.
Si trabajamos con la hiptesis y vamos obteniendo afirmaciones equivalentes estamos
procediendo segn el mtodo progresivo, por otro lado, si trabajamos con la tesis y vamos
obteniendo afirmaciones equivalentes estamos procediendo segn el mtodo regresivo. En
lenguaje coloquial, la idea es ir descomponiendo la hiptesis y la tesis hasta llegar a una verdad
evidente que vincule a ambas, en otras palabras, la idea es ir dando saltos desde la hiptesis
hacia la tesis (mtodo progresivo) y desde la tesis hacia la hiptesis (mtodo regresivo).

Ejemplo
Si tenemos un tringulo 4(XY Z) rectngulo tal que su hipotenusa tiene longitud z, y su rea es
z
2
/4, entonces el tringulo es issceles.

Comencemos a trabajar a partir de la hiptesis, es decir, trabajemos de forma progresiva:
Si x e y son las longitudes de los catetos y z la longitud de la hipotenusa, como 4(XY Z) es
Rectngulo, aplicando el Teorema de Pitgoras obtenemos la siguiente relacin:
x
2
+ y
2
= z
2
.
Recordar que el rea del tringulo se calcula como (base) (altura)/2, y entonces el rea es xy/2.
Por otro lado, parte de la hiptesis es que el rea de este tringulo es z
2
/4, por tanto xy/2 =z
2
/4.
Sustituyendo z
2
por x
2
+ y
2
en la igualdad anterior obtenemos:

xy/2 = (x
2
+ y
2
)/4

Hasta aqu hemos utilizado la hiptesis y hemos obtenido cierta informacin, tomemos ahora la
tesis y trabajemos con ella, es decir, realicemos el proceso regresivo. El proceso regresivo consiste
usar como gua la pregunta cmo o cuando se puede concluir la tesis?
En el ejemplo que estamos trabajando esto es:
Cundo se puede concluir que el tringulo 4(XY Z) es issceles?
En este caso una respuesta posible es apelar a una definicin: El tringulo
4(XY Z) es issceles si tiene dos lados iguales, por ejemplo x = y.
Aplicando este proceso se obtiene una nueva proposicin B1: x = y, que es equivalente con B, con
lo que, si se pudiera demostrar que B1 es verdadera, entonces B seria verdadera.

Paso seguido nos podemos preguntar cmo o cuando se puede concluir que la proposicin B1
es verdadera?
Aqu se puede plantear que x = y (x y) = 0, con lo que obtenemos una nueva proposicin
B2: (x y) = 0 (2)

La seleccin de la respuesta es ms un arte que una ciencia dado que una pregunta puede tener
varias respuestas posibles. En circunstancias afortunadas habr solo una respuesta posible, en
otros casos, se tendr que proceder por ensayo y error, en ocasiones una respuesta correcta ser
una definicin, en otras un resultado anteriormente probado. Aqu es donde la intuicin, ingenio,
creatividad, experiencia, diagramas y grficas juegan un papel importante. Una gua general es
permitir que la informacin contenida en la hiptesis ayude a seleccionar la respuesta.

Tomemos xy/2 = (x
2
+ y
2
)/4

si multiplicamos ambos miembros por 4 obtenemos 2xy = x
2
+ y
2
, ahora si sumamos a
ambos miembros (-2xy) obtenemos x2 - 2xy + y2 = 0, identificando el trmino de la
izquierda como el cuadrado de un binomio obtenemos (x - y)
2
= 0 y aplicando raz
cuadrada a ambos miembros tenemos finalmente (x - y) = 0. Todas estas
transformaciones realizadas son equivalentes, por tanto hemos logrado vincular
lgicamente la hiptesis y la tesis.