Maths Olympiad Prep

Library / IMO Hk TST /61 of 119

IMO Hk TST

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 n≥pn \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!(n−p)!\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 0≤r≤p−10 \le r \le p - 1. Then we have
(np)=n(n−1)⋯(n−p+1)p!=(ap+r)(ap+r−1)⋯(ap+1)(a)(ap−1)(ap−2)⋯(ap+r−p+1)(p−1)! \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(r−1)⋯(1)(a)(p−1)(p−2)⋯(r+1)=a⋅(p−1)! 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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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