|
%I #26 Oct 30 2018 20:24:31
%S 1,4,6,8,9,10,11,12,14,15,20,21,24,25,28,29,37,38,42,47,48,51,52,54,
%T 55,57,58,59,60,62,63,64,66,69,70,72,78,81,82,83,85,86,89,92,93,96,
%U 100,102,104,106,107,109,111,113,119,121,122,128,129,130,134,136,139
%N Complement of A092855.
%C Positions of 0 in the binary expansion of sqrt(2) after the radix point. With a prepended 0, A092855 gives the positions of 1.
%e In binary, sqrt(2) is read as 1.0110101000001001111001... The 1st, 4th, 6th and 8th digits after the radix are 0's, so the first four terms are 1, 4, 6 and 8.
%o (PARI) default(realprecision, 150); x=sqrt(2); for(n=1, 150, if(!(floor(x*2^n)%2),print1(n, ", ")))
%o (PARI) Vec(select(x->(x==0), binary(sqrt(2))[2], 1)) \\ _Michel Marcus_, Oct 29 2018
%Y Cf. A004539, A092855.
%K nonn,base
%O 1,2
%A _Jianing Song_, Oct 27 2018
|
