Se uma propriedade qualquer P vale para e supomos ela válida para
e provamos que P vale para
, então P vale para todo
Esse é o princípio de Indução Matemática.
Example 7. Seja . Provemos que
De fato, sabemos que , assim essa propriedade vale para
, suponha que ela vale para
, isto é,
. Considere agora,
, desse modo,
![]() |
Logo, a propriedade vale para , e, portanto, vale para todo
Example 8. Provemos que é divisível por
, para todo
De fato, temos que para
que divide
. Suponha que
seja divisível por
, isto é, existe
tal que
. Agora considere,
![]() |
Logo, é divisível por
. Por indução, essa propriedade vale para todo