MHB Does the Polynomial $P(x)=x^3+mx^2+nx+k$ Have Three Distinct Real Roots?

anemone
Gold Member
MHB
POTW Director
Messages
3,851
Reaction score
115
A polynomial $P(x)=x^3+mx^2+nx+k$ is such that $n<0$ and $mn=9k$.

Prove that the polynomial has three distinct real roots.
 
Mathematics news on Phys.org
anemone said:
A polynomial $P(x)=x^3+mx^2+nx+k$ is such that $n<0$ and $mn=9k$.

Prove that the polynomial has three distinct real roots.

If $m = 0$, then $k = 0$ and $P(x) = x^3 + nx$. So $P$ has three real distinct roots: $0, \sqrt{-n}$ and $-\sqrt{-n}$.

Now suppose $m \neq 0$. If $m > 0$, then $P(x)$ has one sign change and $P(-x)$ has two sign changes. By Descartes' rule of signs, $P$ has one positive root and zero or two negative roots. Since $P(0) = \frac{mn}{9}$ and $P(-m) = -\frac{8mn}{9}$ have opposite signs, the intermediate value theorem ensures that $P$ has a negative root. Therefore $P$ has two negative roots. By a similar argument, if $m < 0$, then $P$ has one negative root and two positive roots. Hence in both cases, $P$ has three real roots, two of which have different signs. So it suffices to show that $P$ has no double root.

Since $P$ is cubic, if it has a double root, then that root is a critical point. The critical points of $P$ are $\frac{-m+\sqrt{m^2-3n}}{3}$ and $\frac{-m-\sqrt{m^2-3n}}{3}$. Neither of these satisfy $P$. Indeed, by the second derivative test, these points give a global min and max for $P$. But $P$ is nonconstant, so they cannot be roots of $P$. So, $P$ has no double root. Therefore, $P$ has three distinct real roots, with exactly two roots of the same sign.
 
Well done, Euge! And thanks for participating!

Here is one solution that I saw online that approaches it differently than you, so I will share it with you and the rest of the members:

Consider the derivative $P'(x)=3x^2+2mx+n$. Since $n<0$, it has two real roots $x_1$ and $x_2$. Since $P(x)\rightarrow \pm \infty$ as $x\rightarrow \pm \infty$, it is sufficient to check that $P(x_1)$ and $P(x_2)$ have different signs, i.e., $P(x_1)P(x_2)<0$.

Dividing $P(x)$ by $P'(x)$ and using the equality $mn=9k$, we find that the remainder is equal to $x\left(\dfrac{2n}{3}-\dfrac{2m^2}{9}\right)$. Now, as $x_1x_2=\dfrac{n}{3}<0$, we have $P(x_1)P(x_2)=x_1x_2\left(\dfrac{2n}{3}-\dfrac{2m^2}{9}\right)^2<0$ and we're done.
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
I'm interested to know whether the equation $$1 = 2 - \frac{1}{2 - \frac{1}{2 - \cdots}}$$ is true or not. It can be shown easily that if the continued fraction converges, it cannot converge to anything else than 1. It seems that if the continued fraction converges, the convergence is very slow. The apparent slowness of the convergence makes it difficult to estimate the presence of true convergence numerically. At the moment I don't know whether this converges or not.

Similar threads

Back
Top