数列 $\{a_n\}$ が、$a_1 = 1$ と漸化式 $na_{n+1} = 2\sum_{k=1}^{n} a_k$ ($n = 1, 2, 3, \dots$) によって定められているとき、一般項 $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, \dots) によって定められているとき、一般項 ana_n を求める。

2. 解き方の手順

まず、与えられた漸化式から an+1a_{n+1}ana_n の関係を導き出す。
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 (n2n \ge 2) ...(2)
(1) - (2) より、
nan+1(n1)an=2anna_{n+1} - (n-1)a_n = 2a_n (n2n \ge 2)
nan+1=(n+1)anna_{n+1} = (n+1)a_n (n2n \ge 2)
an+1=n+1nana_{n+1} = \frac{n+1}{n} a_n (n2n \ge 2)
したがって、 an+1=n+1nana_{n+1} = \frac{n+1}{n} a_n という漸化式が得られた。
ここで、 a1=1a_1 = 1 である。
n=1n=1 のとき、a2=21a1=2a_2 = \frac{2}{1}a_1 = 2
n=2n=2 のとき、a3=32a2=32×2=3a_3 = \frac{3}{2}a_2 = \frac{3}{2} \times 2 = 3
n=3n=3 のとき、a4=43a3=43×3=4a_4 = \frac{4}{3}a_3 = \frac{4}{3} \times 3 = 4
このことから、an=na_n = n (n1n \ge 1) と推測できる。
次に、数学的帰納法で証明する。
(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 のとき、ak+1=k+1kak=k+1k×k=k+1a_{k+1} = \frac{k+1}{k} a_k = \frac{k+1}{k} \times k = k+1
したがって、n=k+1n=k+1 のときも、an=na_n = n が成り立つ。
(i), (ii) より、すべての自然数 nn に対して、an=na_n = n が成り立つ。

3. 最終的な答え

an=na_n = n