MathLabs
定理証明済み

11による整除の交代和判定法

内容

n=∑i=0kdi 10in = \sum_{i=0}^{k} d_i\,10^i を満たす桁を持つ nn を考える。このとき 11∣n11 \mid n であることと、1111 が交代和 ∑i(−1)idi\sum_i (-1)^i d_i を割り切ることは同値である。

なぜ正しいのか?

99 とは異なり、1010 のべき乗は法 1111 で 11 に合同のままではない——1010 自体が法 1111 で −1-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}。

ステップ2. 位取り展開に代入する: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 である。

ステップ3. 結論:11∣n11\mid n となるのはまさに n≡0(mod11)n\equiv0\pmod{11} のときであり、ステップ2により、これはまさに 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