Theory and Modern Applications

# Some identities deriving from the nth power of a special matrix

## Abstract

In this paper, we consider the Horadam sequence and some summation formulas involving the terms of the Horadam sequence. We derive combinatorial identities by using the trace, the determinant and the n th power of a special matrix.

## 1 Introduction and preliminaries

The generalized Fibonacci sequence ${W}_{n}={W}_{n}\left(a,b;p,q\right)$ is defined as follows:

${W}_{n}=p{W}_{nâˆ’1}âˆ’q{W}_{nâˆ’2},\phantom{\rule{2em}{0ex}}{W}_{0}=a,\phantom{\rule{2em}{0ex}}{W}_{1}=b,$
(1)

where a, b, p and q are arbitrary complex numbers with . Since these numbers were first studied by Horadam (see, e.g., [1]), they are called Horadam numbers. Some special cases of this sequence such as

${U}_{n}={W}_{n}\left(0,1;p,q\right),\phantom{\rule{2em}{0ex}}{V}_{n}={W}_{n}\left(2,p;p,q\right)$
(2)

were investigated by Lucas [2]. Further and detailed knowledge can be found in [1â€“4] and [5]. If Î±, Î², assumed to be distinct, are the roots of

${\mathrm{Î»}}^{2}âˆ’p\mathrm{Î»}+q=0,$
(3)

then the sequence ${W}_{n}$ has the Binet representation

${W}_{n}=\frac{A{\mathrm{Î±}}^{n}âˆ’B{\mathrm{Î²}}^{n}}{\mathrm{Î±}âˆ’\mathrm{Î²}},$
(4)

where $A=bâˆ’a\mathrm{Î²}$ and $B=bâˆ’a\mathrm{Î±}$. For negative indices, the definition is

${W}_{âˆ’n}=\frac{p{W}_{âˆ’n+1}âˆ’{W}_{âˆ’n+2}}{q}.$

So, for all integers n, we can write

${W}_{n}=p{W}_{nâˆ’1}âˆ’q{W}_{nâˆ’2};\phantom{\rule{2em}{0ex}}{W}_{0}=a,\phantom{\rule{2em}{0ex}}{W}_{1}=b.$
(5)

In [6], the authors used the matrix in relation to the recurrence relation (1)

$M=\left(\begin{array}{cc}p& âˆ’q\\ 1& 0\end{array}\right).$
(6)

Indeed, if $p=1$ and $q=âˆ’1$, then the matrix M reduces to the Fibonacci Q-matrix. The matrix M is a special case of the general $kÃ—k$, Q-matrix [7]. Now, we use a new matrix A and its powers to prove and drive some combinatorial identities involving terms from the sequence $\left\{{W}_{n}\right\}$. Such identities are quite extensive in the literature, but we use only the trace and the determinant of the matrix A for this purpose. In [8], Laughlin gave a new formula for the n th power of a $2Ã—2$ matrix. The author proved that if $B=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ is an arbitrary $2Ã—2$ matrix, then for $nâ‰¥1$, ${B}^{n}$ is

${B}^{n}=\left(\begin{array}{cc}{y}_{n}âˆ’d{y}_{nâˆ’1}& b{y}_{nâˆ’1}\\ c{y}_{nâˆ’1}& {y}_{n}âˆ’a{y}_{nâˆ’1}\end{array}\right);\phantom{\rule{1em}{0ex}}{y}_{n}=\underset{i=0}{\overset{âŒŠ\frac{n}{2}âŒ‹}{âˆ‘}}\left(\begin{array}{c}nâˆ’i\\ i\end{array}\right){T}^{nâˆ’2i}{\left(âˆ’D\right)}^{i},$
(7)

where T and D are the trace and the determinant of the matrix B, respectively. In [9], Williams gave a formula for the n th power of any $2Ã—2$ matrix C with eigenvalues Î± and Î² as follows:

(8)

In [10], Belbachir extended this result to any matrix A of order m, $mâ‰¥2$. He also derived some identities concerning the Stirling numbers. In [11], some new properties of Lucas numbers with binomial coefficients are given. In the recent years, in [12], the authors defined the following $2Ã—2$ Lucas ${Q}_{L}$ matrix:

${Q}_{L}=\left(\begin{array}{cc}3& 1\\ 1& 2\end{array}\right)$

and obtained relations between the Fibonacci Q-matrix and the Lucas ${Q}_{L}$ matrix.

In this study, we define the matrix A by

$A=\left(\begin{array}{cc}{p}^{2}âˆ’2q& p\\ âˆ’qp& âˆ’2q\end{array}\right).$

Then, we derive a formula giving the n th power of this $2Ã—2$ matrix so that its entries involve the generalized Fibonacci and Lucas numbers. We give some identities using this matrix.

## 2 Some combinatorial identities involving the terms of Horadam sequence

In this section, we derive various combinatorial identities using the equations in (7) and the matrix A. By means of the n th power of the matrix A, we obtain the Cassini-like formula for the generalized Fibonacci and Lucas numbers and give a few different identities.

Theorem 2.1 For $nâ‰¥0$, we have the following identity:

${A}^{n}=\left\{\begin{array}{ll}{\left({p}^{2}âˆ’4q\right)}^{\frac{nâˆ’1}{2}}\left(\begin{array}{cc}{V}_{n+1}& {V}_{n}\\ âˆ’q{V}_{n}& âˆ’q{V}_{nâˆ’1}\end{array}\right),& n\phantom{\rule{0.1em}{0ex}}\mathit{\text{odd}},\\ {\left({p}^{2}âˆ’4q\right)}^{\frac{n}{2}}\left(\begin{array}{cc}{U}_{n+1}& {U}_{n}\\ âˆ’q{U}_{n}& âˆ’q{U}_{nâˆ’1}\end{array}\right),& n\phantom{\rule{0.1em}{0ex}}\mathit{\text{even}}.\end{array}$
(9)

Proof The proof is by induction. For $n=1$ and $n=2$, equation (9) is seen to be true. Assume that the theorem is true for $n=k$. That is,

We consider the claim for $n=k+1$. Firstly, assume that k is odd. Then

$\begin{array}{r}{A}^{k+1}={A}^{k}A={\left({p}^{2}âˆ’4q\right)}^{\frac{kâˆ’1}{2}}\left(\begin{array}{cc}{V}_{k+1}& {V}_{k}\\ âˆ’q{V}_{k}& âˆ’q{V}_{kâˆ’1}\end{array}\right)\left(\begin{array}{cc}{p}^{2}âˆ’2q& p\\ âˆ’qp& âˆ’2q\end{array}\right),\\ {A}^{k+1}={\left({p}^{2}âˆ’4q\right)}^{\frac{kâˆ’1}{2}}\left(\begin{array}{cc}{p}^{2}{V}_{k+1}âˆ’2q{V}_{k+1}âˆ’qp{V}_{k}& p{V}_{k+1}âˆ’2q{V}_{k}\\ âˆ’q{p}^{2}{V}_{k}+2{q}^{2}{V}_{k}+p{q}^{2}{V}_{kâˆ’1}& âˆ’pq{V}_{k}+2{q}^{2}{V}_{kâˆ’1}\end{array}\right).\end{array}$
(10)

If we examine all the elements of the matrix in (10) and use the identity ${V}_{n+1}âˆ’q{V}_{nâˆ’1}=\mathrm{Î”}{U}_{n}$ in [6], then the $\left(1,1\right)$ element of this matrix is as follows:

${p}^{2}{V}_{k+1}âˆ’2q{V}_{k+1}âˆ’qp{V}_{k}=p{V}_{k+2}âˆ’q{V}_{k+1}âˆ’q{V}_{k+1}={V}_{k+3}âˆ’q{V}_{k+1}.$

So, we can write ${p}^{2}{V}_{k+1}âˆ’2q{V}_{k+1}âˆ’qp{V}_{k}=\mathrm{Î”}{U}_{k+2}$, where $\mathrm{Î”}={p}^{2}âˆ’4q$. The $\left(2,1\right)$ element of the matrix in (10) is

$\begin{array}{rl}âˆ’q{p}^{2}{V}_{k}+2{q}^{2}{V}_{k}+p{q}^{2}{V}_{kâˆ’1}& =âˆ’qp\left(p{V}_{k}âˆ’q{V}_{kâˆ’1}\right)+2{q}^{2}{V}_{k}\\ =âˆ’qp{V}_{k+1}+{q}^{2}{V}_{k}+{q}^{2}{V}_{k}=âˆ’q\left(p{V}_{k+1}âˆ’q{V}_{k}\right)+{q}^{2}{V}_{k}.\end{array}$

Hence, we can write $âˆ’q{p}^{2}{V}_{k}+2{q}^{2}{V}_{k}+p{q}^{2}{V}_{kâˆ’1}=âˆ’q\left({V}_{k+2}âˆ’q{V}_{k}\right)=âˆ’q\mathrm{Î”}{U}_{k+1}$. Similarly, the equations provided by the elements $\left(2,2\right)$ and $\left(1,2\right)$ of this matrix can be easily written. When k is even, the proof can be easily seen. Thus, the proof is completed.â€ƒâ–¡

It is noted that Theorem 2.1 generalizes the work in the reference [12]. If we write 1 and âˆ’1 instead of p and q in the matrix A, then the matrix A reduces to the Lucas matrix ${Q}_{L}$ in [12]. Therefore, we can give the following corollary.

Corollary 1 For $nâ‰¥0$, we have the following identity:

${A}^{n}=\left\{\begin{array}{ll}{5}^{\frac{nâˆ’1}{2}}\left(\begin{array}{cc}{L}_{n+1}& {L}_{n}\\ {L}_{n}& {L}_{nâˆ’1}\end{array}\right),& n\phantom{\rule{0.1em}{0ex}}\mathit{\text{odd}},\\ {5}^{\frac{n}{2}}\left(\begin{array}{cc}{F}_{n+1}& {F}_{n}\\ {F}_{n}& {F}_{nâˆ’1}\end{array}\right),& n\phantom{\rule{0.1em}{0ex}}\mathit{\text{even}}.\end{array}$
(11)

Proof If we write $p=1$, $q=âˆ’1$ in Theorem 2.1, then we get $A=\left(\begin{array}{cc}3& 1\\ 1& 2\end{array}\right)$. Thus, the result follows. Also, if we take $p=2$, $q=âˆ’1$ in Theorem 2.1, then we get $A=\left(\begin{array}{cc}6& 2\\ 2& 2\end{array}\right)$, and

(12)

where ${P}_{n}$ and ${Q}_{n}$ are the Pell and Pell-Lucas numbers, respectively. Therefore, we obtain some identities related to the Pell and Pell-Lucas numbers. Similarly, we can get some identities related to Jacobsthal and Jacobsthal-Lucas numbers.â€ƒâ–¡

By the aid of the n th power of the matrix A, we can give the relationship between the matrix A and the matrix R as in the following corollary.

Corollary 2 For $A=\left(\begin{array}{cc}3& 1\\ 1& 2\end{array}\right)$ and $R=\left(\begin{array}{cc}1& 2\\ 2& âˆ’1\end{array}\right)$, we have

${R}^{n+1}{A}^{n}={5}^{n}\left(\begin{array}{cc}{L}_{n+1}& {L}_{n}\\ {L}_{n}& {L}_{nâˆ’1}\end{array}\right).$

Proof Since $RA=AR=5Q$, we write ${\left(RA\right)}^{n}={\left(5Q\right)}^{n}$, where $Q=\left(\begin{array}{cc}1& 1\\ 1& 0\end{array}\right)$. Also, we can get ${R}^{n+1}{A}^{n}={5}^{n}R{Q}^{n}$. Then we have

$R{Q}^{n}=\left(\begin{array}{cc}{L}_{n+1}& {L}_{n}\\ {L}_{n}& {L}_{nâˆ’1}\end{array}\right)$
(13)

and

${R}^{n+1}{A}^{n}={5}^{n}\left(\begin{array}{cc}{L}_{n+1}& {L}_{n}\\ {L}_{n}& {L}_{nâˆ’1}\end{array}\right).$
(14)

It is noted that equation (13) can be found in [13]. Furthermore, we get

â€ƒâ–¡

Hence, we can write the following identities by the aid of Corollary 1, which can be found in [13]. If m and n are even numbers, then

$\begin{array}{c}{F}_{m+n+1}={F}_{m+1}{F}_{n+1}+{F}_{m}{F}_{n},\hfill \\ {F}_{m+n}={F}_{m+1}{F}_{n}+{F}_{m}{F}_{nâˆ’1}.\hfill \end{array}$

If m and n are odd numbers, then

$\begin{array}{c}{F}_{m+n+1}=\frac{1}{5}\left({L}_{m+1}{L}_{n+1}+{L}_{m}{L}_{n}\right),\hfill \\ {F}_{m+n}=\frac{1}{5}\left({L}_{m+1}{L}_{n}+{L}_{m}{L}_{nâˆ’1}\right).\hfill \end{array}$

Note that these identities are given by using the matrix Q in [13].

Lemma 1 For $n,kâ‰¥0$, we have the following identity:

$\mathrm{I}=\underset{k=0}{\overset{n}{âˆ‘}}\left(\begin{array}{c}n\\ k\end{array}\right){5}^{kâˆ’n}{A}^{nâˆ’2k}.$

Proof Since

$A=\left(\begin{array}{cc}{p}^{2}âˆ’2q& p\\ âˆ’qp& âˆ’2q\end{array}\right),\phantom{\rule{2em}{0ex}}\mathrm{Î”}={p}^{2}âˆ’4q,$

we can write $A=\mathrm{Î”}\left(\mathrm{I}+q{A}^{âˆ’1}\right)$. When $p=1$, $q=âˆ’1$, if the necessary arrangements are made, then the proof is completed.â€ƒâ–¡

Now, using Theorem 2.1, we can also give the following corollary without proof.

Corollary 3 (Cassini-like formula)

For the sequences ${U}_{n}$ and ${V}_{n}$ in equation (2), we have

Theorem 2.2 For odd and even numbers $nâ‰¥0$, we have the following identity:

${V}_{n}={\mathrm{Î”}}^{\frac{nâˆ’1}{2}}\underset{k=1}{\overset{n}{âˆ‘}}\left(\begin{array}{c}n\\ k\end{array}\right){q}^{kâˆ’1}p{y}_{kâˆ’1}$

and

${U}_{n}={\mathrm{Î”}}^{\frac{nâˆ’2}{2}}\underset{k=1}{\overset{n}{âˆ‘}}\left(\begin{array}{c}n\\ k\end{array}\right){q}^{kâˆ’1}p{y}_{kâˆ’1},$

respectively, where ${y}_{k}$ is as in equation (7).

Proof If we use the binomial expression for the equation $A=\mathrm{Î”}\left(\mathrm{I}+q{A}^{âˆ’1}\right)$, then we can write ${A}^{n}={\mathrm{Î”}}^{n}{âˆ‘}_{k=0}^{n}\left(\begin{array}{c}n\\ k\end{array}\right){\left(q\right)}^{k}{A}^{âˆ’k}$. By using the equations in (7), we can get ${A}^{âˆ’1}=\frac{1}{âˆ’q\mathrm{Î”}}\left(\begin{array}{cc}âˆ’2q& âˆ’p\\ qp& {p}^{2}âˆ’2q\end{array}\right)$ and

$\begin{array}{r}{\left({A}^{âˆ’1}\right)}^{k}=\left(\begin{array}{cc}{y}_{k}âˆ’\left(\frac{{p}^{2}âˆ’2q}{âˆ’q\mathrm{Î”}}\right){y}_{kâˆ’1}& \frac{p}{q\mathrm{Î”}}{y}_{kâˆ’1}\\ \frac{âˆ’p}{\mathrm{Î”}}{y}_{kâˆ’1}& {y}_{k}+\frac{2}{\mathrm{Î”}}{y}_{kâˆ’1}\end{array}\right),\\ \phantom{\rule{1em}{0ex}}{y}_{k}=\underset{i=0}{\overset{âŒŠ\frac{k}{2}âŒ‹}{âˆ‘}}\left(\begin{array}{c}kâˆ’i\\ i\end{array}\right){T}^{kâˆ’2i}{\left(âˆ’D\right)}^{i}.\end{array}$

Here, T and D are the trace and the determinant of the matrix ${A}^{âˆ’1}$, respectively. If we write ${A}^{âˆ’k}$ in the equation ${A}^{n}={\mathrm{Î”}}^{n}{âˆ‘}_{k=0}^{n}\left(\begin{array}{c}n\\ k\end{array}\right){\left(q\right)}^{k}{A}^{âˆ’k}$ , then we get

${A}^{n}={\mathrm{Î”}}^{n}\underset{k=0}{\overset{n}{âˆ‘}}\left(\begin{array}{c}n\\ k\end{array}\right){\left(q\right)}^{k}\left(\begin{array}{cc}{y}_{k}âˆ’\left(\frac{{p}^{2}âˆ’2q}{âˆ’q\mathrm{Î”}}\right){y}_{kâˆ’1}& \frac{p}{q\mathrm{Î”}}{y}_{kâˆ’1}\\ \frac{âˆ’p}{\mathrm{Î”}}{y}_{kâˆ’1}& {y}_{k}+\frac{2}{\mathrm{Î”}}{y}_{kâˆ’1}\end{array}\right).$
(15)

In the case of the odd n of Theorem 2.1, if we equate the $\left(1,2\right)$ entries at (9) and (15), then we obtain

${\left({p}^{2}âˆ’4q\right)}^{\frac{nâˆ’1}{2}}{V}_{n}={\mathrm{Î”}}^{n}\underset{k=1}{\overset{n}{âˆ‘}}\left(\begin{array}{c}n\\ k\end{array}\right){\left(q\right)}^{k}\frac{p}{q\mathrm{Î”}}{y}_{kâˆ’1}={\mathrm{Î”}}^{nâˆ’1}\underset{k=1}{\overset{n}{âˆ‘}}\left(\begin{array}{c}n\\ k\end{array}\right){q}^{kâˆ’1}p{y}_{kâˆ’1}.$

Since $\mathrm{Î”}={p}^{2}âˆ’4q$, we get ${V}_{n}={\mathrm{Î”}}^{\frac{nâˆ’1}{2}}{âˆ‘}_{k=1}^{n}\left(\begin{array}{c}n\\ k\end{array}\right){q}^{kâˆ’1}p{y}_{kâˆ’1}$. Similarly, in the case of the even n of Theorem 2.1, if we equate the $\left(1,2\right)$ entries at (9) and (15), then we obtain the desired result, i.e.,

${U}_{n}={\mathrm{Î”}}^{\frac{nâˆ’2}{2}}p\underset{k=1}{\overset{n}{âˆ‘}}\left(\begin{array}{c}n\\ k\end{array}\right){q}^{kâˆ’1}{y}_{kâˆ’1}.$

â€ƒâ–¡

## References

1. Horadam AF: Basic properties of a certain generalized sequence of numbers. Fibonacci Q. 1965, 3(2):161â€“176.

2. Lucas E: Theorie des fonctions numeriques simplement periodiques. Am. J. Math. 1878, 1(2):184â€“196. 10.2307/2369308

3. Horadam AF:Tschebyscheff and other functions associated with the sequence ${W}_{n}\left(a,b;p,q\right)$. Fibonacci Q. 1969, 7(1):14â€“22.

4. Kilic E, Tan E: On binomial sums for the general second order linear recurrence. Integers 2010, 10: 801â€“806.

5. El Naschie MS: Notes on super string and the infinite sums of Fibonacci and Lucas numbers. Chaos Solitons Fractals 1999, 10(8):1303â€“1307. 10.1016/S0960-0779(98)00167-2

6. Melham RS, Shannon AG: Some summation identities using generalized Q -matrices. Fibonacci Q. 1995, 33(1):64â€“73.

7. Waddill ME, Sacks L: Another generalized Fibonacci sequence. Fibonacci Q. 1967, 5(3):209â€“222.

8. McLaughlin J: Combinatorial identities deriving from the n th power of a $2Ã—2$ matrix. Integers 2004, 4: 1â€“15.

9. Williams KS: The n th power of a $2Ã—2$ matrix (in notes). Math. Mag. 1992, 65(5):336. 10.2307/2691246

10. Belbachir H: Linear recurrent sequences and powers of a square matrix. Integers 2006, 6: 1â€“17.

11. Taskara N, Uslu K, Gulec HH: On the properties of Lucas numbers with the binomial coefficients. Appl. Math. Lett. 2010, 23: 68â€“72. 10.1016/j.aml.2009.08.007

12. Koken F, Bozkurt D: On Lucas numbers by the matrix method. Hacet. J. Math. Stat. 2010, 39(4):471â€“475.

13. Koshy T: Fibonacci and Lucas Numbers with Applications. Wiley-Interscience, New York; 2001.

## Acknowledgements

The authors are very grateful to an anonymous referee for helpful comments and suggestions to improve the presentation of this paper.

## Author information

Authors

### Corresponding author

Correspondence to Zeynep Akyuz.

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

All authors contributed equally to the manuscript and typed, read and approved the final manuscript.

## Rights and permissions

Reprints and permissions

Akyuz, Z., Halici, S. Some identities deriving from the nth power of a special matrix. Adv Differ Equ 2012, 223 (2012). https://doi.org/10.1186/1687-1847-2012-223