Is this inequality proof possible without induction?

AI Thread Summary
The discussion centers around proving the inequality a^{n+1} ≥ ∏_{i=0}^n x_i without using induction. The original poster explores the base case and attempts to establish a relationship between a and the x_i values. They conclude that if the function f(x) = (x - 1)/(1 + x) is increasing, then a must be greater than x for all n. However, they express uncertainty about the validity of their reasoning and seek confirmation on whether the inequality holds true under the given conditions. The conversation highlights the complexities involved in proving inequalities without induction.
teleport
Messages
240
Reaction score
0

Homework Statement



If we know that (\frac{a - 1}{1 + a})^{n + 1} \geq \displaystyle\prod_{i=0}^n\frac{x_i - 1}{1+x_i} is the inequality
a^{n+1} \geq \displaystyle\prod_{i=0}^n\ x_i true? Prove your answer.

Homework Equations



Not sure

The Attempt at a Solution



I tried induction:

The base n = 0 works.

Assume it works for n -1

Proving it works for n:

a^{n +1} = aa^n \geq a\displaystyle\prod_{i=0}^{n - 1} x_i<br /> <br /> = \frac{a}{x_n}\displaystyle\prod_{i=0}^{n} x_i.

Now it would be great if I could assume that if it works for n = 0 then
a \geq x_0 and therefore a \geq x for all n since I can allways permute the highest of the x and set it as x_0. If this is true, then I would get the result immediately. But I don't really know if I could do this. Any help is appreciated. I am very interested to see if the inequality could be proven without induction. Thanks for any comments.
 
Last edited:
Physics news on Phys.org
wow my latex sucks. sorry for that. I am trying to fix some
 
Can it be proven here that a \geq x for all n, or should I just say that the inequality is true iff a \geq x for all n?
 
Oh I got it now. I didn't realize that

(\frac{a - 1}{a + 1})^{n + 1} <br /> <br /> = \displaystyle\prod_{i=0}^n\ (\frac{a - 1}{a + 1}) <br /> <br /> \geq \displaystyle\prod_{i=0}^n\ \frac{x - 1}{1 + x}.

But since

f(x) = \frac{x - 1}{1 + x}

is an increasing function, then a must be greater than x for all n. Is this reasoning correct? I am suspicious of that. I need some confirmation. Thanks
 
Last edited:
Wait, no I don't think that's true. Man!
 
I tried to combine those 2 formulas but it didn't work. I tried using another case where there are 2 red balls and 2 blue balls only so when combining the formula I got ##\frac{(4-1)!}{2!2!}=\frac{3}{2}## which does not make sense. Is there any formula to calculate cyclic permutation of identical objects or I have to do it by listing all the possibilities? Thanks
Since ##px^9+q## is the factor, then ##x^9=\frac{-q}{p}## will be one of the roots. Let ##f(x)=27x^{18}+bx^9+70##, then: $$27\left(\frac{-q}{p}\right)^2+b\left(\frac{-q}{p}\right)+70=0$$ $$b=27 \frac{q}{p}+70 \frac{p}{q}$$ $$b=\frac{27q^2+70p^2}{pq}$$ From this expression, it looks like there is no greatest value of ##b## because increasing the value of ##p## and ##q## will also increase the value of ##b##. How to find the greatest value of ##b##? Thanks
Back
Top