DRMacIver's Notebook
Derivative of a polynomial with real roots
Derivative of a polynomial with real roots
Theorem: Let \(P\) be a polynomial with real roots. Its derivative, \(P'\), also has real roots.
Note that there is something essentially analytic going on here, because the theorem is false if you replace “real” with “rational”: Consider the polynomial \((x^2 - 1)(x + 2) = x^3 + 2x^2 - x -2\). This obviously has real roots (they are \(-1, 1, -2\)), but its derivative is \(3x^2 + 4x - 1\) which has roots at \(\frac{-2 \pm \sqrt{7}}{6}\), which are not rational.
This isn’t hard to prove but I found my first proof of it a little unsatisfying - there’s an easy bit and then an annoying thing you have to do to patch it up. I asked on Twitter for nice proofs, and there is indeed a nicer proof using an only modestly large hammer of the Gauss-Lucas theorem which I hadn’t previously encountered and is indeed very neat. This states that the roots of the derivative of any polynomial lie in the convex hull of the roots of the polynomial. In particular because the reals form a convex set, if the roots are real then so are the roots of the derivative.
This is a note about the other… I don’t really want to say it’s more elementary, because in some sense it’s less elementary, but the one that most people seemed to naturally reach for.
Lemma: Suppose \(P\) has a root at \(w\) with multiplicity \(k > 1\). Then \(P'\) has a root at \(w\) with multiplicity at least \(k - 1\).
Proof: Let \(P(x) = (x - w)^k Q(x)\). Then \(P'(x) = (x - w)^{k - 1}(k Q(x) + (x - w) Q'(x))\), so has a root of multiplicity at least $k - 1\0 desired (as the right hand side is a polynomial).
Lemma: Suppose \(P\) has distinct roots \(x_1 < \ldots < x_k\), then there are \(y_k\) with \(x_1 < y_1 < x_2 < \ldots < y_{k - 1} < x_k\) and \(P'(y_i) = 0\).
Proof: Rolle’s theorem. \(P(x_i) = P(x_{i + 1}) = 0\) so there is some \(y_i\) with \(x_i < y_i < x_{i + 1}\) and \(P'(y_i) = 0\).
Proof of theorem: Let \(x_1 < \ldots < x_k\) be the roots of \(P\) with multiplicities \(n_i\). Then by Lemma 1 we have at least \(\sigma (n_i - 1) = n - k\) roots at the real values \(x_i\) and by Lemma 2 we have \(k - 1\) real \(y_i\) with roots, giving us a total of \(n - k + k - 1 = n - 1\) roots. \(P'\) is a polynomial of degree \(n - 1\) so only has \(n - 1\) roots, thus we have accounted for them all.
As an amusing alternative you can use a density argument (the set of polynomials with distinct roots is dense in the set of polynomials with real roots, the derivative function is continuous on the set of polynomials of degree at most \(n\), and the set of polynomials with real roots is closed), but this seems like overkill.