|
%I #24 Apr 27 2021 02:12:21
%S 1,3,0,5,2,6,1,9,2,2,2,0,0,5,1,5,9,1,5,4,8,4,0,6,2,2,7,8,9,5,4,8,9,0,
%T 1,0,1,9,3,7,4,0,7,0,4,8,1,1,7,3,2,2,5,1,8,9,0,6,1,6,9,4,8,3,3,5,1,3,
%U 2,8,2,5,2,2,9,8,2,3,6,2,9,6,1,4,2,4,0,3,6,8,9,9,2,2,9,2,1,2,2,9,0,5,7,4,9,4,4,6,9,9,7,9,7,1,4,4
%N Decimal expansion of the imaginary part of i^(1/12), or sin(Pi/24).
%H Wikipedia, <a href="https://en.wikipedia.org/wiki/Trigonometric_constants_expressed_in_real_radicals">Trigonometric constants expressed in real radicals</a>
%F Equals (1/2) * sqrt(2-sqrt(2+sqrt(3))).
%e 0.130526192220051591548...
%t RealDigits[Sin[Pi/24], 10, 100][[1]] (* _Amiram Eldar_, Apr 27 2021 *)
%o (PARI) imag(I^(1/12))
%o (PARI) sin(Pi/24)
%o (PARI) sqrt(2-sqrt(2+sqrt(3)))/2
%Y Cf. A144982 (cos(Pi/24)).
%K nonn,cons,easy
%O 0,2
%A _Seiichi Manyama_, Apr 04 2021
|
