cp's OEIS Frontend

A193013 Decimal expansion of the constant term of the reduction of cos(x) by x^2->x+1.

%I A193013 #10 Jan 18 2022 02:34:56
%S A193013 5,7,6,7,0,2,1,2,3,1,9,4,6,3,3,9,1,8,1,8,5,4,0,4,3,4,7,7,5,6,1,3,7,5,
%T A193013 3,4,8,2,0,0,5,7,3,4,8,0,5,1,9,8,0,9,6,0,4,5,2,5,5,0,9,3,7,0,0,3,3,4,
%U A193013 1,7,6,0,2,3,7,9,5,3,8,7,1,0,1,3,5,4,0,6,3,8,6,7,0,2,4,3,7,9,8,3
%N A193013 Decimal expansion of the constant term of the reduction of cos(x) by x^2->x+1.
%C A193013 Reduction of a function f(x) by a substitution q(x)->s(x) is introduced at A193010.
%F A193013 From _Amiram Eldar_, Jan 18 2022: (Start)
%F A193013 Equals 1 + Sum_{k>=1} (-1)^k*Fibonacci(2*k-1)/(2*k)!.
%F A193013 Equals cos(1/2)*cos(sqrt(5)/2) + sin(1/2)*sin(sqrt(5)/2)/sqrt(5). (End)
%e A193013 0.5767021231946339181854043477561375348200573480...
%t A193013 f[x_] := Cos[x]; r[n_] := Fibonacci[n];
%t A193013 c[n_] := SeriesCoefficient[Series[f[x], {x, 0, n}], n]
%t A193013 u0 = N[Sum[c[n]*r[n - 1], {n, 0, 300}], 100]
%t A193013 RealDigits[u0, 10]
%Y A193013 Cf. A000045, A193010, A192232, A193014.
%K A193013 nonn,cons
%O A193013 0,1
%A A193013 _Clark Kimberling_, Jul 14 2011