What is the proof for this polynomial inequality problem?

  • Context: MHB 
  • Thread starter Thread starter CaptainBlack
  • Start date Start date
  • Tags Tags
    Inequality Polynomial
Click For Summary
SUMMARY

The polynomial inequality problem discussed involves proving that for a polynomial \(P(x) = x^n + a_1x^{n-1} + ... + a_{n-1}x + 1\) with non-negative coefficients and \(n\) real roots, it holds that \(P(2) \ge 3^n\). The discussion utilizes the AM-GM inequality and properties of polynomial roots, specifically that \(P(x) = \prod_{i=1}^n (x + a_i)\) with \(a_i > 0\) and \(\prod_{i=1}^n a_i = 1\). The conclusion is reached by applying the AM-GM inequality to each factor of \(P(2)\) and establishing that \(P(k) \ge (k+1)^n\) for any positive integer \(k\).

PREREQUISITES
  • Understanding of polynomial functions and their properties
  • Familiarity with the AM-GM inequality
  • Knowledge of real roots and their implications on polynomial behavior
  • Ability to manipulate inequalities and polynomial expressions
NEXT STEPS
  • Study the application of the AM-GM inequality in polynomial contexts
  • Explore polynomial root properties and their implications on coefficients
  • Learn about Descartes' rule of signs for determining the number of positive roots
  • Investigate generalizations of polynomial inequalities beyond the specific case discussed
USEFUL FOR

Mathematicians, students studying inequalities, and anyone interested in advanced polynomial theory and its applications in mathematical proofs.

CaptainBlack
Messages
801
Reaction score
0
I may have posted this back in the Old Country, but:

let the polynomial: \[P(x)=x^n+a_1X^{n-1}+ ... + a_{n-1}x+1 \] have non-negative coeficients and \(n\) real roots.

Prove that \(P(2)\ge 3^n \)

CB
 
Mathematics news on Phys.org
A hint would be appreciated.
 
Sherlock said:
A hint would be appreciated.

I think $3^n=(2+1)^n=\sum_{k=0}^n\dbinom{n}{k}2^k$ will be used somewhere.
 
Last edited:
Sherlock said:
A hint would be appreciated.

Will do when I am at home with my notes, but to get you started the non-negativity of the coefficients tell you that there are no positive roots (there is a supprise, CaptainBlack uses Descartes rule of signs). And that there are \(n\) real roots means that:

\[ P(x)=\prod_{i=1}^n(x+a_i),\ \ \ a_i>0 \]

and:

\[ \prod_{i=1}^n a_i=1 \]

CB
 
Last edited:
And the only other idea involved is the AM-GM inequality

CB
 
Last edited:
I've sort of a set-up so far. I'm trying to work backwards but I think I'm missing a step.

$\displaystyle 3^n = \bigg[2+\prod_{1 \le k \le n}a_{k}\bigg]^n \le \bigg[2+\bigg(\prod_{1 \le k \le n}a_{k}\bigg)^{\frac{1}{n}}\bigg]^n \le \bigg[2+\frac{1}{n}\sum_{1 \le k \le n}a_{k}\bigg]^n = \bigg[\frac{1}{n}\sum_{1 \le k \le n}(2+a_{k})\bigg]^{n} \ge \prod_{k=1}^{n}(2+a_{k}) = P(2).$

Is there a missing inequality here that fixes this? I'm really no good with inequalities! (Giggle)

---------- Post added at 03:17 AM ---------- Previous post was at 03:13 AM ----------

Alexmahone said:
I think $3^n=(2+1)^n=\sum_{k=0}^n\dbinom{n}{k}2^k$ will be used somewhere.
I've tried that (by creating a double sum, although I've no idea why) but to no avail unfortunately.
 
Sherlock said:
I've sort of a set-up so far. I'm trying to work backwards but I think I'm missing a step.

$\displaystyle 3^n = \bigg[2+\prod_{1 \le k \le n}a_{k}\bigg]^n \le \bigg[2+\bigg(\prod_{1 \le k \le n}a_{k}\bigg)^{\frac{1}{n}}\bigg]^n \le \bigg[2+\frac{1}{n}\sum_{1 \le k \le n}a_{k}\bigg]^n = \bigg[\frac{1}{n}\sum_{1 \le k \le n}(2+a_{k})\bigg]^{n} \ge \prod_{k=1}^{n}(2+a_{k}) = P(2).$

Is there a missing inequality here that fixes this? I'm really no good with inequalities! (Giggle)

---------- Post added at 03:17 AM ---------- Previous post was at 03:13 AM ----------

I've tried that (by creating a double sum, although I've no idea why) but to no avail unfortunately.

Use the AM-GM inequality on each factor of \(P(2)\):

$$ 2+a_i=1+1+a_i \ge 3(1\times 1\times a_i)^{1/3} $$

CB
 
Last edited:
CaptainBlack said:
Use the AM-GM inequality on each factor of \(P(2)\):

$$ 2+a_i=1+1+a_i \ge 3(1\times 1\times a_i)^{1/3} $$

CB
Which of course tells us that the more general result holds:

For any positive integer \(k\) we have \( P(k)\ge (k+1)^n \)

CB
 
Let P(x)=(x+b1)(x+b2)(x+b3)------------(x+bn)

if bi=1 (i=1,2,---------------n) then

$P(x)=(x+1)^n$

$ \therefore P(2)=(2+1)^n=3^n$

for some bi and bj (here bi and bj are not equal to 1 ,then bi and bj are

reciprocal to each other (again i,j=1,2,----n )

let bi=k (k>0) ,then bj=$\dfrac {1}{k}$

$ \therefore P(x)=(x+1)^{n-2}(x+k)(x+\dfrac {1}{k})$

$( \because 2k+\dfrac {2}{k}>4) $

$ \therefore P(2)=(2+1)^{n-2}(2+k)(2+\dfrac {1}{k})> 3^n$
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 48 ·
2
Replies
48
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K