自然数 的各位数字两两不同。把 乘以 ,所得的数的数字和为 。这样的 有多少个?
把 的数字和转化成借位次数。 写成 ,然后列竖式相减。在任何减法里,每借一次位就从某一列拿走 、给下一列补上 ,因此结果的数字和会减少 。又因为 与 的数字和相同,所以
其中 是 中的借位次数。(对 个随机的 做过验证:这个恒等式次次成立。)
由此读出 必须有多少位。 条件 变成 ,即恰好借位 次。借位只可能发生在 确实有数字的那些列上,所以 ,其中 是 的位数。于是
正是这一步把一个漫无边际的问题变成了有限的问题。
再用「数字互不相同」给 找上界。 数字总共只有十个,而且必须两两不同,所以 。结合上一步, 只能是 位或 位数——而各位数字互不相同的 位数必须把每个数字都恰好用一次,也就是全数字数,此时 。
分别数一数候选个数。 时共有 种(从十个数字中选九个并排列,去掉首位为零的情形); 时共有 个全数字数。总共约 万个候选——数量不大,可以逐个精确检验。
逐个检验,收集通过的。 穷举得到符合条件的九位数 个、十位数 个:
那个九位数是 ,因为 ,数字和为 。最小的十位数是 ,因为 ,数字和同样是 。
检查两个极端情形。 对 ,九列每一列都发生借位,这既是能达到的最大次数,也恰好是所需的九次。有个诱人却错误的猜测是让 ,从而 ——它的数字和是对的,但各位数字全相同,不满足互不相同的条件。正是这个「差一点」说明了答案为什么不是零:符合条件的乘积长得像 ,而不是一串 。
Need to solve a different problem like this? Open the solver →