关于“任意整数n与其数位置换数n'的差被9整除”的证明困惑

嘿，你的思路方向是对的，但中间的关键推导有个小误区——你假设n−n'的数位和为0，但实际上这个结论并不成立。举个例子：n=123，n'=321，n−n'=-198，它的数位和是1+9+8=18，显然不是0，但18确实能被9整除。那我们该怎么正确利用已知定理来证明呢？

正确的证明步骤 #

我们可以基于你提到的核心定理：任意整数能被9整除当且仅当其数位和能被9整除，结合数的数位展开式来推导：

• 首先，把整数n用数位形式展开：假设n是k位数，可表示为
  n = a₀×10⁰ + a₁×10¹ + ... + aₖ₋₁×10ᵏ⁻¹
  其中aᵢ是n的各个数位上的数字（0≤aᵢ≤9）。
• 数位交换后的数n'，本质是这些数字的重新排列，即
  n' = a_{σ(0)}×10⁰ + a_{σ(1)}×10¹ + ... + a_{σ(k-1)}×10ᵏ⁻¹
  这里σ是0到k-1的一个排列（也就是数位的交换规则）。
• 计算n与n'的差：
  n - n' = Σ(aᵢ - a_{σ(i)})×10ⁱ（i从0到k-1）
• 关键观察：因为10 ≡ 1 mod 9，所以对任意正整数i，10ⁱ ≡ 1ⁱ = 1 mod 9。
• 因此，n - n' ≡ Σ(aᵢ - a_{σ(i)})×1 mod 9，也就是(Σaᵢ - Σa_{σ(i)}) mod 9。
• 由于σ是排列，Σa_{σ(i)}和Σaᵢ是完全相等的（只是数字顺序不同），所以两者的差为0，即n - n' ≡ 0 mod 9。

这就证明了9|n−n'。

对你的思路的补充说明 #

你提到的“差的数位和”其实不需要是0，真正的核心是：n和n'的数位和完全相同，根据已知定理，n和n'都与同一个数位和模9同余，所以它们的差自然与0模9同余，也就是能被9整除。

内容的提问来源于stack exchange，提问作者arad