Evolton

京都大学 2004年度 後期日程 第2次学力試験文系(後期)数学 第2問

x0 に対して、関数 f(x) を次のように定義する。f(x)={x(0x1 のとき),0(x>1 のとき).自然数 k に対して、03f(x2k)dxを求めよ。

難易度4/ 10計算量3/ 10目安10

積分関数 場合分け、定積分評価、範囲評価

方針

f(x2k) が0でないのは、入力 x2k[0,1] に入るときだけである。積分区間では x0 なので、これは 0xk と同値である。したがって実際の積分区間は [0,3][0,k] の重なりになる。k3、つまり k9 の場合と、k9 の場合に分けて計算する。

解答

0x3 で考える。関数 f(u) は、0u1 では f(u)=uu>1 では f(u)=0 である。ここでは u=x2k であり、k は自然数なので u0 である。

したがって f(x2k) が0でないのは x2k1 のときである。x0 だから、これは 0xk と同値である。この範囲では f(x2k)=x2k である。

まず 1k9 のとき、k3 である。よって03f(x2k)dx=0kx2kdx=1k[x33]0k=k3である。

次に k9 のとき、0x3 なら常に xk である。したがって積分区間全体で f(x2k)=x2k となり、03f(x2k)dx=03x2kdx=9kである。 k=9 ではどちらの式も 1 になり一致する。したがって03f(x2k)dx={k3(1k9),9k(k10)である。

総評

難度4、計算量3。目安時間は8〜12分。定義が分かれている関数を積分する問題で、まず x2k1 となる範囲を読むことがすべてである。x の積分範囲が [0,3] に制限されているので、実際には上限が k で止まるか、3まで進むかだけを分ければよい。k=9 は境界だが、2つの式が一致するためどちらに含めてもよい。答案では、入力 x2k が常に0以上であることを確認しておくと、定義の下側だけを見ればよい理由が明確になる。

冊子PDFで見る京大の積分の問題で問題集を作る

出典: 京都大学 2004年度 後期 文系 数学。問題文はHTML表示のために再入力・数式組版しています。