login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A194377 Numbers m such that Sum_{k=1..m} (<1/2 + k*r> - <k*r>) > 0, where r=sqrt(6) and < > denotes fractional part. 3

%I #12 Feb 15 2021 02:20:20

%S 1,3,5,7,9,10,11,12,13,14,15,16,17,18,19,21,23,25,27,29,30,31,32,33,

%T 34,35,36,37,38,39,41,43,45,47,49,50,51,52,53,54,55,56,57,58,59,61,63,

%U 65,67,69,70,71,72,73,74,75,76,77,78,79,81,83,85,87,89,90,91,92,93,94,95,96,97,98,99,100

%N Numbers m such that Sum_{k=1..m} (<1/2 + k*r> - <k*r>) > 0, where r=sqrt(6) and < > denotes fractional part.

%C See A194368. Although a(n)=A007957(n) for n = 1..70, the number 208, for example, is here but not A007957.

%t r = Sqrt[6]; c = 1/2;

%t x[n_] := Sum[FractionalPart[k*r], {k, 1, n}]

%t y[n_] := Sum[FractionalPart[c + k*r], {k, 1, n}]

%t t1 = Table[If[y[n] < x[n], 1, 0], {n, 1, 500}];

%t Flatten[Position[t1, 1]] (* empty *)

%t t2 = Table[If[y[n] == x[n], 1, 0], {n, 1, 400}];

%t Flatten[Position[t2, 1]] (* A194376 *)

%t t3 = Table[If[y[n] > x[n], 1, 0], {n, 1, 100}];

%t Flatten[Position[t3, 1]] (* A194377 *)

%o (PARI) is(n)=my(r=sqrt(6),f=x->x-x\1);sum(k=1,n,f(1/2+k*r)-f(k*r))>0 \\ _Charles R Greathouse IV_, Jul 25 2012

%Y Cf. A007957, A194368, A194376.

%K nonn

%O 1,2

%A _Clark Kimberling_, Aug 23 2011

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 16 04:38 EDT 2024. Contains 371696 sequences. (Running on oeis4.)