一个数乘以 2,若不考虑进位,则结果的每一位都应该是偶数
如果考虑进位,可以用归纳法证明,每一位数最多只能向下一位数进 1,而一旦触发进位就会产生奇数
因此,可以尝试证明对于任意的 x >= 12,在 2^x 的十进制表示中,至少有一位大于等于 5
注意到 2^x 的个位是以 6、2、4、8 的规律循环的,那么以 6、8 结尾的数再乘以 2 一定会产生含奇数数位的数,或者说,以 2、6 结尾的数一定满足 “至少有一位数是奇数” 的条件,所以只需要证明以 2、4 结尾的数,即 2^(4k+1) 和 2^(4k+2), k >= 3 满足 “至少有一位大于等于 5”
然后就证不出来了。我觉得这应该是一个数论问题,可惜自己没有学过

