第3問
(1) 数列 {pn} は次を満たすとする。
p1=3,pn+1=31pn+1 (n=1,2,3,⋯)…①
数列 {pn} の一般項と,初項から第 n 項までの和を求めよう。まず,①から
pn+1− イ ア =31(pn− イ ア ) (n=1,2,3,⋯)
となるので,数列 {pn} の一般項は
pn= ウ ⋅ エ n−21+ カ オ
である。したがって,自然数 n に対して
k=1∑npk= ク キ (1− ケ n1)+ サ コ n
である。
(2) 正の数からなる数列 {an} は,初項から第 3 項が a1=3,a2=3,a3=3 であり,すべての自然数 n に対して
an+3=an+2an+an+1…②
を満たすとする。また,数列 {bn},{cn} を,自然数 n に対して,bn=a2n−1,cn=a2n で定める。数列 {bn},{cn} の一般項を求めよう。まず,②から
a4=a3a1+a2= シ ,a5=3,a6= セ ス ,a7=3
である。したがって,b1=b2=b3=b4=3 となるので
bn=3 (n=1,2,3,⋯)…③
と推定できる。
③を示すためには,b1=3 から,すべての自然数 n に対して
bn+1=bn…④
であることを示せばよい。このことを「まず,n=1 のとき④が成り立つことを示し,次に,n=k のとき④が成り立つと仮定すると,n=k+1 のときも④が成り立つことを示す方法」を用いて証明しよう。この方法を ソ という。 ソ に当てはまるものを,次の⓪~③のうちから一つ選べ。
⓪ 組立除法 ① 弧度法
② 数学的帰納法 ③ 背理法
[I] n=1 のとき,b1=3,b2=3 であることから④は成り立つ。
[II] n=k のとき,④が成り立つ,すなわち
bk+1=bk…⑤
と仮定する。n=k+1 のとき,②の n に 2k を代入して得られる等式と,2k−1 を代入して得られる等式から
bk+2= チ k+1ck+ タ k+1,ck+1= テ k+1 ツ k+ck
となるので,bk+2 は
bn+2=bk+ck( ト k+ ナ k+1) ニ k+1
と表される。したがって,⑤により,bk+2=bk+1 が成り立つので,④は n=k+1 のときにも成り立つ。
[I],[II] により,すべての自然数 n に対して④の成り立つことが証明された。したがって,③が成り立つので,数列 {bn} の一般項は bn=3 である。
次に,②の n を 2n−1 に置き換えて得られる等式と③から
cn+1=31cn+1 (n=1,2,3,⋯)
となり,c1= ヌ であることと①から,数列 {cn} の一般項は,(1)で求めた数列 {pn} の一般項と等しくなることがわかる。
解答・解説
ア,イ 3,2 ウ,エ 2,3 オ,カ 3,2
キ,ク,ケ 9,4,3 コ,サ 3,2 シ 2
ス,セ 5,3 ソ 2 タ,チ b,c
ツ,テ b,b ト,ナ,ニ c,b,b ヌ 3
(1)
特性方程式を用いて一般項を求めればよい。
α=31α+1 とおいて①から引くと
pn+1−α=31(pn−α)
α を求めると
α=31α+1
32α=1
α=23
よって
pn+1−23=31(pn−23)
ここで qn=pn−23 とおくと
qn+1=31qn
初項を求めると
q1=p1−23=3−23=23
{qn} は初項 23,公比 31 の等比数列だから,一般項を求めると
qn=23(31)n−1
pn−23=23(31)n−1
pn=23(31)n−1+23
=23⋅3n−11+23
=2⋅3n−21+23
k=1∑npk=k=1∑n2⋅3n−21+23
ここで 2⋅3n−21=23(31)n−1 だから,等比数列の和を求めればよい。
k=1∑npk=1−3123{1−(31)n}+23n
=3223(1−3n1)+23n
ここで 3223 は
32×323×3=229=2×229×2=49
となるので
=49(1−3n1)+23n
(2)
a4=a3a1+a2=33+3=2
a6=a5a3+a4=33+2=35
問題文のような証明を数学的帰納法という。
②の n を 2k に置き換えると
a2k+3=a2k+2a2k+a2k+1
ここで
bn+1=a2(n+1)−1=a2n+1
bn+2=a2(n+2)−1=a2n+3
cn+1=a2(n+1)=a2n+2
だから
bk+2=ck+1ck+bk+1
また n を 2k−1 に置き換えると
a2k−1+3=a2k−1+2a2k−1+a2k−1+1
22k+2=a2k+1a2k−1+a2k
ck+1=bk+1bk+ck
これを bk+2 に代入すると
bk+2=bk+1bk+ckck+bk+1
=bk+ck(ck+bk+1)bk+1
また
c1=a2=3
関連