東大理系数学'18年前期[2]
数列
,
,・・・・・・,を
(
) で定める。
(1)
とする。
を既約分数
として表したときの分母
と分子
を求めよ。 (2)
が整数となる
をすべて求めよ。
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
解答 本問では、シラミつぶしで試験時間内に充分に解答できます。なお、整数、組み合わせを参照してください。
(1) 

・・・@
と
が公約数d(
)をもつとすると、k,lを整数として、
は整数なので、
に限られ、これは、
と
が互いに素であることを意味します。
とnが公約数d(
)をもつとすると、k,lを整数として、
は整数なので、
に限られ、これは、
とnが互いに素であることを意味します。
よって、@のうち、分子の
と分母の
は互いに素です。また、nと
のいずれか一方は偶数なので、
は整数であり、
と互いに素です。よって、
となる既約分数
,即ち、互いに素な自然数の組
,
は、
とやっていくと、
では
ですが、
では
になりそうです。まず、これを確かめます。 よって、
は、
においては単調増加で、
のときは、
ですが、
で、
においては、
・・・B
です。一方、Aによると、 となりますが、Bより、
では、
にかける数
が1より小さくなるので、
になります。そこで、nを次第に大きくしながら
がどうなるか調べてみます。 上記では直接、定義式:
を用いて計算しましたが、
から計算するなら漸化式@を用いる方がよいと思います。上記では、
で
になりましたが、仮になかなか見通しが立たず、途中の
から調べるのであれば、定義式を使わなければなりません。定義式を使うから
となるnが見つかる、という保証はありませんが、見つからないなら、別のことを考えなければなりません。
ともかく上記より、
では、
であり、
において
なので、
において
であり、
が整数になることはありません。
において
が整数になるのは、C,
,
より、
,
のみです。
よって、
が整数となる
は、
......[答]
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
東大理系数学TOP 数学TOP TOPページに戻る
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
各問題の著作権は
出題大学に属します。©2005-2024(有)りるらる 苦学楽学塾 随時入会受付中!理系大学受験ネット塾苦学楽学塾(ご案内はこちら)ご入会は、
まず、こちらまでメールを
お送りください。