AMC 10 · 2019 · #21

Grade 11 algebra
complex-numbersroots-of-unitymodular-arithmeticexponentsperfect-squares pattern-recognitioneasier-related-problemidentify-subproblems ↑ Prerequisites: complex-numbersexponents
📏 Long solution 💡 3 insights
Problem
Let z be one plus i, divided by root two. Add up z raised to the power k squared for k from 1 to 12, then add up the reciprocals over the same range, and multiply the two sums together.

Pick an answer.

(A)
18
(B)
$72-36\sqrt2$
(C)
36
(D)
72
(E)
$72+36\sqrt2$
How to solve
Strategy Look for a Pattern

Tool #9 (Easier Related Problem): nobody computes z¹⁴⁴ directly. Compute z² instead — it is a one-line expansion, and every other power is built from it. Tool #5 (Look for a Pattern): those small powers show that z⁸ = 1, so the powers of z run in a cycle of length 8 and only the exponent's remainder mod 8 matters. The exponents are the perfect squares, and perfect squares mod 8 follow their own short repeating block. Tool #15 (Organize in More Ways): instead of reading the sum left to right, sort the twelve terms into groups by remainder — most of them cancel. Tool #7 (Subproblems): handle the two factors separately, then multiply the two short results at the end.

1STEP 1

Read z as a + bi

Read z as real and imaginary parts.

z = 1/√(2) + 1/√(2) i, |z| = 1
2STEP 2

Square it to kill the root

Squaring kills the root.

z² = ((1+i)²)/(√(2))² = (1 + 2i + i²)/2 = 2i/2 = i
3STEP 3

Powers repeat every eight

The powers repeat every eight.

z² = i, z⁴ = -1, z⁸ = 1 ⟹ zⁿ = z^ n mod 8
4STEP 4

Squares mod 8: 1, 4, 1, 0

The squares hit only four remainders.

k² mod 8 : 1, 4, 1, 0, 1, 4, 1, 0, 1, 4, 1, 0
5STEP 5

Group the first sum

The first sum collapses to one term.

Σ_k=1¹² z^k² = 6z + 3(-1) + 3(1) = 6z
6STEP 6

The second sum mirrors it

The second sum mirrors it.

Σ_k=1¹² 1/z^k² = 6/z + 3(-1) + 3(1) = 6/z
7STEP 7

Multiply and cancel

Multiplying cancels down to 36.

6z · 6/z = 36 · z/z = 36 → (C)
Answer
36
Size check first: every term has absolute value 1, so each sum is at most 12 in absolute value and the product is at most 144 — a value of 36 sits comfortably inside. Direct check: 6z = 6 · (1+i)/√(2) = 3√(2) (1+i) and 6/z = 6 · (1-i)/√(2) = 3√(2) (1-i), so the product is 9 · 2 · (1+i)(1-i) = 18 · (1 - i²) = 18 · 2 = 36. It also had to be real: the two sums are conjugates of each other, and a number times its conjugate is |6z|² = 36. The wrong choices are exactly the cancellation mistakes. Forget that the remainder-4 terms are -1 and count all six of them as +1, and you get (6z + 6)(6/z + 6) = 72 + 36(z + 1/z) = 72 + 36√(2), choice (E). Flip that sign and you land on 72 - 36√(2), choice (B). Drop the cross terms from either of those and you get 72, choice (D).
💡Key takeaway

You never need De Moivre here — just square z to get i, notice z⁸ = 1 so powers repeat every 8, list the remainders of 1, 4, 9, …, 144 mod 8 as the repeating block 1, 4, 1, 0, let the +1 and -1 terms cancel, and the two giant sums shrink to 6z and 6/z, whose product is 36.

  • Read z as a + bi
  • Square it to kill the root
  • Powers repeat every eight
  • Squares mod 8: 1, 4, 1, 0
  • Group the first sum
  • The second sum mirrors it
  • Multiply and cancel