漸化式と数学的帰納法

数列は,初項の値と隣り合う2項間の関係がわかっていれば, 順々にして全ての項の値を定義することができる. このような数列の定義の仕方を帰納的に定義するといい, 隣り合う二項間の関係式のことを(隣接2項間)漸化式という.
ここでは,上のように漸化式を定義し, 自然数\(n\)に対しての命題\(P(n)\)が全ての自然数\(n\)に対して成り立つ ことを示すための方法である数学的帰納法についても紹介する.


PDF