Do Caso Base ao Infinito

Como provar afirmações sobre infinitos casos de uma só vez? Esta série cobre o Princípio de Indução Matemática, a Indução Forte e as Relações de Recorrência — ferramentas essenciais para raciocinar sobre sequências e algoritmos recursivos.

Os artigos são listados abaixo, na ordem em que foram escritos.

Do Caso Base ao Infinito: Uma Introdução à Indução e Recorrência

2026-06-17·542 palavras·3 minutos

Matemática Discreta Indução Matemática Recorrência Fibonacci

Como provar afirmações sobre infinitos casos de uma só vez? A indução matemática responde essa pergunta. Depois desta apresentação, três artigos cobrem o PIM clássico, a indução forte e as relações de recorrência — com exemplos de Fibonacci à Torre de Hanoi.

Indução Matemática: Provando Propriedades para Todos os Naturais

2026-06-18·2699 palavras·13 minutos

Matemática Discreta Indução Matemática Lógica Prova Matemática

O Princípio de Indução Matemática é a ferramenta central para provar afirmações sobre números naturais. Aprenda a estrutura do método e veja como aplicá-lo em somas, produtos e divisibilidade — com provas completas.

Indução Forte: Quando o Passo Precisa de Mais Contexto

2026-06-23·3516 palavras·17 minutos

Matemática Discreta Indução Matemática Fibonacci Prova Matemática

A Indução Forte estende o PIM clássico: em vez de assumir apenas P(k), assumimos que todos os casos P(1) até P(k) são verdadeiros. Aprenda quando e como usar essa técnica — com Fibonacci, fatoração em primos e a fórmula de Binet.

Relações de Recorrência: Definindo Sequências por si Mesmas

2026-06-25·5206 palavras·25 minutos

Matemática Discreta Recorrência Fibonacci Combinatória

Uma relação de recorrência define cada termo de uma sequência em função dos termos anteriores. Aprenda a montar e resolver recorrências com o método de substituição — da Torre de Hanoi à sequência de Fibonacci.

↑