AMC 10 · 2009 · #22

Grade 10 countingnumber-theory
coordinate-geometryprime-factorizationstars-and-barsshoelace-formula convert-to-algebraidentify-subproblemssystematic-enumeration ↑ Prerequisites: coordinate-geometryprime-factorization
📏 Long solution 💡 4 insights
Problem
A parallelogram of given area has one corner at the origin and two others as lattice points on lines through it. Count how many such parallelograms there are.

Pick an answer.

(A)
49
(B)
720
(C)
784
(D)
2009
(E)
2048
How to solve
Strategy Convert to Algebra

The picture has far less freedom than it looks. A is nailed to the origin, B is dragged onto the line y = x, and D is dragged onto a line through the origin of integer slope, so three whole numbers — the slope k and the two x-coordinates s and t — already fix the whole figure. Write the area in those three letters and the geometry collapses to the single equation (k-1)st = 1,000,000, which is a factoring question, not a shape question. The trap is to stop there. That equation is only a necessary condition: it says a legal parallelogram forces a factorization. Counting factorizations answers the question only if the traffic runs both ways, so two extra checks carry the argument. First, build the parallelogram back from an arbitrary factorization and confirm it really lands in the first quadrant with lattice corners and the right area — otherwise some triples would be counted that no parallelogram matches. Second, confirm no single parallelogram is described by two different triples, in particular that the roles of B and D can never be swapped. Only after both checks is the count of ordered triples the count of parallelograms, and that count is then done one prime at a time.

1STEP 1

Name the two corners beside A

Two parameters name the corners beside the origin.

B=(s,s), D=(t,kt), s,t ∈ {1,2,3,…}, k ∈ {2,3,4,…}
2STEP 2

Turn the area into one equation

The area becomes a single product of three whole numbers.

[ABCD]=2 [ABD]=| x_B y_D-x_D y_B |=|s · kt-t · s|=(k-1)st=1,000,000
3STEP 3

Check every triple builds a real figure

Every triple builds a real figure.

mst=10⁶, k=m+1 ⟹ A=(0,0), B=(s,s), C=(s+t,s+kt), D=(t,kt), [ABCD]=mst=10⁶
4STEP 4

Check no figure is counted twice

No figure is counted twice.

D on y=x ⇔ kt=t ⇔ k=1 (excluded, since k > 1)
5STEP 5

Split the count prime by prime

The count splits prime by prime.

m=2^a₁₅^b₁, s=2^a₂₅^b₂, t=2^a₃₅^b₃, a₁+a₂+a₃=6, b₁+b₂+b₃=6
6STEP 6

Split 6 three ways: 28 ways

Each prime contributes 28 ways.

Σ_a₁=0⁶ (7-a₁)=7+6+5+4+3+2+1=28=C(8, 2)
7STEP 7

Multiply the two primes' counts

Multiplying gives 784, choice (D).

28 × 28 = 784
Answer
784
Recount by grouping on k instead of counting triples all at once. For each value of m = k-1, which must be a divisor of 10⁶, the pairs (s,t) with st = 10⁶/m number exactly τ (10⁶/m), the number of divisors. Adding over all m gives Σ_n ∣ 10⁶ τ(n), and since τ (2^i5^j) = (i+1)(j+1) this sum factors as (Σ_i=0⁶(i+1))(Σ_j=0⁶(j+1)) = 28 · 28 = 784. Same total by a different bookkeeping. The method also survives a hand check on a small area: replace 1,000,000 by 12, so (k-1)st = 2² · 3. The formula predicts C(4, 2)·C(3, 2) = 6 · 3 = 18, and writing out all triples with product 12 gives exactly 18, each producing a different picture. Finally the size is sensible: 784 sits between 49, which counts slopes only, and the 49 · 49 = 2401 that would arise if s and t could be chosen freely rather than constrained by the leftover factor.
💡Key takeaway

When a shape is pinned down by a few whole numbers, count the numbers instead of the shapes — but only after checking that every set of numbers really draws a legal shape, and that no shape gets drawn twice.

  • Name the two corners beside A
  • Turn the area into one equation
  • Check every triple builds a real figure
  • Check no figure is counted twice
  • Split the count prime by prime
  • Split 6 three ways: 28 ways
  • Multiply the two primes' counts