|
|
A318739
|
|
Decimal expansion of Pi^2 / 24 - (1/12) * log(2 + sqrt(5))^2.
|
|
0
|
|
|
2, 3, 7, 5, 5, 9, 9, 0, 1, 2, 7, 9, 1, 6, 0, 8, 1, 4, 7, 4, 5, 4, 0, 6, 9, 8, 8, 2, 3, 7, 8, 5, 6, 7, 2, 7, 2, 9, 2, 4, 3, 2, 7, 1, 2, 7, 6, 4, 7, 2, 5, 4, 5, 6, 3, 2, 2, 4, 1, 3, 6, 3, 5, 8, 2, 5, 1, 5, 5, 3, 5, 8, 4, 2, 5, 5, 7, 8, 8, 5, 8, 7, 1, 9, 6, 1
(list;
constant;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,1
|
|
COMMENTS
|
Ramanujan's question 606 in the Journal of the Indian Mathematical Society (VI, 239) asked "Show that Sum_{n>=0} (sqrt(5) - 2)^(2*n + 1) / (2*n + 1)^2 = Pi^2/24 - (1/12) * (log(2 + sqrt(5)))^2".
|
|
LINKS
|
|
|
EXAMPLE
|
0.2375599012791608147454069882378567272924327127647254563224136358251...
|
|
MATHEMATICA
|
RealDigits[Pi^2/24 - Log[2+Sqrt[5]]^2/12, 10, 120][[1]] (* Amiram Eldar, Jun 27 2023 *)
|
|
PROG
|
(PARI) Pi^2/24-(1/12)*log(2+sqrt(5))^2
(PARI) suminf(k=0, (sqrt(5)-2)^(2*k+1)/(2*k+1)^2)
|
|
CROSSREFS
|
|
|
KEYWORD
|
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|