|
|
#1 |
|
★★★★★
|
Challenging for you guys.. prove this.
if x^2+y^2+z^2=1 and x>0,y>0,z>0, then yz/x+zx/y+xy/z>=3^(1/2) |
|
|
|
|
|
#2 |
|
FFR Player
|
y helo mr homework
__________________
![]() Signature subject to change. THE ZERRRRRG. |
|
|
|
|
|
#3 |
|
is against custom titles
|
That function is just a unit sphere with the constraints limiting it to the all-positive octant, right?
Even with that information I have no idea where to start. I've never been able to prove things with ingenuity. --Guido http://andy.mikee385.com |
|
|
|
|
|
#4 | |
|
★★★★★
|
Quote:
|
|
|
|
|
|
|
#5 |
|
FFR Player
|
Does somebody want to give me an example when it equals MORE than the square root of 3? -_-
Because it is painfully clear that it can equal the square root of three. :P
__________________
![]() Signature subject to change. THE ZERRRRRG. |
|
|
|
|
|
#6 |
|
is against custom titles
|
I'm just glad I could recognize that much. =)
Anyway, (1/√3, 1/√3, 1/√3) seems to be a minimum from plugging that into the equation. From this point, the only ways to find other points is to lower the value for one point and raise the value of the other two, vice versa, or lower one, raise another, and keep one the same. So, raising one variable and lowering the other two to, say, 1/2, you get: (1/2, 1/2, √2/2). Plug that in and get 1.7677... > √3 Increasing two variables to, say, 1/√3+0.01, the point becomes: (1/√3+0.01, 1/√3+0.01, 0.556811748) and the result is something a little greater than √3. Keep one at 1/√3, raise the other to an arbitrary value, then calculate the third and you get a point like (2/3, √2/3, 1/√3). Put that into the equation and get 1.76907. So, with every possible point on that sphere the value is greater than or equal to √3. That's as close to a proof as I can get. --Guido http://andy.mikee385.com |
|
|
|
|
|
#7 |
|
Super Scooter Happy
|
I recommend taking partial derivatives, setting them equal to zero, and finding maxima and minima.
I'd attempt it but I'm really lazy right now.
__________________
I watched clouds awobbly from the floor o' that kayak. Souls cross ages like clouds cross skies, an' tho' a cloud's shape nor hue nor size don't stay the same, it's still a cloud an' so is a soul. Who can say where the cloud's blowed from or who the soul'll be 'morrow? Only Sonmi the east an' the west an' the compass an' the atlas, yay, only the atlas o' clouds. |
|
|
|
|
|
#8 |
|
is against custom titles
|
That was actually my first though, but I didn't want to bust out my CalIII notes. Plus, finding the maxima and minima is just intuitive.
--Guido http://andy.mikee385.com |
|
|
|
|
|
#9 |
|
Super Scooter Happy
|
You need Calc III notes for partial derivatives? All you have to do is treat all other variables as constants.
And I hope you don't need Calc III notes for solving a system of three equations and three unknowns.
__________________
I watched clouds awobbly from the floor o' that kayak. Souls cross ages like clouds cross skies, an' tho' a cloud's shape nor hue nor size don't stay the same, it's still a cloud an' so is a soul. Who can say where the cloud's blowed from or who the soul'll be 'morrow? Only Sonmi the east an' the west an' the compass an' the atlas, yay, only the atlas o' clouds. |
|
|
|
|
|
#10 |
|
is against custom titles
|
Nonono, I know how to take partial derivatives, but I can't remember what to do after that. I actually wrote it all down I could probably figure out what to do, but I didn't like Cal III, so it didn't stick too well.
--Guido http://andy.mikee385.com |
|
|
|
|
|
#11 |
|
FFR Player
Join Date: Apr 2005
Posts: 9
|
I don't know why you guys are going on about calculus and whatnot, all you need to solve this is the AM-GM inequality:
AM-GM states: If you have n numbers x1, x2, ... , xn then their arithmetic mean is greater than or equal to their geometric mean. In other terms: (x1 + x2 + ... + xn) / n >= sqrt(x1 * x2 * ... * xn) We only need to apply this twice to get our answer. First, use AM-GM w/r/t the expression x^2 + y^2 + z^2: (x^2 + y^2 + z^2)/3 >= sqrt(x^2 * y^2 * z^2) = xyz (since x, y, z all positive) By substitution: 1/3 <= xyz And therefore: sqrt(1/3) <= sqrt(xyz) (i) We'll use (i) after we apply the AM-GM to: xy/z + zy/x + xz/y as follows: (xy/z + xz/y + zy/x)/3 >= sqrt(xy/z * zx/y * zy/x) = sqrt(x^2 * y^2 * z^2 / xyz) -> xy/z + xz/y + zy/x >= 3 * sqrt(xyz) >= 3 * sqrt(1/3) = 3 / sqrt(3) = (3 * sqrt(3)) / 3 = sqrt(3) Therefore, xy/z + xz/y + zy/x >= sqrt(3). Q.E.D. (and no calculus in sight). This is just a quick sketch and some details might be wrong, but I think that this is the general idea. --- For more information on the AM-GM inequality: http://mathworld.wolfram.com/ArithmeticMean.html They use this inequality alot in math contests such as the Putnam, the AMC/AIME/USAMO/IMO track, etc. It's not terribly hard to prove either ![]() -Bigsley |
|
|
|
|
|
#12 |
|
FFR Player
|
yeah... and awww I just got such fond childhood memories of AIME and USAMO... stupid me never getting to go to IMO boot camp, although my friend made it in IPO (the physics version) and got best female world I think.
Anyways, what I miss more then any of those easy contests is ARML ... anyone ever do that? Weekends at Penn State, so fun.
__________________
but for now... postCount++
|
|
|
|
|
|
#13 |
|
FFR Player
|
Woa. What class did you all find this one in. Im in algebra. KTHNKSBAI I FAILD'. But really, I know this is not any form of an equation that I have seen before. *adjusts glasses for further inspection*
__________________
![]() R^3 Skin God R^3 Engine Skin Curator |
|
|
|
|
|
#14 | |
|
★★★★★
|
Quote:
AM-GM inequality means (x1 + x2 + ... + xn) / n >= (x1 * x2 * ... * xn)^(1/n) not sqrt [^(1/2)]. In this case n=3, therefore (x^2 + y^2 + z^2) / 3 >= (x * y * z)^(2/3) is right. AM-GM inequality is useful for solution of this problem though. |
|
|
|
|
|
|
#15 |
|
FFR Player
Join Date: Apr 2005
Posts: 9
|
*shrug*
I think I actually did this problem once. I don't quite remember how though... ![]() -Bigsley |
|
|
|
|
|
#16 |
|
★★★★★
|
Okay, I'll show you the proof of this problem, it was hard.
Since x>0, y>0, z>0, then yz/x+zx/y+xy/z >= 3^(1/2) ... (A) <=> (yz/x+zx/y+xy/z)^2 >= (3^(1/2) )^2 <=> y^2*z^2/x^2 + z^2*x^2/y^2 + x^2*y^2/z^2 + 2(x^2 + y^2 + z^2) >= 3 Here we apply x^2 + y^2 + z^2 = 1, <=> y^2*z^2/x^2 + z^2*x^2/y^2 + x^2*y^2/z^2 - (x^2 + y^2 + z^2) >= 0 ... (B) (A) is equivalent to (B), so we need to prove (B). Here we apply AM-GM inequality [(X+Y)/2 >= sqrt(XY)] provided that x>0, y>0, z>0, (y^2*z^2/x^2 + z^2*x^2/y^2) / 2 >= sqrt(y^2*z^2/x^2 * z^2*x^2/y^2) = z^2 <=> (y^2*z^2/x^2 + z^2*x^2/y^2) / 2 - z^2 >= 0 ... (C) In the same way, (y^2*z^2/x^2 + x^2*y^2/z^2) / 2 - y^2 >= 0 ... (D) (z^2*x^2/y^2 + x^2*y^2/z^2) / 2 - x^2 >= 0 ... (E) From (C), (D), (E), inequality (B) is proved. so yz/x+zx/y+xy/z >= 3^(1/2) // Q.E.D. |
|
|
|
|
|
#17 |
|
FFR Player
Join Date: Feb 2005
Posts: 9
|
i hate math
![]() |
|
|
|
![]() |
| Currently Active Users Viewing This Thread: 1 (0 members and 1 guests) | |
|
|