OFFSET
1,2
COMMENTS
Largest radius of five circles tangent to a circle of radius 1.
A quartic integer with minimal polynomial x^4 - 20x^3 + 10x^2 + 20x + 5. - Charles R Greathouse IV, Oct 12 2016
LINKS
Eric W. Weisstein: Steiner chain. From MathWorld. A Wolfram Web Resource.
FORMULA
tan(Pi/5)*(tan(Pi/5)+sqrt(1+tan(Pi/5)^2)).
EXAMPLE
1.42591999815959135206...
MATHEMATICA
RealDigits[5-2*Sqrt[5]+Sqrt[25-10*Sqrt[5]]-Sqrt[5-2*Sqrt[5]], 10, 120][[1]] (* Harvey P. Dale, May 20 2021 *)
PROG
(PARI) s=sqrt(5); t=5-2*s; sqrt(25-10*s)+t-sqrt(t) \\ Charles R Greathouse IV, Oct 12 2016
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Martin Renner, Oct 12 2016
STATUS
approved