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