Show that for every $r \in \mathbb{N}$ there are numbers $a_1,..,a_r \in \mathbb{Q}$ such that $\sum\limits_{k=1}^nk^r = \frac{1}{1+r}n^{r+1}+a_rn^r +....+a_1n$
for all $n \in \mathbb{N}$
There is a hint that I should use the binomial theorem, but I don't know where to use it, and also whether I should use induction.
Given $$\sum\limits_{k=1}^nk^r = \frac{1}{1+r}n^{r+1}+a_rn^r +....+a_1n$$ We need to show,
$$\sum\limits_{k=1}^{n+1}k^r = \frac{1}{1+r}(n+1)^{r+1}+a_r(n+1)^r +....+a_1(n+1)$$
$$\sum\limits_{k=1}^{n+1}k^r =\sum\limits_{k=1}^nk^r +(n+1)^r = \frac{1}{1+r}n^{r+1}+a_rn^r+....+a_1n + (n+1)^r$$ $$ = \frac{1}{1+r}(n+1-1)^{r+1}+a_r(n+1-1)^r+....+a_1(n+1-1) + (n+1)^r$$
Note that the binomial theorem implies $$(n+1-1)^b =(n+1)^b +b(n+1)^{b-1}(-1)+...(-1)^b$$
Upon expanding the terms of $$ = \frac{1}{1+r}(n+1-1)^{r+1}+a_r(n+1-1)^r+....+a_1(n+1-1) + (n+1)^r$$
in powers of (n+1) and noticing that the new coefficients are all rational numbers we get the result.