MathLabs

6年生

整除性、約数と倍数

ある整数が別の整数を割り切るという関係と、そこから生まれる約数・倍数。

直観割り切れるとはどういうことか

1212 個のキャンディーを 33 袋に等しく分けると余りは出ない——33 は 1212 を割り切る。1313 個のキャンディーを 33 袋に分けると必ず余りが出る。整除とは、まさにこの「余りが出ない」という関係であり、約数・倍数・素数のすべてがそこから育つ種である。

24の約数関係を示すハッセ図風の除数グラフ
1212 の約数(1,2,3,4,6,121, 2, 3, 4, 6, 12)のハッセ図 D12D_{12}:上向きの各辺は素因数(22 または 33)を1つ掛けることに対応する。

中高定義と除法アルゴリズム

定義: 整除

整数 bb が整数 aa を割り切るとは、b∣ab \mid a と書き、a=bka=bk を満たす整数 kk が存在することをいう。b∣ab \mid a のとき、bb を aa の約数、aa を bb の倍数という。

a=bq+r,0≤r<b(b>0)a = bq + r, \qquad 0 \le r < b \quad (b>0)

これが除法アルゴリズムである:任意の整数 aa を正の整数 bb で割ると、a=bq+r, 0≤r<ba = bq + r,\ 0\le r<b を満たす一意な商 qq と余り rr が得られる。整除は r=0r=0 の特別な場合である。

n=∑i=0kdi 10in = \sum_{i=0}^{k} d_i\,10^i

通常の数字 dkdk−1⋯d1d0d_k d_{k-1}\cdots d_1 d_0 で数を書くことは、まさに n=∑i=0kdi 10in = \sum_{i=0}^{k} d_i\,10^i を意味する——この位取り展開が、以下のすべての桁ベースの整除判定法の背後にある道具である。

末尾の桁または桁の和による整除判定法
除数判定法則例
22末尾の桁が偶数1,2341{,}234
55末尾の桁が 00 か 551,2351{,}235
33桁の和 ∑idi\sum_i d_i が 33 で割り切れる3+3+3=93+3+3=9
99桁の和 ∑idi\sum_i d_i が 99 で割り切れる4+5+3+6=184+5+3+6=18
1111交代和 ∑i(−1)idi\sum_i (-1)^i d_i が 1111 で割り切れる2−9+1−4=−102-9+1-4=-10

大学桁による整除性の二つの定理

n=∑i=0kdi 10in = \sum_{i=0}^{k} d_i\,10^i を満たす桁を持つ nn を考える。このとき 9∣n9 \mid n であることと、99 が桁の和 ∑idi\sum_i d_i を割り切ることは同値である;同じ主張は 99 の代わりに 33 でも成り立つ。

なぜ正しいのか?

1010 のどのべき乗も 99 で割ると余り 11 になる(10=9+110=9+1 だから)ので、ある桁を上位の位に移しても、法 99 でのその寄与は決して変わらない——数全体は、その桁の単純な和と合同である。

証明

ステップ1. すべての i≥0i\ge0 に対して 10i≡1(mod9)10^i \equiv 1 \pmod 9 であることを帰納法で示す。基底段階 i=0i=0:100=1≡1(mod9)10^0=1\equiv1\pmod9。帰納段階:10i≡1(mod9)10^i\equiv1\pmod9 ならば、10i+1=10⋅10i≡10⋅1=10≡1(mod9)10^{i+1}=10\cdot10^i\equiv10\cdot1=10\equiv1\pmod9(10≡1(mod9)10 \equiv 1 \pmod 9 を用いる)。よってすべての ii で 10i≡1(mod9)10^i\equiv1\pmod9。

ステップ2. 位取り展開に代入する:n=∑idi10i≡∑idi⋅1=∑idi(mod9)n=\sum_i d_i 10^i \equiv \sum_i d_i\cdot1 = \sum_i d_i \pmod9。よって nn とその桁の和は、99 で割ると常に同じ余りを持つ。

ステップ3. 結論:9∣n9\mid n となるのはまさに n≡0(mod9)n\equiv0\pmod9 のときであり、ステップ2により、これはまさに ∑idi≡0(mod9)\sum_i d_i\equiv0\pmod9 のとき、すなわち 99 が桁の和を割り切るときに起こる。9=3×39=3\times3 であり、同じ合同式 10≡1(mod3)10\equiv1\pmod3 も成り立つので、99 の代わりに 33 を用いた同一の議論全体が、33 による整除性の版を証明する。

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 を割り切るときに起こる。

大学実世界での応用と具体例

整除性の検査は、日常のシステムの裏側で静かに動いている:検査数字はISBNやバーコードの入力ミスを捉え、暦のうるう年規則は季節を天文学的な一年と一致させ続ける。

例: ISBN-10の検査数字

1010 桁のISBN d1d2⋯d10d_1d_2\cdots d_{10} が有効であるのは、まさに ∑i=110i⋅di≡0(mod11)\sum_{i=1}^{10} i\cdot d_i \equiv 0 \pmod{11} が成り立つときである(必要なら d10=Xd_{10}=X は 1010 を表す)。ISBN 0 306 40615 20\,306\,40615\,2(数字 0,3,0,6,4,0,6,1,5,20,3,0,6,4,0,6,1,5,2)が有効であることを確認せよ。

解答

ステップ1. 位置 i=1,…,10i=1,\ldots,10 とその数字を並べる:(1,0),(2,3),(3,0),(4,6),(5,4),(6,0),(7,6),(8,1),(9,5),(10,2)(1,0),(2,3),(3,0),(4,6),(5,4),(6,0),(7,6),(8,1),(9,5),(10,2)。

ステップ2. 各数字にその位置を掛けて合計する:1(0)+2(3)+3(0)+4(6)+5(4)+6(0)+7(6)+8(1)+9(5)+10(2)=0+6+0+24+20+0+42+8+45+20=1651(0)+2(3)+3(0)+4(6)+5(4)+6(0)+7(6)+8(1)+9(5)+10(2) = 0+6+0+24+20+0+42+8+45+20 = 165。

ステップ3. 1111 による整除性を確認する:165=11×15165 = 11\times15 なので 165≡0(mod11)165\equiv0\pmod{11}。検査数字の式が成り立つので、このISBNは有効である——もし司書が目録作成中に数字を一つ打ち間違えたら、重み付き和はほぼ確実にもはや 1111 の倍数ではなくなり、直ちに誤りが検出される。

例: うるう年の規則

グレゴリオ暦の年 YY がうるう年であるのは、まさに (4∣Y and 100∤Y) or 400∣Y(4\mid Y \text{ and } 100\nmid Y)\ \text{or}\ 400\mid Y のときである。この規則を用いて、19001900、20002000、20242024 がうるう年かどうかを判定せよ。

解答

ステップ1. 19001900 を確認する:4∣19004\mid1900(1900=4×4751900=4\times475 なので)だが、100∣1900100\mid1900(1900=100×191900=100\times19 なので)——例外が適用され、かつ 400∤1900400\nmid1900(1900/400=4.751900/400=4.75 で整数でない)なので、例外は上書きされない。19001900 はうるう年ではない。

ステップ2. 20002000 を確認する:4∣20004\mid2000 かつ 100∣2000100\mid2000(例外が適用されるはず)だが、400∣2000400\mid2000(2000=400×52000=400\times5 なので)であり、これが例外を上書きする。20002000 はうるう年である。

ステップ3. 20242024 を確認する:4∣20244\mid2024(2024=4×5062024=4\times506 なので)かつ 100∤2024100\nmid2024 なので、世紀の例外はそもそも適用されない。20242024 はうるう年である。天文学的には、この規則(15821582 年に教皇グレゴリウス13世が追加)は、地球の公転が正確に 365.25365.25 日ではなく約 365.2425365.2425 日であるために存在する;400400 年ごとにうるう日を 33 日省くことで、暦を真の太陽年に近く保つ。

1,234,5671{,}234{,}567 は 99 で割り切れるか。

あるISBN-10の重み付き桁和 ∑i=110i⋅di≡0(mod11)\sum_{i=1}^{10} i\cdot d_i \equiv 0 \pmod{11} が 187187 になった。このISBNは有効か。

1111 による整除の交代和判定法として正しいのはどれか。

8484 は 44 と 66 の両方で割り切れる。8484 は必ず 2424 で割り切れるか。

参考文献

  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