Monatshefte für Mathematik

, Volume 177, Issue 3, pp 421–436 | Cite as

On the congruence \(1^m + 2^m + \cdots + m^m\equiv n \pmod {m}\) with \(n\mid m\)

  • José María Grau
  • Antonio M. Oller-Marcén
  • Jonathan Sondow
Article

Abstract

We show that if the congruence above holds and \(n\mid m\), then the quotient \(Q:=m/n\) satisfies \(\sum _{p\mid Q} \frac{Q}{p}+1 \equiv 0\pmod {Q}\), where \(p\) is prime. The only known solutions of the latter congruence are \(Q=1\) and the eight known primary pseudoperfect numbers 2, 6, 42, 1806, 47058, 2214502422, 52495396602, and 8490421583559688410706771261086. Fixing \(Q\), we prove that the set of positive integers \(n\) satisfying the congruence in the title, with \(m=Q n\), is empty in case \(Q=\) 52495396602, and in the other eight cases has an asymptotic density between bounds in \((0,1)\) that we provide.

Keywords

Power sum Congruence Erdős–Moser equation  Asymptotic density 

Mathematics Subject Classification (2010)

11B99 11A99 11A07 

References

  1. 1.
    Beardon, A.F.: Sums of powers of integers. Am. Math. Mon. 103(3), 201–213 (1996)MATHMathSciNetCrossRefGoogle Scholar
  2. 2.
    Bennett, M.A., Győry, K., Pintér, Á.: On the Diophantine equation \(1^k+2^k+\cdots +x^k=y^n\). Compos. Math. 140(6), 1417–1431 (2004)MATHMathSciNetCrossRefGoogle Scholar
  3. 3.
    Butske, W., Jaje, L.M., Mayernik, D.R.: On the equation \(\sum _{P \mid N} \frac{1}{P}+\frac{1}{N}=1\), pseudoperfect numbers, and perfectly weighted graphs. Math. Comput. 69, 407–420 (2000)MATHMathSciNetCrossRefGoogle Scholar
  4. 4.
    Dyer-Bennet, J.: A theorem on partitions of the set of positive integers. Am. Math. Mon. 47, 152–154 (1940)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Erdős, P., Ram Murty, M., Kumar Murty, V.: On the enumeration of finite groups. J. Number Theory 25(3), 360–378 (1987)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Grau, J.M., Moree, P., Oller-Marcén, A.M.: About the congruence \(\sum _{k=1}^n k^{f(n)} \equiv 0 ~(mod \; n)\). Preprint (2013). http://arxiv.org/abs/1304.2678
  7. 7.
    Guy, R.: Unsolved Problems in Number Theory, 2nd edn. Springer, New York (2004)MATHCrossRefGoogle Scholar
  8. 8.
    Jacobson, M.J., Pintér, Á., Walsh, P.G.: A computational approach for solving \(y^2=1^k+2^k+\cdots +x^k\). Math. Comput. 72, 2099–2110 (2003)MATHCrossRefGoogle Scholar
  9. 9.
    Kellner, B.C.: The equation denom \((B_n)=n\) has only one solution. Preprint (2005). http://bernoulli.org/bk/denombneqn
  10. 10.
    Lengyel, T.: On divisibility of some power sums. Integers 7, A41, 6 (2007)Google Scholar
  11. 11.
    MacMillan, K., Sondow, J.: Divisibility of power sums and the generalized Erdős–Moser equation. Elem. Math. 67(4), 182–186 (2012)MATHMathSciNetCrossRefGoogle Scholar
  12. 12.
    Moree, P.: Moser’s mathemagical work on the equation \(1^k+2^k+\cdots +(m-1)^k=m^k\). Rocky Mountain J. Math. 43(5), 1707–1737 (2013)MATHMathSciNetCrossRefGoogle Scholar
  13. 13.
    Moser, L.: On the Diophantine equation \(1^n+2^n+3^n+\cdots +(m-1)^n =m^n\). Scripta Math. 19, 84–88 (1953)MATHMathSciNetGoogle Scholar
  14. 14.
    Rosser, J.B., Schoenfeld, L.: Approximate formulas for some functions of prime numbers. Ill. J. Math. 6, 64–94 (1962)MATHMathSciNetGoogle Scholar
  15. 15.
    Scha̋ffer, J.J.: The equation \(1^p+2^p+\cdots +n^p=m^q\). Acta Math. 95, 155–189 (1956)Google Scholar
  16. 16.
    Sloane, N.J.A.: The on-line encyclopedia of integer sequences. https://oeis.org
  17. 17.
    Sondow, J., MacMillan, K.: Reducing the Erdős–Moser equation \(1^n+2^n+\cdots +k^n=(k+1)^n\) modulo \(k\) and \(k^2\). Preprint (2010). http://arxiv.org/abs/1011.2154
  18. 18.
    Sondow, J., MacMillan, K.: Reducing the Erdős–Moser equation \(1^n+2^n+\cdots +k^n=(k+1)^n\) modulo \(k\) and \(k^2\). Integers 11, A34, 8 (2011)Google Scholar

Copyright information

© Springer-Verlag Wien 2014

Authors and Affiliations

  • José María Grau
    • 1
  • Antonio M. Oller-Marcén
    • 2
  • Jonathan Sondow
    • 3
  1. 1.Departamento de MatemáticasUniversidad de OviedoOviedoSpain
  2. 2.Centro Universitario de la Defensa de ZaragozaZaragozaSpain
  3. 3.New YorkUSA

Personalised recommendations