Go Back   Flash Flash Revolution: Community Forums > General Discussion > Critical Thinking
Register FAQ Community Calendar Today's Posts Search

Reply
 
Thread Tools Display Modes
Old 04-10-2005, 11:24 AM   #1
jimerax
Retired StaffFFR Simfile AuthorFFR Music ProducerFFR Veteran
 
jimerax's Avatar
 
Join Date: Nov 2003
Location: Tokyo
Posts: 8,185
Send a message via AIM to jimerax Send a message via MSN to jimerax Send a message via Skype™ to jimerax
Default Math Problem

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)
jimerax is offline   Reply With Quote
Old 04-10-2005, 11:26 AM   #2
QreepyBORIS
FFR Player
 
QreepyBORIS's Avatar
 
Join Date: Feb 2003
Location: It is a mystery.
Age: 30
Posts: 7,454
Send a message via AIM to QreepyBORIS Send a message via MSN to QreepyBORIS
Default RE: Math Problem

y helo mr homework
__________________

Signature subject to change.

THE ZERRRRRG.
QreepyBORIS is offline   Reply With Quote
Old 04-10-2005, 11:36 AM   #3
GuidoHunter
is against custom titles
FFR Veteran
 
GuidoHunter's Avatar
 
Join Date: Oct 2003
Location: Texas
Age: 36
Posts: 7,379
Send a message via AIM to GuidoHunter Send a message via Skype™ to GuidoHunter
Default

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
__________________

Quote:
Originally Posted by Grandiagod View Post
Quote:
Originally Posted by Grandiagod View Post
She has an asshole, in other pics you can see a diaper taped to her dead twin's back.
Sentences I thought I never would have to type.
GuidoHunter is offline   Reply With Quote
Old 04-10-2005, 03:39 PM   #4
jimerax
Retired StaffFFR Simfile AuthorFFR Music ProducerFFR Veteran
 
jimerax's Avatar
 
Join Date: Nov 2003
Location: Tokyo
Posts: 8,185
Send a message via AIM to jimerax Send a message via MSN to jimerax Send a message via Skype™ to jimerax
Default

Quote:
Originally Posted by GuidoHunter
That function is just a unit sphere with the constraints limiting it to the all-positive octant, right?
Yea right, but I think this fact doesn't help a lot for solution.
jimerax is offline   Reply With Quote
Old 04-10-2005, 04:04 PM   #5
QreepyBORIS
FFR Player
 
QreepyBORIS's Avatar
 
Join Date: Feb 2003
Location: It is a mystery.
Age: 30
Posts: 7,454
Send a message via AIM to QreepyBORIS Send a message via MSN to QreepyBORIS
Default

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.
QreepyBORIS is offline   Reply With Quote
Old 04-10-2005, 05:49 PM   #6
GuidoHunter
is against custom titles
FFR Veteran
 
GuidoHunter's Avatar
 
Join Date: Oct 2003
Location: Texas
Age: 36
Posts: 7,379
Send a message via AIM to GuidoHunter Send a message via Skype™ to GuidoHunter
Default

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
__________________

Quote:
Originally Posted by Grandiagod View Post
Quote:
Originally Posted by Grandiagod View Post
She has an asshole, in other pics you can see a diaper taped to her dead twin's back.
Sentences I thought I never would have to type.
GuidoHunter is offline   Reply With Quote
Old 04-10-2005, 06:33 PM   #7
Kilgamayan
Super Scooter Happy
FFR Simfile Author
 
Kilgamayan's Avatar
 
Join Date: Feb 2003
Location: Location, Location.
Age: 36
Posts: 6,584
Send a message via AIM to Kilgamayan
Default

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.
Kilgamayan is offline   Reply With Quote
Old 04-10-2005, 06:35 PM   #8
GuidoHunter
is against custom titles
FFR Veteran
 
GuidoHunter's Avatar
 
Join Date: Oct 2003
Location: Texas
Age: 36
Posts: 7,379
Send a message via AIM to GuidoHunter Send a message via Skype™ to GuidoHunter
Default

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
__________________

Quote:
Originally Posted by Grandiagod View Post
Quote:
Originally Posted by Grandiagod View Post
She has an asshole, in other pics you can see a diaper taped to her dead twin's back.
Sentences I thought I never would have to type.
GuidoHunter is offline   Reply With Quote
Old 04-10-2005, 07:01 PM   #9
Kilgamayan
Super Scooter Happy
FFR Simfile Author
 
Kilgamayan's Avatar
 
Join Date: Feb 2003
Location: Location, Location.
Age: 36
Posts: 6,584
Send a message via AIM to Kilgamayan
Default

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.
Kilgamayan is offline   Reply With Quote
Old 04-10-2005, 07:06 PM   #10
GuidoHunter
is against custom titles
FFR Veteran
 
GuidoHunter's Avatar
 
Join Date: Oct 2003
Location: Texas
Age: 36
Posts: 7,379
Send a message via AIM to GuidoHunter Send a message via Skype™ to GuidoHunter
Default

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
__________________

Quote:
Originally Posted by Grandiagod View Post
Quote:
Originally Posted by Grandiagod View Post
She has an asshole, in other pics you can see a diaper taped to her dead twin's back.
Sentences I thought I never would have to type.
GuidoHunter is offline   Reply With Quote
Old 04-12-2005, 10:22 AM   #11
bigsleytheoaf
FFR Player
 
Join Date: Apr 2005
Posts: 9
Default woah

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
bigsleytheoaf is offline   Reply With Quote
Old 04-12-2005, 02:14 PM   #12
blahblah18
FFR Player
 
blahblah18's Avatar
 
Join Date: Aug 2004
Location: NOW BLAHTOPIA
Posts: 1,662
Send a message via AIM to blahblah18
Default RE: woah

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++

blahblah18 is offline   Reply With Quote
Old 04-12-2005, 02:21 PM   #13
Linkisdoomed
FFR Player
 
Linkisdoomed's Avatar
 
Join Date: May 2004
Location: Where empty thoughts die.
Age: 31
Posts: 594
Send a message via MSN to Linkisdoomed Send a message via Skype™ to Linkisdoomed
Default RE: woah

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
Linkisdoomed is offline   Reply With Quote
Old 04-12-2005, 09:13 PM   #14
jimerax
Retired StaffFFR Simfile AuthorFFR Music ProducerFFR Veteran
 
jimerax's Avatar
 
Join Date: Nov 2003
Location: Tokyo
Posts: 8,185
Send a message via AIM to jimerax Send a message via MSN to jimerax Send a message via Skype™ to jimerax
Default Re: woah

Quote:
Originally Posted by bigsleytheoaf
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.
I thought it is proved at the first time I saw it.. but it's wrong.

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.
jimerax is offline   Reply With Quote
Old 04-12-2005, 10:06 PM   #15
bigsleytheoaf
FFR Player
 
Join Date: Apr 2005
Posts: 9
Default oh yeah

*shrug*

I think I actually did this problem once. I don't quite remember how though...



-Bigsley
bigsleytheoaf is offline   Reply With Quote
Old 04-19-2005, 07:11 AM   #16
jimerax
Retired StaffFFR Simfile AuthorFFR Music ProducerFFR Veteran
 
jimerax's Avatar
 
Join Date: Nov 2003
Location: Tokyo
Posts: 8,185
Send a message via AIM to jimerax Send a message via MSN to jimerax Send a message via Skype™ to jimerax
Default

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.
jimerax is offline   Reply With Quote
Old 04-20-2005, 09:20 AM   #17
lorianne
FFR Player
 
Join Date: Feb 2005
Posts: 9
Default

i hate math
lorianne is offline   Reply With Quote
Reply


Currently Active Users Viewing This Thread: 1 (0 members and 1 guests)
 

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off

Forum Jump



All times are GMT -5. The time now is 10:31 PM.


Powered by vBulletin® Version 3.8.1
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.
Copyright FlashFlashRevolution