Find the maximum value of c a + d b + a c + b d , where a , b , c , d vary over all distinct real numbers such that b a + c b + d c + a d = 4 and a c = b d .
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.
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!
Log in to reply
There are a couple ways to see that we may assume 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 ) , then since the equations implicitly require d = 0 , the constraints are homogeneous, and the function we're optimizing is homogeneous of degree zero, the constrained maximum will also occur at ( d a , d b , d c , 1 ) . By the change of variables a ′ = d a , b ′ = d b , c ′ = d c , this has the effect of allowing us to assume that d = 1 .
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
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?
Log in to reply
sorry i am wrong, can i delete my reply
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?
Using the condition a c = b d , we first transform the expression so that c a + d b + a c + b d = a c a 2 + c 2 + b d b 2 + d 2 = a c 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 . However, using the first condition, we have a c 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 = 4 + a c a b + b d a d + b d b c + a c c d = 4 + 2 ( b a + c b + d c + a d ) = 1 2 , so that c a + d b + a c + b d = a c ( a + b + c + d ) 2 − 1 2 . Solving the system a b = c d , b a + c b + d c + a d = 4 in a and c , we find a = 2 b d − − b ( b − d ) 2 d b d ( b + d ) , c = b + d 2 b d − − b ( b − d ) 2 d ; a = 2 b d + − b ( b − d ) 2 d b d ( b + d ) , c = b + d 2 b d + − b ( b − d ) 2 d , whence we see that, in order for a and c to be real numbers, it is necessary that b and d are of different signs, i.e. b d < 0 . However, it means that a c < 0 too! So, the maximal value of c a + d b + a c + b d = a c ( a + b + c + d ) 2 − 1 2 is reached only if a + b + c + d = 0 , meaning the maximal value is − 1 2 .
If we write x = b a y = c b z = d c w = a d then we are interested in maximising x y + y z + z w + w x = ( x + z ) ( y + w ) subject to the conditions x + y + z + w = 4 x z = y w = 1 and with none of x , y , z , w , x y , z w equal to 1 . Putting X = x + x − 1 , Y = y + y − 1 we see that we are maximising X Y subject to the conditions that X + Y = 4 and X , Y ∈ ( − 2 , 2 ] and X = Y . It is not possible for 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 where X ≥ 6 , and we simply have to maximise X ( 4 − X ) for X ≥ 6 . This happens when X = 6 , and the maximum value is − 1 2 .
Note that this value of − 1 2 is achieved for x = 3 + 2 2 , y = − 1 , z = 3 − 2 2 , w = − 1 , so when a = − 1 b = 2 2 − 3 c = 3 − 2 2 d = 1
Why aren't a, b, c, and d equal to 1?
Log in to reply
The question specified that the numbers had to be distinct.
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
Problem Loading...
Note Loading...
Set Loading...
Since c a + d b + a c + b d and b a + c b + d c + a d = 4 are homogeneous of degree zero and a c = b d is homogeneous of degree two, we may arbitrarily choose one of the variables, so we may assume d = 1 . Then the equation a c = b d becomes b = a c .
Using both these equations to rewrite the rest of the problem, we see we want to find the maximum of c a + 1 a c + a c + a c 1 = ( a + a 1 ) ( c + c 1 ) such that 4 = a c a + c a c + 1 c + a 1 = c 1 + a + c + a 1 = ( a + a 1 ) + ( c + c 1 )
For x > 0 and x = 1 , we always have x + x 1 > 2 . In this case, since a , c = d = 1 , if we assume a , c > 0 , we would have 4 = ( a + a 1 ) + ( c + c 1 ) > 2 + 2 = 4 , which is a contradiction. Therefore, at least one of a , c is negative, so without loss of generality, we may assume a < 0 , so that, in particular, a + a 1 ≤ − 2 .
Finally, simplifying notation by setting x = a + a 1 , y = c + c 1 , we want to maximize x y such that x + y = 4 and x ≤ − 2 . Solving for y in the constraint equation, we see we want to maximize x ( 4 − x ) such that x ≤ − 2 . It's easy to see this maximum occurs at x = − 2 , so the maximum is − 2 ⋅ ( 4 − ( − 2 ) ) = − 1 2 .
This shows that the maximum is at most − 1 2 . To see the maximum is equal to − 1 2 , 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 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 ) yields the maximum value of − 1 2 .