方針
小数部分の定義から、⟨x⟩ は常に [0,1) に入る。(1) は a1=2−1 を出し、1/(2−1)=2+1 の小数部分が再び 2−1 であることを確認する。(2) は全項が同じ a になる固定点条件であり、まず a1=⟨a⟩=a から 1/3≦a<1 を得る。次に ⟨1/a⟩=a を、1/a−a が整数である条件に直し、a の範囲から整数値を 1,2 に絞る。
解答
(1) 1<2<2 であるから a1=⟨2⟩=2−1 である。この値は0でないので、次の項は a2=⟨2−11⟩ である。ここで 2−11=2+1 であり、2<2+1<3 だから ⟨2+1⟩=2−1 となる。よって a2=a1 である。
同じ計算が以後も繰り返されるので、すべての自然数 n について an=2−1 である。
(2)
任意の自然数 n に対して an=a であるとする。特に n=1 で a1=⟨a⟩=a であるから、a は自分自身が小数部分であり、0≦a<1 を満たす。問題では a≧1/3 も仮定されているので 31≦a<1 である。したがって a=0 である。
次に a2=a であるためには ⟨a1⟩=a でなければならない。小数部分の定義より、ある整数 m が存在して a1=m+a と書ける。すなわち a1−a=m が整数である。 1/3≦a<1 より 1<a1≦3 であり、また 0<a<1 だから 0<a1−a<3 である。したがって整数 m は m=1またはm=2 に限られる。 m=1 のとき a1=a+1 より a2+a−1=0 である。a>0 なので a=2−1+5=25−1 を得る。 m=2 のとき a1=a+2 より a2+2a−1=0 である。a>0 なので a=−1+2=2−1 を得る。
これらはいずれも 1/3≦a<1 を満たし、⟨1/a⟩=a を満たすので、以後も同じ値が続く。したがって求める値は2−1,25−1である。
総評
小数部分の定義を固定点条件として使う問題である。目安時間は15分。a=⟨a⟩ から a<1 が出ること、⟨1/a⟩=a を 1/a−a∈Z と読めることが採点点になる。a=1/3 は範囲の端点だが、⟨3⟩=0 となり条件を満たさない。整数 m を絞るときは、1/a の範囲だけでなく a を引いた後の範囲を見ると、m=3 が入らないことを明確に説明できる。
冊子PDFで見る東大の数列の問題で問題集を作る
出典: 東京大学 2011年度 第2次学力試験 数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。