以下の漸化式で与えられる数列${a_n},{b_n}$を考える。ただし、$n$は非負整数であるとし、${a_n}$の初項は$a_0=1$とする。
$\displaystyle a_{n+1}=\sum_{k=0}^na_ka_{n-k} , \displaystyle b_{n+1}=\sum_{k=0}^n (k+1)a_ka_{n-k}$
(1)$b_n$を$a_n$で表わせ。
(2)$\displaystyle a_{n+1}=\frac{2(2n+1)}{n+2}a_n$を証明せよ。
(3)それぞれの数列の一般項$a_n,b_n$を求めよ。
(4)$\displaystyle \lim_{n \to \infty} \sqrt[n]{a_n}$を求めよ。ただし$\displaystyle\lim_{n \to \infty} \frac{\log n}{n}=\lim_{n \to \infty} \frac{\log(n+1)}{n}=0$を証明無しで用いても良い。
(4)の答えを半角数字またはTeXで入力してください。
(1)~(3)についてはお手持ちの紙に解答し、解説を確認ください。
(1)$1+2+3+……+100$を解いたガウスの方法を踏襲してみましょう。
(2)数学的帰納法です。$b_n$はこのために必要だったわけです。
(3)まあ積の形なので楽勝でしょうか。
(4)(3)の結果を代入し、挟み撃ちで求めましょう。必要に応じて$\log$を取ると良いでしょう。
この問題を解いた人はこんな問題も解いています