関数 $f(x)$ を $f(x)=4x(1-x)$ で定義し、数列 $ \{ x_n \} $ $(n=1,2\dots)$ を、
$$
x_1=\sin^2{1}=0.708073418...,\ \ x_{n+1} = f(x_n) \ \ (n=1,2,...)
$$
で定める。このとき、 極限値 $\displaystyle \lim_{n \to \infty} \frac{1}{n}\sum_{k=1}^n \log|f'(x_k)|$ を求めよ。
注: 角度の単位はラジアンを用いる。 $\log$ は自然対数を表すものとする。また、$\pi$ が無理数であることは認めてよい。
求めた極限値を小数で表し、絶対値の小数第4位を四捨五入したものに、必要ならば負号をつけて答えよ。すべて半角で入力すること。
例1: $2\pi = 6.2831...$と解答する場合には、「6.283」と入力せよ。
例2: $-\pi = -3.1415...$と解答する場合には、「-3.142」と入力せよ。
また、必要なら以下の自然対数の値を用いよ。
$\log2 = 0.6931..., \log3=1.0986... ,\log7 =1.9459...$
まず $x_2= \sin^2{2}$ を示してみよ。$\sin$ の倍角公式が使えるはずである。
$ \{ x_n \} $ の一般項が $x_n= \sin^2(2^{n-1})$ で表せることを示し、極限計算に用いよ。
なお、$\pi$ が無理数であることから、すべての $n$ に対し $x_n\not= \frac{1}{2}$ であることがわかる。
$\sin$ の倍角公式を繰り返し用いて
$$
\begin{eqnarray}
\sin{2^n}&=&2\sin{(2^{n-1})}\cos{(2^{n-1})}\\
&=&4\sin{(2^{n-2})} \{\cos{(2^{n-2})} \cos{(2^{n-1})}\} \\
&=&8\sin{(2^{n-3})} \{\cos{(2^{n-3})} \cos{(2^{n-2})} \cos{(2^{n-1})}\} \\
&&......
\end{eqnarray}
$$
と計算できることを用いよ。$\{\}$ の中身が極限値を求める計算に現れるはずである。
この問題を解いた人はこんな問題も解いています