[math]1978年東京大学理系数学問題4

Table of Contents

問題

行列 $A = (\begin{matrix} \frac{1}{3} & 5 \\ 0 & 3 \end{matrix})$ に対し、次の問いに答えよ。
任意の整数 $n > 0$ に対して、 $A^{n}$ を数学的帰納法によって求めよ。また、与えられた $(\begin{matrix} a \\ b \end{matrix})$ に対し $A^{n} (\begin{matrix} a \\ b \end{matrix}) = (\begin{matrix} a_{n} \\ b_{n} \end{matrix})$ とおくとき、極限 $u = lim_{n \to \infty} \frac{a_{n}}{\sqrt{{a_{n}}^{2} + {b_{n}}^{2}}}, v = lim_{n \to \infty} \frac{b_{n}}{\sqrt{{a_{n}}^{2} + {b_{n}}^{2}}}$ を求めよ。ただし、 $(\begin{matrix} a \\ b \end{matrix}) \neq (\begin{matrix} 0 \\ 0 \end{matrix})$ とする。

方針

予想して帰納法で・・・。

解答

$A^{n} = (\begin{matrix} \frac{1}{3^{n}} & x_{n} \\ 0 & 3^{n} \end{matrix})$ であることを数学的帰納法で示す。ただし、 $x_{n} = \frac{15}{8} (3^{n} - \frac{1}{3^{n}})$ である。 $x_{1} = 5$ であるから $n = 1$ のときに正しい。ある $n$ で正しいと仮定すると、 $\begin{array}{rcl} A^{n + 1} & = & (\begin{array}{c} \frac{1}{3^{n}} & x_{n} \\ 0 & 3^{n} \end{array}) (\begin{array}{c} \frac{1}{3} & 5 \\ 0 & 3 \end{array}) \\ = & (\begin{array}{c} \frac{1}{3^{n + 1}} & \frac{5}{3^{n}} + 3 x_{n} \\ 0 & 3^{n + 1} \end{array}) \\ = & (\begin{array}{c} \frac{1}{3^{n + 1}} & x_{n + 1} \\ 0 & 3^{n + 1} \end{array}) \end{array}$ となり、 $n + 1$ でも正しい。数学的帰納法によって、 $\underset{―}{A^{n} = (\begin{matrix} \frac{1}{3^{n}} & \frac{15}{8} (3^{n} - \frac{1}{3^{n}}) \\ 0 & 3^{n} \end{matrix})}$ となる。

これから、 $a_{n} = \frac{15 b}{8} \cdot 3^{n} + (a - \frac{15 b}{8}) \frac{1}{3^{n}}, b_{n} = 3^{n} b$ である。
$(i)$ $b = 0$ のとき、 $a \neq 0$ で、 $a_{n} = \frac{a}{3^{n}}, b_{n} = 0$ となるので、 $\begin{array}{rcl} \frac{a_{n}}{\sqrt{{a_{n}}^{2} + {b_{n}}^{2}}} & = & 1 \\ \frac{b_{n}}{\sqrt{{a_{n}}^{2} + {b_{n}}^{2}}} & = & 0 \end{array}$ となる。よって、 $\underset{―}{u = 1, v = 0}$ である。
$(i i)$ $b \neq 0$ のとき、 $lim_{n \to \infty} \frac{a_{n}}{b_{n}} = \frac{15}{8}$ である。これから、 $c_{n} = \frac{a_{n}}{b_{n}}$ と置いて、 $\begin{array}{rcl} \frac{a_{n}}{\sqrt{{a_{n}}^{2} + {b_{n}}^{2}}} & = & \frac{c_{n}}{\sqrt{1 + {c_{n}}^{2}}} \\ \frac{b_{n}}{\sqrt{{a_{n}}^{2} + {b_{n}}^{2}}} & = & \frac{1}{\sqrt{1 + {c_{n}}^{2}}} \end{array}$ と変形して、 $\underset{―}{u = \frac{15}{17}, v = \frac{8}{17}}$ となる。

解説

解答の $x_{n}$ についてだが、次のように推測している。まず、 $A^{1}, A^{2}, \dots$ と求めていくと $A^{n} = (\begin{matrix} \frac{1}{3^{n}} & x_{n} \\ 0 & 3^{n} \end{matrix})$ の形になる事が推測される。 $x_{n}$ はすぐには分からないので漸化式を立てる。 $A^{n + 1} = A^{n} \cdot A$ だから、 $\begin{array}{rcl} (\begin{array}{c} \frac{1}{3^{n + 1}} & x_{n + 1} \\ 0 & 3^{n + 1} \end{array}) & = & (\begin{array}{c} \frac{1}{3^{n}} & x_{n} \\ 0 & 3^{n} \end{array}) (\begin{array}{c} \frac{1}{3} & 5 \\ 0 & 3 \end{array}) \\ = & (\begin{array}{c} \frac{1}{3^{n + 1}} & \frac{5}{3^{n}} + 3 x_{n} \\ 0 & 3^{n + 1} \end{array}) \end{array}$ となり、 $x_{n + 1} = \frac{5}{3^{n}} + 3 x_{n}$ となる。 $x_{1} = 5$ であるが、両辺に $3^{n}$ を掛けてから、 $y_{n} = 3^{n} x_{n}$ とすると、 $\frac{y_{n + 1}}{3} = 5 + 3 y_{n}, y_{1} = 15$ となる。これを解くことは難しくない。以上のことを解答では省略しており、また実際の試験で解答を作成する際にも記述する必要はない。が、部分点をえるという意味でも記述は残しておいて損をすることは無いだろう。極限は $b$ が $0$ になるかどうかで状況が異なる。この手のタイプの問題では場合分けが生じることが多いので、慌てて答えを出したものは頭に入れておくと良い。