Difference between revisions of "2024 AIME I Problems/Problem 11"
Mathkiddie (talk | contribs) (Created blank page) |
m (→Fast Video Solution with Do Math or Go Home) |
||
(17 intermediate revisions by 9 users not shown) | |||
Line 1: | Line 1: | ||
+ | ==Problem== | ||
+ | Each vertex of a regular octagon is independently colored either red or blue with equal probability. The probability that the octagon can then be rotated so that all of the blue vertices end up at positions where there were originally red vertices is <math>\tfrac{m}{n}</math>, where <math>m</math> and <math>n</math> are relatively prime positive integers. What is <math>m+n</math>? | ||
+ | ==Video Solution == | ||
+ | https://www.youtube.com/watch?v=Nf80-0Eo72E&t=4s&ab_channel=MegaMathChannel | ||
+ | |||
+ | ==Solution 1== | ||
+ | Notice that the question's condition mandates all blues to go to reds, but reds do not necessarily have to go to blue. Let us do casework on how many blues there are. | ||
+ | |||
+ | If there are no blues whatsoever, there is only one case. This case is valid, as all of the (zero) blues have gone to reds. (One could also view it as: the location of all the blues now were not previously red.) Thus, we have <math>1</math>. | ||
+ | |||
+ | If there is a single blue somewhere, there are <math>8</math> cases - where can the blue be? Each of these is valid. | ||
+ | |||
+ | If there are two blues, again, every case is valid, and there are <math>\dbinom82=28</math> cases. | ||
+ | |||
+ | If there are three blues, every case is again valid; there are <math>\dbinom83=56</math> such cases. | ||
+ | |||
+ | The case with four blues is trickier. Let us look at all possible subcases. | ||
+ | |||
+ | If all four are adjacent (as in the diagram below), it is obvious: we can simply reverse the diagram (rotate it by <math>4</math> units) to achieve the problem's condition. There are <math>8</math> possible ways to have <math>4</math> adjacent blues, so this subcase contributes <math>8</math>. | ||
+ | <asy> | ||
+ | import graph; | ||
+ | |||
+ | void oct11(int[] pts) { | ||
+ | pair[] vertices = {(0,0),(1,0),(1.707,0.707),(1.707,1.707),(1,2.414),(0,2.414),(-0.707,1.707),(-0.707,0.707)}; | ||
+ | draw((0,0)--(1,0)--(1.707,0.707)--(1.707,1.707)--(1,2.414)--(0,2.414)--(-0.707,1.707)--(-0.707,0.707)--cycle); | ||
+ | for (int i = 0; i < 8; i+=1) { | ||
+ | if (pts[i] == 0) { | ||
+ | dot(vertices[i], blue); | ||
+ | } | ||
+ | if (pts[i] == 1) { | ||
+ | dot(vertices[i], red); | ||
+ | } | ||
+ | } | ||
+ | }; | ||
+ | int[] sus = {0,0,0,0,1,1,1,1}; | ||
+ | oct11(sus); | ||
+ | </asy> | ||
+ | |||
+ | If three are adjacent and one is one away (as shown in the diagram below), we can not rotate the diagram to satisfy the question. This subcase does not work. | ||
+ | |||
+ | <asy> | ||
+ | import graph; | ||
+ | |||
+ | void oct11(int[] pts) { | ||
+ | pair[] vertices = {(0,0),(1,0),(1.707,0.707),(1.707,1.707),(1,2.414),(0,2.414),(-0.707,1.707),(-0.707,0.707)}; | ||
+ | draw((0,0)--(1,0)--(1.707,0.707)--(1.707,1.707)--(1,2.414)--(0,2.414)--(-0.707,1.707)--(-0.707,0.707)--cycle); | ||
+ | for (int i = 0; i < 8; i+=1) { | ||
+ | if (pts[i] == 0) { | ||
+ | dot(vertices[i], blue); | ||
+ | } | ||
+ | if (pts[i] == 1) { | ||
+ | dot(vertices[i], red); | ||
+ | } | ||
+ | } | ||
+ | }; | ||
+ | int[] sus = {0,0,0,1,0,1,1,1}; | ||
+ | oct11(sus); | ||
+ | </asy> | ||
+ | |||
+ | If three are adjacent and one is two away, obviously it is not possible as there is nowhere for the three adjacent blues to go. | ||
+ | |||
+ | <asy> | ||
+ | import graph; | ||
+ | |||
+ | void oct11(int[] pts) { | ||
+ | pair[] vertices = {(0,0),(1,0),(1.707,0.707),(1.707,1.707),(1,2.414),(0,2.414),(-0.707,1.707),(-0.707,0.707)}; | ||
+ | draw((0,0)--(1,0)--(1.707,0.707)--(1.707,1.707)--(1,2.414)--(0,2.414)--(-0.707,1.707)--(-0.707,0.707)--cycle); | ||
+ | for (int i = 0; i < 8; i+=1) { | ||
+ | if (pts[i] == 0) { | ||
+ | dot(vertices[i], blue); | ||
+ | } | ||
+ | if (pts[i] == 1) { | ||
+ | dot(vertices[i], red); | ||
+ | } | ||
+ | } | ||
+ | }; | ||
+ | int[] sus = {0,0,0,1,1,0,1,1}; | ||
+ | oct11(sus); | ||
+ | </asy> | ||
+ | |||
+ | If there are two adjacent pairs that are <math>1</math> apart, it is not possible since we do not have anywhere to put the two pairs. | ||
+ | |||
+ | <asy> | ||
+ | import graph; | ||
+ | |||
+ | void oct11(int[] pts) { | ||
+ | pair[] vertices = {(0,0),(1,0),(1.707,0.707),(1.707,1.707),(1,2.414),(0,2.414),(-0.707,1.707),(-0.707,0.707)}; | ||
+ | draw((0,0)--(1,0)--(1.707,0.707)--(1.707,1.707)--(1,2.414)--(0,2.414)--(-0.707,1.707)--(-0.707,0.707)--cycle); | ||
+ | for (int i = 0; i < 8; i+=1) { | ||
+ | if (pts[i] == 0) { | ||
+ | dot(vertices[i], blue); | ||
+ | } | ||
+ | if (pts[i] == 1) { | ||
+ | dot(vertices[i], red); | ||
+ | } | ||
+ | } | ||
+ | }; | ||
+ | int[] sus = {0,0,1,0,0,1,1,1}; | ||
+ | oct11(sus); | ||
+ | </asy> | ||
+ | |||
+ | If there are two adjacent pairs that are <math>2</math> apart, all of these cases are possible as we can rotate the diagram by <math>2</math> vertices to work. There are <math>4</math> of these cases. | ||
+ | |||
+ | <asy> | ||
+ | import graph; | ||
+ | |||
+ | void oct11(int[] pts) { | ||
+ | pair[] vertices = {(0,0),(1,0),(1.707,0.707),(1.707,1.707),(1,2.414),(0,2.414),(-0.707,1.707),(-0.707,0.707)}; | ||
+ | draw((0,0)--(1,0)--(1.707,0.707)--(1.707,1.707)--(1,2.414)--(0,2.414)--(-0.707,1.707)--(-0.707,0.707)--cycle); | ||
+ | for (int i = 0; i < 8; i+=1) { | ||
+ | if (pts[i] == 0) { | ||
+ | dot(vertices[i], blue); | ||
+ | } | ||
+ | if (pts[i] == 1) { | ||
+ | dot(vertices[i], red); | ||
+ | } | ||
+ | } | ||
+ | }; | ||
+ | int[] sus = {0,0,1,1,0,0,1,1}; | ||
+ | oct11(sus); | ||
+ | </asy> | ||
+ | |||
+ | If there is one adjacent pair and there are two separate ones each a distance of <math>1</math> from the other, this case does not work. | ||
+ | |||
+ | <asy> | ||
+ | import graph; | ||
+ | |||
+ | void oct11(int[] pts) { | ||
+ | pair[] vertices = {(0,0),(1,0),(1.707,0.707),(1.707,1.707),(1,2.414),(0,2.414),(-0.707,1.707),(-0.707,0.707)}; | ||
+ | draw((0,0)--(1,0)--(1.707,0.707)--(1.707,1.707)--(1,2.414)--(0,2.414)--(-0.707,1.707)--(-0.707,0.707)--cycle); | ||
+ | for (int i = 0; i < 8; i+=1) { | ||
+ | if (pts[i] == 0) { | ||
+ | dot(vertices[i], blue); | ||
+ | } | ||
+ | if (pts[i] == 1) { | ||
+ | dot(vertices[i], red); | ||
+ | } | ||
+ | } | ||
+ | }; | ||
+ | int[] sus = {0,0,1,0,1,0,1,1}; | ||
+ | oct11(sus); | ||
+ | </asy> | ||
+ | |||
+ | If we have one adjacent pair and two separate ones that are <math>2</math> away from each other, we can flip the diagram by <math>4</math> vertices. There are <math>8</math> of these cases. | ||
+ | |||
+ | <asy> | ||
+ | import graph; | ||
+ | |||
+ | void oct11(int[] pts) { | ||
+ | pair[] vertices = {(0,0),(1,0),(1.707,0.707),(1.707,1.707),(1,2.414),(0,2.414),(-0.707,1.707),(-0.707,0.707)}; | ||
+ | draw((0,0)--(1,0)--(1.707,0.707)--(1.707,1.707)--(1,2.414)--(0,2.414)--(-0.707,1.707)--(-0.707,0.707)--cycle); | ||
+ | for (int i = 0; i < 8; i+=1) { | ||
+ | if (pts[i] == 0) { | ||
+ | dot(vertices[i], blue); | ||
+ | } | ||
+ | if (pts[i] == 1) { | ||
+ | dot(vertices[i], red); | ||
+ | } | ||
+ | } | ||
+ | }; | ||
+ | int[] sus = {0,0,1,0,1,1,0,1}; | ||
+ | oct11(sus); | ||
+ | </asy> | ||
+ | |||
+ | Finally, if the red and blues alternate, we can simply shift the diagram by a single vertex to satisfy the question. Thus, all of these cases work, and we have <math>2</math> subcases. | ||
+ | |||
+ | There can not be more than <math>4</math> blues, so we are done. | ||
+ | |||
+ | Our total is <math>1+8+28+56+8+4+8+2=115</math>. There are <math>2^8=256</math> possible colorings, so we have <math>\dfrac{115}{256}</math> and our answer is <math>115+256=\boxed{371}</math>. | ||
+ | |||
+ | ~Technodoggo | ||
+ | |||
+ | ==Solution 2== | ||
+ | |||
+ | Let <math>r</math> be the number of red vertices and <math>b</math> be the number of blue vertices, where <math>r+b=8</math>. By the Pigeonhole Principle, <math>r\geq{b} \Longrightarrow b\leq4</math> if a configuration is valid. | ||
+ | |||
+ | We claim that if <math>b\leq3</math>, then any configuration is valid. We attempt to prove by the following: | ||
+ | |||
+ | If there are <cmath>b\in{0,1,2}</cmath> vertices, then intuitively any configuration is valid. For <math>b=3</math>, we do cases: | ||
+ | |||
+ | If all the vertices in <math>b</math> are non-adjacent, then simply rotating once in any direction suffices. If there are <math>2</math> adjacent vertices, then WLOG let us create a set <math>\{b_1,b_2,r_1\cdots\}</math> where the third <math>b_3</math> is somewhere later in the set. If we assign the set as <math>\{1,2,3,4,5,6,7,8\}</math> and <math>b_3\leq4</math>, then intuitively, rotating it <math>4</math> will suffice. If <math>b_3=5</math>, then rotating it by 2 will suffice. Consider any other <math>b_3>5</math> as simply a mirror to a configuration of the cases. | ||
+ | |||
+ | Therefore, if <math>b\leq3</math>, then there are <math>\sum_{i=0}^{3}{\binom{8}{i}}=93</math> ways. We do count the [i]degenerate[/i] case. | ||
+ | |||
+ | Now if <math>b=4</math>, we do casework on the number of adjacent vertices. | ||
+ | 0 adjacent: <math>\{b_1,r_1,b_2,r_2\cdots{r_4}\}</math>. There are 4 axes of symmetry so there are only <math>\frac{8}{4}=2</math> rotations of this configuration. | ||
+ | |||
+ | 1 adjacent: WLOG <math>\{b_1,b_2\cdots{b_3}\cdots{b_4}\}</math> where <math>b_4\neq{8}</math>. Listing out the cases and trying, we get that <math>b_3=4</math> and <math>b_4=7</math> is the only configuration. There are <math>8</math> ways to choose <math>b_1</math> and <math>b_2</math> and the rest is set, so there are <math>8</math> ways. | ||
+ | |||
+ | 2 adjacent: We can have WLOG <math>\{b_1,b_2\cdots{b_3},b_4\}</math> or <math>\{b_1,b_2,b_3\cdots\}</math> where <math>b_4\neq{8}</math>. The former yields the case <math>b_3=5</math> and <math>b_4=6</math> by simply rotating it 2 times. The latter yields none. There are 2 axes of symmetry so there are <math>\frac{8}{2}=4</math> configurations. | ||
+ | |||
+ | 3 adjacent: WLOG <math>\{b_1,b_2,b_3,b_4\cdots\}</math> which intuitively works. There are <math>8</math> configurations here as <math>b_1</math> can is unique. | ||
+ | |||
+ | In total, <math>b=4</math> yields <math>2+8+4+8=22</math> configurations. | ||
+ | |||
+ | There are <math>22+93=115</math> configurations in total. There are <math>2^8=256</math> total cases, so the probability is <math>\frac{115}{256}</math>. Adding them up, we get <math>115+256=\boxed{371}</math>. | ||
+ | |||
+ | ==Video Solution== | ||
+ | https://youtu.be/QnOatg7af7s | ||
+ | |||
+ | ==See also== | ||
+ | {{AIME box|year=2024|n=I|num-b=10|num-a=12}} | ||
+ | |||
+ | {{MAA Notice}} |
Latest revision as of 23:29, 18 July 2024
Problem
Each vertex of a regular octagon is independently colored either red or blue with equal probability. The probability that the octagon can then be rotated so that all of the blue vertices end up at positions where there were originally red vertices is , where
and
are relatively prime positive integers. What is
?
Video Solution
https://www.youtube.com/watch?v=Nf80-0Eo72E&t=4s&ab_channel=MegaMathChannel
Solution 1
Notice that the question's condition mandates all blues to go to reds, but reds do not necessarily have to go to blue. Let us do casework on how many blues there are.
If there are no blues whatsoever, there is only one case. This case is valid, as all of the (zero) blues have gone to reds. (One could also view it as: the location of all the blues now were not previously red.) Thus, we have .
If there is a single blue somewhere, there are cases - where can the blue be? Each of these is valid.
If there are two blues, again, every case is valid, and there are cases.
If there are three blues, every case is again valid; there are such cases.
The case with four blues is trickier. Let us look at all possible subcases.
If all four are adjacent (as in the diagram below), it is obvious: we can simply reverse the diagram (rotate it by units) to achieve the problem's condition. There are
possible ways to have
adjacent blues, so this subcase contributes
.
If three are adjacent and one is one away (as shown in the diagram below), we can not rotate the diagram to satisfy the question. This subcase does not work.
If three are adjacent and one is two away, obviously it is not possible as there is nowhere for the three adjacent blues to go.
If there are two adjacent pairs that are apart, it is not possible since we do not have anywhere to put the two pairs.
If there are two adjacent pairs that are apart, all of these cases are possible as we can rotate the diagram by
vertices to work. There are
of these cases.
If there is one adjacent pair and there are two separate ones each a distance of from the other, this case does not work.
If we have one adjacent pair and two separate ones that are away from each other, we can flip the diagram by
vertices. There are
of these cases.
Finally, if the red and blues alternate, we can simply shift the diagram by a single vertex to satisfy the question. Thus, all of these cases work, and we have subcases.
There can not be more than blues, so we are done.
Our total is . There are
possible colorings, so we have
and our answer is
.
~Technodoggo
Solution 2
Let be the number of red vertices and
be the number of blue vertices, where
. By the Pigeonhole Principle,
if a configuration is valid.
We claim that if , then any configuration is valid. We attempt to prove by the following:
If there are vertices, then intuitively any configuration is valid. For
, we do cases:
If all the vertices in are non-adjacent, then simply rotating once in any direction suffices. If there are
adjacent vertices, then WLOG let us create a set
where the third
is somewhere later in the set. If we assign the set as
and
, then intuitively, rotating it
will suffice. If
, then rotating it by 2 will suffice. Consider any other
as simply a mirror to a configuration of the cases.
Therefore, if , then there are
ways. We do count the [i]degenerate[/i] case.
Now if , we do casework on the number of adjacent vertices.
0 adjacent:
. There are 4 axes of symmetry so there are only
rotations of this configuration.
1 adjacent: WLOG where
. Listing out the cases and trying, we get that
and
is the only configuration. There are
ways to choose
and
and the rest is set, so there are
ways.
2 adjacent: We can have WLOG or
where
. The former yields the case
and
by simply rotating it 2 times. The latter yields none. There are 2 axes of symmetry so there are
configurations.
3 adjacent: WLOG which intuitively works. There are
configurations here as
can is unique.
In total, yields
configurations.
There are configurations in total. There are
total cases, so the probability is
. Adding them up, we get
.
Video Solution
See also
2024 AIME I (Problems • Answer Key • Resources) | ||
Preceded by Problem 10 |
Followed by Problem 12 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All AIME Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.