整数論では、約数や互いに素という概念が頻繁に登場します。特に「bとcが互いに素であり、aがbcの約数であるとき、aはbの約数またはcの約数になるのか」という命題は、一見正しそうに見えます。しかし実際には約数の構造を詳しく調べる必要があります。この記事では、具体例や素因数分解を用いて、この命題の真偽を分かりやすく解説します。
まずは「互いに素」の意味を確認する
2つの自然数b、cが互いに素であるとは、最大公約数が1であることを意味します。
つまり、bとcは共通する素因数を持ちません。
例えば、b=4、c=9の場合は、4=2²、9=3²なので共通する素因数がなく、互いに素です。
bcの約数はどのような形になるのか
bとcが互いに素であるとき、bcの約数はbの素因数とcの素因数を自由に組み合わせて作ることができます。
例えば、b=4、c=9の場合、bc=36です。
| 36の約数 |
|---|
| 1,2,3,4,6,9,12,18,36 |
この中には4の約数でも9の約数でもない数が含まれています。
例えば6は36の約数ですが、4の約数でも9の約数でもありません。
反例から命題を検証する
実際に反例を考えてみましょう。
b=4、c=9とすると、bとcは互いに素です。
そしてa=6とします。
- 6は36の約数である
- 6は4の約数ではない
- 6は9の約数でもない
したがって、
aはbcの約数 ⇒ aはbの約数またはcの約数
という命題は成り立たないことが分かります。
なぜ成り立たないのか
互いに素な数の積bcの約数は、b由来の素因数とc由来の素因数を同時に含むことができます。
そのため、約数aがb側の素因数とc側の素因数の両方を持つ場合、aはb単独の約数でもc単独の約数でもなくなります。
先ほどの例では、6=2×3です。2は4由来、3は9由来の素因数であり、それらを組み合わせた結果として6が生まれています。
成り立つ関連する定理
一方で、よく知られている定理として次の命題があります。
bとcが互いに素で、aがbとcの両方の約数ならば、a=1である。
また、
bとcが互いに素で、aがbcの約数ならば、aをa=deと表せるようなd|b、e|cが存在する。
という性質もあります。
こちらが互いに素な整数の積に関する正しい理解です。
まとめ
bとcが互いに素であっても、「aがbcの約数ならaはbの約数またはcの約数である」という命題は一般には成り立ちません。
例えば、b=4、c=9、a=6とすると、6は36の約数ですが4の約数でも9の約数でもないため反例となります。
互いに素な2数の積の約数には、それぞれの素因数を組み合わせてできる数も含まれるため、このような現象が起こります。約数問題では具体例と素因数分解を用いて考えることが重要です。
コメント