Show that n | u_{n, k} for all n and 1 ≤ k ≤ n
Source: IMO LongList 1982 - P38
March 20, 2011
symmetrynumber theory proposednumber theory
Problem Statement
Numbers are defined as follows
u_{1,1}=1, u_{n,k}=\binom{n}{k} - \sum_{d \mid n, d \mid k, d>1} u_{n/d, k/d}.
(the empty sum is defined to be equal to zero). Prove that for every natural number and for every