初等整数論/整除性のソースを表示

{{Nav}}
== 倍数・約数 ==
'''定義'''
:整数<math>a, b</math> について <math>a = bq</math> なる 整数

<math>q</math> が存在するとき、これを、「a は b の'''倍数'''」、「b は a の'''約数'''」、「a は b で'''割り切れる'''」という。記号で、<math>b \, | \, a</math>。

====== 定理 1.1 ======
:この定理は基本的である。
:<math>b \, | \, a_0, a_1, a_2, \cdots , a_n</math> のとき、<math>b \, | \, a_0x + a_1x + a_2x + \cdots +a_nx</math>

'''証明'''<br />
<math>b \, | \, a_0, a_1, a_2, \cdots , a_n</math> より、 <math>bq_0 = a_0, bq_1 = a_1, \cdots </math> とおく。すると、

<math>\begin{align}
a_0x + a_1x + a_2x + \cdots +a_nx & = bq_0x + bq_1x + bq_2x + \cdots + bq_nx \\
& = bx(q_0 + q_1 + q_2 + \cdots + q_n)
\end{align}
</math>

より、b の倍数であることから、<math>b \, | \, a_0x + a_1x + a_2x + \cdots +a_nx.</math>

== 除法の原理 ==
これも整数論の根幹の部分を成す基本的かつ大事な定理である。

'''定理 1.2''' ([[w:除法の原理|除法の原理]])
:任意の整数 <math>a, b > 0</math> が与えられたとき、<math>a = bq + r  \ \ \ \ \ (0 \leqq r < b)</math> なる <math>q, r</math> がただ一組に限って存在する。

'''証明'''<br />
まずは存在することを証明する。そのために、まずは自然数についてを証明し、それを利用して負の数と 0 の場合を証明すれば整数全てを網羅できる。

<math>a</math> についての数学的帰納法で証明する。

(i) <math>a = 1</math> のとき

<math>b = 1</math> ならば、<math>a = b1 + 0</math> とすることで定理の主張を満たす。<br />
<math>b > 1</math> ならば、<math>a = b0 + 1</math> とすることで定理の主張を満たす。

(ii) <math>a = n</math> のとき成り立つと仮定する

すなわち、<math>n = bq + r (0 \leqq r < b)</math> なる <math>q, r</math> が存在する。

<math>0 \leqq r < b-1</math> ならば、<math>n + 1 = bq + (r + 1) \ \ \ \ \ (0 \leqq r+1 < b)</math> より n+1 でも正しい。<br />
<math>r = b - 1</math> ならば、<br />
<math>\begin{align}
n + 1 & = bq + r + 1
& = b(q+1) + 0
\end{align}
</math><br />
となって、結局 n+1 の場合も正しい。

(i) (ii) によって数学的帰納法から、自然数について成り立つことが分かった。

次に、負数の場合である。

<math>a < 0 \Rightarrow -a > 0</math> であるので、先ほど証明したことから <math>-a = bq + r \ \ \ \ \ (0 \leqq r < b) \cdots (1)</math> なる <math>q, r</math> が存在する。

<math>\begin{align}
(1) & \iff a = b(-q) + (-r) \ \ \ \ \ (-b < -r \leqq 0) \\
& \iff a = b(-q) - b + (-r + b) \ \ \ \ \ (0 < -r + b \leqq b)
\end{align}</math>

よって、<math>0 < -r + b < b</math> ならば定理は正しい。そうではなく、<math>-r + b = b</math> のときも、<math>-r + b = b \iff r = 0</math> であることから定理の主張を満たす。

最後に 0 の場合であるが、これは自明。

以上より全ての整数において除法の原理を満たす q, r が存在することが証明された。

次に、その唯一性を証明する。仮にとある整数 <math>a, b > 0</math> でこれが成り立たず、

<math>
\begin{align}
a & = bq + r \ \ \ \ \ (0 \leqq r < b) \\
a & = bq' + r' \ \ \ \ \ (0 \leqq r' < b) \\
q & \neq q'\vee r \neq r'
\end{align}
</math>

だったとする。すると、

<math>\begin{align}
(bq + r) - (bq' + r') = a-a & \iff b(q-q') + (r-r') = 0 \\
& \iff b(q-q') = r' - r
\end{align}
</math>

<math>
\therefore b \, | \, r' - r \cdots (2)
</math>

<math>
\begin{align}
0 \leqq r' \wedge r < b & \Rightarrow r < r' + b \\
& \iff r-r' < b \\
& \iff r'-r > -b \cdots (3) \\
\end{align}
</math>

<math>
\begin{align}
0 \leqq r \wedge r' < b & \Rightarrow r' < r + b \\
& \iff r' - r < b \cdots (4)
\end{align}
</math>

(2), (3), (4) より <math>r' - r = 0 \iff r = r' \cdots (5)</math>

したがって、再び <math>(bq + r) - (bq' + r') = a-a \iff b(q-q') = 0 \iff b = 0 \vee q - q' = 0</math>

ここで、<math>b > 0</math> より、<math>q - q' = 0 \iff q = q' \cdots (6)</math>

(5), (6) は仮定に矛盾。したがって、唯一性が証明された。以上により除法の原理が証明された。

'''定義'''
:先ほどの定理をそのまま用いると、q を 「a を b で割った'''商'''」、r を 「a を b で割った'''余り'''」という。またこれを、「b を'''法'''とした a の'''最小正剰余'''」ともいう。

'''例'''

<math>19 = 7 \cdot 2 + 5</math><br />
<math>97 = 24 \cdot 4 + 1</math><br />
<math>186 = 38 \cdot 4 + 32</math>

なお、余りの範囲を <math>0 \leqq r < b</math> とせず、<math>-\frac{b}{2} \leqq r \leqq \frac{b}{2} ( \iff r \leqq |\frac{b}{2}|)</math> とすることもできる。これを、'''絶対最小剰余'''という。例えば、

<math>68 = 7 \cdot 10 - 2</math>

がある。

== 公約数・公倍数 ==
'''定義'''
:2つ以上の数 a, b, ... について、a の約数であり、かつ b の約数であり、かつ、... という数を「a, b, ... の'''公約数'''」という。自然数の公約数のうち最大のものを「'''最大公約数'''」という。「g.c.d, gcd」などとも書かれ、gcd(a, b, ...)、または単に (a, b, ...) という記号で表す。
:2つ以上の数 a, b, ... について、a の倍数であり、かつ b の倍数であり、かつ、... という数を「a, b, ... の公倍数」という。自然数の公約数のうち最小のものを「'''最小公倍数'''」という。「l.c.m, lcm, LCM」などとも書かれ、lcm[a, b, ...] という記号で表す。
:特に、gcd(a, b) = 1 のとき、「a, b は'''互いに素'''である」、という。さらにここでは、3つ以上の数 a, b, c, ... については、gcd(a, b, c, ...) = 1 を「広義の互いに素」あるいは単に「互いに素」、3つ以上の数のうち任意の異なる2数をとっても互いに素であるとき、「狭義の互いに素」「対ごとに互いに素」「どの2つも互いに素」という。対ごとに互いに素な数の組は互いに素である。このような区別は一般的ではなく曖昧な部分もあるがここではこのように約束する。

'''例'''
84, 32 の最大公約数は 4, 記号で <math>\gcd(84, 32) = 4.</math> または <math>(84, 32) = 4.</math><br />
189, 42 の最大公約数は 21, 記号で <math>(189, 42) = 21.</math><br />
230, 132, 91 の最大公約数は 23, 記号で <math>(230, 132, 91) = 23.</math>

12 と 20 の最小公倍数は 60, 記号で <math>\textrm{lcm}[12, 20] = 60.</math>
9, 21, 15  の最小公倍数は 315, 記号で <math>\textrm{lcm}[9, 21, 15] = 315.</math>

6, 7 は互いに素。92, 15 は互いに素。3, 4, 5 は対ごとに互いに素である。4, 6, 7 は互いに素であるが、<math>(4, 6) = 2</math> なので対ごとに互いに素ではない。6, 10, 15 は互いに素であるが、<math>(6, 10)=2, (10, 15)=5, (6, 15)=3</math> とどの2つをとっても互いに素ではない。

次に述べるものは直観的に考えて合っているもので、証明なしに受け入れられるものである。それを反省する意味でもここに証明を載せる。

====== 定理 1.3 ======
:2つ以上の数の公倍数は最小公倍数の倍数である。

'''証明'''<br />
2つ以上の数を a, b, ..., k とおく。公倍数は必ず存在する。なぜなら、全てをかけあわせたもの、<math>ab \cdots k</math> は定義より公倍数であるからである。これが負ならば正に直すことで自然数の公倍数がみつかる。そのうち最小のものは存在する。よって最小公倍数は必ず存在する。

さて、ここで最小公倍数を l とおき、m は任意の公倍数とする。定理 1.2 に基づいて、

<math>m = lq + r, \ \ \ 0 \leqq r < l</math>

とおけば、<math>r = m - lq</math>

m も l も a, b, ... , k の倍数であるから、定理 1.1 によって r も a, b, ... , k の倍数、すなわち、公倍数である。ここで、l は正のもののうち最小のものだったから、<math>r = 0</math> となるしかなく、よって定理の正しいことが証明される。

====== 定理 1.4 ======
:2つ以上の数の公約数は最大公約数の約数である。

'''証明'''<br />
2つ以上の数を a, b, ..., k とおく。公約数は必ず存在する。なぜなら、1 は定義より公約数であるからである。また、それらの数のうち、最も大きい数を l とおくと、l + 1 以上の数は公約数ではない。よって公約数には最大のものは存在する。よって最小公倍数は必ず存在する。

さて、ここで最大公約数を m とおき、d は任意の公約数とする。また、m, d の最小公倍数を l とおく。仮定によって、a は m の倍数であり、d の倍数である。したがって、定理 1.3 によって、a は l の倍数である。同様に、b, c, ... , k も l の倍数。したがって、l は a, b, c, ... , k の公約数。したがって m は「最大」なので <math>l \leqq m.</math> また、l は m の倍数であるから、<math>l \geqq m.</math> 以上より、<math>l = m</math> となり、d は m の約数であると分かった。

====== 定理 1.5 ======
:任意の自然数 a, b について、<math>\gcd(a, b) = g, \textrm{lcm}[a, b] = l</math> とすると、<math>ab = gl</math>

'''証明'''<br />
仮定より、<math>l = a'b = ab'</math> とおける。ab は a, b の公倍数である。したがって定理 1.3 によって <math>ab = dl \cdots (1)</math> とおける。<br />
先ほどの式をこれに代入して、<math>ab = da'b, ab = dab' \iff a = da', b = db' \cdots</math> つまり、d は a, b の公約数。定理 1.4 に基づいて、<br />
<math>g = de \cdots (2)</math>とおく。仮定により、<math>g \, | \, a, b \iff de \, | \, da', db' \iff e \, | a', b'.</math> したがって、<math>a' = ea'', b' = eb''</math> とおけば、最初の式に代入して

<math>l = ab''e = ba''e</math> となるが、<math>e > 1</math> であると、<math>\frac{l}{e} ( < l )</math> が a, b の公倍数となり、l の最小性に反するため、e = 1 となるしかなく、(2) より <math>g = d.</math> (1) より、<math>ab = gl.</math>


次の定理も、1.3, 1.4 とともに無条件で受け入れられている、非常に重要な定理である。

====== 定理 1.6 ======
:<math>\gcd (a, b) = 1</math> のとき <math> a \, | \, bc \iff a \, | \, c</math>

'''証明'''<br />
定理 1.5 より、a, b の最小公倍数は ab である。bc は a の倍数かつ b の倍数、したがって定理 1.3 によって <math>ab \, | \, bc \iff a \, | \, c.</math>

定理 1.3 のみを使って証明することもできる。a, b の最小公倍数は当然 b の倍数であるから kb とかける。ab は明らかに a, b の公倍数であるから定理 1.3 より kb の倍数である。よって a は k の倍数である。そこで <math>a=lk</math> とおくと <math>kb=ab/l</math> が a の倍数であるから
<math>b/l</math> は整数、つまり l は b の約数である。よって l は a, b の公約数でなければならないが仮定より l=1 つまり k=a でなければならない。したがって a, b の最小公倍数は ab である。bc は a の倍数かつ b の倍数、したがって定理 1.3 によって <math>ab \, | \, bc \iff a \, | \, c.</math>


定理 1.6 は次のように一般化される。

====== 定理 1.6' ======
:<math>a \, | \, bc \iff \frac{a}{\gcd (a, b)} \, | \, c</math>

'''証明'''<br />
<math>a'=a/\gcd (a, b), b'=b/\gcd (a, b)</math> とおくと <math>\gcd(a', b')=1</math> なので定理 1.6 より <math>a \, | \, bc \iff a' \, | \, b'c \iff a' \, | \, c.</math>

{{Nav}}

{{DEFAULTSORT:しよとうせいすうろん せいしよせい}}
[[Category:初等整数論|せいしよせい]]