Você está na página 1de 4

Matemtica Discreta I

Prof. Luclia Figueiredo

DECOM
ICEB - UFOP

Lista de Exerccios 07
1. Prove que, se x um inteiro impar, ento x3 impar.
Prova: Suponha n mpar, isto , n = 2k + 1 para algum k Z. Temos:
x3 = (2k + 1)3 = 8k 3 + 12k 2 + 6k + 1 = 2(4k 3 + 6k 2 + 3k) + 1
Ento x3 = 2k 0 + 1, onde k 0 o inteiro 4k 3 + 6k 2 + 3k. Portanto, x3 impar.
2. Suponha x, y Z. Prove que se x e y so impares, ento xy impar.
Prova: Suponha x e y impares, isto , x = 2k + 1 e y = 2k 0 + 1, para k, k 0 Z. Temos:
xy = (2k + 1)(2k 0 + 1) = 4kk 0 + 2k + 2k 0 + 1 = 2(2kk 0 + k + k 0 ) + 1
Ento xy = 2k 00 + 1, onde k 00 o inteiro 2kk 0 + k + k 0 . Portanto, xy impar.
3. Prove que, se n impar, ento 3n + 9 par.
Prova: Suponha n mpar, isto , n = 2k + 1 para algum k Z. Temos
3n + 9 = 3(3k + 1) + 9 = 6k + 12 = 2(3k + 4)
Ento, 3n + 9 = 2k 0 , onde k 0 = 3k + 4. Portanto, 3n + 9 par.
4. Prove que, se a soma de dois inteiros par, ento sua diferena tambm par.
Prova: Sejam n, m Z e suponha n + m par, isto , n + m = 2k para algum k Z. Temos
n m = (n + m) 2m = 2k 2m = 2(k m)
Ento n m = 2k 0 , onde k 0 o inteiro k m e, portanto, n m par. Note que m n =
(n m) e, portanto, m n tambm par.
5. Suponha a, b Z. Prove que, se a|b ento a2 |b2 .
Prova: Suponha a|b, isto b = k.a para algum k Z. Temos queb2 = (k.a)2 = k 2 .a2 , ou seja,
b2 = ma2 , onde m o inteiro k 2 , e, portanto, a2 |b2 .
6. Prove que, se n e m so quadrados perfeitos, ento (n m) um quadrado perfeito.
Prova: Sejam n, m Z e suponha que n e m so ambos quadrados perfeitos, isto n = p2 e
m = q 2 , onde p, q Z. Temos
n m = p2 q 2 = (p q)2
Ento n m = 2k 2 , onde k = p q e, portanto, n m um quadrado perfeito. Prove que, se a e b
so nmeros racionais, ento (a + b) um nmero racional.
1

Prova: Sejam a e b racionais, isto , a = n/m e b = p/q, onde n, m, p, q Z e m, q 6= 0.


Temos que
n
p
nq + pm
a+b=
+ =
m q
mq
Ento a + b = r/s, onde r = nq + pm Z e s = mq Z, j que o produto e a soma de
nmeros inteiros um nmero inteiro; alm disso s 6= 0, pois m 6= 0 e q 6= 0. Portanto, (a + b)
racional.
7. Sejam a, b, c Z. Prove que se a|b e a|c ento a|(b + c).
Prova: Sejam a, b, c Z e suponha a|b e a|c. Temos que
b
c
b+c
= +
a
a a
Como a|b e a|c, temos que (b/a) e (c/a) so ambos inteiros e, ento, (b/a)+(c/a) um inteiro.
Portanto, a|(b + c).
8. Suponha x, y R. Prove que se x2 + 5y = y 2 + 5x, ento x = y ou x + y = 5.
Prova: Suponha x2 + 5y = y 2 + 5x, ou seja, x2 y 2 = 5(x y). Sabemos que x2 y 2 =
(x + y)(x y). Ento, (x + y)(x y) = 5(x y). Portanto, temos que x y = 0, isto ,
x = y, ou x + y = 5.
9. Prove que, se n Z, ento 5n2 + 3n + 7 impar.
Prova: Considere os seguintes possveis casos:
(a) n par: Ento n2 par e, portanto, 5n2 par. Alm disso, 3n par. Ento, 5n2 + 3n + 7
a soma de dois pares e um mpar, que mpar.
(b) n impar: Ento n2 impar e, portanto, 5n2 impar, pois o produto de dois impares.
Do mesmo modo, 3n impar. Ento, 5n2 + 3n + 7 a soma de trs impares, que mpar.


10. Prove que, para todo n N, n2 = 2 n2 + n1
Prova: Considere os seguintes possveis casos:




(a) n = 0: Temos que 02 = 01 = 0. Portanto 02 = 2 02 + 01 .




(b) n = 1: Temos que 12 = 0 e 11 = 1. Portanto, 12 = 2 12 + 11 .
(c) n > 0: Temos que
2

n
2

n
1

n!
n!
+ (n1)!
= 2 2!(n2)!
= n(n 1) + n
= n2

11. Seja n Z. Prove que se n2 par ento n par.


Prova: (Contrapositivo). Suponha que n mpar, isto , n = 2k + 1, para algum k Z. Temos
n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k) + 1
Ento n2 = 2k 0 + 1, onde k 0 o inteiro igual e 2k 2 + 2k. Portanto, n2 mpar.
2

12. Sejam a, b Z. Prove que se a2 (b2 2b) impar, ento a e b so ambos impares.
Prova: (Contrapositivo). Suponha que a par ou b par. Se a par, temos que a2 par e,
portanto a2 (b2 2b) par. Por outro lado, se b par, temos que b2 par e, ento (b2 2b par,
pois a diferena entre dois nmeros pares. Ento, a2 (b2 2b) par. Portanto, se a2 (b2 ?2b)
impar, ento a e b so ambos impares.
13. Suponha x R. Prove que se x2 + 5x < 0 ento x < 0.
Prova: (Contrapositivo). Sabemos que x2 0. Supondo x 0, temos que 5x 0 e, portanto
x2 + 5x 0. Portanto, se x2 + 5x < 0 ento x < 0.

14. Prove que se


r um nmero irracional,
ento r irracional. Prova: (Contrapositivo).

Suponha que r racional, isto , r = n/m, onde n, m Z e m 6= 0. Temos que

n
n2
n = ( n)2 = ( )2 = 2
m
m
Ento n = p/q, onde p = n2 mathbbZ
e q = m2 Z e q 6= 0, j que m 6= 0. Ou seja, n
racional. Portanto, se n irracional, ento n irracional.
15. Prove que, se o produto de dois nmeros inteiros (xy) no divisvel por n, ento x no
divisvel por n e y no divisvel por n.
Prova: (Contrapositivo). Suponha que x divisvel por n ou que y divisvel por n. Considere
os seguintes possveis casos:
(a) x divisvel por n, isto , x = kn, onde k Z. Ento xy = (kn)y = (ky)n. Ou seja,
xy = k 0 n onde k 0 o inteiro (ky). Portanto, (xy) divisvel por n.
(b) y divisvel por n, isto , y = kn, onde k Z. Ento xy = x(kn) = (kx)n. Ou seja,
xy = k 0 n onde k 0 o inteiro (kx). Portanto, (xy) divisvel por n.
16. Sejam a e b inteiros no nulos. Prove que mdc(a, b) = mdc(a b, b).
Prova: (Direta) Sejam a e b inteiros no nulos e seja d = mdc(a, b). Como d um divisor de a e
de b, temos que a = dn e b = dm, para alguns inteiros n e m. Ento ab = dndm = d(nm)
e, portanto, d tambm um divisor de ab. Como ele no pode ser maior que o mximo divisor
comum de a b e b, temos que d mdc(a b, b).
Seja agora e = mdc(a b, b). Ento, e um divisor de a b e de b, isto , a b = en e b = em,
para alguns inteiros n e m. Ento a = (a b) + b = en + em = e(n + m). Portanto, temos
que e um divisor tanto de a como de b. Mas e no pode ser maior do que o mximo divisor
comum de a e b, isto , mdc(a b, b) = e mdc(a, b).
Os dois pargrafos acima nos do que mdc(a, b) mdc(a b, b) e mdc(a b, b) mdc(a, b).
Portanto, mdc(a, b) = mdc(a b, b).

Definies teis
Definio 1 Seja n Z. n par se existe k Z tal que n = 2k; n impar se existe k Z tal que
n = 2k + 1.
Definio 2 Sejam n, d Z. Dizemos que n divisvel por d (notao d|n) se existe k Z tal que
n = kd.
Definio 3 Um nmero n um quadrado perfeito se existe k Z tal que n = k 2 .
Definio 4 Seja n Z e n > 1. n primo se, para quaisquer m, k Z tais que n = mk, temos
m = 1 ou k = 1; n composto caso contrrio, isto , se existem m, k Z tais que n = mk e m 6= 1
e k 6= 1.
Definio 5 Seja r R. r racional se existem p, q Z tais que r = p/q e q 6= 0; r irracional
caso contrrio.
Definio 6 O Mximo divisor comum de dois inteiros a e b, denotado como mdc(a, b) o maior
inteiro que divide tanto a quanto b. O mnimo mltiplo comum de dois inteiros a e b, denotado como
mmc(a, b), o menor inteiro que mltiplo tanto de a quanto de b. Observaes: mdc(a, 0) =
mdc(0, a) = |a| se a 6= 0; mdc(0, 0) = .