exo7 5115

$k$ est un entier impair. Montrer par récurrence que, pour $n\geq1$, la somme $1^k+2^k+...+n^k$ est un entier divisible par $\frac{n(n+1)}{2}.$