|
%I #15 Apr 21 2021 12:39:40
%S 8,2,4,9,0,8,0,6,7,2,8,0,2,1,5,1,9,5,5,6,6,7,2,2,7,3,6,5,1,6,9,1,0,5,
%T 6,6,1,7,8,9,5,6,7,4,8,9,1,1,5,3,9,1,1,5,1,4,6,7,5,8,8,3,0,6,9,7,5,8,
%U 7,1,8,4,7,3,1,5,6,5,1,7,7,9,2,7,6,0,9,0,8,0
%N Twice the Thue-Morse constant (A014571).
%C This is the value of the g.f. of A010060 at x = 1/2. This number is transcendental.
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/Thue-MorseConstant.html">Thue-Morse Constant</a>
%H <a href="/index/Tra#transcendental">Index entries for transcendental numbers</a>
%F Equals Sum_{k>=0} A010060(k)*2^(-k) = 1 - (Product_{k>=0} (1 - 2^(-2^k)))/2.
%F Equals Sum_{k>=1} 2^(-A000069(k)).
%e Equals 2^(-1) + 2^(-2) + 2^(-4) + 2^(-7) + ... = 0.11010011001011010..._2 = 0.82490806728021519...
%t P = FromDigits[{ThueMorse /@ Range[0, 400], 0}, 2];
%t RealDigits[2P, 10, 105][[1]] (* _Jean-François Alcover_, Apr 21 2021 *)
%o (PARI) 1-prodinf(n=0, 1-1.>>2^n)/2
%Y Cf. A000069, A001969, A010060, A014571.
%K nonn,cons
%O 0,1
%A _Jianing Song_, Oct 27 2018
|
