数列 $\{a_n\}$ が次の条件で定められているとき、第 $n$ 項 $a_n$ を求める問題です。 $a_1 = 1$ $na_{n+1} = 2 \sum_{k=1}^{n} a_k \quad (n=1, 2, 3, \dots)$

代数学数列漸化式
2025/3/30

1. 問題の内容

数列 {an}\{a_n\} が次の条件で定められているとき、第 nnana_n を求める問題です。
a1=1a_1 = 1
nan+1=2k=1nak(n=1,2,3,)na_{n+1} = 2 \sum_{k=1}^{n} a_k \quad (n=1, 2, 3, \dots)

2. 解き方の手順

まず、n2n \geq 2 のとき、
(n1)an=2k=1n1ak(n-1)a_n = 2 \sum_{k=1}^{n-1} a_k
が成り立ちます。与えられた漸化式からこの式を引くと、
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
となります。これは n2n \geq 2 で成り立つ漸化式です。
a2a_2 は、与えられた漸化式で n=1n=1 とすると、
1a2=2k=11ak=2a1=21=21 \cdot a_2 = 2 \sum_{k=1}^{1} a_k = 2a_1 = 2 \cdot 1 = 2
より、a2=2a_2 = 2 です。
n2n \geq 2 のとき、
an=nn1an1=nn1n1n2an2==nn1n1n232a2=n2a2=n22=na_n = \frac{n}{n-1}a_{n-1} = \frac{n}{n-1} \cdot \frac{n-1}{n-2}a_{n-2} = \dots = \frac{n}{n-1} \cdot \frac{n-1}{n-2} \cdots \frac{3}{2} a_2 = \frac{n}{2} a_2 = \frac{n}{2} \cdot 2 = n
となります。
n=1n=1 のとき、a1=1a_1 = 1 なので、これは an=na_n = n に含まれます。

3. 最終的な答え

an=na_n = n