Vous êtes sur la page 1sur 4

ESTRUTRAS ALGEBRICAS

LISTA DE EXERCICIOS INDUCAO FINITA


Prof.: Carlos Alexandre Ribeiro Martins.

Exerccio 1 Use inducao finita para deduzir uma formula para a soma dos n primeiros
numeros naturais a partir de n = 0.

Exerccio 2 Use inducao finita para deduzir uma formula para a soma dos n primeiros
numeros naturais pares.

Exerccio 3 1 + 3 + 5 + + (2n 1) = n2 + 3

1 1 1 1
  
Exerccio 4 1 2
1 3
1 n+1 = n+1
, n N

Exerccio 5 Em cada um dos casos abaixo, verifique a partir de qual valor de n N a


desigualdade e valida e use PIF para provar:
a) 2n > n;
b) n! > 2n ;
c) n! > 3n .

Exerccio 6 Ache uma formula para as somas:


a) 2 + 4 + 8 + + 2n ;
1
b) 2
+ 14 + 18 21n ;
c) 2 + 5 + 8 + 11 + + (3n 1).

1 1 1 n
Exerccio 7 12
+ 23
+ + n(n+1)
= n+1
, n 1

1 1 1 n(n+3)
Exerccio 8 123
+ 234
+ + n(n+1)(n+2)
= 4(n+1)(n+2)
, n 1

n(n + 1)(2n + 1)
Exerccio 9 12 + 22 + + n2 = , n 1.
6

Exerccio 10 13 + 23 + + n3 = (1 + 2 + + n)2 , n 1

Exerccio 11 n2 > n + 1, n 2

1
1
Exerccio 12 1 + 2 + 3 + + n < (2n + 1)2 , n N
8

Exerccio 13 1 + 2n 3n , n N

Exerccio 14 n < 2n , n N

Exerccio 15 Se n N e mpar, entao n3 n e divisvel por 24.

Exerccio 16 Prove que n3 + 2n sempre e divisvel por 3.

Exerccio 17 22n + 15n 1 e divisvel por 9, n 1

Exerccio 18 32n+1 + 2n+2 e divisvel por 7, n N

Exerccio 19 22n1 3n+2 + 1 e divisvel por 11, n 1

Exerccio 20 23n 1 e divisvel por 7, n N

Exerccio 21 32n + 7 e divisvel por 8, n N

Exerccio 22 34n+2 + 2 43n+1 e divisvel por 17, n N

Exerccio 23 32n + 7 e divisvel por 8, n N

Exerccio 24 10n + 3 4n+2 + 5 e divisvel por 9, n N

Exerccio 25 Se 0 < a < 1 e n 1, mostre que an+1 < an .

 a n+1  a n
Exerccio 26 Se 0 < a < b, entao <
b b

Exerccio 27 Seja 0 6= a Z e m N, definimos as potencias nao-negativas de a por


a0 = 1, a1 = a e am = a a a. Mostre que:
a) am an = am+n ;
b) (am )n = amn ;
c) (a b)n = an am .

Exerccio 28 Seja a R, a 1, prove que (1 + a)n 1 + na, para n 1.

2
n(n 3)
Exerccio 29 Um polgono convexo de n lados tem exatemente diagonais.
2

Exerccio 30 Mostre que a soma dos angulos internos de um polgono de n lados (n 3)


e igual a (n 2) 180.

Exerccio 31 O PROBLEMA DA MOEDA FALSA


Tem-se 2n moedas, sendo uma delas falsa, com peso menor do que as demais. Dispoe-se
de uma balanca de dois pratos, mas sem nenhum peso. Mostre por inducao sobre n, que
e possvel achar a moeda falsa com n pesagens.

Exerccio 32 O PROBLEMA DA MOEDA FALSA GENERALIZADO


Segue demonstracao do problema da moeda falsa generalizado. Nesta solucao e usado o
segundo princpio de inducao finita.
Seja m o numero total de moedas, das quais uma e falsa. Escrevamos a expansao binaria
de m:
m = 2n1 + 2n2 + + 2nr .

Vamos mostrar que n1 pesagens sao suficientes para descobrir a moeda falsa. A demos-
tracao sera feita usando a segunda forma do Princpio de Inducao sobre n1 .
Suponha que n1 = 1, ou seja, temos, no maximo, tres moedas. Pondo uma moeda em
cada prato da balanca, descobre-se imediatamente a moeda falsa e, portanto, o resultado
e trivialmente verificado.
Suponha o resultado verdadeiro para todo n0 < n1 .
Sejam agora 2n1 + 2n2 + + 2nr moedas, das quais uma e falsa. Separemos as moedas em
2 lotes com, respectivamente, 2n1 e 2n2 + +2nr moedas cada um. Comecamos analisando
o primeiro lote com 2n1 moedas. Se a moeda falsa esta neste lote, com o metodo discutido
no exerccio anterior, sabemos que podemos descobrir a moeda falsa com, no maximo,
n1 pesagens. Se este lote nao contem a moeda falsa, descobrimos isto com apenas uma
pesagem (poe-se metade das moedas do lote em cada prato; se a balanca se equilibrar, a
moeda falsa nao se encontra a) e descartamos o lote todo. Sobram, entao, 2n2 + + 2nr
moedas a serem analisadas. Pelo hipotese de inducao, bastam n2 pesagens para descobrir
a moeda falsa, que, juntamente com a pesagem ja realizada, perfazem um total de n2 + 1
pesagens que certamente e menor ou igual do que n1 .

Exerccio 33 Sao dadas 3n moedas, uma das quais foi adulterada e pesa menos do que
devia. Voce tem uma balanca de dois pratos, mas nao tem pesos. A unica forma de
pesagem permitida consiste em por algumas moedas em cada prato e verificar se a balanca
esta equilibrada. Mostre, por inducao finita, que n pesagens deste tipo sao suficientes para
achar a moeda adulterada.

3
Exerccio 34 O princpio de inducao e muito util, mas precisamos usa-lo com o devido
cuidado, para nao cair em ciladas. Por exemplo: o que ha de errado com a seguinte
demonstracao que em qualquer conjunto finito de bolas coloridas, todas as bolas tem que
ter a mesma cor? A demonstracao e por inducao no numero de elementos do conjunto:
Se o conjunto tem uma unica bola, entao todas as bolas tem a mesma cor; isto certamente
e verdade.
Suponhamos que em qualquer conjunto de k bolas coloridas, todas as bolas tem a mesma
cor.
Queremos usar isto para mostrar que em um conjunto S de k + 1 bolas coloridas (que
vamos denotar por b1 , , bk+1 ), todas as bolas tem a mesma cor. Para provar isto, faca
o seguinte. Do conjunto de k + 1 bolas retire a bola bk+1 . Assim ficamos com as k
bolas b1 , , bk que, pela hipotese de inducao, terao todas a mesma cor. Para concluir a
demonstracao, basta mostrar que bk+1 tem a mesma cor das demais bolas. Ponha entao a
bola retirada de volta no conjunto, e retire uma outra bola, digamos b1 . Novamente temos
um conjunto de k bolas, que desta vez que e b2 , , bk+1 . Pela hipotese de inducao todas
estas bolas devem ter a mesma cor. Logo b2 e bk+1 tem a mesma cor. Portanto todas as
bolas de S tem a mesma cor, ja que b1 , , bk sao todas bolas de uma mesma cor!

Exerccio 35 Para todo numero natural n 1 seja p(n) a proposicao: o numero natural
n2 + n e mpar. Supondo-se que p(n) seja verdadeira e notando-se que:

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

concluimos que (n + 1)2 + (n + 1) e mpar, pois 2(n + 1) e par e, por hipotese, n2 + n


e mpar, portanto, p(n + 1) tambem e verdadeira. No entanto, a proposicao p(n) e falsa
para todo numero natural n 1, pois n2 + n = n(n + 1), numero este que e par porque
pelo menos um dos fatores n ou n + 1 e par. Onde esta o erro nesta demonstracao.

BOM TRABALHO!!!

Vous aimerez peut-être aussi