Maths WorkshopMaths problems with full solutions
Exercise 2091Combinatorics › Binomial coefficientsM1Added 3 Nov 2026

Lucas's theorem

#Lucas#mod p#binomial

Statement

State Lucas's theorem and compute (103) mod 3\binom{10}{3}\bmod 3.

Hint

Lucas: (nk)≡∏(niki)(modp)\binom{n}{k}\equiv\prod\binom{n_i}{k_i}\pmod p where ni,kin_i,k_i are base-pp digits.

Show solutionHide solution

Solution

Theorem. For prime pp, write n=∑nipin=\sum n_ip^i, k=∑kipik=\sum k_ip^i with 0≤ni,ki<p0\le n_i,k_i<p. Then (nk)≡∏i(niki)(modp)\binom{n}{k}\equiv\prod_i\binom{n_i}{k_i}\pmod p.

Compute. n=10=(101)3n=10=(101)_3, k=3=(10)3k=3=(10)_3.

Digits. n0=1n_0=1, n1=0n_1=0, n2=1n_2=1; k0=0k_0=0, k1=1k_1=1, k2=0k_2=0.

Product. (10)(01)(10)=1⋅0⋅1=0\binom{1}{0}\binom{0}{1}\binom{1}{0}=1\cdot0\cdot1=0.

Conclusion. (103)≡0(mod3)\binom{10}{3}\equiv0\pmod3.

Check. (103)=120=3⋅40\binom{10}{3}=120=3\cdot40, so ≡0\equiv0. ✓