New results on the least common multiple of consecutive integers

TL;DR

This paper proves a conjecture about the smallest positive period of a specific arithmetic function related to the least common multiple of consecutive integers, and determines its exact value.

Contribution

It confirms the conjecture by Hong and Yang and provides the exact value of the period $P_k$, advancing understanding of the arithmetic properties of these functions.

Findings

Proved the conjecture that $P_k$ is a multiple of $rac{ ext{lcm}(1,...,k+1)}{k+1}$.

Derived the exact value of the period $P_k$ for all $k$.

Showed that $P_k$ equals the part of $ ext{lcm}(1,...,k)$ not divisible by some prime.

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.