OFFSET
0,2
FORMULA
Equals sqrt( (2-sqrt(2+sqrt(3)))/(2+sqrt(2+sqrt(3))) ).
Equals (sqrt(2)-1)*(sqrt(3)-sqrt(2)) = sqrt(2)-sqrt(3)+sqrt(6)-2.
EXAMPLE
0.13165249758739585347152...
MATHEMATICA
RealDigits[Tan[Pi/24], 10, 100][[1]] (* Amiram Eldar, Apr 27 2021 *)
PROG
(PARI) tan(Pi/24)
(PARI) sqrt((2-sqrt(2+sqrt(3)))/(2+sqrt(2+sqrt(3))))
(PARI) (sqrt(2)-1)*(sqrt(3)-sqrt(2))
CROSSREFS
KEYWORD
AUTHOR
Seiichi Manyama, Apr 04 2021
STATUS
approved