返回题库

AIME 2021 II · 第 3 题

AIME 2021 II — Problem 3

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

Find the number of permutations x1,x2,x3,x4,x5x_1, x_2, x_3, x_4, x_5 of numbers 1,2,3,4,51, 2, 3, 4, 5 such that the sum of five products

x1x2x3+x2x3x4+x3x4x5+x4x5x1+x5x1x2x_1x_2x_3 + x_2x_3x_4 + x_3x_4x_5 + x_4x_5x_1 + x_5x_1x_2 is divisible by 33.

解析

Solution 1

Since 33 is one of the numbers, a product with a 33 in it is automatically divisible by 3,3, so WLOG x3=3,x_3=3, and we will multiply by 55 afterward since any of x1,x2,,x5x_1, x_2, \ldots, x_5 would be 3,3, after some cancelation we see that now all we need to find is the number of ways that x5x1(x4+x2)x_5x_1(x_4+x_2) is divisible by 3,3, since x5x1x_5x_1 is never divisible by 3,3, now we just need to find the number of ways x4+x2x_4+x_2 is divisible by 3.3. Note that x2x_2 and x4x_4 can be (1,2),(2,1),(1,5),(5,1),(2,4),(4,2),(4,5),(1, 2), (2, 1), (1, 5), (5, 1), (2, 4), (4, 2), (4, 5), or (5,4).(5, 4). We have 22 ways to designate x1x_1 and x5x_5 for a total of 82=16.8 \cdot 2 = 16. So the desired answer is 165=080.16 \cdot 5=\boxed{080}.

~math31415926535

~MathFun1000 (Rephrasing for clarity)

Solution 2 (Symmetry and Casework)

The expression x1x2x3+x2x3x4+x3x4x5+x4x5x1+x5x1x2x_1x_2x_3 + x_2x_3x_4 + x_3x_4x_5 + x_4x_5x_1 + x_5x_1x_2 has symmetry. Without the loss of generality, let x1=3.x_1=3. It follows that {x2,x3,x4,x5}={1,2,4,5}.\{x_2,x_3,x_4,x_5\}=\{1,2,4,5\}. We have:

  1. x1x2x3+x2x3x4+x3x4x5+x4x5x1+x5x1x2x2x3x4+x3x4x5(mod3).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}.
  2. x2,x3,x4,x5x_2,x_3,x_4,x_5 are congruent to 1,2,1,2(mod3)1,2,1,2\pmod{3} in some order.

We construct the following table for the case x1=3,x_1=3, with all values in modulo 3:3:

AIME diagram

For Row 1, (x2,x3)(x_2,x_3) can be either (1,4)(1,4) or (4,1),(4,1), and (x4,x5)(x_4,x_5) can be either (2,5)(2,5) or (5,2).(5,2). By the Multiplication Principle, Row 1 produces 22=42\cdot2=4 permutations. Similarly, Rows 2, 5, and 6 each produce 44 permutations.

Together, we get 44=164\cdot4=16 permutations for the case x1=3.x_1=3. By symmetry, the cases x2=3,x3=3,x4=3,x_2=3, x_3=3, x_4=3, and x5=3x_5=3 all have the same count. Therefore, the total number of permutations x1,x2,x3,x4,x5x_1, x_2, x_3, x_4, x_5 is 165=080.16\cdot5=\boxed{080}.

~MRENTHUSIASM

Solution 3

WLOG, let x3=3x_{3} = 3 So, the terms x1x2x3,x2x3x4,x3x4x5x_{1}x_{2}x_{3}, x_{2}x_{3}x_{4},x_{3}x_{4}x_{5} are divisible by 33.

We are left with x4x5x1x_{4}x_{5}x_{1} and x5x1x2x_{5}x_{1}x_{2}. We need x4x5x1+x5x1x20(mod3)x_{4}x_{5}x_{1} + x_{5}x_{1}x_{2} \equiv 0 \pmod{3}. The only way is when They are (+1,1)(+1,-1) or (1,+1)(mod3)(-1, +1) \pmod{3}.

The numbers left with us are 1,2,4,51,2,4,5 which are +1,1,+1,1(mod3)+1,-1,+1,-1\pmod{3} respectively.

+1+1 (of x4x5x1x_{4}x_{5}x_{1} or x5x1x2x_{5}x_{1}x_{2}) =+1+1+1= +1 \cdot +1 \cdot +1       OR      +1\;\;\; OR \;\;\;+1 (of x4x5x1x_{4}x_{5}x_{1} or x5x1x2x_{5}x_{1}x_{2}) = 11+1-1 \cdot -1 \cdot +1.

1-1 (of x4x5x1x_{4}x_{5}x_{1} or x5x1x2x_{5}x_{1}x_{2}) =111= -1 \cdot -1 \cdot -1       OR      1\;\;\; OR \;\;\;-1 (of x4x5x1x_{4}x_{5}x_{1} or x5x1x2x_{5}x_{1}x_{2}) = 1+1+1-1 \cdot +1 \cdot +1

But, as we have just two +1s+1's and two 1s-1's. Hence, We will have to take +1=+111+1 = +1 \cdot -1 \cdot -1 and 1=1+1+1-1 = -1 \cdot +1 \cdot +1. Among these two, we have a +1+1 and 1-1 in common, i.e. (x5,x1)=(+1,1)or(1,+1)(x_{5}, x_{1}) = (+1, -1) or (-1, +1) (because x1x_{1} and x5x_{5}. are common in x4x5x1x_{4}x_{5}x_{1} and x5x1x2x_{5}x_{1}x_{2}).

So, (x5,x1)(1,2),(1,5),(4,2),(4,5),(2,1),(5,1),(2,4),(5,4)(x_{5}, x_{1}) \in {(1,2), (1,5), (4,2), (4,5), (2,1), (5,1), (2,4), (5,4)} i.e. 88 values.

For each value of (x5,x1)(x_{5}, x_{1}) we get 22 values for (x2,x4)(x_{2}, x_{4}). Hence, in total, we have 8×2=168 \times 2 = 16 ways.

But any of the xisx_{i} 's can be 33. So, 16×5=08016 \times 5 = \boxed{080}.

-Arnav Nigam

Solution 4 (Proportion)

WLOG, let x3=3x_{3} = 3. Then:

x1x2x3+x2x3x4+x3x4x5+x4x5x1+x5x1x2=3(x1x2+x2x4+x4x5)+x5x1(x2+x4).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). The sum is divisible by 33 if and only if x2+x4x_2 + x_4 is divisible by 33. The possible sums of x2+x4x_2 + x_4 are 1+2,1+4,1+5,2+4,2+5,4+5.1 + 2, 1 + 4, 1 + 5, 2 + 4, 2 + 5, 4 + 5. Two of them are not multiples of 33, but four of them are multiples.

A total number of permutations is 5!=120.5! = 120.

23\frac {2}{3} of this number, that is, 80,80, give sums that are multiples of 3.3.

vladimir.shelomovskii@gmail.com, vvsss

Solution 5 (Factoring)

This is my first time doing a solution (feel free to edit it)

We have

x1x2x3+x2x3x4+x3x4x5+x4x5x1+x5x1x2.x_1x_2x_3 + x_2x_3x_4 + x_3x_4x_5 + x_4x_5x_1 + x_5x_1x_2. We have 55 numbers. Considering any xx as 3,3, we see that we are left with two terms that are not always divisible by 3,3, which means that already gives us 5 options. Let's now consider x1=3:x_1 =3:We are left with

3x2x3+x2x3x4+x3x4x5+3x4x5+3x5x2.3x_2x_3 + x_2x_3x_4 + x_3x_4x_5 + 3x_4x_5 + 3x_5x_2. The two terms left over are

x2x3x4+x3x4x50(mod3)x_2x_3x_4 + x_3x_4x_5 \equiv 0 \pmod{3} since we already have used 33 the remaining numbers are 1,2,4,5.1,2,4,5.

We now factor

(x2+x5)(x3x4)0(mod3)(x2+x5)0(mod3)\begin{aligned} (x_2 + x_5)(x_3x_4) &\equiv 0 \pmod{3} \\ (x_2 + x_5) &\equiv 0 \pmod{3} \end{aligned} since 1,2,4,51,2,4,5 are all not factors of 3.3.

Now using the number 1,2,4,5,1,2,4,5, we take two to get a number divisible by 33 for (x2+x5):(x_2 + x_5):

1+50(mod3),4+20(mod3),4+50(mod3),1+20(mod3).\begin{aligned} 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{aligned} We have 44 possibilities from above. Since we can also have 5+15+1 or 2+4,2+4, there are 42=84\cdot2=8 possibilities in all.

Now using

(x2+x5)(x3x4)0(mod3),(x_2 + x_5)(x_3x_4) \equiv 0 \pmod{3}, we have (x3x4),(x_3x_4), which results in 88 more possibilities of 22 times more. So, we get 224=16.2\cdot2\cdot4=16.

Remember that 33 can be any of 55 different variables. So, we multiply by 55 to get the answer 080.\boxed{080}.

Video Solution

https://www.youtube.com/watch?v=HikWWhQlkVw