UNIVERSIDAD POPULAR DEL CESAR

DEPARTAMENTO DE MATEMATICA Y ESTADISTICA

LOGICA MATEMATICA
METODOS DE DEMOSTRACIN.

DEMSOTRACION.

1. Argumentaciones y demostraciones

1.1 Argumentacin.

Un argumento es un razonamiento que se hace con el propsito de conseguir la aceptacin o el rechazo de una tesis
propuesta.

En otras palabras, un argumento es una proposicin (conclusin) que se obtiene de otros enunciados (tesis).

1.2 Demostracin.

Una demostracin es un razonamiento o una serie de razonamientos que buscan probar la validez de un nuevo
conocimiento estableciendo relaciones necesarias con otros conocimientos.

La matemtica se estructura en un conjunto de proposiciones cada una de las cuales se deduce de otras anteriores.

Ahora, puesto que para demostrar una proposicin hay que partir de otras proposiciones ya establecidas se ha de
partir de proposiciones primitivas y conocimientos primitivos (axiomas o postulados)

1.3 Estructura de una demostracin

La demostracin consta de tres partes:

1. El conocimiento que se trata de demostrar.
2. Los fundamentos matemticos, que constituyen la base de la demostracin.
3. El procedimiento usado para lograr la demostracin (que el conocimiento quede demostrado). Esto permite
establecer conexiones lgicas en los conocimientos bsicos o fundamentales y sus secuencias sucesivas hasta
llegar a la conclusin final.

1.4 aplicaciones.

a. Demostracin directa.
Ejemplo 1:

El cuadrado de un entero impar es de la forma 8k + 1, donde k es un entero positivo.

Demostracin Justificacin.
( )
( )
( )
( )
1 k 8 x 9.
1
2
n n
8 x 8.
1
2
2
n n 4 x 7.
1 1 n n 4 x 6.
1 4n 4n x 5.
1 4n 4n x 4.
1 2n x 3.
1 2n x 2.
impar nmero un x Sea 1.
2
2
2
2 2
2 2
2 2
2 2
2
2
+ =
+
+
=
+ + =
+ + =
+ + =
+ + =
+ =
+ =
|
|
.
|

\
|

Postulado
Definicin de nmero impar
Propiedad de las igualdades
Productos notables
Propiedad asociativa
Propiedad modulativa de la multiplicacin
Propiedad distributiva

Factor comn

Haciendo k = (n+n)/2

Luego: El cuadrado de un entero impar es de la forma 8k + 1

Ejemplo 2:
La suma de la medida de los ngulos exteriores de un tringulo es 360



Demostracin: Justificacin
1. Sea A, B, C ngulos exteriores al tringulo ABC Supuesto
2. Sean x, y, z ngulos interiores al tringulo ABC Supuesto
3. m A + m z = 180 ngulos suplementarios
m C + m x = 180
m B + m y = 180
4. m A + m z + m C + m x + m B + m y = 180 + 180 + 180 Propiedad de las igualdades
5. (m A + m B + m C) + (m z + m x + m y ) = 540 Propiedades conmutativa y
asociativa
6. (m A + m B + m C) + 180 = 540 Def. ngulos internos
7. (m A + m B + m C) = 540 - 180 Propiedad de las igualdades
8. (m A + m B + m C) = 360

Luego, la suma de las medidas de los ngulos externos de todo tringulo es 360

b. Demostracin indirecta o de reduccin al absurdo.

Ejemplo 3:
Demostrar que si x
2
es par, entonces x es par.

Hiptesis: x
2
es par
Tesis : x es par

Demostracin: Justificacin
1. Supongamos x no es par Negacin de la tesis
2. x es impar Ley de la doble negacin
3. x = 2n - 1 Definicin de nmero impar
4. x
2
= (2n - 1) Propiedad de las igualdades
5. x
2
= 4n - 4n + 1 Producto notable
6. x
2
= 4n - 4n + 1 + 0 Propiedad modulo matemtico
7. x
2
= 4n - 4n + 1 + (1 - 1) Propiedad anulativa
8. x
2
= (4n - 4n + 2) - 1 Propiedad Asociativa
9. x
2
= 2(2n - 2n + 1) - 1 Factorizacin
10. x
2
= 2k - 1 Haciendo k = 2n - 2n + 1
11. x
2
es impar
Pero x es par
Luego: se llega a una contradiccin puesto que se origin al suponer que x no es par y se concluye que x es par.

Ejemplo 4:

Demostrar que si x = 0 entonces x
-1
= 0
Hiptesis: x = 0
Tesis: x
-1
= 0

Demostracin Justificacin
1. Sea x
-1
= 0 Negacin de la tesis
2. 1/x = 0 Propiedad de los exponentes negativos
3. (1/x) x = 0. x Propiedad de las igualdades.
4. 1 = 0.x Ley del inverso multiplicativo.
5. 1 = 0 ya que 0. x = 0

Puesto que 1 = 0 es una contradiccin que se genera al suponer que x
-1
= 0 y se concluye que x
-1
= 0.


c. Mtodos de refutacin.

C
A
B
x
z
y
La refutacin es el razonamiento o series de razonamientos que prueban la falsedad de una hiptesis o la
inconsecuencia de su propia demostracin.

Hay dos formas de refutar:
a. Refutacin por contradiccin.
b. Refutacin por ejemplo del contrario (contraejemplo)

1. Refutacin por contradiccin

En este caso se supone que la afirmacin dada es verdadera y usando cualquiera de los mtodos de demostracin,
llegamos a una conclusin que contradiga una proposicin cuya verdad ha sido probada o demostrada.

Ejemplo 5:
Refutar la afirmacin: el cuadrado de un nmero impar es par:

Demostracin Justificacin
1. Sea x un nmero impar hiptesis
2. x = 2n - 1 Definicin de nmero impar
3. x
2
= (2n - 1) Propiedad de las igualdades
4. x
2
= 4n - 4n + 1 Producto notable
5. x
2
= (4n - 4n + 2) - 1 Propiedad Asociativa
6. x
2
= 2(2n - 2n + 1) - 1 Factorizacin
7. x
2
= 2k - 1 Haciendo k = 2n - 2n + 1
Luego, si x
2
es par, entonces tenemos x
2
= 2n para algn entero n, por tanto:
2k - 1 = 2n de donde 2k - 2n = 1
2(k - n) = 1
As concluimos que: 2(k - n) = 1 lo cual es un absurdo


Ejemplo 6:
Sea ABC un tringulo cualquiera; considerando el 1, 2 y 3 exteriores al ngulo al tringulo. Refutar la
afirmacin m 1 + m 2 + m 3 = 180
o
.

Demostracin justificacin

1. Sea 1, 2, 3 exteriores al tringulo ABC Supuesto
2. m 1 + m B = 180 ngulos suplementarios
m 2 + m A = 180
m 3 + m C = 180
3. m 1 + m B + m 2 + m A + m 3 + m C = 3(180) Propiedad de las igualdades
4. (m 1 + m 2 + m 3) + (m A + m B + m C ) = 3(180) Propiedad asociativa
5. 2 * 180 = 3 * 180 Suma de. internos y externos.
6. 2 = 3 Lo que evidentemente es absurdo
Luego, la suma de las medidas de los ngulos externos de todo tringulo es 360


2. Refutacin por contraejemplo.

Este razonamiento consiste en hallar un caso en el cual no tenga cumplimiento una hiptesis o sea verificar que existe
un contraejemplo.

Ejemplo:
Refutar la afirmacin:

x,y e Z ; (x + y)
3
= x
3
+ y
3

El problema se reduce a determinar un par de nmeros (x, y) la cual no cumple la igualdad dada.
As si x = 2 . x = 5
Entonces:
A
B
C
1
2
3
(2 + 5)
3
= 2
3
+ 5
3

7
3
= 8 + 125
243 = 133
Lo cual nos indica que no todos los enteros satisfacen la igualdad (x + y)
3
=x
3
+ y
3

d. Induccin matemtica:

Frecuentemente se puede usar este mtodo para probar que ciertas proposiciones en las que aparece (n) son vlidas
para todos los valores enteros positivos de n.

El proceso general de una demostracin por induccin matemtica consiste de los pasos:
1. Se demuestra que la proposicin es o teorema por demostrar es vlida para n igual a un valor particular entero,
positivo especificado.
2. Se demuestra que la proposicin es o teorema por demostrar es vlida para n igual a un valor particular entero,
positivo no especificado, k y se expresa esta consideracin en forma simblica.
3. se demuestra el teorema para n = k + 1.

EJEMPLO.

Demostrar por induccin matemtica 1 + 2 + 5 +.+ (2n 1) = n
2


Verifiquemos para n =1. 1 = (1)
2
, de donde 1 = 1
Verifiquemos para n = k. 1 + 2 + 3 +.+ (2k + 1) = (k)
2
.
Verifiquemos para n = k + 1.
1 + 2 + 3 ++ (2k 1) + (2k +1) = (k)
2
+ (2k + 1)
1 + 2 + 3 ++ (2k 1) + (2k +1) = k
2
+ 2k +1
1 + 2 + 3 ++ (2k 1) + (2k +1) = (k + 1)
2


Demustrese las siguientes relaciones por medio de induccin matemtica.

( )
( )
( )
( ) ( )
n
2
1
1
n
2
1
.......
4
2
1
3
2
1
2
2
1
2
1
5.
1 2n n 3 4n ........ 9 5 1 4.
1 n
2
3n
3n ........ 9 6 3 3.
1 n n 2n ........ 6 4 2 2.
2
1 n n
n .. 4 3 2 1 1.
= + + + + +
= + + + +
+ = + + + +
+ = + + + +
+
= + . + + + +


e. Ll






SI USTED NO SABE HACIA DONDE VA, IMPOSIBLE PERDERSE. YA ESTA PRDIDO
ANNIMO

GERMAN ISAAC SOSA MONTENEGRO
Octubre 15 de 2011.