Let be the set of lattice points in the coordinate plane, both of whose coordinates are integers between and , inclusive. Exactly points in lie on or below a line with equation . The possible values of lie in an interval of length , where and are relatively prime positive integers. What is
- A)
- B)
- C)
- D)
- E)
Answer
E
Key insight
The area under y = mx for 0 ≤ x ≤ 30 is 450m, so test m = 2/3 (exactly 300 points); the count holds until slope 19/28.
Solution
For , the points of on or below in column are , so the count is . This is roughly the area , and suggests .
Check . Group into triples for : the floors are , summing to . Total . Exactly right.
Lower end. The ten points lie on the line and are counted. Any loses them, so is the left endpoint (included).
Upper end. As grows, stays until the line reaches another point of , i.e. until equals the smallest fraction with . Since , the best candidates have with as large as possible: , so , , giving a gap of . Any fraction with has gap at least . So the interval is .
Its length is , so .
The answer is .
Why this works
The count of lattice points under a line is a step function of the slope: it changes only when the line sweeps through a lattice point. So the set of good slopes is an interval between two consecutive "lattice slopes." Estimation (area ) finds the interval quickly, and the endpoints come from the number-theoretic question of which fraction with bounded denominator is nearest to from above.
The trap
Taking an interval symmetric around 2/3, or forgetting that points on the line count, so 2/3 itself is the lower endpoint and 19/28 the upper.
Common mistakes
- Taking an interval symmetric around 2/3, or forgetting that points on the line count, so 2/3 itself is the lower endpoint and 19/28 the upper.
- Picking the next-larger fraction with small denominator, such as or , instead of searching denominators up to .
Techniques
Bound the quantity above/below or estimate to pin it down · Test small/specific values or special cases to find or verify the answer