[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [obm-l] INdu��es ....
Gustavo Baggio wrote:
> 1. Prove por indu��o em n que (x^n - y^n) eh divisivel
> por x - y ( x diferente de y)
Hoje eu tenho que dormir cedo, ent�o vou fazer
s� essa aqui:
base: obviamente pra n=1, (x-y) � divis�vel por (x-y)
passo indutivo: suponha que � v�lido para n<=p
Mas (confira):
x^(p+1)+y^(p+1)=(x-y)(x^p+y^p)+xy(x^(p-1)-y^(p-1))
S� que pela hip�tese de indu��o,
x^(p-1)-y^(p-1) � divis�vel por (x-y), e
portanto x^(p-1)-y^(p-1)=(x-y).k
Logo
x^(p+1)+y^(p+1)=
(x-y)(x^p+y^p)+xy(x-y)k=
(x-y)(x^p+y^p+xyk)
QED
----------------------------------------------------------------
Ricardo Bittencourt http://www.mundobizarro.tk
ricbit@700km.com.br "tenki ga ii kara sanpo shimashou"
------ Uni�o contra o forward - crie suas proprias piadas ------
=========================================================================
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
=========================================================================