Rincón de problemas

TALLER DE MÉTODOS DE DEMOSTRACIÓN EN MATEMÁTICA

PROBLEMA SEMANAL
Tres hombres tienen dos trabajos cada uno. El chofer se mete
con el músico por su pelo largo. El músico y el jardinero
acostumbran a ir de pesca con Juan. El pintor le compró una
botella de ginebra al asesor. El chofer corteja a la hermana del
pintor.
Jorge debe al jardinero $1000. Javier venció a Jorge y al pintor
jugando al tejo. Uno de ellos es peluquero, y no hay dos que
tengan el mismo trabajo. ¿Qué hace cada uno?
1.5 Demostraciones
CAPÍTULO 1: LÓGICA Y DEMOSTRACIONES
 SISTEMA MATEMÁTICO
SISTEMA MATEMÁTICO: consiste en axiomas, definiciones y términos no definidos.
Los AXIOMAS se suponen verdaderos.
Las DEFINICIONES se usan para crear nuevos conceptos en términos de los existentes.
Algunos TÉRMINOS no están definidos en forma explícita.
TEOREMA: es una proposición que se ha probado que es verdadera.
Tipos especiales de teoremas
◦ LEMA: es un teorema que no suele ser muy interesante por sí mismo, pero resulta útil para probar otro teorema.
◦ COROLARIO: es un teorema que se deriva con facilidad de otro teorema.

Un argumento que establece la verdad de un teorema se llama DEMOSTRACIÓN.

La lógica es la herramienta para el análisis de las demostraciones.
 ALGUNAS DEFINICIONES
VALOR ABSOLUTO: de un número real x está definido como x si x es positivo o 0 y –x (el
opuesto de x) de otra manera.
NÚMERO PAR: Un entero n es par si existe un entero k tal que n=2k.
NÚMERO IMPAR: Un entero n es impar si existe un entero k tal que n=2k+1.
DIVIDE A: Un número a divide a b si existe un entero k tal que b=ka.
MÍNIMO: Si a y b son números reales, mín{a,b} como el mínimo de a y b o el valor común si
son iguales.
NÚMERO PRIMO: un entero p es primo si sus únicos divisores son p y 1.
 Métodos
de
Demostración
Analizar la siguiente demostración
¿Qué propiedad se demuestra y en qué consiste el método que se utiliza?
DEMOSTRACIÓN
DIRECTA
 DEMOSTRACIÓN DIRECTA
A  B

1. Suponemos como verdadero el antecedente A (Hipótesis).

2. A partir de la hipótesis construimos una argumentación lógica en la
cual podemos utilizar los axiomas y teoremas ya demostrados para
obtener mediante la aplicación de las reglas de validez y de inferencia,
la validez de B (tesis o conclusión).
3. Queda establecida la validez de A B .
 DEMOSTRACIÓN DIRECTA
TEOREMA: Si m es un entero par, entonces m + 7 es impar

Hipótesis] m es un entero par

Tesis] m+7 es impar

Demostración] Suponemos que m es entero arbitrario y que m es par es

verdadera. Probaremos que m+7 es impar es verdadera.

Por definición de par, como m es par existe un entero t tal que: m=2t
Ahora bien: m+7= 2t+7=2t+6+1=2(t+3)+1, k=t+3 como t entero, por ser
cerrada la adición en Z, k es entero.
Luego: m+7 = 2k+1, k entero, es decir m+7 es impar.

Conclusión: partimos de m par y llegamos a que m+7 es impar.

Luego queda probado el teorema.
CONTRAEJEMPLO
 CONTRAEJEMPLO
 Todos los primos son impares.

El enunciado es falso. Contraejemplo: 2 es par y primo

 2n-1 es un número primo para todos los enteros no negativos n.

El enunciado es falso. Contraejemplo: n=11 no negativo y 211-1=2047 no es primo

(23|2047)

 Para cada número primo n, se cumple que n+2 es primo

El enunciado es falso. Contraejemplo: n=7 es primo y 9 no es primo.

 CONTRAEJEMPLO
 La refutación es el razonamiento o serie de razonamientos
que prueban la falsedad de una proposición cuantificada
universalmente.
 Dada una proposición de la forma x: p  q cuya falsedad
deseamos probar.
 Debemos encontrar  x / p   q,
 Es decir basta dar un ejemplo (contraejemplo de la
proposición) donde:
p sea verdadera y q sea falsa.
CONTRADICCIÓN -
REDUCCIÓN AL ABSURDO
REDUCCIÓN AL ABSURDO
 REDUCCIÓN AL ABSURDO
TEOREMA: Si m es un entero par, entonces m + 7 es impar.

Demostración] Suponemos por reducción al absurdo (p   q):

que m es par y que m+7 es par (1)
Como m es par, tenemos: m=2t, t entero
Ahora bien: m+7= 2t+7=2t+6+1=2(t+3)+1, k=t+3 es entero ya que t es entero y la
adición es cerrada en Z.
Luego m+7 = 2k+1,con k entero, así: m+7 es impar. (2)

De (1) y (2) concluimos que m+7 es par y es impar. ABSURDO. Un número no puede
ser par e impar a la vez.

El absurdo provino de suponer que m+7 era par. Luego, m+7 debe ser impar.
EJERCICIOS
Trabajo Práctico: resolver los ejercicios 7 al 19 de la página
48.
CONTRARRECÍPROCO O
DE LA CONTRAPOSITIVA
CONTRARRECÍPROCO

B A
 CONTRARRECÍPROCO
TEOREMA: Si m es un entero par, entonces m + 7 es impar

CONTRARRECÍPROCO: Si m+7 es par entonces es m es impar.

Hipótesis] m+7 es un entero par
Tesis] m es impar
Demostración] Sabiendo que m+7 es par: por definición de par,
tenemos: m+7=2t, t entero.
Ahora bien: m= 2t-7=2t-8+1=2(t-4)+1, k=t-4 como t entero, por ser
cerrada la adición en Z, k es entero.
Luego m= 2k+1, k entero, es decir m es impar.
Es decir: partimos de m+7 es par y llegamos a probar que m es impar.
Por contrarrecíproco, hemos probado la validez de:
Si m+7 es par entonces es m es impar.
DEMOSTRACIÓN POR
CASOS
 POR CASOS
La hipótesis se divide en varios casos
p1p2…pnq  p1 q p2 q … pnq
 POR CASOS
TEOREMA: Para todo número real x, x  |x|
Demostración: x es un número real es equivalente a x0 x<0.
CASO 1: Si x0 por definición |x|=x. Así |x|  x.
CASO 2: Si x<0 por definición |x|=-x. Como –x>0 y 0>x, |x|  x.
Luego en cualquier caso |x|  x.
EJERCICIOS
Trabajo Práctico: resolver los ejercicios 20) al 28) y 30) de la
página 48.
Rincón de problemas
TALLER DE MÉTODOS DE DEMOSTRACIÓN EN MATEMÁTICA
PROBLEMA SEMANAL
En una conferencia internacional se reunieron 15 delegados de Asia, África, América
y Europa, cada continente mandó un número diferente de delegados y cada uno
está representado, por lo menos, por un delegado. América y Asia enviaron un total
de 6 delegados. Asia y Europa enviaron un total de 7 delegados.
a) ¿Qué continente pudo haber enviado 4 delegados?
b) ¿Cómo pueden estar compuestas las delegaciones?
DEMOSTRACIÓN DE
BICONDICIONALES
 BICONDICIONALES

pq  p q  q p
 BICONDICIONAL
TEOREMA: Para todo número entero n, n es impar si y sólo si n-1 es par

Demostración] Debemos probar que:

1) Si n es impar, entonces n-1 es par
y
2) Si n-1 es par entonces n es impar
1) Suponemos que n es impar es verdadera. Por definición de impar, como n es impar
existe un entero t tal que: n=2t+1
Ahora bien: n-1= 2t+1-1=2t con t entero.
Luego: n-1 es par.
2) Suponemos que n-1 es par es verdadera. Por definición de par, como n-1 es par existe
un entero k tal que: n-1=2k
Ahora bien: n= 2k+1 con k entero.
Luego: n es impar

Conclusión: De 1) y 2) queda probado el teorema.

Demostración existencial x/P(x)
EJERCICIOS
Trabajo Práctico: resolver los ejercicios del TP-Métodos.pdf
que encontrarán en el sitio.