You are on page 1of 3

MATEMÁTICA DISCRETA Indução Matemática

SEGUNDO SEM. 2011 MA220

UNICAMP Prof. Stefano De Leo

Indução Matemática

A demonstração de veracidade de uma determinada proposição matemática P (n), para todos os inteiros
n ≥ n0 , comporta dois passos:

(1) verifica-se a sua validade para um dado valor inteiro n0 da variável de indução n,

(2) assume-se que é valida para um inteiro k e demonstra-se que é também vãlida para k + 1.

2
• 1) 1 + 3 + 5 + ... + 2n + 1 = (n + 1) para n ≥ 0

1.1)
2 √
n = 0: 1 = (0 + 1)
1.2)
2 √
1 + 3 + 5 + ... + 2k + 1 = (k + 1)
2
1 + 3 + 5 + ... + 2k + 1 +2(k + 1) + 1 = [(k + 1) + 1] ?
| {z }
2
(k + 1)
2 2 √
k + 2k + 1 + 2k + 3 = (k + 2)

• 2) 2 + 4 + 6 + ... + 2n = n (n + 1) para n ≥ 1

2.1) √
n = 1: 2 = 1 (1 + 1)
2.2) √
2 + 4 + 6 + ... + 2k = k (k + 1)
2 + 4 + 6 + ... + 2k +2(k + 1) = (k + 1) [(k + 1) + 1] ?
| {z }
k (k + 1)
2 √
k + k + 2k + 2 = (k + 1) (k + 2)

• 3) 1 + 2 + 3 + ... + n = n (n + 1) /2 para n ≥ 1

3.1) √
n = 1: 1 = 1 (1 + 1) /2
3.2) √
1 + 2 + 3 + ... + k = k (k + 1) /2
1 + 2 + 3 + ... + k + k + 1 = (k + 1) [(k + 1) + 1] /2 ?
| {z }
µ k (k +
¶ 1) /2
k k+2 √
+ 1 (k + 1) = (k + 1)
2 2
n
• 4) 2 > n para n ≥ 1

4.1)
1 √
n = 1: 2 > 1
4.2)
k √
2 >k
k+1
2k+1 > k + k1 ? k+1 √
2 = 2 · 2 > 2k = k + k ≥ k + 1 ⇒ 2 >k+1

• 5) n2 > 3 n para n ≥ 4

5.1)
2 √
n = 4: 4 > 3 · 4
5.2)
2 √
k > 3k
2
(k + 1) > 3 (k + 1) ?
2 2 2 √
(k + 1) = k + 2k + 1 > 3k + 2k + 1 ≥= 3k + 9 > 3k + 3 ⇒ (k + 1) > 3 (k + 1)
| {z }
≥9

n+1 n
• 6) 2 < 3 para n ≥ 2

6.1)
2+1 2 √
n = 2: 2 <3
6.2)
k+1 k √
2 <3
(k+1)+1 k+1
2k+2 < 3k ? k k k+1 (k+1)+1 k+1 √
2 =2·2 <2·3 <3·3 =3 ⇒2 <3

1 1 1 1 1
• 7) + 2 + 3 + ... + n = 1 − n para n ≥ 1
2 2 2 2 2
7.1)
1 1 √
n = 1: =1−
2 2
7.2)
1 1 1 1 1 √
+ + 3 + ... + k = 1 − k
2 22 2 2 2
1 1 1 1 1 1
+ 2 + 3 + ... + k + k+1 = 1 − k+1 ?
|2 2 2{z 2} 2 2
1
1− k
2
2 1 1 √
1 − k+1 + k+1 = 1 − k+1
2 2 2
µ ¶
n Pn n p n−p
• 8) (a + b) = a b
p=0 p

8.1) µ ¶
0 0 0 0−0 √
n = 0: (a + b) = a b
0
8.2) µ ¶
k Pkk p k−p √
(a + b) = p=0 a b
p
µ ¶
k+1 Pk+1 k + 1 p k+1−p
(a + b) = p=0 a b ?
p
µ ¶
k+1 Pk k p k−p
(a + b) = (a + b) p=0 a b
µ ¶ p µ ¶
Pk k p+1 k−p Pk k p k+1−p
= p=0 a b + p=0 a b
µ p ¶ p µ ¶
Pk+1 k p k−p+1 Pk k p k+1−p
= p=1 a b + p=0 a b
µ ¶ p − 1 µ ¶ p µ ¶ µ ¶
k k+1 0 Pk k p k−p+1 k 0 k+1 Pk k p k+1−p
= a b + p=1 a b + a b + p=1 a b
µ k ¶ p −
·µ1 ¶ µ ¶¸ 0 µ p

k+1 0 k+1 Pk k k p k+1−p k+1 k+1 0 √
= a b + p=1 + a b + a b
0 p−1 p k+1
| {z }
µ ¶
k+1
p

n n Pn−1 p n−1−p
• 9) a − b = (a − b) p=0
a b

9.1)
0 1−1−0 √
n = 1: a − b = (a − b) a b
9.2)
k k Pk−1 p k−1−p √
a − b = (a − b) p=0 a b
k+1 k+1 Pk p k−p
a −b = (a − b) p=0 a b ?
k+1 k+1 k k k k
a −b = a·a −b·b −b·a +b·a
k k k
= (a − b) ah + b (a − b )
k Pk−1 p k−1−p i h k Pk−1 p k−p i Pk p k−p √
= (a − b) a + b p=0 a b = (a − b) a + p=0 a b = (a − b) p=0 a b

You might also like