Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.24667

Inverse trigonometric and hyperbolic identities,series and products for Lucas sequences

Hacène Belbachir
View original source ↗Read source document ↗Export metadata ↓

Abstract

In 1936 Lehmer observed that the inverse tangents of the reciprocals of the odd-indexed Fibonacci numbers add up exactly to a quarter of $π$. Many formulas of the same kind have been found since, each with its own proof: for the inverse tangent and for the inverse hyperbolic tangent, for sums and for differences, for the Fibonacci numbers and for the Lucas numbers. We show that these are not different results but one and the same computation, seen through three signs. A single two-term identity, valid for the generalized Fibonacci sequence and its companion Lucas sequence of any parameter, contains them all. From it follow, with short telescoping proofs, infinitely many series for $π$ whose speed of convergence can be chosen at will, series whose sums are multiples of the logarithm of the golden ratio and of its analogues, and infinite and finite products with closed values. The Fibonacci and Lucas cases are listed in full; the classical formulas of Lehmer, of Hoggatt and Ruggles, of Melham and Shannon and of Melham appear among them, and the Pell cases, among them those of Mahon and Horadam, the Jacobsthal cases, where the logarithm of the golden ratio is replaced by that of $2$, the Mersenne numbers and the Chebyshev polynomials follow by substitution.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hacène Belbachir. 2026-10-17. Inverse trigonometric and hyperbolic identities,series and products for Lucas sequences. https://arxiv.org/abs/2610.24667

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Pseudodifferential arithmetic, Riemann and Lindelöf hypotheses

The Weyl symbolic calculus of operators leads to the construction, if one takes for symbol a certain distribution decomposing over the zeros of the Riemann zeta function, of an operator with the following property: the Riemann hypothesis is equivalent to the validity of a collection of estimates involving this operator. Pseudodifferential arithmetic, a novel chapter of pseudodifferential operator theory, makes it possible to make the operator under study fully explicit. This leads to a disproof of the conjecture: zeros accumulate on the boundary of the critical strip. A similar method leads to a proof of the Lindel\öf hypothesis.

math.NT↗
arXiv2026

Extensions of locally analytic generalized Steinberg representations

Let $L$ be a finite extension of $\mathrm{Q}_p$. We study locally $\mathrm{Q}_p$-analytic generalized Steinberg representations of $\mathrm{GL}_n(L)$ associated with a general Zelevinsky segment and compute certain $\mathrm{Ext}^1$-groups involving these representations. These extension groups give rise to parabolic Breuil simple $\mathcal{L}$-invariants on the automorphic side of a conjectural $p$-adic local Langlands correspondence for potentially semistable $p$-adic Galois representations in the non-trianguline case.

math.NT↗
arXiv2026

Non-vanishing for cubic Hecke $L$-functions

Let $ω$ be a primitive cubic root of unity. We study the non-vanishing problem for the family of Hecke $L$-functions associated to primitive cubic characters defined over the Eisenstein quadratic number field $\mathbb{Q}(ω)$. We prove unconditionally that a positive proportion of Hecke $L$-functions associated to the cubic residue symbols $χ_q$ with $q \in \mathbb{Z}[ω]$ squarefree and $q \equiv 1 \pmod{9}$ do not vanish at the central point. Our proof goes through the method of first and second mollified moments. The principal new contribution of this paper is the asymptotic evaluation of the mollified second moment with power saving error term. No asymptotic formula for the mollified second moment of a cubic family was known (even over function fields) prior to the writing of this paper. Our new approach makes crucial use of Patterson's evaluation of the Fourier coefficients of the cubic metaplectic theta function, Heath-Brown's cubic large sieve, and a Lindelöf-on-average upper bound for the second moment of cubic Dirichlet series that we establish. The significance of our result is that the (unitary) family considered does not satisfy a perfectly orthogonal large sieve bound. This is quite unlike other families of Dirichlet $L$-functions in the literature for which unconditional results are known: the symplectic family of quadratic characters and the unitary family of all Dirichlet characters $χ\pmod{q}$. Consequently, our proof has fundamentally different features from the corresponding works of Soundararajan and of Iwaniec and Sarnak.

math.NT↗