Let , , and be nonnegative integers such that . What is the maximum value of ?
- A)
- B)
- C)
- D)
- E)
Answer
C
Key insight
Adding A + M + C + 1 = 11 turns the expression into (A+1)(M+1)(C+1). Three numbers adding to 13 have the biggest product when nearly equal: 4, 4, 5.
Solution
1. Try some numbers. Call the expression .
- : .
- : .
- : .
Numbers close together seem to do best. Now let us prove is the most.
2. Spot a product. Multiply out :
The first four terms are . The rest is . So
3. New question. Now we want three whole numbers , , (each at least ) that add to and have the biggest product.
4. Why equal is best. Suppose two of them differ by or more, like and . Moving from the bigger to the smaller gives and . The sum stays the same, but the product goes from to . This always happens: moving from the bigger to the smaller raises the product. So at the maximum, no two of the numbers differ by or more.
5. Three whole numbers adding to , all within of each other, must be . Their product is .
6. So the largest is , reached at , as found in step 1.
The answer is .
Why this works
An expression that looks like "most of" a multiplied-out product usually becomes a product once you add the missing terms. Here the missing terms were exactly , which is known. Then a fixed sum with the biggest product means the numbers should be as equal as possible, like a square having the most area of all rectangles with a given perimeter.
Alternative approach
Trust the "as equal as possible" idea and compare nearby choices directly. gives ; gives ; gives . The best is , but the product argument above is what shows no other choice beats it.
The trap
Trying only a few lopsided choices like 10, 0, 0 or 5, 5, 0 and stopping, instead of making the three numbers as close as possible.
Concise solution
The expression looks like most of an expanded product. Indeed,
and since , the target expression equals
So we maximize a product of three positive integers , , with . If two of them differ by or more, say , replacing by keeps the sum and raises the product, because . So at the maximum all three are within of each other: , product .
Therefore the maximum is , achieved at : check .
The answer is .
Review in the AoPS books
- Introduction to Algebra, Chapter 11: Special Factorizations (§11.2, §11.3, §11.5)
- Introduction to Algebra, Chapter 20: Special Functions (§20.2, §20.5)
- Introduction to Algebra, Chapter 22: Special Manipulations
- Introduction to Algebra, Chapter 15: More Inequalities (§15.1, §15.3, §15.4)
Techniques
Apply an identity: SFFT, sum of squares, difference of cubes, Vieta · Consider the largest/smallest element or boundary case