Indução: n => n+1 ou n-1 => n

["Benjamin Hinrichs" <hinsoft@xxxxxxxxx>]

Colegas, Professores etc.

No decorrer do ano passado houve preparação para a OBM no Rio Grande do 
Sul. Entre os professores (eu só assistia às aulas de um deles), Prof. 
Porto sempre insistia para que não fizéssemos uma prova por indução 
mostrando como n-1 se relaciona com n, mas sempre n => n+1. Diz ele que a 
primeira pode levar a resultados absurdos, aliás a indução pode mesmo 
(com deve ser do vosso conhecimento). Gostaria de saber (deve ser uma 
dúvida bastante simples) que tipo de erros podem ocorrer quando se faz 
mostrando que n-1 => n e que não ocorrem quando se mostra n => n+1. 
Aliás, gostaria também de perguntar se os trabalhos de Peano indicam uma 
forma mais apropriada (ou nada a ver...)?

Como pode-se perceber são perguntas triviais, nada de autovalores nem 
autovetores que eu nem sei o que são. 

Agradecido pela atenção dispensada.

Grande abraço,

Benjamin Hinrichs