OFFSET
-1,1
COMMENTS
This constant appears in a problem similar to the ones posed by Adriaan van Roomen (Adrianus Romanus) in his Ideae mathematicae from 1593. See the Havil reference, pp. 69-74, problem 2. See the comments on A302713 and A302711, also for the Romanus link. The present identity is R(45, 2*sin(Pi/192)) = 2*sin(15*Pi/64) = A302713, with the monic Chebyshev polynomial R from A127672.
This number has been given in Viète's 1595 reply (see A303982 for the link) to Romanus's problems in a corrected Exemplum secundum as solution to the polynomial value given there, which is, in trigonometric version, 2*sin(43*Pi/128) = A303982. Therefore his corrected value (the present one) is also incorrect because it is a solution to the polynomial value 2*sin(15*Pi/64). - Wolfdieter Lang, May 04 2018
REFERENCES
Julian Havil, The Irrationals, A Story of the Numbers You Can't Count On, Princeton University Press, Princeton and Oxford, 2012, pp. 69-74.
FORMULA
Equals sqrt(2 - sqrt(2 + sqrt(2 + sqrt(2 + sqrt(2 + sqrt(3))))))).
EXAMPLE
0.03272346325297356328594384696834610047132981567239244974814...
MATHEMATICA
RealDigits[2*Sin[Pi/192], 10, 120][[1]] (* Amiram Eldar, Jun 26 2023 *)
CROSSREFS
KEYWORD
AUTHOR
Wolfdieter Lang, Apr 28 2018
STATUS
approved