Re: [obm-l] Nao-quadrados perfeitos

["Domingos Jr." <dopikas@xxxxxxxxxx>]

>>3^(2r) = (x - 2^r)(x + 2^r)
>>como 3 é primo, devemos ter, para algum inteiro s
>>x - 2^r = 3^s  .... (1)
>>x + 2^r = 3^(2r - s) .... (2)
>>
>>(1) + (2) : 2x = 3^s + 3^(2r - s)
>>note que s < 2r - s e, 
>>    
>>
>
>
>
>Até aqui eu saquei, tem como explicar essa parte entre 
>aspas abaixo melhor ?
>
>
>"portanto, 3^s divide x
>  
>

3^s divide 3^s + 3^(2r - s), pois s < 2r - s, então, como divide o lado 
direito, divide o lado esquerdo (que é 2x), mas 3 é primo e então 3^s 
divide x.
=========================================================================
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
=========================================================================