数学：証明は例示以上に何を示唆するのか？
導入済み| English | 意味 |
|---|---|
| conjecture/kənˈdʒektʃə/ | 仮説 |
| proof/pruːf/ | 証明 |
| induction/ɪnˈdʌkʃn/ | 帰納法 |
パターンが続くように見える
- 最初の奇数は1です；最初の2つの和は4です；最初の3つの和は9です。ある学生は「最初のn個の正の奇数の和は常にn²である」と主張する。
- 仮説は正当化を待っている提案された命題である。3つのケースをチェックすることはパターンを示唆するが、無限に多くの正の整数は未確認のまま残る。
主張とその適用範囲を述べる
- この主張は、すべての正の整数nと、1, 3, 5, …, 2n−1までのリストに関するものである。任意の奇数の集合に関するものではない。
- 証明は、明記された適用範囲を網羅する有効な理由の連鎖を提供する。一つの反例で普遍的主張を否定できるが、多くの成功事例だけでは自らによって確立されるわけではない。
和 1, 4 および 9 はそれぞれ何を立証するか？
難易度 1/5 · 100 コイン + 今日初回完了時に小ボーナス付与
有限の観察では全域をカバーできない。
次のケースがどのように導かれるかを説明する
- 最初のn個の正の奇数の和がn²であると仮定する。次の奇数は2n+1であり、したがって次の和はn²+2n+1=(n+1)²となる。この手順は任意の正の整数nに対して有効である。
- 開始ケースはn=1であり、そのときの和は1=1²である。そこから始めて一般のステップを適用することで、 successive な正の整数ケースがそれぞれ確立される。
2n−1 の次の奇数は何か？
難易度 1/5 · 100 コイン + 今日初回完了時に小ボーナス付与
連続する奇数の差は 2 である。
推論が前提としている点を検証する
- これは帰納法である：有効な初期ケースと、あるケースから次のケースへのステップの両方が必要である。ステップのみでは、連鎖が実際に始まることを保証できない。
- 代数学、項の定義、および定義域が正しいかを問う。計算ミスや初期系列の変更は、議論を無効にする可能性がある。
開始ケースが確立されていなくても、有効な帰納ステップで十分である。
難易度 1/5 · 100 コイン + 今日初回完了時に小ボーナス付与
一般的な移行には、連鎖が始まるための確立されたケースが必要である。
なぜ和 3+5+7=15 は反例ではないのか？
難易度 1/5 · 100 コイン + 今日初回完了時に小ボーナス付与
このリストは主張で指定されたリストと異なる。
証明と観察を公平に比較する
- 信頼の根拠は、テストした例の数ではなく、一般的な連鎖にある。いくつかの正方形の図式は概念を説明できるが、论证はなぜその構成が拡張可能かを示さなければならない。
- 数学的正当化と反復観察の検証の違いを問う。証明が仮定外の主張を確定させると結論づけたり、経験的テスト自体に価値がないと推測したりしてはならない。
証明の各部分をその役割と対応させる。
難易度 2/5 · 140 コイン + 今日初回完了時に小ボーナス付与
証明は、始点、移行、定義域を結びつける必要がある。
普遍的な主張を裏付ける根拠はどれか？
難易度 2/5 · 140 コイン + 今日初回完了時に小ボーナス付与
一般的な推論と有効な始点を組み合わせることで定義域が確立される。
n=1 のとき、和は 1 である。2n−1 までの和が n² であると仮定する。2n+1 を加えると、n²+2n+1 となり、これは (n+1)² に等しい。初期ケースと一般的な遷移により、正の整数すべてについて主張が成立する。リスト 3,5,7 の和は 15 であり、9 ではない。なぜなら、それは 1 から始まらないからである。異なるリストは元の主張の外側にあるものであり、反証ではない。
n=100での成功した計算機による検証を、一般的な遷移の代わりとして使用しない。それはただもう一つのケースを検証するだけである。
定義域を明記し、初期ケースを正当化し、有効な一般的なステップを確立せよ。結果として得られる証明が具体的に何をカバーするかを説明せよ。