MHB Roots of a Polynomial Function A²+B²+18C>0

anemone
Gold Member
MHB
POTW Director
Messages
3,851
Reaction score
115
If a polynomial $P(x)=x^3+Ax^2+Bx+C$ has three real roots at least two of which are distinct, prove that $A^2+B^2+18C>0$.
 
Mathematics news on Phys.org
anemone said:
If a polynomial $P(x)=x^3+Ax^2+Bx+C$ has three real roots at least two of which are distinct, prove that $A^2+B^2+18C>0$.
[sp]Let $a,b,c$ be the three (real) roots of $P(x)$. Then $A = -(a+b+c)$, $B = bc+ca+ab$ and $C = -abc$. So we want to prove that $$(a+b+c)^2 + (bc+ca+ab)^2 + 18abc > 0.$$

Let $m = (abc)^{1/3}$ be the geometric mean of $a,b,c$. Since those numbers are not all equal, the AM-GM inequality is strict, so that $a+b+c > 3m$. For the same reason, $bc+ca+ab > 3m^2$. Therefore $$(a+b+c)^2 + (bc+ca+ab)^2 + 18abc > 9m^2 + 9m^4 + 18m^3 = 9m^2(1-m)^2 \geqslant0.$$
[/sp]
 
Opalg said:
[sp]Let $a,b,c$ be the three (real) roots of $P(x)$. Then $A = -(a+b+c)$, $B = bc+ca+ab$ and $C = -abc$. So we want to prove that $$(a+b+c)^2 + (bc+ca+ab)^2 + 18abc > 0.$$

Let $m = (abc)^{1/3}$ be the geometric mean of $a,b,c$. Since those numbers are not all equal, the AM-GM inequality is strict, so that $a+b+c > 3m$. For the same reason, $bc+ca+ab > 3m^2$. Therefore $$(a+b+c)^2 + (bc+ca+ab)^2 + 18abc > 9m^2 + 9m^4 + 18m^3 = 9m^2(1-m)^2 \geqslant0.$$
[/sp]

Hello Opalg

Cannot apply AM-GM inequality as a,b,c are not positive
 
kaliprasad said:
Hello Opalg

Cannot apply AM-GM inequality as a,b,c are not positive
[sp]Good point – I completely overlooked that. However, if one or three of the roots are negative then $C$ will be positive, so the inequality $A^2+B^2+18C>0$ will certainly hold. So the remaining case to deal with is if two of the roots are negative and the third one is positive. I'll have to think about that ... .

[/sp]
Edit:
[sp]The polynomial $x^3 + x^2 - x - 1 = (x+1)^2(x-1)$ has $A=1$, $B=C=-1$, and $A^2 + B^2 + 18C = -16 <0$. So I think that the problem probably needed an extra condition to exclude the case where two of the roots are negative.

[/sp]
 
Last edited:
Opalg said:
[sp]
Edit:
[sp]The polynomial $x^3 + x^2 - x - 1 = (x+1)^2(x-1)$ has $A=1$, $B=C=-1$, and $A^2 + B^2 + 18C = -16 <0$. So I think that the problem probably needed an extra condition to exclude the case where two of the roots are negative.

[/sp]

I just checked the source of the problem, I didn't leave out anything. But you made the point, Opalg, that one such counterexample is suffice to disprove the validity of the problem. The problem is only valid if the condition to exclude the case where two of the real roots are negative is in place.
 
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.
Back
Top