MHB Can This Product Inequality Be Proven for Positive x and Natural n?

  • Thread starter Thread starter Albert1
  • Start date Start date
  • Tags Tags
    Inequality Proof
AI Thread Summary
The discussion focuses on proving the inequality $$ (1+x)\times\left(1+x^2 \right)\times\left(1+x^3 \right)\times\cdots\times\left(1+x^n \right)\geq\left(1+x^{\large{\frac{n+1}{2}}} \right)^n $$ for positive x and natural n. It is established that for x=1, both sides equal 2^n, leading to separate analyses for the cases where 0<x<1 and x>1. For x>1, a difference equation approach shows that the product α_n(x) is greater than or equal to the sequence γ_n(x) and the expression β_n(x). The case for 0<x<1 is set to be analyzed in a subsequent post, indicating a structured approach to proving the inequality. The discussion also references the AM-GM inequality to support the argument.
Albert1
Messages
1,221
Reaction score
0
Given:

$$x>0,\, n\in\mathbb{N}$$

Prove:

$$ (1+x)\times\left(1+x^2 \right)\times\left(1+x^3 \right)\times\cdots\times\left(1+x^n \right)\geq\left(1+x^{\large{\frac{n+1}{2}}} \right)^n$$
 
Last edited by a moderator:
Mathematics news on Phys.org
Albert said:
Given:

$$x>0,\, n\in\mathbb{N}$$

Prove:

$$ (1+x)\times\left(1+x^2 \right)\times\left(1+x^3 \right)\times\cdots\times\left(1+x^n \right)\geq\left(1+x^{\large{\frac{n+1}{2}}} \right)^n$$

Let's define...

$\displaystyle \alpha_{n} (x) = \prod_{k=1}^{n} (1 + x^{k})$

$\displaystyle \beta_{n} (x) = (1 + x^{\frac{n+1}{2}})^{n}\ (1)$

For x=1 is $\displaystyle \alpha_{n} = \beta_{n} = 2^{n}$, so that we analyse separately the two cases $\displaystyle 0<x<1$ and $\displaystyle x>1$. If $\displaystyle x>1$ we observe that $\alpha_{n}$ obeys to the difference equation...

$\displaystyle \alpha_{n+1} (x) = \alpha_{n}(x)\ (1+x^{n+1}),\ \alpha_{1}(x)= 1+x\ (2)$

... and if we call $\gamma_{n} (x)$ the sequence that obeys to the difference equation...

$\displaystyle \gamma_{n+1} (x) = \gamma_{n}(x)\ (1+x^{\frac{n+1}{2}}),\ \gamma_{1}(x)= 1+x\ (3)$

... we conclude that for $\displaystyle x>1$ is...

$\displaystyle \alpha_{n}(x) \ge \gamma_{n}(x) \ge \beta_{n}(x)\ (4)$

The case $\displaystyle 0 < x < 1$ will be analysed in next post...

Kind regards

$\chi$ $\sigma$
 
we have x^a + x^b >= 2x^(a+b)/2 by AM GM inequality

adding 1 + x^(a+b) on both sides we get

(1+x^a)(1+x^b) >= 1 + 2x^(a+b)/2 + x^(a+b) = ( 1+ x^(a+b)/2)^2

Putting b = n+ 1 -a we get

(1+x^a)(1+x^(n+1- a) >= (1+ x^(n+1)/2)^2

For n even taking a from 1 to n/2 we get n/2 expressions and multiplying them out we get

(1+x)(1+x^2)( 1 + x^3) .. (1+x^n) >= (1+ x^(n+1)/2)^n as

For n odd we have n-1 ( running a from 1 to (n-1)/2 we get (n-1)/2 pairs and

As (1+x^(n+1)/2)= (1+x^(n+1)/2) and multiplying we get the result
 
Albert said:
Given:

$$x>0,\, n\in\mathbb{N}$$

Prove:

$$ (1+x)\times\left(1+x^2 \right)\times\left(1+x^3 \right)\times\cdots\times\left(1+x^n \right)\geq\left(1+x^{\large{\frac{n+1}{2}}} \right)^n$$
Since $x^k + x^{n+1-k} - 2x^{(n+1)/2} = \bigl(x^{k/2} - x^{(n+1-k)/2}\bigr)^2 \geqslant0$, it follows that $x^k+ x^{n+1-k} \geqslant 2x^{(n+1)/2}.$ Add $1 + x^{n+1}$ to each side to see that $$(1+x^k)(1+x^{n+1-k}) = 1 + x^k+ x^{n+1-k} + x^{n+1} \geqslant 1 + 2x^{(n+1)/2} + x^{n+1} = \bigl(1 + x^{(n+1)/2}\bigr)^2.$$ If $n$ is even, multiply together the inequalities $(1+x^k)(1+x^{n+1-k}) \geqslant \bigl(1 + x^{(n+1)/2}\bigr)^2$ for $k=1,2,\ldots,n/2$ to get the result. If $n$ is odd, multiply the inequalities for $k=1,2,\ldots,(n-1)/2$, and then multiply each side by a further factor $(1 + x^{(n+1)/2})$.Edit. http://www.mathhelpboards.com/members/kaliprasad/ got there first.
 
Seemingly by some mathematical coincidence, a hexagon of sides 2,2,7,7, 11, and 11 can be inscribed in a circle of radius 7. The other day I saw a math problem on line, which they said came from a Polish Olympiad, where you compute the length x of the 3rd side which is the same as the radius, so that the sides of length 2,x, and 11 are inscribed on the arc of a semi-circle. The law of cosines applied twice gives the answer for x of exactly 7, but the arithmetic is so complex that the...
Is it possible to arrange six pencils such that each one touches the other five? If so, how? This is an adaption of a Martin Gardner puzzle only I changed it from cigarettes to pencils and left out the clues because PF folks don’t need clues. From the book “My Best Mathematical and Logic Puzzles”. Dover, 1994.
Thread 'Imaginary Pythagoras'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...

Similar threads

Replies
12
Views
2K
Replies
1
Views
678
Replies
6
Views
2K
Replies
7
Views
2K
Replies
4
Views
1K
Replies
1
Views
2K
Back
Top