IMO 1986 LL MON53
For given positive integers r, v, n let S(r, v, n) denote the num-
IMO 1986 LL MON53
Origin: MON
Problem
For given positive integers r, v, n let S(r, v, n) denote the num- ber of n-tuples of nonnegative integers (x1, . . . , xn) satisfying the equation x1 + \cdot \cdot \cdot + xn = r and such that xi \leqv for i = 1, . . . , n. Prove that S(r, v, n) = m k=0 (−1)k n k r −(v + 1)k + n −1 n −1 , where m = min n, r v+1 4 .