Author |
Topic: Interesting inequality (Read 1234 times) |
|
wonderful
Full Member
Posts: 203
|
|
Interesting inequality
« on: Jun 30th, 2008, 8:18pm » |
Quote Modify
|
Can you generalize the result? Have A Great Day!
|
« Last Edit: Jul 1st, 2008, 1:25pm by wonderful » |
IP Logged |
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: Interesting inequality
« Reply #1 on: Jul 1st, 2008, 12:54am » |
Quote Modify
|
Shouldn't the second term have z2+2xz in the numerator ?
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
ThudnBlunder
Uberpuzzler
The dewdrop slides into the shining Sea
Gender:
Posts: 4489
|
|
Re: Interesting inequality
« Reply #2 on: Jul 1st, 2008, 5:54am » |
Quote Modify
|
on Jul 1st, 2008, 12:54am, towr wrote:Shouldn't the second term have z2+2xz in the numerator ? |
| Undoubtedly. If so, I get f(x,y,z) > 3, but what do I know?
|
|
IP Logged |
THE MEEK SHALL INHERIT THE EARTH.....................................................................er, if that's all right with the rest of you.
|
|
|
pex
Uberpuzzler
Gender:
Posts: 880
|
|
Re: Interesting inequality
« Reply #3 on: Jul 1st, 2008, 6:55am » |
Quote Modify
|
on Jul 1st, 2008, 5:54am, ThudanBlunder wrote: Undoubtedly. If so, I get f(x,y,z) > 3, but what do I know? |
| If we write f(x, y, z) = (y2 + 2yz) / (y - z)2 + (z2 + 2xz) / (x - z)2 + (x2 + 2xy) / (x - y)2, then isn't lim(m -> infinity) f(1, m, m2) = 1?
|
|
IP Logged |
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: Interesting inequality
« Reply #4 on: Jul 1st, 2008, 7:07am » |
Quote Modify
|
on Jul 1st, 2008, 6:55am, pex wrote:isn't lim(m -> infinity) f(1, m, m2) = 1? |
| That's what I was gonna say (well almost). Maybe we're supposed to assume x,y,z are integers?
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
pex
Uberpuzzler
Gender:
Posts: 880
|
|
Re: Interesting inequality
« Reply #5 on: Jul 1st, 2008, 7:09am » |
Quote Modify
|
on Jul 1st, 2008, 7:07am, towr wrote:Maybe we're supposed to assume x,y,z are integers? |
| Wouldn't the same counterexample still work? Edit: I realize you probably derived the counterexample the same way I did, using (1/m, 1, m). However, f is homogeneous of degree zero...
|
« Last Edit: Jul 1st, 2008, 7:10am by pex » |
IP Logged |
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: Interesting inequality
« Reply #6 on: Jul 1st, 2008, 7:19am » |
Quote Modify
|
on Jul 1st, 2008, 7:09am, pex wrote:Wouldn't the same counterexample still work? |
| Err, ahum, yes.. Quote:Edit: I realize you probably derived the counterexample the same way I did, using (1/m, 1, m). However, f is homogeneous of degree zero... |
| Actually, I used f(1/m2, 1/m, 1) Or rather, I picked two of them to be practically 0 (but of a different order)
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
ThudnBlunder
Uberpuzzler
The dewdrop slides into the shining Sea
Gender:
Posts: 4489
|
|
Re: Interesting inequality
« Reply #7 on: Jul 1st, 2008, 9:41am » |
Quote Modify
|
Can't we also say as n -> 0, m -> infinity then f(n, m, m2) -> 0? And as m -> infinity, f(m, m+1, z) -> infinity. Hence the expression can take all positive values.
|
|
IP Logged |
THE MEEK SHALL INHERIT THE EARTH.....................................................................er, if that's all right with the rest of you.
|
|
|
wonderful
Full Member
Posts: 203
|
|
Re: Interesting inequality
« Reply #8 on: Jul 1st, 2008, 1:27pm » |
Quote Modify
|
Thanks so much guys for pointing out some typos in the original question. I have revised accordingly. FYI, here is the revised one: Have A Great Day!
|
|
IP Logged |
|
|
|
wonderful
Full Member
Posts: 203
|
|
Re: Interesting inequality
« Reply #9 on: Jul 1st, 2008, 8:28pm » |
Quote Modify
|
Here is a more general version: Have A Great Day!
|
|
IP Logged |
|
|
|
pex
Uberpuzzler
Gender:
Posts: 880
|
|
Re: Interesting inequality
« Reply #10 on: Jul 3rd, 2008, 2:32pm » |
Quote Modify
|
hidden: | By symmetry, we lose no generality in assuming 0 < x < y < z. Additionally, by homogeneity, we may set z = 1. What remains is a function of two variables x and y. I haven't explicitly checked it, but it looks like the function is everywhere increasing in x, so that the function approaches its infimum as x -> 0. By continuity, we may set x = 0 for the moment to solve for y. The remaining function of one variable can be differentiated. After simplifying, we need to find the roots of a seventh-degree polynomial. Three of them are easy to locate (one is -1 and the others are the complex roots of x2 - x + 1); we are left with a fourth-degree polynomial. The roots of this polynomial can be found algebraically. The only one that lies between 0 and 1 is y = 3/4 + sqrt(5)/4 - sqrt(6*sqrt(5) - 2)/4. We calculate f(0, 3/4 + sqrt(5)/4 - sqrt(6*sqrt(5) - 2)/4, 1) = 5/2 + 5*sqrt(5)/2. | Thus, the greatest lower bound is k = 5/2 + 5*sqrt(5)/2, attained when x -> 0, y = 3/4 + sqrt(5)/4 - sqrt(6*sqrt(5) - 2)/4, and z = 1. We observe that k is approximately equal to 8.0902 > 4.
|
|
IP Logged |
|
|
|
wonderful
Full Member
Posts: 203
|
|
Re: Interesting inequality
« Reply #11 on: Jul 3rd, 2008, 5:09pm » |
Quote Modify
|
Well-done Pex! You arrive at the correct conclusion. Can you find a simpler solution? More particularly, can you find a way to come up with a simpler maximization programming? Have A Great Day!
|
|
IP Logged |
|
|
|
wonderful
Full Member
Posts: 203
|
|
Re: Interesting inequality
« Reply #12 on: Jul 4th, 2008, 2:26pm » |
Quote Modify
|
Hi Pex, I looked at your solution and really like some the maximization techniques you used in the proof. Thanks for sharing. Have A Great Day! P.S. There are other solutions. If anyone find out, please feel free to post here.
|
|
IP Logged |
|
|
|
|