OFFSET
0,1
COMMENTS
sqrt(2 - sqrt(3)) is the shape of the lesser sqrt(6)-contraction rectangle, as defined at A188739. - Clark Kimberling, Apr 16 2011
This is a constructible number, since 12-gon is a constructible polygon. See A003401 for more details. - Stanislav Sykora, May 02 2016
It is also smaller positive coordinate of (symmetrical) intersection points of x^2 + y^2 = 4 circle and y = 1/x hyperbola. The bigger coordinate is A188887. - Leszek Lezniak, Sep 18 2018
LINKS
G. C. Greubel, Table of n, a(n) for n = 0..5000
Eric Weisstein's World of Mathematics, Dodecagon.
FORMULA
Equals sqrt(A019913). - R. J. Mathar, Apr 20 2009
Equals 2*sin(Pi/12) = 2*cos(Pi*5/12). - Stanislav Sykora, May 02 2016
Equals i^(5/6) + i^(-5/6). - Gary W. Adamson, Jul 07 2022
EXAMPLE
0.517638090205041524697797675248096656698137802639861027628006414630113....
MATHEMATICA
r = 6^(1/2); t = (r - (-4 + r^2)^(1/2))/2; FullSimplify[t]
N[t, 130]
RealDigits[N[t, 130]][[1]] (*A101263*)
RealDigits[Sqrt[2-Sqrt[3]], 10, 120][[1]] (* Harvey P. Dale, Apr 24 2018 *)
PROG
(PARI) 2*sin(Pi/12) \\ Stanislav Sykora, May 02 2016
CROSSREFS
KEYWORD
cons,nonn
AUTHOR
Jun Mizuki (suzuki32(AT)sanken.osaka-u.ac.jp), Jan 25 2005
STATUS
approved