Lista de exerccios resolvidos

Parte I: Tcnicas de prova e definies indutivas

1) Vamos provar a conjectura Para um nmero ser primo no suficiente que
seja mpar. Siga os seguintes passos para prov-la:
(a) Desconsidere o no do enunciado e coloque o restante na forma se P ento Q
(b) Para provar a frase original no (se P ento Q) basta refutar se P ento Q
(a) Como o enunciado fala em suficincia o P ser a segunda parte o nmero
impar. Logo, o enunciado sem a negao ser se um nmero mpar ento ele
primo
(b) para refutar (a) basta encontrar um contra-exemplo. Ora, 9 mpar mas no
primo. Logo a conjectura original est provada.

2)
Prove que para um inteiro n, n3+5 mpar se somente se n par:
a) por contraposio (a parte se)
Temos que provar que Se n par ento n3+5 mpar por contraposio, ou seja:
. Temos que provar que Se n3+5 par ento n mpar
Se n3+5 par ento n3+5 = 2k logo n3 +2.2 + 1 = 2k, logo n3 tem que ser mpar pois se
fosse par daria 2m+2.2 + 1= 2(m+2) + 1 o que mpar.
Mas, se n3 mpar, n no pode ser par pois nesse caso n3=2r.2r.2r = 2(4r2) que par.
Logo n tem que ser mpar. c.q.d.

Temos que provar que Se n no par ento n3+5 no mpar.

Como, por hiptese n mpar, ser da forma n= 2k+1 para algum k. Ento
n3 +5= (2k+1)3 +5= (4k2 + 4k+1)(2k+1)+5 = 8k3+8k+2k+4k2+4k+1+5 =
8k3+4k2+14k+6= 2 (4k3+2k714k+3), logo r= 4k3+2k714k+3 um inteiro e temos que
n3 +5= 2r, portanto par. C.Q.D.
b) por absurdo ( a parte somente se)
Temos que provar que Se n3+5 mpar ento n par por absurdo.
Suponhamos que n3+5 mpar mas n tambm mpar.
Mas, se n mpar, da forma 2k+1, nesse caso teramos
n3 +5 = (2k+1)3 = (2k+1) (2k+1) (2k+1) + 5 = (4k2+ 4k+3)(2k+1) + 5 =
8k3 + 4k2 + 8k2 + 4k + 6k + 3 + 5 = 8k3 + 12k2 + 8k + 8 = 2(4k3 + 6k2 + 4k + 4)
Que para, em contradio de que n3+5 mpar. c.q.d.

3) Prove que se x positivo ento x+1 positivo

a) por contraposio
b) por contradio
(a) provar que se x+1 no positivo ento x no positivo. Ora, se x+1 0, como
x<x+1, teremos que x tambm negativo;
(b) suponha que x 0 e x+1 < 0. Como x 0, e x+1 > x, teremos x+1 > 0,
contradio com a hiptese.

4) (a) Mostre, por contradio, que a funo inversa de uma funo bijetiva f(x),
nica.
Suponhamos que f(x) tem duas inversas f1-1(y) e f2-1(y). Como as duas funes so
diferentes existe um y tal que f1-1(y) f2-1(y). Neste caso, se x1= f1-1(y) e x2 = f2-1(y)
 temos que, f(x1)=y e f(x2)=y, j que as duas so inversas de f(x). Mas neste caso f(x)
no injetiva e, portanto, no bijetiva! CONTRADIO.
(b) Prove, por induo, que para todo inteiro positivo n vale que 7n-2n divisvel
por 5.
Para n=1 temos 7-2=5 OK
Supondo que 7n-2n divisvel por 5 existe um k tal que 7n-2n=5k.
Agora 7(n+1) 2(n+1)= 7n+7-(2n+2)= 7n-2n +7-2 = 5k +7-2=5(k+1).
CONFIRMADO

5) A seqncia de nmeros triangulares 1, 3, 6, 10, .. baseada nos tringulos

1 3 6
Encontre a relao de recorrncia e a frmula fechada desta seqncia. Para
encontrar a frmula fechada use o princpio expandir, supor, verificar.
A sequncia ser 1, 3(=1+2), 6(=3+3), 10(=6+4), 15(=10+5), 21(=15+6),.., logo a
relao de recorrncia ser: S(1) = 1 e S(n) = S(n-1) + n.
Frmula fechada:
Expandir: S(1) = 1; S(2) = 1 + 2; S(3) = 1 + 2 + 3; S(4) = 1 + 2 + 3 + 4
Supor: S(n) = i=1,..,n i
Verificar: S(1)=1 = i=1,..,1 i
Supondo verdadeiro que S(n) = i=1,..,n i temos que
S(n+1) = S(n) + n+1 = i=1,..,n i + n+1 = i=1,..,n+1 i C.Q.D.O

6) Mostre, por induo, que para a seqncia de Fibonacci vale a relao

F(n) < 2n

(N.B. a seqncia de Fibonacci dada por F(1)=1; F(2)=2 e F(n)=F(n-1) + F(n-2))

Hiptese de induo: F(1) = 1 < 21, F(2) = 2 < 22, F(n-1) < 2n-1 e F(n) < 2n.
Vamos mostrar que F(n+1) = < 2n+1 para n > 2
Por definio temos que
F(n+1) = F(n) + F(n-1), substituindo a hiptese de induo, temos que
F(n+1) < = 2. 2n-1 + 2n-1. = 3.2n-1 < 4.2n-1 = 2n+1 est provada a conjectura.
Na prova acima foi usada induo completa. A prova por induo simples seria:
F(n+1) = F(n) + F(n-1), pela definio de F(n)
= F(n-1)+F(n-2) + F(n-1), pela hiptese de induo
< 2n + F(n-1) como F(n-1) = F(n) F(n-2)
< 2 + 2 F(n-2) = 2 F(n-2)
n n n+1

Ento temos F(n+1) + F(n-2) < 2n+1 e, como F(n-2) > 0 teremos F(n+1) < 2n+1
7) Mostre, por induo, que n3 + 2n divisvel por 3
n=1: 1+2=3
supondo que n3.+ 2n divisvel por 3, temos n3.+ 2n = 3k
agora (n+1)3.+ 2(n+1) =
(n+1)(n2 + 2n +1)+2n+2 = n3 + 2n2 + n + n2 + 2n + 1 + 2n +2 =
3k + 3n2 + 3n +3 = 3(k + n2 + 3n + 1)
8) Prove que se x e y so mpares ento x+y par
a. Por contraposio :
 Se x+y impar ento x ou y par.
Pela hiptese x+y = 2n + 1. Mas, para que isso aconteca, x e y no podem
ser ambos mpares pois, neste caso, teramos x+y = 2k+1 + 2r+1 = 2(k+r+1),
que par. Logo x ou y tem que ser par.
b. Por contradio
Para x e y impares, suponha x+y impar. Mas, se x+y mpar, x+y = 2k+1.
Nesse caso x e y no podem ser ambos mpares pois, teramos x+y =2k+1 +
2r+1 = 2(k+r+1), que par!

9) Uma sequncia definida por S(1) = 1, S(n)=n+S(n-1)

Encontre a forma fechada, usando o princpio: expandir, supor, verificar.
RESP:
Expandir: S(1) = 1; S(2) = 2 + 1; S(3) = 3 + S(2) = 3 + 2 + 1; S(4) = 4 + S(3) = 4 + 3 + 2 + 1
Supor: S(n) = i=1,..,n i
Verificar: por induo: S(1) = i=1,..,1 i = 1, OK
Supondo que vale S(n) = i=1,..,n i teremos
S(n+1) = n+1 + S(n) = n+1 + i=1,..,n i = i=1,..,n+1 i. Verificado!

10) Demonstre quais das afirmaes a seguir so verdadeiras ou mostre quais so

falsas:
a) O cubo de um nmero par x par
Verdadeiro. Prova por absurdo: Suponhamos que existe um mpar n = p3, em que p
um par. Logo n = p.p.p = p2.p Como p par existe um inteiro q tal que p=2.q. Mas
ento temos que = p2.q.2 e fazendo p2.q = m temos n = 2.m, contradizendo a
suposio de que n mpar.
b) |x+y| |x| + |y|
Verdadeiro: Temos 3 casos principais: (1) x e y positivos, (2) um deles negativo e
(3) ambos negativos.
(1) Neste caso, |x| = x e |y| = y, logo |x+y| = |x| + |y| = x+y
(2) Seja x< 0 e y 0, neste caso x+y < |x| + y = |x| + |y| e, como para todo nmero
n|n| temos que |x+y| < ||x| + |y|| = |x| + |y|
(3) para x e y negativos teremos |x+y| |-(-x + -y)| = |(-x + -y)| |-x| + |-y| = |x| + |y|
(4) Os casos em que um deles 0 podem ser enquadrados nos casos anteriores.
c) 1+5+9+ ... + (4n-3) = n(2n-1) {prove por induo que vale para todo inteiro
positivo n}
Prova:
Para n=1 temos 4n-3=1 a sequncia ter um s termo como 1=1(2.1-1)= 1. OK
Supondo que vale para n, para n+1 sera:
1+5+9+ ... + (4n-3)+(4(n+1)-3) = (n+1)(2(n+1)-1)
n(2n-1) + 4n+4-3 = 2n2-n + 4n +1= 2n2 + 3n +1
A outra parte fica sendo
(n+1)(2n+2-1) = (n+1)(2n+1) = 2n2+n+ 2n+1=2n2+3n+1 C.Q.D.
11)
Sabemos que para uma relao de recorrncia do tipo S(n) = c.S(n-1) + g(n),
podemos encontrar a frmula fechada pela equao S(n) = cn-1 S(1) + (k=0..n-2) ck g(n-
k). Aplique esta equao relao de recorrncia a S(1) = 2; S(n) = 2.S(n-1) + n2 + 1
a) Determine sua frmula fechada
A equao S(n) = cn-1 S(1) + (k=0..n-2) ck g(n-k), aplicada relao S(1) = 2 e S(n) = 2.S(n-1) + n2 + 1
Temos que c= 2, S(1)=2 e g(n) = n2+1, logo a frmula ser
S(n) = 2n-1 2 + (k=0..n-2) [2k ((n-k)2+1)] = 2n + (k=0..n-2) [2k ((n-k)2+1)]
 b) Calcule S(4)
Para n=4, temos que S(4) = 24-1 2 + (k=0..4-2) [2k ((4-k)2+1)] = 23 2 + (k=0..2) [2k ((4-k)2+1)] = 16 + 20 (42+1)
+ 21.(32+1) + 22.(22+1) = 16 + 16+1 + 2(9+1) + 4(4+1) = 33 + 20 + 20 = 73
Conferindo: S(1) = 2; S(2) = 4+4+1=9; S(3) = 2.9+9+1= 28; S(4) = 2.28+16+1=
73