I am looking for a proof that does not use derivatives of the elementary theorem given in the title:
Theorem: A polynomial $p:\mathbb{R}\to\mathbb{R}$ of degree $n$ cannot have more than $n-1$ local extrema.
Of course, the proof is really easy using derivatives, but for teaching reasons (and curiosity) I am interested in finding a proof that avoids them and uses only elementary facts about polynomials. I found one that uses derivatives only in disguise (see below), but I'd be glad if someone has a better one.
Here goes the proof. First, it is possible to define a `formal derivative' $p'(x)$ of a given polynomial $p(x)$ only by its action on the monomials, that is: $a\cdot x^k$ becomes $ka\cdot x^{k-1}$. (It seems that it is exactly what Rolle did when proving the first version of Rolle's Theorem in 1691, which predates calculus and was done only for polynomials.) Then, it is easy to show that the formal derivative obeys the usual product rule and that $p'(x)=q'(x)$ if $b\in\mathbb{R}$ and $q(x)=p(x)+b$. Now, observe that $a\in\mathbb{R}$ is a local extremum of $p(x)$ iff $(p(x) - p(a)) = (x-a)^2\cdot q(x)$ for some $q(x)$. The reason is that $p(x)-p(a)$ touches but does not cross the horizontal axis at $a$, so it must be divisible by $(x-a)^2$. By the product rule, $p'(a) = 0$, hence there is no more than $n-1$ local extrema since $p'(x)$ is of degree $n-1$.
While we don't need to define conceptually the derivative for this proof to work, it feels like an ad-hoc cheat to use them anyway, and we must take the pain of proving the product rule. But maybe there is no way out.