香要 例題141 nskの仮定
(a」+az+……+an)=a°+a2+……+a?
針>自然数nの問題であるから, 数学的帰納法で証明する。
り立つことを仮定していないこととなり, ② が作れなくなってしまう。 したがって, nSk
1, [2] から,すべての自然数nに対して an=nは成り立つ。
検討) nSkのときを仮定する数学的帰納法-
|数列 {an}(ただし an>0) について, 関係式
となるが,「n==kのとき成り立つ」 と仮定した場合, as-i=k-1, a-z=k-2, -…… が成
剤 (an) (ただし an>0)について, 関係式
597
OOO00
n
n=k+1のときを書き出すと
(1+2+…+k+ah+1)=D1°+2°+…+紀+a.?
の仮定が必要。
そこで,次の[1], [2] を示す数学的帰納法を利用。
[1] n=1のとき成り立つ。
[21 nSkのとき成り立つと仮定すると, n=k+1のときも成り立つ。
*せもてなせ?
CHART 数学的帰納法 nSkで成立を仮定する場合あり
解答
] n=1のとき, a?=a°, a>0から
ゆえに, n=1のとき an=nは成り立つ。
12] n<kのとき,an=nが成り立つと仮定する。
n=k+1 のときを考えると
{(1+2+……+k)+ak+1}°=1°+2°+…+ポ+ah+i
(Dの左辺)=(1+2+…+k)°+2(1+2+……+k)as+s+as+
Q=1
4n=1のときの証明。
4nSkの仮定。
4n=k+1のときの証明。
0
-(+1) +2は+1)autaw}
k(k+1)ak+1+ak+"=Qk+i°
ak+1(ah+1+k){ax+1一(R+1)}=0
0の右辺と比較して
ゆえに
4+1>0であるから
ak+1=k+1
)nSkのときを仮定する数学的帰納法
=2(aan taan-1t……+a:a) で定められる数
ことを証明せよ。
