The paper presents, among others, the golden number $\varphi$ as the limit of the quotient of neighboring terms of the Fibonacci and Fibonacci type sequence by means of a fixed point of a mapping of a certain interval with the help of Edelstein’s theorem. To demonstrate the equality  , where $f_n$ is $n$-th Fibonacci number also the formula from Corollary has been applied. It was obtained using some relationships between Fibonacci and Lucas numbers, which were previously justified.

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...

Let P and Q be nonzero integers. The generalized Fibonacci and Lucas sequences are defined respectively as follows: U₀ = 0, U₁ = 1, V₀ = 2, V₁ = P and $U_{n+1}=PUₙ+Q{U}_{n-1}$, $V_{n+1}=PVₙ+Q{V}_{n-1}$ for n ≥ 1. In this paper, when w ∈ 1,2,3,6, for all odd relatively prime values of P and Q such that P ≥ 1 and P² + 4Q > 0, we determine all n and m satisfying the equation Uₙ = wUₘx². In particular, when k|P and k > 1, we solve the equations Uₙ = kx² and Uₙ = 2kx². As a result, we determine all n such that Uₙ = 6x². ...

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.

For an integer k ≥ 2, let $\left(F{ₙ}^{\left(k\right)}\right)ₙ$ be the k-Fibonacci sequence which starts with 0,..., 0,1 (k terms) and each term afterwards is the sum of the k preceding terms. This paper completes a previous work of Marques (2014) which investigated the spacing between terms of distinct k-Fibonacci sequences.

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})$.

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...

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...

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...

Integer sequences of the form $\lfloor n^c\rfloor$, where 1 < c < 2, can be locally approximated by sequences of the form ⌊nα+β⌋ in a very good way. Following this approach, we are led to an estimate of the difference ${\sum }_{n\le x}\phi \left(\lfloor n^c\rfloor \right)-1/c{\sum }_{n\le x^c}\phi \left(n\right)n^{1/c-1}$, which measures the deviation of the mean value of φ on the subsequence $\lfloor n^c\rfloor$ from the expected value, by an expression involving exponential sums. As an application we prove that for 1 < c ≤ 1.42 the subsequence of the Thue-Morse sequence indexed by $\lfloor n^c\rfloor$ attains both of its values with...

In this paper, we study triples $a,b$ and $c$ of distinct positive integers such that $ab+1,ac+1$ and $bc+1$ are all three members of the same binary recurrence sequence.

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 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.

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.