NumberTheoryBasic Induction SpecialSequence Difficult

Problem - 2668
Show that $1^{2017}+2^{2017}+\cdots + n^{2017}$ is not divisible by $(n+2)$ for any positive integer $n$.

Because $2017$ is odd, we always have \begin{align} 1^{2017} + (n+1)^{2017} &= (n+2)(\cdots)\\ 2^{2017} + n^{2017} &= (n+2)(\cdots)\\ 3^{2017} + (n-1)^{2017} &= (n+2)(\cdots)\\ \cdots\\ (n+1)^{2017} + 1^{2017}&=(n+2)(\cdots) \end{align} where $(\cdots)$ are some polynomials of $n$. Adding these $(n+1)$ equations together yields $$2\cdot\Big(1^{2017}+2^{2017}+\cdots+n^{2017}+(n+1)^{2017}\Big)=(n+2)(\cdots)$$ If is easy to show that $(\cdots)$ above is always even regardless of $n$'s parity. Hence, $\Big(1^{2017}+2^{2017}+\cdots+n^{2017}+(n+1)^{2017}\Big)$ must a multiple of $(n+2)$. However because $(n+1)$ and $(n+2)$ are relatively prime to each other, $(n+1)^{2017}$ is not a multiple of $(n+2)$. Therefore, $\Big(1^{2017}+2^{2017}+\cdots + n^{2017}\Big)$ cannot be a multiple of $(n+2)$.

report an error