1993 CMO 第 1 题

Given an odd $n$ , prove that there exist $2n$ integers $a_1,a_2,\cdots ,a_n$ ; $b_1,b_2,\cdots ,b_n$ , such that for any integer $k$ ( $0<k<n$ ), the following $3n$ integers: $a_i+a_{i+1}, a_i+b_i, b_i+b_{i+k}$ ( $i=1,2,\cdots ,n; a_{n+1}=a_1, b_{n+j}=b_j, 0<j<n$ ) are of different remainders on division by $3n$ .

给定一个奇数 $n$ ，证明存在 $2n$ 个整数 $a_1,a_2,\cdots ,a_n$ ； $b_1,b_2,\cdots ,b_n$ ，这样对于任何整数 $k$ ( $0<k<n$ )，以下 $3n$ 个整数： $a_i+a_{i+1}, a_i+b_i, b_i+b_{i+k}$ ( $i=1,2,\cdots ,n; a_{n+1}=a_1, b_{n+j}=b_j, 0<j<n$ ) 除以 $3n$ 时具有不同的余数。