Problem: Derive a formula for $\sum_{k=1}^n k^2$.
Attempt: Let $f(n)$ be such a formula. Then we have the recursive formula $$\forall n\in\mathbb{N},\quad f(n+1)=f(n)+(n+1)^2$$ and the initial condition $f(1)=1$. We wish to prove that $f(n)$ is a polynomial of degree $3$, for which the coefficients can be found through polynomial interpolation.
Conjecture: A function $f(x)$ is a polynomial of degree $n$ if and only if $\forall d\in\mathbb{R}$ there exists a unique polynomial $p(x)$ of degree $n-1$ such that $$\forall x\in\mathbb{R},\quad f(x+d)=f(x)+p(x).$$ Proof sketch: Essentially $p(x)$ is similar to $\frac{d}{dx}f(x)$. If $d>0$, the above formula is similar to the difference quotient. $$\frac{p(x)}{d}=\frac{f(x+d)-f(x)}{d}$$ $$\implies\lim_{d\rightarrow0}\frac{p(x)}{d}=\frac{d}{dx}f(x).$$
If the conjecture is true, take $p(x)=(n+1)^2$ of degree $2$ and $d=1$. Then the conjecture guranatees that $f(x)$ is a polynomial of degree $3$. With initial conditions $f(1)=1)$, $f(2)=5$, $f(3)=14$, and $f(4)=30$, polynomial interpolation yields $f(x)=\frac{x^3}{3}+\frac{x^2}{2}+\frac{x}{6}$ which is the correct sum of squares formula.