Not AM-GM

Algebra Level 4

Find the maximum value of a c + b d + c a + d b , \ \frac { a }{ c } + \frac { b }{ d } + \frac { c }{ a } + \frac { d }{ b }, where a , b , c , d a,b,c,d vary over all distinct real numbers such that a b + b c + c d + d a = 4 \frac { a }{ b } + \frac { b }{ c } + \frac { c }{ d } + \frac { d }{ a } = 4 and a c = b d ac = bd .


The answer is -12.

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

Brian Moehring
Feb 3, 2017

Since a c + b d + c a + d b \frac{a}{c} + \frac{b}{d} + \frac{c}{a} + \frac{d}{b} and a b + b c + c d + d a = 4 \frac{a}{b} + \frac{b}{c} + \frac{c}{d} + \frac{d}{a} = 4 are homogeneous of degree zero and a c = b d ac=bd is homogeneous of degree two, we may arbitrarily choose one of the variables, so we may assume d = 1 d=1 . Then the equation a c = b d ac=bd becomes b = a c b = ac .

Using both these equations to rewrite the rest of the problem, we see we want to find the maximum of a c + a c 1 + c a + 1 a c = ( a + 1 a ) ( c + 1 c ) \frac{a}{c} + \frac{ac}{1} + \frac{c}{a} + \frac{1}{ac} = \left(a+\frac{1}{a}\right)\left(c+\frac{1}{c}\right) such that 4 = a a c + a c c + c 1 + 1 a = 1 c + a + c + 1 a = ( a + 1 a ) + ( c + 1 c ) 4 = \frac{a}{ac} + \frac{ac}{c} + \frac{c}{1} + \frac{1}{a} = \frac{1}{c} + a + c + \frac{1}{a} = \left(a+\frac{1}{a}\right) + \left(c+\frac{1}{c}\right)

For x > 0 x>0 and x 1 x\neq 1 , we always have x + 1 x > 2 x + \frac{1}{x} > 2 . In this case, since a , c d = 1 a,c\neq d=1 , if we assume a , c > 0 a,c > 0 , we would have 4 = ( a + 1 a ) + ( c + 1 c ) > 2 + 2 = 4 , 4 = \left(a+\frac{1}{a}\right) + \left(c+\frac{1}{c}\right) > 2 + 2 = 4, which is a contradiction. Therefore, at least one of a , c a,c is negative, so without loss of generality, we may assume a < 0 a < 0 , so that, in particular, a + 1 a 2. a + \frac{1}{a} \leq -2.

Finally, simplifying notation by setting x = a + 1 a , y = c + 1 c x = a + \frac{1}{a}, \quad y = c + \frac{1}{c} , we want to maximize x y xy such that x + y = 4 x+y=4 and x 2 x\leq -2 . Solving for y y in the constraint equation, we see we want to maximize x ( 4 x ) x(4-x) such that x 2 x \leq -2 . It's easy to see this maximum occurs at x = 2 x=-2 , so the maximum is 2 ( 4 ( 2 ) ) = 12 -2\cdot(4-(-2)) = -12 .

This shows that the maximum is at most 12 -12 . To see the maximum is equal to 12 -12 , we must unwrap the above work to check that the variable assignments I've made don't contradict the assumption that a , b , c , d a,b,c,d are distinct real numbers. I'll spare you the details, but once you unwrap all of the above work, we see that ( a , b , c , d ) = ( 1 , 3 2 2 , 3 + 2 2 , 1 ) (a,b,c,d) = (-1, -3-2\sqrt{2}, 3+2\sqrt{2}, 1) yields the maximum value of 12 \boxed{-12} .

Moderator note:

Great presentation that carefully lays out how one approaches thinking about this problem through a series of reasonable steps. It also provides the motivation to explain why he chose certain tricks from his mathematical toolkit.

Ah, I was fooled and didn't see that the numbers had to be distinct. I've since bolded that :)

Really interesting question!

Calvin Lin Staff - 4 years, 4 months ago

Why u assume d=1

Can u explain please

Kushal Bose - 4 years, 4 months ago

Log in to reply

There are a couple ways to see that we may assume d = 1 d=1 . As mentioned, I just used facts of homogeneous equations.

If I'm to be more explicit, just note that if the constrained maximum occurs at ( a , b , c , d ) (a,b,c,d) , then since the equations implicitly require d 0 d\neq 0 , the constraints are homogeneous, and the function we're optimizing is homogeneous of degree zero, the constrained maximum will also occur at ( a d , b d , c d , 1 ) . \left(\frac{a}{d}, \frac{b}{d}, \frac{c}{d}, 1\right). By the change of variables a = a d , b = b d , c = c d a'=\frac{a}{d}, b' = \frac{b}{d}, c' = \frac{c}{d} , this has the effect of allowing us to assume that d = 1 d=1 .

Brian Moehring - 4 years, 4 months ago

a/b+b/c+c/d+d/a is not equal to 4 for this result. my opinion is; a/b=d/c c/d=a/d from question a/b+b/c+c/d+d/a= d/c+c/d+a/d+d/a=(d²+c²)/cd+(a²+d²)/ad=4 from this point we can say (d²+c²-2cd)/cd+(a²+d²-2ad)/ad=0 (d-c)²/cd+(a-d)²/ad=0 d=c=a which is impossible because they must be distinct

Melih Koruyucu - 3 years, 6 months ago

Log in to reply

See the final line of the solution for a set of real numbers that satisfy the conditions of the problem. Hence, there is some error in your reasoning.

While I agree that "(d-c)^2/cd + (a-d)^2/ad = 0", I disagree with the claim that "d=c, a=d". Can you elaborate on why this must be true?

Hint: In the solution, an important step is realizing that "at least one of a, c is negative". Do you see how this affects your conclusion?

Calvin Lin Staff - 3 years, 6 months ago

Log in to reply

sorry i am wrong, can i delete my reply

Melih Koruyucu - 3 years, 6 months ago

Log in to reply

@Melih Koruyucu I would prefer to leave your comment up, so that others who made the same mistake can learn from it. Can you edit your comment to indicate what happened?

Calvin Lin Staff - 3 years, 6 months ago

Using the condition a c = b d ac=bd , we first transform the expression so that a c + b d + c a + d b = a 2 + c 2 a c + b 2 + d 2 b d = a 2 + c 2 + b 2 + d 2 a c = ( a + b + c + d ) 2 a c 2 a b + 2 a c + 2 a d + 2 b c + 2 b d + 2 c d a c . \frac ac+\frac bd+\frac ca+\frac db=\frac{a^2+c^2}{ac}+\frac{b^2+d^2}{bd}=\frac{a^2+c^2+b^2+d^2}{ac} =\frac{(a+b+c+d)^2}{ac}-\frac{2ab+2ac+2ad+2bc+2bd+2cd}{ac}. However, using the first condition, we have 2 a b + 2 a c + 2 a d + 2 b c + 2 b d + 2 c d a c = 4 a c + 2 a b + 2 a d + 2 b c + 2 c d a c = 4 + a b a c + a d b d + b c b d + c d a c = 4 + 2 ( a b + b c + c d + d a ) = 12 , \frac{2ab+2ac+2ad+2bc+2bd+2cd}{ac}=\frac{4ac+2ab+2ad+2bc+2cd}{ac} =4+\frac{ab}{ac}+\frac{ad}{bd}+\frac{bc}{bd}+\frac{cd}{ac}=4+2\Big(\frac ab+\frac bc+\frac cd+\frac da\Big)=12, so that a c + b d + c a + d b = ( a + b + c + d ) 2 a c 12. \frac ac+\frac bd+\frac ca+\frac db=\frac{(a+b+c+d)^2}{ac}-12. Solving the system a b = c d , a b + b c + c d + d a = 4 ab=cd,\quad\frac ab+\frac bc+\frac cd+\frac da=4 in a a and c c , we find a = b d ( b + d ) 2 b d b ( b d ) 2 d , c = 2 b d b ( b d ) 2 d b + d ; a = b d ( b + d ) 2 b d + b ( b d ) 2 d , c = 2 b d + b ( b d ) 2 d b + d , a=\frac{bd(b+d)}{2bd-\sqrt{-b(b-d)^2d}},\quad c=\frac{2bd-\sqrt{-b(b-d)^2d}}{b+d};\quad a=\frac{bd(b+d)}{2bd+\sqrt{-b(b-d)^2d}},\quad c=\frac{2bd+\sqrt{-b(b-d)^2d}}{b+d}, whence we see that, in order for a a and c c to be real numbers, it is necessary that b b and d d are of different signs, i.e. b d < 0 bd<0 . However, it means that a c < 0 ac<0 too! So, the maximal value of a c + b d + c a + d b = ( a + b + c + d ) 2 a c 12 \frac ac+\frac bd+\frac ca+\frac db=\frac{(a+b+c+d)^2}{ac}-12 is reached only if a + b + c + d = 0 a+b+c+d=0 , meaning the maximal value is 12 -12 .

A Former Brilliant Member - 3 years, 6 months ago
Mark Hennings
Feb 22, 2017

If we write x = a b y = b c z = c d w = d a x \; = \; \frac{a}{b} \hspace{1cm} y \; = \; \frac{b}{c} \hspace{1cm} z \; = \; \frac{c}{d} \hspace{1cm} w \; = \; \frac{d}{a} then we are interested in maximising x y + y z + z w + w x = ( x + z ) ( y + w ) xy + yz + zw + wx \; = \; (x+z)(y+w) subject to the conditions x + y + z + w = 4 x z = y w = 1 x+y+z+w \; = \; 4 \hspace{1cm} xz \; = \; yw \; = \; 1 and with none of x , y , z , w , x y , z w x,y,z,w,xy,zw equal to 1 1 . Putting X = x + x 1 X = x + x^{-1} , Y = y + y 1 Y = y + y^{-1} we see that we are maximising X Y XY subject to the conditions that X + Y = 4 X+Y=4 and X , Y ∉ ( 2 , 2 ] X,Y \not\in (-2,2] and X Y X \neq Y . It is not possible for X , Y X,Y both to be positive and satisfy these constraints; nor is it possible for both to be negative. Thus we (by symmetry) may assume that Y = 4 X Y = 4 - X where X 6 X \ge 6 , and we simply have to maximise X ( 4 X ) X(4-X) for X 6 X \ge 6 . This happens when X = 6 X=6 , and the maximum value is 12 \boxed{-12} .

Note that this value of 12 -12 is achieved for x = 3 + 2 2 x=3+2\sqrt{2} , y = 1 y=-1 , z = 3 2 2 z = 3-2\sqrt{2} , w = 1 w=-1 , so when a = 1 b = 2 2 3 c = 3 2 2 d = 1 a \; = \; -1 \hspace{1cm} b \; = \; 2\sqrt{2} - 3 \hspace{1cm} c \; = \; 3-2\sqrt{2} \hspace{1cm} d \; = \; 1

Why aren't a, b, c, and d equal to 1?

Kabir Ahmed - 3 years ago

Log in to reply

The question specified that the numbers had to be distinct.

Mark Hennings - 3 years ago

Sorry to add this as a reaction, but for older problems I cannot post solution directly.

I just solved as below.

Observe that none of a,b,c,d can be 0. Since ac=bd, set x=a/b=d/c, and y=a/d=b/c; let f=x+1/x and g=y+1/y.

Then we have f+g=4 and we want to maximize fg.

Since for positive x and y, f and g have a minimum value of 2, the only solution with positive x and y is f=g=2, but this does not lead to distinct a,b,c,d.

For negative x, f is negative, with a maximum value of -2 (at x=-1). We have g=4-f, so fg = f(4-f).The derivative with respect to f is 4-2f. This gives a local extremum at f=-2 with value fg=-12. This is a maximum.

A possible set of values is: a=-b=1, d=-c=e^(-arccosh(3)) =3-2^1.5

K T - 1 year, 7 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...