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 completes the expression to (A+1)(M+1)(C+1); with the factors summing to 13, the product peaks at 4, 4, 5.
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 .
Why this works
A symmetric expression that is "almost" a product usually is one after adding the missing terms, and here the missing terms are exactly the given constraint plus . Once it is a product with a fixed sum of factors, the smoothing argument (or AM-GM) says balanced factors win. This completing-the-product move is the same idea as Simon's Favoring Factoring Trick one dimension up.
Alternative approach
Trust the balance heuristic and compute directly: gives , while nearby triples such as give and gives . The identity is what turns this hunch into a proof.
The trap
Maximizing only the AMC term, or testing a couple of lopsided triples like (10,0,0) and (5,5,0) and stopping.
Common mistakes
- Maximizing only the AMC term, or testing a couple of lopsided triples like (10,0,0) and (5,5,0) and stopping.
- Subtracting instead of after computing the product , giving , which is not a choice and should prompt a recheck.
Techniques
Apply an identity: SFFT, sum of squares, difference of cubes, Vieta · Consider the largest/smallest element or boundary case