Inspired by Khang Nguyen Thanh

Algebra Level 5

Let x , y , z x, y, z be positive real numbers such that x 2 + y 2 + z 2 = 2 ( x y + y z + z x ) x^2+y^2+z^2=2(xy+yz+zx) . FInd the maximum value of x 10 + y 10 + z 10 ( x + y + z ) ( x 2 + y 2 + z 2 ) ( x 3 + y 3 + z 3 ) ( x 4 + y 4 + z 4 ) \frac { { x }^{ 10 }+{ y }^{ 10 }+{ z }^{ 10 } }{ (x+y+z)\big({ x }^{ 2 }+{ y }^{ 2 }+{ z }^{ 2 }\big)\big({ x }^{ 3 }+{ y }^{ 3 }+{ z }^{ 3 }\big)\big({ x }^{ 4 }+{ y }^{ 4 }+{ z }^{ 4 }\big) } to 4 decimal places.


Inspiration.


The answer is 0.5702.

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.

2 solutions

Mark Hennings
Jun 11, 2017

The criterion and the target function are both homogeneous, and we can therefore additionally assume that x + y + z = 2 x+y+z = 2 . This implies that x y + x z + y z = 1 xy + xz + yz = 1 . Thus x , y , z x,y,z are positive roots of the cubic f ( X ) = X 3 2 X 2 + X q = 0 f(X) = X^3 - 2X^2 + X - q \; = \; 0 for some positive q = x y z q = xyz . This cubic has turning points at X = 1 3 , 1 X=\tfrac13,1 , and f ( 1 3 ) = 4 27 q f(\tfrac13) = \tfrac{4}{27} - q , f ( 1 ) = q f(1) = -q . Thus we deduce that 0 < q 4 27 0 < q \le \tfrac{4}{27} is the possible range for q q .

If S j = x j + y j + z j S_j = x^j + y^j + z^j then S 0 = 3 S_0 = 3 , S 1 = 2 S_1 = 2 , S 2 = 2 S_2 = 2 and S n = 2 S n 1 S n 2 + q S n 3 n 3 S_n \; = \; 2S_{n-1} - S_{n-2} + qS_{n-3} \hspace{2cm} n \ge 3 Thus we calculate S 3 = 2 + 3 q S_3 = 2+3q , S 4 = 2 + 8 q S_4 = 2+8q and S 10 = 2 + 80 q + 175 q 2 + 20 q 3 S_{10} = 2 + 80 q + 175 q^2 + 20 q^3 , so that we are being asked to maximise Q ( q ) = 2 + 80 q + 175 q 2 + 20 q 3 4 ( 2 + 3 q ) ( 2 + 8 q ) 0 q 4 27 Q(q) \; = \; \frac{2 + 80 q + 175 q^2 + 20 q^3}{4(2+3q)(2+8q)} \hspace{2cm} 0 \le q \le \tfrac{4}{27} Since Q ( q ) = 235 144 + 5 24 q 277 180 ( 2 + 3 q ) 59 80 ( 1 + 4 q ) Q(q) \; =\; \frac{235}{144} + \tfrac{5}{24} q - \frac{277}{180 (2 + 3 q)} - \frac{59}{80 (1 + 4 q)} it is easy to see that Q ( q ) > 0 Q'(q) > 0 for q > 0 q > 0 , so that Q Q is an increasing function of q > 0 q>0 . The maximum value of Q ( q ) Q(q) occurs when q = 4 27 q = \tfrac{4}{27} , and so the answer is Q ( 4 27 ) = 174763 306504 = 0.570182 Q\big(\tfrac{4}{27}\big) = \tfrac{174763}{306504} = \boxed{0.570182} .

That's a great solution! Thanks!

Steven Jim - 3 years, 12 months ago

Such a Brilliant solution!

Kelvin Hong - 3 years, 12 months ago

Log in to reply

I didn't expect this, for real ;)

Steven Jim - 3 years, 12 months ago

Log in to reply

Ya, who can know if he\she can make a Brilliant solution? Hahaha.

Kelvin Hong - 3 years, 12 months ago
Kelvin Hong
Jun 9, 2017

We know x = y + z \sqrt{x}=\sqrt{y}+\sqrt{z} by @Steven Jim 's solution.

Let F = x 10 + y 10 + z 10 ( x + y + z ) ( x 2 + y 2 + z 2 ) ( x 3 + y 3 + z 3 ) ( x 4 + y 4 + z 4 ) F=\frac{x^{10}+y^{10}+z^{10}}{(x+y+z)(x^2+y^2+z^2)(x^3+y^3+z^3)(x^4+y^4+z^4)}

compute that, we get

F = ( y + z + 2 y z ) 10 + y 10 + z 10 ( 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 ) F=\frac{(y+z+2\sqrt{yz})^{10}+y^{10}+z^{10}}{(y+z+2\sqrt{yz}+y+z)\big( (y+z+2\sqrt{yz})^2+y^2+z^2 \big) \big( (y+z+2\sqrt{yz})^3+y^3+z^3 \big) \big( (y+z+2\sqrt{yz})^4 +y^4+z^4 \big)}

Seems that F F is a homogeneous term of t t , so all divides by z 10 z^{10} , we get

F = ( y z + 1 + 2 y z ) 10 + ( y z ) 10 + 1 k = 1 4 ( ( y z + 1 + 2 y z ) k + ( y z ) k + 1 ) ) F=\frac{\Big(\frac{y}{z}+1+2\sqrt {\frac{y}{z}}\Big)^{10}+\Big(\frac{y}{z}\Big)^{10}+1}{\prod\limits_{k=1}^{4}\Bigg( \Big(\frac{y}{z}+1+2\sqrt {\frac{y}{z}}\Big)^{k}+\Big(\frac{y}{z}\Big)^k+1)\Bigg)}

Obviously, 1 + 2 + 3 + 4 = 10 1+2+3+4=10 . Then, let t = y z t=\frac{y}{z}

F ( t ) = ( t + 1 ) 20 + t 10 + 1 k = 1 4 ( ( t + 1 ) 2 k + t k + 1 ) F(t)=\frac{(\sqrt{t}+1)^{20}+t^{10}+1}{\prod\limits_{k=1}^{4}\Bigg( (\sqrt{t}+1)^{2k}+t^k+1 \Bigg)}

Up and down both divide t 10 t^{10} ,

F ( t ) = ( 1 t + 1 ) 20 + ( 1 t ) 10 + 1 k = 1 4 ( ( 1 t + 1 ) 2 k + ( 1 t ) k + 1 ) F(t)=\frac{\Big( \frac{1}{\sqrt{t}}+1\Big)^{20}+\Big( \frac{1}{t}\Big) ^{10}+1}{\prod\limits_{k=1}^{4}\Bigg( \Big(\frac{1}{\sqrt{t}}+1\Big) ^{2k}+\Big( \frac{1}{t} \Big)^k+1\Bigg)}

So

F ( t ) = F ( 1 t ) F(t)=F\Bigg( \frac{1}{t}\Bigg)

F ( 1 ) = 0.570181792... F(1)=0.570181792...

F ( 0.75 ) = F ( 1.33 ) = 0.56527487... F(0.75)=F(1.33)=0.56527487...

F ( 0.25 ) = F ( 4 ) = 0.469595654... F(0.25)=F(4)=0.469595654...

I have seen that F ( 1 ) F(1) made maximum bound of others F ( t ) F(t) for 0 < t < 1 0<t<1 and t > 1 t>1 .

So M a x i m u m Maximum occurs when t = 1 t=1 , it mean y = z y=z then x = 4 y = 4 z x=4y=4z

F ( 1 ) = 0.5702 F(1)=\boxed{0.5702}

@kelvin hong 方 By the way, can you think of any way of solving this without hit and trial (at the last part)?

Steven Jim - 4 years ago

Still somewhat guessing. Nice intuition though.

Steven Jim - 4 years ago

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 t=1 there is a maximum or minimum but I can't said which one...

Kelvin Hong - 4 years ago

Log in to reply

That's why I said this is hard (not to guess but to solve) :)

Steven Jim - 4 years ago

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.

Kelvin Hong - 4 years ago

Log in to reply

@Kelvin Hong Lol, of course :) That's why it's easy to guess!

Steven Jim - 4 years ago

By the way, infimum value (not minimum) is 1/8.

Steven Jim - 4 years ago

Log in to reply

@Steven Jim How to prove that?

Kelvin Hong - 4 years ago

Log in to reply

@Kelvin Hong I don't know, but as x x gets closer to 0, the value gets closer to 1/8.

Steven Jim - 3 years, 12 months ago

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 ) = 1 8 Q(0) =\tfrac18 .

Mark Hennings - 3 years, 12 months ago

Log in to reply

@Mark Hennings Thanks @Mark Hennings !

Steven Jim - 3 years, 12 months ago

Hey @kelvin hong 方 , here's a related problem.

https://brilliant.org/problems/the-answer-isnt-yea/?ref_id=1372225

Steven Jim - 3 years, 11 months ago

Log in to reply

okay, I will take a look

Kelvin Hong - 3 years, 11 months ago

Log in to reply

So how is it?

Steven Jim - 3 years, 11 months ago

Log in to reply

@Steven Jim Pretty busy these days... hahaha

Kelvin Hong - 3 years, 11 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...