Aplicações clássicas
Prova fórmulas fechadas (soma de PA, $1^{2}+2^{2}+\cdots+n^{2}=\frac{n(n+1)(2n+1)}{6}$), desigualdades ($2^{n}\gt n$ para todo $n\geq 1$) e divisibilidade ($n^{3}-n$ é sempre múltiplo de 6). Erro comum: provar só a base, ou usar a hipótese de indução de forma circular sem de fato partir dela.
Aprofundar ▾
O Princípio da Indução Finita é, antes de tudo, uma ferramenta de demonstração para afirmações indexadas pelos naturais, e seu motor é o princípio da boa ordenação: todo subconjunto não vazio dos naturais possui elemento mínimo. É isso que sustenta a validade do método; a "base + passo" não é uma convenção arbitrária, mas consequência de que, se existisse um contraexemplo, haveria um menor deles, e a partir dele chegaríamos a uma contradição. Por isso o roteiro é rígido: verifica-se a base (P(1), ou P(n₀) quando a propriedade só vale a partir de certo índice), e depois se prova que P(k) implica P(k+1) para um k genérico, sem substituir k por valores particulares — esse é o ponto que separa uma prova legítima de uma simples conferência de casos.
Quanto ao escopo, o tema aparece de três formas típicas: fórmulas de somas (a soma dos quadrados é o exemplo canônico), desigualdades (como mostrar que 2ⁿ supera n, ou que a média aritmética domina a geométrica para n potências de 2) e propriedades aritméticas, caso de n³ – n ser múltiplo de 6, onde o passo usa o binômio de Newton para comparar (k+1)³ – (k+1) com k³ – k e mostrar que a diferença acrescentada é sempre múltipla de 6.