
#1
Feb1613, 11:56 PM

P: 308

I have proven to n=3 an inequality that seems useful. x_{1}^{n}+...+x_{n}^{n}≥nx_{1}...x_{n} for all positive x.
I'm sure this has been proven before. I'm not quite sure how to extend it from n=3 to for all n. I'm thinking induction, but that has proven challenging. Any hints? 



#2
Feb1713, 01:43 AM

Sci Advisor
P: 778

This is a special case of the generalised mean inequality. You have coupled the number of variables with the index, they should be separate. Then you want to show that the mean is monotonically increasing in the index.




#3
Feb1713, 04:15 AM

P: 688

Don't you require the x's to be >= 1 ? For example, 0.1^2 + 0.2^2 + 0.3^2 < 2*(0.1 + 0.2 + 0.3).
(I assume that, on the righthand side, n multiplies the whole sum, which is not clear in the OP.) P.S.: Actually, also 1.1^3 + 1.2^3 + 1.3^3 < 3*(1.1 + 1.2 + 1.3). So i'm at a bit of a loss. 



#4
Feb1713, 04:51 AM

HW Helper
P: 3,436

A conjecture 



#5
Feb1713, 05:05 AM

P: 688

Ah... thanks, Mentallic.
Still, 10^3 + 11^3 + 12^3 + 13^3 < 3*10*11*12*13 < 4*10*11*12*13. (Not sure yet if the RHS multiplier is to be the power or the number of terms  though I can't find a counterexample if both are actually coupled.) 



#6
Feb1713, 05:21 AM

HW Helper
P: 3,436

Take careful notice of where the constant n is used in the inequality:
[tex]x_1^n+x_2^n+...+x_{n1}^n+x_n^n \geq n\cdot x_1x_2...x_{n1}x_n[/tex] So what this means you should do is to take some value n, say, n=4, and now you need to choose 4 real positive numbers because we need to assign a value to [itex]x_1,x_2,x_3,x_4[/itex] since the inequality tells us to go up to [itex]x_n=x_4[/itex]. So if we used [itex]x_1 = 5, x_2 = 6, x_3 = 20, x_4 = 31[/itex] then we'd have [tex]5^4+6^4+20^4+31^4 \geq 4\cdot 5\cdot 6\cdot 20\cdot 31[/tex] If we used n=10 then we'd need to go up to [itex]x_{10}[/itex] and the LHS will use powers of 10. [tex]10^4+11^4+12^4+13^4 \geq 4\cdot 10\cdot 11\cdot 12\cdot 13[/tex] Don't sweat making the mistake though, all these [itex]x_n[/itex]'s can be quite daunting at first sight, and unless they were clearly explained to you which it doesn't seem like they were, you're going to have a tough time guessing what they mean. At least, I know I used to! 



#7
Feb1713, 05:39 AM

P: 688

Ah, thanks again. Then the power and the number of terms *need* to be coupled. Using the namings in the wiki page for the generalized mean inequality,[tex]M_0(x_1,x_2,...,x_n) \le M_n(x_1,x_2,...,x_n)[/tex] because 0 < n. Then raise each side to the nth power to remove the nth roots.
Though I can't say I understand the inequality, or know how to prove it, being the first time I see it. :) 



#8
Feb1713, 06:06 AM

Mentor
P: 16,576

So in general, if [itex]w_1,...,w_n\in [0,1][/itex] with [itex]w_1+...+w_n=1[/itex], then we have
[tex]x_1^{n\cdot w_1}\cdot ...\cdot x_n^{n\cdot w_n} \leq w_1x_1^n + ... + w_nx_n^n[/tex] The original inequality has [itex]w_i=1/n[/itex]. Even more general, we have Jensen's inequality that states that for any function [itex]\varphi:(0,+\infty)\rightarrow \mathbb{R}[/itex] such that [itex]\varphi^{\prime\prime}(t)\leq 0[/itex] for all t, then [tex]w_1\varphi(y_1)+...+w_n\varphi(y_n)\leq \varphi\left(w_1y_1 + ... + w_ny_n\right)[/tex] The original inequlaity follows with [itex]\varphi = \log[/itex] and [itex]y_i = x_i^n[/itex]. 



#9
Feb1713, 07:12 AM

P: 688

Ah, I see... if, with weights [itex]w_i = 1/n[/itex] you were to choose an arbitrary power, say [itex]y_i = x_i^k[/itex], then in order to make [itex]\sqrt[n]{x_1^k x_2^k x_3^k ...} = x_1 x_2 x_3 ...[/itex] at that point is where you would need [itex]k=n[/itex].
in other words, with a different power the inequality would look like[tex]x_1^k + x_2^k + ... + x_n^k \ge n \sqrt[n]{x_1^k x_2^k ... x_n^k}[/tex] Thanks for a very informative post, micromass... (but now I have a lot to read :) 



#10
Feb1713, 11:17 AM

P: 308

Wow, this has been an extremely helpful thread. Thanks everyone! I knew I wasn't the first to think of this. It's definitely a useful inequality.
I really appreciate the help, I'll look over the wiki page. 


Register to reply 
Related Discussions  
A Conjecture on the Collatz Conjecture  Linear & Abstract Algebra  1  
a CONJECTURE (could someone help ? )  Calculus  1  
New Conjecture  Linear & Abstract Algebra  8  
Proof of Golbach's conjecture and the twin prime conjecture  Linear & Abstract Algebra  9  
My Conjecture  General Discussion  0 