Given that we're asked to prove divisibility, decomposing the numbers in prime factors is a nice idea in order to get somewhere. $1992 = 2^3 \cdot 3 \cdot 83$, $500 = 2^2 \cdot 5^3$ and $1492= 2^2 \cdot 373$. Let's now analyze the binomial expansion:
\[\frac{1992!}{(1992-1492)! \cdot 1492!} = \frac{1992!}{500! \cdot 1492!}\]
We're asked to prove that the quotient will not be divisible by 500, and so after we simplify the expression, we must find that there are less than two 2s and three 5s left. Proving one of these two conditions will solve the problem. However the denominator simplifies with the numerator, we should find that there are not enough factors left to form the number 500.
In this case, intuition told me that there were going to be enough 2s left, and so i jumped straight into finding out how many 5s were going to be left. Either way, the process is similar.
We must count the amount of 5s we will have in the numerator, in that gigantic factorial. To do so, we have to check how many multiples of $5$, $5^2$, $5^3$ ... there are (until we get to the point where $5^x$ is more than 1992). We can take the fifth root to find $x$, like so:
\[ \lfloor \sqrt[5]{1992} \rfloor = 4 \]
So, we have to count the multiples of up to $5^4$:
\[ \sum_{n=1}^{4} \lfloor \frac{1992}{5^n} \rfloor = 398 + 79 + 15 + 3 = 495 \]
Therefore, we have a total of $495$ 5s somewhere in the numerator. Fairly enough, we simply have to check how many 5s we have in the denominator and see if the difference is less than 3. For 500, we take the fifth root and find that we can find multiples of up to $5^3$. We take the fifth root again for 1492 and 4 is the exponent.
\[ \sum_{n=1}^{3} \lfloor \frac{500}{5^n} \rfloor = 100 + 20 + 4 = 124 \]
\[ \sum_{n=1}^{4} \lfloor \frac{1492}{5^n} \rfloor = 298 + 59 + 11 + 2 = 370 \]
And nicely enough, the total amount of 5s we have in the denominator is 494, which leaves us with a single, poor 5 once the fraction is simplified. Not enough to form a 500, and so the problem is solved.
Easy (relatively, but uncommon, surely) problems like these help keep the brain alive in the cold winter school days. Take a stand and keep yours active! This is a problem from the Catalonian regional phase of the math Olympiads, back in 1992.
No comments:
Post a Comment