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

Click For Summary
SUMMARY

The discussion centers on the polynomial inequality \(A^2 + B^2 + 18C > 0\) for the cubic polynomial \(P(x) = x^3 + Ax^2 + Bx + C\) with three real roots, at least two of which are distinct. It is established that if two roots are negative and one is positive, the inequality may not hold, as demonstrated by the counterexample \(x^3 + x^2 - x - 1 = (x+1)^2(x-1)\), where \(A = 1\), \(B = -1\), and \(C = -1\), yielding \(A^2 + B^2 + 18C = -16 < 0\). Thus, an additional condition is necessary to ensure the validity of the inequality.

PREREQUISITES
  • Understanding of polynomial functions and their roots
  • Familiarity with the AM-GM inequality
  • Knowledge of cubic polynomials and their coefficients
  • Ability to analyze inequalities involving polynomial expressions
NEXT STEPS
  • Study the implications of the AM-GM inequality in polynomial contexts
  • Investigate conditions for the existence of real roots in cubic polynomials
  • Explore additional constraints that can be applied to polynomial inequalities
  • Examine other counterexamples to polynomial inequalities for deeper understanding
USEFUL FOR

Mathematicians, students studying polynomial functions, and anyone interested in inequalities involving polynomial coefficients.

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.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
1K
Replies
1
Views
1K