MathDB
binomial sum congruence

Source: Putnam 1991 B4

August 21, 2021
number theory

Problem Statement

Let p>2p>2 be a prime. Prove that n=0p(pn)(p+nn)2p+1(modp2)\sum_{n=0}^p\binom pn\binom{p+n}n\equiv2p+1\pmod{p^2}.