Abstract:The Erdös-Moser equation $ \sum_{i=1}^{m - 1} i^k = m^k $ is a longstanding problem in number theory, with the only known solution in positive integers being $ (k, m) = (1, 3) $. This paper investigates the possibility of other solutions by employing approximation methods based on the Euler-MacLaurin formula to extend the discrete sum $ S(m - 1, k) $ to a continuous function $ S_{\mathbb{R}}(m - 1, k) $. Analyzing the approximate polynomial $ P_{\mathbb{R}}(m) = S_{\mathbb{R}}(m - 1, k) - m^k $, we apply the rational root theorem to search for potential integer solutions. Our investigation confirms that for $ k = 1 $, the only solution is $ m = 3 $. For $ k \geq 2 $, the approximation suggests that no additional positive integer solutions exist. However, we acknowledge the limitations of using approximation methods in the context of Diophantine equations, where exactness is crucial. The omission of correction terms in the approximation may overlook valid solutions. Despite these limitations, our work provides insights into the behavior of the Erdös-Moser equation and highlights the challenges in finding solutions using analytical methods. We discuss the implications of our findings and suggest directions for future research, emphasizing the need for exact analytical techniques to conclusively address the conjecture.

On the exponential diophantine equation

On the exponential Diophantine equation related to powers of two consecutive terms of Lucas sequences

On Certain Diophantine Equations Involving Lucas Numbers

On the Diophantine Equations $J_n +J_m =L_k$ and $L_n +L_m =J_k$

On a problem of Pillai involving S-units and Lucas numbers

Classical and modular approaches to exponential Diophantine equations II. The Lebesgue–Nagell equation

Fibonacci and Lucas Numbers Associated with Brocard-Ramanujan Equation

The Diophantine equation $a \left(\frac{b^k-1}{b-1}\right) = \mathcal{U}_n-\mathcal{U}_m$

Diophantine equations involving Euler's totient function

On the Lucas Property of Linear Recurrent Sequences

A variety of Euler’s sum of powers conjecture

Sums or Products of Double Factorials in Lucas Sequences

On the Diophantine equation $\binom{n}{k}=\binom{m}{l}+d$

On the exponential Diophantine equation ${\displaystyle p\cdot 3^{x}+p^{y}=z^2}$ with $p$ a prime number

On divisors of Lucas and Lehmer numbers

Some Diophantine equations involving arithmetic functions and Bhargava factorials

On a Pair of Diophantine Equations

On some congruences and exponential sums

An Analytical Exploration of the Erdös-Moser Equation $ \sum_{i=1}^{m-1} i^k = m^k $ Using Approximation Methods

Automatic Solving of Cubic Diophantine Equations Inspired by Ramanujan

An Ancient Diophantine Equation with applications to Numerical Curios and Geometric Series