Open Access Library Journal
Vol.06 No.05(2019), Article ID:92818,41 pages
10.4236/oalib.1105417

Integer Sequences for the Sum of Powers of Trigonometric Values

Kai Wang

Henderson, NV, USA

Copyright © 2019 by author(s) and Open Access Library Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

Received: April 22, 2019; Accepted: May 28, 2019; Published: May 31, 2019

ABSTRACT

We will develop some methods to generate integer sequences whose terms are sums of mixed powers of trigonometric values at angles of a heptagonal triangle. Our method will produce many new integer sequences and reproduce some sequences which are discovered using different methods by other researchers.

Subject Areas:

Mathematical Analysis

Keywords:

Integer Sequence, Heptagonal Triangle, Sine, Cosine, Tangent, Recurrence Equation

1. Introduction

Integer sequences whose terms are mixed power sums of trigonometric functions at heptagonal triangles have been studied by many researchers such as [1] . We became interested in integer sequences through the study of sums of mixed powers of trigonometric values. In [2] as corollaries of theta function identities from Ramanujans notebooks, Berndt and Zhang discovered some trigonometric identities which have zero values or integer values. We subsequently developed some methods to evaluate sums of mixed powers of trigonometric values in an unpublished paper [3] . During our studies, we also found the following integer sequence:

Theorem 1. Let

t ( n ) = ( tan 7 tan 7 ) n + ( tan 7 tan 7 ) n + ( tan 7 tan 7 ) n .

Then

{ t ( n ) = 3 , 9 , 83 , 753 , 6851 , 62329 , 567059 , | n = 0 , 1 , 2 , } , [A274032]

and

{ t ( n ) = 3 , 1 , 19 , 25 , 195 , 401 , 2131 , 5545 , | n = 0 , 1 , 2 , } [A274075]

together is a two-sided integer sequence.

Since then, we have generated more integer sequences using similar methods. The purpose of this paper is to further advance our methods in a more general setting so that it has many of our previous sequences as special cases. In this paper, for convenience, Let θ = π 7 . Our method is based on the following proposition.

Proposition 2. Let { X , Y , Z } be the roots of a cubic equation:

t 3 + a t 2 + b t + c = 0

where a , b , c are integers. Then

{ p ( n ) = X n + Y n + Z n | n = 0 , 1 , 2 , }

is an integer sequence with the recurrence relation:

p ( n ) = a p ( n 1 ) b p ( n 2 ) c p ( n 3 ) .

Our main results are the following:

Theorem 3. For integers i , j ,

{ ( sin i + j 2 θ sin i 4 θ sin j 8 θ ) n + ( sin i + j 4 θ sin i 8 θ sin j 2 θ ) n + ( sin i + j 8 θ sin i 2 θ sin j 4 θ ) n | n = 0 , ± 1 , ± 2 , } ,

{ ( cos i + j 2 θ cos i 4 θ cos j 8 θ ) n + ( cos i + j 4 θ cos i 8 θ cos j 2 θ ) n + ( cos i + j 8 θ cos i 2 θ cos j 4 θ ) n | n = 0 , ± 1 , ± 2 , } ,

{ ( tan i + j 2 θ tan i 4 θ tan j 8 θ ) n + ( tan i + j 4 θ tan i 8 θ tan j 2 θ ) n + ( tan i + j 8 θ tan i 2 θ tan j 4 θ ) n | n = 0 , ± 1 , ± 2 , }

are two-sided integer sequences.

{ ( 2 7 sin i + j + 1 2 θ sin i 4 θ sin j 8 θ ) n + ( 2 7 sin i + j + 1 4 θ sin i 8 θ sin j 2 θ ) n + ( 2 7 sin i + j + 1 8 θ sin i 2 θ sin j 4 θ ) n | n = 0 , 1 , 2 , } ,

{ ( 7 sin i + j 1 2 θ 2 sin i 4 θ sin j 8 θ ) n + ( 7 sin i + j 1 4 θ 2 sin i 8 θ sin j 2 θ ) n + ( 7 sin i + j 1 8 θ 2 sin i 2 θ sin j 4 θ ) n | n = 0 , 1 , 2 , } ,

{ ( 2 cos i + j + 1 2 θ cos i 4 θ cos j 8 θ ) n + ( 2 cos i + j + 1 4 θ cos i 8 θ cos j 2 θ ) n + ( 2 cos i + j + 1 8 θ cos i 2 θ cos j 4 θ ) n | n = 0 , 1 , 2 , } ,

{ ( cos i + j 1 2 θ cos i 4 θ cos j 8 θ ) n + ( cos i + j 1 4 θ cos i 8 θ cos j 2 θ ) n + ( cos i + j 1 8 θ cos i 2 θ cos j 4 θ ) n | n = 0 , 1 , 2 , } ,

{ ( 7 tan i + j + 1 2 θ tan i 4 θ tan j 8 θ ) n + ( 7 tan i + j + 1 4 θ tan i 8 θ tan j 2 θ ) n + ( 7 tan i + j + 1 8 θ tan i 2 θ tan j 4 θ ) n | n = 0 , 1 , 2 , } ,

{ ( 7 tan i + j 1 2 θ tan i 4 θ tan j 8 θ ) n + ( 7 tan i + j 1 4 θ tan i 8 θ tan j 2 θ ) n + ( 7 tan i + j 1 8 θ tan i 2 θ tan j 4 θ ) n | n = 0 , 1 , 2 , }

are integer sequences.

Note the Propositions 2 can be proven easily by induction. Theorem 3 will be proved later separately as Theorem 23, Theorem 30, Theorem 36, Theorem 51, Theorem 58, Theorem 64, Theorem 79, Theorem 86, and Theorem 92.

Note that in this paper all the sequences are generated by computer.

2. Sums of Powers of Roots for an Integer Equation

Definition 4. Let A , B , C are three nonzero numbers. For an expression f ( A , B , C ) , let

f ( A , B , C ) = f ( A , B , C ) f ( B , C , A ) f ( C , A , B ) .

f ( A , B , C ) = f ( A , B , C ) + f ( B , C , A ) + f ( C , A , B ) ,

P = A B C , Q = A B , R = A C .

For a constant K and integers i , j , let

1) α ( i , j ) = α ( i , j | A , B , C ) = A i + j B i C j ,

2) β ( i , j ) = β ( i , j | A , B , C , K ) = K A i + j + 1 B i C j ,

3) λ ( i , j ) = λ ( i , j | A , B , C , K ) = K 2 B i + 1 C j + 1 A i + j ,

4) γ ( i , j ) = γ ( i , j | A , B , C , K ) = K A i + j 1 B i C j ,

5) μ ( i , j ) = μ ( i , j | A , B , C , K ) = K 2 B i 1 C j 1 A i + j ,

Proposition 5. With the above notations,

1) { A i + j B i C j , B i + j C i A j , C i + j A i B j } are the roots of a monic equation

t 3 α ( i , j ) t 2 + α ( i , j ) t 1 = 0.

2) { K A i + j + 1 B i C j , K B i + j + 1 C i A j , K C i + j + 1 A i B j } are the roots of a monic equation

t 3 β ( i , j ) t 2 + λ ( i , j ) t K 3 P = 0.

3) { K A i + j 1 B i C j , K B i + j 1 C i A j , K C i + j 1 A i B j } are the roots of a monic equation

t 3 γ ( i , j ) t 2 + μ ( i , j ) t K 3 P = 0.

Proof. For (1),

A i + j B i C j = α ( i , j ) .

( A i + j B i C j B i + j C i A j ) = A i B j C i + j = B i C j A i + j = α ( i , j ) .

A i + j B i C j B i + j C i A j C i + j A i B j = 1.

Now statement (1) is clear. For (2),

K A i + j + 1 B i C j = β ( i , j ) .

( K A i + j + 1 B i C j K B i + j + 1 C i A j ) = K 2 A i + 1 B j + 1 C i + j = K 2 B i + 1 C j + 1 A i + j = λ ( i , j ) ,

K A i + j + 1 B i C j K B i + j + 1 C i A j K C i + j + 1 A i B j = K 3 A B C = K 3 P .

Now statement (2) is clear. The proof for (3) is similar and omitted.

Proposition 6. With the above notations,

1) α ( i , j ) = α ( i 1 , j ) Q α ( i 2 , j + 1 ) α ( i 1 , j 1 ) ,

2) α ( i , j ) = α ( i , j 1 ) R α ( i 1 , j 1 ) α ( i + 1 , j 2 ) ,

3) α ( i , j ) = α ( i + 1, j ) R α ( i + 2, j 1 ) α ( i + 1, j + 1 ) ,

4) α ( i , j ) = α ( i , j + 1 ) Q α ( i + 1 , j + 1 ) α ( i 1 , j + 2 ) ,

5) β ( i , j ) = β ( i 1 , j ) Q β ( i 2 , j + 1 ) β ( i 1 , j 1 ) ,

6) β ( i , j ) = β ( i , j 1 ) R β ( i 1 , j 1 ) β ( i + 1 , j 2 ) ,

7) λ ( i , j ) = λ ( i 1 , j ) R λ ( i 2 , j + 1 ) λ ( i 1 , j 1 ) ,

8) λ ( i , j ) = λ ( i , j 1 ) Q λ ( i 1 , j 1 ) λ ( i + 1 , j 2 ) ,

9) γ ( i , j ) = γ ( i 1 , j ) Q γ ( i 2 , j + 1 ) γ ( i 1 , j 1 ) ,

10) γ ( i , j ) = γ ( i , j 1 ) R γ ( i 1 , j 1 ) γ ( i + 1 , j 2 ) ,

11) μ ( i , j ) = μ ( i 1 , j ) R μ ( i 2 , j + 1 ) μ ( i 1 , j 1 ) ,

12) μ ( i , j ) = μ ( i , j 1 ) Q μ ( i 1 , j 1 ) μ ( i + 1 , j 2 ) .

Proof. For (1) we compute

α ( i , j ) = ( A i + j 1 B i 1 C j A B ) = ( A i + j 1 B i 1 C j ) ( A B ) ( A i + j 1 B i 1 C j B C ) ( A i + j 1 B i 1 C j C A ) = ( A i + j 1 B i 1 C j ) ( A B ) A i + j 1 B i 2 C j + 1 A i + j 2 B i 1 C j 1 = α ( i 1 , j ) Q α ( i 2 , j + 1 ) α ( i 1 , j 1 ) .

For (2) we compute

α ( i , j ) = ( A i + j 1 B i C j 1 A C ) = ( A i + j 1 B i C j 1 ) ( A C ) ( A i + j 1 B i C j 1 B A ) ( A i + j 1 B i C j 1 C B ) = ( A i + j 1 B i C j 1 ) ( A C ) A i + j 2 B i 1 C j 1 A i + j 1 B i + 1 C j 2 = α ( i , j 1 ) R α ( i 1 , j 1 ) α ( i + 1 , j 2 ) .

For (3) we compute

α ( i , j ) = ( A i + j + 1 B i + 1 C j B A ) = ( A i + j + 1 B i + 1 C j ) ( B A ) ( A i + j + 1 B i + 1 C j C B ) ( A i + j + 1 B i + 1 C j A C ) = ( A i + j + 1 B i + 1 C j ) ( B A ) A i + j + 1 B i + 2 C j 1 A i + j + 2 B i + 1 C j + 1 = α ( i + 1 , j ) R α ( i + 2 , j 1 ) α ( i + 1 , j + 1 ) .

For (4) we compute

α ( i , j ) = A i + j + 1 B i C j + 1 C A = ( A i + j + 1 B i C j + 1 ) ( C A ) ( A i + j + 1 B i C j + 1 A B ) ( A i + j + 1 B i C j + 1 B C ) = ( A i + j + 1 B i C j + 1 ) ( C A ) A i + j + 2 B i + 1 C j + 1 A i + j + 1 B i 1 C j + 2 = α ( i , j + 1 ) Q α ( i + 1 , j + 1 ) α ( i 1 , j + 2 ) .

For (5) we compute

β ( i , j ) = ( K A i + j B i 1 C j A B ) = ( K A i + j B i 1 C j ) ( A B ) ( K A i + j B i 1 C j B C ) ( K A i + j B i 1 C j C A ) = ( K A i + j B i 1 C j ) ( A B ) K A i + j B i 2 C j + 1 K A i + j 1 B i 1 C j 1 = β ( i 1 , j ) Q β ( i 2 , j + 1 ) β ( i 1 , j 1 ) .

For (6) we compute

β ( i , j ) = ( K A i + j B i C j 1 A C ) = ( K A i + j B i C j 1 ) ( A C ) ( K A i + j B i C j 1 B A ) ( K A i + j B i C j 1 C B ) = ( K A i + j B i C j 1 ) ( A C ) K A i + j 1 B i 1 C j 1 K A i + j B i + 1 C j 2 = β ( i , j 1 ) R β ( i 1 , j 1 ) β ( i + 1 , j 2 ) .

Similarly we can prove the rest of equations.

Proposition 7. With the above notations,

1) If α ( 1,1 ) is an integer and α ( n ,0 ) are integers for all integer n 0 . Then for integers i , j 0 ,

{ ( A i + j B i C j ) n + ( B i + j C i A j ) n + ( C i + j A i B j ) n | n = 0 , 1 , 2 , }

is an integer sequence.

2) If α ( 1, 1 ) is an integer and α ( 0, n ) are integers for all integer n 0 . Then for integers i 0, j 0 ,

{ ( B i C j A i + j ) n + ( C i A j B i + j ) n + ( A i B j C i + j ) n | n = 0 , 1 , 2 , }

is an integer sequence.

3) If β ( 1,1 ) and λ ( 1,1 ) are integers and β ( n ,0 ) and λ ( n ,0 ) are integers for all integer n 0 . Then for integers i 0, j 0 ,

{ ( K A i + j + 1 B i C j ) n + ( K B i + j + 1 C i A j ) n + ( K C i + j + 1 A i B j ) n | n = 0 , 1 , 2 , }

is an integer sequence.

4) If γ ( 1 , 1 ) and μ ( 1,1 ) are integers and γ ( n ,0 ) and μ ( n ,0 ) are integers for all integer n 0 . Then for integers i 0, j 0 ,

{ ( K A i + j 1 B i C j ) n + ( K B i + j 1 C i A j ) n + ( K C i + j 1 A i B j ) n | n = 0 , 1 , 2 , }

is an integer sequence.

Proof. We prove the first statement by induction on the sum ( i + j ) that α ( i , j ) are integers for all i , j 0 .

Assume that all α ( p , q ) are integers for all p , q 0 such that ( p + q ) < ( i + j ) .

Case 1. i 2, j 1 . By Equation (1),

α ( i , j ) = α ( i 1 , j ) Q α ( i 2 , j + 1 ) α ( i 1 , j 1 )

where

α ( i 1, j ) , α ( i 2, j + 1 ) , α ( i 1, j 1 )

are integers by induction hypothesis.

Case 2. i 1, j 2 . By Equation (2),

α ( i , j ) = α ( i , j 1 ) R α ( i 1 , j 1 ) α ( i + 1 , j 2 )

where

α ( i , j 1 ) , α ( i 1, j 1 ) , α ( i + 1, j 2 )

are integers by induction hypothesis.

Case 3. j = 0 . Then α ( i , j ) is an integer by assumption.

Case 4. i = 0 . Then α ( i , j ) is an integer by assumption.

It follows that α ( i , j ) is an integer in all cases.

By induction, α ( i , j ) is an integer for all 0 i , j 1 .

It follows from Corollary 2 that

{ ( A i + j B i C j ) n + ( B i + j C i A j ) n + ( C i + j A i B j ) n | n = 0 , ± 1 , ± 2 , }

is an integer sequence.

We can prove the other statements in a similar fashion.

Remark 8. With above notations,

1) we will call this sequence

{ ( A i + j B i C j ) n + ( B i + j C i A j ) n + ( C i + j A i B j ) n | n = 0 , 1 , 2 , }

an α sequence.

2) we will call this sequence

{ ( K A i + j + 1 B i C j ) n + ( K B i + j + 1 C i A j ) n + ( K C i + j + 1 A i B j ) n | n = 0 , 1 , 2 , }

a β sequence.

3) we will call this sequence

{ ( K A i + j 1 B i C j ) n + ( K B i + j 1 C i A j ) n + ( K C i + j 1 A i B j ) n | n = 0 , 1 , 2 , }

a γ sequence.

In later sections, we will need to use the following formulas.

Proposition 9. With the above notations,

A B + A C = ( A ) ( 1 A ) 3 ,

( A B ) ( A C ) = ( 1 P ) ( A 3 ) + P ( 1 A 3 ) + 3.

For integers i , j ,

A i B j + A j B i = ( A i ) ( A j ) ( A i + j ) ,

( A i B j ) ( A j B i ) = ( Π A ) i + j ( A i j ) + ( Π A ) i A 2 j i + ( Π A ) j A 2 i j .

Proof. This can be verified by simple algebra.

3. Power Sums of Sine Values

In this section we will compute the sum of powers and mixed powers of sine values. In this section and Section 4, 5, 6, let

A = sin 2 θ , B = sin 4 θ , C = sin 8 θ ,

The following result can be easily proved using equations in [4] [5] .

Proposition 10. With above notations, { A , B , C } are the roots of the equation

x 3 7 2 x 2 + 7 8 = 0.

and { 4 A 2 ,4 B 2 ,4 C 2 } are the roots of the equation

x 3 7 x 2 + 14 x 7 = 0.

Definition 11. For an integer n, let

S ( n ) = A n + B n + C n .

For integers i , j , let

U ( i , j ) = A i B j .

Let

D = A B C = 7 8 .

Proposition 12. With the above notations, S ( n ) satisfy the following recurrence relations:

S ( n ) = 7 2 S ( n 1 ) 7 8 S ( n 3 ) ,

S ( n ) = 4 S ( n + 2 ) 8 7 7 S ( n + 3 ) .

Proof. The recurrence relations follow easily from the equations in Proposition 10.

Example 13. With the above notations, for n = 0 , , 10

S ( n ) = 3 , 7 2 , 7 4 , 7 2 , 21 16 , 7 7 16 , 35 32 , 49 7 128 , 245 256 , 175 7 512 , 441 512 ,

S ( n ) = 3 , 0 , 8 , 24 7 7 , 32 , 160 7 7 , 1088 7 , 128 7 , 5632 7 , 33792 7 49 , 29296 7 , 180224 7 49 ,

Proposition 14. With the above notations, U ( i , j ) satisfy the following recurrence relations:

U ( i , j ) = 7 2 U ( i 1 , j ) 7 8 U ( i 3 , j ) ,

U ( i , j ) = 7 2 U ( i , j 1 ) 7 8 U ( i , j 3 ) .

Proof. The recurrence relations follow easily from the equations in Proposition 10.

Lemma 15. With the above notations, list of U ( i , j ) , i , j = 1 , , 10 :

Proof. All the computations are similar. We will only prove U ( 3,5 ) and U ( 5 , 3 ) By Proposition 29,

U ( 5 , 3 ) + U ( 3 , 5 ) = S ( 3 ) S ( 5 ) S ( 8 ) = 147 256 .

U ( 5 , 3 ) U ( 3 , 5 ) = D 8 S ( 8 ) + D 5 S ( 1 ) + D 3 S ( 7 ) = 2401 32768 .

Next we solve the equation

t 2 147 256 t + 2401 32768 = 0

to get roots { 49 256 , 49 1286 } .

Note that A 0.782, B 0.975, C 0.434 .

Then

U ( 5 , 3 ) = A 5 B 3 + B 5 C 3 + C 5 A 3 0.191 ,

U ( 3 , 5 ) = A 3 B 5 + B 3 C 5 + C 3 A 5 0.382.

It follows that

U ( 5 , 3 ) = 49 256 , U ( 3 , 5 ) = 49 128

Remark 16. Alternatively, we can first use above methods to compute U ( i , j ) for i , j = 0 , 1 , 2 , 3 , then compute the other cases using recurrence formula in Proposition 14.

4. Alpha Sequences of Sine Values

In this section we will study the α sequences for sine values.

Recall that

Q = A B , R = A C ,

and for integers i , j ,

α ( i , j ) = A i + j B i C j .

Lemma 17.

Q = 2 , R = 1.

Proof. By Proposition 9

Q + R = S ( 1 ) S ( 1 ) 3 = ( 7 2 ) ( 0 ) 3 = 3.

Q R = S ( 3 ) D + D S ( 3 ) + 3 = ( 7 2 ) ( 8 7 ) + ( 7 8 ) ( 24 7 7 ) + 3 = 2.

Then { Q , R } = { 2 , 1 } are the roots of the equation:

t 2 + 3 t + 2 = 0.

Note that A 0.782, B 0.975, C 0.434 . Then Q 2.0, R 1.0 It follows that Q = 2 , R = 1 .

Proposition 18. With the above notations, { A B , B C , C A } are roots of equation

t 3 + 2 t 2 t 1 = 0.

Proof. By Lemma 17,

A B + B C + C A = 2 ,

A B B C + B C C A + C A A B = A C + B A + C B = 1 ,

A B B C C A = 1 ,

It follows that A B , B C , C A are the roots of the above equation.

Proposition 19.

α ( 0 , 0 ) = 3 , α ( 1 , 0 ) = 2 , α ( 2 , 0 ) = 6 ,

and for n 0 , α ( n ,0 ) satisfies recurrence equation:

α ( n , 0 ) = 2 α ( n 1 , 0 ) + α ( n 2 , 0 ) + α ( n 3 , 0 ) ,

α ( 0 , 0 ) = 3 , α ( 0 , 1 ) = 1 , α ( 0 , 2 ) = 5 ,

and for n 0 , α ( 0 , n ) satisfies recurrence equation:

α ( 0 , n ) = α ( 0 , n 1 ) + 2 α ( 0 , n 2 ) α ( 0 , n 3 ) .

Proof. Recall that

α ( i , j ) = A i + j B i C j .

Then all equations follow easily from Proposition 18.

Theorem 20.

{ ( sin 2 θ sin 4 θ ) n + ( sin 4 θ sin 8 θ ) n + ( sin 8 θ sin 2 θ ) n | n = 0 , ± 1 , ± 2 , }

is a two-sided integer sequence.

Proof. This follows easily from Proposition 19 and Proposition 7.

Example 21. For n = 0 , 1 , 2 , 3 ,

{ α ( n , 0 ) | n = 0 , 1 , 2 , 3 , } = { 3 , 2 , 6 , 11 , 26 , 57 , 129 , 289 , } [Sloane A033304]

{ α ( 0 , n ) | n = 0 , 1 , 2 , 3 , } = { 3 , 1 , 5 , 4 , 13 , 16 , 38 , 57 , } [Barry A094648]

Lemma 22.

α ( 1 , 1 ) = 4 , α ( 1 , 1 ) = 3.

Proof.

α ( 1 , 1 ) = A 2 B C = 1 D A 3 = S ( 3 ) D = 4 ,

α ( 1 , 1 ) = B C A 2 = D 1 A 3 = D S ( 3 ) = 3.

Theorem 23. For integers i , j ,

{ ( sin i + j 2 θ sin i 4 θ sin j 8 θ ) n + ( sin i + j 4 θ sin i 8 θ i sin j 2 θ ) n + ( sin i + j 8 θ sin i 2 θ i sin j 4 θ ) n | n = 0 , ± 1 , ± 2 , }

is a two-sided integer sequence.

Proof. By Lemma 22 and Corollary 2, Proposition 7, Proposition 21.

Remark 24. Using our approach, we can generate two-sided integer sequences as follows:

1) For each ( i , j ) , i , j 0 , we can compute α ( i , j ) , α ( i , j ) using recurrence relations in Proposition 6.

2) Let

X = A i + j B i C j , Y = B i + j C i A j , Z = C i + j A i B j .

Then { X , Y , Z } are the roots for equation:

t 3 α ( i , j ) t 2 + α ( i , j ) t 1 = 0.

3) Let p ( n ) = X n . Then

p ( 0 ) = 3 , p ( 1 ) = α ( i , j ) , p ( 2 ) = α ( i , j ) 2 2 α ( i , j ) .

4) For n 3 and n < 0 use the recurrence relation

p ( n ) = α ( i , j ) p ( n 1 ) α ( i , j ) p ( n 2 ) + p ( n 3 )

to get p ( n ) .

Remark 25. Note that

1) integer sequence for ( n ,0 ) is a subsequence for the integer sequence for ( 1,0 ) .

2) integer sequence for ( 0, n ) is a subsequence for the integer sequence for ( 0,1 ) .

Example 26. For integers i , j let

E Q ( i , j ) = t 3 α ( i , j ) t 2 + α ( i , j ) t 1 = 0 ,

and let S E Q 1, S E Q 2 be the associated sequences. Here is a list of integer equations and the associated integer sequences.

1) E Q ( 0 , 0 ) = t 3 3 t 2 + 3 t 1 = 0.

S E Q 1 = 3 , 3 , 3 , 3 , 3 , 3 , 3 ,

S E Q 2 = 3 , 3 , 3 , 3 , 3 , 3 , 3 ,

2) E Q ( 0 , 1 ) = t 3 + t 2 2 t 1 = 0.

S E Q 1 = 3 , 1 , 5 , 4 , 13 , 16 , 38 , [Barry A094648]

S E Q 2 = 3 , 2 , 6 , 11 , 26 , 57 , 129 , [Sloane A033304]

3) E Q ( 1 , 0 ) = t 3 + 2 t 2 t 1 = 0.

S E Q 1 = 3 , 2 , 6 , 11 , 26 , 57 , 129 ,

S E Q 2 = 3 , 1 , 5 , 4 , 13 , 16 , 38 ,

4) E Q ( 0 , 2 ) = t 3 5 t 2 + 6 t 1 = 0.

S E Q 1 = 3 , 5 , 13 , 38 , 117 , 370 , 1186 ,

S E Q 2 = 3 , 6 , 26 , 129 , 650 , 3281 , 16565 ,

5) E Q ( 1 , 1 ) = t 3 + 4 t 2 + 3 t 1 = 0.

S E Q 1 = 3 , 4 , 10 , 25 , 66 , 179 , 493 , [Wang A274220]

S E Q 2 = 3 , 3 , 17 , 66 , 269 , 1088 , 4406 , [Witula A215076]

6) E Q ( 2 , 0 ) = t 3 6 t 2 + 5 t 1 = 0.

S E Q 1 = 3 , 6 , 26 , 129 , 650 , 3281 , 16565 ,

S E Q 2 = 3 , 5 , 13 , 38 , 117 , 370 , 1186 ,

7) E Q ( 0 , 3 ) = t 3 + 4 t 2 11 t 1 = 0.

S E Q 1 = 3 , 4 , 38 , 193 , 1186 , 6829 , 40169 ,

S E Q 2 = 3 , 11 , 129 , 1460 , 16565 , 187926 , 2131986 ,

8) E Q ( 1 , 2 ) = t 3 + t 2 9 t 1 = 0.

S E Q 1 = 3 , 1 , 19 , 25 , 195 , 401 , 2131 , [Wang A274075]

S E Q 2 = 3 , 9 , 83 , 753 , 6851 , 62329 , 567059 , [Wang A274032]

9) E Q ( 2 , 1 ) = t 3 5 t 2 8 t 1 = 0.

S E Q 1 = 3 , 5 , 41 , 248 , 1573 , 9890 , 62282 ,

S E Q 2 = 3 , 8 , 54 , 389 , 2834 , 20673 , 150825 ,

10) E Q ( 3 , 0 ) = t 3 + 11 t 2 4 t 1 = 0.

S E Q 1 = 3 , 11 , 129 , 1460 , 16565 , 187926 , 2131986 ,

S E Q 2 = 3 , 4 , 38 , 193 , 1186 , 6829 , 40169 ,

11) E Q ( 0 , 4 ) = t 3 13 t 2 + 26 t 1 = 0.

S E Q 1 = 3 , 13 , 117 , 1186 , 12389 , 130338 , 1373466 ,

S E Q 2 = 3 , 26 , 650 , 16565 , 422266 , 10764221 , 274396853 ,

12) E Q ( 1 , 3 ) = t 3 + 9 t 2 + 20 t 1 = 0.

S E Q 1 = 3 , 9 , 41 , 186 , 845 , 3844 , 17510 , [Wang A320918]

S E Q 2 = 3 , 20 , 418 , 8543 , 174642 , 3570145 , 72983221 ,

13) E Q ( 2 , 2 ) = t 3 10 t 2 + 17 t 1 = 0.

S E Q 1 = 3 , 10 , 66 , 493 , 3818 , 29865 , 234237 ,

S E Q 2 = 3 , 17 , 269 , 4406 , 72229 , 1184102 , 19411850 ,

14) E Q ( 3 , 1 ) = t 3 + 15 t 2 + 12 t 1 = 0.

S E Q 1 = 3 , 15 , 201 , 2832 , 40053 , 566610 , 8015682 ,

S E Q 2 = 3 , 12 , 174 , 2271 , 29874 , 392727 , 5163105 ,

15) E Q ( 4 , 0 ) = t 3 26 t 2 + 13 t 1 = 0.

S E Q 1 = 3 , 26 , 650 , 16565 , 422266 , 10764221 , 274396853 ,

S E Q 2 = 3 , 13 , 117 , 1186 , 12389 , 130338 , 1373466 ,

16) E Q ( 0 , 5 ) = t 3 + 16 t 2 57 t 1 = 0.

S E Q 1 = 3 , 16 , 370 , 6829 , 130338 , 2474291 , 47011093 ,

S E Q 2 = 3 , 57 , 3281 , 187926 , 10764221 , 616564132 , 35316195134 ,

17) E Q ( 1 , 4 ) = t 3 3 t 2 46 t 1 = 0.

S E Q 1 = 3 , 3 , 101 , 444 , 5981 , 38468 , 390974 , [Witula A215560]

S E Q 2 = 3 , 46 , 2110 , 96919 , 4451898 , 204494441 , 9393291673 ,

18) E Q ( 2 , 3 ) = t 3 6 t 2 37 t 1 = 0.

S E Q 1 = 3 , 6 , 110 , 885 , 9386 , 89171 , 883193 ,

S E Q 2 = 3 , 37 , 1357 , 49984 , 1841229 , 67824212 , 2498398486 ,

19) E Q ( 3 , 2 ) = t 3 + 16 t 2 29 t 1 = 0.

S E Q 1 = 3 , 16 , 314 , 5485 , 96850 , 1708351 , 30136781 ,

S E Q 2 = 3 , 29 , 873 , 25778 , 761501 , 22495104 , 664516254 ,

20) E Q ( 4 , 1 ) = t 3 31 t 2 25 t 1 = 0.

S E Q 1 = 3 , 31 , 1011 , 32119 , 1020995 , 32454831 , 1031656755 , [Wang, A274592]

S E Q 2 = 3 , 25 , 563 , 13297 , 314947 , 7460905 , 176745971 , [Wang A248417]

21) E Q ( 5 , 0 ) = t 3 + 57 t 2 16 t 1 = 0.

S E Q 1 = 3 , 57 , 3281 , 187926 , 10764221 , 616564132 , 35316195134 ,

S E Q 2 = 3 , 16 , 370 , 6829 , 130338 , 2474291 , 47011093 ,

5. Beta Sequences of Sine Values

In this section we will study the β sequences for sine values.

Let K = 2 7 in the formula for β ( i , j ) and λ ( i , j ) . Then

β ( i , j ) = 2 7 A i + j + 1 B i C j , λ ( i , j ) = 28 B i + 1 C j + 1 A i + j .

Lemma 27. With the above notations,

1) β ( 0 , 0 ) = 7 ,

2) β ( 1 , 0 ) = 7 ,

3) β ( 0 , 1 ) = 0 ,

4) β ( 2 , 0 ) = 28 ,

5) β ( 0 , 2 ) = 21 ,

6) β ( 1 , 1 ) = 21 ,

7) λ ( 0 , 0 ) = 0 ,

8) λ ( 1 , 0 ) = 49 ,

9) λ ( 0 , 1 ) = 49 ,

10) λ ( 2 , 0 ) = 49 ,

11) λ ( 0 , 2 ) = 98 ,

12) λ ( 1 , 1 ) = 98.

Proof. To prove (1),

β ( 0 , 0 ) = 2 7 A = 2 7 7 2 = 7.

To prove (2),

β ( 1 , 0 ) = 2 7 A 2 B = 2 7 D A B 3 = 2 7 D U ( 1 , 3 ) = 7.

To prove (3),

β ( 0 , 1 ) = 2 7 A 2 C = 2 7 D A 3 B = 2 7 D U ( 3 , 1 ) = 0.

To prove (4),

β ( 2 , 0 ) = 2 7 A 3 B 2 = 2 7 D 2 A 2 B 5 = 2 7 D 2 U ( 2 , 5 ) = 28.

To prove (5),

β ( 0 , 2 ) = 2 7 A 3 C 2 = 2 7 P 2 A 5 B 2 = 2 7 D 2 U ( 5 , 2 ) = 7.

To prove (6),

β ( 1 , 1 ) = 2 7 A 3 B C = 2 7 D A 4 = 2 7 D S ( 4 ) = 21.

To prove (7),

λ ( 0 , 0 ) = 28 B C = 28 D 1 A = 28 D S ( 1 ) = 0.

To prove (8),

λ ( 1 , 0 ) = 28 B 2 C A = 28 D A 3 B 2 = 28 D U ( 3 , 2 ) = 49.

To prove (9),

λ ( 0 , 1 ) = 28 B C 2 A = 28 D A 2 B 3 = 28 D U ( 2 , 3 ) = 49.

To prove (10),

λ ( 2 , 0 ) = 28 B 3 C A 2 = 28 D 2 A 5 B 3 = 28 D 2 U ( 5 , 3 ) = 49.

To prove (11),

λ ( 0 , 2 ) = 28 B C 3 A 2 = 28 D 2 A 3 B 5 = 28 D 2 U ( 3 , 5 ) = 98.

To prove (12),

λ ( 1 , 1 ) = 28 B 2 C 2 A 2 = 28 D 2 1 A 4 = 28 D 2 S ( 4 ) = 98.

Proposition 28. With the above notations,

1) β ( n , 0 ) = 2 β ( n 1 , 0 ) + β ( n 2 , 0 ) + β ( n 3 , 0 ) .

2) β ( 0 , n ) = β ( 0 , n 1 ) + 2 β ( 0 , n 2 ) + β ( 0 , n 3 ) ,

3) λ ( n , 0 ) = λ ( n 1 , 0 ) + 2 λ ( n 2 , 0 ) + λ ( n 3 , 0 ) ,

4) λ ( 0 , n ) = 2 λ ( 0 , n 1 ) + λ ( 0 , n 2 ) + λ ( 0 , n 3 ) .

Proof. By Proposition 18, { A B , B C , C A } are roots of equation

t 3 + 2 t 2 t 1 = 0.

It follows that

( A B ) n = 2 ( A B ) n 1 + ( A B ) n 2 + ( A B ) n 3 ,

( B C ) n = 2 ( B C ) n 1 + ( B C ) n 2 + ( B C ) n 3 ,

( C A ) n = 2 ( C A ) n 1 + ( C A ) n 2 + ( C A ) n 3 .

We now compute

β ( n , 0 ) = 2 7 A n + 1 B n = 2 7 A ( A B ) n = 2 7 A ( 2 ( A B ) n 1 + ( A B ) n 2 + ( A B ) n 3 ) = 2 2 7 A n B n 1 + 2 7 A n 1 B n 2 + 2 7 A n 2 B n 3 = 2 β ( n 1 , 0 ) + β ( n 2 , 0 ) + β ( n 3 , 0 ) .

Similarly, we can prove other equations.

Proposition 29. With the above notations,

1) β ( n ,0 ) are integers for all integer n 0 ,

2) β ( 0, n ) are integers for all integer n 0 ,

3) λ ( n , 0 ) are integers for all integer n 0 ,

4) λ ( 0, n ) are integers for all integer n 0 )

Proof. We will prove (1) by induction on n 0 .

By Lemma 27, β ( 0,0 ) , β ( 1,0 ) , β ( 2,0 ) are integers. Assume that β ( k ,0 ) are integers for all k = 0 , 1 , , ( n 1 ) . By Proposition 27

β ( n , 0 ) = 2 β ( n 1 , 0 ) + β ( n 2 , 0 ) + β ( n 3 , 0 ) .

This shows that β ( n ,0 ) is an integer. It follows by induction that β ( n ,0 ) is an integer for all n 0 . This proves (1).

Similarly We can prove other statements by induction on n 0 .

Theorem 30. For integers i , j ,

{ ( 2 7 sin i + j + 1 2 θ sin i 4 θ sin j 8 θ ) n + ( 2 7 sin i + j + 1 4 θ sin i 8 θ sin j 2 θ ) n + ( 2 7 sin i + j + 1 8 θ sin i 2 θ sin j 4 θ ) n | n = 0 , 1 , 2 , }

are integer sequences.

Proof. This follows easily from Proposition 7, Lemma 27 and Propositions 28, 26.

Remark 31. Note that

2 7 A i + j + 1 B i C j 2 7 B i + j + 1 C i A j 2 7 C i + j + 1 A i B j = 49.

By Proposition 5

{ 2 7 A i + j + 1 B i C j , 2 7 B i + j + 1 C i A j , 2 7 C i + j + 1 A i B j }

are the roots of a monic equation

E Q ( i , j ) = t 3 β ( i , j ) t 2 + λ ( i , j ) t + 49 = 0.

Let S E Q ( i , j ) be the associated sequence.

Example 32 With the above notations,

1) E Q ( 0 , 0 ) = t 3 7 t 2 + 49 = 0.

S E Q = 3 , 7 , 49 , 196 , 1029 , 4802 , 24010 , [Wang A275830]

2) E Q ( 0 , 1 ) = t 3 49 t + 49 = 0.

S E Q = 3 , 0 , 98 , 147 , 4802 , 12005 , 242501 ,

3) E Q ( 1 , 0 ) = t 3 + 7 t 2 49 t + 49 = 0.

S E Q = 3 , 7 , 147 , 1519 , 18179 , 208887 , 2427411 ,

4) E Q ( 0 , 2 ) = t 3 21 t 2 + 98 t + 49 = 0.

S E Q = 3 , 21 , 245 , 2940 , 36701 , 470596 , 6141758 ,

5) E Q ( 1 , 1 ) = t 3 + 21 t 2 + 98 t + 49 = 0.

S E Q = 3 , 21 , 245 , 3234 , 44933 , 638666 , 9167018 ,

6) E Q ( 2 , 0 ) = t 3 28 t 2 + 49 t + 49 = 0.

S E Q = 3 , 28 , 686 , 17689 , 460306 , 11988193 , 312247649 ,

7) E Q ( 0 , 3 ) = t 3 + 14 t 2 245 t + 49 = 0.

S E Q = 3 , 14 , 686 , 13181 , 353290 , 8209019 , 202128185 ,

8) E Q ( 1 , 2 ) = t 3 + 7 t 2 196 t + 49 = 0.

S E Q = 3 , 7 , 441 , 4606 , 119021 , 1757532 , 35856534 ,

9) E Q ( 2 , 1 ) = t 3 28 t 2 147 t + 49 = 0.

S E Q = 3 , 28 , 1078 , 34153 , 1113378 , 36142253 , 1173976153 ,

10) E Q ( 3 , 0 ) = t 3 + 56 t 2 147 t + 49 = 0.

S E Q = 3 , 56 , 3430 , 200459 , 11732658 , 686664391 , 40187729113 ,

11) E Q ( 0 , 4 ) = t 3 56 t 2 + 539 t + 49 = 0.

S E Q = 3 , 56 , 2058 , 84917 , 3643346 , 158156271 , 6888826749 ,

12) E Q ( 1 , 3 ) = t 3 + 42 t 2 + 441 t + 49 = 0.

S E Q = 3 , 42 , 882 , 18669 , 397194 , 8492337 , 182430381 ,

13) E Q ( 2 , 2 ) = t 3 49 t 2 + 343 t + 49 = 0.

S E Q = 3 , 49 , 1715 , 67081 , 2696323 , 109027009 , 4414197683 ,

14) E Q ( 3 , 1 ) = t 3 + 77 t 2 + 294 t + 49 = 0.

S E Q = 3 , 77 , 5341 , 388766 , 28368501 , 2070339082 , 151094819554 ,

15) E Q ( 4 , 0 ) = t 3 133 t 2 + 196 t + 49 = 0.

S E Q = 3 , 133 , 17297 , 2274286 , 299083309 , 39331472488 , 5172354072326 ,

6. Gamma Sequences of Sine Values

In this section we will study the γ sequences for sine values. Let K = 7 2 in the formula for γ ( i , j ) and μ ( i , j ) . Then

γ ( i , j ) = 7 A i + j 1 2 B i C j , μ ( i , j ) = 7 B i 1 C j 1 4 A i + j .

Lemma 33. With the above notations,

1) γ ( 0 , 0 ) = 0 ,

2) γ ( 1 , 0 ) = 0 ,

3) γ ( 0 , 1 ) = 0 ,

4) γ ( 2 , 0 ) = 7 ,

5) γ ( 0 , 2 ) = 7 ,

6) γ ( 1 , 1 ) = 7 ,

7) μ ( 0 , 0 ) = 7 ,

8) μ ( 1 , 0 ) = 7 ,

9) μ ( 0 , 1 ) = 7 ,

10) μ ( 2 , 0 ) = 0 ,

11) μ ( 0 , 2 ) = 7 ,

12) μ ( 1 , 1 ) = 14.

Proof. The proof is similar to the proof of Lemma 25.

Proposition 34. With the above notations,

1) γ ( n , 0 ) = 2 γ ( n 1 , 0 ) + γ ( n 2 , 0 ) + γ ( n 3 , 0 ) ,

2) γ ( 0 , n ) = γ ( 0 , n 1 ) + 2 γ ( 0 , n 2 ) + γ ( 0 , n 3 ) ,

3) μ ( n , 0 ) = μ ( n 1 , 0 ) + 2 μ ( n 2 , 0 ) + μ ( n 3 , 0 ) ,

4) μ ( 0 , n ) = 2 μ ( 0 , n 1 ) + μ ( 0 , n 2 ) + μ ( 0 , n 3 ) .

Proof. The proof is similar to the proof of Proposition 27.

Proposition 35. With the above notations,

1) γ ( n , 0 ) are integers for all integer n 0 .

2) γ ( 0 , n ) are integers for all integer n 0 .

3) μ ( n , 0 ) are integers for all integer n 0 .

4) μ ( 0 , n ) are integers for all integer n 0 .

Proof. The proof is similar to the proof of Proposition 15.

Theorem 36. For integers i , j ,

{ ( 7 sin i + j 1 2 θ 2 sin i 4 θ sin j 8 θ ) n + ( 7 sin i + j 1 4 θ 2 sin i 8 θ sin j 2 θ ) n + ( 7 sin i + j 1 8 θ 2 sin i 2 θ sin j 4 θ ) n | n = 0 , 1 , 2 , }

are integer sequences.

Proof. The proof is similar to the proof of Theorem 27.

Remark 37. Note that

7 A i + j + 1 2 B i C j 7 B i + j + 1 2 C i A j 7 C i + j + 1 2 A i B j = 7.

By Proposition 41

{ 7 A i + j 1 2 B i C j , 7 B i + j 1 2 C i A j , 7 C i + j 1 2 A i B j }

are the roots of a monic equation

E Q ( i , j ) = t 3 γ ( i , j ) t 2 + μ ( i , j ) t + 7 = 0.

Let S E Q ( i , j ) be the associated sequence.

Example 38. With the above notations,

1) E Q ( 0 , 0 ) = t 3 7 t + 7 = 0.

S E Q = 3 , 0 , 14 , 21 , 98 , 245 , 833 , [Wang A275831]

2) E Q ( 0 , 1 ) = t 3 7 t + 7 = 0.

S E Q = 3 , 0 , 14 , 21 , 98 , 245 , 833 ,

3) E Q ( 1 , 0 ) = t 3 7 t + 7 = 0.

S E Q = 3 , 0 , 14 , 21 , 98 , 245 , 833 ,

4) E Q ( 0 , 2 ) = t 3 7 t 2 + 7 t + 7 = 0.

S E Q = 3 , 7 , 35 , 175 , 931 , 5047 , 27587 , [Witula A215575]

5) E Q ( 1 , 1 ) = t 3 + 7 t 2 + 14 t + 7 = 0.

S E Q = 3 , 7 , 21 , 70 , 245 , 882 , 3234 , [Wang A322459]

6) E Q ( 2 , 0 ) = t 3 7 t 2 + 7 = 0.

S E Q = 3 , 7 , 49 , 322 , 2205 , 15092 , 103390 ,

7) E Q ( 0 , 3 ) = t 3 + 7 t 2 28 t + 7 = 0.

S E Q = 3 , 7 , 105 , 952 , 9653 , 94962 , 941682 ,

8) E Q ( 1 , 2 ) = t 3 21 t + 7 = 0.

S E Q = 3 , 0 , 42 , 21 , 882 , 735 , 18669 ,

9) E Q ( 2 , 1 ) = t 3 7 t 2 14 t + 7 = 0.

S E Q = 3 , 7 , 77 , 616 , 5341 , 45472 , 388766 ,

10) E Q ( 3 , 0 ) = t 3 + 14 t 2 21 t + 7 = 0.

S E Q = 3 , 14 , 238 , 3647 , 56154 , 864409 , 13306489 ,

11) E Q ( 0 , 4 ) = t 3 21 t 2 + 56 t + 7 = 0.

S E Q = 3 , 21 , 329 , 5712 , 101381 , 1806826 , 32226026 ,

12) E Q ( 1 , 3 ) = t 3 + 14 t 2 + 49 t + 7 = 0.

S E Q = 3 , 14 , 98 , 707 , 5194 , 38759 , 293069 ,

13) E Q ( 2 , 2 ) = t 3 14 t 2 + 35 t + 7 = 0.

S E Q = 3 , 14 , 126 , 1253 , 13034 , 137739 , 1463385 ,

14) E Q ( 3 , 1 ) = t 3 + 21 t 2 + 35 t + 7 = 0.

S E Q = 3 , 21 , 371 , 7077 , 135779 , 2606261 , 50028755 , [Deleham A108716]

15) E Q ( 4 , 0 ) = t 3 35 t 2 + 14 t + 7 = 0.

S E Q = 3 , 35 , 1197 , 41384 , 1431437 , 49512540 , 1712609094 ,

7. Power Sums of Cosine Values

In this section we will compute the sum of powers and mixed powers of cosine values.

In this section and Section 8, 9, 10, let

A = cos 2 θ , B = cos 4 θ , C = cos 8 θ ,

The following result can be easily proved using equations in [4] [5] .

Proposition 39. With the above notations, { A , B , C } are the roots of the equation

x 3 + 1 2 x 2 1 2 x 1 8 = 0.

{ 2 A ,2 B ,2 C } are the roots of the equation

x 3 + x 2 2 x 1 = 0.

Definition 40. For an integer n,

C ( n ) = A n + B n + C n .

For integers i , j , let

V ( i , j ) = A i B j .

Let

E = A B C = 1 8 .

Proposition 41. With the above notations, C ( n ) satisfy the following recurrence relations:

C ( n ) = 1 2 C ( n 1 ) + 1 2 C ( n 2 ) + 1 8 C ( n 3 ) ,

C ( n ) = 4 C ( n + 1 ) + 4 C ( n + 2 ) + 8 C ( n + 3 ) .

Proof. The recurrence relations follow easily from the equations in Proposition 39.

Proposition 42. With the above notations, For n = 0 , , 10 ,

C ( n ) = 3 , 1 2 , 5 4 , 1 2 , 13 16 , 1 2 , 19 32 , 57 128 , 117 256 , 193 512 , 185 512 ,

C ( n ) = 3 , 4 , 24 , 88 , 416 , 1824 , 8256 , 36992 , 166400 , 747520 , 3359744 ,

Proposition 43. With above notations, V ( i , j ) satisfy the following recurrence relations:

V ( i , j ) = 1 2 V ( i 1 , j ) + 1 2 V ( i 2 , j ) + 1 8 V ( i 3 , j ) ,

V ( i , j ) = 1 2 V ( i , j 1 ) + 1 2 V ( i , j 2 ) + 1 8 V ( i , j 3 ) .

Proof. The recurrence relations follow easily from the equations in Proposition 39.

Lemma 44. With the above notations, list of V ( i , j ) , i , j = 1 , , 8

1 2 , 1 2 , 1 16 , 9 32 , 3 64 , 11 64 , 19 256 , 15 128 , 3 8 , 3 8 , 5 32 , 5 32 , 3 64 , 19 256 , 3 512 , 41 1024 , 1 2 , 9 32 , 11 64 , 15 128 , 1 16 , 25 512 , 11 512 , 11 512 , 3 8 , 17 64 , 5 32 , 13 128 , 31 512 , 41 1024 , 47 2048 , 33 2048 , 25 64 , 29 128 , 37 256 , 23 256 , 57 1024 , 9 256 , 11 512 , 113 8192 , 41 128 , 27 128 , 33 256 , 83 1024 , 103 2048 , 129 4096 , 5 256 , 201 16384 , 79 256 , 95 512 , 15 128 , 149 2048 , 93 2048 , 29 1024 , 289 16384 , 361 32768 , 17 64 , 87 512 , 215 2048 , 269 4096 , 335 8192 , 209 8192 , 521 32768 , 325 32768 ,

Proof. Similar to the proof of Proposition 15.

8. Alpha Sequences of Cosine Values

In this section we will study the α sequences for cosine values.

Lemma 45

Q = 4 , R = 3.

Proof. Recall that

Q = A B , R = A C .

By Proposition 46

Q + R = C ( 1 ) C ( 1 ) 3 = ( 1 2 ) ( 4 ) 3 = 1.

Q R = ( 1 E ) C ( 3 ) + ( E ) C ( 3 ) + 3 = ( 8 ) ( 1 2 ) + ( 1 8 ) ( 4 ) + 3 = 12.

Then { Q , R } = { 4 , 3 } are the roots of the equation:

t 2 + t + 12 = 0.

Note that A 0.782 , B 0.975 , C 0.434 . Then Q 4.0 , R 3.0 It follows that Q = 4 , R = 3 .

Proposition 46. With the above notations, { A B , B C , C A } are roots of equation

t 3 + 4 t 2 3 t 1 = 0.

Proof. By Lemma 45,

A B + B C + C A = 4 ,

A B B C + B C C A + C A A B = A C + B A + C B = 3 ,

A B B C C A = 1 ,

It follows that A B , B C , C A are the roots of the above equation.

Proposition 47.

α ( 0 , 0 ) = 3 , α ( 1 , 0 ) = 4 , α ( 2 , 0 ) = 10 ,

and for n 0 , α ( n ,0 ) satisfies recurrence equation:

α ( n , 0 ) = 4 α ( n 1 , 0 ) + 3 α ( n 2 , 0 ) + α ( n 3 , 0 ) .

α ( 0 , 0 ) = 3 , α ( 0 , 1 ) = 3 , α ( 0 , 2 ) = 17 ,

and for n 0 , α ( 0 , n ) satisfies recurrence equation:

α ( 0 , n ) = 3 α ( 0 , n 1 ) + 4 α ( 0 , n 2 ) + α ( 0 , n 3 ) .

Proof. Recall that

α ( i , j ) = A i + j B i C j .

The proof is similar to Proposition 19,

Theorem 48.

{ ( cos 2 θ cos 4 θ ) n + ( cos 4 θ cos 8 θ ) n + ( cos 8 θ cos 2 θ ) n | n = 0 , ± 1 , ± 2 , }

is a two-sided integer sequence.

Proof. The proof is similar to Theorem 19.

Example 49. For n = 0 , 1 , 2 , 3 ,

{ α ( n , 0 ) | n = 0 , 1 , 2 , 3 , } = { 3 , 4 , 10 , 25 , 66 , 179 , 493 , 1369 , 3818 , 10672 , } [Wang A274220]

{ α ( 0 , n ) | n = 0 , 1 , 2 , 3 , } = { 3 , 3 , 17 , 66 , 269 , 1088 , 4406 , 17839 , 72229 , 292449 , } [Witula A215076]

Lemma 50.

α ( 1 , 1 ) = 4 , α ( 1 , 1 ) = 11.

Proof.

α ( 1 , 1 ) = A 2 B C = 1 E A 3 = ( 8 ) ( 1 2 ) = 4 ,

α ( 1 , 1 ) = B C A 2 = E 1 A 3 = ( 1 8 ) ( 4 ) = 11.

Theorem 51. For integers i , j ,

{ ( cos i + j 2 θ cos i 4 θ cos j 8 θ ) n + ( cos i + j 4 θ cos i 8 θ i cos j 2 θ ) n + ( cos i + j 8 θ cos i 2 θ cos j 4 θ ) n | n = 0 , ± 1 , ± 2 , }

is a two-sided integer sequence.

Proof. The proof is similar to Theorem 23.

Remark 52. using our approach, we can generate two-sided integer sequences as follows:

1) For each ( i , j ) , i 0, j 0 , we can compute α ( i , j ) , α ( i , j ) using recurrence relations in Proposition 47 and Proposition 6.

2) Let

X = A i + j B i C j , Y = B i + j C i A j , Z = C i + j A i B j .

Then { X , Y , Z } are the roots for equation:

t 3 α ( i , j ) t 2 + α ( i , j ) t 1 = 0.

3) Let p ( n ) = X n . Then

p ( 0 ) = 3 , p ( 1 ) = α ( i , j ) , p ( 2 ) = α ( i , j ) 2 2 α ( i , j ) .

4) For n 3 and n < 0 use the recurrence relation

p ( n ) = α ( i , j ) p ( n 1 ) α ( i , j ) p ( n 2 ) + p ( n 3 )

to get p ( n ) .

Remark 53. Note that

1) Integer sequence for ( n ,0 ) is a subsequence for the integer sequence for ( 1,0 ) .

2) Integer sequence for ( 0, n ) is a subsequence for the integer sequence for ( 0, n ) .

Example 54

1) E Q ( 0 , 0 ) = t 3 3 t 2 + 3 t 1 = 0.

S E Q 1 = 3 , 3 , 3 , 3 , 3 , 3 , 3 ,

S E Q 2 = 3 , 3 , 3 , 3 , 3 , 3 , 3 ,

2) E Q ( 0 , 1 ) = t 3 3 t 2 4 t 1 = 0.

S E Q 1 = 3 , 3 , 17 , 66 , 269 , 1088 , 4406 , [Witula A215076]

S E Q 2 = 3 , 4 , 10 , 25 , 66 , 179 , 493 , [Wang A274220]

3) E Q ( 1 , 0 ) = t 3 + 4 t 2 + 3 t 1 = 0.

S E Q 1 = 3 , 4 , 10 , 25 , 66 , 179 , 493 , [Wang A274220]

S E Q 2 = 3 , 3 , 17 , 66 , 269 , 1088 , 4406 , [Witula A215076]

4) E Q ( 0 , 2 ) = t 3 17 t 2 + 10 t 1 = 0.

S E Q 1 = 3 , 17 , 269 , 4406 , 72229 , 1184102 , 19411850 ,

S E Q 2 = 3 , 10 , 66 , 493 , 3818 , 29865 , 234237 ,

5) E Q ( 1 , 1 ) = t 3 + 4 t 2 11 t 1 = 0.

S E Q 1 = 3 , 4 , 38 , 193 , 1186 , 6829 , 40169 , [Wang A274663]

S E Q 2 = 3 , 11 , 129 , 1460 , 16565 , 187926 , 2131986 ,

6) E Q ( 2 , 0 ) = t 3 10 t 2 + 17 t 1 = 0.

S E Q 1 = 3 , 10 , 66 , 493 , 3818 , 29865 , 234237 ,

S E Q 2 = 3 , 17 , 269 , 4406 , 72229 , 1184102 , 19411850 ,

7) E Q ( 0 , 3 ) = t 3 66 t 2 25 t 1 = 0.

S E Q 1 = 3 , 66 , 4406 , 292449 , 19411850 , 1288497731 , 85526438945 ,

S E Q 2 = 3 , 25 , 493 , 10672 , 234237 , 5151080 , 113306686 ,

8) E Q ( 1 , 2 ) = t 3 + 25 t 2 + 31 t 1 = 0.

S E Q 1 = 3 , 25 , 563 , 13297 , 314947 , 7460905 , 176745971 ,

S E Q 2 = 3 , 31 , 1011 , 32119 , 1020995 , 32454831 , 1031656755 ,

9) E Q ( 2 , 1 ) = t 3 3 t 2 46 t 1 = 0.

S E Q 1 = 3 , 3 , 101 , 444 , 5981 , 38468 , 390974 , [Witula A215560]

S E Q 2 = 3 , 46 , 2110 , 96919 , 4451898 , 204494441 , 9393291673 ,

10) E Q ( 3 , 0 ) = t 3 + 25 t 2 + 66 t 1 = 0.

S E Q 1 = 3 , 25 , 493 , 10672 , 234237 , 5151080 , 113306686 ,

S E Q 2 = 3 , 66 , 4406 , 292449 , 19411850 , 1288497731 , 85526438945 ,

11) E Q ( 0 , 4 ) = t 3 269 t 2 + 66 t 1 = 0.

S E Q 1 = 3 , 269 , 72229 , 19411850 , 5217020805 , 1402097486674 , 376819919954026 ,

S E Q 2 = 3 , 66 , 3818 , 234237 , 14432666 , 889550021 , 54828148469 ,

12) E Q ( 1 , 3 ) = t 3 + 95 t 2 88 t 1 = 0.

S E Q 1 = 3 , 95 , 9201 , 882452 , 84642533 , 8118687210 , 778722945402 , [Wang A322460]

S E Q 2 = 3 , 88 , 7934 , 706549 , 62929954 , 5604950173 , 499213254305 ,

13) E Q ( 2 , 2 ) = t 3 38 t 2 + 129 t 1 = 0.

S E Q 1 = 3 , 38 , 1186 , 40169 , 1373466 , 47011093 , 1609284589 ,

S E Q 2 = 3 , 129 , 16565 , 2131986 , 274396853 , 35316195134 , 4545364223858 ,

14) E Q ( 3 , 1 ) = t 3 3 t 2 186 t 1 = 0.

S E Q 1 = 3 , 3 , 381 , 1704 , 75981 , 545268 , 15769974 ,

S E Q 2 = 3 , 186 , 34590 , 6433179 , 1196467338 , 222523590741 , 41385792042633 ,

15) E Q ( 4 , 0 ) = t 3 66 t 2 + 269 t 1 = 0.

S E Q 1 = 3 , 66 , 3818 , 234237 , 14432666 , 889550021 , 54828148469 ,

S E Q 2 = 3 , 269 , 72229 , 19411850 , 5217020805 , 1402097486674 , 376819919954026 ,

9. Beta Sequences of Cosine Values

In this section we will study the β sequences for cosine values. Let K = 2 in the formula for β ( i , j ) and λ ( i , j ) . Then

β ( i , j ) = 2 A i + j + 1 B i C j , λ ( i , j ) = 4 B i + 1 C j + 1 A i + j .

Lemma 55. With above notations,

1) β ( 0 , 0 ) = 1 ,

2) β ( 1 , 0 ) = 1 ,

3) β ( 0 , 1 ) = 8 ,

4) β ( 2 , 0 ) = 6 ,

5) β ( 0 , 2 ) = 29 ,

6) β ( 1 , 1 ) = 13 ,

7) λ ( 0 , 0 ) = 2 ,

8) λ ( 1 , 0 ) = 9 ,

9) λ ( 0 , 1 ) = 5 ,

10) λ ( 2 , 0 ) = 37 ,

11) λ ( 0 , 2 ) = 16 ,

12) λ ( 1 , 1 ) = 26.

Proof. To prove (1),

β ( 0 , 0 ) = 2 A = 2 1 2 = 1.

To prove (2),

β ( 1 , 0 ) = 2 A 2 B = 2 E A B 3 = 2 E V ( 1 , 3 ) = 1.

To prove (3),

β ( 0 , 1 ) = 2 7 A 2 C = 2 E A 3 B = 2 E V ( 3 , 1 ) = 8.

To prove (4),

β ( 2 , 0 ) = 2 A 3 B 2 = 2 E 2 A 2 B 5 = 2 E 2 V ( 2 , 5 ) = 6.

To prove (5),

β ( 0 , 2 ) = 2 A 3 C 2 = 2 E 2 A 5 B 2 = 2 E 2 V ( 5 , 2 ) = 29.

To prove (6),

β ( 1 , 1 ) = 2 A 3 B C = 2 E A 4 = 2 E C ( 4 ) = 13.

To prove (7),

λ ( 0 , 0 ) = 4 B C = 4 E 1 A = 4 E C ( 1 ) = 2.

To prove (8),

λ ( 1 , 0 ) = 4 B 2 C A = 4 P A 3 B 2 = 4 E V ( 3 , 2 ) = 9.

To prove (9),

λ ( 0 , 1 ) = 4 B C 2 A = 4 E A 2 B 3 = 4 E V ( 2 , 3 ) = 5.

To prove (10),

λ ( 2 , 0 ) = 4 B 3 C A 2 = 4 E 2 A 5 B 3 = 4 E 2 V ( 5 , 3 ) = 37.

To prove (11),

λ ( 0 , 2 ) = 4 B C 3 A 2 = 4 E 2 A 3 B 5 = 4 E 2 V ( 3 , 5 ) = 16.

To prove (12),

λ ( 1 , 1 ) = 4 B 2 C 2 A 2 = 4 E 2 1 A 4 = 4 E 2 C ( 4 ) = 26.

Proposition 56. With the above notations,

1) β ( n , 0 ) = 4 β ( n 1 , 0 ) + 3 β ( n 2 , 0 ) + β ( n 3 , 0 ) .

2) β ( 0 , n ) = 3 β ( 0 , n 1 ) + 4 β ( 0 , n 2 ) + β ( 0 , n 3 ) ,

3) λ ( n , 0 ) = 3 λ ( n 1 , 0 ) + 4 λ ( n 2 , 0 ) + λ ( n 3 , 0 ) ,

4) λ ( 0 , n ) = 4 λ ( 0 , n 1 ) + 3 λ ( 0 , n 2 ) + λ ( 0 , n 3 ) .

Proof. By Proposition 46, { A B , B C , C A } are roots of equation

t 3 + 4 t 2 3 t 1 = 0.

The rest of the proof is similar to the proof for Proposition 28.

Proposition 57. With the above notations,

1) β ( n , 0 ) are integers for all integer n 0 ,

2) β ( 0 , n ) are integers for all integer n 0 ,

3) λ ( n ,0 ) are integers for all integer n 0 ,

4) λ ( 0 , n ) are integers for all integer n 0 .

Proof. The rest of the proof is similar to the proof for Proposition 29.

Theorem 58. For integers i , j ,

{ ( 2 7 cos i + j + 1 2 θ cos i 4 θ cos j 8 θ ) n + ( 2 7 cos i + j + 1 4 θ cos i 8 θ cos j 2 θ ) n + ( 2 7 cos i + j + 1 8 θ cos i 2 θ cos j 4 θ ) n | n = 0 , 1 , 2 , }

are integer sequences.

Proof. The proof is similar to the proof for Theorem 30.

Remark 59. Note that

2 A i + j + 1 B i C j 2 B i + j + 1 C i A j 2 C i + j + 1 A i B j = 1.

By Proposition 5 { 2 A i + j + 1 B i C j , 2 B i + j + 1 C i A j , 2 C i + j + 1 A i B j } are the roots of a monic equation

E Q ( i , j ) = t 3 β ( i , j ) t 2 + λ ( i , j ) t 1 = 0.

Let S E Q ( i , j ) be the associated sequence.

Example 60. With the above notations,

1) E Q ( 0 , 0 ) = t 3 + t 2 2 t 1 = 0.

S E Q 1 = 3 , 1 , 5 , 4 , 13 , 16 , 38 , [Barry A094648]

S E Q 2 = 3 , 2 , 6 , 11 , 26 , 57 , 129 , [Wang A274975]

2) E Q ( 0 , 1 ) = t 3 + 8 t 2 + 5 t 1 = 0.

S E Q 1 = 3 , 8 , 54 , 389 , 2834 , 20673 , 150825 ,

S E Q 2 = 3 , 5 , 41 , 248 , 1573 , 9890 , 62282 ,

3) E Q ( 1 , 0 ) = t 3 + t 2 9 t 1 = 0.

S E Q 1 = 3 , 1 , 19 , 25 , 195 , 401 , 2131 , [Wang A274075]

S E Q 2 = 3 , 9 , 83 , 753 , 6851 , 62329 , 567059 , [Wang A274032]

4) E Q ( 0 , 2 ) = t 3 + 29 t 2 16 t 1 = 0.

S E Q 1 = 3 , 29 , 873 , 25778 , 761501 , 22495104 , 664516254 ,

S E Q 2 = 3 , 16 , 314 , 5485 , 96850 , 1708351 , 30136781 ,

5) E Q ( 1 , 1 ) = t 3 13 t 2 + 26 t 1 = 0.

S E Q 1 = 3 , 13 , 117 , 1186 , 12389 , 130338 , 1373466 ,

S E Q 2 = 3 , 26 , 650 , 16565 , 422266 , 10764221 , 274396853 ,

6) E Q ( 2 , 0 ) = t 3 6 t 2 37 t 1 = 0.

S E Q 1 = 3 , 6 , 110 , 885 , 9386 , 89171 , 883193 ,

S E Q 2 = 3 , 37 , 1357 , 49984 , 1841229 , 67824212 , 2498398486 ,

7) E Q ( 0 , 3 ) = t 3 + 120 t 2 + 47 t 1 = 0.

S E Q 1 = 3 , 120 , 14306 , 1711077 , 204656738 , 24478373635 , 2927784258437 ,

S E Q 2 = 3 , 47 , 2449 , 120746 , 5968989 , 295034452 , 14583018670 ,

8) E Q ( 1 , 2 ) = t 3 41 t 2 72 t 1 = 0.

S E Q 1 = 3 , 41 , 1825 , 77780 , 3320421 , 141739246 , 6050457178 ,

S E Q 2 = 3 , 72 , 5102 , 364389 , 26026754 , 1858981237 , 132779187761 ,

9) E Q ( 2 , 1 ) = t 3 + 22 t 2 + 103 t 1 = 0.

S E Q 1 = 3 , 22 , 278 , 3847 , 55978 , 834997 , 12600353 ,

S E Q 2 = 3 , 103 , 10653 , 1099528 , 113485853 , 11713243128 , 1208961830478 ,

10) E Q ( 3 , 0 ) = t 3 + 22 t 2 149 t 1 = 0.

S E Q 1 = 3 , 22 , 782 , 20479 , 567034 , 15525337 , 426025001 ,

S E Q 2 = 3 , 149 , 22245 , 3317780 , 494838461 , 73803899604 , 11007664169358 ,

11) E Q ( 0 , 4 ) = t 3 + 484 t 2 135 t 1 = 0.

S E Q 1 = 3 , 484 , 234526 , 113575921 , 55002406290 , 26636497159169 , 12899489836311025 ,

S E Q 2 = 3 , 135 , 19193 , 2656392 , 367902197 , 50952471130 , 7056645609506 ,

12) E Q ( 1 , 3 ) = t 3 174 t 2 + 201 t 1 = 0.

S E Q 1 = 3 , 174 , 29874 , 5163105 , 892375770 , 154235629749 , 26657637209661 ,

S E Q 2 = 3 , 201 , 40053 , 8015682 , 1604183061 , 321046106646 , 64251147598914 ,

13) E Q ( 2 , 2 ) = t 3 + 57 t 2 289 t 1 = 0.

S E Q 1 = 3 , 57 , 3827 , 234609 , 14478659 , 893081737 , 55089756851 ,

S E Q 2 = 3 , 289 , 83635 , 24186985 , 6994805571 , 2022877384529 , 585010243859443 ,

14) E Q ( 3 , 1 ) = t 3 41 t 2 + 418 t 1 = 0.

S E Q 1 = 3 , 41 , 845 , 17510 , 364741 , 7636046 , 160633658 ,

S E Q 2 = 3 , 418 , 174642 , 72983221 , 30499826474 , 12745935328713 , 5326550547499821 ,

15) E Q ( 4 , 0 ) = t 3 69 t 2 604 t 1 = 0.

S E Q 1 = 3 , 69 , 5969 , 453540 , 34899605 , 2682016874 , 206138979266 ,

S E Q 2 = 3 , 604 , 364678 , 220223833 , 132990031746 , 80310783365429 , 48498536620304809 ,

10. Gamma Sequences of Cosine Values

In this section we will study the γ sequences for cosine values. Let K = 1 2 in the formula for γ ( i , j ) and μ ( i , j ) . Then

γ ( i , j ) = A i + j 1 2 B i C j , μ ( i , j ) = B i 1 C j 1 4 A i + j .

Lemma 61. With the above notations,

1) γ ( 0 , 0 ) = 2 ,

2) γ ( 1 , 0 ) = 2 ,

3) γ ( 0 , 1 ) = 2 ,

4) γ ( 2 , 0 ) = 5 ,

5) γ ( 0 , 2 ) = 9 ,

6) γ ( 1 , 1 ) = 5 ,

7) μ ( 0 , 0 ) = 1 ,

8) μ ( 1 , 0 ) = 1 ,

9) μ ( 0 , 1 ) = 1 ,

10) μ ( 2 , 0 ) = 8 ,

11) μ ( 0 , 2 ) = 1 ,

12) μ ( 1 , 1 ) = 6.

Proof. The proof is similar to the proof of Lemma 33.

Proposition 62. With above notations,

1) γ ( n , 0 ) = 4 γ ( n 1 , 0 ) + 3 γ ( n 2 , 0 ) + γ ( n 3 , 0 ) ,

2) γ ( 0 , n ) = 3 γ ( 0 , n 1 ) + 4 γ ( 0 , n 2 ) + γ ( 0 , n 3 ) ,

3) μ ( n , 0 ) = 3 μ ( n 1 , 0 ) + 4 μ ( n 2 , 0 ) + μ ( n 3 , 0 ) ,

4) μ ( 0 , n ) = 4 μ ( 0 , n 1 ) + 3 μ ( 0 , n 2 ) + μ ( 0 , n 3 ) .

Proof. The proof is similar to the proof of Proposition 34.

Proposition 63. With above notations,

1) γ ( n , 0 ) are integers for all integer n 0 .

2) γ ( n , 0 ) are integers for all integer n 0 .

3) μ ( n , 0 ) are integers for all integer n 0 .

4) μ ( 0 , n ) are integers for all integer n 0 .

Proof. The proof is similar to the proof of Proposition 35.

Theorem 64. For integers i , j ,

{ ( cos i + j 1 2 θ 2 cos i 4 θ cos j 8 θ ) n + ( cos i + j 1 4 θ 2 cos i 8 θ cos j 2 θ ) n + ( cos i + j 1 8 θ 2 cos i 2 θ cos j 4 θ ) n | n = 0,1,2, }

are integer sequences.

Proof. The proof is similar to the proof of Proposition 36.

Remark 65. Note that

A i + j 1 2 B i C j B i + j 1 2 C i A j C i + j 1 2 A i B j = 1.

By Proposition 41 { A i + j 1 2 B i C j , B i + j 1 2 C i A j , C i + j 1 2 A i B j } are the roots of a monic equation

E Q ( i , j ) = t 3 γ ( i , j ) t 2 + μ ( i , j ) t 1 = 0.

Let S E Q ( i , j ) be the associated sequence.

Example 66. List of sequences:

1) E Q ( 0 , 0 ) = t 3 + 2 t 2 t 1 = 0.

S E Q 1 = 3 , 2 , 6 , 11 , 26 , 57 , 129 , [Wang A274975, Sloane A033304]

S E Q 2 = 3 , 1 , 5 , 4 , 13 , 16 , 38 , [Barry A094648, A096975]

2) E Q ( 0 , 1 ) = t 3 + 2 t 2 t 1 = 0.

S E Q 1 = 3 , 2 , 6 , 11 , 26 , 57 , 129 ,

S E Q 2 = 3 , 1 , 5 , 4 , 13 , 16 , 38 ,

3) E Q ( 1 , 0 ) = t 3 + 2 t 2 t 1 = 0.

S E Q 1 = 3 , 2 , 6 , 11 , 26 , 57 , 129 ,

S E Q 2 = 3 , 1 , 5 , 4 , 13 , 16 , 38 ,

4) E Q ( 0 , 2 ) = t 3 + 9 t 2 t 1 = 0.

S E Q 1 = 3 , 9 , 83 , 753 , 6851 , 62329 , 567059 , [Wang A274032]

S E Q 2 = 3 , 1 , 19 , 25 , 195 , 401 , 2131 , [Wang A274075]

5) E Q ( 1 , 1 ) = t 3 5 t 2 + 6 t 1 = 0.

S E Q 1 = 3 , 5 , 13 , 38 , 117 , 370 , 1186 , [Lang A198636]

S E Q 2 = 3 , 6 , 26 , 129 , 650 , 3281 , 16565 ,

6) E Q ( 2 , 0 ) = t 3 5 t 2 8 t 1 = 0.

S E Q 1 = 3 , 5 , 41 , 248 , 1573 , 9890 , 62282 ,

S E Q 2 = 3 , 8 , 54 , 389 , 2834 , 20673 , 150825 ,

7) E Q ( 0 , 3 ) = t 3 + 37 t 2 + 6 t 1 = 0.

S E Q 1 = 3 , 37 , 1357 , 49984 , 1841229 , 67824212 , 2498398486 ,

S E Q 2 = 3 , 6 , 110 , 885 , 9386 , 89171 , 883193 ,

8) E Q ( 1 , 2 ) = t 3 12 t 2 15 t 1 = 0.

S E Q 1 = 3 , 12 , 174 , 2271 , 29874 , 392727 , 5163105 ,

S E Q 2 = 3 , 15 , 201 , 2832 , 40053 , 566610 , 8015682 ,

9) E Q ( 2 , 1 ) = t 3 + 9 t 2 + 20 t 1 = 0.

S E Q 1 = 3 , 9 , 41 , 186 , 845 , 3844 , 17510 , [Wang A320918]

S E Q 2 = 3 , 20 , 418 , 8543 , 174642 , 3570145 , 72983221 , [Wang A322455]

10) E Q ( 3 , 0 ) = t 3 + 16 t 2 29 t 1 = 0.

S E Q 1 = 3 , 16 , 314 , 5485 , 96850 , 1708351 , 30136781 ,

S E Q 2 = 3 , 29 , 873 , 25778 , 761501 , 22495104 , 664516254 ,

11) E Q ( 0 , 4 ) = t 3 + 149 t 2 22 t 1 = 0.

S E Q 1 = 3 , 149 , 22245 , 3317780 , 494838461 , 73803899604 , 11007664169358 ,

S E Q 2 = 3 , 22 , 782 , 20479 , 567034 , 15525337 , 426025001 ,

12) E Q ( 1 , 3 ) = t 3 54 t 2 + 41 t 1 = 0.

S E Q 1 = 3 , 54 , 2834 , 150825 , 8028410 , 427353149 , 22748056061 ,

S E Q 2 = 3 , 41 , 1573 , 62282 , 2468661 , 97853446 , 3878745874 ,

13) E Q ( 2 , 2 ) = t 3 + 16 t 2 57 t 1 = 0.

S E Q 1 = 3 , 16 , 370 , 6829 , 130338 , 2474291 , 47011093 ,

S E Q 2 = 3 , 57 , 3281 , 187926 , 10764221 , 616564132 , 35316195134 ,

14) E Q ( 3 , 1 ) = t 3 19 t 2 + 83 t 1 = 0.

S E Q 1 = 3 , 19 , 195 , 2131 , 24323 , 285459 , 3407043 ,

S E Q 2 = 3 , 83 , 6851 , 567059 , 46935811 , 3884905043 , 321555905219 ,

15) E Q ( 4 , 0 ) = t 3 47 t 2 120 t 1 = 0.

S E Q 1 = 3 , 47 , 2449 , 120746 , 5968989 , 295034452 , 14583018670 ,

S E Q 2 = 3 , 120 , 14306 , 1711077 , 204656738 , 24478373635 , 2927784258437 ,

11. Power Sums of Tangent Values

In this section we will compute the sum of powers and mixed powers of tangent values.

In this section and Section 12, 13, 14, let

A = tan 2 θ , B = tan 4 θ , C = tan 8 θ ,

The following result can be easily proved using equations in [4] [5] .

Proposition 67. With the above notations, { A , B , C } are the roots of the equation

x 3 + 7 x 2 7 x + 7 = 0.

{ A 2 , B 2 , C 2 } are the roots of the equation

x 3 21 x 2 + 35 x 7 = 0.

Definition 68. For an integer n,

T ( n ) = A n + B n + C n .

For integers i , j , let

W ( i , j ) = A i B j .

Let

Proposition 69. With the above notations, T ( n ) satisfy the following recurrence relations:

T ( n ) = 7 T ( n 1 ) + 7 T ( n 2 ) 7 T ( n 3 ) ,

T ( n ) = 7 T ( n + 1 ) T ( n + 2 ) 7 7 T ( n + 3 ) .

Proof. The recurrence relations follow easily from the equations in Proposition 67.

Example 70. With the above notations, For n = 0 , , 10 ,

T ( n ) = 3 , 7 , 7 3 , 31 7 , 7 53 , 7 87 7 , 7 1011 , 7 2 239 7 , 7 2 2771 , 7 32119 7 , 7 2 53189 ,

T ( n ) = 3 , 7 , 5 , 25 7 7 , 19 , 103 7 7 , 563 7 , 7 9 7 , 2421 7 , 13297 7 7 2 , 10435 7 ,

Proposition 71. With the above notations, W ( i , j ) satisfy the following recurrence relations:

W ( i , j ) = 7 W ( i 1 , j ) + 7 W ( i 2 , j ) 7 W ( i 3 , j ) ,

W ( i , j ) = 7 W ( i , j 1 ) + 7 W ( i , j 2 ) 7 W ( i , j 3 ) .

Lemma 72. With above notations, list of W ( i , j ) , i , j = 0 , 1 , , 6

7 , 9 7 , 105 , 175 7 , 2023 , 3353 7 , 7 , 35 , 49 7 , 581 , 959 7 , 11123 , 49 , 7 7 , 175 , 273 7 , 3185 , 5271 7 , 63 7 , 133 , 63 7 , 931 , 1505 7 , 17493 , 791 , 119 7 , 441 , 399 7 , 5047 , 8281 7 , 1281 7 , 1715 , 175 7 , 1813 , 2303 7 , 27587.

Proof. The proof is similar to the proof of Proposition 15.

12. Alpha Sequences of Tangent Values

In this section we will study the α sequences for tangent values.

Lemma 73.

Q = 9 , R = 1.

Proof. Recall that

Q = A B , R = A C .

By Proposition 9

Q + R = T ( 1 ) T ( 1 ) 3 = ( 7 ) ( 7 ) 3 = 10.

Q R = ( 1 F ) T ( 3 ) + ( F ) T ( 3 ) + 3 = 9.

Then { Q , R } = { 1 , 9 } are the roots of the equation:

t 2 + 10 t + 9 = 0.

Note that A 0.782, B 0.975, C 0.434 . Then Q 9.0, R 1.0 It follows that Q = 9 , R = 1 .

Proposition 74. With the above notations, { A B , B C , C A } are roots of equation

t 3 + 9 t 2 t 1 = 0.

Proof. By Lemma 73,

A B + B C + C A = 9 ,

A B B C + B C C A + C A A B = A C + B A + C B = 1 ,

A B B C C A = 1 ,

It follows that A B , B C , C A are the roots of the above equation.

Proposition 75.

α ( 0 , 0 ) = 3 , α ( 1 , 0 ) = 9 , α ( 2 , 0 ) = 83

and for n 0 , α ( n ,0 ) satisfies recurrence equation:

α ( n , 0 ) = a 5 α ( n 1 , 0 ) + α ( n 2 , 0 ) + α ( n 3 , 0 ) .

α ( 0 , 0 ) = 3 , α ( 0 , 1 ) = 1 , α ( 0 , 2 ) = 19

and for n 0 , α ( 0 , n ) satisfies recurrence equation:

α ( 0 , n ) = α ( 0 , n 1 ) + 9 α ( 0 , n 2 ) + α ( 0 , n 3 ) .

Proof. Recall that

α ( i , j ) = A i + j B i C j .

Then the proof is similar to the proof of Proposition 19.

Theorem 76. For integers i , j ,

{ ( tan 2 θ tan 4 θ ) n + ( tan 4 θ tan 8 θ ) n + ( tan 8 θ tan 2 θ ) n | n = 0 , ± 1 , ± 2 , }

is a two-sided integer sequence.

Proof. The proof is similar to the proof of Theorem 19.

Example 77. List of associated sequences:

1) { α ( n , 0 ) | n = 0 , 1 , 2 , 3 , } = { 3 , 9 , 83 , 753 , 6851 , 62329 , } [Wang A274032]

2) { α ( 0 , n ) | n = 0 , 1 , 2 , 3 , } = { 3 , 1 , 19 , 25 , 195 , 401 , 2131 , } [Wang A274075]

Lemma 78.

α ( 1 , 1 ) = 31 , α ( 1 , 1 ) = 25.

Proof.

α ( 1 , 1 ) = A 2 B C = 1 F A 3 = 1 7 T ( 3 ) = 31 ,

α ( 1 , 1 ) = B C A 2 = F 1 A 3 = ( 7 ) T ( 3 ) = 25.

Theorem 79. For integers i , j ,

{ ( tan i + j 2 θ tan i 4 θ tan j 8 θ ) n + ( tan i + j 4 θ tan i 8 θ tan j 2 θ ) n + ( tan i + j 8 θ tan i 2 θ tan j 4 θ ) n | n = 0 , ± 1 , ± 2 , }

is a two-sided integer sequence.

Proof. The proof is similar to the proof of Theorem 23.

Remark 80. Using our approach we can generate two-sided integer sequences as follows:

1) For each ( i , j ) , i 0, j 0 , we can compute α ( i , j ) , α ( i , j ) using recurrence relations in Proposition 23.

2) Let

X = A i + j B i C j , Y = B i + j C i A j , Z = C i + j A i B j .

Then { X , Y , Z } are the roots for equation:

t 3 α ( i , j ) t 2 + α ( i , j ) t 1 = 0.

3) Let p ( n ) = X n . Then

p ( 0 ) = 3 , p ( 1 ) = α ( i , j ) , p ( 2 ) = α ( i , j ) 2 2 α ( i , j ) .

4) For n 3 and n < 0 use the recurrence relation

p ( n ) = α ( i , j ) p ( n 1 ) α ( i , j ) p ( n 2 ) + p ( n 3 )

to get p ( n ) .

Remark 81. Note that

1) Integer sequence for ( n ,0 ) is a subsequence for the integer sequence for ( 1,0 ) .

2) Integer sequence for ( 0, n ) is a subsequence for the integer sequence for ( 0,1 ) .

Example 82. List of associated sequences:

1) E Q ( 0 , 0 ) = t 3 3 t 2 + 3 t 1 = 0.

S E Q 1 = 3 , 3 , 3 , 3 , 3 , 3 , 3 ,

S E Q 2 = 3 , 3 , 3 , 3 , 3 , 3 , 3 ,

2) E Q ( 0 , 1 ) = t 3 + t 2 9 t 1 = 0.

S E Q 1 = 3 , 1 , 19 , 25 , 195 , 401 , 2131 , [Wang A274075]

S E Q 2 = 3 , 9 , 83 , 753 , 6851 , 62329 , 567059 , [Wang A274032]

3) E Q ( 1 , 0 ) = t 3 + 9 t 2 t 1 = 0.

S E Q 1 = 3 , 9 , 83 , 753 , 6851 , 62329 , 567059 , [Wang A274032]

S E Q 2 = 3 , 1 , 19 , 25 , 195 , 401 , 2131 , [Wang A274075]

4) E Q ( 0 , 2 ) = t 3 19 t 2 + 83 t 1 = 0.

S E Q 1 = 3 , 19 , 195 , 2131 , 24323 , 285459 , 3407043 ,

S E Q 2 = 3 , 83 , 6851 , 567059 , 46935811 , 3884905043 , 321555905219 ,

5) E Q ( 1 , 1 ) = t 3 31 t 2 25 t 1 = 0.

S E Q 1 = 3 , 31 , 1011 , 32119 , 1020995 , 32454831 , 1031656755 , [Wang A274592]

S E Q 2 = 3 , 25 , 563 , 13297 , 314947 , 7460905 , 176745971 , [Wang A248417]

6) E Q ( 2 , 0 ) = t 3 83 t 2 + 19 t 1 = 0.

S E Q 1 = 3 , 83 , 6851 , 567059 , 46935811 , 3884905043 , 321555905219 ,

S E Q 2 = 3 , 19 , 195 , 2131 , 24323 , 285459 , 3407043 ,

7) E Q ( 0 , 3 ) = t 3 + 25 t 2 753 t 1 = 0.

S E Q 1 = 3 , 25 , 2131 , 72097 , 3407043 , 139462985 , 6052005907 ,

S E Q 2 = 3 , 753 , 567059 , 427014249 , 321555905219 , 242142271419073 , 182341168849178195 ,

8) E Q ( 1 , 2 ) = t 3 + 113 t 2 + 215 t 1 = 0.

S E Q 1 = 3 , 113 , 12339 , 1370009 , 152158019 , 16899291873 , 1876904637555 ,

S E Q 2 = 3 , 215 , 46451 , 10011263 , 2157670723 , 465030524615 , 100225389595187 ,

9) E Q ( 2 , 1 ) = t 3 + 289 t 2 57 t 1 = 0.

S E Q 1 = 3 , 289 , 83635 , 24186985 , 6994805571 , 2022877384529 , 585010243859443 ,

S E Q 2 = 3 , 57 , 3827 , 234609 , 14478659 , 893081737 , 55089756851 ,

10) E Q ( 3 , 0 ) = t 3 + 753 t 2 25 t 1 = 0.

S E Q 1 = 3 , 753 , 567059 , 427014249 , 321555905219 , 242142271419073 , 182341168849178195 ,

S E Q 2 = 3 , 25 , 2131 , 72097 , 3407043 , 139462985 , 6052005907 ,

11) E Q ( 0 , 4 ) = t 3 195 t 2 + 6851 t 1 = 0.

S E Q 1 = 3 , 195 , 24323 , 3407043 , 497736707 , 73717030595 , 10964830193411 ,

S E Q 2 = 3 , 6851 , 46935811 , 321555905219 , 2202970354179075 , 15092487193126260931 , 103398200181210504623875 ,

12) E Q ( 1 , 3 ) = t 3 383 t 2 1961 t 1 = 0.

S E Q 1 = 3 , 383 , 150611 , 58435079 , 22675983811 , 8799493140143 , 3414673535363219 ,

S E Q 2 = 3 , 1961 , 3844755 , 7538813489 , 14782140708803 , 28984890560551641 , 56833708821811482963 ,

13) E Q ( 2 , 2 ) = t 3 1011 t 2 + 563 t 1 = 0.

S E Q 1 = 3 , 1011 , 1020995 , 1031656755 , 1042430160131 , 1053316070160371 , 1064315659783638083 ,

S E Q 2 = 3 , 563 , 314947 , 176745971 , 99189570819 , 55665038509363 , 31239136201419331 ,

14) E Q ( 3 , 1 ) = t 3 2631 t 2 177 t 1 = 0.

S E Q 1 = 3 , 2631 , 6922515 , 18213602655 , 47921213873091 , 126083937514694871 , 331735321674231345363 ,

S E Q 2 = 3 , 177 , 26067 , 4148169 , 665643459 , 106905033537 , 17170878847251 ,

15) E Q ( 4 , 0 ) = t 3 6851 t 2 + 195 t 1 = 0.

S E Q 1 = 3 , 6851 , 46935811 , 321555905219 , 2202970354179075 , 15092487193126260931 , 103398200181210504623875 ,

S E Q 2 = 3 , 195 , 24323 , 3407043 , 497736707 , 73717030595 , 10964830193411 ,

13. Beta Sequences of Tangent Values

In this section we will study the β sequences for tangent values. Let K = 7 in the formula for β ( i , j ) and λ ( i , j ) . Then

β ( i , j ) = 7 A i + j + 1 B i C j , λ ( i , j ) = 7 B i + 1 C j + 1 A i + j .

Lemma 83. With above notations,

1) β ( 0 , 0 ) = 7 ,

2) β ( 1 , 0 ) = 105 ,

3) β ( 0 , 1 ) = 49 ,

4) β ( 2 , 0 ) = 959 ,

5) β ( 0 , 2 ) = 119 ,

6) β ( 1 , 1 ) = 371 ,

7) λ ( 0 , 0 ) = 49 ,

8) λ ( 1 , 0 ) = 49 ,

9) λ ( 0 , 1 ) = 343 ,

10) λ ( 2 , 0 ) = 441 ,

11) λ ( 0 , 2 ) = 3185 ,

12) λ ( 1 , 1 ) = 931.

Proof. To prove (1),

β ( 0 , 0 ) = 7 A = 7 T ( 1 ) = 7.

To prove (2),

β ( 1 , 0 ) = 7 A 2 B = 7 F A B 3 = 7 F W ( 1 , 3 ) = 105.

To prove (3),

β ( 0 , 1 ) = 7 A 2 C = 7 F A 3 B = 7 F W ( 3 , 1 ) = 49 ,

To prove (4),

β ( 2 , 0 ) = 7 A 3 B 2 = 7 F 2 A 2 B 5 = 7 F 2 W ( 2 , 5 ) = 959 ,

To prove (5),

β ( 0 , 2 ) = 7 A 3 C 2 = 7 F 2 A 5 B 2 = 7 F 2 W ( 5 , 2 ) = 119.

To prove (6),

β ( 1 , 1 ) = 7 A 3 B C = 7 F A 4 = 7 F T ( 4 ) = 371.

To prove (7),

λ ( 0 , 0 ) = 7 B C = 7 F 1 A = 7 F T ( 1 ) = 49.

To prove (8),

λ ( 1 , 0 ) = 7 B 2 C A = 7 F A 3 B 2 = 7 F W ( 3 , 2 ) = 49.

To prove (9),

λ ( 0 , 1 ) = 7 B C 2 A = 7 F A 2 B 3 = 7 F W ( 2 , 3 ) = 343.

To prove (10),

λ ( 2 , 0 ) = 7 B 3 C A 2 = 7 F 2 A 5 B 3 = 7 F 2 W ( 5 , 3 ) = 3185.

To prove (11),

λ ( 0 , 2 ) = 7 B C 3 A 2 = 7 F 2 A 3 B 5 = 7 F 2 W ( 3 , 5 ) = 441.

To prove (12),

λ ( 1 , 1 ) = 7 B 2 C 2 A 2 = 7 F 2 1 A 4 = 7 F 2 T ( 4 ) = 931.

Proposition 84. With the above notations,

1) β ( n , 0 ) = 9 β ( n 1 , 0 ) + β ( n 2 , 0 ) + β ( n 3 , 0 ) ,

2) β ( 0 , n ) = β ( 0 , n 1 ) + 9 β ( 0 , n 2 ) + β ( 0 , n 3 ) ,

3) λ ( n , 0 ) = λ ( n 1 , 0 ) + 9 λ ( n 2 , 0 ) + λ ( n 3 , 0 ) ,

4) λ ( 0 , n ) = a 5 λ ( 0 , n 1 ) + λ ( 0 , n 2 ) + λ ( 0 , n 3 ) .

Proof. By Proposition 74, { A B , B C , C A } are roots of equation

t 3 + 9 t 2 t 1 = 0.

The rest of proof is similar to the proof of Proposition 28.

Proposition 85. With the above notations,

1) β ( n , 0 ) are integers for all integer n 0 ,

2) β ( 0 , n ) are integers for all integer n 0 ,

3) λ ( n , 0 ) are integers for all integer n 0 ,

4) λ ( 0 , n ) are integers for all integer n 0 .

Proof. The proof is similar to the proof of Proposition 29

Theorem 86. For integers i , j ,

{ ( 7 tan i + j + 1 2 θ tan i 4 θ tan j 8 θ ) n + ( 7 tan i + j + 1 4 θ tan i 8 θ tan j 2 θ ) n + ( 7 tan i + j + 1 8 θ tan i 2 θ tan j 4 θ ) n | n = 0 , 1 , 2 , }

are integer sequences.

Proof. The proof is similar to the proof of Theorem 30

Remark 87. Note that

7 A i + j + 1 B i C j 7 B i + j + 1 C i A j 7 C i + j + 1 A i B j = 49.

By Proposition 5 { 7 A i + j + 1 B i C j , 7 B i + j + 1 C i A j , 7 C i + j + 1 A i B j } are the roots of a monic equation

E Q ( i , j ) = t 3 β ( i , j ) t 2 + λ ( i , j ) t + 49 = 0.

Let S E Q ( i , j ) be the associated sequence.

Example 88. List of associated sequences:

1) E Q ( 0 , 0 ) = t 3 + 7 t 2 49 t + 49 = 0.

S E Q = 3 , 7 , 147 , 1519 , 18179 , 208887 , 2427411 , [Wang A275195]

2) E Q ( 0 , 1 ) = t 3 49 t 2 + 343 t + 49 = 0.

S E Q = 3 , 49 , 1715 , 67081 , 2696323 , 109027009 , 4414197683 ,

3) E Q ( 1 , 0 ) = t 3 105 t 2 49 t + 49 = 0.

S E Q = 3 , 105 , 11123 , 1172913 , 123695747 , 13044981145 , 1375726639091 ,

4) E Q ( 0 , 2 ) = t 3 + 119 t 2 3185 t + 49 = 0.

S E Q = 3 , 119 , 20531 , 2822351 , 401256835 , 56739757319 , 8030172435635 ,

5) E Q ( 1 , 1 ) = t 3 + 371 t 2 + 931 t + 49 = 0.

S E Q = 3 , 371 , 135779 , 50028755 , 18434276035 , 6792546291251 , 2502874814474531 ,

6) E Q ( 2 , 0 ) = t 3 + 959 t 2 441 t + 49 = 0.

S E Q = 3 , 959 , 920563 , 883242983 , 847436035971 , 813080713759279 , 780118167065917939 ,

7) E Q ( 0 , 3 ) = t 3 553 t 2 + 28959 t + 49 = 0.

S E Q = 3 , 553 , 247891 , 121069249 , 59772592131 , 29548186919993 , 14609186938841299 ,

8) E Q ( 1 , 2 ) = t 3 1281 t 2 8281 t + 49 = 0.

S E Q = 3 , 1281 , 1657523 , 2133894777 , 2747245094531 , 3536891667523921 , 4553508058165109939 ,

9) E Q ( 2 , 1 ) = t 3 3353 t 2 + 2303 t + 49 = 0.

S E Q = 3 , 3353 , 11238003 , 37673301953 , 126292700163203 , 423372661482159753 , 1419277680015213999603 ,

10) E Q ( 3 , 0 ) = t 3 8729 t 2 49 t + 49 = 0.

S E Q = 3 , 8729 , 76195539 , 665111287505 , 5805760161784835 , 50678513038939331049 , 442373024766558895095891 ,

11) E Q ( 0 , 4 ) = t 3 + 1575 t 2 263473 t + 49 = 0.

S E Q = 3 , 1575 , 3007571 , 5151894447 , 8906647585283 , 15385355179826135 , 26578595819906258387 ,

12) E Q ( 1 , 3 ) = t 3 + 4515 t 2 + 75411 t + 49 = 0.

S E Q = 3 , 4515 , 20234403 , 91017849027 , 409419692013507 , 1841666163419494755 , 8284247983904462844771 ,

13) E Q ( 2 , 2 ) = t 3 + 11711 t 2 21609 t + 49 = 0.

S E Q = 3 , 11711 , 137190739 , 1606893807575 , 18821297935763715 , 220450943500739100751 , 2582107708842987323583571 ,

14) E Q ( 3 , 1 ) = t 3 + 30499 t 2 + 6419 t + 49 = 0.

S E Q = 3 , 30499 , 930176163 , 28369247022403 , 865227694136973251 , 26388397341332489009379 , 804814176618121010169849699 ,

15) E Q ( 4 , 0 ) = t 3 + 79415 t 2 3969 t + 49 = 0.

S E Q = 3 , 79415 , 2011782867 , 159766051581087 , 12687828971082114563 , 1007604571850043430715431 , 80018967431472213811706126675 ,

14. Gamma Sequences of Tangent Values

In this section we will study the γ sequences for tangent values. Let K = 7 in the formula for γ ( i , j ) and μ ( i , j ) . Then

γ ( i , j ) = 7 A i + j 1 B i C j , μ ( i , j ) = 7 B i 1 C j 1 A i + j .

Lemma 89. With the above notations,

1) γ ( 0 , 0 ) = 7 ,

2) γ ( 1 , 0 ) = 7 ,

3) γ ( 0 , 1 ) = 7 ,

4) γ ( 2 , 0 ) = 49 ,

5) γ ( 0 , 2 ) = 7 ,

6) γ ( 1 , 1 ) = 21 ,

7) μ ( 0 , 0 ) = 7 ,

8) μ ( 1 , 0 ) = 7 ,

9) μ ( 0 , 1 ) = 7 ,

10) μ ( 2 , 0 ) = 49 ,

11) μ ( 0 , 2 ) = 105 ,

12) μ ( 1 , 1 ) = 35.

Proof. The proof is similar to the proof of Lemma 33.

Proposition 90. With the above notations,

1) γ ( n , 0 ) = 9 γ ( n 1 , 0 ) + γ ( n 2 , 0 ) + γ ( n 3 , 0 ) ,

2) γ ( 0 , n ) = γ ( 0 , n 1 ) + 9 γ ( 0 , n 2 ) + γ ( 0 , n 3 ) ,

3) μ ( n , 0 ) = μ ( n 1 , 0 ) + 9 μ ( n 2 , 0 ) + μ ( n 3 , 0 ) ,

4) μ ( 0 , n ) = 9 μ ( 0 , n 1 ) + μ ( 0 , n 2 ) + μ ( 0 , n 3 ) .

Proof. The proof is similar to the proof of Proposition 34.

Proposition 91. With the above notations,

1) γ ( n , 0 ) are integers for all integers n 0 .

2) γ ( 0 , n ) are integers for all integers n 0 .

3) μ ( n , 0 ) are integers for all integers n 0 .

4) μ ( 0 , n ) are integers for all integers n 0 .

Proof. The proof is similar to the proof of Proposition 35.

Theorem 92. For integers i , j ,

{ { ( 7 tan i + j 1 2 θ tan i 4 θ tan j 8 θ ) n + ( 7 tan i + j 1 4 θ tan i 8 θ tan j 2 θ ) n + ( 7 tan i + j 1 8 θ tan i 2 θ tan j 4 θ ) n | n = 0 , 1 , 2 , }

is integer sequences.

Proof. The proof is similar to the proof of Theorem 36.

Remark 93. Note that

7 A i + j 1 B i C j 7 B i + j 1 C i A j 7 C i + j 1 A i B j = 7.

By Proposition 5 { 7 A i + j 1 B i C j , 7 B i + j 1 C i A j , 7 C i + j 1 A i B j } are the roots of a monic equation

E Q ( i , j ) = t 3 γ ( i , j ) t 2 + μ ( i , j ) t + 7 = 0.

Let S E Q ( i , j ) be the associated sequence.

Example 94. List of associated sequences:

1) E Q ( 0 , 0 ) = t 3 7 t 2 + 7 t + 7 = 0.

S E Q = 3 , 7 , 35 , 175 , 931 , 5047 , 27587 , [Witula 215575]

2) E Q ( 0 , 1 ) = t 3 7 t 2 + 7 t + 7 = 0.

S E Q = 3 , 7 , 35 , 175 , 931 , 5047 , 27587 ,

3) E Q ( 1 , 0 ) = t 3 7 t 2 + 7 t + 7 = 0.

S E Q = 3 , 7 , 35 , 175 , 931 , 5047 , 27587 ,

4) E Q ( 0 , 2 ) = t 3 7 t 2 105 t + 7 = 0.

S E Q = 3 , 7 , 259 , 2527 , 44835 , 577367 , 8731555 ,

5) E Q ( 1 , 1 ) = t 3 + 21 t 2 + 35 t + 7 = 0.

S E Q = 3 , 21 , 371 , 7077 , 135779 , 2606261 , 50028755 , [Delham A108716]

6) E Q ( 2 , 0 ) = t 3 + 49 t 2 49 t + 7 = 0.

S E Q = 3 , 49 , 2499 , 124873 , 6241571 , 311973249 , 15593400291 ,

7) E Q ( 0 , 3 ) = t 3 63 t 2 + 959 t + 7 = 0.

S E Q = 3 , 63 , 2051 , 68775 , 2365475 , 83055343 , 2963514659 ,

8) E Q ( 1 , 2 ) = t 3 63 t 2 273 t + 7 = 0.

S E Q = 3 , 63 , 4515 , 301623 , 20234403 , 1357078863 , 91017849027 ,

9) E Q ( 2 , 1 ) = t 3 175 t 2 + 63 t + 7 = 0.

S E Q = 3 , 175 , 30499 , 5326279 , 930176163 , 162445059455 , 28369247022403 ,

10) E Q ( 3 , 0 ) = t 3 455 t 2 + 119 t + 7 = 0.

S E Q = 3 , 455 , 206787 , 94033919 , 42760822307 , 19444982665815 , 8842377916853859 ,

11) E Q ( 0 , 4 ) = t 3 7 t 2 8729 t + 7 = 0.

S E Q = 3 , 7 , 17507 , 183631 , 154103971 , 2681520247 , 1363942919171 ,

12) E Q ( 1 , 3 ) = t 3 + 245 t 2 + 2499 t + 7 = 0.

S E Q = 3 , 245 , 55027 , 12869381 , 3015487587 , 706634260885 , 165589780522579 ,

13) E Q ( 2 , 2 ) = t 3 + 609 t 2 721 t + 7 = 0.

S E Q = 3 , 609 , 372323 , 227183817 , 138623393699 , 84585448901009 , 51612487437858179 ,

14) E Q ( 3 , 1 ) = t 3 + 1589 t 2 + 259 t + 7 = 0.

S E Q = 3 , 1589 , 2524403 , 4010864837 , 6372610416739 , 10125039155876309 , 16087036740665573459 ,

15) E Q ( 4 , 0 ) = t 3 + 4137 t 2 553 t + 7 = 0.

S E Q = 3 , 4137 , 17115875 , 70810662657 , 292953176519843 , 1211986449678850937 , 5014149945923696438147 ,

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

Cite this paper

Wang, K. (2019) Integer Sequences for the Sum of Powers of Trigonometric Values. Open Access Library Journal, 6: e5417. https://doi.org/10.4236/oalib.1105417

References

  1. 1. Witula, R. (2009) Type Trigonometric Formulas: The General Form for the Argument 2π/7. Journal of Integer Sequences, 12, 1-23.

  2. 2. Berndt, B.C. and Zhang, L.C. (1992) Ramanujans Identities for Eta-Functions. Mathematische Annalen, 292, 561-573 https://doi.org/10.1007/BF01444636

  3. 3. Wang, K. (2016) Sums of Mixed Trigonometric Powers.

  4. 4. Bankoff, L. and Garfunkel, J. (1973) The Heptagonal Triangle. Mathematics Magazine, 46, 7-19. https://doi.org/10.1080/0025570X.1973.11976267

  5. 5. WIKI. Heptagonal Triangle. https://en.wikipedia.org/wiki/Heptagonal_triangle

  6. 6. OIES The On-Line Encyclopedia of Integer Sequences.
    https://oeis.org/wiki/Welcome

List of Integer Sequences

List of integer sequences from OEIS [6] :

1) Adamson G. Adamson A116423, A180262, A094430.

2) Adamson-Bagula G. Adamson and Roger L. Bagula, A120757, A122161, A122600.

3) Bagula R. Bagula, A106803, A152046.

4) Barry P. Barry, A094648, A096975, A096976.

5) Bernstein-Sloane-Wilson M. Bernstein, N. Sloane, R. Wilson, A000975.

6) Butler S. Butler A136776.

7) Delham P. Delham, A085810, A199853, A108716.

8) Deutsch E. Deutsch A109110.

9) Encyclopedia (AT) pommard.inria.fr encyclopedia(AT)pommard.inria.fr, A052534, A052547.

10) Hanna P. Hanna, A136752.

11) Kimberling C. Kimberling, A287381.

12) W. Lang, A181879.

13) Librandi V. Librandi, A271945, A271944.

14) Pharo A. Pharo, A219788.

15) Sloane N. Sloane, A077925, A001045, A006053, A078038, A006054, A006356, A077998, A033304, A028495.

16) Wang Kai Wang A274032, A274075, A274220, A274592, A248417, A274663, A274664, A274975, A275195, A275830, A275831, A287396, A287405, A320918.

17) Witula R. Witula, A214683, A215007, A215008, A215076, A215112, A215139, A006054, A215575, A215100, A215575, A215560, A215569, A215666, A215794, A215829, A215404, A217274.

18) Wieder T. Wieder, A109509.