Skip to main content

AMC 12 Mock Exam 1 Problem 25

Problem 25 of 25

A cashier has 1212 envelopes on a table, containing $1,$2,$3,…,$12\$1, \$2, \$3, \ldots, \$12, respectively. She will pick up some of the envelopes, possibly none, so that the total amount of money she picks up is a multiple of $12\$12. (Picking up no envelopes gives a total of $0\$0, which counts.) How many different sets of envelopes can she pick up?

Answer choices

Show solution

Solution

We must count subsets of {1,2,…,12}\{1,2,\dots,12\} (including the empty set) whose sum is divisible by 1212. Let ε=e2πi/12\varepsilon=e^{2\pi i/12} and F(x)=∏k=112(1+xk)F(x)=\prod_{k=1}^{12}(1+x^k), whose coefficient of xsx^s counts the subsets with sum ss. The number of subsets with sum divisible by 1212 is N=112∑j=011F(εj).N=\frac1{12}\sum_{j=0}^{11}F(\varepsilon^j). Fix jj and let mm be the order of εj\varepsilon^j (so m∣12m\mid12). As kk runs over 1,…,121,\dots,12, εjk\varepsilon^{jk} runs over all mm-th roots of unity, each exactly 12m\frac{12}m times. Since ∏um=1(x−u)=xm−1\prod_{u^m=1}(x-u)=x^m-1, setting x=−1x=-1 gives ∏um=1(1+u)=(−1)m((−1)m−1)\prod_{u^m=1}(1+u)=(-1)^m\left((-1)^m-1\right), which is 00 if mm is even and 22 if mm is odd. So F(εj)=0F(\varepsilon^j)=0 when mm is even and F(εj)=212/mF(\varepsilon^j)=2^{12/m} when mm is odd.

The odd values of mm dividing 1212 are m=1m=1 (only j=0j=0) and m=3m=3 (the two values j=4,8j=4,8). Therefore N=112(212+2⋅24)=4096+3212=344.N=\frac{1}{12}\left(2^{12}+2\cdot2^{4}\right)=\frac{4096+32}{12}=\boxed{344}.

Tagged: subset sums modulo 12, roots-of-unity filter