[obm-l] Inducao

[Claudio Buffara <claudio.buffara@xxxxxxxxxxxx>]

Pro pessoal que estah estudando inducao, aqui vao dois resultados
demonstraveis por inducao e que vao ter utilidade pelo resto da sua carreira
academica (e talvez ateh mais adiante):

1) Um sistema linear homogeneo com n incognitas e m equacoes tem sempre uma
solucao nao-trivial se n > m >= 1. (sugestao: use inducao sobre m)

2) Todo subconjunto de N (inteiros positivos ou inteiros nao-negativos,
tanto faz!) possui um menor elemento.

[]s,
Claudio.

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================