返回题库

AIME 2021 I · 第 4 题

AIME 2021 I — Problem 4

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

Find the number of ways 6666 identical coins can be separated into three nonempty piles so that there are fewer coins in the first pile than in the second pile and fewer coins in the second pile than in the third pile.

解析

Solution 1

Suppose we have 11 coin in the first pile. Then (1,2,63),(1,3,62),,(1,32,33)(1, 2, 63), (1, 3, 62), \ldots, (1, 32, 33) all work for a total of 3131 piles. Suppose we have 22 coins in the first pile, then (2,3,61),(2,4,60),,(2,31,33)(2, 3, 61), (2, 4, 60), \ldots, (2, 31, 33) all work, for a total of 2929. Continuing this pattern until 2121 coins in the first pile, we have the sum

31+29+28+26+25++4+2+1=(31+28+25+22++1)+(29+26+23++2)=176+155=331.\begin{aligned} 31+29+28+26+25+\cdots+4+2+1 &= (31+28+25+22+\cdots+1)+(29+26+23+\cdots+2) \\ &= 176+155 \\ &= \boxed{331}. \end{aligned}

Solution 2

We make an equation: a+b+c=66,a+b+c=66, where aWedonthaveaclearsolution,sowelltrycomplementarycounting.First,letsfindwherea We don't have a clear solution, so we'll try complementary counting. First, let's find wherea\geq b\geq c.Bystarsandbars,wehaveBy stars and bars, we have\dbinom{65}{2}=2080toassignpositiveintegersolutionstoto assign positive integer solutions toa + b + c = 66.$ Now we need to subtract off the cases where it doesn't satisfy the condition.

We start with a=b.a = b. We can write that as 2b+c=66.2b + c = 66. We can find there are 32 integer solutions to this equation. There are 3232 solutions for b=cb=c and a=ca = c by symmetry. We also need to add back 22 because we subtracted (a,b,c)=(22,22,22)(a,b,c)=(22,22,22) 33 times.

We then have to divide by 66 because there are 3!=63!=6 ways to order a,b,a, b, and c.c. Therefore, we have (652)96+26=19866=331.\dfrac{\dbinom{65}{2}-96+2}{6} = \dfrac{1986}{6} = \boxed{331}.

~Arcticturn

Solution 3

Let the piles have a,ba, b and cc coins, with 0<a<b<c0 < a < b < c. Then, let b=a+k1b = a + k_1, and c=b+k2c = b + k_2, such that each ki1k_i \geq 1. The sum is then a+a+k1+a+k1+k2=66    3a+2k1+k2=66a + a+k_1 + a+k_1+k_2 = 66 \implies 3a+2k_1 + k_2 = 66. This is simply the number of positive solutions to the equation 3x+2y+z=663x+2y+z = 66. Now, we take cases on aa.

If a=1a = 1, then 2k1+k2=63    1k1312k_1 + k_2 = 63 \implies 1 \leq k_1 \leq 31. Each value of k1k_1 corresponds to a unique value of k2k_2, so there are 3131 solutions in this case. Similarly, if a=2a = 2, then 2k1+k2=60    1k1292k_1 + k_2 = 60 \implies 1 \leq k_1 \leq 29, for a total of 2929 solutions in this case. If a=3a = 3, then 2k1+k2=57    1k1282k_1 + k_2 = 57 \implies 1 \leq k_1 \leq 28, for a total of 2828 solutions. In general, the number of solutions is just all the numbers that aren't a multiple of 33, that are less than or equal to 3131.

We then add our cases to get

1+2+4+5++31=1+2+3++313(1+2+3++10)=31(32)23(55)=3116165=496165=331\begin{aligned} 1 + 2 + 4 + 5 + \cdots + 31 &= 1 + 2 + 3 + \cdots + 31 - 3(1 + 2 + 3 + \cdots + 10) \\ &= \frac{31(32)}{2} - 3(55) \\ &= 31 \cdot 16 - 165 \\ &= 496 - 165 \\ &= \boxed{331} \end{aligned} as our answer.

Solution 4

Let the first pile have aa coins, the second a+ba+b coins, and the third a+b+ca+b+c coins, where aa, bb, and cc are strictly positive integers. Thus the total number of coins is 3a+2b+c=663a+2b+c=66. Perform the substitution x=a1x=a-1, y=b1y=b-1, and z=c1z=c-1 to yield the equation 3x+2y+z=603x+2y+z=60, where xx, yy, and zz are instead nonnegative integers.

From here we can set up the generating function (x0+x3++x60)(x0+x2++x60)(x0+x1++x60)(x^0+x^3+\cdots+x^{60})(x^0+x^2+\cdots+x^{60})(x^0+x^1+\cdots+x^{60}). We need to find the coefficient of x60x^{60}. Multiplying the second and third polynomials with clever reasoning returns

(x0+x3++x60)(x0+x1+2x2+2x3++31x60++2x117+2x118+x119+x120)(x^0+x^3+\cdots+x^{60})(x^0+x^1+2x^2+2x^3+\cdots+31x^{60}+\cdots+2x^{117}+2x^{118}+x^{119}+x^{120})

where in the second polynomial, for every two terms, the coefficient increases or decreases by one (depending on which side of the polynomial the term resides).

One can notice here that for every term in the first polynomial there exists one and only one term in the second polynomial that, when multiplied, yield x60x^{60}. Furthermore, we need only consider the coefficients of the second polynomial.

The corresponding coefficient for x60x^{60} is 11, for x57x^{57} is 22, and for x54x^{54} is 44. We notice the pattern: increase by one, increase by two, and so on. When does this pattern stop? For x0x^0, the corresponding coefficient is 3131, and we notice that 311mod331\equiv1\mod3. As a result, we know that the pattern has 2121 terms, and we can take advantage of the first 2020 by symmetry.

The answer is simply 10(1+29)+31=33110(1+29)+31=\boxed{331}.

~eevee9406

Solution 4

Video Solution

https://youtu.be/f7KtovZ4GAk

~MathProblemSolvingSkills.com

Video Solution

https://youtu.be/M3DsERqhiDk?t=1073