On Universal Sums of Polygonal Numbers
Zhi-Wei Sun
DOI: https://doi.org/10.1007/s11425-015-4994-4
2015-01-01
Science China Mathematics
Abstract:For m = 3, 4, …, the polygonal numbers of order m are given by p m (n) = (m − 2)( 2 n ) + n (n = 0, 1, 2, …). For positive integers a, b, c and i, j, k ⩾ 3 with max{i, j, k} ⩾ 5, we call the triple (ap i , bp j , cp k ) universal if for any n = 0, 1, 2, …, there are nonnegative integers x, y, z such that n = ap i (x) + bp j (y) + cp k (z). We show that there are only 95 candidates for universal triples (two of which are (p 4, p 5, p 6) and (p 3, p 4, p 27)), and conjecture that they are indeed universal triples. For many triples (ap i , bp j , cp k ) (including (p 3, 4p 4, p 5), (p 4, p 5, p 6) and (p 4, p 4, p 5)), we prove that any nonnegative integer can be written in the form ap i (x) + bp j (y) + cp k (z) with x, y, z ∈ ℤ. We also show some related new results on ternary quadratic forms, one of which states that any nonnegative integer n ≡ 1 (mod 6) can be written in the form x 2 + 3y 2 + 24z 2 with x, y, z ∈ ℤ. In addition, we pose several related conjectures one of which states that for any m = 3, 4, … each natural number can be expressed as p m+1(x 1) + p m+2(x 2) + p m+3(x 3) + r with x 1, x 2, x 3 ∈ {0, 1, 2, …} and r ∈ {0, …, m − 3}.