Se a sequência é:
a(1) = 1
a(2n) = a(n) + 1
a(2n+1) = 1/a(2n),
então:
Como os termos da sequência são positivos, os termos de ordem par são
maiores do que 1 e os de ordem ímpar (e maior do que 1) são menores do que
1.
Se houver alguma repetição, então o primeiro termo a(n) a ser repetido
deverá índice n par, já que cada termo de ordem ímpar > 1 é simplesmente o
inverso do termo anterior.
Assim, suponhamos que m seja o menor natural tal que a(2m) = a(2m+2k), para
algum k > 0.
Mas isso implica que a(m) + 1 = a(m+k) + 1 ==> a(m) = a(m+k).
Se m for par, isso é uma contradição à escolha de m.
Se m for ímpar, então k é par (já que m+k terá que ser ímpar também) e,
pela definição da sequência, a(m-1) = a(m+k-1) ==> contradição à escolha de
m.
Logo, a sequência é injetiva.

[]s,
Claudio.


On Sat, Feb 13, 2021 at 5:56 PM Jeferson Almir <[email protected]>
wrote:

> Amigos, peço ajuda em provar a injetividade dessa sequência que seria uma
> saída para provar a unica ocorrência do racional que aparece nela. Estou
> andando em círculos tentando montar uma possível indução.
>
>
> Dado a sequência a_1 = 1 e a_2n = a_n  + 1 e a_2n+1 = 1/a_2n.
>
> Prove que para todo racional positivo que ocorre na sequência, ocorre uma
> única vez.
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

Responder a