Number theoryDifficulty 8.0National Olympiad, round 2Prove itHong Kong
Let p be a prime number and n a positive integer such that n≥p. Show that (pn)−⌊pn⌋ is divisible by p. (Here the combinatorial symbol (pn)=p!(n−p)!n! and ⌊x⌋ stands for the largest integer less than or equal to x.)
Solution
This is an immediate consequence of Lucas' theorem. We give an elementary proof as follows.
Let n=ap+r where 0≤r≤p−1. Then we have (pn)=p!n(n−1)⋯(n−p+1)=(p−1)!(ap+r)(ap+r−1)⋯(ap+1)(a)(ap−1)(ap−2)⋯(ap+r−p+1) Note that the numerator is congruent to r(r−1)⋯(1)(a)(p−1)(p−2)⋯(r+1)=a⋅(p−1)! modulo p. Therefore, we find that (pn)≡a=⌊pn⌋(modp). 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.