OFFSET
-1,1
COMMENTS
This constant appears in a historic problem posed as exemplum secundum by Adriaan van Roomen (see the first Adranus Romanus link) as erroneous argument x for the polynomial R(45, x), with the monic Chebyshev polynomials of the first kind R (A127672), of value given as 2*sin(43*Pi/128) = A303982 in a version with iterated square-roots given below. However, the correct polynomial value for the present constant x is R(45, x) = 2*sin(45*Pi/128) = A303985. See also comments, references and links for the other three problems in A302711 and A303982, especially for the identity R(45, 2*sin(theta)) = 2*sin(45*theta).
LINKS
Adriano Romano Lovaniensi, Ideae Mathematicae, 1593.
Adriano Romano Lovaniensi, Ideae Mathematicae, 1593 [alternative link].
FORMULA
Equals sqrt(2 - sqrt(2 + sqrt(2 + sqrt(2 + sqrt(2 + sqrt(2)))))).
EXAMPLE
0.04908245704582457606346905891856585013093223847890295515351354757698589627...
MATHEMATICA
RealDigits[2*Sin[Pi/128], 10, 120][[1]] (* Amiram Eldar, Jun 26 2023 *)
PROG
(PARI) 2*sin(Pi/128) \\ Altug Alkan, May 06 2018
CROSSREFS
KEYWORD
AUTHOR
Wolfdieter Lang, May 06 2018
STATUS
approved