OFFSET
0,2
COMMENTS
Smallest positive of the 4 real-valued roots of x^4+4*x^3-6*x^2-4*x+1=0 (Other: tan(5*Pi/16) = 1.49660.., -tan(7*Pi/16) = -5.027339.., -tan(3*Pi/16)= -0.6681786...) - R. J. Mathar, Sep 06 2025
LINKS
FORMULA
Equals sqrt( (2-sqrt(2+sqrt(2)))/(2+sqrt(2+sqrt(2))) ).
Equals sqrt(4+2*sqrt(2))-sqrt(2)-1.
EXAMPLE
0.19891236737965800691159762264...
MATHEMATICA
RealDigits[Tan[Pi/16], 10, 100][[1]] (* Amiram Eldar, Apr 27 2021 *)
PROG
(PARI) tan(Pi/16)
(PARI) sqrt((2-sqrt(2+sqrt(2)))/(2+sqrt(2+sqrt(2))))
(PARI) sqrt(4+2*sqrt(2))-sqrt(2)-1
CROSSREFS
KEYWORD
AUTHOR
Seiichi Manyama, Apr 04 2021
STATUS
approved
