Lista de exercícios 1 - Soluções

1) Abel está disposto a ganhar em um jogo de azar. Inicialmente, no primeiro dia, ele faz uma
aposta de 1 real. A cada novo dia, caso ele não tenha vencido no dia anterior, ele faz uma nova
aposta, apostando o dobro do valor apostado no dia anterior, e assim segue até que ganhe em
algum dia. Suponha que Abel tenha ganhado a aposta no n−ésimo dia de aposta, qual valor,
ao total, Abel terá apostado ao longo dos dias? Por exemplo, caso tenha vencido ao quarto dia
(n = 4), ele terá apostado um total de 1 + 2 + 4 + 8 = 15 reais. Apresente uma solução por
indução.

Solução. Basta notar que, ao ganhar no n−ésimo dia, o total apostado é 1 + · · · + 2n−1 .
Vamos mostrar por indução que é válida a seguinte igualdade para todo n natural.
n −1
∑ 2i = 2n − 1. (1)
i =0

Para n = 1, ambos os lados da igualdade é 1, portanto é satisfeita.

Suponha agora, que para algum n ∈ N, seja válida a Equação (1). Ao somar 2n em ambos os
lados da igualdade, obtemos
n
∑ 2i = (2n − 1) + 2n = 2n+1 − 1.
i =0

E portanto, temos a validade da Equação (1), também para n + 1. Desta forma, concluímos por
indução que a Equação (1) é válida para todo n ∈ N. E então, o total apostado por Abel ao
ganhar no n−ésimo dia é 2n − 1.

2) Mariana adora quadrados cujos lados sejam números naturais. Ela decide então colecionar
tais quadrados e sua coleção consta de n quadrados cujos lados têm medidas 1 cm, 2 cm, . . . ,
(n − 1) cm e n cm. Em função de n, mostre por indução que área total de uma figura formada
por todos os quadrados da coleção de Mariana é de

n(n + 1)(2n + 1)
cm2 .
6

Solução. Basta notar que a área total é dada por 12 + · · · + n2 . Vamos mostrar por indução que
é válida a seguinte igualdade para todo n natural.
n
n(n + 1)(2n + 1)
∑ k2 = 6
. (2)
k =1

Observe que quando n = 1, ambos os lados da igualdade acima é 1, logo temos a validade.
Suponha que seja válida para algum n natural. Somando (n + 1)2 nos dois lados da Equação (2),
chegamos em
n +1
n(n + 1)(2n + 1)
∑ k2 = 6
+ ( n + 1)2
k =1
 
n(2n + 1) + 6(n + 1)
= ( n + 1)
6
 2 
2n + 7n + 6
= ( n + 1)
6
 
(n + 2)(2n + 3) (n + 1)[(n + 1) + 1][2(n + 1) + 1]
= ( n + 1) = .
6 6

Portanto, a Equação (2) é também válida para n + 1. E, por indução, é válida para todo n
natural. O que conclui a solução do exercício.

3) Demonstre por indução que 4n − 1 é múltiplo de 3 para todo número natural n.

Solução. Basta notar que 4n é congruente a 1 módulo 3, para todo n natural.

Veja que, quando n = 1, temos 4n = 41 = 4, que deixa resto 1 quando dividido por 3.
Suponha como hipótese de indução que, n seja tal que 4n ≡ 1 ( mod 3 ). Pelas propriedades
de congruência, sabemos que,
4n +1 ≡ 4n × 4 ≡ 1 × 1 ≡ 1 ( mod 3 ).

Assim, concluímos que, de fato, 4n é congruente a 1 módulo 3, para todo n natural. O que
implica que 4n − 1 é múltiplo de 3.

4) O k −ésimo número harmônico é definido por

1 1 1
Hk = 1 + + +···+ .
2 3 k
Mostre por indução que
n
H2n ≥ 1 + , ∀n ≥ 1.
2

Solução. Observe que para n = 1, temos que H2 = 1 + 1/2, e portanto é válida a desigualdade
abaixo.
n
H2n ≥ 1 + . (3)
2
n +1
Suponha que a Desigualdade (3) seja satisfeita para um natural n. Ao somar ∑2k=2n +1 1/k em
ambos os lados da desigualdade, obtemos
2 n +1
n 1
H2n+1 ≥ 1+ + ∑
2 k = 2n + 1 k
2 n +1
n 1
> 1+ + ∑
2 k = 2n + 1 2 + 1
n

n 1
= 1+ + ( 2n +1 − 2n ) n +1
2 2
n 2n n+1
= 1 + + n +1 = 1 + .
2 2 2
Portanto, a Desigualdade (3) é também satisfeita por n + 1 e a conclusão do exercício segue do
Princípio de Indução.

5) Demonstre que para todo número natural n, são válidas as seguintes igualdades
1. 13 + · · · + n3 = (1 + · · · + n)2 ;
2. (15 + · · · + n5 ) + (17 + · · · + n7 ) = 2(1 + · · · + n)4 .

Solução.1. Vamos mostrar por indução que a igualdade abaixo é satisfeita por todo n natural.

13 + · · · + n3 = (1 + · · · + n)2 . (4)

A igualdade é claramente válida para n = 1. Como hipótese de indução, suponha que seja
válida a Equação (4) para n = k − 1, isto é, assumimos
13 + · · · + (k − 1)3 = (1 + · · · + (k − 1))2 .

Desenvolvendo a expressão (1 + · · · + k )2 , escrevemos

(1 + · · · + k)2 = (1 + · · · + (k − 1))2 + 2k(1 + · · · + (k − 1)) + k2
= 13 + · · · + (k − 1)3 + 2k(1 + · · · + (k − 1)) + k2
 

k ( k − 1)
= 13 + · · · + (k − 1)3 + 2k + k2
 
2
= 13 + · · · + ( k − 1 ) 3 + k 3 − k 2 + k 2 = 13 + · · · + k 3 ,
 

onde, na primeira passagem, foi utilizada a hipótese de indução e, na segunda passagem, foi
utilizado o fato bem conhecido de que 1 + · · · + m = m(m − 1)/2, ∀m ∈ N (que pode também
ser verificado por indução!). E portanto, está provado que a Equação (4) é de fato válida para
todo natural.

Solução.1. Vamos mostrar por indução que a igualdade abaixo é satisfeita por todo n natural.
A qual é claramente válida para n = 1.

(15 + · · · + n5 ) + (17 + · · · + n7 ) = 2(1 + · · · + n)4 . (5)

Como hipótese de indução, tome k ∈ N tal que

(15 + · · · + (k − 1)5 ) + (17 + · · · + (k − 1)7 ) = 2(1 + · · · + (k − 1))4 .

Procedendo como feito acima, é suficiente mostrar que

2(1 + · · · + k )4 = 2(1 + · · · + (k − 1))4 + k5 + k7 .

Observando que Sk := (1 + · · · + k − 1) = k (k − 1)/2, procedemos da seguinte forma

2(1 + · · · + k )4 = 2Sk4 + 8kSk3 + 12k2 Sk2 + 8k3 Sk + 2k4
8k4 (k − 1)3 12k4 (k − 1)2 8k4 (k − 1)
= 2(1 + · · · + (k − 1))4 + + + + 2k4
8 4 2
= 2(1 + · · · + (k − 1))4 + k4 (k − 1)3 + 3(k − 1)2 + 4(k − 1) + 2
 

= 2(1 + · · · + (k − 1))4 + k4 [(k − 1)3 + 3(k − 1)2 + 3(k − 1) + 1] + [(k − 1) + 1]

 

= 2(1 + · · · + (k − 1))4 + k4 [(k − 1) + 1]3 + k

 

= 2(1 + · · · + (k − 1))4 + k7 + k5 .

E portanto, está obtido o que queríamos.