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 (x21)(x+2)=x3+2x2x2. This obviously has real roots (they are 1,1,2), but its derivative is 3x2+4x1 which has roots at 2±76, 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 k1.

Proof: Let P(x)=(xw)kQ(x). Then P(x)=(xw)k1(kQ(x)+(xw)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 x1<<xk, then there are yk with x1<y1<x2<<yk1<xk and P(yi)=0.

Proof: Rolle’s theorem. P(xi)=P(xi+1)=0 so there is some yi with xi<yi<xi+1 and P(yi)=0.

Proof of theorem: Let x1<<xk be the roots of P with multiplicities ni. Then by Lemma 1 we have at least σ(ni1)=nk roots at the real values xi and by Lemma 2 we have k1 real yi with roots, giving us a total of nk+k1=n1 roots. P is a polynomial of degree n1 so only has n1 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.