2012/12/15 Lucas Prado Melo <luca...@dcc.ufba.br>
> O que se pode perceber dessa sequência é que a quantidade dos bits 1 da
> representação binária dos números é sempre ímpar.
>
> Assim se tivermos uma PA infinita, {a+ir} contida na sequência, essa
> invariante se mantem. E aí está o problema!
>
> Seja 2^m > a, e 2^m > r.
>
> Temos que a+2^m r, pertence à sequência. Como 'a' pertence à sequência
> também, o número de bits 1 de 'a' é ímpar e de 'r' é par para que a+2^m r
> tenha uma quantidade ímpar de 1s. Mas aí a+2^m r + 2^(2m) r (também da
> sequência) teria uma quantidade par de 1s, uma contradição.
Desculpe, me enganei. :(
--
[]'s
Lucas
