Let , , and be squares that have vertices at lattice points (i.e., points whose coordinates are both integers) in the coordinate plane, together with their interiors. The bottom edge of each square is on the -axis. The left edge of and the right edge of are on the -axis, and contains as many lattice points as does . The top two vertices of are in , and contains of the lattice points contained in See the figure (not drawn to scale).
The fraction of lattice points in that are in is times the fraction of lattice points in that are in . What is the minimum possible value of the edge length of plus the edge length of plus the edge length of ?
- A)
- B)
- C)
- D)
- E)
Answer
B
Key insight
Side n has (n+1)^2 lattice points; set r+1 = 3k, s+1 = 2k, and the 27-times condition forces t+1 congruent to -1 mod 13, then 4(t+1)^2 = 13k^2 - 2k.
Solution
A lattice square of side contains lattice points. Let the sides be . From put and . Squares and overlap only in the points on the -axis, so has points, and .
Let occupy with ; its top vertices lie in and , so also . Counting columns times rows, has points and has . The stated condition is
Writing gives and , so .
Now solve . Modulo : , so . The product must be even, so is even; together, .
- : , not a square.
- : , and has the required form (, ).
Hence , , ; indeed and , so 's top vertices lie in . Larger only enlarges every side, so the minimum is .
The answer is .
Why this works
Every geometric statement here is a lattice-point count, and each count is a product (columns times rows) or a square. Translating them yields one Diophantine equation, , plus the side condition . Congruence and parity filters shrink the search to a short list, and the geometric constraints (, ) are checked at the end.
The trap
Counting lattice points as the area n^2 instead of (n+1)^2, or double counting the shared y-axis column when finding the points of R union S.
Common mistakes
- Counting lattice points as the area n^2 instead of (n+1)^2, or double counting the shared y-axis column when finding the points of R union S.
- Stopping at the first that makes four times a square without checking , or forgetting that may straddle the -axis.
Techniques
Organized listing / direct enumeration · Substitute to simplify (u = x+1/x, shifting, scaling)