Indução

No artigo Indução do Atractor, na revista Educação e Matemática, descreve-se uma forma de apresentação do raciocínio de indução (às vezes designada por indução finita). Numa primeira secção apresenta-se um jogo das lâmpadas, cuja resolução o leitor deverá procurar descobrir usando uma versão interactiva do jogo, criada pelo Atractor.

Com suficiente prática, o leitor vai adquirindo consciência do que há que fazer para alcançar o objectivo de tal jogo e, em particular, terá relacionado a resolução do jogo para uma fila de lâmpadas com a resolução do mesmo jogo para filas mais curtas. Terá aplicado num caso particular, eventualmente sem o saber, uma forma de raciocínio de indução, sem que na situação surja para provar qualquer fórmula dependente de um \(n\).

Tomando como ponto de partida o estudo efectuado, é analisada a questão da contagem do número mínimo de jogadas que serão/seriam necessárias para concretizar o jogo das lâmpadas.

Por fim, são apresentadas outras formas de indução.

Veja aqui o artigo completo