Você está na página 1de 2

Princpio da Inducao Matematica

Jose Victor Gomes Teixeira, Francisco Neto Souza e Felipe Moura

Universidade Federal do Rio Grande do Norte


Centro de Ciencias Exatas e da Terra

PET Matematica

7 de marco de 2017

1 Os Axiomas de Peano
Partindo-se de tres axiomas (fatos b asicos), e possvel construir todo o conjunto dos n
umeros naturais N, com todas as
propriedades usuais, i.e., as propriedades que j
a admitimos quando trabalhamos com os naturais. Esses axiomas sao chamados
de Axiomas de Peano, em homenagem ao matem atico italiano Giuseppe Peano (1858-1932). Sao eles:

ao injetiva s : N N, que associa a cada n N seu sucessor s(n).


1. Existe um conjunto N e uma func
nico elemento em N, chamado 1 (le-se um), tal que 1 6= s(n), n N.
2. Existe um u
3. Se um subconjunto X N e tal que 1 X, e, para todo n X, temos s(n) X, entao X = N.

Ou ltimo axioma e chamado Princpio da Indu c


ao Matem atica. Ele e utilizado para demonstrar enunciados envolvendo
os n
umeros naturais, e e uma ferramenta bastante u
til em provas formais em geral.

Observa cao 1: Note que o enunciado do axioma 3 fala em s(n), ou seja, o sucessor de n. Em uma construc ao formal de
N, e necess
ario provar que s(n) = n+1. Porem, aqui trataremos este fato como verdadeiro, sem necessidade de demonstrac
ao.

Observa cao 2: O enunciado do axioma 3 pode mudar dependendo da area da Matematica na qual esta sendo empre-
gado. Ao inves de 1, podemos ter 0 como elemento em N que nao e sucessor de nenhum natural. A Analise Matem atica

adota o 1, por exemplo, enquanto a Algebra Abstrata prescinde do 0, por questoes de formalizacao. Aqui adotaremos a forma
j
a enunciada.

2 O Princpio da Indu
cao Matem
atica
Feitas tais considerac
oes, podemos enunciar o Princpio da Inducao Matematica da seguinte forma:

Se um subconjunto X N e tal que 1 X, e, para todo n X, temos n + 1 X, entao X = N.

A inducao pode ser pensada como um jogo de enfileirar dominos. Como podemos ter certeza que uma fileira de domin os
inteira ir simples: primeiro, nos certificamos que o primeiro caira; alem disso, se soubermos que quando um domin
a cair? E o
cai, seu sucessor sempre cai, ent
ao toda a fileira ir
a cair. A ideia a ser empregada nas demonstracoes e que, se a propriedade
vale para 1 e, admitindo que ela vale para um n qualquer, conseguimos mostrar que ela vale para n + 1, entao a propriedade
vale para todos os naturais. O passo em que mostramos que vale para 1 chama-se caso base; o fato que admitimos como
verdadeiro para um n qualquer chama-se hip otese de indu c
ao. Ilustremos com o seguinte exemplo:

Exemplo 1. Provemos usando induc ao que, n N, temos 1 + 2 + 3 + ... + n = n(n+1)2 . De fato, temos que vale para n = 1,
1(1+1) n(n+1)
pois 1 = 2 ; esse e o caso base. Agora, supomos que vale 1 + 2 + 3 + ... + n = 2 (hipotese de indu c
ao), e temos
que demonstrar que vale para n = n + 1. Ora, 1 + 2 + ... + (n + 1) = 1 + 2 + ... + n + (n + 1) = n(n+1)
2 + (n + 1) = (n+1)(n+2)
2 .
Logo, a propriedade vale tambem para n + 1, e pelo P.I.M., a igualdade vale para todos os naturais.

1
2.1 Exerccios
a) 1 + 3 + 5 + ... + 2n 1 = n2
b) 4 + 8 + 12 + ... + 4n = 2n(n + 1)

c) 10n + 3 4(n+2) + 5 e divisvel por 9


n(n+1)(n+2)(n+3)
d) 1 2 3 + 2 3 4 + ... + n(n + 1)(n + 2) = 4

e) sen(2n ) = 2n sen() cos() cos(2) ... cos(2n1 )

3 Problemas Envolvendo Induc


ao
A seguir, apresentamos alguns problemas praticos que podem ser solucionados usando-se a ideia da inducao matem
atica.
Ser
a dado o enunciado do problema,e, em seguida, sua solucao (tente fazer sozinho!).

3.1 O Problema da Moeda Falsa do Rei


Uma das 3n moedas de ouro de um Rei e falsa e pesa menos que as verdadeiras, que tem todas o mesmo peso. Essa diferenca
de peso e quase imperceptvel, e n
ao se pode determinar a moeda falsa sem o uso de uma balanca de dois pratos. Mostre que
com n pesagens o Rei pode descobrir qual e a moeda falsa.

Solu
cao

Se n=1, o Rei possui 3 moedas de ouro. Para descobrir qual e a falsa, basta fazer uma pesagem: pesando quaisquer
duas das tres moedas, se elas tiverem o mesmo peso, a restante e a falsa; caso uma das duas seja mais leve, ela e a falsa.
Agora suponha que com n pesagens conseguimos determinar qual e a moeda falsa dentre 3n moedas. Se tivermos 3n+1
moedas, podemos dividir em 3 grupos de 3n moedas; fazemos uma pesagem (caso base) entre cada um desses grupos e
descobrimos qual o mais leve. Logo depois, identificado o mais leve, fazemos n pesagens pra achar a moeda falsa (hip otese
de induc
ao). Portanto, ao final do processo fizemos n + 1 pesagens, e o problema foi verificado.

3.2 A Torre de Han


oi
A Torre de Han uvel com qualquer quantidade n de discos, com uma quantidade mnima de 2n 1 movimentos.
oi e sol

Solu
cao

Se n = 1, temos um disco e basta movermos ele de uma haste para outra (21 1 = 1 movimento). Caso seja n = 2,
movemos um dos discos para uma haste, o outro disco para a outra haste, e depois o primeiro disco em cima do segundo
(22 1 = 3 movimentos). Agora suponha que a Torre seja sol uvel com n discos, sendo necessario um mnimo de 2n 1
n
movimentos. Assim, se tivermos n+1 discos, levaremos 2 1 para passar os n primeiros discos para outra haste; em seguida,
um movimento para passar o u ltimo disco para a outra haste, e por fim, mais 2n 1 movimentos para colocar os n discos
ltimo. No total, temos (2n 1) 2 + 1 = 2n+1 1. Logo, pelo P.I.M., o problema foi verificado.
em cima do u

3.3 Soma de N
umeros de Fibonacci
Mostre que
F1 + F2 + ... + Fn = Fn+2 1
sendo Fn o enesimo n
umero de Fibonacci.

Refer
encias
[1] DE OLIVEIRA SANTOS, Jose Plnio. Introduc
ao `
a Teoria dos N
umeros. IMPA, 1998.
[2] FERREIRA, Jamil. A Construc
ao dos N
umeros. Rio de Janeiro: SBM, 2013.
[3] LIMA, Elon Lages. An
alise Real de Func
oes de Uma Vari
avel, v. 1. Rio de Janeiro: IMPA, 2012.
[4] PEREIRA, Paulo Cesar Antunes. O Princpio da Inducao Finita - Uma Abordagem no Ensino Medio. Diss. de
mestrado. IMPA, 2013.