Evolton

九州大学 1999年度 前期日程 第2次学力試験 関数・数列理系数学 第4問(a)

関数f(x)=1x2について,次の問に答えよ.

(1) f(a)=aをみたす正の実数aを求めよ.

(2) aを(1)で求めた実数とする.
x12ならば,
f(x)f(a)52xaとなることを示せ.

(3) aを(1)で求めた実数とする.
12x11として,xn+1=f(xn),n=1,2,3,,で決まる数列{xn}を考える.
すべてのnに対して12xn1がなりたつならば,
x1=aであることを示せ.

難易度6/ 10計算量5/ 10目安10

関数数列論証・証明 不等式評価漸化式の変形、背理法

方針

(1) は固定点方程式 f(a)=a を解く。(2) は f(x)f(a)=(x+a)(xa) と因数分解し,x1/2a の値から x+a の下限を押さえる。(3) は (2) を反復して,x1a なら xna が等比的に増大することを示す。一方で仮定より xn は閉区間 [1/2,1] に入って有界なので矛盾する。

解答

(1) f(a)=a より 1a2=a である。すなわち a2+a1=0. 解の公式より a=1±52. 正の実数解は a=512 である。

(2)

(1)af(a)=a を満たす。したがってf(x)f(a)=(1x2)(1a2)=(x2a2)=(x+a)(xa).よって f(x)f(a)=(x+a)xa である。ここで x1/2 かつ a=512 だから x+a12+512=52. したがって f(x)f(a)52xa である。

(3)

仮に x1a とする。仮定よりすべての n について xn1/2 であるから,(2) を x=xn に適用できる。xn+1=f(xn),また f(a)=a なので xn+1a=f(xn)f(a)52xna. これを繰り返すと xna(52)n1x1a. ここで 52>1 であり,x1a>0 であるから,右辺は n が大きくなるといくらでも大きくなる。

一方,仮定よりすべての n12xn1 である。したがって xna は有界であり,上の不等式と矛盾する。よって仮定が誤りで,x1=a である。

別解

解法2

方針

不動点 a からの誤差 en=xna を直接追う。因数分解により en+1=(xn+a)en となるため、区間内に居続ける限り誤差が一定倍率以上で増えることを使って背理法で示す。

解答

(1) 1a2=aの正根はa=512.(2)f(x)f(a)=(x+a)(xa)なので、x1/2 ならf(x)f(a)=(x+a)xa52xa.(3)
en=xna とおく。すべての xn[1/2,1] にあるなら (2) よりen+152en.もし e10 ならen(52)n1e1.一方 xn,a[1/2,1] なら en1/2 で矛盾。従って x1=a

総評

固定点からの距離が反復で広がることを使う問題で,所要時間は10分程度。(2) の因数分解 f(x)f(a)=(x+a)(xa) が全体の中心である。x+a の下限を出すとき,a=(51)/2 を代入して 5/2 が出る流れを省かないこと。(3) は「区間に閉じ込められるなら有界」と「倍率 5/2>1 で増えるなら非有界」を対比する背理法でまとめると明快である。 主解法と第2解法を別々に再計算し、条件範囲、端点、等号成立条件まで照合した。

冊子PDFで見る九大の関数の問題で問題集を作る

出典: 九州大学 1999年度 前期 理系 第4問。問題文はHTML表示のために再入力・数式組版しています。