This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A332437 #50 Mar 16 2025 10:43:47
%S A332437 1,8,7,9,3,8,5,2,4,1,5,7,1,8,1,6,7,6,8,1,0,8,2,1,8,5,5,4,6,4,9,4,6,2,
%T A332437 9,3,9,8,7,2,4,1,6,2,6,8,5,2,8,9,2,9,2,6,6,1,8,0,5,7,3,3,2,5,5,4,8,4,
%U A332437 4,2,4,2,1,9,9,1,7,7,8,9,1,7,8,9,9,4,9,1,7,7,9,6,7,5,8,9,6,1,3,4,9
%N A332437 Decimal expansion of 2*cos(Pi/9).
%C A332437 This algebraic number called rho(9) of degree 3 = A055034(9) has minimal polynomial C(9, x) = x^3 - 3*x - 1 (see A187360).
%C A332437 rho(9) gives the length ratio diagonal/side of the smallest diagonal in the regular 9-gon.
%C A332437 The length ratio diagonal/side of the second smallest and the third smallest (or the largest) diagonal in the regular 9-gon are rho(9)^2 - 1 = A332438 - 1 and rho(9) + 1, respectively. - _Mohammed Yaseen_, Oct 31 2020
%D A332437 John H. Conway and Richard K. Guy, The Book of Numbers, New York: Springer-Verlag, 1996. See p. 207.
%H A332437 <a href="/index/Al#algebraic_03">Index entries for algebraic numbers, degree 3</a>.
%F A332437 rho(9) = 2*cos(Pi/9).
%F A332437 Equals (-1)^(-1/9)*((-1)^(1/9) - i)*((-1)^(1/9) + i). - _Peter Luschny_, Mar 27 2020
%F A332437 Equals 2*A019879. - _Michel Marcus_, Mar 28 2020
%F A332437 Equals sqrt(A332438). - _Mohammed Yaseen_, Oct 31 2020
%F A332437 From _Peter Bala_, Oct 20 2021: (Start)
%F A332437 The zeros of x^3 - 3*x - 1 are r_1 = -2*cos(2*Pi/9), r_2 = -2*cos(4*Pi/9) and r_3 = -2*cos(8*Pi/9) = 2*cos(Pi/9).
%F A332437 The polynomial x^3 - 3*x - 1 is irreducible over Q (since it is irreducible mod 2) with discriminant equal to 3^4, a square. It follows that the Galois group of the number field Q(2*cos(Pi/9)) over Q is cyclic of order 3.
%F A332437 The mapping r -> 2 - r^2 cyclically permutes the zeros r_1, r_2 and r_3. The inverse cyclic permutation is given by r -> r^2 - r - 2.
%F A332437 The first differences r_1 - r_2, r_2 - r_3 and r_3 - r_1 are the zeros of the cyclic cubic polynomial x^3 - 9*x - 9 of discriminant 3^6.
%F A332437 First quotient relations:
%F A332437 r_1/r_2 = 1 + (r_3 - r_1); r_2/r_3 = 1 + (r_1 - r_2); r_3/r_1 = 1 + (r_2 - r_3);
%F A332437 r_2/r_1 = (r_3 - r_2) - 2; r_3/r_2 = (r_1 - r_3) - 2; r_1/r_3 = (r_2 - r_1) - 2;
%F A332437 r_1/r_2 + r_2/r_3 + r_3/r_1 = 3; r_2/r_1 + r_3/r_2 + r_1/r_3 = -6.
%F A332437 Thus the first quotients r_1/r_2, r_2/r_3 and r_3/r_1 are the zeros of the cyclic cubic polynomial x^3 - 3*x^2 - 6*x - 1 of discriminant 3^6. See A214778.
%F A332437 Second quotient relations:
%F A332437 (r_1*r_2)/(r_3^2) = 3*r_2 - 6*r_1 - 8, with two other similar relations by cyclically permuting the 3 zeros. The three second quotients are the zeros of the cyclic cubic polynomial x^3 + 24*x^2 + 3*x - 1 of discriminant 3^10.
%F A332437 (r_1^2)/(r_2*r_3) = 1 - 3*(r_2 + r_3), with two other similar relations by cyclically permuting the 3 zeros. (End)
%F A332437 Equals i^(2/9) + i^(-2/9). - _Gary W. Adamson_, Jun 25 2022
%F A332437 Equals Re((4+4*sqrt(3)*i)^(1/3)). - _Gerry Martens_, Mar 19 2024
%F A332437 From _Amiram Eldar_, Nov 22 2024: (Start)
%F A332437 Equals Product_{k>=1} (1 - (-1)^k/A056020(k)).
%F A332437 Equals 1 + Product_{k>=1} (1 + (-1)^k/A156638(k)). (End)
%e A332437 rho(9) = 1.87938524157181676810821855464946293987241626852892926618...
%t A332437 RealDigits[2 * Cos[Pi/9], 10, 100][[1]] (* _Amiram Eldar_, Mar 27 2020 *)
%o A332437 (PARI) 2*cos(Pi/9) \\ _Michel Marcus_, Mar 28 2020
%Y A332437 Cf. A019879, A055034, A056020, A156638, A187360, A214778, A215885, A332438.
%K A332437 nonn,cons
%O A332437 1,2
%A A332437 _Wolfdieter Lang_, Mar 27 2020