AMC 10 · 2023 · #23

Grade 11 algebra
am-gm-inequalityoptimizationsystems-of-equationssigned-square-root extreme-principleidentify-subproblems ↑ Prerequisites: am-gm-inequalitysystems-of-equations
📏 Medium solution 💡 3 insights
Problem
Two positive reals are tied by a single equation: a product of three factors equals thirty-two times their product. The question is not what they are but how many ordered pairs work. One equation in two unknowns normally leaves a curve, so find the actual count.

Pick an answer.

(A)
0
(B)
1
(C)
2
(D)
3
(E)
an infinite number
How to solve
Strategy Extreme Principle

Expanding the left side gives a two-variable cubic with seven terms and no obvious factorisation, so brute force is a dead end. The shape of the equation points somewhere else. Every factor on the left is a sum of two positive terms, and the right side is a bare product of the variables. Sum on one side, product on the other, is the signature of the arithmetic-mean-geometric-mean inequality, which says a sum of two positive numbers is at least twice the square root of their product, with equality exactly when the two numbers are equal. So the plan is to stop treating the equation as something to solve and start treating it as something to bound. Prove the two-number inequality once from scratch, apply it separately to each of the three factors, then multiply the three results. If the combined lower bound turns out to be exactly 32ab, the given equation is not asking for a solution at all: it is asserting that the left side sits precisely on its own floor. An extreme like that is rigid. A product of three quantities can equal the product of three smaller-or-equal quantities only if nothing was lost anywhere, so all three separate equalities must hold at once. That converts one hard equation in two unknowns into three easy ones, and the count of solutions is just the count of ways that little system can be satisfied. Finally, check the system is consistent rather than contradictory, because a contradiction would have made the answer zero instead.

1STEP 1

Sums on the left, product on the right

The left is a sum, the right a product.

(1+2a)(2+2b)(2a+b) = 32ab, a > 0, b > 0
2STEP 2

One fact about two positives

A sum is at least twice the square root of the product.

(√(x) - √(y))² ≥ 0 ⟹ x + y ≥ 2√(xy), with equality ⇔ x = y
3STEP 3

Aim it at each factor

Apply it to each of the three.

1 + 2a & ≥ 2√(2a) && equality ⇔ 2a = 1 ; 2 + 2b & ≥ 4√(b) && equality ⇔ 2b = 2 ; 2a + b & ≥ 2√(2ab) && equality ⇔ 2a = b
4STEP 4

Multiplying lands exactly on the target

Multiplying makes the floor equal the right side.

(1+2a)(2+2b)(2a+b) ≥ (2√(2a))(4√(b))(2√(2ab)) = 16√(4a²b²) = 32ab
5STEP 5

Read it as an equality case

Equality needs all three conditions at once.

L₁L₂L₃ = R₁R₂R₃ with L_i ≥ R_i > 0 ⟹ L_i = R_i for all i ⟹ 2a = 1 ; 2b = 2 ; 2a = b
6STEP 6

Solve and verify

One solution exists, so the answer is 1.

a = 1/2, b = 1; 2a = 1 = b ✓ (2)(4)(2) = 16 = 32 · 1/2 · 1
Answer
1
Start with the found pair. At (1/2, 1) the left side is (1+1)(2+2)(1+1) = 2 · 4 · 2 = 16 and the right side is 32 · 1/2 · 1 = 16, so it is an exact solution, which already kills choice (A). Next test whether anything else can compete. Nudge each variable by hand and watch the left side always win: at (0.5, 1.1) the left side is 2 · 4.2 · 2.1 = 17.64 against 17.6 on the right; at (0.6, 1) it is 2.2 · 4 · 2.2 = 19.36 against 19.2; at (0.4, 1) it is 1.8 · 4 · 1.8 = 12.96 against 12.8. The margins are tiny but always positive, which is the signature of touching a floor rather than crossing it. A systematic sweep says the same: sampling a and b across 1200 × 1200 logarithmically spaced values from 10⁻³ to 10³, the difference left minus right was never negative even once, and the ratio (1+2a)(2+2b)(2a+b)/32ab came within 1.4 × 10⁻⁶ of 1 only at the sample point nearest (1/2, 1). Refining to steps of 10⁻⁴ over 0.4 ≤ a ≤ 0.6 and 0.9 ≤ b ≤ 1.1, the minimum of left minus right is exactly 0, attained at (0.5, 1) and nowhere else. The far field agrees too: as a → 0^+ with b fixed the left side tends to (2+2b)b > 0 while the right side tends to 0, and as a → ∞ the left side grows like 8a²(1+b) while the right side only grows like 32ab, so no solutions hide near the axes or out at infinity. That leaves the answer list. Choice (E) would require a whole curve of solutions, but the sweep shows the left side is strictly larger than the right everywhere except one isolated point, so no curve exists. Choices (C) and (D) would need a second or third pair, but the equality conditions force 2a = 1 and 2b = 2, each of which has exactly one solution, so a second pair is impossible. Only (B) survives.
💡Key takeaway

If one side of an equation can never dip below the other, then the equation is not asking you to solve anything — it is telling you that you are standing exactly on the floor, and every reason the floor could have been missed has to be switched off at once.

  • Sums on the left, product on the right
  • One fact about two positive numbers
  • Point it at each of the three factors
  • Multiply, and the floor lands exactly on 32ab
  • The equation is an equality case, not a solve
  • Solve the system and check it is not empty