🇺🇸 AMC 8 ⇄ switch contest
1996 AMC 8 Stretch

Problem 4

Problem 4 · AMC 8 Stretch Stretch
Counting & Probability Number TheoryGeometry & Measurement pigeonholeparity
Now do the same idea in 3-D space. Mark any 9 points whose coordinates \((x,y,z)\) are all whole numbers. Show that 2 of them have a midpoint with all whole-number coordinates.
Show answer
Answer: 2 points share a parity pattern
Show hints
Hint 1 of 4
Use the same trick as the flat (2-D) version, but now there are three coordinates, each even or odd.
Still stuck? Show hint 2 →
Hint 2 of 4
Count the even/odd patterns for a triple \((x,y,z)\): each of the 3 spots is even or odd, so multiply \(2\times2\times2\).
Still stuck? Show hint 3 →
Hint 3 of 4
That's 8 patterns — your 8 boxes. You have 9 points.
Show solution
Approach: Pigeonhole on 3-D parity patterns — 9 points, \(2^3 = 8\) classes
  1. As in the flat version, the only thing that matters about a point is whether each coordinate is even or odd. With three coordinates each even or odd, the number of patterns is \(2\times2\times2 = 8\).
  2. Make these 8 patterns your boxes and drop the 9 points in. Since \(9 > 8\), two points land in the same box.
  3. They match in even/odd for \(x\), for \(y\), and for \(z\), so \(x_1+x_2\), \(y_1+y_2\), and \(z_1+z_2\) are all even.
  4. Dividing each by 2 gives whole numbers, so the midpoint has all whole-number coordinates.
Mark: · log in to save