2009 AMC 12B Problems/Problem 25
The set is defined by the points with integer coordinates, , . How many squares of side at least have their four vertices in ?
We need to find a reasonably easy way to count the squares.
First, obviously the maximum distance between two points in the same quadrant is , hence each square has exactly one vertex in each quadrant.
Given any square, we can circumscribe another axes-parallel square around it. In the picture below, the original square is red and the circumscribed one is blue.
Let's now consider the opposite direction. Assume that we picked the blue square, how many different red squares do share it?
Answering this question is not as simple as it may seem. Consider the picture below. It shows all three red squares that share the same blue square. In addition, the picture shows a green square that is not valid, as two of its vertices are in bad locations.
The size of the blue square can range from to , and for the intermediate sizes, there is more than one valid placement. We will now examine the cases one after another. Also, we can use symmetry to reduce the number of cases.
size upper_right solutions symmetries total 6 (3,3) 1 1 1 7 (3,3) 1 4 4 8 (3,3) 1 4 4 8 (3,4) 1 4 4 8 (4,4) 3 1 3 9 (3,3) 1 4 4 9 (3,4) 1 8 8 9 (4,4) 3 4 12 10 (3,3) 1 4 4 10 (3,4) 1 8 8 10 (3,5) 1 4 4 10 (4,4) 3 4 12 10 (4,5) 3 4 12 10 (5,5) 5 1 5 11 (4,4) 3 4 12 11 (4,5) 3 8 24 11 (5,5) 5 4 20 12 (5,5) 5 4 20 12 (5,6) 5 4 20 12 (6,6) 7 1 7 13 (6,6) 7 4 28 14 (7,7) 9 1 9
Summing the last column, we get that the answer is .
This is based on a clever bijection given in this page.
Consider any square where all four vertices are in , and the side length is at least , so the four vertices must lie in distinct quadrants (Same proof as in solution 1). Without loss of generality, assume that are in the first, second, third, fourth quadrant. Then we consider the following mapping:
Then the new points , , , are either being the same point or forming a square in , a 5x5 grid.
Conversely, for any point in , it can be reversed to a square ; however, for any square in , there are four possible squares that were mapped to them. Therefore the number of possible squares is equal to , where is the number of squares inscribed in .
Moreover by the same idea in solution 1, each square (with sides parallel or slanted to the axes) in a can be inscribed in a square in , with sides parallel to one of the axes, call it "standard square". Noticing that each standard square of side length corresponds to inscribed squares, and that there are number of standard squares of side length , we have
So the answer is
Motivation(by williamgolly, solution by MAA): Homotheties
Solution 3(If you have no time)
Start with Solution 2: the number of possible squares is equal to . Notice there are only 2 options (, and ) which have integer solutions for N. Option corresponds to , and option corresponds to . At this point, guessing between the 2 choices is already worth it, but there are already 16 unit squares (solutions to N), meaning that the answer is more probably .
Edit:There are 125 squares you can make w/out tilted ones, so the answer is more than 125, hence .
Consider any square that meets the requirements described in the problem. Then, take the vertices of the square and translate them to the first quadrant (This is the "mapping" described in Solution 2). For example, consider a square with vertices and :
After following the mapping described in Solution 2, the square looks like this:
The position of each vertex within their corresponding grid has not changed.For example, the point is still the top-left point in a grid, albeit a change in quadrant. Trying this out with a couple of other squares, we see that the following property holds:
Therefore the logical inverse is true:
But how many "unmapped" squares, to be exact?
This might seem complicated at first, but with some intuitive thinking, we realize that there are exactly "unmapped" squares that correspond with a "mapped" square. This is because given a "mapped" square, there are choices for the vertex that will remain in the first quadrant; but once that point is chosen, there is only distribution of the other vertices that will result in a square. So, we want four times the number of squares we can make in the first quadrant grid.
We divide our counting method into two cases: squares with side length after mapping (which means all four vertices are in the same position relative to their own grids) and squares with side length after mapping.
Case 1: There are such squares of length (this is equivalent to counting the number of points on the grid). However, in this scenario, all of the vertices have been mapped onto the same point. So instead of choices for the first quadrant vertex, there is only one. Subsequently there are only such squares that correspond to them.
Case 2: Let a square with sides parallel to the axes be known as squares. These squares can have side length or . However, the number of squares possible depends on the side length. For example, there is only possible square of side length , but squares of side length . To be exact, there are possible squares of side length . So, the total number of squares is
But what about "tilted" squares? Notice that "tilted squares" can always be inscribed (drawn within) another, bigger square. Let a square inscribed within an square be called a square. How many squares are there? Well, this also depends on the side length. We only want squares whose vertices are lattice points (integer value coordinates), so the number of squares should increase along with side length. We defined squares to be inscribed within squares, so we can say that all squares have their vertices on the side on an square. Consider an square with side length . There are other lattice points along the side of the square, not counting the vertices. Therefore, we can say that there are possible squares for every square with side length . We can multiply times the number of squares to get the number of squares. This is
total squares. But we need to add these two quantities to get the number of squares for Case 2:
By distributive property, the expression becomes
Solving, we get "mapped" squares, both and . Multiplying this by to get the corresponding number of "unmapped" squares, then adding to get the number of squares for Case 1, we get
|2009 AMC 12B (Problems • Answer Key • Resources)|
|1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 • 16 • 17 • 18 • 19 • 20 • 21 • 22 • 23 • 24 • 25|
|All AMC 12 Problems and Solutions|