Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A134566
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A134566 a(n) = least m such that {-m*tau}>{n*tau}, where { } denotes fractional part and tau = (1+sqrt(5))/2. +0
3
2, 1, 5, 2, 1, 2, 1, 13, 2, 1, 5, 2, 1, 2, 1, 5, 2, 1, 2, 1, 34, 2, 1, 5, 2, 1, 2, 1, 13, 2, 1, 5, 2, 1, 2, 1, 5, 2, 1, 2, 1, 13, 2, 1, 5, 2, 1, 2, 1, 5, 2, 1, 2, 1, 89, 2, 1, 5, 2, 1, 2, 1, 13, 2, 1, 5, 2, 1, 2, 1, 5, 2, 1, 2, 1, 34, 2, 1, 5, 2, 1, 2, 1, 13, 2, 1, 5, 2, 1, 2, 1, 5, 2, 1, 2, 1, 13, 2, 1, 5, 2, 1 (list; graph; listen)
OFFSET

1,1

COMMENT

The terms are members of A001519, the odd-indexed Fibonacci numbers. The defining inequality {-m*tau}>{n*tau} is equivalent to {-m*tau}+{n*tau}<1.

The terms belong to A001519, the odd-indexed Fibonacci numbers. The defining inequality {-m*tau}>{n*tau} is equivalent to {m*tau}+{n*tau}<1. - Clark Kimberling (ck6(AT)evansville.edu), Nov 02 2007

EXAMPLE

a(3)=5 because {m*tau}<{3*tau}=.854... for m=1,2,3,4, whereas {-5*tau}=.909..., so that 5 is the least m for which {m*tau}>{3*tau}.

a(3)=5 because {-m*tau}<{3*tau}=.854... for m=1,2,3,4 whereas {-5*tau}=.9289..., so that 5 is the least m for which {-m*tau}>{2*tau}.

CROSSREFS

Cf. A134567, A134570, A134571.

Adjacent sequences: A134563 A134564 A134565 this_sequence A134567 A134568 A134569

Sequence in context: A006556 A108790 A117941 this_sequence A128694 A088421 A146024

KEYWORD

nonn

AUTHOR

Clark Kimberling (ck6(AT)evansville.edu), Nov 01 2007, Nov 02 2007

EXTENSIONS

More terms from Clark Kimberling (ck6(AT)evansville.edu), Nov 02 2007

page 1

Search completed in 0.002 seconds

Lookup | Welcome | Find friends | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
More pages | Superseeker | Maintained by N. J. A. Sloane (njas@research.att.com)

Last modified January 8 02:43 EST 2009. Contains 152824 sequences.


AT&T Labs Research