GUÍA:

Nombre: ________________________________________________________

1.4.4 Ejercicios de métodos de demostración

Ejercicio 1.59. Proporciona un contraejemplo de cada proposición:

Dada una proposición, un ejemplo es un caso particular que conserva su valor de verdad y un
contraejemplo es un caso particular que cambia su valor de verdad.

a) Todos los números pares son positivos. (Ver pág. 49). ___________________________________

b) Todas las aves pueden volar. _____________________________________________________

c) No existen números enteros que sean cuadrados perfectos cuya suma sea un cuadrado perfecto.

_________________________________________________________________________________________

Ejercicio 1.60. Recordemos que un número entero n es impar si n = 2k + 1, para algún entero k. Demuestra de forma
directa las siguientes proposiciones:

Comprende cada paso y completa los espacios en blanco.

a) La suma de dos números enteros impares es un entero par.

Demostración:

# Premisa Justificación

P1 Sean m y n enteros impares

Existen k1, k2 є Z tales que m=2k1+1 y
P2 n=2k2+1 Definición de ______________________

P3 m + n =(__________)+(__________) Suma y sustitución de P2 en la suma

P4 = 2k1+ 2k2+2=___________________ Asociación y distribución (término común)

P5 k1+k2+1 є Z Ley de ____________________________

P7 m + n es ________________________ Definición de número par con P4 y P5

b) La suma de un número entero par y uno impar es un entero impar.

Demostración:

# Premisa Justificación
P1 Sean m par y n impar Hipótesis
1
 Existen k1, k2 є Z tales que

P2 m=2k1 y n=________________

P3 m + n = (_______) + (2k2+1)

P4 =____________________=2(k1+k2)+1

P5 Ley de cerradura

P6

c) El producto de dos números enteros pares es un entero par. Resuelve al reverso-------------

d) El producto de dos números enteros impares es un entero impar. Resuelve al reverso-------------

Ejercicio 1.61. Demuestra lo siguiente por reducción al absurdo:

Lee y comprende cada paso, luego completa en los espacios en blanco:

a) No existe un número real que sea el más pequeño. ≡ Ningún número real es el más pequeño

Lenguaje simbólico: Cuantificador: _____

Universo de discurso: Predicado: P(x)= Proposición: Q=

Negación: Simbólico: ~Q=_____________________

Coloquial: __________________________________________________________________

Demostración:

# Premisa Justificación
Existe un número real que es el
P1 más pequeño. Hipótesis falsa
P2 Sea p є R, tal número. (no es necesario justificar)

P3 ∀x є R, p ____ x Orden en R

P4 p+(-1)=_________ є R

P5 p-1 ____ p

# P3, P4 y P2

Por tanto, no existe un número real que sea el más pequeño.

b) Hay un número infinito de enteros positivos.

Lenguaje simbólico: Cuantificador: _____

2
Universo de discurso: Predicado: P(x)= Proposición: Q=

Negación: Simbólico: ~Q=_____________________

Coloquial: __________________________________________________________________

Demostración:

# Premisa Justificación

P1
P2 Sea Z+ ={p1, p2, p3, p4 ,…, pn} ---------------------------------------------------
Sea pi el mayor*, es decir, ∀p є Z , +

p ____ pi
P3 Orden en R

P4 pi + 1 _____ Z+ Z+ es un conjunto inductivo**

P5 pi + 1 ____ pi
Se contradice
que_________________________
#
+ + + +
*Donde el índice i es algún número fijo entre 1 y n.**Z satisface la propiedad inductiva, esto es, 1 є Z y si p є Z entonces p+1 є Z .

Por tanto, el supuesto es falso y hay ______________________________ de enteros positivos.

c) Para cualquier número real x, se cumple que .

Lenguaje simbólico: Cuantificador: _____

Universo de discurso: Predicado: P(x)= Proposición: Q=

Negación: Simbólico: ~Q=_____________________

Coloquial: __________________________________________________________________

Demostración:

# Premisa Justificación

P1 Hipótesis falsa

P2 Si Multiplicación, por x, de la igualdad

P3 Esto es _____________________ Elemento inverso y neutro del producto

#
3
Por lo tanto se debe cumplir que__________________________________________________.

Ejercicio 1.62. Supongamos que x1 y x2 son números reales. Usando la contrapuesta, demuestra que si x1 ≠ x2, entonces
3x1 − 5 ≠ 3x2 − 5. Finalmente, demuestra que x1 = x2 si y sólo si 3x1 − 5 = 3x2 − 5.

Lee y entiende la demostración escrita, luego completa los espacios en blanco.

Se piden dos demostraciones:

1. (x1≠x2)  (3x1−5≠3x2–5) 2. _______________________________________

1. Nota que debe usar la contrapositiva porque las propiedades de cancelación están probadas
para igualdades y no para diferencias.

Contrapuesta: ________________________________________________________________

# Premisa Justificación

P1 3x1 − 5 = 3x2 – 5 Hipótesis

P2 Adición, del 5, de la igualdad

P3

Por lo tanto se satisface la implicación original.

2. Es una demostración de equivalencias. Así, se deben demostrar las inclusiones:

a) (x1=x2)  (3x1−5=3x2–5) Realízala al reverso----------------
b) (3x1-5=3x2-5)  (x1=x2). El cual ya está demostrado en (1).

Como se satisfacen (a) y (b), x1 = x2 si y sólo si 3x1 − 5 = 3x2 – 5, queda demostrado.

Ejercicio 1.63. Demuestra que existe un número entero n tal que n2 + n = 1. ¿Es éste entero único?

Resuelve la ecuación cuadrática para hacer la demostración y contestar la pregunta.-----------

Ejercicio 1.64. Sea x un número real. Demuestra que x es positivo si y sólo si 17x es positivo.

Es una demostración __________________________________. Entonces debes demostrar:

1._________________________________. 2. (17x>0)  (x>0)

Puedes usar la ley de signos para la demostración. Realízala al reverso----------