数学的帰納法というのは、
① 最初が成り立つ
② 一個前が成り立てば、次のも成り立つ
この①と②が同時に言えれば、
最初が成り立てば次のもの成り立つ。次のも成り立てば、その次のも成り立つ。更に・・・
で最終的に全てのことについて成り立つ。
というものですよね?
気になるのは②です。
実際に示すのは「次のも成り立つ」の部分ですが、この時、「一個前が成り立ば」の部分は仮定の話で
実際には一個前が成り立っているかどうかは示さないじゃないですか。
じゃあ一個前が成り立っていなかったらどうするんですか?
一個前が成り立っていないのに、次のは成り立っている場合、論理がおかしくなるじゃないですか。
一個前が成り立っていることも仮定じゃなくて、ちゃんと示さないといけないのではないのですか?
(以下、独り言)
あれかなー、n=k+1が成り立つというのは、n=kが成り立っていることが前提なので、
n=kが成り立っていないなら、n=k+1も成り立たず、結果的にその命題に関しては
数学的帰納法は使えないということかな。
A 回答 (8件)
- 最新から表示
- 回答順に表示
No.8
- 回答日時:
Σ_{k=1~n}k=n(n+1)/2
の数学的帰納法による証明
P(n)=[Σ_{k=1~n}k=n(n+1)/2]
とする
P(1)=[Σ_{k=1~1}k=1=1(1+1)/2]
が成り立つ
ある自然数nに対してP(n)が成り立つと仮定すると
Σ_{k=1~n}k=n(n+1)/2
↓両辺にn+1を加えると
Σ_{k=1~n+1}k=n+1+n(n+1)/2
Σ_{k=1~n+1}k=(n+1)(n+2)/2
だから
P(n+1)=[Σ_{k=1~n+1}k=(n+1)(n+2)/2]
が成り立つ
から
すべての自然数nに対して
Σ_{k=1~n}k=n(n+1)/2
が成り立つ
No.7
- 回答日時:
>一個前が成り立っていなかったらどうする
どうもしません。ただ仮定しているだけですから、成り立っている場合しか考慮に入れません。
>一個前が成り立っていないのに、次のは成り立っている場合、論理がおかしくなる
なりますけど、なんとしても成り立っている場合しか考えないからいいのです。
実際には
>
① 最初が成り立つ
② 一個前が成り立てば、次のも成り立つ
過程において、最初が成り立っていることを照明できているから、その次もそれを過程でなく事実として使えるわけだから、2番目も成り立っていることが証明でき、そうすると3番目4番目・・・・・n番目・・・・・・・・∞番目すべて成り立つという将棋倒しの理論になります。
No.6
- 回答日時:
①n=1で成り立つ(最初が1で無くても良いが・・・)
②n=kで成り立つならn=k+1で成り立つ
組み合わせれば
n=1で成り立つ。
n=1で成り立つならn=2で成り立つ
n=2で成り立つならn=3で成り立つ
これを無限に続けられるから
nが1以上の全ての整数で成り立っ。
簡単明瞭だと思う。
No.5
- 回答日時:
数学的帰納法自体は、正しいとか理屈が通るとか
そういうもんではなくて、単に自然数の定義の一部です。
その是非を問うてもしかたがない。
すなおに成り立つもんだと思って使うか、
世の中の他人とは定義の違う自然数を使うことを覚悟するか...
どちらかを選ばなければなりません。
No.4
- 回答日時:
数学的帰納法というのは、
①P(1)が成り立つ
②ある自然数nに対して,P(n)が成り立てば,P(n+1)も成り立つ
この①と②が同時に言えれば、
「
最初が成り立てば次のもの成り立つ
」
ではありません
最初が成り立つというのは仮定の話ではありません
最初が成り立つことは①で示さなければなりませんし
最初が成り立つことは①で示されているのです
だから
最初
P(1)が成り立つから
↓
P(2)が成り立つ
↓
P(3)が成り立つ
↓
…
となって
全ての自然数nに対してP(n)が成り立つのです
No.3
- 回答日時:
そもそも「一個前が成り立っていなかった」なら「全てのことについて成り立つ」ことはありえないと思うのだよ.
「一個前が成り立っていること」は, 究極的には
① 最初が成り立つ
で保証される. 「最初」「一個前」「次の」と言葉でてきとうに書いているから混乱してるのかもよ. ちゃんと数字で書いてみたらどうだろうか.
No.2
- 回答日時:
>実際には一個前が成り立っているかどうかは示さないじゃないですか。
じゃあ一個前が成り立っていなかったらどうするんですか?
一個前が成り立てば、次も成り立つ。
一個前が成り立たなければ、次が成り立つかどうかはわからない。
ってだけでのことです。いまいち疑問が理解できませんが・・・・
No.1
- 回答日時:
数学的帰納法が要求している事は「kが成り立てばk+1も成り立つ」と言う事ですから、kが成り立たなければk+1も成り立たない事になると言うだけの単純な話です。
そして数学的帰納法の出発点である「n=aの時に成り立つ」と言う事が示されているわけですから「n=kの時に成り立てばn=k+1の時にも成り立つ」が正しいとすれば「n=kの時に成り立つ」も示された事になります。お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 数学 数学的帰納法の質問です。 n=1、k,k+1のときすべての自然数nが成り立つという証明で、なぜ、n= 7 2023/07/02 11:59
- 憲法・法令通則 日本国憲法の問題点について日本国憲法の問題点を【⠀】の中のどれかの範囲で600字で書くのですが全く思 1 2023/01/24 10:25
- 数学 『数学的帰納法のトリセツ』 4 2022/06/06 07:34
- 数学 「x≧−6 であるすべてのxに対し,不等式2ax≦6x+1が成り立つような定数aの範囲を求めよ。」 4 2022/07/22 05:33
- 物理学 光に慣性があるとすると、光速度不変は成立しないですか。 15 2023/01/19 21:55
- 数学 テーマ122が成り立つのは普通にやっても合成関数の微分法を利用してもできるのはわかるんですが。 25 1 2022/07/14 02:53
- 数学 コーシーリーマンの関係式の誘導 2 2022/06/13 10:35
- 政治 そもそも何故、男性天皇と女性天皇を両立してはいけないのですか? 11 2022/08/22 09:53
- 数学 連立方程式についての疑問 7 2022/06/19 19:48
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
カントールの対角線論法につい...
-
強い仮定、弱い仮定、とは
-
命題の証明で・・・
-
nは自然数 n^2と2n+1は互いに素...
-
逆、裏、否定、対偶
-
数Ⅰで習う背理法についてです。...
-
背理法について
-
背理法の必要十分性について
-
nが自然数のとき、2^n +1 +3^2...
-
高校数学です!m,nを整数とする...
-
3.141592653589793238462643383...
-
数独 次の一手を教えてください
-
「逆もまた真なり」について
-
a>0、b>0⇔a+b>0、ab>0
-
背理法と対偶証明の違いについて
-
数学の論理学的な質問なんです...
-
pならばqである の否定について
-
数学の得意な方、時間があれば...
-
証明をお願いします
-
a,bが有理数のとき、a+b√2=0 な...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「逆もまた真なり」について
-
命題「PならばQ」でPが偽ならば...
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
n=3の倍数ならば、n=6の倍数で...
-
「逆は必ずしも真ならず」の証...
-
数学的帰納法の根本的な疑問な...
-
対偶法による無理数の証明につ...
-
数学の背理法について質問です...
-
有理数を文字置き→互いに素な整...
-
写真の命題を数学的帰納法で証...
-
nは自然数 n^2と2n+1は互いに素...
-
a,bが有理数として√6が無理数を...
-
pならばqである の否定について
-
数学の論理学的な質問なんです...
-
【命題が偽である場合の反例の...
-
背理法について質問があります...
-
自然数の証明・・・?
-
青チャートに、「命題p⇒qの否定...
-
数学 12k(2k^2+1)を36の倍数と...
おすすめ情報