自然数の倍数関係と積の倍数証明：nがaかつbの倍数ならnはabの倍数

自然数の倍数関係は、整数論の基本的な概念の一つです。ここでは、自然数 n が a の倍数かつ b の倍数である場合、n が ab の倍数であることを証明する方法を解説します。

倍数の定義

自然数 n が m の倍数であるとは、整数 k が存在して n = m × k と表せることを意味します。これを用いると、問題を形式的に扱うことが可能です。

仮定として、n は a の倍数かつ b の倍数であるとします。つまり、整数 k と l が存在して次のように書けます： n = a × k, n = b × l。

ここで a と b が互いに素である場合を考えると、n は a × b の倍数であることが期待できます。

a と b が互いに素（gcd(a,b) = 1）であると仮定します。n = a × k かつ n = b × l なので、a × k = b × l です。

互いに素の性質から、a は b の倍数でなければならないことから、k は b の倍数であることがわかります。したがって、k = b × m と置くと n = a × (b × m) = a × b × m となり、n は ab の倍数であることが示されます。

例えば n = 12, a = 3, b = 4 の場合、12 は 3 の倍数かつ 4 の倍数です。3 と 4 は互いに素なので、n = 3 × 4 × 1 = 12 は ab = 12 の倍数になっています。

このように、整数を具体的に当てはめても証明が確認できます。

自然数 n が a の倍数かつ b の倍数であり、a と b が互いに素であれば、n は ab の倍数です。証明は倍数の定義と互いに素の性質を用いることで簡潔に行えます。具体例を使うと理解がさらに深まります。