Indução Finita: Princípio
Teoria
Fala aí! Hoje vamos trocar uma ideia sobre o Princípio da Indução Finita, ou PIF (mas esse é só para os íntimos ☺️). Ele vai nos fornecer um método muito útil para provar que uma propriedade é verdadeira para um número infinito de proposições.
Quer ver como? Vem comigo!
⭐ Veja também ⭐
- Métodos de demonstrações matemáticas.
- Fundamentos de lógica.
- Elementos de lógica e linguagem matemática.
O que é o Princípio da Indução Finita?
Por meio do principio da indução finita, nós conseguimos pegar uma propriedade que sabemos ser verdadeira para um certo número de finito, e generalizá-la para todos os outros números.
Não entendeu?
Seguinte: imagine que você seja um aluno curioso estudando progressões aritméticas. Não satisfeito quando seu professor simplesmente mandou você copiar a fórmula, você quer provar que a soma dos
Você pega o lápis e papel e começa a testar:
Para o 1, dá certo.
Para o 2, dá certo.
Para o 3, dá certo.
Para o 54, também dá certo…
E agora? Você só precisa que dê errado uma vez para a afirmação ser falsa. Pode ser que quando chegar lá no 23.847 não dê mais certo, mas vai ficar testando o mês inteiro?
É claro que não! Você vai usar o tal do PIF pra provar que isso sempre funciona!
Princípio da Indução Finita - 1ª Forma (PIF 1)
A gente vai dividir o coitado em duas formas. A primeira delas é definida assim:
Seja P(n) uma propriedade genérica que satisfaz as seguintes condições:
- P(
) é verdadeira para um certo ; - Para todo k
, com k , tem-se: se P(k) é verdadeira, então P(k+1) é verdadeira.
Então, P(n) é verdadeira para todo n
Esse aí é o chamado Princípio da Indução Fraca.
Se aquelas duas condições ali do meio forem satisfeitas, nossa proposição está provada para a infinidade de termos que existem.
Se liga no exemplo 👇
Exemplo: Use o PIF 1 para provar a soma dos primeiros n termos naturais.
Passo 1: Quem é ?
Beleza, o primeiro passo é sempre saber quem é
Aqui, a gente quer provar aquela fórmula que eu tinha mencionado na historinha:
Passo 2: Provar a primeira condição.
Depois, a gente vai olhar para cada condição.
Começando pela primeira, a gente deve pegar um número
Então, temos que provar que a soma dos
Beleza! A primeira condição tá provada.
Passo 3: Hipótese indutiva.
Esse passo aqui é muuuuito importante, fica esperto!
A hipótese indutiva nada mais é que usar a segunda condição do PIF.
Vamos assumir que a relação
A nossa hipótese indutiva é:
E queremos provar que
Lembra que esse
Só escrevi a soma dos k primeiros termos ali e adicionei o próximo termo
Agora, vamos organizar isso aí:
Tira o MMC:
Coloca o
Maravilha! A gente acabou de mostrar que somando
Princípio da Indução Finita - 2ª Forma (PIF 2)
A definição que vamos usar é essa aqui:
Seja P(n) uma propriedade genérica que satisfaz as seguintes condições:
- P(
) é verdadeira para um certo ; - Para todo n
, com n , tem-se: se P(k) é verdadeira para todo k , com $n_0\leq k , então P(n) é verdadeira.
Então, P(n) é verdadeira para todo n
Esse PIF é bem parecido com o outro, né? Mas ele tem uma aplicação diferente e bem mais forte, tanto que ele é chamado por Princípio da Indução Forte.
Se liga no exemplo 👇
Exemplo: Mostre que todo natural é um número primo ou é um produto de primos.
Passo 1: Quem é ?
Mas olha só: isso aí não é verdade para o número 1.
Sem problemas, começamos pelo 2, então. Nossa proposição passa a ser verdadeira para todo n > 1.
Passo 2: Provar a primeira condição.
Precisamos provar que a proposição é verdadeira para o nosso
O natural 2 é um número primo, ou produto de primos?
Sim, 2 é primo, então
Passo 3: Hipótese de Indução.
Se a gente tentar usar o PIF 1, teríamos o seguinte:
k é primo ou produto de primos.
E aí, como a gente prova que
Agora, saca só como fica pelo PIF 2:
Pela hipótese indutiva, a gente afirma que:
Para todo k nesse intervalo,
Temos duas possibilidades para o
Esse
Aí, repara só no seguinte: da hipótese indutiva, $k
Com esses dois argumentos, podemos usar a hipótese indutiva e afirmar que
Logo,
Princípio da Indução Finita - 1ª Forma (PIF 1)
Exemplo: Use o PIF 1 para provar a soma dos primeiros n termos naturais.
Princípio da Indução Finita - 2ª Forma (PIF 2)
Exemplo: Mostre que todo natural é um número primo ou é um produto de primos.
Exercícios Resolvidos
Exercício Resolvido #1
Usando o Princípio da Indução Finita, prove que:
Passo 1
Bom, aqui nem tem muito pra onde correr, o enunciado já diz para usarmos o PIF, então vamos à luta!
Para provarmos que isso é verdade, precisamos de um caso base que seja verdadeiro.
O teorema diz o seguinte,
Note que o teorema me dá duas afirmações, então vamos usar dois passos para provar a igualdade acima.
Então primeiro vamos mostrar que é verdadeira para um certo . O é o nosso primeiro termo, no caso vamos escolher .
Lembrando que neste caso:
Então
Então é verdadeira.
Passo 2
Vamos agora atacar a segunda condição. Assumindo que a relação seja válida para algum , essa é a nossa hipótese indutiva :
Queremos encontrar:
Verificaremos se a relação anterior é válida para :
Finalmente:
Então é verdadeira.
Portanto, é verdadeira para todo .
Passo 3
Se liga nessa próxima:
Traduzindo isso para números:
“Ah, por que você colocou e não ?”
Porque se a gente colocar , você não consegue chegar no número , tendo em vista que os naturais começam no . A gente precisa conseguir alcançar cada número dessa soma através de .
Vou colocar aqui novamente o PIF, pra clarear sua mente e entranhar no seu sangue:
Lembrando que neste caso:
Vamos ao caso base, escolhendo :
E isso é verdade.
Passo 4
Agora vamos atacar a segunda condição. Supondo que a relação seja válida para algum , que é a nossa hipótese indutiva , temos:
Sabendo que é válida, queremos que também seja, isto é:
Agora vamos escrever todo somatório para . Mas antes repara que aqui estamos tratando apenas de números ímpares, então eles andam de em . Então quando eu adicionar mais um termo, eu terei que somar dois. Deste modo, o final do meu somatório ficaria assim,
Entendido isso, vamos escrever toda soma para . Repara como ficou meu último termo,
Ajeitando essa equação ficamos com,
E não é que ? Tô chocadaaaa!!! Chegamos então ao que queríamos:
Resposta
Demonstração por PIF
Exercício Resolvido #2
Prove que:
Passo 1
OPAAA! Esse já mais quentinho que o exercício , né? Hahaha Relaxa, que vamos esmiuçar bem direitinho.
Novamente, vou colocar o PIF pra clarear sua mente e entranhar no seu ser:
Lembrando que .
Vamos checar se isso é verdade, e comecemos pela primeira condição.
Adotando :
Ou seja, é verdadeira.
Passo 2
Olhemos agora para a segunda condição. Suponhamos que a relação é válida para algum , que é a nossa hipótese indutiva , então queremos que seja válida também para . Isto é, queremos encontrar:
Bora tentar trabalhar na expressão que temos até agora:
Multiplicando por dos dois lados:
Opa, já temos uma parte da expressão que queremos, meu anjo!
Passo 3
Perceba o seguinte:
Concorda comigo?
“Ihhhh, você já começou a roubar... De onde você tirou esse ???”
Anjo, esse termo aparece na expressão que a gente quer encontrar, então alguma hora a gente precisa trabalhar com ele, fazer algum tipo de rataria pra chegar onde queremos.
Continuando:
Concorda comigo nesse ponto também?
“Concordo, mas você tá doida!”
Não tô não, olha só como tudo vai fazer sentido agora:
E dá uma olhada novamente da expressão que tínhamos:
É justo dizer que:
“Até tô vendo um pouco de sentido, mas não tô seguro se posso fazer isso!”
Passo 4
Tudo bem, vou tentar te convencer... Veja se você concorda com o seguinte:
Show, concorda também que:
Então não é errado eu dizer que:
E aí eu digo:
Foi isso que fizemos agora. Continuando para a glória:
Yuuuupi!!! (Isso é com Y?) Chegamos no e ela é verdadeira.
Portanto, é verdadeira para todo .
Deixe-me conversar uma coisa com você... Essas técnicas e ratarias nessas demonstrações, você pega depois de fazer alguns exercícios. Então, mesmo que você esteja achando que é o fim do mundo, acredite: não é. Continue tentando! Estou aqui pra ajudar você!
Resposta
Demonstração pelo PIF.
Exercício Resolvido #3
Numa certa criação de coelhos o número de coelhos após meses obedece a seguinte regra:
Sabe-se também que e . Mostre que:
Passo 1
Oláááá, caro estudante dedicado! Bora resolver esse exercício! Usaremos aqui o Princípio da Indução Finita (versão 2). Não lembra o que é? Toma aqui:
Lembrando que neste caso .
Vamos começar a atacar a primeira condição, escolhendo como caso base:
Show, então é verdadeira. Mas não paramos por aí!
Como o nosso envolve os DOIS termos anteriores, precisamos que nossa hipótese de indução seja válida para dois “”. Para isto, vamos verificar se é verdadeira.
Maneiro! é verdadeira!
Passo 2
Vamos atacar a segunda condição. Supondo que seja válido para todo , que é a nossa hipótese indutiva , queremos que seja válida para também ( pode estar tão próximo de quanto se queira). Sendo que:
Então, de alguma forma precisamos chegar aí. Vamos usar a relação:
Como queremos de :
“Nossa, agora eu tô até feliz! ¬¬”
Caaaaalma, a gente sabe que foi válida até , então também foi válida para :
Agora nós vamos manipular os termos:
Como queríamos demonstrar, então é verdadeira.
Portanto, é verdadeira para todo .
Resposta
Demonstração por PIF versão .
Exercício Resolvido #4
O que está errado na seguinte demonstração:
Proposição: com , , para todo natural.
Demonstração: vale sempre.
Assumindo , temos
Passo 1
Cara, de cara a gente já sabe que essa proposição é doida! Anjo, é igual a , não igual a , carambolas! (A não ser que )
Bora começar a julgar essa argumentação! Primeira coisa a ser dita foi:
Isso é verdade! Então isso não é o erro.
Passo 2
A próxima coisa dita foi:
Opa! Isso não está correto! Perceba que o argumentador está usando (erroneamente) o PIF versão . Se liga nele:
“Ah, mas ele provou que funciona para ”
É verdade, mas veja a nossa hipótese indutiva, a SEGUNDA condição: tem que valer PARA TODO . No nosso caso, o .
Então, tem que valer aquela , para todo .
E NÃO VALE!!! Perceba:
Logo, o erro está na hipótese de indução.
Resposta
O erro está na hipótese de indução.
Exercício Resolvido #5
Seja e, para , seja . Os primeiros termos da sequência são
Quais são os próximos dois termos?
Prove que
Passo 1
FAAAAALA MEU AMOR!!! Bora começar do começo!
Para dizermos quais são os próximos dois termos, NÃO podemos usar a fórmula que foi dada! (Aí seria muito molezinha né meu anjo!)
Então, já temos todos os termos até o , vamos em busca dos outros:
Passo 2
Bora, fazer o segundo passo, que é provar que a fórmula é verdade! Vamos usar o PIF versão :
Lembrando que no nosso caso,
Vamos atacar a primeira condição, onde chamarei
Show! é verdadeira!!!
Passo 3
Vamos atacar a segunda condição. Usando a hipótese indutiva de que é válida, temos:
Queremos que seja verdadeira, então vamos usar a outra relação:
Mas, como obedece a fórmula, podemos substituir:
Olha que lindo!!! é verdadeira! Lembrando que:
Portanto, é verdadeira para todo .
Resposta
Demonstração por PIF versão .