Maths Olympiad Prep

Library / /75 of 136

Number theory Difficulty 8.0 National Olympiad, round 2 Prove it Hong Kong

Let pp be a prime number and nn a positive integer such that npn \ge p. Show that (np)np\binom{n}{p} - \lfloor \frac{n}{p} \rfloor is divisible by pp. (Here the combinatorial symbol (np)=n!p!(np)!\binom{n}{p} = \frac{n!}{p!(n-p)!} and x\lfloor x \rfloor stands for the largest integer less than or equal to xx.)

Solution

This is an immediate consequence of Lucas' theorem. We give an elementary proof as follows.

Let n=ap+rn = ap + r where 0rp10 \le r \le p - 1. Then we have
(np)=n(n1)(np+1)p!=(ap+r)(ap+r1)(ap+1)(a)(ap1)(ap2)(ap+rp+1)(p1)! \binom{n}{p} = \frac{n(n-1)\cdots(n-p+1)}{p!} \\ = \frac{(ap+r)(ap+r-1)\cdots(ap+1)(a)(ap-1)(ap-2)\cdots(ap+r-p+1)}{(p-1)!}
Note that the numerator is congruent to
r(r1)(1)(a)(p1)(p2)(r+1)=a(p1)! r(r-1)\cdots(1)(a)(p-1)(p-2)\cdots(r+1) = a \cdot (p-1)!
modulo pp. Therefore, we find that
(np)a=np(modp). \binom{n}{p} \equiv a = \left\lfloor \frac{n}{p} \right\rfloor \pmod{p}.
This proves the desired result.

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.