设正整数n≥2,小于n的最大的2的幂次是2^k, k为非负整数
如果是从第1粒开始每隔一粒取一粒,最后剩下的是第2(n-2^k)粒
如果从第2粒开始每隔一粒取一粒,最后剩下的是第2(n-2^k)+1粒 (n为2的幂次时是第1粒)
这两个结果可以对k归纳,只要对n奇偶分类,就知道取完第一轮之后剩下的[n/2]个是奇数编号还是偶数编号,以及接下来从这[n/2]个中第1个还是第2个开始取,由归纳假设得知最后剩下哪一个之后,再求出第一轮之前这粒糖的编号就可以归纳了
如果是从第1粒开始每隔一粒取一粒,最后剩下的是第2(n-2^k)粒
如果从第2粒开始每隔一粒取一粒,最后剩下的是第2(n-2^k)+1粒 (n为2的幂次时是第1粒)
这两个结果可以对k归纳,只要对n奇偶分类,就知道取完第一轮之后剩下的[n/2]个是奇数编号还是偶数编号,以及接下来从这[n/2]个中第1个还是第2个开始取,由归纳假设得知最后剩下哪一个之后,再求出第一轮之前这粒糖的编号就可以归纳了