Related papers: The sum of Lagrange numbers

Let $\alpha=(1+\sqrt 5)/2$, the golden ratio, and $\beta=-1/\alpha=(1 - \sqrt 5)/2$. Let $F_n$ and $L_n$ be the Fibonacci and Lucas numbers, defined by $F_n=(\alpha^n -\beta^n)/\sqrt 5$ and $L_n=\alpha^n + \beta^n$, for all non-negative…

We prove the identity $$ \prod_{\gamma}\left(\frac{e^{l(\gamma)}+1}{e^{l(\gamma)}-1}\right)^{2h}=\exp\left(\frac{l_1+l_2+l_3}{2}\right), $$ (or $$…

Lagrange's four squares theorem is a classical theorem in number theory. Recently, Z.-W. Sun found that it can be further refined in various ways. In this paper we study some conjectures of Sun and obtain various refinements of Lagrange's…

Let $(F_n)_{n \geq 1}$ be the sequence of Fibonacci numbers. Guy and Matiyasevich proved that \begin{equation*} \log \operatorname{lcm} (F_1, F_2, \dots, F_n) \sim \frac{3 \log \alpha}{\pi^2} \cdot n^2 \quad \text{as } n \to +\infty,…

By making use of only simple facts about congruence, we first show that every even Markoff number is congruent to 2 modulo 32, and then, generalizing an earlier result of Baragar, establish the uniqueness for those Markoff numbers c where…

A result by N.G. Makarov [Algebra i Analiz, 1989] states that for martingales $(M_n)$ on the torus we have the strict inequality \[ \liminf_{n\to\infty} \frac{M_n}{\sum_{k=1}^n |\Delta M_k|} > 0 \] on a set of Hausdorff dimension one,…

By applying the classic telescoping summation formula and its variants to identities involving inverse hyperbolic tangent functions having inverse powers of the golden ratio as arguments and employing subtle properties of the Fibonacci and…

Let $(L_n)_{n \geq 1}$ be the sequence of Lucas numbers, defined recursively by $L_1 := 1$, $L_2 := 3$, and $L_{n + 2} := L_{n + 1} + L_n$, for every integer $n \geq 1$. We determine the asymptotic behavior of $\log \operatorname{lcm} (L_1…

Lagrange's four-square theorem asserts that any $n\in\mathbb N=\{0,1,2,\ldots\}$ can be written as the sum of four squares. This can be further refined in various ways. We show that any $n\in\mathbb N$ can be written as $x^2+y^2+z^2+w^2$…

Let $M_n$ and $T_n$ denote the $n$th Motzkin number and the $n$th central trinomial coefficient respectively. We prove that for any prime $p\ge 5$, \begin{align*} &\sum_{k=0}^{p-1}M_k^2\equiv…

The Thue--Morse sequence $\{t(n)\}_{n\geqslant 1}$ is the indicator function of the parity of the number of ones in the binary expansion of positive integers $n$, where $t(n)=1$ (resp. $=0$) if the binary expansion of $n$ has an odd (resp.…

Lagrange's four-square theorem states that every natural number $n$ can be represented as the sum of four integer squares: $n=x_1^2+x_2^2+x_3^2+x_4^2$. Ramanujan generalized Lagrange's result by providing, up to equivalence, all $54$…

Let $\lambda_{\phi}(n)$ be the Fourier coefficients of a Hecke holomorphic or Hecke--Maass cusp form on ${\rm SL}_2(\mathbb Z)$, and $f$ be any multiplicative function that satisfies two mild hypotheses. We establish a non-trivial upper…

Harmonic numbers $H_k=\sum_{0<j\le k}1/j (k=0,1,2,...)$ arise naturally in many fields of mathematics. In this paper we initiate the study of congruences involving both harmonic numbers and Lucas sequences. One of our three theorems is as…

Lehmer's totient problem asks whether there exists any composite number $n$ such that $\varphi(n) \, \mid \, (n-1)$, where $\varphi$ is Euler totient function. It is known that if any such $n$ exists, it must be Carmichael and $n >…

Markov numbers are integers that appear in triples which are solutions of a Diophantine equation, the so-called Markov cubic $$x^2 + y^2 + z^2 - 3x y z = 0.$$ A classical topic in number theory, these numbers are related to many areas of…

Dumont has conjectured a marvellous identity, which generalizes, in particular, the classical results of Lagrange, Gauss, Jacobi and Kronecker on the sums of two, three and four squares. We give a combinatorial proof of Dumont's conjecture.

Let $(u_n)_{n \geq 0}$ be a non-degenerate Lucas sequence, given by the relation $u_n=a_1 u_{n-1}+a_2 u_{n-2}$. Let $\ell_u(m)=lcm(m, z_u(m))$, for $(m,a_2)=1$, where $z_u(m)$ is the rank of appearance of $m$ in $u_n$. We prove that…

Let $(u_n)_{n\ge 0}$ denote the Thue-Morse sequence with values $\pm 1$. The Woods-Robbins identity below and several of its generalisations are well-known in the literature…

By expressing Fibonacci and Lucas numbers in terms of the powers of the golden ratio, $\alpha=(1+\sqrt 5)/2$ and its inverse, $\beta=-1/\alpha=(1-\sqrt 5)/2$, a multitude of Fibonacci and Lucas identities have been developed in the…