Induo matemtica versus induo emprica (nas cincias naturais)

Nas cincias naturais, utiliza-se a induo emprica. Ou seja, a partir de um rande n!mero de o"serva#es particulares selecionadas ade$uadamente, %ormula-se leis $ue devem re er determinados %en&menos. ' validade de um teorema matemtico, no entanto, se esta"elece de %orma completamente di%erente. (eri%icar $ue certa a%irmao vale para um rande n!mero de casos particulares (como se %az nas cincias naturais) no permitir concluir $ue esta a%irmao ) vlida. O princpio da induo ou princpio da induo %inita, ) utilizado para provar $ue a proposio vale para todos os casos.

Induo *atemtica
Induo matemtica ) um m)todo de prova matemtica usado para demonstrar a verdade de um n!mero in%inito de proposi#es. ' %orma mais simples e mais comum de induo matemtica prova $ue um enunciado vale para todos os n!meros naturais n e consiste de dois passos+

,.' base+ mostrar $ue o enunciado vale para n - ,. ..O passo indutivo+ mostrar $ue, se o enunciado vale para n=k, ento o mesmo enunciado vale para n-k/,. Ou seja, voc acredita $ue a propriedade vale pra 0 e com esta hiptese mostra $ue para 0/, tam")m ) vlida.
1sse m)todo %unciona provando $ue o enunciado ) verdadeiro para um valor inicial, e ento provando $ue o processo usado para ir de um valor para o pr23imo ) valido. 4e am"as as coisas so provadas, ento $ual$uer valor pode ser o"tido atrav)s da repetio desse processo. 5ara entender por $ue os dois passos so su%icientes, ) !til pensar no e%eito domin2+ se voc tem uma lon a %ila de domin2s em p) e voc puder asse urar $ue+

,.O primeiro domin2 cair. ..4empre $ue um domin2 cair, seu pr23imo vizin6o tam")m cair. 1nto voc pode concluir $ue todos os domin2s cairo.

Exemplo
4upon6a $ue desejemos provar o se uinte enunciado+

para todos os n!meros naturais n. 1sta ) uma %2rmula simples para a soma dos n!meros naturais de , a n. ' prova de $ue o enunciado ) verdadeiro para todos os n!meros naturais n ) dada a se uir.

Prova por induo:

O primeiro passo consiste em determinar a "ase da prova por induo. Neste caso, tomaremos n - ,. 7laramente, do lado es$uerdo da e$uao %ica , e do lado direito ,(, / ,) 8 ., resolvendo d ,-,. 1nto o enunciado ) verdadeiro para n- ,.

' ora precisamos provar $ue o enunciado vale para n - k (Neste caso apenas tocamos a hiptese de n=k para n=k ! e" portanto" devemos mostrar #ue vale para n=k #ue $ o sucessor de k !%. 5or 6ip2tese de induo, a e$uao vale para n - k-1, ou seja+

'dicionando k a am"os os lados, a i ualdade se mant)m, ento+

5or manipulao al )"rica, temos+

9o o+

4im"olicamente, mostramos $ue+

5or induo, no entanto, podemos concluir $ue a propriedade 5(n) vale para todos os n!meros naturais n+

,.5rimeiro provamos $ue a "ase de induo (n-,, neste caso) ) verdadeira: ..;epois, por 6ip2tese de induo temos $ue 5(0-,) ) verdadeiro, ento precisamos provar $ue 5(0) tam")m ) verdadeiro. <.5rovando $ue o passo da induo est correto, conclumos $ue 5(n) ) verdadeiro para $ual$uer n!mero n natural.

Referncia: http://pt.wikipedia.org/wiki/Indu%C3%A7%C3%A3o_matem%C3%A1tica