Induo matemtica

Induo matemtica
Induo matemtica um mtodo de prova matemtica usado para
demonstrar a verdade de um nmero infinito de proposies. A forma
mais simples e mais comum de induo matemtica prova que um
enunciado vale para todos os nmeros naturais n e consiste de dois
passos:
1. A base: mostrar que o enunciado vale para n = 1.
2. O passo indutivo: mostrar que, se o enunciado vale para n=k, ento
o mesmo enunciado vale para n=k+1.
Esse mtodo funciona provando que o enunciado verdadeiro para um
O efeito domin.
valor inicial, e ento provando que o processo usado para ir de um
valor para o prximo valido. Se ambas as coisas so provadas, ento qualquer valor pode ser obtido atravs da
repetio desse processo. Para entender por que os dois passos so suficientes, til pensar no efeito domin: se
voc tem uma longa fila de domins em p e voc puder assegurar que:
1. O primeiro domin cair.
2. Sempre que um domin cair, seu prximo vizinho tambm cair.
ento voc pode concluir que todos os domins cairo.

Induo matemtica versus induo emprica (nas cincias naturais)

Nas cincias naturais, utiliza-se a induo emprrica. Ou seja, a partir de um grande nmero de observaes
particulares selecionadas adequadamente, formula-se leis que devem reger determinados fenmenos. A validade de
um teorema matemtico, no entanto, se estabelece de forma completamente diferente. Verificar que certa afirmao
vale para um grande nmero de casos particulares (como se faz nas cincias naturais) no permitir concluir que esta
afirmao vlida. O princpio da induo completa (ou mtodo da recorrncia), utilizado para provar que a
proposio vale para todos os casos (ou seja, na verdade h uma proposio para cada caso, freqentemente um
nmero infinito de casos).

Exemplo
Suponha que desejemos provar o seguinte enunciado:

para todos os nmeros naturais n. Esta uma frmula simples para a soma dos nmeros naturais de 1 a n. A prova de
que o enunciado verdadeiro para todos os nmeros naturais n dada a seguir.

Verificao
O primeiro passo consiste em determinar a base da prova por induo. Neste caso, tomaremos como base n = 1.
Claramente, do lado esquerdo da equao fica 1 e do lado direito 1(1 + 1) / 2, resolvendo d 1=1. Ento o enunciado
verdadeiro para n = 1.
Agora precisamos provar que o enunciado vale para n = k.
Por hiptese de induo, a equao vale para n = k-1, ou seja:

Induo matemtica
Adicionando k a ambos os lados, a igualdade se mantm, ento:

Por manipulao algbrica, temos:

Logo:

Este ltimo o enunciado para n = k. Note que, assumindo que P(K - 1) verdadeiro, podemos concluir que P(K)
verdadeiro. Simbolicamente, mostramos que:

Por induo, no entanto, podemos concluir que o enunciado P(n) vale para todos os nmeros naturais n:
1. Primeiro provamos que a base de induo (n=1, neste caso) verdadeira;
2. Depois, por hiptese de induo temos que P(k-1) verdadeiro, ento precisamos provar que P(k) tambm
verdadeiro.
3. Provando que o passo da induo est correto, conclumos que P(n) verdadeiro para qualquer nmero n natural.

Generalizaes
Comece em b
Este tipo de prova pode ser generalizada de vrias maneiras. Por exemplo, se quisermos provar um enunciado, no
para todos os nmeros naturais, mas apenas para todos os nmeros maiores que ou iguais a um determinado nmero
b, ento os seguintes passos so suficientes:
1. Mostrar que o enunciado vale quando n = b.
2. Mostrar que se o enunciado vale para n = k b, ento o mesmo enunciado tambm vale para n = k + 1.
Isto pode ser usado, por exemplo, para mostrar que n > 2n para n 3. Esta forma de induo matemtica na
verdade um caso especial da forma anterior, porque se o enunciado que pretendemos provar P(n), ento prov-lo
com estas duas regras equivalente a provar P(n + b) para todos os nmeros naturais n com os dois primeiros
passos.

Assumir verdadeiro para todos os valores menores

Outra generalizao, chamada induo completa, permite que no segundo passo ns no apenas assumamos que o
enunciado vale para n = k, mas tambm para todo n menor que ou igual a k.
Nesta forma de induo, talvez surpreendentemente, no necessrio provar que a proposio verdadeira no
primeiro caso. Isto se d porque a proposio vale para todos os casos antes do primeiro caso, simplesmente porque
no h casos antes do primeiro.
Isto pode ser usado, por exemplo, para mostrar que

onde fib(n) o ensimo nmero de Fibonacci e = (1 + 5)/2 (tambm chamado de Proporo urea). Dado que
fib(k + 1) = fib(k) + fib(k - 1), pode-se provar que o enunciado vale para m + 1 se pudermos assumir que ele tambm
vale tanto para k quanto para k - 1. (Por isso a prova desta identidade requer uma base dupla requer inicialmente a
demonstrao de que a identidade verdadeira tanto para n = 0 quanto para n = 1). Esta generalizao apenas um

Induo matemtica
caso especial da primeira forma:
1. deixar P(n) ser o enunciado que pretendemos provar,
2. ento prov-lo com estas duas regras equivalente a provar o enunciado "P(k) para todo k n" para todo nmero
natural n com os dois primeiros passos.

Induo Transfinita
Artigo principal: Induo transfinita
Os ltimos dois passos podem ser reformulados em um:
1. Mostrar que se o enunciado vale para todo n < k, ento o mesmo enunciado tambm vale para n = k.
Este , na verdade, a forma mais geral de induo matemtica, e pode-se mostrar que esta no vale apenas para
enunciados sobre nmeros naturais, mas tambm para enunciados sobre elementos de qualquer conjunto bem
fundado, ou seja, um conjunto com ordem parcial que no contm correntes decrescentes infinitas (onde < definido
tal que a < b sse a b e a b).
Esta forma de induo, quando aplicada a ordinais (que formam uma classe bem ordenada e, por isso, bem fundada),
chamada induo transfinita. uma importante tcnica de prova na teoria dos conjuntos, na topologia e em outras
reas.
Provas por induo transfinita geralmente precisam distinguir trs casos:
1. k um elemento mnimo, ou seja, no h elemento menor que k
2. k tem um predecessor direto, ou seja, o conjunto de elementos que so menores que k tem um elemento maior
3. k no tem um predecessor direto, ou seja, k chamado de ordinal limite.
A rigor, no necessrio provar a base na induo transfinita, porque este um caso especial vazio da proposio de
que se P verdadeiro para todo n < k, ento P verdadeiro para k. Isto precisamente verdadeiro, porque no h
valores para n < k que poderiam servir como contra-exemplos.

Prova ou reformulao da induo matemtica

O princpio da induo matemtica geralmente tido como um axioma de nmeros naturais (ver Axiomas de Peano).
Porm, ele pode ser provado em alguns sistemas lgicos. Por exemplo, se o seguinte axioma (chamado de princpio
da boa-ordenao para nmeros naturais) empregado:
O conjunto de nmeros naturais bem ordenado
O axioma adicional certamente uma formulao alternativa do princpio da induo matemtica. Isto , os dois so
equivalentes.

Fontes e Editores da Pgina

Fontes e Editores da Pgina

Induo matemtica Fonte: http://pt.wikipedia.org/w/index.php?oldid=38093610 Contribuidores: 555, Carlos Maurcio, Ccero, E2m, Jahnke, Joao.pimentel.ferreira, Kaktus Kid,
LeonardoRob0t, Leonardob, Luizabpr, Manuel Anastcio, Maurcio I, Reinaldo A. Barrto Jr, Rodrigo Rocha, Salgueiro, Spoladore, Tuga1143, Webkid, 46 edies annimas

Fontes, Licenas e Editores da Imagem

Imagem:Dominoeffect.png Fonte: http://pt.wikipedia.org/w/index.php?title=Ficheiro:Dominoeffect.png Licena: GNU Free Documentation License Contribuidores: Davepape, Jochen
Burghardt, Metoc, Pokipsy76, 1 edies annimas

Licena
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/