Let's try amWhy's proof for a general summation:
$$ \sum_{i=1}^n f(i) = g(n)$$
Base case:
Let $n=1$ and test: $$\sum_{i=1}^1 f(i) = f(1) =?\ g(1)$$
True for $\,n = 1\iff \color{#C00}{f(1) = g(1)}$
Induction Hypothesis:
- Assume that it is true for $\, n = k$: assume that $$\sum_{i=1}^k f(i) = g(k).$$
Inductive Step:
Prove, using the Induction Hypothesis as a premise, that $$\sum_{i=1}^{k+1}f(i)=\left(\sum_{i=1}^k f(i)\right) + f(k\!+\!1) = g(k) + f(k\!+\!1) =?\ g(k\!+\!1).$$
Inductive step from $k$ to $k+1$ is true $\iff \color{#C00}{ g(k\!+\!1) - g(k) = f(k\!+\!1)}$
Therefore we have proved by induction the following generic summation criterion
Theorem $\displaystyle\,\ \sum_{i=1}^n f(i) = g(n)\iff g(1) = f(1)\ {\rm and}\ g(n\!+\!1)-g(n) = f(n\!+\!1)\ $ for $\,n \ge 1.$
Indeed, the induction proves the direction $(\Leftarrow),$ and $(\Rightarrow)$ is clear.
This theorem reduces the inductive proof to simply verifying the RHS equalities, which is trivial polynomial arithmetic when $f(n),g(n)$ are polynomials in $n$. The above theorem is an example of telescopy, also known as the Fundamental Theorem of Difference Calculus, depending on context. You can find many more examples of telescopy and related results in other answers here.