Difference between revisions of "Mock AIME 4 2006-2007 Problems/Problem 10"
(→Solution 2) |
|||
(13 intermediate revisions by the same user not shown) | |||
Line 26: | Line 26: | ||
==Solution 2 == | ==Solution 2 == | ||
− | <math>\sum_{k=0}^{n} | + | <math>\sum_{k=0}^{n} {n \choose k} =2^n</math>, and <math>\sum_{k=0}^{3n} {3n \choose k} =2^{3n}</math> |
− | <math>\sum_{k=0}^{3n} | + | <math>\sum_{k=0}^{3n} {3n \choose 3k}=\frac{\sum_{k=0}^{3n} {3n \choose k}+q(n)}{3}</math> where <math>q(n)</math> is an integer <math>-2 \le q(n) \le 2</math> that depends on the value of <math>n</math> and will make the sum an integer. The division by 3 comes from the fact that we're skipping 2 out of every 3 terms in the binomial. So we divide the whole sum by 3 and we add or subtract <math>q(n)</math> to correct for the integer based on the modularity of the sum with 3 |
− | <math>\sum_{k=0}^{3n} | + | <math>\sum_{k=0}^{3n} {3n \choose 3k}=\frac{2^{3n}+q(n)}{3}</math> |
− | When <math>n</math> is odd, <math>3n</math> is odd, <math>2^{odd} \equiv (-1)^{odd}\;(mod\;3)\equiv -1\;(mod\;3)</math>, Therefore <math>q(n)=-2</math> | + | When <math>n</math> is odd, <math>3n</math> is odd, <math>2^{odd} \equiv (-1)^{odd}\;(mod\;3)\equiv -1\;(mod\;3)\equiv 2\;(mod\;3)</math>, Therefore <math>q(n)=-2</math> because we need to subract 2. |
− | When <math>n</math> is even, <math>3n</math> is even, <math>2^{even} \equiv (1)^{even}\;(mod\;3)\equiv 1\;(mod\;3)</math>, Therefore <math>q(n)=2</math> | + | When <math>n</math> is even, <math>3n</math> is even, <math>2^{even} \equiv (1)^{even}\;(mod\;3)\equiv 1\;(mod\;3)\equiv -2\;(mod\;3)</math>, Therefore <math>q(n)=2</math> because we need to add 2. |
− | So the equation becomes: | + | So, the equation becomes: |
− | <math>\sum_{k=0}^{3n} | + | <math>\sum_{k=0}^{3n} {3n \choose 3k}=\frac{2^{3n}+(-1)^n2}{3}</math> |
− | <math>{2007 \choose 0} + {2007 \choose 3} + \cdots + {2007 \choose 2007}=\sum_{k=0}^{3\times 669} | + | <math>{2007 \choose 0} + {2007 \choose 3} + \cdots + {2007 \choose 2007}=\sum_{k=0}^{3\times 669} { 3\times 669 \choose 3k }=\frac{2^{2007}+(-1)^{669}2}{3}=\frac{2^{2007}-2}{3}</math> |
+ | <math>2^{2007} \equiv 2^7\;(mod\;1000)\equiv 128\;(mod\;1000)</math> | ||
+ | |||
+ | <math>2^{2007}-2 \equiv 128-2\;(mod\;1000)\equiv 126\;(mod\;1000)</math> | ||
+ | |||
+ | <math>\frac{2^{2007}-2}{3} \equiv \frac{126}{3}\;(mod\;1000)\equiv 42\;(mod\;1000)</math> | ||
+ | |||
+ | Therefore, the remainder when <math>{2007 \choose 0} + {2007 \choose 3} + \cdots + {2007 \choose 2007}</math> is divided by 1000 is <math>\boxed{042}</math> | ||
+ | |||
+ | ~Tomas Diaz. orders@tomasdiaz.com | ||
+ | |||
+ | {{alternate solutions}} | ||
== See also == | == See also == |
Latest revision as of 11:14, 25 November 2023
Contents
Problem
Compute the remainder when
is divided by 1000.
Solution
Let and be the two complex third-roots of 1. Then let
.
Now, if is a multiple of 3, . If is one more than a multiple of 3, . If is two more than a multiple of 3, . Thus
, which is exactly three times our desired expression.
We also have an alternative method for calculating : we know that , so . Note that these two numbers are both cube roots of -1, so .
Thus, the problem is reduced to calculating . , so we need to find and then use the Chinese Remainder Theorem. Since , by Euler's Totient Theorem . Combining, we have , and so .
Solution 2
, and
where is an integer that depends on the value of and will make the sum an integer. The division by 3 comes from the fact that we're skipping 2 out of every 3 terms in the binomial. So we divide the whole sum by 3 and we add or subtract to correct for the integer based on the modularity of the sum with 3
When is odd, is odd, , Therefore because we need to subract 2.
When is even, is even, , Therefore because we need to add 2.
So, the equation becomes:
Therefore, the remainder when is divided by 1000 is
~Tomas Diaz. orders@tomasdiaz.com
Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.
See also
Mock AIME 4 2006-2007 (Problems, Source) | ||
Preceded by Problem 9 |
Followed by Problem 11 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 |