A generalization of the well-known Fibonacci sequence ${Fₙ}_{n\ge 0}$ given by F₀ = 0, F₁ = 1 and $F_{n+2}=F_{n+1}+Fₙ$ for all n ≥ 0 is the k-generalized Fibonacci sequence ${F{ₙ}^{\left(k\right)}}_{n\ge -(k-2)}$ whose first k terms are 0,..., 0, 1 and each term afterwards is the sum of the preceding k terms. For the Fibonacci sequence the formula $Fₙ²+F{²}_{n+1}²=F_{2n+1}$ holds for all n ≥ 0. In this paper, we show that there is no integer x ≥ 2 such that the sum of the xth powers of two consecutive k-generalized Fibonacci numbers is again a k-generalized Fibonacci number. This...

Melham discovered the Fibonacci identity $F_{n+1}{F}_{n+2}{F}_{n+6}-F{³}_{n+3}=(-1)ⁿFₙ$. He then considered the generalized sequence Wₙ where W₀ = a, W₁ = b, and $Wₙ=p{W}_{n-1}+q{W}_{n-2}$ and a, b, p and q are integers and q ≠ 0. Letting e = pab - qa² - b², he proved the following identity: $W_{n+1}{W}_{n+2}{W}_{n+6}-W{³}_{n+3}=e{q}^{n+1}(p³W_{n+2}-q²W_{n+1})$. There are similar differences of products of Fibonacci numbers, like this one discovered by Fairgrieve and Gould: $FₙF_{n+4}{F}_{n+5}-F{³}_{n+3}={(-1)}^{n+1}{F}_{n+6}$. We prove similar identities. For example, a generalization of Fairgrieve and Gould’s identity is $WₙW_{n+4}{W}_{n+5}-W{³}_{n+3}=eqⁿ(p³W_{n+4}-q{W}_{n+5})$.

Let $k\ge 2$ and define $F^{\left(k\right)}:={\left(F_n^{\left(k\right)}\right)}_{n\ge 0}$, the $k$-generalized Fibonacci sequence whose terms satisfy the recurrence relation $F_n^{\left(k\right)}=F_{n-1}^{\left(k\right)}+F_{n-2}^{\left(k\right)}+\cdots +F_{n-k}^{\left(k\right)}$, with initial conditions $0,0,\cdots ,0,1$ ($k$ terms) and such that the first nonzero term is $F_1^{\left(k\right)}=1$. The sequences $F:=F^{\left(2\right)}$ and $T:=F^{\left(3\right)}$ are the known Fibonacci and Tribonacci sequences, respectively. In 2005, Noe and Post made a conjecture related to the possible solutions of the Diophantine equation $F_n^{\left(k\right)}=F_m^{\left(\ell \right)}$. In this note, we use transcendental tools to provide a general method for finding the intersections $F^{\left(k\right)}\cap F^{\left(m\right)}$ which gives...

Let P and Q be nonzero integers. The sequences of generalized Fibonacci and Lucas numbers are defined by U₀ = 0, U₁ = 1 and $U_{n+1}=PUₙ-Q{U}_{n-1}$ for n ≥ 1, and V₀ = 2, V₁ = P and $V_{n+1}=PVₙ-Q{V}_{n-1}$ for n ≥ 1, respectively. In this paper, we assume that P ≥ 1, Q is odd, (P,Q) = 1, Vₘ ≠ 1, and $V_r\ne 1$. We show that there is no integer x such that $Vₙ=V_{r}Vₘx²$ when m ≥ 1 and r is an even integer. Also we completely solve the equation $Vₙ=VₘV_{r}x²$ for m ≥ 1 and r ≥ 1 when Q ≡ 7 (mod 8) and x is an even integer. Then we show that when P ≡ 3 (mod 4) and...

We study the structure of longest sequences in $\mathbb{Z}{ₙ}^d$ which have no zero-sum subsequence of length n (or less). We prove, among other results, that for $n=2^a$ and d arbitrary, or $n=3^a$ and d = 3, every sequence of c(n,d)(n-1) elements in $\mathbb{Z}{ₙ}^d$ which has no zero-sum subsequence of length n consists of c(n,d) distinct elements each appearing n-1 times, where $c(2^a,d)=2^d$ and $c(3^a,3)=9$.

Consider a recurrence sequence ${\left(x_k\right)}_{k\in \mathbb{Z}}$ of integers satisfying $x_{k+n}=a_{n-1}{x}_{k+n-1}+...+a₁x_{k+1}+a₀x_k$, where $a₀,a₁,...,a_{n-1}\in \mathbb{Z}$ are fixed and a₀ ∈ -1,1. Assume that $x_k>0$ for all sufficiently large k. If there exists k₀∈ ℤ such that $x_{k₀}<0$ then for each negative integer -D there exist infinitely many rational primes q such that $q|x_k$ for some k ∈ ℕ and (-D/q) = -1.

Let d ≥ 2 be an integer. In 2010, the second, third, and fourth authors gave necessary and sufficient conditions for the infinite products ${\prod }_{\genfrac{}{}{0pt}{}{k=1}{U_{d^k}\ne -a_i}}^{\infty }(1+\left(a_i\right)/\left(U_{d^k}\right))$ (i=1,...,m) or ${\prod }_{\genfrac{}{}{0pt}{}{k=1}{V_{d^k}\ne -a_i}}^{\infty }(1+\left(a_i\right)\left(V_{d^k}\right)$ (i=1,...,m) to be algebraically dependent, where $a_i$ are non-zero integers and $U_n$ and $V_n$ are generalized Fibonacci numbers and Lucas numbers, respectively. The purpose of this paper is to relax the condition on the non-zero integers $a_1,...,a_m$ to non-zero real algebraic numbers, which gives new cases where the infinite products above are algebraically...

We compare the growth of the least common multiple of the numbers $u_{a_1},...,u_{a_n}$ and $|u_{a_1}\cdots u_{a_n}|$, where ${\left(u_n\right)}_{n\ge 0}$ is a Lucas sequence and ${\left(a_n\right)}_{n\ge 0}$ is some sequence of positive integers.

We say a sequence $={\left(sₙ\right)}_{n\ge 0}$ is primefree if |sₙ| is not prime for all n ≥ 0, and to rule out trivial situations, we require that no single prime divides all terms of . In this article, we focus on the particular Lucas sequences of the first kind, ${}_a={\left(uₙ\right)}_{n\ge 0}$, defined by u₀ = 0, u₁ = 1, and uₙ = aun-1 + un-2 for n≥2, where a is a fixed integer. More precisely, we show that for any integer a, there exist infinitely many integers k such that both of the shifted sequences ${}_a\pm k$ are simultaneously primefree. This...

The seminal theorem of Cobham has given rise during the last 40 years to a lot of work about non-standard numeration systems and has been extended to many contexts. In this paper, as a result of fifteen years of improvements, we obtain a complete and general version for the so-called substitutive sequences. Let $\alpha$ and $\beta$ be two multiplicatively independent Perron numbers. Then a sequence $x\in A^{\mathbb{N}}$, where $A$ is a finite alphabet, is both $\alpha$-substitutive and $\beta$-substitutive if and only if $x$ is ultimately...

For k ≥ 2, the k-generalized Fibonacci sequence $\left(F{ₙ}^{\left(k\right)}\right)ₙ$ is defined to have the initial k terms 0,0,...,0,1 and be such that each term afterwards is the sum of the k preceding terms. We will prove that the number of solutions of the Diophantine equation $F{ₘ}^{\left(k\right)}-F{ₙ}^{\left(\ell \right)}=c>0$ (under some weak assumptions) is bounded by an effectively computable constant depending only on c.

Let $F_n$ be the $n$-th Fibonacci number. Put $\varphi =\frac{1+\sqrt{5}}{2}$. We prove that the following inequalities hold for any real $\alpha$: 1) ${inf}_{n\in \mathbb{N}}\left|\right|F_n\alpha \left|\right|\le \frac{\varphi -1}{\varphi +2}$, 2) ${lim\; inf}_{n\to \infty }\left|\right|F_n\alpha \left|\right|\le \frac{1}{5}$, 3) ${lim\; inf}_{n\to \infty }\left|\right|{\varphi }^n\alpha \left|\right|\le \frac{1}{5}$. These results are the best possible.

We consider $N$, the number of solutions $(x,y,u,v)$ to the equation ${(-1)}^{u}r{a}^x+{(-1)}^{v}s{b}^y=c$ in nonnegative integers $x,y$ and integers $u,v\in \{0,1\}$, for given integers $a\&gt;1$, $b\&gt;1$, $c\&gt;0$, $r\&gt;0$ and $s\&gt;0$. When $gcd(ra,sb)=1$, we show that $N\le 3$ except for a finite number of cases all of which satisfy $max(a,b,r,s,x,y)\&lt;2·{10}^{15}$ for each solution; when $gcd(a,b)\&gt;1$, we show that $N\le 3$ except for three infinite families of exceptional cases. We find several different ways to generate an infinite number of cases giving $N=3$ solutions.