There are univariate polyomials that the number of non-real roots is significantly larger than that of real roots. The simplest example is where is odd. It has one real root and non-real roots. In this post we show an example with exactly three distinct real roots no matter how large is the degree.
Fix three numbers and an odd positive integer . Consider the polynomial
Then this polynomial has exactly three distinct real roots. The author knows two methods to see this. The first one is using elementary calculus. The second method, which is more algebraic, is by applying Sturm’s Theorem.
We illustrate using one example. Let , , and . Then . Next, compute the Sturm sequence:
(These computations can be done easily using the command in )
Thus, at , the signs of are -ve, +ve, -ve, +ve, so there are three sign changes. But there are no sign changes when . Hence the number of distinct real roots is three by Sturm’s Theorem.
The author thinks this kind of phenomenon may be related to the sparsity of the polynomial, which may be something interesting for investigation.