OFFSET
1,1
COMMENTS
Ramanujan's question 1070 (iii) asks for a proof of the identity
((3+2*5^(1/4))/(3-2*5^(1/4)))^(1/4) = (5^(1/4)+1)/(5^(1/4)-1).
This is the larger of the two real roots of x^4 - 6*x^3 + 6*x^2 - 6*x + 1 = 0.
REFERENCES
Srinivasa Ramanujan, Collected Papers, Chelsea, 1962, page 334, Question 1070.
EXAMPLE
5.0375591418015601791686190145827146563721270377443099468187040056...
MATHEMATICA
RealDigits[Surd[(3 + 2*5^(1/4))/(3 - 2*5^(1/4)), 4], 10, 120][[1]] (* Amiram Eldar, Jun 27 2023 *)
PROG
(PARI) ((3+2*5^(1/4))/(3-2*5^(1/4)))^(1/4)
(PARI) p(x)=x^4-6*x^3+6*x^2-6*x+1;
solve(x=5, 6, p(x)) \\ Hugo Pfoertner, Sep 12 2018
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Hugo Pfoertner, Aug 28 2018
STATUS
approved