Guia de Trabajo #2 MM-420

Descargar como pdf o txt
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 11 1
=  +  (sugerencia: despeje h)
h 2a 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

d) 32 n − 1 es divisible por 8 para toda n  0


e) n3 + 11n es divisible por 6 para toda n  1

Guía n°2 MM-420 Página 2

También podría gustarte

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy