Let x , y , z be positive real numbers such that x 2 + y 2 + z 2 = 2 ( x y + y z + z x ) . FInd the maximum value of ( x + y + z ) ( x 2 + y 2 + z 2 ) ( x 3 + y 3 + z 3 ) ( x 4 + y 4 + z 4 ) x 1 0 + y 1 0 + z 1 0 to 4 decimal places.
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
That's a great solution! Thanks!
Such a Brilliant solution!
Log in to reply
I didn't expect this, for real ;)
Log in to reply
Ya, who can know if he\she can make a Brilliant solution? Hahaha.
We know x = y + z by @Steven Jim 's solution.
Let F = ( x + y + z ) ( x 2 + y 2 + z 2 ) ( x 3 + y 3 + z 3 ) ( x 4 + y 4 + z 4 ) x 1 0 + y 1 0 + z 1 0
compute that, we get
F = ( y + z + 2 y z + y + z ) ( ( y + z + 2 y z ) 2 + y 2 + z 2 ) ( ( y + z + 2 y z ) 3 + y 3 + z 3 ) ( ( y + z + 2 y z ) 4 + y 4 + z 4 ) ( y + z + 2 y z ) 1 0 + y 1 0 + z 1 0
Seems that F is a homogeneous term of t , so all divides by z 1 0 , we get
F = k = 1 ∏ 4 ( ( z y + 1 + 2 z y ) k + ( z y ) k + 1 ) ) ( z y + 1 + 2 z y ) 1 0 + ( z y ) 1 0 + 1
Obviously, 1 + 2 + 3 + 4 = 1 0 . Then, let t = z y
F ( t ) = k = 1 ∏ 4 ( ( t + 1 ) 2 k + t k + 1 ) ( t + 1 ) 2 0 + t 1 0 + 1
Up and down both divide t 1 0 ,
F ( t ) = k = 1 ∏ 4 ( ( t 1 + 1 ) 2 k + ( t 1 ) k + 1 ) ( t 1 + 1 ) 2 0 + ( t 1 ) 1 0 + 1
So
F ( t ) = F ( t 1 )
F ( 1 ) = 0 . 5 7 0 1 8 1 7 9 2 . . .
F ( 0 . 7 5 ) = F ( 1 . 3 3 ) = 0 . 5 6 5 2 7 4 8 7 . . .
F ( 0 . 2 5 ) = F ( 4 ) = 0 . 4 6 9 5 9 5 6 5 4 . . .
I have seen that F ( 1 ) made maximum bound of others F ( t ) for 0 < t < 1 and t > 1 .
So M a x i m u m occurs when t = 1 , it mean y = z then x = 4 y = 4 z
F ( 1 ) = 0 . 5 7 0 2
@kelvin hong 方 By the way, can you think of any way of solving this without hit and trial (at the last part)?
Still somewhat guessing. Nice intuition though.
Log in to reply
Ya, somewhat guessing. I had thought to use calculus to find bound value but it is too messy. Without hit and trial... I can guess when t = 1 there is a maximum or minimum but I can't said which one...
Log in to reply
That's why I said this is hard (not to guess but to solve) :)
Log in to reply
@Steven Jim – Yes.. but I think all of this kind of homogeneous and cycle term can simple solving by x=4y=4z.
Log in to reply
@Kelvin Hong – Lol, of course :) That's why it's easy to guess!
By the way, infimum value (not minimum) is 1/8.
Log in to reply
@Steven Jim – How to prove that?
Log in to reply
@Kelvin Hong – I don't know, but as x gets closer to 0, the value gets closer to 1/8.
Log in to reply
@Steven Jim – My solution shows you how to find the maximum without trial and error, and also gives the minimum as Q ( 0 ) = 8 1 .
Hey @kelvin hong 方 , here's a related problem.
https://brilliant.org/problems/the-answer-isnt-yea/?ref_id=1372225
Log in to reply
okay, I will take a look
Log in to reply
So how is it?
Problem Loading...
Note Loading...
Set Loading...
The criterion and the target function are both homogeneous, and we can therefore additionally assume that x + y + z = 2 . This implies that x y + x z + y z = 1 . Thus x , y , z are positive roots of the cubic f ( X ) = X 3 − 2 X 2 + X − q = 0 for some positive q = x y z . This cubic has turning points at X = 3 1 , 1 , and f ( 3 1 ) = 2 7 4 − q , f ( 1 ) = − q . Thus we deduce that 0 < q ≤ 2 7 4 is the possible range for q .
If S j = x j + y j + z j then S 0 = 3 , S 1 = 2 , S 2 = 2 and S n = 2 S n − 1 − S n − 2 + q S n − 3 n ≥ 3 Thus we calculate S 3 = 2 + 3 q , S 4 = 2 + 8 q and S 1 0 = 2 + 8 0 q + 1 7 5 q 2 + 2 0 q 3 , so that we are being asked to maximise Q ( q ) = 4 ( 2 + 3 q ) ( 2 + 8 q ) 2 + 8 0 q + 1 7 5 q 2 + 2 0 q 3 0 ≤ q ≤ 2 7 4 Since Q ( q ) = 1 4 4 2 3 5 + 2 4 5 q − 1 8 0 ( 2 + 3 q ) 2 7 7 − 8 0 ( 1 + 4 q ) 5 9 it is easy to see that Q ′ ( q ) > 0 for q > 0 , so that Q is an increasing function of q > 0 . The maximum value of Q ( q ) occurs when q = 2 7 4 , and so the answer is Q ( 2 7 4 ) = 3 0 6 5 0 4 1 7 4 7 6 3 = 0 . 5 7 0 1 8 2 .