Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1de 2
Matemática Discreta UNAH-VS
Guía de trabajo #2 MM-420 Matemática Discreta
Catedrático: Jorge Luis Madrid
1. Pruebe cada uno de los enunciados existenciales:
1 1 a) Hay números enteros n, m distintos tal que+ es entero. m n Existe un entero positivo n tal que 3n − 20n + 25 es primo. 2 b)
2. Refute cada enunciado dando un contraejemplo:
a) Si m y n son números enteros positivos y mn es un cuadrado perfecto, entonces m y n son cuadrados perfectos. b) Si m y n son números enteros tales que m n 0 , entonces m 2 − n 2 es compuesto. c) La suma de dos números enteros compuestos es un numero compuesto
3. Demuestre por el método de agotamiento que:
a) Cada número entero positivo par menor de 26 se puede expresar como la suma de tres o menos cuadrados perfectos. b) Para cada entero n con 1 n 10 , n 2 − n + 11 es un número primo
4. Demuestre que los siguientes enunciados son verdaderos:
a) Si m es cualquier entero par y n es cualquier entero impar entonces (m + 2)2 − (n − 1) 2 es par b) Si n es un entero impar, entonces n3 es impar c) Para todos reales positivos a y b. a b a b 2 2
d) Para todos reales positivos a y b. demuestre que a h b donde
1 11 1 = + (sugerencia: despeje h) h 2a b e) Para todos los enteros a, b, c si a | b y a | (b 2 − c) entonces a | c f) Demuestre que para todos los números enteros m y n, si m mod7 = 5 y entonces mn mod7 = 2 n mod7 = 6 g) Demuestre que el producto de cuatro enteros consecutivos es divisible por 8 h) Si m es un entero impar entonces m 2 = 8k + 1 para algún entero k 5. Demuestre por contraposición. a) Si a | (b + c) entonces a | b o a | c b) El recíproco de cualquier número irracional es irracional. (El recíproco de un número real x distinto de cero es 1/x). c) Para todos los enteros m y n si m + n es par entonces m y n son pares o m y n son impares
Guía n°2 MM-420 Página 1
Matemática Discreta UNAH-VS
6. Demuestre por contradicción
a) Para todos los números enteros a, b, c , si a | bc entonces a | b (Recuerde que el símbolo | significa “no divide”). b) La raíz cuadrada de un numero irracional es irracional
7. Determine si el enunciado es verdadero o falso. Demuestre el enunciado
directamente de las definiciones, si es verdadero y dé un contraejemplo si es falso. a) Para todo entero n , n(n 2 − 1)(n + 2) es divisible por 4 b) Para todos los números enteros a, b y c, si a es un factor de c entonces ab es un factor de c. c) Cada entero positivo puede expresarse como la suma de tres o menos cuadrados perfectos. d) La diferencia de los cuadrados de cualesquiera dos números enteros consecutivos es impar.
8. Demuestre usando inducción matemática
n(n + 1)(2n + 7) a) 1(3) + 2(4) + 3(5) + ... + n(n + 2) = para toda n 1 6 n 1 3 1 1 b) k =1 ( k + 1) − 1 2 = − − 4 2( n + 1) 2( n + 2) para toda n 1
n 1 1 c) 1 − k + 1 = n + 1 para toda n 1 k =1