1. Introduction
An order-d homogeneous linear recurrence with constant coefficients is an equation of the form
where the d coefficients
(for all i) are constants, and
.
A constant-recursive sequence is a sequence satisfying a recurrence of this form. There are d degrees of freedom for solutions to this recurrence, i.e., the initial values
can be taken to be any values but then the recurrence determines the sequence uniquely.
The same coefficients yield the characteristic polynomial (also “auxiliary polynomial”)
whose d roots play a crucial role in finding and understanding the sequences satisfying the recurrence. The following result is from [1] .
Theorem 1. If the roots
are all distinct, then each solution to the recurrence takes the form
where the coefficients
are determined in order to fit the initial conditions of the recurrence.
The purpose of this paper is to use a simple version of Theorem 1 to generate integer sequences.
Corollary 2. Let
be the roots of a cubic equation:
where
are integers. Let
be three numbers and let
If
are integers then
is an integer sequence with the recurrence relation:
Integer sequences whose terms are mixed power sums of trigonometric functions at heptagonal triangles have been studied by many researchers such as [2] - [7] . OEIS [2] the On-Line Encyclopedia of Integer Sequences is an online database of integer sequences. It consists of all known integer sequence and related information. It may have recurrence relation, initial values, generating function, references, etc. In Section 21, we include all the known sequences which are based on trigonometric values at heptagonal triangles. R. Witula and his coworkers [4] [5] [6] [7] have developed very difficult and complicate methods to produce integer sequences. In our previous paper [3] we begin using simpler and more direct method to generate sequence. This paper is an extension of that paper. This paper will use above mentioned simple method to generate integer sequences whose terms are sums of mixed powers of trigonometric values at angles of a heptagonal triangle. Our results include many new integer sequences and some sequences which are discovered using different methods.
Note that in this paper, all the sequences and tables are generated by computer.
2. Sums of Mixed Powers of Trigonometric Functions
For convenience, in this paper, let
. We will use many results from [3] . For the convenience of readers, we include them here.
Definition 3. Let
be an expression of trigonometric values in terms of
. Let
Definition 4. For an integer n, let
For integers,
, let
Let
We start with the following results which can be proved easily from trigonometric identities from [8] [9] .
Proposition 5. Let
and P be defined as in Definition 4.
1) The values
are the roots of the equation
(1)
2)
3) For an integer n,
satisfies the recurrence relations:
Using this recurrence relation we can compute
for any integer n. In the following, we will only show a few terms which will be used in later applications.
Proposition 6. With above notations, the values of
for
are as follows.
Proposition 7. Let
be defined as in Definition 4.
1) The values
are the roots of the equation
(2)
2)
satisfy the following recurrence relations:
Using this recurrence relation we can compute
for any integer n. In the following, we will only show a few terms which will be used in later applications.
Proposition 8. With above notations, the values of
for
are as follows.
Proposition 9. Let
be defined as in Definition 4.
1) The values
are the roots of the equation
(3)
2)
satisfy the following recurrence relations:
Using this recurrence relation we can compute
for any integer n. In the following, we will only show a few terms which will be used in later applications and for future reference.
Proposition 10. With above notations, the values of
for
are as follows.
Proposition 11. Let
be defined as in Definition 4. Then
satisfy the following recurrence relations:
and
Proof. The recurrence relations follow easily from the recurrence relations in Proposition 5.
Remark 12.
1) For an integer n,
.
2) We only need the values
for
.
Proposition 13. With the above notations, list of
:
Proof.
Then all the other
can be computed using recurrence relations in Proposition 5.
3. List of Support Triads
In this paper we will use the following list of triads.
1)
2)
3)
Lemma 14.
Proof. By Proposition 5,
Lemma 15.
Proof. By Proposition 7,
Lemma 16.
Proof. By Proposition 9,
We will frequently use the following lemma to convert cosine values and tangent values into sine values.
Lemma 17.
4. Integer Sequences―S1
In this section, let
Proposition 18. With above notations, then
are the roots of the integer equation
(4)
Proof.
It follows that
are the roots of the Equation (4).
Proposition 19. For case
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Then
is an integer sequence with the recurrence relation
Proof. We will only prove case 1, 4, 7, 10. The proofs for other cases are similar.
Case 1:
Case 4: By Lemma 14,
.
Case 7: By Lemma 15,
.
Case 10: By Lemma 16,
.
Example 20. List of associated sequences:
For case
1)
[Wang A322459]
2)
[Witula A215493]
3)
[Witula A215008]
4)
[Witula A217274]
5)
[Adamson A094430]
6)
7)
[Adamson A094429]
8)
[Adamson A094429]
9)
[Wang A319512]
10)
[Witula A215007]
5. Integer Sequences―S2
In this section, let
Proposition 21. With above notations,
are the roots of the integer equation
(5)
Proof.
It follows that
are the roots of the Equation (5).
Proposition 22. For case
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Then
is an integer sequence with the recurrence relation
Proof. The proof is similar to the proof of Proposition 19.
Example 23. List of associated sequences:
1)
[Wang A322235]
2)
[Sloane A006054]
3)
[Sloane A006054]
4)
[Sloane A006356, A077998, Bagula A106803, Adamson A180262, Deleham A199853]
5)
[Sloane A033304, Wang A274975]
6)
[Wang A321173]
7)
[Wang A321174]
8)
[Sloane A006054]
9)
[A052534, Deutsch A109110]
10)
[Pharo A219788]
6. Integer Sequences―S3
In this section, let
Proposition 24. With above notations,
are the roots of the integer equation
(6)
Proof.
It follows that
are the roots of the Equation (6).
Proposition 25. For case
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Then
is an integer sequence with the recurrence relation
Proof. The proof is similar to the proof of Proposition 19.
Example 26. List of associated sequences:
1)
[Barry A094648]
2)
[Sloane A006053, Wieder A109509]
3)
[A052547, Barry A096976]
4)
[Sloane A006053]
5)
[Wang A321175]
6)
[Wang A321461]
7)
[Barry A094648, A096975]
8)
[Sloane A028495, Hanna A136752]
9)
[Adamson and Bagula, A122161]
10)
[Sloane A006053]
7. Integer Sequences―S4
In this section, let
Proposition 27. With above notations,
are the roots of the integer equation
(7)
Proof.
It follows that
are the roots of the Equation (7).
Proposition 28. For case
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Then
is an integer sequence with the recurrence relation
Proof. The proof is similar to the proof of Proposition 19.
Example 29. List of associated sequences:
1)
[Wang A274220]
2)
[Delham A085810]
3)
[Adamson A116423]
4)
[Witula A215404]
5)
6)
7)
8)
[Witula A215404]
9)
[Butler A136776]
10)
[Wang A322504]
8. Integer Sequences―S5
In this section, let
Proposition 30. With above notations,
are the roots of the integer equation
(8)
Proof.
It follows that
are the roots of the Equation (8).
Proposition 31. For case
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Then
is an integer sequence with the recurrence relation
Proof. The proof is similar to the proof of Proposition 19.
Example 32. List of associated sequences:
1)
[Witula A215076]
2)
[Adamson and Bagula A120757]
3)
[Lang A181879]
4)
[Bagula and Adamson A122600]
5)
6)
7)
8)
[Bagula and Adamson A122600]
9)
10)
9. Integer Sequences―C1
In this section, let
Proposition 33. With above notations,
are the roots of the integer equation
(9)
Proof. Using Proposition 7,
It follows that
are the roots of the Equation (9).
Proposition 34. For case
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Then
is an integer sequence with the recurrence relation
Proof. We will prove case 4, 5, 8. The proof for other cases are similar.
Case 4: By Lemma 14,
.
Case 5: By Lemma 15,
.
Case 8: By Lemma 16,
.
Example 35. List of associated sequences:
1)
[Barry A094648]
2)
[Sloane A006053]
3)
[Sloane A006053]
4)
[Barry A052547, A096976]
5)
[Barry A094648, A096975]
6)
7)
8)
[Sloane A006053]
9)
[Sloane A028495, Hanna A136752]
10)
[Adamson and Bagula A122161]
10. Integer Sequences―C2
In this section, let
Proposition 36. With above notations,
are the roots of the integer equation
(10)
Proof.
It follows that
are the roots of the Equation (10).
Proposition 37. For case
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Then
is an integer sequence with the recurrence relation
Proof. The proof is similar to the proof of Proposition 34.
Example 38. List of associated sequence:
1)
[Wang A274220]
2)
[Witula A215404]
3)
[Delham A085810]
4)
[Adamson A116423]
5)
6)
7)
8)
9)
[Witula A215404]
10)
[Butler A136776]
11. Integer Sequences―C3
In this section, let
Proposition 39. With above notations,
are the roots of the integer equation
(11)
Proof.
It follows that
are the roots of the Equation (11).
Proposition 40. For case
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Then
is an integer sequence with the recurrence relation
Proof. The proof is similar to the proof of Proposition 34.
Example 41. List of associated sequences:
1)
[Witula A215076]
2)
[Adamson and Bagula A120757]
3)
[Lang A181879]
4)
[Bagula and Adamson A122600]
5)
6)
7)
8)
[Bagula and Adamson A122600]
9)
10)
12. Integer Sequences―C4
In this section, let
Proposition 42. With above notations,
are the roots of the integer equation
(12)
Proof.
It follows that
are the roots of the Equation (12).
Proposition 43. For case
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Then
is an integer sequence with the recurrence relation
Proof. The proof is similar to the proof of Proposition 34.
Example 44. List of associated sequences:
1)
[Wang A274663]
2)
3)
4)
5)
6)
7)
8)
9)
10)
13. Integer Sequences―C5
In this section, let
Proposition 45. With above notations,
are the roots of the integer equation
(13)
Proof.
It follows that
are the roots of the Equation (13).
Proposition 46. For case
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Then
is an integer sequence with the recurrence relation
Proof. The proof is similar to the proof of Proposition 34.
Example 47. List of associated sequences:
1)
[Wang A274663]
2)
3)
4)
5)
6)
7)
8)
9)
10)
14. Integer Sequences―T1
In this section, let
Proposition 48. With above notations,
are the roots of the integer equation
(14)
Proof.
It follows that
are the roots of the Equation (14).
Proposition 49. For case
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Then
is an integer sequence with the recurrence relation
Proof. We will prove case 4, 7, 10 and the other cases are similar.
Case 4: By Lemma 14,
.
Case 7: By Lemma 15,
.
Case 10: By Lemma 16,
.
Example 50. List of associated sequences:
1)
[Delham A108716]
2)
3)
4)
5)
6)
7)
8)
[Witula A215794]
9)
10)
15. Integer Sequences―T2
In this section, let
Proposition 51. With above notations,
are the roots of the integer equation
(15)
Proof.
It follows that
are the roots of the Equation (15).
Proposition 52. For case
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Then
is an integer sequence with the recurrence relation
Proof. The proof is similar to the proof of Proposition 49.
Example 53. List of associated sequences:
1)
[Wang A274032]
2)
3)
4)
5)
6)
7)
8)
9)
10)
16. Integer Sequences―T3
In this section, let
Proposition 54. With above notations,
are the roots of the integer equation
(16)
Proof.
It follows that
are the roots of the Equation (16).
Proposition 55. For case
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Then
is an integer sequence with the recurrence relation
Proof. The proof is similar to the proof of Proposition 49.
Example 56. List of associated sequences:
1)
[Wang A274075]
2)
[Librandi A271945]
3)
[Librandi A271944]
4)
5)
6)
7)
8)
9)
10)
17. Integer Sequences―T4
In this section, let
Proposition 57. With above notations,
are the roots of the integer equation
(17)
Proof.
It follows that
are the roots of the Equation (17).
Proposition 58. For case
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Then
is an integer sequence with the recurrence relation
Proof. The proof is similar to the proof of Proposition 49.
Example 59. List of associated sequence:
1)
[Wang A274592]
2)
3)
4)
5)
6)
7)
8)
9)
10)
18. Integer Sequences―T5
In this section, let
Proposition 60. With above notations,
are the roots of the integer equation
(18)
Proof.
It follows that
are the roots of the Equation (18).
Proposition 61. For case
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Then
is an integer sequence with the recurrence relation
Proof. The proof is similar to the proof of Proposition 49.
Example 62. List of associated sequences:
1)
[Wang A248417]
2)
3)
4)
5)
6)
7)
8)
9)
10)
19. Remarks
Remark 63. All the following equations are from [3] . There are other possible cubic integer equations. For example: (A) Sine functions:
1)
(19)
2)
(20)
3)
(21)
4)
(22)
5)
(23)
6)
(24)
7)
(25)
(B) Cosine functions:
1)
(26)
2)
(27)
3)
(28)
4)
(29)
5)
(30)
6)
(31)
7)
(32)
8)
(33)
9)
(34)
10)
(35)
(C) Tangent functions:
1)
(36)
2)
(37)
3)
(38)
4)
(39)
5)
(40)
6)
(41)
7)
(42)
Remark 64. There are other possible triads. For example:
1)
2)
3)
20. Conclusions
1) Compute all the sequences using the equations and triads in Section 19.
2) Find new methods for integer sequences.
List of Integer Sequences
List of integer sequences from OEIS [2] which are related to our works:
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.