Find three positive numbers x,y,z whose sum is 100 such that (x^a)(y^b)(z^c) is a maximum.

At first, I thought a, b, and c needed constant values, but later realized that the numbers are in terms of a, b, and c. Can someone help?

Printable View

- Oct 25th 2009, 02:20 AMMathTooHardOptimization, Partial Derivatives
Find three positive numbers x,y,z whose sum is 100 such that (x^a)(y^b)(z^c) is a maximum.

At first, I thought a, b, and c needed constant values, but later realized that the numbers are in terms of a, b, and c. Can someone help? - Oct 25th 2009, 06:07 AMtonio
- Oct 25th 2009, 06:58 AMScott H
The relations involved are

Our task is to maximize the two-variable function

subject to these conditions. In order to do this, we find all critical points, including boundary points and singular points (none, in this case), and points at which i.e.,

To begin, we first find the partial derivative of with respect to :

Because and are symmetric in the function (with and respectively), the partial derivative of with respect to is therefore

The critical points are thus all those points at which

We may simplify these equations a bit dividing by , remembering that , , and are positive:

Now all that remains is to solve for and . - Oct 25th 2009, 07:38 AMtonio
- Oct 25th 2009, 07:49 AMScott H
- Oct 25th 2009, 07:55 AMtonio

True, but now that I re-read carefully your answer we still don't have any idea what's that relation the OP talks about between a,b,c and the variables x,y,z. This is a must because for derivating we have to take that into account.

In fact, the OP writes "later realized that the numbers are in terms of a, b, and c. Can someone help?", and I assume "the numbers" he talks about are x,y,z.

Tonio - Oct 25th 2009, 08:02 AMHallsofIvy
Actually, that is exactly what the OP wrote: maximize subject to the conditions x+y+ z= 100, x> 0, y> 0 z> 0 for fixed a, b, c. I confess that I do not understand what he meant by "At first, I thought a, b, and c needed constant values, but later realized that the numbers are in terms of a, b, and c." Yes, the result will depend upon a, b, and c, but that does not mean they are not constants. Perhaps he meant that he thought, at first, that he was to put specific values in for a, b, and c.

Because the conditions x> 0, y> 0, z> 0 make the "feasible region" an open set, I would NOT have done it by looking for etrema on the boundaries. The boundaries are not included in the set (and there may not be a maximum).

Instead of replacing z with 100- x- y, I think I would use the "Lagrange multiplier method". Let . Then . Let G(x,y,z)= x+ y+ z= 100. Then . At extrema of F, satisfying G= constant, those two vectors must be parallel- one is a multiple of the other: or .

Equating the components, we have , , and .

Dividing the first equation by the second we get or . Dividing the first equation by the third gives or .

Now put those into x+ y+ z= 100 to get .

. You could put that into and to get that and which follow from the symmetry also.