，
(
)
を次のように定める。， ()
は5の倍数となることを示せ。
が
の倍数となるための必要十分条件をk，nを用いて表せ。
と
の最大公約数を求めよ。
，
，
，
，とやって行くと、
，
，と、凄まじいことになってしまいます。(3)で、
となると、桁数でさえ天文学的数値です。(3)は、221と51の最大公約数を求めよ、と言われたときに、221÷51＝4あまり17となるところから51と17の最大公約数を考えるのと同じようにします。
は5の倍数です。
が5の倍数だとして、
(l：整数)とおくと、
とおくと、
も5の倍数です。
は5の倍数です。
(mod. 5)を示す。
のとき、
より成り立つ。
のとき、
(mod. 5)を仮定すると、
(mod. 5)
(mod. 5)
(mod. 5)
(mod. 5)となり、
のときも成り立つ。
(mod. 5)が成り立つ。
は5の倍数となる。
，
，
(l：整数)とおくと、
(j：整数)とおくと、
，
，
，
，･･･なので、
(
)，
，･･･を整数として、
，
，
，
，･･･
を整数として、
を示します。
のときは、
より、
として、
を整数として、
と仮定すると、
･･･① とすれば
は整数であって、
より、
･･･② と書けることが示されました。
は自然数kにも依存するので、
を改めて
と書き直すと、①を
と書き直して、②は、
･･･③
が
の倍数であるためには、③より
が
の倍数であることが必要です。
より、数列
は単調増加な数列で、
のとき
(このとき、
はkの倍数でなく、
は
の倍数になりません)，
のとき
，
のとき
より、
が
の倍数となる最小の自然数jはkです。
のとき、
は、③より、
となり、
の倍数です。ここで
は整数で、
となります(
より
とします。
です)。
･･･④ が
の倍数であるためには、
が
の倍数であることが必要で、こうなる最小の自然数jは
です。
のとき、
は、④より、
の倍数です。ここで
は整数で、
となります。
(
は整数、
)とおけると仮定すると、③より、
･･･⑤
の倍数であるためには、
が
の倍数であることが必要で、こうなる最小の自然数jは
であり、
の場合には
はkの倍数でなく、
は
の倍数ではありません。
のとき、
は、⑤より、
(
は整数です)
の倍数です。
は
の倍数、つまり、
が
の倍数となるためには、iを自然数として、
となることが必要で、nがkの倍数でないときは
は
の倍数ではありません。逆に、
のとき、
は
の倍数です。
が
の倍数となる必要十分条件は、「nがkの倍数であること」 ......[答]
(mod. 
) (＊)
より、
のとき、
(mod. 
)
(mod. 
)を仮定して、
より、
(mod. 
)
が
で割り切れるのは、
(mod. 
)より
のときで、このとき、
(mod. 
)，同様に、
，･･･，これより、nがkの倍数のとき、
(mod. 
)が言えます。また、上記と同様に、
(mod. k)以外の場合には
(mod. 
)とはならないことを言う必要があります。
は3の倍数です。また、
です。(2)より、
が
の倍数となる必要十分条件はnが3の倍数であることです。また、
は5の倍数ですが25の倍数ではありません。そこで、jを3の倍数として、
を調べることになります。
として、
･･･⑥
は5の倍数ですが25の倍数ではなく、
が5の倍数だが25の倍数ではないと仮定すると、
は25の倍数ですが、
も5の倍数だが25の倍数にはなりません。
は5の倍数だが25の倍数ではありません。･･･(＊＊)
として、
とおくと、
を
で割ると25余るのですが、これは、
と
の最大公約数が、
と25の最大公約数に一致することを意味します(Euclidの互除法を参照)。(＊＊)より、jが3の倍数のとき、
は5の倍数だが25の倍数ではないので、
と25の最大公約数は5，即ち、
と
の最大公約数も5です。
として、
と
の最大公約数は、5 ......[答]| 各問題の著作権は出題大学に属します。 ©2005-2022 (有)りるらる | 苦学楽学塾 随時入会受付中！ 理系大学受験ネット塾苦学楽学塾(ご案内はこちら)ご入会は、 まず、こちらまでメールをお送りください。 |
| 雑誌「大学への数学」出版元 |
を
で割ると
余ると見て、mod記号(