Abstract
In this paper, we derive some identities on Pell, Pell-Lucas, and balancing numbers and the relationships between them. We also deduce some formulas on the sums, divisibility properties, perfect squares, Pythagorean triples involving these numbers. Moreover, we obtain the set of positive integer solutions of some specific Pell equations in terms of the integer sequences mentioned in the text.
Similar content being viewed by others
1 Introduction and preliminaries
Let p and q be two integers such that \(d=p^{2}-4q\neq 0\) (to exclude a degenerate case). We set two integer sequences \(U_{n}\) and \(V_{n}\) by
for \(n\geq 2\) with initial values \(U_{0}=0\), \(U_{1}=1\) and \(V_{0}=2\), \(V_{1}=p\). The characteristic equation of (1) is \(x^{2}-px+q=0\), and hence its roots are
Their Binet formulas are
for \(n\geq 0\).
Note that, in (1), \(U_{n}(1,-1)=F_{n}\), Fibonacci numbers (sequence A000045 in OEIS), \(V_{n}(1,-1)=L_{n}\), Lucas numbers (sequence A000032 in OEIS), \(U_{n}(2,-1) = P_{n}\), Pell numbers (sequence A000129 in OEIS), and \(V_{n}(2,-1)=Q_{n}\), Pell-Lucas numbers (sequence A002203 in OEIS) (for further details, see [1–6]).
Balancing numbers have been defined in [7] and [8]. A positive integer n is called a balancing number if the Diophantine equation
holds for some positive integer r, which is called a cobalancing number. From (4) we have \(\frac{(n-1)n}{2}=rn+\frac{r(r+1)}{2}\), and so
Let \(B_{n}\) denote the nth balancing number, and let \(b_{n}\) denote the nth cobalancing number. Then by (5) \(B_{n}\) is a balancing number if and only if \(8B_{n}^{2}+1\) is a perfect square, and \(b_{n}\) is a cobalancing number if and only if \(8b_{n}^{2}+8b_{n}+1\) is a perfect square. So \(C_{n}=\sqrt{8B_{n}^{2}+1}\) and \(c_{n}=\sqrt{8b_{n}^{2}+8b_{n}+1}\) are integers, called the nth Lucas-balancing and nth Lucas-cobalancing number, respectively. The Binet formulas for balancing numbers are \(B_{n}=\frac{\alpha ^{2n}-\beta ^{2n}}{4\sqrt{2}}\), \(b_{n}=\frac{\alpha ^{2n-1}-\beta ^{2n-1}}{4\sqrt{2}}-\frac{1}{2}\), \(C_{n}=\frac{\alpha ^{2n}+\beta ^{2n}}{2}\), and \(c_{n}=\frac{\alpha ^{2n-1}+\beta ^{2n-1}}{2}\), respectively, where \(\alpha =1+\sqrt{2}\) and \(\beta =1-\sqrt{2}\) (for further details, see [9–12]).
Later balancing numbers were generalized to the t-balancing numbers (see [13]) for an integer \(t\geq 2\). A positive integer n is called a t-balancing number if
for some positive integer r, which is called a t-cobalancing number. From (6) we observe that
Let \(B_{n}^{t}\) denote the nth t-balancing number, and let \(b_{n}^{t}\) denote the nth t-cobalancing number. Then from (7) we see that \(B_{n}^{t}\) is a t-balancing number if and only if \(8(B_{n}^{t})^{2}+8B_{n}^{t}(1+t)+(2t+1)^{2}\) is a perfect square and that \(b_{n}^{t}\) is a t-cobalancing number if and only if \(8(b_{n}^{t})^{2}+8tb_{n}^{t}+1\) is a perfect square. So
are integers, which are called the nth Lucas t-balancing and the nth Lucas t-cobalancing number (for further details, see [14]).
Santana and Diaz-Barrero [15], setting a sequence in Lemma 2 as
proved that it was a generalized Fibonacci sequence given by \(a_{n+1}=6a_{n} -a_{n-1}\) for \(n\geq 1\), with initial values \(a_{0}=1\) and \(a_{1}=7\). Since \(P_{n}=\frac{\alpha ^{n}-\beta ^{n}}{\alpha -\beta} \) for \(\alpha =1+\sqrt{2} \) and \(\beta =1-\sqrt{2}\), we get
for \(n\geq 0\). We can easily see that the sum of the first n nonzero terms of \(a_{n}\) is
It is proved in [15, Thm. 1] that the sum of the first \(4n+1\) nonzero terms of Pell numbers is
We conclude that the sum of the first \(4n+1\) nonzero terms of Pell numbers is
Moreover, Santana and Diaz-Barrero [15] proved that the sum of the first \(4n+1\) nonzero terms of Pell numbers is a perfect square:
Later, Tekcan and Tayat [16] proved that the sum of the first \(2n+1\) nonzero terms of Pell numbers is a perfect square if n is even or half of a perfect square if n is odd. They proved that the sum of the first \(2n+1\) nonzero terms of Pell numbers is
where \(\alpha =1+\sqrt{2}\) and \(\beta =1-\sqrt{2}\). Considering (12) and setting two integer sequences
for \(n\geq 0\), they proved that the sum of the first \(4n+1\) nonzero terms of Pell numbers is
for \(n\geq 1\).
In this paper, we give several results on the sequences \(a_{n}\), \(X_{n}\), \(Y_{n}\), \(B_{n}\), \(b_{n}\), \(Q_{n}\), including sums, divisibility properties, perfect squares, and integer solutions of some specific Pell equations.
2 Results and discussion
In this section, we derive our main results.
2.1 Sums and divisibility properties
In this subsection, we deal with the sums and divisibility properties of numbers mentioned. First, we reformulate (11) in terms of Pell and Pell-Lucas numbers as follows.
Theorem 1
The sum of the first n nonzero terms of \(a_{n}\) is
Proof
Since \(a_{1}+a_{2}+\cdots +a_{n}=\frac{5a_{n}-a_{n-1}-6}{4}\) by (11) and since \(a_{n}=P_{2n}+P_{2n+1}\) by (9), we deduce that
The second result can be proved similarly. □
Theorem 2
For the sequences \(a_{n}\), \(X_{n}\), \(Y_{n}\), \(B_{n}\), \(b_{n}\), \(Q_{n}\), and \(P_{n}\), we have:
-
(1)
\(X_{n}=P_{n+1}+P_{n}\) for \(n\geq 0\), and the sum of the first n nonzero terms of \(X_{n}\) is
$$\begin{aligned} \sum_{i=1}^{n}X_{i}=P_{n}+2P_{n+1}-2. \end{aligned}$$Moreover, \(Y_{n}=P_{n+2}-P_{n}\) for \(n\geq 0\), and the sum of the first n nonzero terms of \(Y_{n}\) is
$$\begin{aligned} \sum_{i=1}^{n}Y_{i}=P_{n}+3P_{n+1}-3. \end{aligned}$$ -
(2)
\(a_{n}=X_{2n}\) for \(n\geq 0\) or \(a_{n}=X_{2n-1}+Y_{2n-1}\) for \(n\geq 1\); \(Q_{n+1}=2X_{n}\) and \(Q_{n+2}-Q_{n+1}=2Y_{n}\) for \(n\geq 0\); \(a_{n}=\frac{Q_{2n+1}}{2}\) and \(B_{n}=\frac{P_{n}Q_{n}}{2}\) for \(n\geq 0\), and \(b_{n}=\frac{P_{n}Q_{n-1}+P_{n-1}Q_{n}-2}{4}\) for \(n\geq 1\).
Proof
(1) Let
for some \(T_{1}\) and \(T_{2}\). If we take \(n=0\) and \(n=1\), then we have the system of equations \(T_{1}+T_{2}=1\) and \(T_{1}\alpha +T_{2}\beta =3 \). This system of equations has the solution \(T_{1}=\frac{\alpha +1}{\alpha -\beta} \) and \(T_{2}=\frac{-\beta -1}{\alpha -\beta} \). So (14) becomes
as we wanted. Since \(X_{n}=P_{n}+P_{n+1}\) and \(P_{1}+P_{2}+\cdots +P_{n}=\frac{P_{n}+P_{n+1}-1}{2}\), we easily deduce that
Similarly, it can be shown that \(Y_{n}=P_{n+2}-P_{n}\) for \(n\geq 0\) and \(Y_{1}+Y_{2}+\cdots +Y_{n}=P_{n}+3P_{n+1}-3\).
(2) Since \(a_{n}=\frac{\alpha ^{2n+1}+\beta ^{2n+1}}{2}\) and \(X_{n}=\frac{\alpha ^{n+1}+\beta ^{n+1}}{2}\), we get
Similarly, since \(X_{n}=P_{n+1}+P_{n}\) and \(Y_{n}=P_{n+2}-P_{n}\), we get \(X_{n}+Y_{n}=P_{n+1}+P_{n+2}\), and hence
The remaining cases can be proved similarly. □
Theorem 3
Let \(P_{n}\) denote the nth Pell number.
-
(1)
If \(n\geq 2\) is even, then
$$\begin{aligned} 1+\sum_{i=1}^{2n-1}{P_{i}} =& \textstyle\begin{cases} (\frac{Q_{n}}{2})^{2}, \\ (2B_{\frac{n}{2}}+2b_{\frac{n}{2}}+1)^{2},\end{cases}\displaystyle \end{aligned}$$and if \(n\geq 1\) is odd, then
$$\begin{aligned} \sum_{i=1}^{2n-1}{P_{i}} =& \textstyle\begin{cases} (\frac{Q_{n}}{2})^{2}, \\ (b_{\frac{n+3}{2}}-B_{\frac{n+1}{2}}-B_{\frac{n-1}{2}}-b_{\frac{n-1}{2}})^{2}.\end{cases}\displaystyle \end{aligned}$$ -
(2)
If \(n\geq 2\) is even, then
$$\begin{aligned} \sum_{i=1}^{4n+1}{P_{i}}= \bigl(2P_{n+1}^{2}-2P_{n}^{2}-1 \bigr)^{2}, \end{aligned}$$and if \(n\geq 1\) is odd, then
$$\begin{aligned} \sum_{i=1}^{4n+1}{P_{i}}= \bigl(2P_{n+1}^{2}-2P_{n}^{2}+1 \bigr)^{2}. \end{aligned}$$
Proof
(1) Let n be even, say \(n=2k\) for some positive integer k. Since \(P_{1}+P_{2}+\cdots +P_{n}=\frac{P_{n}+P_{n+1}-1}{2}\), we easily get
The other cases can be proved similarly. □
Theorem 4
For the sequences mentioned, we have
Proof
Since \(\sum_{i=1}^{2n+1}{a_{i}}=\frac{ 29a_{2n}-5a_{2n-1} - 6}{ 4} \) by (11), we get
The other cases can be proved similarly. □
From Theorem 4 we have the following result.
Theorem 5
For the divisibility properties, we have
-
(1)
If n is even, then \(a_{\frac{n}{2}}\vert \sum_{i=1}^{2n+1}{P_{i}}\), \(P_{n}\vert \sum_{i=1}^{2n}{P_{i}}\), and \(P_{n+1}\vert \sum_{i=1}^{2n}{P_{i}} \), and if n is odd, then \(Y_{n}\vert \sum_{i=1}^{2n+1}{P_{i}} \), \(P_{n+1}\vert \sum_{i=1}^{2n+1}{P_{i}} \), \(a_{\frac{n-1}{2}}\vert \sum_{i=1}^{2n}{P_{i}} \), and \(X_{n}\vert \sum_{i=1}^{2n}{P_{i}} \).
-
(2)
For every \(n\geq 1\),
$$\begin{aligned}& a_{n}\Bigg\vert \sum_{i=0}^{2n}{a_{2i+1}}, \qquad P_{2n+1}\Bigg\vert \sum_{i=0}^{2n}{a_{2i+1}}, \qquad X_{4n+2}\Bigg\vert \sum_{i=0}^{2n}{a_{2i+1}}, \qquad a_{2n}\Bigg\vert \sum_{i=1}^{2n}{a_{2i-1}}, \\& a_{n}\Bigg\vert \sum_{i=1}^{2n+1}{a_{i}}, \qquad a_{n+1}\Bigg\vert \sum_{i=1}^{2n+1}{a_{i}}, \qquad a_{n}\Bigg\vert \sum_{i=1}^{2n+1}{B_{i}}, \qquad B_{n+1}\Bigg\vert \sum_{i=1}^{2n+1}{B_{i}}, \\& a_{n}\Bigg\vert \sum_{i=1}^{2n}{B_{i}}, \qquad B_{n+1}\Bigg\vert \sum_{i=1}^{2n}{a_{i}}, \qquad P_{2n}\Bigg\vert \sum_{i=1}^{2n}{a_{i}}, \qquad B_{n}\Bigg\vert \sum_{i=1}^{2n}{B_{i}}, \\& a_{2n+1}\Bigg\vert \sum_{i=1}^{2n}{a_{2i}}, \qquad b_{n+1}\Bigg\vert \sum_{i=1}^{2n}{Q_{i}}, \qquad a_{n}\Bigg\vert \sum_{i=0}^{2n}{X_{2i+1}}, \qquad P_{2n}\Bigg\vert \sum_{i=1}^{2n}{a_{2i-1}}, \\& X_{2n-1}\Bigg\vert \sum_{i=1}^{2n}{a_{2i-1}}, \qquad a_{n}\Bigg\vert \sum_{i=1}^{2n}{P_{2i}}, \qquad P_{2n}\Bigg\vert \sum_{i=1}^{2n}{P_{2i}}, \qquad B_{2n}\Bigg\vert \sum_{i=1}^{2n}{a_{2i}}, \\& P_{2n}\Bigg\vert \sum_{i=1}^{2n}{Q_{2i-1}}, \qquad a_{n}\Bigg\vert \sum_{i=0}^{2n}{Q_{2i+1}}, \qquad P_{2n+1}\Bigg\vert \sum_{i=1}^{2n}{X_{2i-1}}, \qquad P_{n}\Bigg\vert \sum_{i=1}^{2n}{B_{2i-1}}, \\& Y_{2n-1}\Bigg\vert \sum_{i=1}^{2n}{X_{2i-1}}, \qquad a_{n}\Bigg\vert \sum_{i=0}^{2n}{Y_{2i+1}}, \qquad P_{2n+2}\Bigg\vert \sum_{i=0}^{2n}{Y_{2i+1}}, \qquad a_{n}\Bigg\vert \sum_{i=1}^{2n}{Y_{2i-1}}, \\& P_{2n}\Bigg\vert \sum_{i=1}^{2n}{Y_{2i-1}}, \qquad P_{2n+1}\Bigg\vert \sum_{i=0}^{2n}{B_{2i+1}}, \qquad a_{n}\Bigg\vert \sum_{i=0}^{2n}{B_{2i+1}}, \qquad X_{n-1}\Bigg\vert \sum_{i=1}^{2n}{B_{2i-1}}, \\& P_{2n+1}\Bigg\vert \sum_{i=1}^{2n}{B_{2i}}, \qquad P_{2n+1}\Bigg\vert \sum_{i=1}^{2n}{Q_{2i}}, \qquad Y_{2n-1}\Bigg\vert \sum_{i=1}^{2n}{Q_{2i}}, \qquad P_{2n}\Bigg\vert \sum_{i=1}^{2n}{B_{2i}}, \\& X_{n}\Bigg\vert \sum_{i=1}^{2n}{X_{2i}}, \qquad P_{n+1}\Bigg\vert \sum_{i=1}^{2n}{X_{2i}}, \qquad B_{n}\Bigg\vert \sum_{i=1}^{2n}{X_{2i}}, \qquad X_{2n}\Bigg\vert \sum_{i=1}^{2n}{B_{2i}}. \end{aligned}$$
Finally, we give the following result.
Theorem 6
For the sequences \(a_{n}\), \(X_{n}\), \(Y_{n}\), \(B_{n}\), \(Q_{n}\), and \(P_{n}\), we have
2.2 Perfect squares
We see in (5) that \(B_{n}\) is a balancing number if and only if \(8B_{n}^{2}+1\) is a perfect square and that \(b_{n}\) is a cobalancing number if and only if \(8b_{n}^{2}+8b_{n}+1\) is a perfect square. Similarly, we can give the following result.
Theorem 7
For every \(n\geq 1\),
-
(1)
\(\frac{Q_{4n+2}-2}{4}\) is a perfect square and \(\sqrt{\frac{ Q_{4n+2}-2}{4}}=a_{n}\);
-
(2)
\(2P_{2n-1}^{2}-1\) is a perfect square, and \(\sqrt{2P_{2n-1}^{2}-1} =a_{n-1}\);
-
(3)
\(2P_{2n}^{2}+1\) is a perfect square, and \(\sqrt{2P_{2n}^{2}+1} =C_{n}\);
-
(4)
\(P_{2n+1}^{2}+P_{2n}P_{2n+2}\) is a perfect square, and \(\sqrt{ P_{2n+1}^{2}+P_{2n}P_{2n+2}}=X_{2n}\);
-
(5)
\(P_{2n}^{2}+P_{2n-1}^{2}+P_{4n}-1\) is a perfect square, and \(\sqrt{ P_{2n}^{2}+P_{2n-1}^{2}+P_{4n}-1}=Y_{2n-1}\).
Proof
(1) Applying the Binet formulas, we deduce that
as claimed. The other cases can be proved similarly. □
As in Theorem 7, we can give the following result.
Theorem 8
For the sequences \(a_{n}\), \(X_{n}\), \(B_{n}\), \(b_{n}\), \(Q_{n}\), and \(P_{n}\), we have
Proof
Since \(B_{n}=\frac{\alpha ^{2n}-\beta ^{2n}}{4\sqrt{2}}\), \(P_{n}=\frac{\alpha ^{n}-\beta ^{n}}{2\sqrt{2}}\), and \(a_{n}=\frac{\alpha ^{2n+1}+\beta^{2n+1}}{2}\), we get
The other cases can be proved similarly. □
2.3 Continued fraction expansion
Theorem 9
The continued fraction expansion of \(\frac{a_{n+1}}{a_{n}}\) is
for \(n\geq 1\) (here \((x)_{k}\) means that there are k successive terms ‘x’).
Proof
Let \(n=1\). Then
Let us assume that it is satisfied for \(n-1\), that is, \(\frac{a_{n}}{a_{n-1}} =[5;(1,4)_{n-2},1,6]\). Then we get
So it is true for all \(n\geq 1\) since \(a_{n+1}=6a_{n}-a_{n-1}\). □
2.4 Companion matrix
The companion matrix for Pell numbers is \(\big[ {\scriptsize\begin{matrix}{} 2 & 1 \cr 1 & 0\end{matrix}} \big] \). It is known that
So \(P_{n+1}P_{n-1}-P_{n}^{2}=(-1)^{n}\), which known as the Cassini identity, is an immediate consequence of the matrix formula [17]. If we take the nth power of the matrix in the left side of (15), then we can give the following theorem, which can be proved by induction on n.
Theorem 10
For the Pell numbers \(P_{n}\), we have
for \(n\geq 1\).
2.5 Pythagorean triples
It is known that the Pell numbers \(P_{n}\) have a close connection with square triangular numbers, that is,
Note that the left side of (16) describes a square number, whereas the right side describes a triangular number, so the result is a square triangular number (see [18]). Notice that if a right triangle has integer side lengths a, b, c (necessarily satisfying the Pythagorean theorem \(a^{2}+b^{2}=c^{2}\)), then \((a,b,c)\) is known as a Pythagorean triple. As Martin [19] described, Pell numbers can be used to form Pythagorean triples in which a and b are one unit apart, corresponding to right triangles that are nearly isosceles. For instance,
is a Pythagorean triple. Now we can give the following theorem related to Pythagorean triples.
Theorem 11
\(\sqrt{2}B_{2n},P_{2n-1}+P_{2n}\), and \(B_{2n}+b_{2n}+1\) form a Pythagorean triple, that is,
and \((P_{n}Q_{n}+2b_{n}+1)^{2}-8B_{n}^{2},\sqrt{2}P_{2n}\), and \(X_{2n-1}\) form a Pythagorean triple, that is,
Proof
Applying the Binet formulas, we deduce that
The other case can be proved similarly. □
2.6 The Pell equation
Let d be any positive nonsquare integer, and let N be any fixed integer. Then the equation
is known as a Pell-type equation; \(x^{2}-dy^{2}=N\) is the positive Pell-type equation, and \(x^{2}-dy^{2}=-N\) is the negative Pell-type equation. It is named after John Pell (1611-1685), a mathematician who searched for integer solutions to equations of this type in the seventeenth century. Ironically, Pell was not the first to work on this problem, nor did he contribute to our knowledge for solving it. Euler (1707-1783), who brought us the ψ-function, accidentally named the equation after Pell, and the name stuck.
For \(N=1\), the Pell equation \(x^{2}-dy^{2}=\pm 1\) is known as the classical Pell equation. The Pell equation \(x^{2}-dy^{2}=1\) was first studied by Brahmagupta (598-670) and Bhaskara (1114-1185). Its complete theory was worked out by Lagrange (1736-1813), not Pell. It is often said that Euler (1707-1783) mistakenly attributed Brouncker’s (1620-1684) work on this equation to Pell. However, the equation appears in a book by Rahn (1622-1676), which was certainly written with Pell’s help: some say that it is entirely written by Pell. Perhaps Euler knew what he was doing in naming the equation. In 1657, Fermat stated (without giving proof) that the positive Pell equation \(x^{2}-dy^{2}=1\) has an infinite number of solutions. If \((m,n) \) is a solution, that is, \(m^{2}-dn^{2}=1\), then \((m^{2}+dn^{2},2mn)\) is also a solution since
So the Pell equation \(x^{2}-dy^{2}=1\) has infinitely many integer solutions. Later, in 1766, Lagrange proved that the Pell equation \(x^{2}-dy^{2}=1\) has an infinite number of solutions if d is positive and nonsquare. The first nontrivial solution \((x_{1},y_{1})\neq (\pm 1,0)\) of this equation is called the fundamental solution from which all others are easily computed since \(x_{n}+y_{n}\sqrt{d}=(x_{1}+y_{1}\sqrt{d})^{n}\) for \(n\geq 1\) can be found using, for example, the cyclic method [20], known in India in the 12th century, or using the slightly less efficient but more regular English method [20] (17th century). There are other methods to compute this so-called fundamental solution, some of which are based on a continued fraction expansion of the square root of d given as follows. Let \(\sqrt{d}=[m_{0};\overline{m_{1},m_{2},\ldots ,m_{l}}]\) denote the continued fraction expansion of period length l. Set \(A_{-2}=0\), \(A_{-1}=1\), \(A_{k}=m_{k}A_{k-1}+A_{k-2}\) and \(B_{-2}=1\), \(B_{-1}=0\), \(B_{k}=m_{k}B_{k-1}+B_{k-2} \) for nonnegative integers k. Then \(C_{k}=\frac{A_{k}}{B_{k}}\) is the kth convergent of \(\sqrt{d}\), and the fundamental solution of \(x^{2}-dy^{2}=1\) is \((x_{1},y_{1})=(A_{l-1},B_{l-1})\) if l is even or \((A_{2l-1},B_{2l-1})\) if l is odd. Also, if l is odd, then the the fundamental solution of \(x^{2}-dy^{2}=-1\) is \((x_{1},y_{1})=(A_{l-1},B_{l-1})\) (for further details on Pell equations, see [21–23]).
It is known that there is a connection between integer sequences and Pell equations. For instance, Olajas [9] gave the integer solutions to \(x^{2}-5y^{2}=\pm 4\) as follows.
Theorem 12
([9, Thm. 2.17])
The only solutions of the equation \(x^{2}-5y^{2}=\pm 4\) are \(x=\pm L_{m}\) and \(y=\pm F_{m}\), where \(L_{m}\) and \(F_{m}\) are the mth terms of the Lucas and Fibonacci sequences, respectively.
For integers A and B such that \(A^{2}-4B\neq 0\) (to exclude a degenerate case), \(R=\{R_{i}\}_{i=0}^{\infty }=R(A,B,R_{0},R_{1})\) is a second-order linear recurrence if the recurrence relation for \(i\geq 2\)
holds for its terms and \(R_{0},R_{1}\) are fixed integers. For the Pell equation \(x^{2}-8y^{2}=1\), Liptai [24] proved the following:
Theorem 13
([24, Thm. 1])
The terms of the second-order linear recurrence \(R(6,-1,1,6)\) are the solutions of the equation \(z^{2}-8y^{2}=1\) for some integer z.
Now we can return to our main problem. We consider the integer solutions of the Pell equations
Theorem 14
-
(1)
For the positive Pell equation \(x^{2}-8y^{2}=1\), we have:
-
(a)
The integer solutions are \((x_{n},y_{n})=(\frac{Q_{2n}}{2},\frac{P_{2n} }{2})\) for \(n\geq 1\).
-
(b)
The integer solutions satisfy the recurrence relation
$$\begin{aligned} x_{n}=\frac{5(Q_{2n-2}+Q_{2n-4})-Q_{2n-6}}{2}\quad \textit{and}\quad y_{n}= \frac{ 5(P_{2n-2}+P_{2n-4})-P_{2n-6}}{2} \end{aligned}$$
for \(n\geq 3\).
-
(a)
-
(2)
The negative Pell equation \(x^{2}-8y^{2}=-1\) has no integer solutions.
-
(3)
For the positive Pell equation \(x^{2}-2y^{2}=4\), we have:
-
(a)
The integer solutions are \((x_{n},y_{n})=(Q_{2n},Y_{2n-1})\) for \(n\geq 1\).
-
(b)
The integer solutions \((x_{n},y_{n})\) satisfy the recurrence relation
$$\begin{aligned} x_{n}=5(Q_{2n-2}+Q_{2n-4})-Q_{2n-6}\quad \textit{and}\quad y_{n}=5(Y_{2n-3}+Y_{2n-5})-Y_{2n-7} \end{aligned}$$
for \(n\geq 4\).
-
(a)
-
(4)
For the negative Pell equation \(x^{2}-2y^{2}=-4\), we have:
-
(a)
The integer solutions are \((x_{n},y_{n})=(Q_{2n-1},Y_{2n-2})\) for \(n\geq 1\).
-
(b)
The integer solutions \((x_{n},y_{n})\) satisfy the recurrence relation
$$\begin{aligned} x_{n}=5(Q_{2n-3}+Q_{2n-5})-Q_{2n-7}\quad \textit{and}\quad y_{n}=5(Y_{2n-4}+Y_{2n-6})-Y_{2n-8} \end{aligned}$$
for \(n\geq 4\).
-
(a)
-
(5)
For the positive Pell equation \(x^{2}-8y^{2}=4\), we have:
-
(a)
The integer solutions are \((x_{n},y_{n})=(Q_{2n},P_{2n})\) for \(n\geq 1\) .
-
(b)
The integer solutions \((x_{n},y_{n})\) satisfy the recurrence relation
$$\begin{aligned} x_{n}=5(Q_{2n-2}+Q_{2n-4})-Q_{2n-6}\quad \textit{and}\quad y_{n}=5(P_{2n-2}+P_{2n-4})-P_{2n-6} \end{aligned}$$
for \(n\geq 3\).
-
(a)
-
(6)
For the negative Pell equation \(x^{2}-8y^{2}=-4\), we have:
-
(a)
The integer solutions are \((x_{n},y_{n})=(Q_{2n-1},P_{2n-1})\) for \(n\geq 1\).
-
(b)
The integer solutions \((x_{n},y_{n})\) satisfy the recurrence relation
$$\begin{aligned} x_{n}=5(Q_{2n-3}+Q_{2n-5})-Q_{2n-7}\quad \textit{and}\quad y_{n}=5(P_{2n-3}+P_{2n-5})-P_{2n-7} \end{aligned}$$
for \(n\geq 4\).
-
(a)
Proof
(1a) Notice that \(Q_{n}=\alpha ^{n}+\beta ^{n}\) and \(P_{n}=\frac{\alpha ^{n}-\beta ^{n}}{2\sqrt{2}}\). So
since \(\alpha \beta =-1\).
(1b)
Similarly, it can be shown that \(y_{n}=\frac{5(P_{2n-2}+P_{2n-4})-P_{2n-6}}{2} \).
(2) The negative Pell equation \(x^{2}-8y^{2}=-1\) has no integer solutions since \(\sqrt{8}=[2;\overline{1,4}]\), that is, the length of 2, which is even.
(3a) Notice that \(Q_{n}=\alpha ^{n}+\beta ^{n}\) and \(Y_{n}=\frac{\alpha ^{n+1}-\beta ^{n+1}}{\sqrt{2}}\). So
(3b) Similarly, we get
The other cases can be proved similarly. □
It is known that there are a number of applications of Pell and Fibonacci sequences on the theory of numbers. For instance, Sellers proved in [25, Thm. 2.1] that the number of domino tilings of the graph \(W_{4}\times P_{n-1}\) equals the product of the nth Fibonacci and Pell numbers for all \(n\geq 2\). Also, there has been a connection between Diophantine quadruples and Fibonacci numbers. Recall that a set of m positive integers \(\{a_{1},a_{2},\dots,a_{m}\}\) is called a Diophantine m-tuble if \(a_{i}a_{j}+1 \) is a perfect square for all \(1\leq i< j\leq m\) and is called a \(D(n)\)-m-tuble (or a Diophantine m-tuble with the property \(D(n)\)) if \(a_{i}a_{j}+n\) is a perfect square for all \(1\leq i< j\leq m\).
Cassini’s identity for Fibonacci number is \(F_{n}F_{n+2}+(-1)^{n}=F_{n+1}^{2} \) and is the basis for the construction of so-called Hoggatt-Bergum’s quadruple. Hoggatt and Bergum [26] proved that, for any positive integer k, the set
is a Diophantine quadruple. Later Morgado [27] and Horadam [28] generalized this result. The identity
is known as the Morgado identity.
Using Fibonacci numbers, Dujella [29] defined the elliptic curve (see [30])
and determined the integer points on it by terms of Fibonacci numbers when the rank of \(E_{k}(\mathbb{Q})\) is 1.
It is known that there are several identities on Fibonacci and Lucas numbers. Some of them can be given as \(4F_{k-1}F_{k+1}+F_{k}^{2}=L_{k}^{2}\) and \(4F_{k-1}F_{k}^{2}F_{k+1}+1=(F_{k}^{2}+F_{k-1}F_{k+1})^{2}\). Using these, Dujella [31] obtained some quantities on \(D(F_{k}^{2})\)-quadruples
As in (19), the set
is a \(D(L_{k}^{2})\)-quadruple.
Dujella and Ramasamy [32] considered the Fibonacci numbers and \(D(4)\)-quadruple. They proved that the set
is a \(D(4)\)-quadruple. Also, they considered integer solutions of the Pell equations by using a \(D(4)\)-quadruple.
In the future work, we are planing to study \(D(n)\)-quadruples for the sequences mentioned for some n.
3 Conclusion
In this work, we deduced some new results on Pell, Pell-Lucas, and balancing numbers including sums, divisibility properties, perfect squares, and integer solutions of some specific Pell equations.
References
Conway, JH, Guy, RK: Fibonacci Numbers, in the Book of Numbers. Springer, New York (1996)
Hilton, P, Holton, D, Pedersen, J: Fibonacci and Lucas numbers. In: Mathematical Reflections in a Room with Many Mirrors. Springer, New York (1997). Ch. 3
Koshy, T: Fibonacci and Lucas Numbers with Applications. Wiley, New York (2001)
Niven, I, Zuckerman, HS, Montgomery, HL: An Introduction to the Theory of Numbers, 5th edn. Wiley, New York (1991)
Ogilvy, CS, Anderson, JT: Fibonacci numbers. In: Excursions in Number Theory. Dover, New York (1988). Ch. 11
Ribenboim, P: My Numbers, My Friends, Popular Lectures on Number Theory. Springer, New York (2000)
Behera, A, Panda, GK: On the square roots of triangular numbers. Fibonacci Q. 37(2), 98-105 (1999)
Finkelstein, R: The house problem. Am. Math. Mon. 72, 1082-1088 (1965)
Olajos, P: Properties of balancing, cobalancing and generalized balancing numbers. Ann. Math. Inform. 37, 125-138 (2010)
Panda, GK: Some fascinating properties of balancing numbers. Congr. Numer. 194, 185-189 (2009)
Panda, GK, Ray, PK: Some links of balancing and cobalancing numbers with Pell and associated Pell numbers. Bull. Inst. Math. Acad. Sin. 6(1), 41-72 (2011)
Panda, GK, Ray, PK: Cobalancing numbers and cobalancers. Int. J. Math. Sci. 8, 1189-1200 (2005)
Dash, KK, Ota, RS, Dash, S: t-Balancing numbers. Int. J. Contemp. Math. Sci. 7(41), 1999-2012 (2012)
Tekcan, A, Tayat, M, Özbek, ME: The Diophantine equation \(8x^{2}-y^{2}+8x(1+t)+(2t+1)^{2}=0\) and t-balancing numbers. ISRN Combinatorics 2014, Article ID 897834 (2014)
Santana, SF, Diaz-Barrero, JL: Some properties of sums involving Pell numbers. Mo. J. Math. Sci. 18(1), 33-40 (2006)
Tekcan, A, Tayat, M: Generalized Pell numbers, balancing numbers and binary quadratic forms. Creative Math. Inform. 23(1), 115-122 (2014)
Ercolano, J: Matrix generators of Pell sequences. Fibonacci Q. 17(1), 71-77 (1979)
Özkoç, A, Tekcan, A, Karadeniz-Gözeri, G: Triangular and square triangular numbers involving generalized Pell numbers. Util. Math. 102, 231-254 (2017)
Martin, A: Rational right angled triangles nearly isosceles. Analyst 3(2), 47-50 (1875)
Edward, HM: Fermat’s Last Theorem: A Genetic Introduction to Algebraic Number Theory. Graduate Texts in Mathematics, vol. 50. Springer, Berlin (1977)
Barbeau, EJ: Pell’s Equation. Springer, New York (2003)
Jacobson, M, Williams, H: Solving the Pell Equation. CMS Books in Mathematics. Springer, Berlin (2010)
Mollin, RA: Fundamental Number Theory with Applications, 2nd edn. Discrete Mathematics and Its Applications. Chapman & Hall/CRC, Boca Raton (2008)
Liptai, K: Fibonacci balancing numbers. Fibonacci Q. 42(4), 330-340 (2004)
Sellers, JA: Domino tilings and product of Fibonacci and Pell numbers. J. Integer Seq. 5, Article ID 02.1.2 (2002)
Hoggatt, VE, Bergum, GE: A problem of Fermat and the Fibonacci sequence. Fibonacci Q. 15, 323-330 (1977)
Morgado, J: Generalization of a result of Hoggatt and Bergum of Fibonacci numbers. Port. Math. 42(4), 441-445 (1983-1984)
Horadam, AF: Generalization of a result of Morgado. Port. Math. 44, 131-136 (1987)
Dujella, A: Diophantine quadruples and Fibonacci numbers. Bull. Kerala Math. Assoc. 1, 133-147 (2004)
Washington, LC: Elliptic Curves, Number Theory and Cryptography. Chapman & Hall/CRC, Boca London (2003)
Dujella, A: Diophantine quadruples for squares of Fibonacci and Lucas numbers. Port. Math. 52, 305-318 (1995)
Dujella, A, Ramasamy, AMS: Fibonacci numbers and the sets with property \(D(4)\). Bull. Belg. Math. Soc. Simon Stevin 12, 401-412 (2005)
Acknowledgements
This work was supported by the Scientific Research Projects Coordination Unit of Istanbul University (No. BEK-2017-25878).
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that she has no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Karadeniz Gözeri, G. On Pell, Pell-Lucas, and balancing numbers. J Inequal Appl 2018, 3 (2018). https://doi.org/10.1186/s13660-017-1599-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1599-1