按圆周编号，令 cic_ici 为初始硬币数并置 di=ci−kd_i=c_i-kdi=ci−k。由于总数为 nknknk，有 ∑i=1ndi=0\sum_{i=1}^nd_i=0∑i=1ndi=0。重新编号使 d1≥0d_1\ge0d1≥0。