MathLabs
定理已证明

判断整除 11 的交替数字和法则

命题陈述

设 nn 满足 n=∑i=0kdi 10in = \sum_{i=0}^{k} d_i\,10^i。则 11∣n11 \mid n 当且仅当 1111 整除交替数字和 ∑i(−1)idi\sum_i (-1)^i d_i。

为什么成立?

与 99 不同,1010 的幂在模 1111 下不会保持同余于 11——因为 1010 本身模 1111 同余于 −1-1,所以每递进一位符号就翻转一次。偶数位的数字正常贡献,奇数位的数字则贡献相反符号。

证明思路

第一步。用归纳法证明对一切 i≥0i\ge0 有 10i≡(−1)i(mod11)10^i \equiv (-1)^i \pmod{11}。基础情形 i=0i=0:100=1=(−1)010^0=1=(-1)^0。归纳步骤:若 10i≡(−1)i(mod11)10^i\equiv(-1)^i\pmod{11},则 10i+1=10⋅10i≡(−1)⋅(−1)i=(−1)i+1(mod11)10^{i+1}=10\cdot10^i\equiv(-1)\cdot(-1)^i=(-1)^{i+1}\pmod{11}(利用 10≡−1(mod11)10 \equiv -1 \pmod{11})。故对一切 ii 有 10i≡(−1)i(mod11)10^i\equiv(-1)^i\pmod{11}。

第二步。代入位值展开式:n=∑idi10i≡∑idi(−1)i(mod11)n=\sum_i d_i10^i \equiv \sum_i d_i(-1)^i \pmod{11},这恰好是交替数字和 ∑i(−1)idi\sum_i (-1)^i d_i。

第三步。得出结论:11∣n11\mid n 当且仅当 n≡0(mod11)n\equiv0\pmod{11},由第二步这恰好等价于 1111 整除 ∑i(−1)idi\sum_i (-1)^i d_i。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. David M. Burton (2010). Elementary Number Theory
  2. John H. Conway, Richard K. Guy (1996). The Book of Numbers · DOI:10.1007/978-1-4612-4072-3