cp's OEIS Frontend

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.

Showing 1-2 of 2 results.

A225975 Square root of A226008(n).

Original entry on oeis.org

0, 2, 2, 6, 1, 10, 6, 14, 4, 18, 10, 22, 3, 26, 14, 30, 8, 34, 18, 38, 5, 42, 22, 46, 12, 50, 26, 54, 7, 58, 30, 62, 16, 66, 34, 70, 9, 74, 38, 78, 20, 82, 42, 86, 11, 90, 46, 94, 24, 98, 50, 102, 13, 106, 54, 110, 28, 114, 58
Offset: 0

Views

Author

Paul Curtz, May 22 2013

Keywords

Comments

Repeated terms of A016825 are in the positions 1,2,3,6,5,10,... (A043547).
From Wolfdieter Lang, Dec 04 2013: (Start)
This sequence a(n), n>=1, appears in the formula 2*sin(2*Pi/n) = R(p(n), x) modulo C(a(n), x), with x = rho(a(n)) = 2*cos(Pi/a(n)), the R-polynomials given in A127672 and the minimal C-polynomials of rho given in A187360. This follows from the identity 2*sin(2*Pi/n) = 2*cos(Pi*p(n)/a(n)) with gcd(p(n), a(n)) = 1. For p(n) see a comment on A106609,
Because R is an integer polynomial it shows that 2*sin(2*Pi/n) is an integer in the algebraic number field Q(rho(a(n))) of degree delta(a(n)) (the degree of C(a(n), x)), with delta(k) = A055034(k). This degree is given in A093819. For the coefficients of 2*sin(2*Pi/n) in the power basis of Q(rho(a(n))) see A231189 . (End)

Examples

			For the first formula: a(0)=-1+1=0, a(1)=-3+5=2, a(2)=-1+3=2, a(3)=-1+7=6, a(4)=0+1=1.

Links

Crossrefs

Cf. A016825, A017089, A017137, A022998, A106609, A145979, A226008.

Programs

  • Mathematica
    a[0]=0; a[n_] := Sqrt[Denominator[1/4 - 4/n^2]]; Table[a[n], {n, 0, 58}] (* Jean-François Alcover, May 30 2013 *)
LinearRecurrence[{0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,-1},{0,2,2,6,1,10,6,14,4,18,10,22,3,26,14,30},60] (* Harvey P. Dale, Nov 21 2019 *)

Formula

a(n) = A106609(n-4) + A106609(n+4) with A106609(-4)=-1, A106609(-3)=-3, A106609(-2)=-1, A106609(-1)=-1.
a(n) = 2*a(n-8) -a(n-16).
a(2n+1) = A016825(n), a(2n) = A145979(n-2) for n>1, a(0)=0, a(2)=2.
a(4n) = A022998(n).
a(4n+1) = A017089(n).
a(4n+2) = A016825(n).
a(4n+3) = A017137(n).
G.f.: x*(2 +2*x +6*x^2 +x^3 +10*x^4 +6*x^5 +14*x^6 +4*x^7 +14*x^8 +6*x^9 +10*x^10 +x^11 +6*x^12 +2*x^13 +2*x^14)/((1-x)^2*(1+x)^2*(1+x^2)^2*(1+x^4)^2). [Bruno Berselli, May 23 2013]
From Wolfdieter Lang, Dec 04 2013: (Start)
a(n) = 2*n if n is odd; if n is even then a(n) is n if n/2 == 1, 3, 5, 7 (mod 8), it is n/2 if n/2 == 0, 4 (mod 8) and it is n/4 if n/2 == 2, 6 (mod 8). This leads to the given G.f..
With c(n) = A178182(n), n>=1, a(n) = c(n)/2 if c(n) is even and c(n) if c(n) is odd. This leads to the preceding formula. (End)

Extensions

Edited by Bruno Berselli, May 24 2013

A232629 Coefficients of the algebraic number 2*sin(4*Pi/n) in the power basis of Q(2*cos(Pi/q(2,n))), with q(2,n) = A232625(n), n >= 1.

Original entry on oeis.org

0, 0, 0, -1, 0, 0, -3, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 2, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, -3, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 5, 0, -5, 0, 1, 0, 0, 0, 0, 0, 0, 0, -3, 0, 1, 0, 0, 0, -7, 0, 14, 0, -7, 0, 1, 0, 1, 0, 9, 0, -30, 0, 27, 0, -9, 0, 1, 0, 0, 0, 0, 0, 0, 0, 5, 0, -5, 0, 1, 0, -11, 0, 55, 0, -77, 0, 44, 0, -11, 0, 1, 0, 0, 0, 0, 0, 0, 0, -3, 0, 1
Offset: 1

Views

Author

Wolfdieter Lang, Dec 17 2013

Keywords

Comments

The length of row n is A232626(n).
In a regular n-gon, n>=2, inscribed in a circle of radius R (in some length units), 2*sin(4*Pi/n) = (S(n)/R)*(D(1,n)/S(n)) = D(1,n)/R, with the side length S(n) and the length of the first (smallest) diagonal D(1,n). For n=2 there is no such diagonal, and one can put D(1,2) = 0. Obviously, D(1,2*m) = S(m), m >= 2.
See a comment on A231190 regarding the pair of sequences p(k,n) and q(k,n), n >= 1, k >= 1. Here k=2 with A231190 and A232625.
See also the k=1 analog A231189 of the present table.
The relevant identity is here 2*sin(Pi*4/n) = 2*cos(Pi*abs(n-8)/(2*n)) = 2*cos(Pi*p(2,n)/q(2,n)). This is R(p(2,n), x) (mod C(q(2,n), x)), with x = 2*cos(Pi/q(2,n)) =: rho(q(2,n)). with the coefficient tables for the polynomials R and C given in A127672 and A187360, respectively. This gives the power base coefficients of 2*sin(Pi*4/n) in the algebraic number field Q(rho(q(2,n))) of degree delta(q(2,n)), with delta(n) = A055034(n), shown in A232626.
If the degree p(2,n) of R(p(2,n), x) is smaller than the degree A232626(n) of C(q(2,n), x) then 2*sin(Pi*4/n) = R(p(2,n), x). Otherwise the (mod C(q(2,n), x)) congruence is needed. This happens for n = 1, 2, 3, 4, 21, 24, 27, 30,...
The power basis of Q(rho(q(2,n))) is <1, rho(q(2,n)), ..., rho(q(2,n))^(delta(q(2,n))-1)>. Therefore the length of row n of this table is delta(q(2,n)) = A232626(n).
The coefficient table for the minimal polynomial of 2*sin(Pi*4/n) is given in A232630.

Examples

			The table a(n,m) begins (the trailing zeros are needed to have the correct degree A232626(n) in Q(rho(q(2,n))))
-----------------------------------------------------------------
n\m 0   1  2   3  4   5  6   7  8   9 10 11 12 13 14 15 16 17 ...
1:  0
2:  0
3:  0  -1
4:  0
5:  0  -3  0   1
6:  0   1
7:  0   1  0   0  0   0
8:  2
9:  0   1  0   0  0   0
10: 0   1  0   0
11: 0  -3  0   1  0   0  0   0  0   0
12: 0   1
13: 0   5  0  -5  0   1  0   0  0   0  0  0
14: 0  -3  0   1  0   0
15: 0  -7  0  14  0  -7  0   1
16: 0   1
17: 0   9  0 -30  0  27  0  -9  0   1  0  0  0  0  0  0
18: 0   5  0  -5  0   1
19: 0 -11  0  55  0 -77  0  44  0 -11  0  1  0  0  0  0  0  0
20: 0  -3  0   1
...
n=1: 2*sin(Pi*4/1) = 0. R(p(2,1), x) = R(7, x) = -7*x + 14*x^3 -7*x^5 + x^7. C(q(2,1), x) = C(2, x) = x, hence R(7, x) (mod C(2, x)) == 0, and
  with A232626(1) = 1, a(1,0) = 0.n=7: p(2,7) = A231190(7) = 1, q(2,7) = A232625(7) = 14. 2*sin(Pi*4/7) = R(1, x) = x = rho(14) := 2*cos(Pi/14). C(14, x) of degree 6 does not apply here. A232626(7) = 6, hence the row n=7 is  0  1  0  0  0  0.
n=9: p(2,9) = 1, q(2,9) = 18. 2*sin(Pi*4/9) = R(1, x) = x = rho(18) = 2*cos(Pi/18). C(18, x) with degree 6 is not needed here. A232626(9) = 6, hence row n=9 is also 0  1  0  0  0  0.
n=8: this row with entry 2 coincides with row n=4 of A231189.
n=17: row length A232626(17) = 16; p(2,17) = 9; C(34, x) has degree 16, therefore the R(9, x) coefficients produce here the first 10 entries for row n=17: 0  9  0 -30  0  27  0 -9  0  1, followed by 6 zeros, and 2*sin(Pi*4/17) = 9*rho(34) - 30*rho(34)^3 + 27*rho(34)^5 - 9*rho(34)^7 + 1*rho(34)^9, with rho(34) = 2*cos(Pi/34).

Crossrefs

Cf. A231190 (p), A232625 (q), A127672 (R), A187360 (C), A232626 (degree), A231189 (k=1 case), A232630 (minimal polynomials).

Formula

a(n,m) = [x^m] (R(p(2,n), x) (mod C(q(2,n), x)), n >= 1, m = 0, 1, ..., A232626(n) - 1, where the C and R polynomials are found in A187360 and A127672, respectively. p(2,n) = A231190(n) and q(2,n) = A232625(n). Powers of x = rho(q(2,n)) := 2*cos(Pi/q(2,n)) appear in the table in increasing order.
a(2*l,m) = A231189(l,m), l >= 1, m = 0, 1, ..., (A093819(n)-1).
Showing 1-2 of 2 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.