返回题库

AIME 2017 I · 第 7 题

AIME 2017 I — Problem 7

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem 7

For nonnegative integers aa and bb with a+b6a + b \leq 6, let T(a,b)=(6a)(6b)(6a+b)T(a, b) = \binom{6}{a} \binom{6}{b} \binom{6}{a + b}. Let SS denote the sum of all T(a,b)T(a, b), where aa and bb are nonnegative integers with a+b6a + b \leq 6. Find the remainder when SS is divided by 10001000.

Major Note

Most solutions use committee forming (except for the bash solution). To understand more about the techniques used, visit the committee forming page for more information.

解析

Solution 1 (Committee Forming)

Let c=6(a+b)c=6-(a+b), and note that (6a+b)=(6c)\binom{6}{a + b}=\binom{6}{c}. The problem thus asks for the sum (6a)(6b)(6c)\binom{6}{a} \binom{6}{b} \binom{6}{c} over all a,b,ca,b,c such that a+b+c=6a+b+c=6. Consider an array of 18 dots, with 3 columns of 6 dots each. The desired expression counts the total number of ways to select 6 dots by considering each column separately, which is equal to (186)=18564\binom{18}{6}=18564. Therefore, the answer is 564\boxed{564}.

-rocketscience

Solution 1 but different (Committee Forming)

Alternatively, one can note that we can consider groups where a+ba+b is constant, say cc. Fix any value of cc. Then the sum of all of the values of T(a,b)T(a,b) such that a+b=ca+b=c is (6a+b)a+b=c(6a)(6b)\binom{6}{a+b} \sum_{a+b=c} \binom{6}{a}\binom{6}{b} which by Vandermonde's is (6a+b)(12a+b)\binom{6}{a+b}\binom{12}{a+b}. Remember, that expression is the resulting sum for a fixed a+ba+b. So, for a+b6a+b\le 6, we want c=06(6c)(12c)\sum_{c=0}^{6} \binom{6}{c}\binom{12}{c}. This is (by Vandermonde's or committee forming) (186)=18564    564\binom{18}{6} = 18564 \implies \boxed{564} ~ firebolt360

Note

Now just a quick explanation for people who don't fully understand Vandermonde's. Take the first part, a+b=c(6a)(6b)\sum_{a+b=c} \binom{6}{a}\binom{6}{b}. Consider 22 different groups, AA and BB both of size 66 people. We wish to chose aa peoples from AA and b=cab=c-a people from BB. In total, we chose ca+a=cc-a+a=c people. We can then draw a bijection towards choosing cc people from ABA\cup B, which has size 1212. So, it is (12c)=(12a+b)\binom{12}{c}=\binom{12}{a+b}. Similarly, for c=6(6c)(12c)\sum_{c=6} \binom{6}{c}\binom{12}{c}, we see that (6c)=(66c)\binom{6}{c}=\binom{6}{6-c}. Now the total is 1818, and the sum is 66. So, we get (186)\binom{18}{6}. See committee forming for more information ~ firebolt360

Solution 2 (Committee Forming but slightly more bashy)

Treating a+ba+b as nn, this problem asks for

n=06[(6n)m=0n[(6m)(6nm)]].\sum_{n=0}^{6} \left[\binom{6}{n}\sum_{m=0}^{n}\left[\binom{6}{m}\binom{6}{n-m}\right]\right]. But

m=0n[(6m)(6nm)]\sum_{m=0}^{n} \left[\binom{6}{m} \binom{6}{n-m}\right] can be computed through the following combinatorial argument. Choosing nn elements from a set of size 1212 is the same as splitting the set into two sets of size 66 and choosing mm elements from one, nmn-m from the other where 0mn0\leq m\leq n. The number of ways to perform such a procedure is simply (12n)\binom{12}{n}. Therefore, the requested sum is

n=06[(6n)(12n)]=18564.\sum_{n=0}^{6} \left[\binom{6}{n} \binom{12}{n}\right] = 18564. As such, our answer is 564\boxed{564}.

Note from epiconan: To avoid the bash, you can actually use Vandermondes again\emph{again}.

n=06[(6n)(12n)]=n=06[(66n)(12n)]=(6+126)=(186).\sum_{n=0}^{6} \left[\binom{6}{n} \binom{12}{n}\right] = \sum_{n=0}^{6} \left[\binom{6}{6-n} \binom{12}{n}\right] = \binom{6+12}{6} = \binom{18}{6}.
  • Awsomness2000

Solution 3 (Major Major Bash)

Case 1: $a.

Subcase 1: a=0a=0

(60)(61)(61)=36\binom{6}{0}\binom{6}{1}\binom{6}{1}=36 (60)(62)(62)=225\binom{6}{0}\binom{6}{2}\binom{6}{2}=225 (60)(63)(63)=400\binom{6}{0}\binom{6}{3}\binom{6}{3}=400 (60)(64)(64)=225\binom{6}{0}\binom{6}{4}\binom{6}{4}=225 (60)(65)(65)=36\binom{6}{0}\binom{6}{5}\binom{6}{5}=36 (60)(66)(66)=1\binom{6}{0}\binom{6}{6}\binom{6}{6}=1 36+225+400+225+36+1=92336+225+400+225+36+1=923 Subcase 2: a=1a=1

(61)(62)(63)=1800800(mod1000)\binom{6}{1}\binom{6}{2}\binom{6}{3}=1800 \equiv 800 \pmod {1000} (61)(63)(64)=1800800(mod1000)\binom{6}{1}\binom{6}{3}\binom{6}{4}=1800 \equiv 800 \pmod {1000} (61)(64)(65)=540\binom{6}{1}\binom{6}{4}\binom{6}{5}=540 (61)(65)(66)=36\binom{6}{1}\binom{6}{5}\binom{6}{6}=36 800+800+540+36=2176176(mod1000)800+800+540+36=2176 \equiv 176 \pmod {1000} Subcase 3: a=2a=2

(62)(63)(65)=1800800(mod1000)\binom{6}{2}\binom{6}{3}\binom{6}{5}=1800\equiv800\pmod{1000} (62)(64)(66)=225\binom{6}{2}\binom{6}{4}\binom{6}{6}=225 800+225=102525(mod1000)800+225=1025\equiv25\pmod{1000} 923+176+25=1124124(mod1000)923+176+25=1124\equiv124\pmod{1000} Case 2: $b

By just switching aa and bb in all of the above cases, we will get all of the cases such that b>ab>a is true. Therefore, this case is also 124(mod1000)124\pmod{1000}

Case 3: a=ba=b

(60)(60)(60)=1\binom{6}{0}\binom{6}{0}\binom{6}{0}=1 (61)(61)(62)=540\binom{6}{1}\binom{6}{1}\binom{6}{2}=540 (62)(62)(64)=3375375(mod1000)\binom{6}{2}\binom{6}{2}\binom{6}{4}=3375\equiv375\pmod{1000} (63)(63)(66)=400\binom{6}{3}\binom{6}{3}\binom{6}{6}=400 1+540+375+400=1316316(mod1000)1+540+375+400=1316\equiv316\pmod{1000} 316+124+124=564316+124+124=\boxed{\boxed{564}}

Solution 4

We begin as in solution 1 to rewrite the sum as (6a)(6b)(6c)\binom{6}{a} \binom{6}{b} \binom{6}{c} over all a,b,ca,b,c such that a+b+c=6a+b+c=6. Consider the polynomial P(x)=((60)+(61)x+(62)x2+(63)x3++(66)x6)3P(x)=\left(\binom{6}{0} + \binom{6}{1}x + \binom{6}{2}x^2 + \binom{6}{3}x^3 + \cdot \cdot \cdot + \binom{6}{6}x^6\right)^3. We can see the sum we wish to compute is just the coefficient of the x6x^6 term. However P(x)=((1+x)6)3=(1+x)18P(x)=((1+x)^6)^3=(1+x)^{18}. Therefore, the coefficient of the x6x^6 term is just (186)=18564\binom{18}{6} = 18564 so the answer is 564\boxed{564}.

- mathymath

Solution 5 (Committee Forming but different)

Let c=6(a+b)c=6-(a+b). Then (6a+b)=(6c)\binom{6}{a+b}=\binom{6}{c}, and a+b+c=6a+b+c=6. The problem thus asks for

a+b+c=6(6a)(6b)(6c)(mod1000).\sum_{a+b+c=6}\binom{6}{a}\binom{6}{b}\binom{6}{c} \pmod {1000}. Suppose we have 66 red balls, 66 green balls, and 66 blue balls lined up in a row, and we want to choose 66 balls from this set of 1818 balls by considering each color separately. Over all possible selections of 66 balls from this set, there are always a nonnegative number of balls in each color group. The answer is (186)(mod1000)=18564\binom{18}{6} \pmod {1000}=18\boxed{564}.

Solution 5 but different (Committee Forming)

Since (6n)=(66n)\binom{6}{n}=\binom{6}{6-n}, we can rewrite T(a,b)T(a,b) as (6a)(6b)(66(a+b))\binom{6}{a}\binom{6}{b}\binom{6}{6-(a+b)}. Consider the number of ways to choose a committee of 6 people from a group of 6 democrats, 6 republicans, and 6 independents. We can first pick aa democrats, then pick bb republicans, provided that a+b6a+b \leq 6. Then we can pick the remaining 6(a+b)6-(a+b) people from the independents. But this is just T(a,b)T(a,b), so the sum of all T(a,b)T(a,b) is equal to the number of ways to choose this committee. On the other hand, we can simply pick any 6 people from the 6+6+6=186+6+6=18 total politicians in the group. Clearly, there are (186)\binom{18}{6} ways to do this. So the desired quantity is equal to (186)\binom{18}{6}. We can then compute (routinely) the last 3 digits of (186)\binom{18}{6} as 564\boxed{564}.

Solution 6(NICE Journal)

Note that (6a+b)=(66ab)\binom{6}{a+b} = \binom{6}{6-a-b}. So we have (6a)(6b)(66ab)\binom{6}{a}\binom{6}{b}\binom{6}{6-a-b}. If we think about this this is essentially choosing a group of aa people from 66 people, a group of bb people from 66 people, and a group of 6ab6 - a -b from another group of 66 people. This is nothing but choosing 66 people from a group of 1818 people. This is nothing but (186)=18564564\binom{18}{6} = 18564 \Rightarrow 564. ~coolmath_2018

Remark

This problem is an example of the generalization of Vandermonde's theorem, which states that for nonnegative k1,k2,kpk_1, k_2, \ldots k_p and n1,n2,npn_1, n_2, \ldots n_p, we have

k1++kp=m(n1k1)(n2k2)(npkp)=(n1++npm).\sum _{k_1+\cdots +k_p=m}\binom{n_1}{k_1} \binom{n_2}{k_2} \cdots \binom{n_p}{k_p} = \binom{n_1+ \cdots +n_p}{m}. ~eibc