[math][東京医科歯科大学][数列][微分]1995年東京医科歯科大学数学問題2

Table of Contents

問題

多項式の列$f_0(x), f_1(x), \cdots, f_n(x), \cdots$を次のように定める。$$f_0(x) = 1, f_n(x) = x(f_{n-1}(x)+\frac{d}{dx}f_{n-1}(x))\ \ (n\geq 1)$$また$f_n(x)$の$x^i$の係数を$a(n, i)$とおく$(i = 0, 1, \cdots)$。
$(1)$ $f_1(x), f_2(x), f_3(x), f_4(x)$を求めよ。
$(2)$ $a(n, i)$を$a(n-1, i-1)$と$a(n-1, i)$を用いて表わせ$(1\leq i\leq n)$。
$(3)$ $a(n, n-1)$を$n$を用いて表わせ$(n\geq 1)$。
$(4)$ $a(n, n-2)$を$n$を用いて表わせ$(n\geq 2)$。

方針

まずは計算してみる。

解答

$(1)$ 与えられた漸化式から、$$\begin{eqnarray}x & = & x(1+0)\\ & = & \underline{x}\\ f_2(x) & = & x(x+1)\\ & = & \underline{x^2+x}\\ f_3(x) & = & x(x^2+x+2x+1)\\ & = & \underline{x^3+3x^2+x}\\ f_4(x) & = & x(x^3+3x^2+x+3x^2+6x+1)\\ & = & \underline{x^4+6x^3+7x^2+x}\end{eqnarray}$$となる。

$(2)$ 最初に$f_n(x)$が$n$次式で、定数項が$0$であることを示す。定数項が$0$であることは、$f_n(x) = x(\cdots)$の形から明らか。$f_0(x)$は$0$次式で、$f_n(x)$が$n$次式であることを仮定すると、$f_{n+1}(x) = x(n)$次式$+(n-1)$次式$ = n+1$次式となるから、帰納的に$f_n(x)$が$n$次式であることが言える。したがって、$\displaystyle \sum_{i=1}^{n}{a(n, i)x^i}\ \ (n\geq 0)$と置ける。これと、$n\geq 1$のとき$$\begin{eqnarray}f_n(x) & = & x(f_{n-1}(x)+\frac{d}{dx}f_{n-1}(x))\\ & = & \sum_{i=1}^{n-1}{a(n-1, i)x^{i+1}}+\sum_{i=1}^{n-1}{ia(n-1, i)x^i} \\ & = & \sum_{i=1}^{n}{(a(n-1, i-1)+ia(n-1, i))x^i}\end{eqnarray}$$であることから、$\underline{a(n, i) = a(n-1, i-1)+ia(n-1, i)\ \ (1\leq i\leq n)}$であることがわかる。ただし、$a(n-1, 0) = 0$であることや、$a(n-1, n)$などといった意味のなさないものは$0$としていることに注意する。

$(3)$ $(2)$の帰納法と同じようにして、$a(n, n) = 1$であることがわかる。$(2)$の結果で$i = n-1$として、$$\begin{eqnarray}a(n, n-1) & = & a(n-1, n-2) + (n-1)a(n-1, n-1)\\ & = & a(n-1, n-2) + (n-1)\ \ (n\geq 2)\end{eqnarray}$$である。$a(n, n-1) = b_n$とすると、$$b_n = b_{n-1}+n-1, b_1 = a(1, 0) = 0\ \ (n\geq 2)$$である。これから、$$\begin{eqnarray}b_n & = & \sum_{k = 2}^{n}{(k-1)}+b_1\\ & = & \sum_{k=1}^{n-1}{k} + 0\\ & = & \underline{\frac{n(n-1)}{2}\ \ (n\geq 2)}\end{eqnarray}$$である。$a(1, 0)= 0$であるからこの式は$n = 1$でも成り立つ。

$(4)$ $(2)$の結果で$i = n-2$として、$$\begin{eqnarray}a(n, n-2) & = & a(n-1, n-3) + (n-2)a(n-1, n-2)\\ & = & a(n-1, n-3) + (n-2)\cdot \frac{(n-1)(n-2)}{2}\\ & = & a(n-1, n-3) + \frac{(n-1)(n-2)^2}{2}\ \ (n\geq 3)\end{eqnarray}$$である。$c_n = a(n, n-2)$と置くと、$$c_n = c_{n-1} + \frac{(n-1)(n-2)^2}{2}, c_2 = a(2, 0) = 0\ \ (n\geq 3)$$である。これから、$$\begin{eqnarray}c_n & = & \sum_{k=3}^{n}{\frac{(k-1)(k-2)^2}{2}}+c_2\\ & = & \frac{1}{2}\sum_{k=2}^{n-1}{k(k-1)^2}\\ & = & \frac{1}{2}\sum_{k=1}^{n-1}{((k-1)+1)(k-1)^2}\\ & = & \frac{1}{2}\sum_{k=1}^{n-1}{(k-1)^3}+\frac{1}{2}\sum_{k=1}^{n-1}{(k-1)^2}\\ & = & \frac{1}{2}\sum_{k=1}^{n-2}{k^3} + \frac{1}{2}\sum_{k=1}^{n-2}{k^2}\\ & = & \frac{1}{2}\cdot \left(\frac{(n-2)(n-1)}{2}\right)^2+\frac{1}{2}\cdot \frac{(n-2)(n-1)(2n-3)}{6}\\ & = & \frac{(n-2)(n-1)}{24}\left(3(n-2)(n-1)+2(2n-3)\right)\\ & = & \underline{\frac{n(n-1)(n-2)(3n-5)}{24}\ \ (n\geq 3})\end{eqnarray}$$となる。$a(2, 0) = 0$であるから、この式は$n = 2$でも成り立つ。

解説

$(1)$ 問題の様子を確認してください、という問題。ここで間違えると後で響くので、多少時間をかけても慎重に計算すると良い。

$(2)$ やっていることは難しくはないが。細かい部分の話は省略しても減点にはならないだろうが、シグマ記号を使わず紙にバーっと書いてしまって係数を比較したほうが楽かもしれない。

$(3)$ $a(n, n) = 1$に気がつく必要がある。$(1)$ がキチンと解けていればすぐに気がつく。$b_n$と$b_{n-1}$の関係式を出した後の処理も問題ないだろう。

$(4)$ これも$(3)$とやることは同じである。メインは$$c_n = c_{n-1}+\frac{(n-1)(n-2)^2}{2}, c_2 = 0\ \ (n\geq 3)$$の処理の部分になる。いきなり展開してバラバラにせずに、固まりで捉えられる部分は固まりのまま計算する。高レベルの受験生の集まる大学ではこういった処理をきちんと行って最後まで正しく計算が進められるかどうかで得点に差が出てくる。展開してからシグマ計算しようとした受験生は、心に留めておくと良い。