Abstract:When studying the least common multiple of some finite sequences of integers, the first author introduced the interesting arithmetic functions $g_k$ $(k \in \mathbb{N})$, defined by $g_k(n) := \frac{n (n + 1) ... (n + k)}{\lcm(n, n + 1, >..., n + k)}$ $(\forall n \in \mathbb{N} \setminus \{0\})$. He proved that $g_k$ $(k \in \mathbb{N})$ is periodic and $k!$ is a period of $g_k$. He raised the open problem consisting to determine the smallest positive period $P_k$ of $g_k$. Very recently, S. Hong and Y. Yang have improved the period $k!$ of $g_k$ to $\lcm(1, 2, ..., k)$. In addition, they have conjectured that $P_k$ is always a multiple of the positive integer $\frac{\lcm(1, 2, >..., k, k + 1)}{k + 1}$. An immediate consequence of this conjecture states that if $(k + 1)$ is prime then the exact period of $g_k$ is precisely equal to $\lcm(1, 2, ..., k)$.
In this paper, we first prove the conjecture of S. Hong and Y. Yang and then we give the exact value of $P_k$ $(k \in \mathbb{N})$. We deduce, as a corollary, that $P_k$ is equal to the part of $\lcm(1, 2, ..., k)$ not divisible by some prime.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to the properties of the least common multiple (LCM) and the greatest common divisor (GCD) in specific sequences. Specifically, the paper explores the following issues:
1. **Define the function \(g_k(n)\)**:
- A function \(g_k(n)=n(n + 1)\cdots(n + k)\) is defined, and its relationship with the least common multiple is studied.
- By introducing \(P_k=\text{lcm}(1,2,\ldots,k)\), the relationship between \(g_k(n)\) and \(P_k\) is further explored.
2. **Explore the properties of the least common multiple**:
- The properties of \(P_k = \text{lcm}(1,2,\ldots,k)\) are studied, and the behavior of \(P_k\) under different conditions is analyzed.
- The relationship between \(P_k\) and \(P_{k + 1}\), especially their least common multiple and greatest common divisor, is explored.
3. **Study the combined properties of \(g_k(n)\) and \(P_k\)**:
- The relationship between \(g_k(P_k)\) and \(g_k(P_{k+1})\) is analyzed, and some identities about these expressions are proved.
- The behavior of \(g_k(n)\) for different values of \(n\), especially when \(n = P_k\) and \(n=P_{k + 1}\), is explored.
4. **Apply p - adic valuation**:
- The p - adic valuation \(v_p\) is used to analyze the properties of \(g_k(n)\) and \(P_k\).
- Through p - adic valuation, the power of each prime factor in \(g_k(n)\) is studied, and some inequalities about these powers are proved.
5. **Summarize and generalize**:
- The above research results are summarized, and some generalized conclusions are proposed, especially the applications in a broader number - theoretic context.
### Formula summary
- \(g_k(n):=n(n + 1)\cdots(n + k)\)
- \(P_k:=\text{lcm}(1,2,\ldots,k)\)
- \(g_k(n)=\gcd(k!,(n + k)g_{k-1}(n))\)
- \(v_p(k + 1)<\max_{1\leq i\leq k}v_p(i)\)
- \(v_p(P_k)=\max_{1\leq i\leq k}v_p(i)\)
Through the study of these formulas and properties, the paper aims to reveal the deep - seated mathematical structures and rules of the least common multiple and the greatest common divisor in specific sequences.