整数論は、整数を研究する分野です。素数、整除性、合同式を理解したいなら、すでに整数論の中心的な考え方を見ていることになります。

素数とは、11 より大きい整数で、正の約数が 11 とその数自身のちょうど2つだけであるものです。整除性は、ある整数が別の整数を余りなく割り切るかどうかを考えます。合同式は余りを追跡する考え方で、そのためしばしば時計算とも呼ばれます。

整数論で扱うこと

この3つの考え方は互いにつながっています。

  • 素数は、正の整数の基本的な構成要素です。
  • 整除性は、ある整数が別の整数をちょうど割り切るかどうかを教えてくれます。
  • 合同式は、整除性の問題を余りの問題として書き換えます。

たとえば、「aann で割り切れる」ということは、次と同じ意味です。

a0(modn)a \equiv 0 \pmod n

したがって、整除性の問題はしばしば余りの問題に書き換えられます。

素数:基本となる構成要素

素数は次のように始まります。

2,3,5,7,11,13,2, 3, 5, 7, 11, 13, \dots

22 は唯一の偶数の素数です。ほかの偶数はすべて 22 で割り切れるので、素数にはなれません。

11 より大きい正の整数が素数でないとき、その数は合成数と呼ばれます。たとえば、2121

21=3721 = 3 \cdot 7

と書けるので合成数です。

素数が重要なのは、11 より大きいすべての整数が、因数の順序を除けば素数の積として表せるからです。これが素因数分解の考え方です。

整除性:ある数が別の数をちょうど割り切るとき

aabb を整数とし、b0b \ne 0 とします。このとき「bbaa を割り切る」とは、ある整数 kk が存在して

a=bka = bk

となることを意味します。

これは次のように書きます。

bab \mid a

たとえば、20=4520 = 4 \cdot 5 なので 4204 \mid 20 です。しかし、222244 で割ると余りが出るので、4224 \nmid 22 です。

整除性は、約数、倍数、最大公約数、最小公倍数の背景にある言葉です。また、よく知られた判定法も説明してくれます。

  • ある数が 22 で割り切れるのは、一の位が偶数のときです。
  • ある数が 55 で割り切れるのは、一の位が 00 または 55 のときです。
  • ある数が 33 で割り切れるのは、各桁の和が 33 で割り切れるときです。

最後の規則は単なるコツではありません。これは合同式から出てきます。

合同式:余りを使って考える

2つの整数を nn で割ったときの余りが同じなら、それらは法 nn で合同であるといいます。これは次のように書きます。

ab(modn)a \equiv b \pmod n

これは、nnaba-b を割り切ることを意味します。

たとえば、

175(mod12)17 \equiv 5 \pmod{12}

です。なぜなら、171755 はどちらも 1212 で割ると余りが 55 になり、また 175=1217 - 5 = 121212 が割り切るからです。

これは便利です。なぜなら、ある数をそれと合同なもっと簡単な数に置き換えられるからです。12時間制の時計では、15時間足すことは3時間足すことと同じ効果になります。なぜなら

153(mod12)15 \equiv 3 \pmod{12}

だからです。

例題:なぜ 23123133 で割り切れるのか?

231231 という数を考えます。

まず、位取りの形で書きます。

231=2100+310+1231 = 2 \cdot 100 + 3 \cdot 10 + 1

次に、法 33 で考えます。

101(mod3)10 \equiv 1 \pmod 3

なので、

100=102121(mod3)100 = 10^2 \equiv 1^2 \equiv 1 \pmod 3

が成り立ちます。

したがって、

23121+31+12+3+1=60(mod3)231 \equiv 2 \cdot 1 + 3 \cdot 1 + 1 \equiv 2 + 3 + 1 = 6 \equiv 0 \pmod 3

となります。

2310(mod3)231 \equiv 0 \pmod 3 なので、この数は 33 で割り切れます。

これで各桁の和の規則も説明できます。10進法では、1010 の各べきはすべて法 3311 と合同なので、元の数全体は各桁の和と同じ余りをもちます。

そして実際に割ると、

231=377=3711231 = 3 \cdot 77 = 3 \cdot 7 \cdot 11

となるので、231231 は素数ではなく合成数です。

整数論でよくある間違い

11 を素数だと思ってしまう

11 は素数ではありません。素数は正の約数をちょうど2つもたなければなりませんが、11 の正の約数は1つしかありません。

整除性の条件を忘れる

bab \mid a という表現は、b0b \ne 0 のときにだけ意味をもちます。0で割ることはできません。

等号と合同を混同する

175(mod12)17 \equiv 5 \pmod{12}17=517 = 5 という意味ではありません。両者の差が 1212 の倍数だという意味です。

整除判定法を使いすぎる

いくつかの判定法が手早く使えるのは、10進法ではうまく働くからです。だからといって、すべての割る数に簡単な桁の規則があるわけではありません。

整数論はどこで出てくるか

学校数学のレベルでは、整数論は因数分解、余りの問題、整除性の証明、時計のような問題に現れます。また、分数を約分するとき、共通の約数を探すとき、繰り返しの周期をもつ問題を解くときにも出てきます。

より深いレベルでは、素数と合同式は暗号理論や計算機科学でも中心的な役割を果たします。これらの考え方を使うのにその背景知識は必要ありませんが、整数論が応用の場面で何度も現れる理由を理解する助けにはなります。

自分でもやってみよう

同じ考え方を 462462 で試してみましょう。まず各桁の和を使って 33 で割り切れるかを調べ、そのあと素数か合成数か判断できるところまで因数分解してみてください。

自分の方法を確かめたいなら、似たような整除性や余りの問題を数式ソルバーで解き、合同式の手順を自分のものと比べてみましょう。

問題の解き方でお困りですか?

問題をアップロードすると、検証済みのステップバイステップ解答が数秒で届きます。

GPAI Solver を開く →