質問: 因数と素因数およびそれを用いた証明 他の方の質問に回答しているやりとりの中でどうしても腑に落ちないことがあり、これ以上その方の回答欄に書くわけにもいかないと思い質問します。 「素因数」...ある整数の約数である素数のこと。 「因数」...一つの数または式がいくつかの数または式の積によって形成されている場合、その個々のその個々の数や式、因子。 (いずれも広辞苑より) とあります。 この説明を読む限りでは、素因数⊂因数だと思います。つまり、整数が因数の積で表される時、その因数が素数の時は特に素因数と呼ぶ、と。 ということは、証明においてある整数の因数全体で成り立つことが示せれば、その整数の素因数でも成り立つことは自明だと思うのですが、違うのでしょうか? また、ほとんどの参考書および教科書では、 「ある整数aと1を除く自然数mにおいて、a^3がmの倍数⇔aがmの倍数」であることを自明のこととして扱っています(mが素数かどうかに関わらず)。事実私もそうでした。しかし、自明ではないという意見もあるようです。どちらなのでしょうか? 自明であるという意見の方はその理由を、自明でないと言う方は反例をあげて下さい。 長文になりましたが、よろしくお願いします。
回答: はい、仰るとおり、m=6とか10とか、素因数分解に同じ素数が現れないような数なら正しいです。しかし、自明と言っていいレベルではおそらくないでしょう。証明が必要な事柄です。 仮に大学入試の答案につかうならきちんと証明してから使うか、時間がなければ一言、「素因数分解に同じ素数が二回以上現れないので、」のような但し書きは要るはずです。