In the following table, each question mark is to be replaced by "Possible" or "Not Possible" to indicate whether a nonvertical line with the given slope can contain the given number of lattice points (points both of whose coordinates are integers). How many of the 12 entries will be "Possible"?

- A)
- B)
- C)
- D)
- E)
Answer
C
Key insight
A line through two lattice points has a fraction slope. A fraction slope through one lattice point hits infinitely many. So each row has exactly two Possible entries.
Solution
The table has three rows (slope , a nonzero fraction slope, an irrational slope) and four columns (, exactly , exactly , more than lattice points). Two facts settle almost everything.
Fact 1: two lattice points give a fraction slope. If a line passes through and , its slope is , a fraction. The same happens for any two lattice points, because the slope is one whole number divided by another. So a line with an irrational slope (like ) passes through at most one lattice point.
Fact 2: a fraction slope repeats. Take the line through with slope . Going right and up lands on , then , then , and so on forever. In general, if a line has slope and passes through one lattice point, moving right and up lands on another lattice point every time. So such a line has either no lattice points or infinitely many.
Now go row by row.
- Slope (lines ). The line has no lattice points, and has infinitely many. Exactly or exactly is impossible by Fact 2. Possible: and more than .
- Nonzero fraction slope. The line has infinitely many lattice points. The line has none: for any whole number , ends in . Exactly or is impossible by Fact 2. Possible: and more than .
- Irrational slope. The line passes through and no other lattice point (by Fact 1). The line passes through none, since at it gives and at any other whole , is not a whole number. Two or more is impossible by Fact 1. Possible: and exactly .
Each row has "Possible" entries, so there are .
The answer is .
Why this works
Whether a line's slope is a fraction decides how it meets lattice points. A fraction slope makes the lattice points repeat at a steady step, so there are none or infinitely many. An irrational slope allows at most one. To fill a "possible or not" table, give one example for each "Possible" and a general reason for each "Not Possible".
The trap
Thinking a line with a fraction slope can pass through exactly one or two lattice points. Once it hits one, stepping along the slope hits infinitely many more.
Concise solution
The rows are slope , nonzero rational slope, irrational slope; the columns are , exactly , exactly , more than lattice points.
Two general facts do most of the work.
- If a line contains two lattice points and , its slope is rational (or the line is vertical). So an irrational-slope line has at most one lattice point.
- If a line with rational slope (lowest terms) contains a lattice point , it also contains , , and so on. So a rational-slope line with one lattice point has infinitely many.
Slope : . If is not an integer, there are lattice points; if is an integer, infinitely many. Exactly or is impossible by fact 2. Possible: and more than .
Nonzero rational slope: has no lattice points (the right side is never an integer for integer : has odd numerator); has infinitely many. Exactly or is impossible by fact 2. Possible: and more than .
Irrational slope: passes through exactly one lattice point, the origin; passes through none. Two or more is impossible by fact 1. Possible: and exactly .
Each row has possible entries, for in all.
The answer is .
Review in the AoPS books
- Introduction to Geometry, Chapter 17: Analytic Geometry
- Introduction to Number Theory, Chapter 1: Integers: The Basics
- Introduction to Counting & Probability, Chapter 2: Basic Counting Techniques (§2.2)
- Introduction to Algebra, Chapter 8: Graphing Lines
Techniques
Split into exhaustive cases and handle each · Test small/specific values or special cases to find or verify the answer