|
|
|
|
1, 4, 6, 8, 9, 10, 11, 12, 14, 15, 20, 21, 24, 25, 28, 29, 37, 38, 42, 47, 48, 51, 52, 54, 55, 57, 58, 59, 60, 62, 63, 64, 66, 69, 70, 72, 78, 81, 82, 83, 85, 86, 89, 92, 93, 96, 100, 102, 104, 106, 107, 109, 111, 113, 119, 121, 122, 128, 129, 130, 134, 136, 139
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,2
|
|
COMMENTS
|
Positions of 0 in the binary expansion of sqrt(2) after the radix point. With a prepended 0, A092855 gives the positions of 1.
|
|
LINKS
|
|
|
EXAMPLE
|
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.
|
|
MATHEMATICA
|
PositionIndex[First[RealDigits[Sqrt[2], 2, 200, -1]]][0] (* Paolo Xausa, Aug 27 2024 *)
|
|
PROG
|
(PARI) default(realprecision, 150); x=sqrt(2); for(n=1, 150, if(!(floor(x*2^n)%2), print1(n, ", ")))
(PARI) Vec(select(x->(x==0), binary(sqrt(2))[2], 1)) \\ Michel Marcus, Oct 29 2018
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,base
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|