初項 $a_1=1$ であり、$na_{n+1}=2\sum_{k=1}^n a_k$ (n=1, 2, 3, ...) で定義される数列 ${a_n}$ の第 n 項 $a_n$ を求める。

代数学数列漸化式シグマ数学的帰納法
2025/3/30

1. 問題の内容

初項 a1=1a_1=1 であり、nan+1=2k=1nakna_{n+1}=2\sum_{k=1}^n a_k (n=1, 2, 3, ...) で定義される数列 an{a_n} の第 n 項 ana_n を求める。

2. 解き方の手順

nan+1=2k=1nakna_{n+1}=2\sum_{k=1}^n a_k ...(1)
(n1)an=2k=1n1ak(n-1)a_n=2\sum_{k=1}^{n-1} a_k ...(2) (n >= 2)
(1)-(2) より (n >= 2)
nan+1(n1)an=2k=1nak2k=1n1ak=2anna_{n+1} - (n-1)a_n = 2\sum_{k=1}^n a_k - 2\sum_{k=1}^{n-1} a_k = 2a_n
nan+1=(n1)an+2an=(n+1)anna_{n+1} = (n-1)a_n + 2a_n = (n+1)a_n
an+1=n+1nana_{n+1} = \frac{n+1}{n}a_n
したがって、
an=nn1an1=nn1n1n2an2=...=nn1n1n2...3221a1a_n = \frac{n}{n-1}a_{n-1} = \frac{n}{n-1}\frac{n-1}{n-2}a_{n-2} = ... = \frac{n}{n-1}\frac{n-1}{n-2}...\frac{3}{2}\frac{2}{1}a_1
an=na1=na_n = na_1 = n
ここで n=1 のとき a1=1a_1=1 なので、上の式は n=1 でも成り立つ。

3. 最終的な答え

an=na_n = n