Related papers: Moser's mathemagical work on the equation 1^k+2^k+…

If the equation 1^k+2^k+...+(m-2)^k+(m-1)^k=m^k has an integer solution with k>1, then m>10^{10^6}. Leo Moser showed this in 1953 by remarkably elementary methods. His proof rests on four identities he derives separately. It is shown here…

If the equation of the title has an integer solution with $k\ge2$, then $m>10^{9.3\cdot10^6}$. This was the current best result and proved using a method due to L. Moser (1953). This approach cannot be improved to reach the benchmark…

Let, for r>=2, (m_r(n)),n>=0, be Moser sequence such that every nonnegative integer is the unique sum of the form s_k+rs_l. In this article we give an explicit decomposition formulas of such form and an unexpectedly simple recursion…

The Erd\"{o}s-Moser equation $ \sum_{i=1}^{m - 1} i^k = m^k $ is a longstanding challenge in number theory, with the only known integer solution being $ (k,m) = (1,3) $. Here, we investigate whether other solutions might exist by using the…

An open conjecture of Erdos and Moser is that the only solution of the Diophantine equation in the title is the trivial solution 1+2=3. Reducing the equation modulo k and k^2, we give necessary and sufficient conditions on solutions to the…

Let $S_k(m):=\sum_{j=1}^{m-1}j^k$ denote a power sum. In 2011, Kellner proposed the conjecture that for $m>3$ the ratio $S_k(m+1)/S_k(m)$ is never an integer, or, equivalently, that for any positive integer $a$, the equation $aS_k(m)=m^k$…

Suppose $k,x,$ and $b$ are positive integers, and $a$ is a nonnegative integer such that $k=a+b$. In this paper, we will prove $\binom{2k}{k} = \binom{2a}{a} \binom{x+2b}{b}$ if and only if $x=a=1$. We do this by looking at different cases…

Using elementary methods, we determine the highest power of 2 dividing a power sum 1^n + 2^n + . . . + m^n, generalizing Lengyel's formula for the case where m is itself a power of 2. An application is a simple proof of Moree's result that,…

The Erd\"os-Moser conjecture states that the Diophantine equation $S_k(m) = m^k$, where $S_k(m)=1^k+2^k+...+(m-1)^k$, has no solution for positive integers $k$ and $m$ with $k \geq 2$. We show that stronger conjectures about consecutive…

In 1957, De Giorgi [3] proved the H\"{o}lder continuity for elliptic equations in divergence form and Moser [7] gave a new proof in 1960. Next year, Moser [8] obtained the Harnack inequality. In this note, we point out that the Harnack…

In his book "250 Problems in Elementary Number Theory", W.Sierpinski shows that the numbers 1+2^(2^n)+2^(2^n+1) are divisible by 21; for n=1,2,.... In this paper, we prove a similar but more general result.Consider the natural numbers of…

In 1960, W. Sierpinski proved that there are infinitely many positive odd numbers $k$, such that for any positive integer $n$, $k\times2^n+1$ is a composite number. Such numbers are called "Sierpinski numbers". In this study, by using…

In correspondence with Goldbach, Euler began investigating series of the form $\sum_{k \geq 1} k^{-m}\left(1 + 2^{-n} + \cdots + k^{-n}\right)$, which are known today as Euler sums. For the case where $n=1$ and $m \geq 2$, Euler was able to…

For a nonzero integer $a$ let ${E_n^{(a)}}$ be given by $\sum_{k=0}^{[n/2]}\binom n{2k}a^{2k}E_{n-2k}^{(a)}=(1-a)^n$ $(n=0,1,2,...)$, where $[x]$ is the greatest integer not exceeding $x$. As $E_n^{(1)}=E_n$ is the Euler number, $E_n^{(a)}$…

Let $\{E_n\}$ be the Euler numbers. In the paper we determine $E_{2^mk+b}-E_b$ modulo $2^{m+7}$, where $k$ and $m$ are positive integers and $b\in{0,2,4,...}$.

In 1957 Leo Moser published a problem in American Mathematical Monthly asking whether knowing the set of all pairwise sums of five numbers one could determine the original numbers. Problem was quickly generalized as "Is it always possible…

Refining an estimate of Croot, Dobbs, Friedlander, Hetzel and Pappalardi, we show that for all $k \geq 2$, the number of integers $1 \leq a \leq n$ such that the equation $a/n = 1/m_1 + \dotsc + 1/m_k$ has a solution in positive integers…

Recently, using modular forms F. Beukers posed a unified method that can deal with a large number of supercongruences involving binomial coefficients and Ap\'ery-like numbers. In this paper, we use Beukers' method to prove some conjectures…

In this paper we study recurrences concerning the combinatorial sum $[n,r]_m=\sum_{k\equiv r (mod m)}\binom {n}{k}$ and the alternate sum $\sum_{k\equiv r (mod m)}(-1)^{(k-r)/m}\binom{n}{k}$, where m>0, $n\ge 0$ and r are integers. For…

Let $S_k(m):=1^k+2^k+\cdots+(m-1)^k$ denote a power sum. In 2011 Bernd Kellner formulated the conjecture that for $m\ge 4$ the ratio $S_k(m+1)/S_k(m)$ of two consecutive power sums is never an integer. We will develop some techniques that…