On identities concerning integer parts

Zichang Wang,Chengyang Wu,Bohan Yang
2024-10-14
Abstract:In 2007 V. Zhuravlev discovered a family of identities concerning integer parts which are satisfied by the number $\frac{\sqrt{5}+1}{2}$. Some of these identities turned out to be characterization properties of the number $\frac{\sqrt{5}+1}{2}$. In this paper we are generalizing the simplest of these identities.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the generalization of identities involving the integer part and their characterization of certain algebraic integers. Specifically, the authors focus on a set of integer - part identities related to the golden ratio \(\alpha=\frac{\sqrt{5}+1}{2}\) discovered by V. Zhuravlev in 2007. These identities can be used to characterize this special irrational number. The main contributions of the paper are as follows: 1. **Generalize existing identities**: The authors generalize the two simplest identities (formulas (1) and (2)) and prove a more general theorem (Theorem 1.2). This theorem shows that for any positive integers \(l\) and \(k\), if a positive real number \(\alpha\) satisfies the condition: \[ \alpha^{l + k}-\alpha^{l}\in\mathbb{Z}\cap\left[1,\frac{2l}{k}\right) \] then it will satisfy the following identity: \[ [[n\alpha^{l}]\alpha^{k}]+1 = [n\alpha^{l + k}],\quad\forall n\in\mathbb{Z}\setminus\{0\} \] 2. **Partial generalization and variants**: The author also proposes three partial generalizations (Theorems 1.3, 1.5, and 1.6), considering different cases respectively, such as adding a constant \(\delta< 1\) on the left side, changing the coefficient from - 1 to an arbitrary negative integer -m, and restricting to a specific subsequence. 3. **Propose new problems**: The author further explores whether identities involving more nested brackets can characterize certain algebraic integers and poses a question, that is, whether there exists an algebraic integer \(\alpha\) that can satisfy: \[ [[[n\alpha]\alpha]\alpha]+1 = [n\alpha^{3}],\quad\forall n\in\mathbb{Z}\setminus\{0\} \] Through these studies, the authors not only extend the original identities but also provide a new perspective for understanding the mathematical structure behind these identities.