Difference between revisions of "2021 AIME II Problems/Problem 3"
MRENTHUSIASM (talk | contribs) m (→Solution 2) |
MRENTHUSIASM (talk | contribs) m (→Solution 5 (Factoring)) |
||
(25 intermediate revisions by 6 users not shown) | |||
Line 1: | Line 1: | ||
==Problem== | ==Problem== | ||
Find the number of permutations <math>x_1, x_2, x_3, x_4, x_5</math> of numbers <math>1, 2, 3, 4, 5</math> such that the sum of five products <cmath>x_1x_2x_3 + x_2x_3x_4 + x_3x_4x_5 + x_4x_5x_1 + x_5x_1x_2</cmath> | Find the number of permutations <math>x_1, x_2, x_3, x_4, x_5</math> of numbers <math>1, 2, 3, 4, 5</math> such that the sum of five products <cmath>x_1x_2x_3 + x_2x_3x_4 + x_3x_4x_5 + x_4x_5x_1 + x_5x_1x_2</cmath> | ||
+ | is divisible by <math>3</math>. | ||
==Solution 1== | ==Solution 1== | ||
− | Since <math>3</math> is one of the numbers, a product with a <math>3</math> in it is automatically divisible by <math>3</math> | + | Since <math>3</math> is one of the numbers, a product with a <math>3</math> in it is automatically divisible by <math>3,</math> so WLOG <math>x_3=3,</math> we will multiply by <math>5</math> afterward since any of <math>x_1, x_2, \ldots, x_5</math> would be <math>3,</math> after some cancelation we see that now all we need to find is the number of ways that <math>x_5x_1(x_4+x_2)</math> is divisible by <math>3,</math> since <math>x_5x_1</math> is never divisible by <math>3,</math> now we just need to find the number of ways <math>x_4+x_2</math> is divisible by <math>3.</math> Note that <math>x_2</math> and <math>x_4</math> can be <math>(1, 2), (2, 1), (1, 5), (5, 1), (2, 4), (4, 2), (4, 5),</math> or <math>(5, 4).</math> We have <math>2</math> ways to designate <math>x_1</math> and <math>x_5</math> for a total of <math>8 \cdot 2 = 16.</math> So the desired answer is <math>16 \cdot 5=\boxed{080}.</math> |
− | ~ math31415926535 | + | ~math31415926535 |
− | + | ~MathFun1000 (Rephrasing for clarity) | |
− | |||
− | |||
− | |||
+ | ==Solution 2 (Cyclic Symmetry and Casework)== | ||
+ | The expression <math>x_1x_2x_3 + x_2x_3x_4 + x_3x_4x_5 + x_4x_5x_1 + x_5x_1x_2</math> has cyclic symmetry. Without the loss of generality, let <math>x_1=3.</math> It follows that <math>\{x_2,x_3,x_4,x_5\}=\{1,2,4,5\}.</math> We have: | ||
+ | <ol style="margin-left: 1.5em;"> | ||
+ | <li><math>x_1x_2x_3 + x_2x_3x_4 + x_3x_4x_5 + x_4x_5x_1 + x_5x_1x_2\equiv x_2x_3x_4 + x_3x_4x_5\pmod{3}.</math></li><p> | ||
+ | <li><math>x_2,x_3,x_4,x_5</math> are congruent to <math>1,2,1,2\pmod{3}</math> in some order.</li><p> | ||
+ | </ol> | ||
We construct the following table for the case <math>x_1=3,</math> with all values in modulo <math>3:</math> | We construct the following table for the case <math>x_1=3,</math> with all values in modulo <math>3:</math> | ||
<cmath>\begin{array}{c||c|c|c|c|c||c} | <cmath>\begin{array}{c||c|c|c|c|c||c} | ||
& & & & & & \\ [-2.5ex] | & & & & & & \\ [-2.5ex] | ||
− | \textbf{Row} & \boldsymbol{x_2} & \boldsymbol{x_3} & \boldsymbol{x_4} & \boldsymbol{x_5} & \boldsymbol{x_2x_3x_4 + x_3x_4x_5} & \textbf{Valid?} \\ | + | \textbf{Row} & \boldsymbol{x_2} & \boldsymbol{x_3} & \boldsymbol{x_4} & \boldsymbol{x_5} & \boldsymbol{x_2x_3x_4 + x_3x_4x_5} & \textbf{Valid?} \\ [0.5ex] |
\hline | \hline | ||
& & & & & & \\ [-2ex] | & & & & & & \\ [-2ex] | ||
Line 25: | Line 29: | ||
6 & 2 & 2 & 1 & 1 & 0 & \checkmark | 6 & 2 & 2 & 1 & 1 & 0 & \checkmark | ||
\end{array}</cmath> | \end{array}</cmath> | ||
− | For Row 1, <math>(x_2,x_3)</math> can be either <math>(1,4)</math> or <math>(4,1),</math> and <math>(x_4,x_5)</math> can be either <math>(2,5)</math> or <math>(5,2).</math> By the Multiplication Principle, Row 1 produces <math>2\cdot2=4</math> permutations. Similarly, Rows 2, 5, and 6 each | + | For Row 1, <math>(x_2,x_3)</math> can be either <math>(1,4)</math> or <math>(4,1),</math> and <math>(x_4,x_5)</math> can be either <math>(2,5)</math> or <math>(5,2).</math> By the Multiplication Principle, Row 1 produces <math>2\cdot2=4</math> permutations. Similarly, Rows 2, 5, and 6 each produce <math>4</math> permutations. |
− | Together, we get <math>4\cdot4=16</math> permutations for the case <math>x_1=3.</math> | + | Together, we get <math>4\cdot4=16</math> permutations for the case <math>x_1=3.</math> By the cyclic symmetry, the cases <math>x_2=3, x_3=3, x_4=3,</math> and <math>x_5=3</math> all have the same count. Therefore, the total number of permutations <math>x_1, x_2, x_3, x_4, x_5</math> is <math>16\cdot5=\boxed{080}.</math> |
~MRENTHUSIASM | ~MRENTHUSIASM | ||
Line 36: | Line 40: | ||
We are left with <math>x_{4}x_{5}x_{1}</math> and <math>x_{5}x_{1}x_{2}</math>. | We are left with <math>x_{4}x_{5}x_{1}</math> and <math>x_{5}x_{1}x_{2}</math>. | ||
− | We need <math>x_{4}x_{5}x_{1} + x_{5}x_{1}x_{2} \equiv 0 | + | We need <math>x_{4}x_{5}x_{1} + x_{5}x_{1}x_{2} \equiv 0 \pmod{3}</math>. |
− | The only way is when They are <math>(+1,-1)</math> or <math>(-1, +1)</math> | + | The only way is when They are <math>(+1,-1)</math> or <math>(-1, +1) \pmod{3}</math>. |
− | The numbers left with us are <math>1,2,4,5</math> which are <math>+1,-1,+1,-1 | + | The numbers left with us are <math>1,2,4,5</math> which are <math>+1,-1,+1,-1\pmod{3}</math> respectively. |
<math>+1</math> (of <math>x_{4}x_{5}x_{1}</math> or <math>x_{5}x_{1}x_{2}</math>) <math>= +1 \cdot +1 \cdot +1</math> <math>\;\;\; OR \;\;\;+1</math> (of <math>x_{4}x_{5}x_{1}</math> or <math>x_{5}x_{1}x_{2}</math>) = <math>-1 \cdot -1 \cdot +1</math>. | <math>+1</math> (of <math>x_{4}x_{5}x_{1}</math> or <math>x_{5}x_{1}x_{2}</math>) <math>= +1 \cdot +1 \cdot +1</math> <math>\;\;\; OR \;\;\;+1</math> (of <math>x_{4}x_{5}x_{1}</math> or <math>x_{5}x_{1}x_{2}</math>) = <math>-1 \cdot -1 \cdot +1</math>. | ||
Line 45: | Line 49: | ||
<math>-1</math> (of <math>x_{4}x_{5}x_{1}</math> or <math>x_{5}x_{1}x_{2}</math>) <math>= -1 \cdot -1 \cdot -1</math> <math>\;\;\; OR \;\;\;-1</math> (of <math>x_{4}x_{5}x_{1}</math> or <math>x_{5}x_{1}x_{2}</math>) = <math>-1 \cdot +1 \cdot +1</math> | <math>-1</math> (of <math>x_{4}x_{5}x_{1}</math> or <math>x_{5}x_{1}x_{2}</math>) <math>= -1 \cdot -1 \cdot -1</math> <math>\;\;\; OR \;\;\;-1</math> (of <math>x_{4}x_{5}x_{1}</math> or <math>x_{5}x_{1}x_{2}</math>) = <math>-1 \cdot +1 \cdot +1</math> | ||
− | But, as we have just two <math>+1's</math> and two <math>-1's</math> | + | But, as we have just two <math>+1's</math> and two <math>-1's</math>. |
− | Hence, We will have to take <math>+1 = +1 \cdot -1 \cdot -1</math> and <math>-1 = -1 \cdot +1 \cdot +1</math> | + | Hence, We will have to take <math>+1 = +1 \cdot -1 \cdot -1</math> and <math>-1 = -1 \cdot +1 \cdot +1</math>. |
− | Among these two, we have a <math>+1</math> and <math>-1</math> in common, i.e. <math>(x_{5}, x_{1}) = (+1, -1) or (-1, +1)</math> (because <math>x_{1}</math> and <math>x_{5}</math> | + | Among these two, we have a <math>+1</math> and <math>-1</math> in common, i.e. <math>(x_{5}, x_{1}) = (+1, -1) or (-1, +1)</math> (because <math>x_{1}</math> and <math>x_{5}</math>. |
− | are common in <math>x_{4}x_{5}x_{1}</math> and <math>x_{5}x_{1}x_{2}</math> ) | + | are common in <math>x_{4}x_{5}x_{1}</math> and <math>x_{5}x_{1}x_{2}</math>). |
So, <math>(x_{5}, x_{1}) \in {(1,2), (1,5), (4,2), (4,5), (2,1), (5,1), (2,4), (5,4)}</math> i.e. <math>8</math> values. | So, <math>(x_{5}, x_{1}) \in {(1,2), (1,5), (4,2), (4,5), (2,1), (5,1), (2,4), (5,4)}</math> i.e. <math>8</math> values. | ||
− | For each value of <math>(x_{5}, x_{1})</math> we get <math>2</math> values for <math>(x_{2}, x_{4})</math> | + | For each value of <math>(x_{5}, x_{1})</math> we get <math>2</math> values for <math>(x_{2}, x_{4})</math>. |
Hence, in total, we have <math>8 \times 2 = 16</math> ways. | Hence, in total, we have <math>8 \times 2 = 16</math> ways. | ||
− | But any of the <math>x_{i} 's</math> can be <math>3</math> | + | But any of the <math>x_{i} 's</math> can be <math>3</math>. |
− | So, <math>16 \times 5 = \boxed{080}</math> | + | So, <math>16 \times 5 = \boxed{080}</math>. |
-Arnav Nigam | -Arnav Nigam | ||
− | ==See | + | ==Solution 4 (Proportion)== |
+ | WLOG, let <math>x_{3} = 3</math>. Then: | ||
+ | <cmath>x_{1}x_{2}x_{3} + x_{2}x_{3}x_{4} + x_{3}x_{4}x_{5} + x_{4}x_{5}x_{1} + x_{5}x_{1}x_{2} = 3 (x_1 x_2 + x_2 x_4 + x_4 x_5) + x_5 x_1 (x_2 + x_4).</cmath> | ||
+ | The sum is divisible by <math>3</math> if and only if <math>x_2 + x_4</math> is divisible by <math>3</math>. | ||
+ | The possible sums of <math>x_2 + x_4</math> are <math>1 + 2, 1 + 4, 1 + 5, 2 + 4, 2 + 5, 4 + 5.</math> | ||
+ | Two of them are not multiples of <math>3</math>, but four of them are multiples. | ||
+ | |||
+ | A total number of permutations is <math>5! = 120.</math> | ||
+ | |||
+ | <math>\frac {2}{3}</math> of this number, that is, <math>80,</math> give sums that are multiples of <math>3.</math> | ||
+ | |||
+ | '''vladimir.shelomovskii@gmail.com, vvsss''' | ||
+ | |||
+ | ==Solution 5 (Factoring)== | ||
+ | |||
+ | This is my first time doing a solution (feel free to edit it) | ||
+ | |||
+ | We have <cmath>x_1x_2x_3 + x_2x_3x_4 + x_3x_4x_5 + x_4x_5x_1 + x_5x_1x_2.</cmath> | ||
+ | |||
+ | We have <math>5</math> numbers. Considering any <math>x</math> as <math>3,</math> we see that we are left with two terms that are not always divisible by <math>3,</math> which means that already gives us 5 options. | ||
+ | Let's now consider <math>x_1 =3:</math>We are left with <cmath>3x_2x_3 + x_2x_3x_4 + x_3x_4x_5 + 3x_4x_5 + 3x_5x_2.</cmath> | ||
+ | The two terms left over are | ||
+ | <cmath>x_2x_3x_4 + x_3x_4x_5 \equiv 0 \pmod{3}</cmath> | ||
+ | since we already have used <math>3</math> the remaining numbers are <math>1,2,4,5.</math> | ||
+ | |||
+ | We now factor | ||
+ | <cmath>\begin{align*} | ||
+ | (x_2 + x_5)(x_3x_4) &\equiv 0 \pmod{3} \\ | ||
+ | (x_2 + x_5) &\equiv 0 \pmod{3} | ||
+ | \end{align*}</cmath> | ||
+ | since <math>1,2,4,5</math> are all not factors of <math>3.</math> | ||
+ | |||
+ | Now using the number <math>1,2,4,5,</math> we take two to get a number divisible by <math>3</math> for <math>(x_2 + x_5):</math> | ||
+ | <cmath>\begin{align*} | ||
+ | 1+5 &\equiv 0 \pmod{3}, \\ | ||
+ | 4+2 &\equiv 0 \pmod{3}, \\ | ||
+ | 4+5 &\equiv 0 \pmod{3}, \\ | ||
+ | 1+2 &\equiv 0 \pmod{3}. | ||
+ | \end{align*}</cmath> | ||
+ | We have <math>4</math> possibilities from above. Since we can also have <math>5+1</math> or <math>2+4,</math> there are <math>4\cdot2=8</math> possibilities in all. | ||
+ | |||
+ | Now using <cmath>(x_2 + x_5)(x_3x_4) \equiv 0 \pmod{3},</cmath> we have <math>(x_3x_4),</math> which results in <math>8</math> more possibilities of <math>2</math> times more. So, we get <math>2\cdot2\cdot4=16.</math> | ||
+ | |||
+ | Remember that <math>3</math> can be any of <math>5</math> different variables. So, we multiply by <math>5</math> to get the answer <math>\boxed{080}.</math> | ||
+ | |||
+ | ==Video Solution== | ||
+ | https://www.youtube.com/watch?v=HikWWhQlkVw | ||
+ | |||
+ | ==See Also== | ||
{{AIME box|year=2021|n=II|num-b=2|num-a=4}} | {{AIME box|year=2021|n=II|num-b=2|num-a=4}} | ||
{{MAA Notice}} | {{MAA Notice}} |
Latest revision as of 02:52, 11 March 2023
Contents
Problem
Find the number of permutations of numbers such that the sum of five products is divisible by .
Solution 1
Since is one of the numbers, a product with a in it is automatically divisible by so WLOG we will multiply by afterward since any of would be after some cancelation we see that now all we need to find is the number of ways that is divisible by since is never divisible by now we just need to find the number of ways is divisible by Note that and can be or We have ways to designate and for a total of So the desired answer is
~math31415926535
~MathFun1000 (Rephrasing for clarity)
Solution 2 (Cyclic Symmetry and Casework)
The expression has cyclic symmetry. Without the loss of generality, let It follows that We have:
- are congruent to in some order.
We construct the following table for the case with all values in modulo For Row 1, can be either or and can be either or By the Multiplication Principle, Row 1 produces permutations. Similarly, Rows 2, 5, and 6 each produce permutations.
Together, we get permutations for the case By the cyclic symmetry, the cases and all have the same count. Therefore, the total number of permutations is
~MRENTHUSIASM
Solution 3
WLOG, let So, the terms are divisible by .
We are left with and . We need . The only way is when They are or .
The numbers left with us are which are respectively.
(of or ) (of or ) = .
(of or ) (of or ) =
But, as we have just two and two . Hence, We will have to take and . Among these two, we have a and in common, i.e. (because and . are common in and ).
So, i.e. values.
For each value of we get values for . Hence, in total, we have ways.
But any of the can be . So, .
-Arnav Nigam
Solution 4 (Proportion)
WLOG, let . Then: The sum is divisible by if and only if is divisible by . The possible sums of are Two of them are not multiples of , but four of them are multiples.
A total number of permutations is
of this number, that is, give sums that are multiples of
vladimir.shelomovskii@gmail.com, vvsss
Solution 5 (Factoring)
This is my first time doing a solution (feel free to edit it)
We have
We have numbers. Considering any as we see that we are left with two terms that are not always divisible by which means that already gives us 5 options. Let's now consider We are left with The two terms left over are since we already have used the remaining numbers are
We now factor since are all not factors of
Now using the number we take two to get a number divisible by for We have possibilities from above. Since we can also have or there are possibilities in all.
Now using we have which results in more possibilities of times more. So, we get
Remember that can be any of different variables. So, we multiply by to get the answer
Video Solution
https://www.youtube.com/watch?v=HikWWhQlkVw
See Also
2021 AIME II (Problems • Answer Key • Resources) | ||
Preceded by Problem 2 |
Followed by Problem 4 | |
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.