6年生
整除性、約数と倍数
ある整数が別の整数を割り切るという関係と、そこから生まれる約数・倍数。
直観割り切れるとはどういうことか
個のキャンディーを 袋に等しく分けると余りは出ない—— は を割り切る。 個のキャンディーを 袋に分けると必ず余りが出る。整除とは、まさにこの「余りが出ない」という関係であり、約数・倍数・素数のすべてがそこから育つ種である。
中高定義と除法アルゴリズム
定義: 整除
整数 が整数 を割り切るとは、 と書き、 を満たす整数 が存在することをいう。 のとき、 を の約数、 を の倍数という。
これが除法アルゴリズムである:任意の整数 を正の整数 で割ると、 を満たす一意な商 と余り が得られる。整除は の特別な場合である。
通常の数字 で数を書くことは、まさに を意味する——この位取り展開が、以下のすべての桁ベースの整除判定法の背後にある道具である。
| 除数 | 判定法則 | 例 |
|---|---|---|
| 末尾の桁が偶数 | ||
| 末尾の桁が か | ||
| 桁の和 が で割り切れる | ||
| 桁の和 が で割り切れる | ||
| 交代和 が で割り切れる |
大学桁による整除性の二つの定理
を満たす桁を持つ を考える。このとき であることと、 が桁の和 を割り切ることは同値である;同じ主張は の代わりに でも成り立つ。
なぜ正しいのか?
のどのべき乗も で割ると余り になる( だから)ので、ある桁を上位の位に移しても、法 でのその寄与は決して変わらない——数全体は、その桁の単純な和と合同である。
証明
ステップ1. すべての に対して であることを帰納法で示す。基底段階 :。帰納段階: ならば、( を用いる)。よってすべての で 。
ステップ2. 位取り展開に代入する:。よって とその桁の和は、 で割ると常に同じ余りを持つ。
ステップ3. 結論: となるのはまさに のときであり、ステップ2により、これはまさに のとき、すなわち が桁の和を割り切るときに起こる。 であり、同じ合同式 も成り立つので、 の代わりに を用いた同一の議論全体が、 による整除性の版を証明する。
を満たす桁を持つ を考える。このとき であることと、 が交代和 を割り切ることは同値である。
なぜ正しいのか?
とは異なり、 のべき乗は法 で に合同のままではない—— 自体が法 で に合同であるため、一段ごとに符号が反転する。偶数位の桁は通常どおり寄与し、奇数位の桁は負に寄与する。
証明
ステップ1. すべての に対して であることを帰納法で示す。基底段階 :。帰納段階: ならば、( を用いる)。よってすべての で 。
ステップ2. 位取り展開に代入する:、これはまさに交代和 である。
ステップ3. 結論: となるのはまさに のときであり、ステップ2により、これはまさに が を割り切るときに起こる。
大学実世界での応用と具体例
整除性の検査は、日常のシステムの裏側で静かに動いている:検査数字はISBNやバーコードの入力ミスを捉え、暦のうるう年規則は季節を天文学的な一年と一致させ続ける。
例: ISBN-10の検査数字
桁のISBN が有効であるのは、まさに が成り立つときである(必要なら は を表す)。ISBN (数字 )が有効であることを確認せよ。
解答
ステップ1. 位置 とその数字を並べる:。
ステップ2. 各数字にその位置を掛けて合計する:。
ステップ3. による整除性を確認する: なので 。検査数字の式が成り立つので、このISBNは有効である——もし司書が目録作成中に数字を一つ打ち間違えたら、重み付き和はほぼ確実にもはや の倍数ではなくなり、直ちに誤りが検出される。
例: うるう年の規則
グレゴリオ暦の年 がうるう年であるのは、まさに のときである。この規則を用いて、、、 がうるう年かどうかを判定せよ。
解答
ステップ1. を確認する:( なので)だが、( なので)——例外が適用され、かつ ( で整数でない)なので、例外は上書きされない。 はうるう年ではない。
ステップ2. を確認する: かつ (例外が適用されるはず)だが、( なので)であり、これが例外を上書きする。 はうるう年である。
ステップ3. を確認する:( なので)かつ なので、世紀の例外はそもそも適用されない。 はうるう年である。天文学的には、この規則( 年に教皇グレゴリウス13世が追加)は、地球の公転が正確に 日ではなく約 日であるために存在する; 年ごとにうるう日を 日省くことで、暦を真の太陽年に近く保つ。
は で割り切れるか。
あるISBN-10の重み付き桁和 が になった。このISBNは有効か。
による整除の交代和判定法として正しいのはどれか。
は と の両方で割り切れる。 は必ず で割り切れるか。
参考文献
- David M. Burton (2010). Elementary Number Theory
- John H. Conway, Richard K. Guy (1996). The Book of Numbers · DOI:10.1007/978-1-4612-4072-3