[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [obm-l] Teoria dos n�meros





On 3/20/06, Rafael Oda <rafael.oda@gmail.com> wrote:


On 3/20/06, Dymitri Cardoso Le�o < dymitri_leao@hotmail.com> wrote:
Gostaria de ajuda na seguinte quest�o:

1) Determine todos os inteiros positivos k para os quais 2^8+2^11+2^k � um
quadrado perfeito.

N�o estou conseguindo reduzir satisfatoriamente os casos. Eu pensei assim:

2^8 + 2^11 = 2^8 . 3^2 => 2^8 + 2^11 + 2^k = (2^4 . 3)^2 + 2^k = n^2, com
n inteiro. Da�, n^2 - (48)^2 = 2^k => (n+48)(n-48) = 2^k.

Daqui, podemos concluir que n > 48 => k > 7 e que n deve ser par.
Mas da� em diante n�o consegui desenvolver.

_________________________________________________________________
Seja um dos primeiros a testar o  Windows Live Messenger Beta a gera��o do
seu MSN Messenger.
http://www.ideas.live.com/programpage.aspx?versionId=0eccd94b-eb48-497c-8e60-c6313f7ebb73

=========================================================================
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
=========================================================================


 

Caro Dymitri,

Considere S = 2^8 + 2^11 + 2^k = n^2.
Vendo m�dulo 3, temos que os poss�veis res�duos para n^2 s�o 0 ou 1. Mas 2^8 == 0 e 2^11== - 1 (m�d 3), e portanto, temos que 2^k==0 ou 2^k==1 (m�d 3) o que nos leva ao claro resultado de que k==0 (m�d 2).
Para k=8 temos que S = 2^9 + 2^11 = 2^9*(1+2^2) = 2^9*(5), que n�o � quadrado perfeito.
Considere o caso em que k<8.
Seja d = mdc(2^8, 2^11, 2^k) = 2^k.
Ent�o S = 2^k*(2^(8-k) + 2^(11-k) + 1) = n^2. Como 2^k � quadrado perfeito, temos que 2^(8-k) + 2^(11-k) + 1 tamb�m �.
Seja 2^(8-k) + 2^(11-k) + 1 = m^2, m inteiro positivo, temos que 2^(8-k)*(1+2^3) + 1 = m^2.
Mas 2^(8-k)*(1+2^3) = 2^(8-k)*9, que � quadrado perfeito maior que 1 e portanto, para k<8 n�o temos solu��o.
Agora considere k>8. Temos que mdc(2^8, 2^11, 2^k)=2^8. Portanto temos que S= 2^8*(1+2^3+2^(k-8))= 2^8*(9+2^(k-8)) = n^2.
Mas como 2^8 � quadrado perfeito, temos que 9+2^(k-8) tamb�m deve ser.
Seja 2^(k-8) + 9  = m^2, k = 2*t, 9 = (m+2^(t-4))*(m-2^(t-4)).
como m > sqrt (2^(k-8)) = 2^(t-4), temos que ambas as parcelas acima s�o positivas, e como 2^(t-4) > 0, ambas s�o diferentes. Logo, chegamos ao resultado de que m + 2^(t-4) = 9 e m - 2^(t-4) = 1.
Resolvendo o sistema, temos que m=5, e assim, t-4 = 2 <=> t=6.
Portanto, o �nico k que satisfaz o enunciado � k = 12. Testando, temos que 2^8*(1+8+16)= 2^8*(25) que � realmente um quadrado perfeito.

Obs.: Espero que esta solu��o esteja correta, caso encontrem algum erro favor notificar-me; mas como conferi uma vez rapidamente creio que n�o haja.

[]'s,
Rafael Oda


Apenas corrigindo um pequeno engano,  no in�cio o que eu quis dizer � que 2^8 == 1 (m�d 3), 2^11 == -1 (m�d 3) e portanto 2^8 + 2^11 == 0 (m�d 3).