自然数条件下での割り算と約数の関係｜ab/cが自然数ならcはaまたはbの約数か？

整数論において、割り算と約数の関係はしばしば議論の対象となります。特に、「a、b、cが自然数で、ab/cも自然数である場合、cはaまたはbの約数であるか」という疑問は、一見正しそうに思えますが、実際には注意が必要です。この記事では、具体例や因数分解を用いて、この命題の正否をわかりやすく解説します。

基本的な考え方

条件として、a、b、c、ab/c が全て自然数であるとします。

ab/c が自然数であるということは、c が ab を割り切る、つまり ab の約数であることを意味します。

ここで疑問なのは、c が必ず a または b のどちらかを割る必要があるのか、という点です。

a、b、c をそれぞれ素因数分解します。

例えば a = 2^2 * 3、b = 3 * 5、c = 2 * 3^2 とします。

このとき ab = (2^2*3)*(3*5)=2^2*3^2*5、そして ab/c = (2^2*3^2*5)/(2*3^2) = 2*5=10、これは自然数です。

しかし c = 2*3^2 = 18 は a = 2^2*3 の約数ではなく、b = 3*5 の約数でもありません。

上記の具体例により、ab/c が自然数であっても c が a または b の約数になるとは限らないことが分かります。

このため、命題「ab/c が自然数なら c は a または b の約数である」は一般には成り立ちません。

直感的には、ab/c が整数なら c は a または b のいずれかに分解されるように思えます。しかし、c が a と b の素因数の組み合わせから構成されている場合、a も b も単独では c を割り切れないことがあります。

つまり、c は ab の約数であっても、a または b の個別の約数ではない場合があるのです。

自然数 a、b、c に対して ab/c が自然数である場合でも、c が必ず a または b の約数であるとは限りません。具体例として a = 2^2*3、b = 3*5、c = 2*3^2 の場合、ab/c = 10 は自然数ですが、c は a でも b でも割り切れません。

このことから、割り算と約数の関係を判断する際には、素因数分解などで構造を確認することが重要です。