Inequality with 4 variables

Algebra Level 5

P = ( x + y ) ( z + t ) \large P=(x+y)(z+t)

Let x , y , z , t x,y,z,t be positive real numbers satisfying x 2 + y 2 + z 2 + t 2 = 10 x^2+y^2+z^2+t^2=10 and x y z t = 4 xyzt=4 .

If the maximum value of the expression is S S , find 100 S \lfloor 100 S \rfloor .


The answer is 905.

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.

3 solutions

By using AM-GM inequality, we have:

P = ( x + y ) ( z + t ) P=(x+y)(z+t)

= ( x 2 + y 2 + 2 x y ) ( z 2 + t 2 + 2 z t ) \quad =\sqrt{(x^2+y^2+2xy)(z^2+t^2+2zt)}

= ( x 2 + y 2 ) ( z 2 + t 2 ) + 2 x y ( z 2 + t 2 ) + 2 z t ( x 2 + y 2 ) + 4 x y z t \quad=\sqrt{(x^2+y^2)(z^2+t^2)+2xy(z^2+t^2)+2zt(x^2+y^2)+4xyzt}

( x 2 + y 2 + z 2 + t 2 2 ) 2 + 2 ( x z + y t ) ( x t + y z ) + 16 \quad\leq\sqrt{\left(\dfrac{x^2+y^2+z^2+t^2 }{2}\right)^2+2(xz+yt)(xt+yz)+16}

25 + 2 ( x z + y t + x t + y z 2 ) 2 + 16 \quad\leq\sqrt{25+2\left(\dfrac{xz+yt+xt+yz}{2}\right)^2+16}

= 41 + 1 2 P 2 \quad=\sqrt{41+\dfrac{1}{2}P^2}

Solving this inequality gives us that P 82 P\leq \sqrt{82} .

The equality conditions are:
1. x 2 + y 2 = z 2 + t 2 = 5 x^2 + y^2 = z^2 + t^2 = 5
2. x y z t = 4 xyzt = 4
3. ( x + y ) ( t + z ) = 82 (x+y)(t+z) = \sqrt{82} .


Squaring and expanding condition 3, and substituting in with conditions 1 and 2, we get ( 5 + 2 x y ) ( 5 + 8 x y ) = 82 ( 5 + 2xy)( 5 + \frac{8}{xy} ) = 82 , or that x y = 5 2 , 8 5 xy = \frac{5}{2}, \frac{8}{5} .
Thus, solving x 2 + y 2 = 5 , x y = 5 2 { x , y } = { 5 2 , 5 2 } x^2+y^2 = 5, xy = \frac{5}{2} \Rightarrow \{ x, y \} = \{ \sqrt{ \frac{5}{2} }, \sqrt{ \frac {5}{2} } \} and z 2 + t 2 = 5 , z t = 8 5 { z , t } = { 5 + 16 5 + 5 16 5 2 , 5 + 16 5 + 5 16 5 2 } z^2 + t^2 = 5, zt = \frac{8}{5} \Rightarrow \{ z, t \} = \{ \frac { \sqrt{ 5 + \frac{16}{5} } + \sqrt{ 5 - \frac{16}{5} } } { 2 } , \frac { \sqrt{ 5 + \frac{16}{5} } + \sqrt{ 5 - \frac{16}{5} } } { 2 } \} . Thus, equality can be achieved.

So maximum value of P P is S = 82 S=\sqrt{82} and 100 S = 905 \left\lfloor 100S\right\rfloor=\boxed{905} .

Note: z , t z, t could be simplitied to 5 2 ± 3 41 10 = 41 ± 3 20 \sqrt{\dfrac{5}{2}\pm\dfrac{3\sqrt{41}}{10}} = \frac{ \sqrt{41} \pm 3 } { \sqrt{20}} .

To simplify the equations, I started with a linear substitution x = a + b , y = a b , x=a+b,y=a-b, z = c + d , t = c d . z=c+d, t=c-d. We are now asked to maximize P 2 = 16 a 2 c 2 P^2=16a^2c^2 , subject to the constraints ( a 2 b 2 ) ( c 2 d 2 ) = 4 (a^2-b^2)(c^2-d^2)=4 and a 2 + b 2 + c 2 + d 2 = 5 a^2+b^2+c^2+d^2=5 . Eliminating c c and d d from these equations, we are asked to maximize P 2 = 16 a 2 ( 5 2 a 2 + a 2 b 2 2 + 2 a 2 b 2 ) P^2=16a^2\left(\frac{5}{2}-a^2+\frac{a^2-b^2}{2}+\frac{2}{a^2-b^2}\right) . For a fixed a a , there are no maxima in the interior; consider the two terms involving b b , which are reciprocals. Thus the maximum must be attained at a boundary point, where b = 0 b=0 or d = 0 d=0 . By symmetry, we can assume that b = 0 b=0 , with P 2 = 82 8 ( a 2 5 / 2 ) 2 P^2=82-8(a^2-5/2)^2 and S = 82 S=\sqrt{82} when a 2 = 5 / 2. a^2=5/2. One point where this maximum is attained is x = y = 5 / 2 , z = 41 + 3 20 , t = 41 3 20 x=y=\sqrt{5/2},z=\frac{\sqrt{41}+3}{\sqrt{20}},t=\frac{\sqrt{41}-3}{\sqrt{20}} .

Otto Bretscher - 5 years, 8 months ago

Simply beautiful.

Kunal Verma - 5 years, 8 months ago

Very nice solutions all! This problem was tricky. Thanks for sharing! (Even if I'm having trouble understanding Otto Bretscher's solution.) I searched your name on the internet by the way, and found your textbook on linear algebra. Then, after that, I was watching Benedict Gross lecture on abstract algebra, and he mentioned your book! I do hope to be able to read it at some point in the future. I should be able to afford it eventually.

James Wilson - 3 years, 8 months ago

Oh that's nice. I thought of P 2 P^2 , but was unable to push through.

For clarity, the equality condition requires x 2 + y 2 = z 2 + t 2 x^2 + y^2 = z^2 + t^2 and x z + y t = x t + y z xz + yt = xt+yz . Thus, we have x 2 + y = z 2 + t 2 = 5 x^2 + y^ = z^2 + t^2 = 5 and ( x y ) ( z t ) = 0 (x-y)(z-t) = 0 .

Calvin Lin Staff - 5 years, 8 months ago
Calvin Lin Staff
Oct 5, 2015

[This is not a complete solution, but it sheds some insight into why the answer isn't just 900.]

For those who think that the answer is 1000, you forgot to account for x y z t = 4 x yzt = 4 , which isn't satisfied when x = y = z = t = 5 2 x = y= z = t = \frac{5}{2} .

Most people think that the maximum occurs when { x , y } = { z , t } = { 1 , 2 } \{ x, y \} = \{ z, t \} = \{ 1, 2 \} (in part because of how nice it looks). While this set of values do satisfy the conditions, they do not maximize the product P P .


Note: I used Lagrange multipliers to solve this problem, which has a boundary condition (which is partly what makes this question interesting). You should see Khang's solution for a classical approach.

Instead, let's set a = x 2 + y 2 a = x^2 + y^2 and b = x y b = xy . We obtain 10 a = z 2 + t 2 10 - a = z^2 + t^2 and 4 b = z t \frac{4}{b} = zt . We then want to find the maximum of

P 2 = ( x 2 + y 2 + 2 x y ) ( z 2 + t 2 + 2 z t ) = ( a + 2 b ) ( 10 a + 8 b ) . P^2 = ( x^2 + y^2 + 2xy ) ( z^2 + t^2 + 2zt ) = ( a + 2b ) ( 10 - a + \frac{8}{b} ) .

We are subject to x 2 + y 2 + z 2 + t 2 x 2 + y 2 2 x y 0 x^2 + y^2 + z^2 + t^2 \geq x^2 + y^2 \geq 2 xy \geq 0 , or that 10 a 2 b 0 10 \geq a \geq 2b \geq 0 and
x 2 + y 2 + z 2 + t 2 z 2 + t 2 2 z t 0 x^2 + y^2 + z^2 + t^2 \geq z^2 + t^2 \geq 2 zt \geq 0 , or that 10 a 8 b 10 -a \geq \frac{8}{b} .

Claim: This is maximized at { ( a , b ) } = { ( 5 , 2.5 ) } \{ (a,b) \} = \{ (5, 2.5) \} or { ( 5 , 1.6 ) } \{ (5, 1.6) \} .
I used Lagrange multipliers to show this. We are at a boundary condition.

We have equality when { { x , y , } , { z , t } } = { { 2.5 , 2.5 } , { 0.761 , 2.1 } } \left\{ \{ x, y, \}, \{ z, t \} \right\} = \left\{ \{ \sqrt{2.5 } , \sqrt{2.5 } \}, \{ \approx 0.761, \approx 2.1 \} \right\} .

The maximum value of P = 82 P = \sqrt{ 82 } .

@Khang Nguyen Thanh I am interested in seeing your solution. Care to share?

Calvin Lin Staff - 5 years, 8 months ago

Log in to reply

@Calvin Lin : I've shared my solution.

Khang Nguyen Thanh - 5 years, 8 months ago

S i r , p l e a s e c a n y o u t e l l w h e r e w a s I w r o n g , I d i d i t a s : ( x + y ) + ( z + t ) 2 ( x + y ) ( z + t ) S q u a r i n g b o t h s i d e s : ( x + y ) 2 + ( z + t ) 2 + 2 ( x + y ) ( z + t ) 4 P x 2 + y 2 + z 2 + t 2 + 2 x y + 2 z t + 2 P 4 P 10 + 2 ( x y + z t ) 2 P 5 + ( x y + z t ) P N o w P w i l l b e m a x . w h e n x y + z t i s m a x . A l s o b y A . M . G . M . x 2 + y 2 2 x y a n d z 2 + t 2 2 z t o r 10 2 ( x y + z t ) x y + z t 5 P m a x = 5 + 5 = 10. S = 10 ; 100 S = 1000. P l e a s e t e l l w h e r e w a s I w r o n g . Sir,\quad please\quad can\quad you\quad tell\quad where\quad was\quad I\quad wrong,\quad I\quad did\quad it\quad as:\\ \frac { (x+y)+(z+t) }{ 2 } \ge \sqrt { (x+y)(z+t) } \\ Squaring\quad both\quad sides:\\ { (x+y) }^{ 2 }+{ (z+t) }^{ 2 }+2(x+y)(z+t)\ge 4P\\ { x }^{ 2 }+{ y }^{ 2 }+{ z }^{ 2 }+{ t }^{ 2 }+2xy+2zt+2P\ge 4P\\ 10+2(xy+zt)\ge 2P\\ 5+(xy+zt)\ge P\\ Now\quad P\quad will\quad be\quad max.\quad when\quad xy+zt\quad is\quad max.\\ Also\quad by\quad A.M.\ge G.M.\\ { x }^{ 2 }+{ y }^{ 2 }\ge 2xy\\ and\\ { z }^{ 2 }+{ t }^{ 2 }\ge 2zt\\ or\quad 10\ge 2(xy+zt)\\ \therefore \quad xy+zt\le 5\\ \therefore \quad { P }_{ max }=5+5=10.\\ S=10;\quad 100S=1000.\\ Please\quad tell\quad where\quad was\quad I\quad wrong.

Samarth Agarwal - 5 years, 8 months ago

Log in to reply

All that you have found is an upper bound. You need to show that it is the lowest upper bound , in order to conclude that it is the maximum. IE all that you have is P max 10 P_{\max} \leq 10 , and you have not demonstrated that equality can exist (which it cannot).

Note: In addition, you did not use the condition that x y z t = 4 xyzt = 4 . In your case, equality holds when x + y = z + t , x = y , z = t x+y = z+t, x = y , z = t , which forces x = y = z = t = 5 2 x = y = z = t = \sqrt{5}{2} , and hence x y z y = 5 4 xyzy = 5 \neq 4 .

Calvin Lin Staff - 5 years, 8 months ago

Log in to reply

thanx sir for correcting me.

Samarth Agarwal - 5 years, 8 months ago

This was exactly what I thought. My solution was the same as Samarth's except, at the end, when I got to P 5 + x y + z t P\leq 5+xy+zt with x + y = z + t x+y=z+t (to produce equality with the GM-AM), I just assumed there was probably another inequality I could've used, and I would've ended up setting x y = z t xy=zt .This was obviously a bad guess.

James Wilson - 3 years, 8 months ago

Sir what if I get 1000 with another method? Can u tell me where I was wrong? P=(X+y)(z+t) =Xz+xt+yz+yt ≤(xx+zz)/2+(xx+tt)/2+(yy+zz)/2+(yy+tt)/2(applying am gm) ≤2(xx+yy+zz+tt)/2 ≤10(Pmax) Hence S=10,100S=1000

Foo Tun Jing - 1 year, 10 months ago

Log in to reply

As always, when asked to show that something is a maximum, you have to
1. Show that it is an upper bound
2. Show that it is the least upper bound, aka that it can be achieved.

You have shown that 10 is an upper bound for S. What are the conditions for equality to hold throughout? For what values does equality hold?

Note: In particular, you didn't use the condition that x y z t = 4 xyzt = 4 , so that should be a hint that your solution is incomplete.

Calvin Lin Staff - 1 year, 10 months ago
James Wilson
Jul 26, 2019

First, I let x y = a xy=a (noting a > 0 a>0 ) so that z t = 4 a zt=\frac{4}{a} , by the equation x y z t = 4 xyzt=4 . Then I let x + y = r x+y=r . In addition, I applied the simplifying assumption x > y x>y , which can be justified by symmetry. Then I manipulated x 2 + y 2 + z 2 + t 2 = 10 x^2+y^2+z^2+t^2=10 in the following way: x 2 + 2 x y + y 2 + z 2 + 2 z t + t 2 = 10 + 2 a + 8 a x^2+2xy+y^2+z^2+2zt+t^2 = 10 + 2a + \frac{8}{a} ( z + t ) 2 = 10 + 2 a + 8 a r 2 \Rightarrow (z+t)^2=10+2a+\frac{8}{a}-r^2 P 2 = r 2 ( 10 + 2 a + 8 a ) r 4 \Rightarrow P^2=r^2(10+2a+\frac{8}{a})-r^4 Next, I determined the feasible region in the a r ar -plane. The equation a = x y a=xy alone places only the restriction a > 0 a>0 on the value of a a . Next, substitute t = 4 a z t=\frac{4}{az} in x 2 + y 2 + z 2 + t 2 = 10 x^2+y^2+z^2+t^2=10 to obtain: 10 = x 2 + y 2 + z 2 + 16 a 2 z 2 x 2 + y 2 + 8 a = r 2 2 a + 8 a 10=x^2+y^2+z^2+\frac{16}{a^2z^2}\geq x^2+y^2+\frac{8}{a}=r^2-2a+\frac{8}{a} Note that the inequality, r 2 2 a + 8 a 10 r^2-2a+\frac{8}{a}\leq 10 , produced is a sharp inequality (consider z = 2 a z=\frac{2}{\sqrt{a}} ). Next, note that, because x = r + r 2 4 a 2 x=\frac{r+\sqrt{r^2-4a}}{2} and y = r r 2 4 a 2 y=\frac{r-\sqrt{r^2-4a}}{2} , we must have r 2 a r\geq 2\sqrt{a} because the quantity inside the square root operator must be nonnegative. Combining these two findings gives the region of interest in the a r ar -plane: 2 a r 10 + 2 a 8 a 2\sqrt{a}\leq r \leq \sqrt{10+2a-\frac{8}{a}} Setting the first partial derivates of P 2 = r 2 ( 10 + 2 a + 8 a ) r 4 P^2 = r^2(10+2a+\frac{8}{a})-r^4 w.r.t. r r and a a equal to zero, I determine there are no local extrema in the region of interest. This means that the maximum must lie on the boundary. Therefore, I test the two boundary curves, r = 10 + 2 a 8 a r=\sqrt{10+2a-\frac{8}{a}} and r = 2 a r=2\sqrt{a} , both with 1 a 4 1\leq a\leq 4 . On the boundary curve r = 10 + 2 a 8 a r=\sqrt{10+2a-\frac{8}{a}} , P 2 P^2 obtains its maximum of 76 + 4 9 76+\frac{4}{9} when a = 12 5 a=\frac{12}{5} . Along the other boundary curve r = 2 a r=2\sqrt{a} , P 2 P^2 obtains a maximum of 82 82 when a = 2.5 a=2.5 . Therefore, the maximum value of P P , subject to the constraints, is 82 \sqrt{82} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...