イントロ
漸化式で予想し帰納法で確かめる
予想を証明へつなげる
漸化式から項を並べると、一般項を予想できることがあります。ただし予想だけでは証明ではありません。初期条件と更新ルールの両方に合うことを、数学的帰納法で確かめます。
上下にスクロールするかキーボードの上下キーを使うと、次の学習カードへ進めます。
予想を証明へつなげる
漸化式から項を並べると、一般項を予想できることがあります。ただし予想だけでは証明ではありません。初期条件と更新ルールの両方に合うことを、数学的帰納法で確かめます。
漸化式から最初の項を並べる
一般項の形を予想する
n=1で予想式を確認する
n=kで成り立つと仮定する
漸化式でn=k+1を示す
予想式を証明するときは、見つけた理由と証明を混ぜすぎないようにします。まず予想を置き、そのあと帰納法の2段階で確認します。
最初の数項から式を予想する
n=1で初期条件に合うか見る
n=kを仮定して漸化式へ入れる
n=k+1の予想式に一致させる
1,3,7,15,... から形を見ます。予想式は、必ず漸化式へ戻して確かめます。
漸化式
a1=1, an+1=2an+1
前の項を2倍して1を足す数列です。帰納段階では、この更新式に仮定した一般項を代入します。
まず項を並べます。
予想
an=2n-1
最初の項に合う一般項の候補です。候補なので、すべてのnで正しいことはまだ言えていません。
まだ証明ではありません。
予想式を、帰納法で漸化式に戻して確かめます。初期条件と更新式の両方に合うことを示します。
漸化式で出た予想は、初期条件と更新ルールの両方に合うかを見ます。どちらか片方だけでは、元の数列と同じだとは言えません。
n=1で初期条件に合う
n=kを仮定する
漸化式でk+1へ進む
予想式のk+1の形になる
| 方法 | 分かること |
|---|---|
| 予想 | 式の候補が見えるが、まだ全体の証明ではない |
| 有限個の確認 | その範囲では合うが、次へ続く理由は未確認 |
| 数学的帰納法 | 初期条件と更新式を使ってすべての自然数へ広げる |
方法予想
方法有限個の確認
方法数学的帰納法
自然数全体を示すなら、予想から証明へ進めます。有限個の確認と、すべての場合の証明を区別します。
最初の4項に合う一般項を見つけた後、すべての自然数で示すには何をしますか。
漸化式から一般項を予想できる
予想だけでは証明ではない
初期条件に合うか見る
漸化式に代入して次の項を作る
帰納法で更新ルールに合うか確かめる