[seqfan] Re: Message from Marc LeBrun
jean-paul allouche
jean-paul.allouche at imj-prg.fr
Thu May 12 19:53:17 CEST 2016
Yep I was not sure you received the messages from the list again
amities
jp
Le 12/05/16 11:46, Jeffrey Shallit a écrit :
>
>
>
>>> ...the Beatty sequence
>>> floor(n*alpha) for n >= 1
>>> is an eigensequence for the discriminator if and only if
>>> 1 <= alpha < 3/2. There is a one-line proof!
>>
>> Thanks, Dr. Shallit.
>> It's more than just Beatty sequences. If a sequence begins "1,2",
>> and thereafter (a(n+1) - a(n)) is in {1,2}, it's an eigensequence.
>>
>
> Yes, this is my one-line proof.
>
> --
> Seqfan Mailing list - http://list.seqfan.eu/
More information about the SeqFan
mailing list