The pentagonal numbers are the integers given by$ p_5(n) = n(3n-1)/2\ (n = 0,1,2,\ldots) $.Let $ (b,c,d) $ be one of the triples $ (1,1,2),(1,2,3),(1,2,6) $ and $ (2,3,4) $.We show that each $ n = 0,1,2,\ldots $ can be written as $ w+bx+cy+dz $ with $ w,x,y,z $ pentagonal numbers, which was first conjectured by Z.-W. Sun in 2016. In particular, any nonnegative integeris a sum of five pentagonal numbers two of which are equal; this refines a classical resultof Cauchy claimed by Fermat.
Citation: Dmitry Krachun, Zhi-Wei Sun. On sums of four pentagonal numbers with coefficients[J]. Electronic Research Archive, 2020, 28(1): 559-566. doi: 10.3934/era.2020029
The pentagonal numbers are the integers given by$ p_5(n) = n(3n-1)/2\ (n = 0,1,2,\ldots) $.Let $ (b,c,d) $ be one of the triples $ (1,1,2),(1,2,3),(1,2,6) $ and $ (2,3,4) $.We show that each $ n = 0,1,2,\ldots $ can be written as $ w+bx+cy+dz $ with $ w,x,y,z $ pentagonal numbers, which was first conjectured by Z.-W. Sun in 2016. In particular, any nonnegative integeris a sum of five pentagonal numbers two of which are equal; this refines a classical resultof Cauchy claimed by Fermat.
[1] | Quaternary quadratic forms representing all integers. Amer. J. Math. (1927) 49: 39-56. |
[2] | (1939) Modern Elementary Theory of Numbers. Chicago: University of Chicago Press. |
[3] | Universal sums of generalized pentagonal numbers. Ramanujan J. (2020) 51: 479-494. |
[4] | The first nontrivial genus of positive definite ternary forms. Math. Comput. (1995) 64: 341-345. |
[5] | Sums of four polygonal numbers with coefficients. Acta Arith. (2017) 180: 229-249. |
[6] | A short proof of Cauchy's polygonal theorem. Proc. Amer. Math. Soc. (1987) 99: 22-24. |
[7] | M. B. Nathanson, Additive Number Theory: The Classical Bases, Grad. Texts in Math., vol. 164, Springer, New York, 1996. doi: 10.1007/978-1-4757-3845-2 |
[8] | Ramanujan's ternary quadratic form. Invent. Math. (1997) 130: 415-454. |
[9] | A result similar to Lagrange's theorem. J. Number Theory (2016) 162: 190-211. |
[10] | On universal sums $x(ax+b)/2+y(cy+d)/2+z(ez+f)/2$. Nanjing Univ. J. Math. Biquarterly (2018) 35: 85-199. |
[11] | Universal sums of three quadratic polynomials. Sci. China Math. (2020) 63: 501-520. |