東大理系数学'09年前期[1]
自然数
に対し、
個の二項係数
を考え、これらすべての最大公約数を
とする。すなわち
はこれらすべてを割り切る最大の自然数である。
(1) mが素数ならば、
であることを示せ。 (2) すべての自然数kに対し、
が
で割り切れることを、kに関する数学的帰納法によって示せ。 (3) mが偶数のとき
は1または2であることを示せ。
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
解答 京大理系'97年前期[2](異なる素数p,qに対し、
として、
(
)の最大公約数が1であることを示す問題。
,
,
に着眼する)と同様の発想「
に着眼」をすれば、(1)はすぐです。
(2)は、kに関する数学的帰納法であって、mに関する数学的帰納法ではないので注意してください。
なお、整数を参照してください。
(1) mが素数のとき、
として、
の分子は素数mを含み、分母は素数mを含まないので、
は、すべてmで割り切れます。 一方、
は素数なので、1とm以外の約数をもちません。
よって、
(
)の最大公約数
は、
です。
(2) (T)
のとき、
は
で割り切れるので、成り立ちます。 (U)
のとき成り立つとすると、
は
で割り切れるので、pを整数として、
・・・@
・・・Aここで、
(
)の最大公約数が
であって、
はすべて
の倍数なので、rを整数として、
・・・Bとおくことができます。これと@を用いてAを、
と書き直すことができます。
∴
これより、
は
で割り切れるので、
のときにも成り立ちます。 (T),(U)より、すべての自然数kに対し、
が
で割り切れることが示されました(数学的帰納法を参照)。
(3) (2)と同様に考えます。二項定理より、
とすると、mは偶数なので、
・・・C
(
)の最大公約数が
であって、
はすべて
の倍数なので、sを整数として、とおくことができます。これとCより、
これより、
は2の正の約数で、1か2に限られます。
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
東大理系数学TOP 数学TOP TOPページに戻る
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
各問題の著作権は
出題大学に属します。©2005-2024(有)りるらる 苦学楽学塾 随時入会受付中!理系大学受験ネット塾苦学楽学塾(ご案内はこちら)ご入会は、
まず、こちらまでメールを
お送りください。