Indu c ao Matem atica IM

Elias da Silva Barroso Soares, eliassoares@dcc.ufmg.br 14 de Fevereiro de 2013

Sum ario
1 Introdu c ao 2 Indu c ao Matem atica Fraca IMf 2.1 Princ pio: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2 Usando a Indu c ao Matem atica: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3 Exemplos de uso: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 3 3 3 4

Introdu c ao

Suponha que temos uma escada com n umeros innitos de degraus, e tamb em sabemos duas coisas sobre a escada: 1. Podemos alcan car o primeiro degrau da escada; 2. Se pudermos alcan car um determinado degrau, poderemos ent ao alcan car o pr oximo degrau. Diante disso podemos concluir que alcan caremos todas os degraus da escada? 1 Resposta: Pela proposi ca o 1, P(1), sabemos que alcan camos o primeiro degrau, pela proposi ca o 2, P(2), se estamos no primeiro degrau podemos alcan car o segundo, usando P(2) novamente alcan camos o 3o degrau, se usarmos P(2) de novo alcan camos o 4o e assim sucessivamente, deu para perceber que n ao para n e?. Podemos concluir que alcan caremos todos os degraus dessa escada innita? Sim, demonstramos isso usando indu ca o matem atica. A Indu c ao Matem atica e usada para demonstrar declara co es do exemplo anterior e tamb em: Resultados sobre complexidade de algoritmos; Se um programa est a correto ou n ao; Teoremas de a rvores e grafos; E outros objetos discretos. Algo MUITO importante sobre IM: Como no exemplo dado, n os n ao provamos usando indu ca o, que podemos alcan car o primeiro degrau e nem que apartir de um degrau alcan camos o pr oximo, a indu ca o n ao e usada para descobrir f omulas e teoremas, mas sim para demonstrar resultados obtidos de outras formas. H a duas classica co es para IM, s ao elas: Indu ca o matem atica Fraca, tamb em chamada apenas de indu c ao matem atica, vamos chama-la aqui de IMf; Indu ca o matem atica Forte, tamb em chamada de indu ca o matem atica completa, chamaremos de IMc. Entretanto nenhuma e mais forte do que a outra e nem menos importante. Breve voc e saber a a diferen ca. Ambas s ao usadas para provar teoremas ou f omulas envolvendo os n umeros naturais.

Proposi c ao: Senten ca declarativa, ou seja declara um fato. Podendo ser verdadeira ou falsa, mas n ao ambas. Ex: Elias e do sexo masculino (Que por sinal e verdadeira :D).

2
2.1 Princ pio:

Indu c ao Matem atica Fraca IMf

Seja Q(M) um predicado2 denido para os inteiros M N, os inteiros M s ao valores que tornam o predicado verdadeiro, e seja Mo um inteiro xo. Suponha que as duas pr oximas arma co es s ao verdadeiras: 1. Que Q(Mo ) e verdadeiro; 2. Para todos os inteiros Y Wo , se Q(Y) e verdadeiro ent ao Q(Y+1) tamb em ser a verdadeiro. Temos ent ao que para todos M Mo Q(M) ser a verdadeiro. Pode parecer simples ou sem muita import ancia, mas essa t ecnica e muito poderosa e extremamente importante para a Ci encia da Computa c ao. Outro exemplo simples: Coloque uma cole ca o de domin os numa la, um pertinho do outro, de forma que se o primeiro domin o cair ele for car a a queda do segundo, o segundo for car a o terceiro e assim sucessivamente. Ao derrubar o primeiro sabemos que todos ser ao derrubados. Volte seu pensamento para o nosso primeiro exemplo, o da escada. Suponha que voc e consiga alcan car o primeiro degrau, voc e pode concluir que alcan car a todos degraus? Ou se voc e sabe somente que se alcan car um degrau voc e alcan ca o pr oximo, pode-se concluir que alcan car a todos? N ao, ambas proposi co es devem ser verdadeiras, pois uma complementa a outra.

2.2

Usando a Indu c ao Matem atica:

Temos um predicado P(N) e queremos demonstrar que P(N) e verdadeiro para todos inteiros N seguimos os seguintes passos: 1. Passo Base: Vericamos se P(1) e verdadeiro, ou seja se o predicado P(N) e verdadeiro para nosso primeiro elemento, o nosso inteiro xo. Se for falso, pode parar a prova que o predicado j a e falso. 2. Passo indutivo: Caso o tem anterior seja satisfeito, mostramos que se P(K) e verdadeiro, ent ao P(K+1) tamb em ser a verdadeiro para todos inteiros positivos K. Numa prova por indu c ao n ao e assumido que P(K) e verdadeiro para todos inteiros, mas sim que se for assumido que P(K) e verdadeiro, ent ao P(K+1) tamb em ser a verdadeiro. Sendo K um inteiro positivo arbitr ario. Diante disso, temos que a hip otese de que P(K) e verdadeira e chamada de hip otese indutiva. Lembra da nossa querida escada com innitos degraus? Ent ao, a proposi ca o 1 e o nosso caso base e a proposi c ao 2 e nossa hip otese indutiva.
Lembra o que e proposi c ao? Ent ao, Elias e do sexo masculino, isso e uma proposi c ao, entretanto, ele e do sexo masculinon ao e uma proposi c ao, j a que n ao sabemos quem e ele, mesmo que seja um pronome do sexo masculino. O mesmo podemos dizer de: ele e maior do que 7, n ao sabemos quem e ele. Ao substituir ele por X, temos um predicado. X e do sexo masculinoonde Elias, T ulio, Robert e Roberto pertencem ao conjunto de valores X que torna predicado verdadeiro, mesmo que o Robert seja atleticano, e Carolina pertence ao conjunto de valores que torna o predicado falso. Y e maior do que 7o conjunto de valores que torna o predicado verdadeiro s ao n umeros iguais ou maiores do que 8.
2

2.3
1.

Exemplos de uso:

A IMf e usada para provar teoremas do tipo: n P(n), tais como: P (n) : 1 + 2 + . . . + n = n( 2. Q(n) : 1 + 2 + 22 + . . . + 2n = 2n+1 1 n 0 3. S (n) : 0 + 1 + 2 + . . . + n = n( 4. U (n) : 22n 1 e divis vel por 3 n 1 n+2 ) n0 2 n+1 ) n1 2

Solu co es:
1. Demonstra c ao. Usaremos indu ca o para provar que P(n) e verdadeiro n N Passo base: Primeiro deveremos come car provando para nosso primeiro ele elemento, ou seja, 1. )=1 P(1): 1=1( 1+1 2 Que e o que quer amos provar, bem trivial correto? Passo indutivo: Temos uma hip otese e uma tese, nossa hip otese indutiva e: n+1 ) 2 Devemos sair de nossa hip otese e chegar a tese, assim nossa prova estar a correta. Nossa tese e: 1 + 2 + . . . + n = n( (n + 1)(n + 2) 2 Bem, o que realmente estamos fazendo? Estamos dizendo que se escolhermos um n espec co 3 gen erico e assumirmos que a proposi ca o e verdadeira, ent ao ela dever a ser verdadeira para o pr oximo elemento tamb em. Algo muito importante sobre indu ca o e que sempre usamos a hip otese indutiva, pois usamos ela para chegar na tese. E como fazemos isso? Usando manipula ca o matem atica. M aos ` a obra: 1 + 2 + . . . + n + (n + 1) = 1 + 2 + . . . + n = n( n+1 ) 2

Se somarmos (n+1) nos dois lados da equa ca o n ao alteraremos nada: 1 + 2 + . . . + n + (n + 1) = n( n+1 ) + (n + 1) 2

Note que o primeiro membro da express ao est a exatamente igual ao primeiro membro da tese, que e o que quer amos provar, vamos trabalhar agora somente com o segundo membro, apenas para simplica ca o. n( Colocando (n+1) em evid encia: (n + 1)(
3

n+1 ) + (n + 1) 2 n + 1) 2

Espec co gen erico quer dizer que dentre os naturais (espec co), que s ao os n umeros usados nesse exemplo, escolhemos um n umero aleat orio (gen erico).

+ 1): Tirando o m nimo de ( n 2

n+2 ) 2 Que e exatamente o que quer amos provar. Esse exemplo e o mais cl assico da IM, em qualquer livro ou aula que voc e ver dessa mat eria, voc e ver a esse exemplo. Vamos resumir o que zemos: quer amos provar que P(n) era verdadeiro n N, para isso assumimos primeiramente que P(n) era verdadeiro para um certo n, escolhido aleat oriamente entre os naturais, e mostramos que se P(n) e verdadeiro para n, tamb em ser a verdadeiro para seu sucessor, ou seja, n+1. (n + 1)(

2. Demonstra c ao. O primeiro exemplo foi explicado detalhadamente, por ser muito simples facilita o funcionamento da indu ca o, entretanto os pr oximos exemplos n ao ser ao explicados t ao detalhadamente. O exemplo 2 tamb em e muito simples. Vamos l a: Hip otese indutiva: Q(n) : 1 + 2 + 22 + . . . + 2n = 2n+1 1 n 0 Tese: Q(n + 1) : 1 + 2 + 22 + . . . + 2n + 2n+1 = 2n+2 1 Como sempre come camos pelo passo base, sendo ele ver dico, vamos para o passo indutivo, lembrando que sempre usamos a hip otese indutiva para chegar na tese. Passo base: Devemos provar que a proposi c ao e verdadeira para o primeiro elemento, nesse caso o 0. Q(0) : 20 = 20+1 1 = 1 Era o que dever amos provar no passo base, trivial. Passo indutivo: Nossa hip otese indutiva e: 1 + 2 + 22 + . . . + 2n = 2n+1 1 Partindo dela deveremos chegar na tese, para come car, vamos somar 2n+1 dos dois lados da express ao, assim n ao mudamos o resultado da express ao. 1 + 2 + 22 + . . . + 2n + 2n+1 = 2n+1 1 + 2n+1 Na primeira parte da express ao temos exatamente a que est a na nossa tese, deveremos agora n+1 trabalhar a segunda parte somente. Note que nela, o 2 aparece duas vezes, ent ao podemos somar eles: 2(2n+1 ) 1 O 2 que est a multiplicando pode subir como expoente, j a que 2n+1 tem base 2. Teremos: 2n+2 1 Que e nada menos o que quer amos provar, tranquilo n ao? 3. Demonstra c ao. Temos: S (n) : 0 + 1 + 2 + . . . + n = n( n+2 ) n0 2

Como sempre come caremos com o passo base. Passo base: 0+2 S (0) : 0 = 0( )=0 2 O passo base deu certo, podemos ir para o pr oximo passo. Passo indutivo: Nossa hip otese indutiva e: n+2 S (n) : 0 + 1 + 2 + . . . + n = n( 2 ) n 0 e nossa tese e: S (n) : 0 + 1 + 2 + . . . + n = n( n+2 ) n0 2