OFFSET
1,5
COMMENTS
The length of row n is A232626(n) + 1, that is 2, 2, 3, 2, 5, 3, 7, 2, 7, 5, 11, 3, 13, 7, 9, 3, 17, 7, 19, 5,...
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.
For the power basis representation of 2*sin(4*Pi/n) in the algebraic number field Q(rho(q(2,n))), with q(2,n)) = A232625(n) and rho(m) := 2*cos(Pi/m), see A232629. Call the row polynomials of A232629 PB2(n,x) (power basis polynomial for the case k=2 in 2*sin(2*Pi*k/n)).
The minimal polynomial of 2*sin(4*Pi/n), call it MP2(n, x), is obtained from the conjugates rho(q(2,n),j), j= 1, ... , delta(q(2,n)) = A232626(n), which are the zeros of C(q(2,n), x), the minimal polynomial of rho(q(2,n)) = rho(q(2,n),1) (for C see A187360). MP2(n, x) = product(x - PB2(n, rho(q(2,n),j)), j=1..A232626(n)) (mod C(q(2,n), rho(q(2,n)))).
FORMULA
EXAMPLE
The table a(n,m) begins:
--------------------------------------------------------------------------------------
n\m 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 ...
1: 0 1
2: 0 1
3: -3 0 1
4: 0 1
5: 5 0 -5 0 1
6: -3 0 1
7: -7 0 14 0 -7 0 1
8: -2 1
9: -3 0 9 0 -6 0 1
10: 5 0 -5 0 1
11: -11 0 55 0 -77 0 44 0 -11 0 1
12: -3 0 1
13: 13 0 -91 0 182 0 -156 0 65 0 -13 0 1
14: -7 0 14 0 -7 0 1
15: 1 0 -8 0 14 0 -7 0 1
16: -2 0 1
17: 17 0 -204 0 714 0 -1122 0 935 0 -442 0 119 0 -17 0 1
18: -3 0 9 0 -6 0 1
19: -19 0 285 0 -1254 0 2508 0 -2717 0 1729 0 -665 0 152 0 -19 0 1
20: 5 0 -5 0 1
...
n=1: 2*sin(4*Pi/1) = 0 is rational, therefore MP2(1, x) = x, with coefficients 0, 1, and degree A232626(1) = 1. PB2(1, rho(1,1)) = PB2(1, rho(1)) = 0.
n=3: A232626(2) = 2. PB2(2, x) = -x, C(6, x) = x^2 - 3, with zeros rho(6) and R(5, rho(6)) (for R see A127672), hence rho(6,1) = rho(6) and rho(6,2) = R(5, rho(6))= 5*rho(6) - 5*rho(6)^3 + 1*rho(6)^5, MP2(3, x) = (x - (-rho(6)))*(x - (- R(5, rho(6))) reduced with rho(6)^2 = 3 leading to MP2(3, x) = -3 + x^2, yielding row n=3: -3 0 1.
n=8: this row -2, 1 coincides with row n=4 of A231188.
n=17: coincides with WolframAlpha's MinimalPolynomial[2*sin(4*Pi/17),x] = 17-204 x^2+714 x^4-1122 x^6+935 x^8-442 x^10+119 x^12-17 x^14+x^16.
CROSSREFS
KEYWORD
sign,tabf,easy
AUTHOR
Wolfdieter Lang, Dec 17 2013
STATUS
approved