Abstract:Denote by $\Sigma n^m$ the sum of the $m$-th powers of the first $n$ positive integers $1^m+2^m+\ldots +n^m$. Similarly let $\Sigma^r n^m$ be the $r$-fold sum of the $m$-th powers of the first $n$ positive integers, defined such that $\Sigma^0 n^{m}=n^m$, and then recursively by $\Sigma^{r+1} n^{m}=\Sigma^{r} 1^{m}+\Sigma^{r} 2^{m}+\ldots + \Sigma^{r} n^{m}$. During the early 17th-century, polynomial expressions for the sums $\Sigma^r n^m$ and their factorisation and polynomial basis representation properties were examined by Johann Faulhaber, who published some remarkable theorems relating to these $r$-fold sums in his Academia Algebrae (1631). In this paper we consider families of polynomials related to the Fibonacci and Lucas polynomials which naturally lend themselves to representing sums and differences of integer powers, as well as $\Sigma^r n^m$. Using summations over polynomial basis representations for monomials we generalise this sum for any polynomial $q(x)\in\mathbb{Q}[x]$, encountering some interesting coefficient families in the process. Other results include using our polynomial expressions to state some theorems of Fermat, where in particular, we obtain an explicit expression for the quotient in Fermat's Little Theorem. In the final two sections we examine these sums in the context of the three pairs of Stirling number varieties and binomial decompositions. We also derive an expression for $\Sigma n^m$ in terms of the Stirling numbers and Pochhammer symbols, leading to a seemingly new relation between the Stirling numbers and the Bernoulli numbers.

Powers as Fibonacci sums

A Diophantine Equation With Powers of Three Consecutive Fibonacci Numbers

A variety of Euler’s sum of powers conjecture

On the number of integers which form perfect powers in the way of $ x(y_1^2+y_2^2+y_3^2+y_4^2) = z^k $

Powers of 3 with few nonzero bits and a conjecture of Erdős

Sums of powers of integers and the sequence A304330

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

On an exponential power sum

On perfect powers that are sums of cubes of a nine term arithmetic progression

Melham'S Conjecture on Odd Power Sums of Fibonacci Numbers

On Diophantine Equations Related to Order of Appearance in Fibonacci Sequence

On sums of unequal powers of primes and powers of 2

Perfect Numbers and Fibonacci Primes (I)

A note on the power sums of the number of Fibonacci partitions

Partitio Numerorum: sums of squares and higher powers

On Frobenius Formulas of Power Sequences

Fibonacci Cycles and Fixed Points

A Pair of Diophantine Equations Involving the Fibonacci Numbers

On the number of summands in Zeckendorf decompositions

On Fibonacci Polynomial Expressions for Sums of $m$th Powers, their implications for Faulhaber's Formula and some Theorems of Fermat