「aのn乗がpの倍数であること」と「aがpの倍数であること」は同値である
根号のついた様々な数が無理数であることを示すのが最近の趣味です。
その証明に使う補題(のようなもの)を証明したいと思います。
証明内容はタイトルにも書いた通り、
『 が正の整数、 が素数のとき、
が の倍数 が の倍数 』
です。必要条件と十分条件に分けて証明していきたいと思います。
⑴『 が の倍数 が の倍数 』を示す
を整数として、 とおきます。このとき
は の倍数なので、 が の倍数であることがわかります。
よって必要条件は示すことができました。
⑵『 が の倍数 が の倍数 』を示す
これを直接証明することは難しいので、対偶を示すことにします。
『 が の倍数 が の倍数 』の対偶は
『 が の倍数でない が の倍数でない 』……(*) です。
なので、(*)を数学的帰納法を使って示します。
(i) まずは のとき
「 が の倍数でないならば が の倍数でない 」は自明なので(*)は成り立ちます。
(ii) 次に、 のときに(*)が成り立つと仮定します。
このとき仮定より、「 が の倍数でないならば、 が の倍数でない」といえます。
またこのとき、
「 の倍数でない数に、 の倍数でない数をかけても の倍数にはならない 」……(A)
ということがいえるならば、
の倍数でない に、 の倍数でない をかけた も の倍数ではありません。
よって(A)さえ示すことができれば、 のときも(*)が成り立つといえます。
ここで(A)を示すために、 の倍数でない2数の積を で割ったあまりについて考えます。
(ここでは合同式を使って、整数 を整数 で割ったあまりと、整数 を整数 で割ったあまりが等しいとき
「 ( mod ) 」と表すことにします。 )
整数 を用いて、 の倍数でない2数を
、 (ただし、 かつ )
とします。
この2数の積を で割ったあまりは
( mod )
と表せます。
ここで、「 ( mod ) 」と仮定すると、
は の倍数であり、 は素数なので、
と の少なくとも片方が「 0 または の倍数」である必要があります。
しかし、 より、
と の両方ともが 0 でも の倍数でもないので、これは矛盾します。
よって 「 ( mod ) 」という仮定が間違っていることがわかります。
以上より ( mod ) となります。
よって、 ( mod ) となり、
の倍数でない2数の積は の倍数でないことが示せました。(A)の証明はこれで終了です。
これで、
(i) のとき(*)が成り立つ
(ii) のときに(*)が成り立つならば、 のときに(*)が成り立つ
を示すことができたので、数学的帰納法より(*)を証明することができました。
対偶である(*)を証明することができたので、
『 が の倍数 が の倍数 』が成り立つことが証明できたことになります。
よって、必要条件、十分条件ともに成り立つことがわかったので、
『 が正の整数、 が素数のとき、 が の倍数 が の倍数 』
を証明することができました。
ところでこの証明、名前ついてたりするんですかね……。有名な気がするんですが……。
参考サイト
追記
この記事を投稿した後に、@lvbourbakiさんに指摘していただいて気づいたのですが、(A)の証明の部分で合同式を使って式変形をする必要はありませんでした。
ということで、簡潔になった(A)の証明を以下に書きます。
の倍数でない2つの自然数を とします。
ここで、「 が の倍数である 」と仮定すると、 は素数なので、
と の少なくとも片方が「 0 または の倍数」である必要があります。
しかし、 と の両方ともが 0 でも の倍数でもないので、これは矛盾します。
よって 「 が の倍数である 」という仮定が間違っていることがわかります。
以上より は の倍数でないということがいえるので、
の倍数でない2数の積は の倍数でないことが示せました。
じ、自明だ……
ということで随分と短くなりました。
@lvbourbakiさん、どうもありがとうございました。