OFFSET
0,2
COMMENTS
The function (zeta(2*n,1/4) + zeta(2*n,3/4))/Pi^(2*n) is rational for every positive integer n.
FORMULA
a(n) = numerator( [x^(2*n-1)] tan(2*x) ).
a(n) = numerator( (-1)^(n + 1)*4^(2*n)*(2^(2*n) - 1)*B(2*n)/(2*(2*n)!) ) where B(2*n) are Bernoulli numbers.
EXAMPLE
tan(2*x) = 2*x + (8/3)*x^3 + (64/15)*x^5 + (2176/315)*x^7 + (31744/2835)*x^9 + ...
MATHEMATICA
Table[(Zeta[2*n, 1/4] + Zeta[2*n, 3/4])/Pi^(2*n), {n, 0, 25}] //
FunctionExpand // Numerator
Table[4^(2 k) (2^(2 k) - 1) (-1)^(k + 1) BernoulliB[2 k]/(2 (2 k)!), {k, 0, 25}] // Numerator
PROG
(PARI) my(x='x+O('x^50), v = Vec(tan(2*x)/x)); apply(numerator, vector(#v\2, k, v[2*k-1])) \\ Michel Marcus, Apr 09 2023
CROSSREFS
KEYWORD
nonn,frac
AUTHOR
Artur Jasinski, Mar 15 2023
STATUS
approved
