AMC 10 · 2008 · #19

Grade 11 algebra
complex-numberscompleting-the-squareoptimizationsystems-of-equations convert-to-algebraextreme-principle ↑ Prerequisites: complex-numbersquadratic-equations
📏 Medium solution 💡 3 insights
Problem
A quadratic with a fixed complex leading coefficient has two unknown complex coefficients. Two of its values come out real. Find the smallest possible total of the two coefficients' sizes.

Pick an answer.

(A)
1
(B)
$\sqrt {2}$
(C)
2
(D)
$2 \sqrt {2}$
(E)
4
How to solve
Strategy Extreme Principle

Tool #4 (Introduce a Variable) does the setup: write α = a + bi and γ = c + di, so four real numbers carry the whole problem and both moduli become square roots of sums of squares. Tool #15 (Organize Information in More Ways) is the pivot — rewrite f(1) and f(i) as (real part) + (imaginary part) i, because "is real" only speaks about the imaginary part, and once the values are sorted that way the hypothesis becomes two plain linear equations. Tool #14 (Extreme Principle) is the primary tool because the question is a minimum: after eliminating γ's influence, |α|² becomes a quadratic in one variable whose completed-square form exposes both its floor and the single point where the floor is touched. Tool #6 (Guess and Check) supplies the half that a lower bound cannot supply on its own: exhibit one concrete pair and verify f(1) and f(i) really are real, proving the bound is reached rather than merely respected. Tool #1 (Draw a Diagram) gives the independent second route in the review — the constraint on α is a straight line, and the minimum is the distance from the origin to it.

1STEP 1

Name the four real coordinates

Splitting each coefficient gives four real unknowns.

α = a + bi, γ = c + di, |α| + |γ| = √(a² + b²) + √(c² + d²)
2STEP 2

Expand f(1) and f(i)

Expanding the two values separates real from imaginary.

f(1) = (4 + a + c) + (1 + b + d) i f(i) = (-4 - b + c) + (-1 + a + d) i
3STEP 3

Read off exactly two equations

Only the imaginary parts give conditions, so there are just two.

Im f(1) = 0 → 1 + b + d = 0 Im f(i) = 0 → -1 + a + d = 0
4STEP 4

Eliminate d to isolate α

Eliminating one unknown isolates the first coefficient.

a - b = 2, d = -1 - b, c free
5STEP 5

Complete the square to floor |α|

Completing the square floors its size at √(2).

|α|² = (b+2)² + b² = 2(b+1)² + 2 ≥ 2 ⟹ |α| ≥ √(2), equality iff b = -1
6STEP 6

Check the two floors are compatible

The two floors are compatible, so the other size can be zero.

|α| = √(2) → b = -1 → d = -1 - b = 0; take c = 0 → |γ| = 0
7STEP 7

Build the pair and test it

An explicit pair reaches it, so the answer is √(2), choice (A).

α = 1 - i, γ = 0: f(1) = 5, f(i) = -3, |α| + |γ| = √(2) + 0 = √(2)
Answer
√(2)
√(2) ≈ 1.41 sits between (A) 1 and (C) 2, and both neighbours die for stated reasons rather than by feel. (A) 1 is impossible because |α| ≥ √(2) > 1 on its own, before γ is even considered. (C), (D), (E) are not minimal because α = 1 - i, γ = 0 is an explicit legal pair scoring √(2). A structural check on the constant: the 4 never appeared in either equation — only the imaginary part of the leading coefficient did. Replacing 4 + i by 4 + ki turns the constraint into a - b = 2k and the answer into √(2) |k|; at k = 0 the leading coefficient is real, α = γ = 0 already works, and the minimum is 0 — exactly as it must be. One trap deserves naming: turning "f(1) and f(i) are real" into the value equations α + γ = -i and α i + γ = i constrains the real parts too, which the problem never asked. It happens to land on the same α = 1 - i, but it throws away legal pairs and proves no minimum, since it never shows that a shorter α is impossible.
💡Key takeaway

Turn "both values are real" into "both imaginary parts are zero", and the whole problem shrinks to finding the point on one straight line that sits closest to the origin.

  • Name the four real coordinates
  • Expand f(1) and f(i)
  • Read off exactly two equations
  • Eliminate d to isolate α
  • Complete the square to floor |α|
  • Check the two floors are compatible
  • Build the pair and test it