2018年東京大学理系数学大問2
いろいろ忙しい
2018年東京大学理系数学大問2 数列を で定める。 (1)とする。を既約分数として表したときの分母と分子を求めよ。 (2)が整数となるをすべて求めよ。
(考察1)
(1)で既約分数になっているのを見落とさないように。互いに素を証明するために、ユークリッドの互除法を利用しましょう。コンビネーションの定義を忘れると全部落とします。
(解答)
(1)
であるから
ここでは2連続整数の積だから、偶数であり
としても、分母、分子共に整数になる。
また、
であるから、との最大公約数はとのそれに等しいから、とは互いに素。
さらに
より、との最大公約数はとのそれ、またとのそれに等しいから、とも互いに素。
よって、とは互いに素であり、
は既約分数となる
よって
(2)
(考察2)
(2)はどこに着目するかで大きく解答の方針が変わります。
に着目すると、をで表したときに分子が奇数であることが分かるので、の偶奇を判断してあげることでが整数になるか分数になるかが分かります
に着目すると、確率漸化式などでよく見る手法が思いつくとよいでしょう。明らかには正なのでが単調減少数列であれば、が整数になりうるをある程度絞り込めます。
(解答)
(に着目)
・のとき
となり、整数。
・のとき
(1)より
であり、これを繰り返し使うと
である。
ここで、は常に奇数だからが整数であるとき、の分子は奇数でなければならない。
つまり、が偶数となってしまうとそれ以降その素因数が分母に残り続け、整数にならない。
実際、
であり、でが整数になることはない。
また、
であるから、でのみ整数となる
以上より求める整数は
(に着目)
を考える。
よって、では単調減少。
となり、は明らかだから、ではは整数にならない。
だから、求める整数は
(2)は気づけば前半の解き方のほうが良いですね、ほとんど計算しなくてよいので。でも入試本番だと後半の解き方にすぐ移行できればロスは少なく済むと思います。計算ミスしないように丁寧に計算しなきゃならないですが。あと、「が全然小さくならないけど、どうせ1より下回るだろう」と信じて途中で諦めないメンタルの強さも必要な解法ですね...