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

Click For Summary

Discussion Overview

The discussion centers on proving the inequality \(A^2+B^2+18C>0\) for a cubic polynomial \(P(x)=x^3+Ax^2+Bx+C\) with three real roots, at least two of which are distinct. Participants explore the implications of the roots' signs and the conditions under which the inequality holds.

Discussion Character

  • Technical explanation
  • Debate/contested

Main Points Raised

  • Some participants propose that if \(P(x)\) has three real roots, then \(A = -(a+b+c)\), \(B = bc+ca+ab\), and \(C = -abc\), leading to the need to prove \((a+b+c)^2 + (bc+ca+ab)^2 + 18abc > 0\).
  • It is suggested that using the geometric mean \(m = (abc)^{1/3}\) and applying the AM-GM inequality can help establish bounds on \(a+b+c\) and \(bc+ca+ab\).
  • One participant notes that if one or three roots are negative, then \(C\) will be positive, which would support the inequality, but raises concerns about the case where two roots are negative and one is positive.
  • A counterexample is presented: the polynomial \(x^3 + x^2 - x - 1 = (x+1)^2(x-1)\) with \(A=1\), \(B=C=-1\), resulting in \(A^2 + B^2 + 18C = -16 < 0\), suggesting that the problem may require additional conditions.
  • Another participant agrees that the existence of a counterexample indicates the need for a condition to exclude cases where two roots are negative.

Areas of Agreement / Disagreement

Participants express disagreement regarding the validity of the inequality under certain conditions, particularly concerning the signs of the roots. There is no consensus on whether the original problem statement is sufficient without additional conditions.

Contextual Notes

The discussion highlights the importance of the roots' signs and the implications for the inequality, indicating that the proof may depend on specific configurations of the roots.

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
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
1
Views
1K