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 3 of 5: Evaluate the polynomial at p
f(p)=(p−1)!=sp−2pp−2+⋯+s1p+s0f(p)=(p-1)!=s_{p-2}p^{p-2}+\cdots+s_1p+s_0
Detailed analysis

Because s0=(p−1)!s_0=(p-1)! exactly, evaluating at x=px=p and cancelling s0s_0 gives pp−1+sp−2pp−2+⋯+s2p2=−s1pp^{p-1}+s_{p-2}p^{p-2}+\cdots+s_2p^2=-s_1p. Since p≥5p\ge5 and p∣sip\mid s_i for i≥1i\ge1, all terms on the left after division by pp are divisible by p2p^2 except possibly −s1-s_1; hence p2∣s1p^2\mid s_1.