MathLabs

Problem 3

Let p≥5p\ge5 be a prime. Let rr be the number of ways of placing pp identical checkers on a p×pp\times p checkerboard so that not all checkers are in the same row (they may all be in the same column). Show that rr is divisible by p5p^5.
Step 1 of 5: Count all allowed placements
r=(p2p)−p=p((p2−1)⋯(p2−(p−1))(p−1)!−1)r=\binom{p^2}{p}-p=p\left(\frac{(p^2-1)\cdots(p^2-(p-1))}{(p-1)!}-1\right)
Detailed analysis

Choosing pp distinct squares gives (p2p)\binom{p^2}{p} placements. Exactly pp of them put one checker in every column of a single row, so they are excluded. Hence r=(p2p)−pr=\binom{p^2}{p}-p, and it is enough to prove (p2−1)⋯(p2−(p−1))(p−1)!−1\frac{(p^2-1)\cdots(p^2-(p-1))}{(p-1)!}-1 is divisible by p4p^4.