Difference between revisions of "2009 AMC 12B Problems/Problem 25"
(→Solution 3: Mega Cheese (only if VERY low on time)) |
|||
Line 164: | Line 164: | ||
Edit:There are 125 squares you can make w/out tilted ones, so the answer is more than 125, hence <math>E</math>. | Edit:There are 125 squares you can make w/out tilted ones, so the answer is more than 125, hence <math>E</math>. | ||
+ | |||
+ | |||
+ | ==Solution 4/Explanation== | ||
+ | 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 <math>(7, 7), (-7, 7), (-7, -7),</math> and <math>(7, -7)</math>: | ||
+ | |||
+ | |||
+ | <asy> | ||
+ | defaultpen(black+0.75bp+fontsize(8pt)); | ||
+ | size(5cm); | ||
+ | path p = scale(.15)*unitcircle; | ||
+ | draw((-8,0)--(8.5,0),Arrow(HookHead,1mm)); | ||
+ | draw((0,-8)--(0,8.5),Arrow(HookHead,1mm)); | ||
+ | int i,j; | ||
+ | for (i=-7;i<8;++i) { | ||
+ | for (j=-7;j<8;++j) { | ||
+ | if (((-7 <= i) && (i <= -3)) || ((3 <= i) && (i<= 7))) { if (((-7 <= j) && (j <= -3)) || ((3 <= j) && (j<= 7))) { fill(shift(i,j)*p,black); }}}} draw((-7,-.2)--(-7,.2),black+0.5bp); | ||
+ | draw((-3,-.2)--(-3,.2),black+0.5bp); | ||
+ | draw((3,-.2)--(3,.2),black+0.5bp); | ||
+ | draw((7,-.2)--(7,.2),black+0.5bp); | ||
+ | draw((-.2,-7)--(.2,-7),black+0.5bp); | ||
+ | draw((-.2,-3)--(.2,-3),black+0.5bp); | ||
+ | draw((-.2,3)--(.2,3),black+0.5bp); | ||
+ | draw((-.2,7)--(.2,7),black+0.5bp); | ||
+ | label("$-7$",(-7,0),S); | ||
+ | label("$-3$",(-3,0),S); | ||
+ | label("$3$",(3,0),S); | ||
+ | label("$7$",(7,0),S); | ||
+ | label("$-7$",(0,-7),W); | ||
+ | label("$-3$",(0,-3),W); | ||
+ | label("$3$",(0,3),W); | ||
+ | label("$7$",(0,7),W); | ||
+ | draw( (7,7) -- (-7,7) -- (-7,-7) -- (7,-7) -- cycle, black ); | ||
+ | </asy> | ||
+ | |||
+ | |||
+ | After following the mapping described in Solution 2, the square looks like this: | ||
+ | |||
+ | |||
+ | <asy> | ||
+ | defaultpen(black+0.75bp+fontsize(8pt)); | ||
+ | size(5cm); | ||
+ | path p = scale(.15)*unitcircle; | ||
+ | draw((-8,0)--(8.5,0),Arrow(HookHead,1mm)); | ||
+ | draw((0,-8)--(0,8.5),Arrow(HookHead,1mm)); | ||
+ | int i,j; | ||
+ | for (i=-7;i<8;++i) { | ||
+ | for (j=-7;j<8;++j) { | ||
+ | if (((-7 <= i) && (i <= -3)) || ((3 <= i) && (i<= 7))) { if (((-7 <= j) && (j <= -3)) || ((3 <= j) && (j<= 7))) { fill(shift(i,j)*p,black); }}}} draw((-7,-.2)--(-7,.2),black+0.5bp); | ||
+ | draw((-3,-.2)--(-3,.2),black+0.5bp); | ||
+ | draw((3,-.2)--(3,.2),black+0.5bp); | ||
+ | draw((7,-.2)--(7,.2),black+0.5bp); | ||
+ | draw((-.2,-7)--(.2,-7),black+0.5bp); | ||
+ | draw((-.2,-3)--(.2,-3),black+0.5bp); | ||
+ | draw((-.2,3)--(.2,3),black+0.5bp); | ||
+ | draw((-.2,7)--(.2,7),black+0.5bp); | ||
+ | label("$-7$",(-7,0),S); | ||
+ | label("$-3$",(-3,0),S); | ||
+ | label("$3$",(3,0),S); | ||
+ | label("$7$",(7,0),S); | ||
+ | label("$-7$",(0,-7),W); | ||
+ | label("$-3$",(0,-3),W); | ||
+ | label("$3$",(0,3),W); | ||
+ | label("$7$",(0,7),W); | ||
+ | draw( (3,3) -- (3,7) -- (7,7) -- (7,3) -- cycle, black ); | ||
+ | </asy> | ||
+ | |||
+ | |||
+ | The position of each vertex within their corresponding grid has not changed.For example, the point <math>(-7, 7)</math> 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: | ||
+ | |||
+ | <cmath>\text{"For any and all squares with vertices in each of the four quadrants, the 'mapped' version is also a square."}</cmath> | ||
+ | |||
+ | |||
+ | Therefore the logical inverse is true: | ||
+ | |||
+ | |||
+ | <cmath>\text{"For any 'mapped' square with all four vertices in the first quadrant,}</cmath> | ||
+ | <cmath>\text{there exists at least one corresponding 'unmapped' square with a vertex in each of the four quadrants."}</cmath> | ||
+ | |||
+ | |||
+ | 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 <math>4</math> "unmapped" squares that correspond with a "mapped" square. This is because given a "mapped" square, there are <math>4</math> choices for the vertex that will remain in the first quadrant; but once that point is chosen, there is only <math>1</math> distribution of the other <math>3</math> 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 <math>0</math> after mapping (which means all four vertices are in the same position relative to their own grids) and squares with side length <math>1-4</math> after mapping. | ||
+ | |||
+ | |||
+ | Case 1: There are <math>25</math> such squares of length <math>0</math> (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 <math>4</math> choices for the first quadrant vertex, there is only one. Subsequently there are only <math>25</math> such squares that correspond to them. | ||
+ | |||
+ | |||
+ | Case 2: Let a square with sides parallel to the axes be known as <math>A</math> squares. These <math>A</math> squares can have side length <math>1, 2, 3,</math> or <math>4</math>. However, the number of <math>A</math> squares possible depends on the side length. For example, there is only <math>1</math> possible <math>A</math> square of side length <math>4</math>, but <math>16</math> squares of side length <math>1</math>. To be exact, there are <math>(5-s)^2</math> possible <math>A</math> squares of side length <math>s</math>. So, the total number of <math>A</math> squares is | ||
+ | |||
+ | |||
+ | <math>\sum_{s=1}^4 (5-s)^2</math> | ||
+ | |||
+ | |||
+ | But what about "tilted" squares? Notice that "tilted squares" can always be inscribed (drawn within) another, bigger square. Let a square inscribed within an <math>A</math> square be called a <math>B</math> square. How many <math>B</math> 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 <math>B</math> squares should increase along with side length. We defined <math>B</math> squares to be inscribed within <math>A</math> squares, so we can say that all <math>B</math> squares have their vertices on the side on an <math>A</math> square. Consider an <math>A</math> square with side length <math>4</math>. There are <math>3</math> other lattice points along the side of the <math>A</math> square, not counting the vertices. Therefore, we can say that there are <math>s-1</math> possible <math>B</math> squares for every <math>A</math> square with side length <math>s</math>. We can multiply <math>(s-1)</math> times the number of <math>A</math> squares to get the number of <math>B</math> squares. This is | ||
+ | |||
+ | |||
+ | <math>\sum_{s=1}^4 (s-1)(5-s)^2</math> | ||
+ | |||
+ | |||
+ | total <math>B</math> squares. But we need to add these two quantities to get the number of squares for Case 2: | ||
+ | |||
+ | |||
+ | <math>\sum_{s=1}^4 (s-1)(5-s)^2 + \sum_{s=1}^4 (5-s)^2</math> | ||
+ | |||
+ | |||
+ | By distributive property, the expression becomes | ||
+ | |||
+ | |||
+ | <math>\sum_{s=1}^4 s(5-s)^2</math> | ||
+ | |||
+ | |||
+ | Solving, we get <math>50</math> "mapped" squares, both <math>A</math> and <math>B</math>. Multiplying this by <math>4</math> to get the corresponding number of "unmapped" squares, then adding to get the number of squares for Case 1, we get | ||
+ | |||
+ | |||
+ | <math>50*4 + 25 = 225 \Rightarrow \boxed{\text{E}}</math>. | ||
== See Also == | == See Also == |
Revision as of 16:33, 1 August 2020
Contents
Problem
The set is defined by the points
with integer coordinates,
,
. How many squares of side at least
have their four vertices in
?
Solution
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 .
Solution 2
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
Solution 3: Mega Cheese (only if VERY low on 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 .
Solution 4/Explanation
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
.
See Also
2009 AMC 12B (Problems • Answer Key • Resources) | |
Preceded by Problem 24 |
Followed by Last Question |
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 |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.