数列 $\{a_n\}$ が与えられた漸化式 $a_1=1$, $na_{n+1} = 2\sum_{k=1}^{n} a_k$ ($n=1, 2, 3, ...$) によって定義されているとき、第 $n$ 項 $a_n$ を求める問題です。

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

1. 問題の内容

数列 {an}\{a_n\} が与えられた漸化式 a1=1a_1=1, nan+1=2k=1nakna_{n+1} = 2\sum_{k=1}^{n} a_k (n=1,2,3,...n=1, 2, 3, ...) によって定義されているとき、第 nnana_n を求める問題です。

2. 解き方の手順

まず、与えられた漸化式を書き下します。
nan+1=2k=1nakna_{n+1} = 2\sum_{k=1}^{n} a_k
次に、nnn1n-1 に置き換えた式を求めます。(ただし n2n \ge 2
(n1)an=2k=1n1ak(n-1)a_n = 2\sum_{k=1}^{n-1} a_k
最初の式から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+2anna_{n+1} = (n-1)a_n + 2a_n
nan+1=(n+1)anna_{n+1} = (n+1)a_n
したがって、an+1=n+1nana_{n+1} = \frac{n+1}{n} a_n となります。
これから、ana_n を求めます。n2n \ge 2 に対して、
an=nn1an1=nn1n1n2an2==nn1n1n221a1=na1=na_n = \frac{n}{n-1} a_{n-1} = \frac{n}{n-1} \cdot \frac{n-1}{n-2} a_{n-2} = \cdots = \frac{n}{n-1} \cdot \frac{n-1}{n-2} \cdots \frac{2}{1} a_1 = n a_1 = n
an=na_n = n が予想されるので、これが正しいことを数学的帰納法で証明します。
(i) n=1n=1 のとき、a1=1a_1 = 1 であり、an=na_n = n を満たします。
(ii) n=kn=k のとき、ak=ka_k = k であると仮定します。
n=k+1n=k+1 のとき、kak+1=2i=1kai=2i=1ki=2k(k+1)2=k(k+1)ka_{k+1} = 2\sum_{i=1}^{k} a_i = 2\sum_{i=1}^{k} i = 2 \cdot \frac{k(k+1)}{2} = k(k+1)
ak+1=k(k+1)k=k+1a_{k+1} = \frac{k(k+1)}{k} = k+1
したがって、n=k+1n=k+1 のときも ak+1=k+1a_{k+1} = k+1 が成り立ちます。
したがって、数学的帰納法により、an=na_n = n がすべての自然数 nn について成り立ちます。

3. 最終的な答え

an=na_n = n