Sistemas Discretos

Profa. Larissa A. de Freitas

larissa@inf.ufpel.edu.br
 Exercícios

• Prove que, para qualquer inteiro posi0vo n, o

número 22n - 1 é divisível por 3.

2
 Exercícios

• Prove que, para qualquer inteiro posi0vo n, o

número 22n - 1 é divisível por 3.

n ∈ {1,2,3,4 ...}

• 22(1) - 1 = 4 - 1 = 3 é divisível por 3

• 22(3) - 1 = 64 - 1 = 63 é divisível por 3

3
 Exercícios

• Prove que, para qualquer inteiro posi0vo n, o

número 22n - 1 é divisível por 3.
• Base
• A base da indução é mostrar P(1), ou seja,
mostrar que 22(1) - 1 = 4 - 1 = 3 é divisível por 3,
o que obviamente é verdadeiro.

4
 Exercícios

• Prove que, para qualquer inteiro posi0vo n, o

número 22n - 1 é divisível por 3.
• HI
• Assumimos que 22k - 1 é divisível por 3, o que
equivale a escrever 22k - 1 = 3m, para algum
inteiro m, ou 22k = 3m + 1. Desejamos mostrar
que 22(k+1) - 1 é divisível por 3.

5
 Exercícios

• Prove que, para qualquer inteiro posi0vo n, o

número 22n - 1 é divisível por 3.
• Passo
22(k+1) - 1 = 22k+2 - 1
= 22.22k - 1
= 22.(3m + 1) - 1 (pela hipótese da indução)
= 12 m + 4 - 1
= 12 m + 3
= 3 (4m + 1) onde 4m + 1 é um inteiro 6
 Exercícios

• Prove que, para qualquer inteiro posi0vo n, o

número 22n - 1 é divisível por 3.

• Logo 22(k+1) - 1 é divisível por 3.

7
 Exercícios

• Prove que, para qualquer inteiro posi0vo n,

n3 - n é divisível por 3

8
 Exercícios

• Prove que, para qualquer inteiro posi0vo n,

n3 - n é divisível por 3

n ∈ {1,2,3,4 ...}

• 13 - 1 = 0 é divisível por 3
• 23 - 2 = 6 é divisível por 3

9
 Exercícios

• Prove que, para qualquer inteiro posi0vo n,

n3 - n é divisível por 3
• Base
• A base da indução é mostrar P(1), ou seja,
mostrar que 13 - 1 = 0 é divisível por 3, o que
obviamente é verdadeiro.

10
 Exercícios

• Prove que, para qualquer inteiro posi0vo n,

n3 - n é divisível por 3
• HI
• Assumimos que k3 - k é divisível por 3.
Desejamos mostrar que (k + 1)3 - (k + 1) é
divisível por 3.

11
 Exercícios

• Prove que, para qualquer inteiro posi0vo n,

n3 - n é divisível por 3
• Passo
(k + 1)3 - (k + 1) = (k3 + 3k2 + 3k + 1) - (k + 1)
= (k3 - k) + 3 (k2 + k)

12
 Exercícios

• Prove que, para qualquer inteiro posi0vo n,

n3 - n é divisível por 3

• Logo (k + 1)3 - (k + 1) é divisível por 3.

13
 Exercícios

• Prove que, para qualquer inteiro não nega0vo

n, 7n+2 + 82n+1 é divisível por 57

14
 Exercícios

• Prove que, para qualquer inteiro não nega0vo

n, 7n+2 + 82n+1 é divisível por 57

n ∈ {0,1,2,3,4 ...}

• 70+2 + 82.0+1 = 57 é divisível por 57

• 71+2 + 82.1+1 = 855 é divisível por 57

15
 Exercícios

• Prove que, para qualquer inteiro não nega0vo

n, 7n+2 + 82n+1 é divisível por 57
• Base
• A base da indução é mostrar P(0), ou seja,
mostrar que 70+2 + 82.0+1 = 72 + 81 = 57 é
divisível por 57, o que obviamente é
verdadeiro.

16
 Exercícios

• Prove que, para qualquer inteiro não nega0vo

n, 7n+2 + 82n+1 é divisível por 57
• HI
• Assumimos que 7k+2 + 82k+1 é divisível por 57.
Desejamos mostrar que 7(k+1)+2 + 82(k+1)+1 é
divisível por 57.

17
 Exercícios

• Prove que, para qualquer inteiro não nega0vo

n, 7n+2 + 82n+1 é divisível por 57
• Passo
7(k+1)+2 + 82(k+1)+1
= 7k+3 + 82k+3
= 7.7k+2 + 82.82k+1
= 7.7k+2 + 64.82k+1
= 7.(7k+2 + 82k+1) + 57. 82k+1
18
 Exercícios

• Prove que, para qualquer inteiro não nega0vo

n, 7n+2 + 82n+1 é divisível por 57

• Logo 7(k+1)+2 + 82(k+1)+1 é divisível por 57.

19
Sistemas Discretos