AMC 10 · 2014 · #25

Grade 10 geometry-2dnumber-theory
parabola-focus-directrixcoordinate-geometryquadratic-equationsparity convert-to-algebraidentify-subproblemssystematic-enumeration ↑ Prerequisites: parabola-focus-directrixcoordinate-geometry
📏 Long solution 💡 4 insights
Problem
A curve has a known focus and passes through two given points. Count its grid points inside a bound.

Pick an answer.

(A)
38
(B)
40
(C)
42
(D)
44
(E)
46
How to solve
Strategy Organize Information in More Ways

The parabola is tilted, so its equation in x and y is a messy conic and hunting lattice points on it directly is hopeless. Tool #13 (Convert to Algebra) turns the focus-directrix definition into a polynomial equation, but the real move is tool #15 (Organize Information in More Ways): rename the plane by m=4x+3y and n=3x-4y. These are not arbitrary — 4x+3y is the quantity the bound measures, 3x-4y is the quantity the directrix measures, and the identity (4x+3y)²+(3x-4y)²=25(x²+y²) says they are the two halves of the squared distance. In the (m,n) names the conic collapses to the single relation m²=50n+625. Tool #7 (Identify Subproblems) then splits the work into two independent questions — which m satisfy the curve equation, and which of those return integer x,y — and tool #4 (Introduce a Variable) packages the survivors as one integer parameter k. Tool #2 (Make a Systematic List) finishes by listing the admissible k inside the bound.

1STEP 1

Find the directrix from the definition

The two given points fix the directrix.

√(4²+3²)=5; |s-c|=|s+c|=5 → s=4u+3v=0, |c|=5; ℓ: 3x-4y=-25
2STEP 2

Turn equal distances into an equation

Equal distances give one equation.

x²+y²=((3x-4y+25)²)/25 ⟺ 25(x²+y²)=(3x-4y+25)²
3STEP 3

Rename the plane with m and n

Renaming the plane makes it simple.

(4x+3y)²+(3x-4y)²=25(x²+y²); m=4x+3y, n=3x-4y → m²=50n+625
4STEP 4

Force x and y back to integers

Whole coordinates force a divisibility chain.

25 ∣ m²→ m=5t, t²=2n+25→ t odd; 25 ∣ t(t+5)→ 5 ∣ t→ m=4x+3y=25k, k odd
5STEP 5

One odd k per lattice point

Each odd parameter gives exactly one grid point.

x=(3k²+8k-3)/2, y=-2k²+3k+2, k odd; k=1↦(4,3), k=-1↦(-4,-3)
6STEP 6

Count the odd k inside the bound

Counting them gives 40, choice (B).

|25k| ≤ 1000⇔ |k| ≤ 40; k∈{±1,±3,…,±39}→ 2 · 20=40→ (B)
Answer
40
Spot-checks land on the nose. k=± 1 returns the two points the problem supplied, (4,3) and (-4,-3). k=-3 gives (0,-25), and indeed 25(0²+25²)=15625=(0+100+25)², so it sits on P with 4x+3y=-75. The extreme case k=39 gives (2436,-2923) with 4x+3y=9744-8769=975 ≤ 1000, while the next odd value k=41 would need |4x+3y|=1025 > 1000 — the cut falls exactly between them, so no boundary point is being gained or lost. Choosing the other admissible directrix 3x-4y=25 produces the mirror parabola under (x,y)↦(-x,-y), and that map preserves both integer coordinates and |4x+3y|, so it also yields 40; the problem is well posed despite the two-line ambiguity. The neighbouring choices are exactly the boundary slips: admitting k=± 41 gives 42, and stopping at k=± 37 gives 38.
💡Key takeaway

Rename the plane after the two expressions the problem already mentions — 4x+3y and 3x-4y — and the tilted parabola turns into one odd number per lattice point, so counting points becomes counting the odd numbers from -39 to 39.

  • Find the directrix from the definition
  • Turn equal distances into an equation
  • Rename the plane with m and n
  • Force x and y back to integers
  • One odd k per lattice point
  • Count the odd k inside the bound