互いに素な整数と自然数について
をそれぞれで割ったときの余りを一列に並べたものはの並び替えである
という性質があります。
をそれぞれで割ったときの余りを一列に並べたものはの並び替えである
これが成り立つことを確かめてみます。
上記の性質はの個のの倍数をそれぞれで割ったときにどの余りも重複しないことを主張しています。
そこで、上記の性質があることを確かめるために以上以下の自然数(ただし、)をもちいて表されるの倍数それぞれで割ったときの余りが等しいと仮定します。
をで割ったときの商を、余りをとすると
をで割ったときの商を、余りをとすると
と書け、変形すると
となります。
同様にをで割ったときの商を、余りをとすると
と書けます。
仮定よりなので
となります。
は互いに素なのでがの倍数であることがわかります。
であり、
は互いに素なのでがの倍数であることがわかります。
しかし、は以上以下の自然数かつなのでがの倍数になることはありません。
よりなので
は以下の自然数なのでの倍数でない。
したがって、仮定は誤り、すなわちをそれぞれで割ったときに等しい余りが現れないことがわかります。
ところで、整数をで割ったときの余りはの個の中のいずれか1つです。
上記のことから、の個のの倍数をそれぞれで割ったときの余りはの個の中から重複せずに1つずつ現れる、すなわち
をそれぞれで割ったときの余りを一列に並べたものはの並び替えである
という性質があることがわかります。
互いに素な整数と自然数について
連続した個のの倍数をそれぞれで割ったときの余りを一列に並べたものはの並び替えである
という性質があることも同様の方法で確かめることもできます。
以上以下の整数(任意の整数;)をもちいて表されるの倍数それぞれで割ったときの余りが等しいと仮定します。
それぞれについて
と書けます。
仮定よりなので
は互いに素なのでがの倍数であることがわかります。
しかし、は以上以下の整数かつなのでがの倍数になることはありません。
よりなので
は以下の自然数なのでの倍数でない。
したがって、仮定は誤り、すなわち
連続した個のの倍数をそれぞれで割ったときの余りを一列に並べたものはの並び替えである
という性質があることがわかります。
では、で割ったときの余りが等しくなるの倍数の条件は何でしょうか?
任意の整数(ただし、)をもちいて表されるの倍数それぞれについて
と書けます。
のとき
は互いに素なのではの倍数であることがわかります。
したがって、の倍数の差がの倍数となるとき、で割ったときの余りが等しくなります。
したがって、の倍数の差がの倍数となるとき、で割ったときの余りが等しくなります。
これはすなわち、連続するの倍数をそれぞれで割ったときの余りを一列に並べると同じ余りが個おきに現れるということであり、を並び替えたものが繰り返し現れるということです。
Share: