Remote Access Mathematics of Computation
Green Open Access

Mathematics of Computation

ISSN 1088-6842(online) ISSN 0025-5718(print)



A computational approach for solving $y^2=1^k+2^k+\dotsb+x^k$

Authors: M. J. Jacobson Jr., Á. Pintér and P. G. Walsh
Journal: Math. Comp. 72 (2003), 2099-2110
MSC (2000): Primary 11D25, 11J86
Published electronically: May 1, 2003
MathSciNet review: 1986826
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We present a computational approach for finding all integral solutions of the equation $y^2=1^k+2^k+\dotsb+x^k$ for even values of $k$. By reducing this problem to that of finding integral solutions of a certain class of quartic equations closely related to the Pell equations, we are able to apply the powerful computational machinery related to quadratic number fields. Using our approach, we determine all integral solutions for $2\le k\le 70$ assuming the Generalized Riemann Hypothesis, and for $2\le k\le 58$ unconditionally.

References [Enhancements On Off] (What's this?)

  • 1. Michael A. Bennett and Gary Walsh, The Diophantine equation 𝑏²𝑋⁴-𝑑𝑌²=1, Proc. Amer. Math. Soc. 127 (1999), no. 12, 3481–3491. MR 1625772, 10.1090/S0002-9939-99-05041-8
  • 2. B. Brindza, On some generalizations of the Diophantine equation 1^{𝑘}+2^{𝑘}+\cdots+𝑥^{𝑘}=𝑦^{𝑧}, Acta Arith. 44 (1984), no. 2, 99–107. MR 774093
  • 3. B. Brindza, Power values of sums 1^{𝑘}+2^{𝑘}+\cdots+𝑥^{𝑘}, Number theory, Vol. II (Budapest, 1987) Colloq. Math. Soc. János Bolyai, vol. 51, North-Holland, Amsterdam, 1990, pp. 595–611. MR 1058236
  • 4. B. Brindza and Á. Pintér, On the number of solutions of the equation 1^{𝑘}+2^{𝑘}+\cdots+(𝑥-1)^{𝑘}=𝑦^{𝑧}, Publ. Math. Debrecen 56 (2000), no. 3-4, 271–277. Dedicated to Professor Kálmán Győry on the occasion of his 60th birthday. MR 1765981
  • 5. Johannes Buchmann, Christoph Thiel, and Hugh Williams, Short representation of quadratic integers, Computational algebra and number theory (Sydney, 1992) Math. Appl., vol. 325, Kluwer Acad. Publ., Dordrecht, 1995, pp. 159–185. MR 1344929
  • 6. J. H. E. Cohn, The Diophantine equation 𝑥⁴-𝐷𝑦²=1. II, Acta Arith. 78 (1997), no. 4, 401–403. MR 1438594
  • 7. Karl Dilcher, On a Diophantine equation involving quadratic characters, Compositio Math. 57 (1986), no. 3, 383–403. MR 829328
  • 8. Karl Dilcher, Zeros of Bernoulli, generalized Bernoulli and Euler polynomials, Mem. Amer. Math. Soc. 73 (1988), no. 386, iv+94. MR 938890, 10.1090/memo/0386
  • 9. J. Gebel, A. Pethő, and H. G. Zimmer, Computing integral points on elliptic curves, Acta Arith. 68 (1994), no. 2, 171–192. MR 1305199
  • 10. M. Voorhoeve, K. Győry, and R. Tijdeman, On the Diophantine equation 1^{𝑘}+2^{𝑘}+\cdots+𝑥^{𝑘}+𝑅(𝑥)=𝑦^{𝑧}, Acta Math. 143 (1979), no. 1-2, 1–8. MR 523394, 10.1007/BF02392086
    M. Voorhoeve, K. Győry, and R. Tijdeman, Correction to: “On the Diophantine equation 1^{𝑘}+2^{𝑘}+\cdots+𝑥^{𝑘}+𝑅(𝑥)=𝑦^{𝑧}” [Acta Math. 143 (1979), no. 1-2, 1–8, MR0523394 (80e:10020)], Acta Math. 159 (1987), no. 1-2, 151. MR 906528, 10.1007/BF02392557
  • 11. M. J. Jacobson, Jr., Subexponential Class Group Computation in Quadratic Orders, Ph.D. thesis, Technische Universität Darmstadt, Darmstadt, Germany, 1999.
  • 12. Michael J. Jacobson Jr., Richard F. Lukes, and Hugh C. Williams, An investigation of bounds for the regulator of quadratic fields, Experiment. Math. 4 (1995), no. 3, 211–225. MR 1387478
  • 13. Michael J. Jacobson Jr. and Hugh C. Williams, The size of the fundamental solutions of consecutive Pell equations, Experiment. Math. 9 (2000), no. 4, 631–640. MR 1806298
  • 14. M. J. Jacobson, Jr. and H. C. Williams, Modular arithmetic on elements of small norm in quadratic fields, Submitted to Designs, Codes, and Cryptography.
  • 15. D. H. Lehmer, An extended theory of Lucas functions, Ann. Math. 31 (1930), 419-448.
  • 16. H. W. Lenstra Jr., On the calculation of regulators and class numbers of quadratic fields, Number theory days, 1980 (Exeter, 1980) London Math. Soc. Lecture Note Ser., vol. 56, Cambridge Univ. Press, Cambridge, 1982, pp. 123–150. MR 697260
  • 17. The LiDIA Group, LiDia: a C++ library for computational number theory, Software, Technische Univesität Darmstadt, Germany, 1997, see
  • 18. É. Lucas, Solution de la question 1180, Nouv. Ann. Math. (2) 16 (1877), 429-432.
  • 19. Á. Pintér, On a conjecture of Schaffer concerning the power values of power sums, preprint, (2000).
  • 20. Juan J. Schäffer, The equation 1^{𝑝}+2^{𝑝}+3^{𝑝}+\cdots+𝑛^{𝑝}=𝑚^{𝑞}, Acta Math. 95 (1956), 155–189. MR 0078395
  • 21. T. N. Shorey and R. Tijdeman, Exponential Diophantine equations, Cambridge Tracts in Mathematics, vol. 87, Cambridge University Press, Cambridge, 1986. MR 891406
  • 22. Jerzy Urbanowicz, On the equation 𝑓(1)1^{𝑘}+𝑓(2)2^{𝑘}+\cdots+𝑓(𝑥)𝑥^{𝑘}+𝑅(𝑥)=𝑏𝑦^{𝑧}, Acta Arith. 51 (1988), no. 4, 349–368. MR 971086
  • 23. Hugh C. Williams, Édouard Lucas and primality testing, Canadian Mathematical Society Series of Monographs and Advanced Texts, 22, John Wiley & Sons, Inc., New York, 1998. A Wiley-Interscience Publication. MR 1632793

Similar Articles

Retrieve articles in Mathematics of Computation with MSC (2000): 11D25, 11J86

Retrieve articles in all journals with MSC (2000): 11D25, 11J86

Additional Information

M. J. Jacobson Jr.
Affiliation: Department of Computer Science, University of Calgary, 2500 University Drive NW, Calgary, Alberta, T2N 1N4 Canada

Á. Pintér
Affiliation: Institute for Mathematics, University of Debrecen, P.O. Box 12, H-4010 Debrecen, Hungary

P. G. Walsh
Affiliation: Department of Mathematics, University of Ottawa, 585 King Edward St., Ottawa, Ontario, K1N 6N5 Canada

Keywords: Diophantine equations, elliptic curves, quadratic fields
Received by editor(s): June 5, 2001
Published electronically: May 1, 2003
Additional Notes: The first and third authors are supported by the Natural Sciences and Engineering Research Council of Canada
The second author is supported by the Hungarian National Foundation for Scientific Research, grants T29330, F34891, and FKFP-066-2001
Article copyright: © Copyright 2003 American Mathematical Society