Maths Olympiad Prep

Library / /12 of 15

Number theory Difficulty 5.1 AIME, harder Prove it United States

Problem:
Let nn be a nonnegative integer and let rr be an odd number. Show that there is some 0i<2n0 \leq i < 2^{n} such that
(2n+ii)r(mod2n+1). \binom{2^{n}+i}{i} \equiv r \pmod{2^{n+1}}.

Solution

Solution:
We can write (2n+ii)\binom{2^{n}+i}{i} as k=1i2n+kk\prod_{k=1}^{i} \frac{2^{n}+k}{k}. For any ki<2nk \leq i < 2^{n}, the number of times 22 divides 2n+k2^{n}+k is just the number of times 22 divides kk, so this product must have an equal number of factors of 22 in the numerator and denominator, and therefore must be odd. Thus, as there are 2n2^{n} values of ii and 2n2^{n} possible values of rr (mod2n+1)\pmod{2^{n+1}}, the problem is equivalent to showing that (2n+ii)\binom{2^{n}+i}{i} is injective (mod2n+1)\pmod{2^{n+1}} for 0i<2n0 \leq i < 2^{n}.

Let 0i<j<2n0 \leq i < j < 2^{n}. Taking the ratio of the corresponding coefficients gives k=i+1j2n+kk\prod_{k=i+1}^{j} \frac{2^{n}+k}{k}. Let ν\nu be maximal so that there is a multiple of 2ν2^{\nu} in the range (i,j](i, j], and let this multiple be m2νm 2^{\nu} where mm is odd.

Now take the ratio mod2nν+1\bmod 2^{n-\nu+1}. For k=m2νk = m 2^{\nu}, 2n+kk=2nν+mm\frac{2^{n}+k}{k} = \frac{2^{n-\nu}+m}{m}, which is not equivalent to one, whereas for km2νk \neq m 2^{\nu}, 2n+kk\frac{2^{n}+k}{k} is equivalent to one. Therefore, the total product is not one mod2nν+1\bmod 2^{n-\nu+1}, so it is not one mod2n+1\bmod 2^{n+1}, as desired.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.