References & Citations
Mathematics > Number Theory
Title: On the sum of $k$-th powers in terms of earlier sums
(Submitted on 16 Dec 2019 (v1), last revised 6 Sep 2020 (this version, v2))
Abstract: For $k$ a positive integer let $S_k(n) = 1^k + 2^k + \cdots + n^k$, i.e., $S_k(n)$ is the sum of the first $k$-th powers. Faulhaber conjectured (later proved by Jacobi) that for $k$ odd, $S_k(n)$ could be written as a polynomial of $S_1(n)$; for example $S_3(n) = S_1(n)^2$. We extend this result and prove that for any $k$ there is a polynomial $g_k(x,y)$ such that $S_k(n) = g(S_1(n), S_2(n))$. The proof yields a recursive formula to evaluate $S_k(n)$ as a polynomial of $n$ that has roughly half the number of terms as the classical one.
Submission history
From: Steven Miller [view email][v1] Mon, 16 Dec 2019 03:09:07 GMT (5kb)
[v2] Sun, 6 Sep 2020 09:30:37 GMT (6kb)
Link back to: arXiv, form interface, contact.