M.J. Kronenburg
Abstract:Two new generalized Fibonacci number summation identities are stated and proved, and two other new generalized Fibonacci number summation identities are derived from these, of which two special cases are already known in literature.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to derive and prove four new generalized Fibonacci sequence summation identities. Specifically, the author proposes two new generalized Fibonacci sequence summation identities and derives another two new identities from these two identities. These identities involve Fibonacci numbers ($F_n$), Lucas numbers ($L_n$) and generalized Fibonacci numbers ($G_n$), and are strictly proved by the method of combinatorial mathematics.
### Main content of the paper
1. **Definitions and notation explanations**:
- $F_n$ represents the $n$th Fibonacci number.
- $L_n$ represents the $n$th Lucas number.
- $G_n$ represents the generalized Fibonacci number, satisfying the recurrence relation $G_{n + 2}=G_{n + 1}+G_n$, where the initial conditions are arbitrary $G_0$ and $G_1$.
2. **New generalized Fibonacci sequence summation identities**:
The author proposes the following two new generalized Fibonacci sequence summation identities:
\[
\sum_{k = 0}^{n}\binom{n}{k}(- 1)^{k}F_{k}^{m}F_{n - k}^{m}+qG_{p + qk}=(-1)^{nm}F_{n}^{q}G_{p - nm}\quad(1.1)
\]
\[
\sum_{k = 0}^{n}\binom{n}{k}(- 1)^{k}L_{k}^{m}L_{n - k}^{m}+qG_{p + qk}=5\left\lfloor\frac{n}{2}\right\rfloor(-1)^{n(m + 1)}F_{n}^{q}[G_{p - nm+ 1}-(-1)^{n}G_{p - nm-1}]\quad(1.2)
\]
where $\left\lfloor x\right\rfloor$ represents the largest integer not greater than $x$, that is, the floor function of $x$.
3. **Transformed identities**:
By replacing $m$ with $-m$ and $q$ with $-q$, and using the properties of Fibonacci numbers and Lucas numbers $F_{-n}=(-1)^{n + 1}F_n$ and $L_{-n}=(-1)^{n}L_n$, the above two identities can be transformed into:
\[
\sum_{k = 0}^{n}\binom{n}{k}(-1)^{(q + 1)k}F_{k}^{m}F_{n - k}^{m}+qG_{p - qk}=F_{n}^{q}G_{p + nm}\quad(1.3)
\]
\[
\sum_{k = 0}^{n}\binom{n}{k}(-1)^{(q + 1)k}L_{k}^{m}L_{n - k}^{m}+qG_{p - qk}=5\left\lfloor\frac{n}{2}\right\rfloor F_{n}^{q}[G_{p + nm+ 1}-(-1)^{n}G_{p + nm-1}]\quad(1.4)
\]
4. **Known special cases**:
When $q = 1$ and $q=-1$, identity (1.3) has been studied in the literature.
### Proof method
The author proves these identities by induction. First, the case of $n = 1$ is verified, then the recurrence relation on the left side is proved, and it is shown that the right side also satisfies the same recurrence relation. Finally, the proof is completed by using the Binet formula of Fibonacci numbers and Lucas numbers and some known identities.
### Conclusion
This paper successfully derives and proves four new generalized Fibonacci sequence summation identities, enriches the research content of Fibonacci sequences, and provides a basis for future research.