数列 \(\{ a _ n \} , \{ b _ n \}\) を次のように定義する. \[ \left\{ \begin{array}{ll} a _ 1 =5 , \ b _ 1 =3 , & \\ \left( \begin{array}{c} a _ {n+1} \\ b _ {n+1} \end{array} \right) = \left( \begin{array}{cc} 5 & 3 \\ 3 & 5 \end{array} \right) \left( \begin{array}{c} a _ n \\ b _ n \end{array} \right) & (n=1, 2, 3, \cdots ) \end{array} \right. \] また, 自然数 \(n\) について \(c _ n ={a _ n}^2 -{b _ n}^2\) とおく. このとき以下の各問いに答えよ.
(1) \(c _ n\) を \(n\) を用いて表せ.
(2) \(k\) を自然数とするとき, 自然数 \(\ell\) について \[ a _ {k+\ell} =a _ k a _ {\ell} +b _ k b _ {\ell} , \ b _ {k+\ell} =b _ k a _ {\ell} +a _ k b _ {\ell} \] が成立することを, \(\ell\) に関する数学的帰納法によって示せ.
(3) \(n \gt \ell\) となる自然数 \(n , \ell\) について \[ b _ {n+\ell} -c _ {\ell} b _ {n-\ell} = 2a _ n b _ {\ell} \] が成立することを示せ.
(4) \(2\) 以上の自然数 \(n\) について \[ a _ {2n} +\textstyle\sum\limits _ {m=1}^{n-1} c _ {n-m} a _ {2m} =\dfrac{b _ {2n+1}}{2b _ 1} -\dfrac{c _ n}{2} \] が成立することを示せ.
続きを読む