Solution 1 (Committee Forming)
Let c=6−(a+b), and note that (a+b6)=(c6). The problem thus asks for the sum (a6)(b6)(c6) over all a,b,c such that a+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 (618)=18564. Therefore, the answer is 564.
-rocketscience
Solution 1 but different (Committee Forming)
Alternatively, one can note that we can consider groups where a+b is constant, say c. Fix any value of c. Then the sum of all of the values of T(a,b) such that a+b=c is (a+b6)∑a+b=c(a6)(b6) which by Vandermonde's is (a+b6)(a+b12). Remember, that expression is the resulting sum for a fixed a+b. So, for a+b≤6, we want ∑c=06(c6)(c12). This is (by Vandermonde's or committee forming) (618)=18564⟹564 ~ firebolt360
Note
Now just a quick explanation for people who don't fully understand Vandermonde's. Take the first part, ∑a+b=c(a6)(b6). Consider 2 different groups, A and B both of size 6 people. We wish to chose a peoples from A and b=c−a people from B. In total, we chose c−a+a=c people. We can then draw a bijection towards choosing c people from A∪B, which has size 12. So, it is (c12)=(a+b12). Similarly, for ∑c=6(c6)(c12), we see that (c6)=(6−c6). Now the total is 18, and the sum is 6. So, we get (618). See committee forming for more information ~ firebolt360
Solution 2 (Committee Forming but slightly more bashy)
Treating a+b as n, this problem asks for
n=0∑6[(n6)m=0∑n[(m6)(n−m6)]].
But
m=0∑n[(m6)(n−m6)]
can be computed through the following combinatorial argument. Choosing n elements from a set of size 12 is the same as splitting the set into two sets of size 6 and choosing m elements from one, n−m from the other where 0≤m≤n. The number of ways to perform such a procedure is simply (n12). Therefore, the requested sum is
n=0∑6[(n6)(n12)]=18564.
As such, our answer is 564.
Note from epiconan: To avoid the bash, you can actually use Vandermondes again.
n=0∑6[(n6)(n12)]=n=0∑6[(6−n6)(n12)]=(66+12)=(618).
Solution 3 (Major Major Bash)
Case 1: $a.
Subcase 1: a=0
(06)(16)(16)=36
(06)(26)(26)=225
(06)(36)(36)=400
(06)(46)(46)=225
(06)(56)(56)=36
(06)(66)(66)=1
36+225+400+225+36+1=923
Subcase 2: a=1
(16)(26)(36)=1800≡800(mod1000)
(16)(36)(46)=1800≡800(mod1000)
(16)(46)(56)=540
(16)(56)(66)=36
800+800+540+36=2176≡176(mod1000)
Subcase 3: a=2
(26)(36)(56)=1800≡800(mod1000)
(26)(46)(66)=225
800+225=1025≡25(mod1000)
923+176+25=1124≡124(mod1000)
Case 2: $b
By just switching a and b in all of the above cases, we will get all of the cases such that b>a is true. Therefore, this case is also 124(mod1000)
Case 3: a=b
(06)(06)(06)=1
(16)(16)(26)=540
(26)(26)(46)=3375≡375(mod1000)
(36)(36)(66)=400
1+540+375+400=1316≡316(mod1000)
316+124+124=564
Solution 4
We begin as in solution 1 to rewrite the sum as (a6)(b6)(c6) over all a,b,c such that a+b+c=6. Consider the polynomial P(x)=((06)+(16)x+(26)x2+(36)x3+⋅⋅⋅+(66)x6)3. We can see the sum we wish to compute is just the coefficient of the x6 term. However P(x)=((1+x)6)3=(1+x)18. Therefore, the coefficient of the x6 term is just (618)=18564 so the answer is 564.
- mathymath
Solution 5 (Committee Forming but different)
Let c=6−(a+b). Then (a+b6)=(c6), and a+b+c=6. The problem thus asks for
a+b+c=6∑(a6)(b6)(c6)(mod1000).
Suppose we have 6 red balls, 6 green balls, and 6 blue balls lined up in a row, and we want to choose 6 balls from this set of 18 balls by considering each color separately. Over all possible selections of 6 balls from this set, there are always a nonnegative number of balls in each color group. The answer is (618)(mod1000)=18564.
Solution 5 but different (Committee Forming)
Since (n6)=(6−n6), we can rewrite T(a,b) as (a6)(b6)(6−(a+b)6). 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 a democrats, then pick b republicans, provided that a+b≤6. Then we can pick the remaining 6−(a+b) people from the independents. But this is just T(a,b), so the sum of all 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=18 total politicians in the group. Clearly, there are (618) ways to do this. So the desired quantity is equal to (618). We can then compute (routinely) the last 3 digits of (618) as 564.
Solution 6(NICE Journal)
Note that (a+b6)=(6−a−b6). So we have (a6)(b6)(6−a−b6). If we think about this this is essentially choosing a group of a people from 6 people, a group of b people from 6 people, and a group of 6−a−b from another group of 6 people. This is nothing but choosing 6 people from a group of 18 people. This is nothing but (618)=18564⇒564. ~coolmath_2018
Remark
This problem is an example of the generalization of Vandermonde's theorem, which states that for nonnegative k1,k2,…kp and n1,n2,…np, we have
k1+⋯+kp=m∑(k1n1)(k2n2)⋯(kpnp)=(mn1+⋯+np).
~eibc