|
|
A084187
|
|
First occurrence of exactly n 0's in the binary expansion of sqrt(2).
|
|
3
|
|
|
2, 15, 63, 58, 9, 1003, 524, 454, 1303, 5335, 22472, 8882, 37469, 32279, 220311, 92988, 698343, 24002, 574131, 3333660, 5940559, 4079882, 8356569, 115885798, 76570753
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,1
|
|
COMMENTS
|
Next term after 76570753 is >200000000. - Ryan Propper, May 09 2006
|
|
LINKS
|
|
|
EXAMPLE
|
The binary expansion of sqrt(2) is 1.0110101000001..(A004539) and at position 9, there are five 0's, framed by 1's, so a(5)=9.
|
|
MATHEMATICA
|
With[{d=RealDigits[Sqrt[2], 2, 116*10^6][[1]]}, Flatten[Table[SequencePosition[d, Join[ {1}, PadRight[{}, n, 0], {1}], 1][[All, 1]], {n, 25}]]]+1 (* Harvey P. Dale, Dec 12 2022 *)
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,more,hard
|
|
AUTHOR
|
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|