login
Alternating row sums of array A187360: minimal polynomial of 2*cos(Pi/n) evaluated for x=-1.
3

%I #28 Sep 01 2018 21:30:20

%S 1,-1,-2,-1,1,-2,1,-1,1,1,1,-2,1,1,1,-1,1,1,1,1,1,1,1,-2,1,1,1,1,1,1,

%T 1,-1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,-2,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,

%U -1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1

%N Alternating row sums of array A187360: minimal polynomial of 2*cos(Pi/n) evaluated for x=-1.

%C It seems that after a(1) = 1, -1's occur only at the positions 2^k (with k >= 1) and -2's only at positions 3*2^k (with k >= 0, A007283), with everything else being 1. It would be nice to know whether this is true. - _Antti Karttunen_, May 27 2017

%C From _Wolfdieter Lang_, May 29 2017: (Start)

%C The preceding conjecture can be checked by using for even n Theorem 1A, eq. (41), and for odd n Theorem 2A, eq. (50) of the W. Lang arXiv link given in A187360 putting x = -1.

%C One uses for the polynomials that (A127672) and q (A130777) appearing there the result that(n, -1) = A099837(n+3), i.e., = 2 if n == 0 (mod 3), = -1 if n == 1 or 2 (mod 3), and q(n, -1) = A061347(n+2), i.e., = 1 if n == 0 or 2 (mod 3) and = -2 if n == 1 (mod 3).

%C E.g., n = 2^k, k >= 1: C(2^k, -1) = that(2^(k-1), -1) = -1 because 2^(k-1) == 1 or 2 (mod 3).

%C n = 3*2^k, k >= 1: C(2^k*3) = that(2^(k-1)*3, -1) / that(2^(k-1), -1) = 2/(-1) = -2 because 2^(k-1)*3 == 0 (mod 3), and the previous congruence. C(3, -1) = -2 also, by theorem 2A, see the next example.

%C n = 3^k, k >= 1: C(3^k, -1) = q((3^k-1)/2, -1) / q((3^(k-1)-1)/2, -1) = (-2)/1 = -2 if k = 1, and = (-2)/(-2) = +1 if k >= 2. (End)

%H R. J. Mathar, <a href="/A192004/b192004.txt">Table of n, a(n) for n = 1..220</a>

%F a(n) = Sum_{m=0..A055034(n)} (-1)^m*A187360(n,m), n >= 1.

%F a(n) = C(n,x=-1), with the minimal (monic and integer) polynomial C(n,x) of 2*cos(Pi/n).

%Y Cf. A055034, A192003.

%K sign,easy

%O 1,3

%A _Wolfdieter Lang_, Jul 14 2011