数学的帰納法は循環論法では? (63レス)
1-

リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
1
(3): 2024/10/10(木)16:28 ID:FQ34OYct(1)調 AAS
∀k≧1, n = kの時正しいと仮定したら示すことないじゃん
2
(1): 2024/10/10(木)16:40 ID:6ylOH/7Q(1/2)調 AAS
似たような質問にどう説明されてるのか気になってぐぐったら、ひどいなこりゃ。ぜんぶ間違ってる
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13175954948
3: 2024/10/10(木)16:44 ID:6ylOH/7Q(2/2)調 AAS
こりゃ、大学生が「集合と写像」とか「イプシロン-デルタ論法」とかで躓くのも納得。
論理を理解しないで、見よう見まねで「n = 1のとき、~。n = kのとき、~。」とか書いてただけなんだから。
4: 2024/10/10(木)16:52 ID:mdL+6DVt(1/8)調 AAS
はたらけ
5: 2024/10/10(木)16:52 ID:mdL+6DVt(2/8)調 AAS
ゆうがたのくそすれ
6: 2024/10/10(木)16:53 ID:mdL+6DVt(3/8)調 AAS
おちこぼれ
7: 2024/10/10(木)16:53 ID:mdL+6DVt(4/8)調 AAS
有理数の無理数乗が有理数になることはあるか?
8: 2024/10/10(木)16:53 ID:mdL+6DVt(5/8)調 AAS
海の中には切り身が泳いでいるのか?(徹底議論)
9: 2024/10/10(木)16:53 ID:mdL+6DVt(6/8)調 AAS
ルベーグ積分って数学科以外に必要?
10: 2024/10/10(木)16:54 ID:mdL+6DVt(7/8)調 AAS
二次方程式の解の公式は必要か?
11: 2024/10/10(木)16:54 ID:mdL+6DVt(8/8)調 AAS
調和関数って何が調和しとるん?
12: 2024/10/10(木)17:06 ID:O36UX+ky(1)調 AAS
村上一三 数学的帰納法の理解の困難点について
https://www.jstage.jst.go.jp/article/jjsme/72/11/72_38/_pdf
13: 2024/10/11(金)00:14 ID:f/zvApUt(1)調 AAS
∀n[P(n)⇒P(n+1)]

であって

∀P(n)

ではない
14: 2024/10/11(金)08:37 ID:dxAwosKn(1)調 AAS
(P(0) & ∀n∈N.[P(n)⇒P(n+1)]) ⇒ ∀n∈N.P(n)
あるいは同じことであるが
∃n∈N.¬P(n) ⇒(¬P(0) ⋁ ∃n∈N.[P(n)∧¬P(n+1)])
15: 2024/10/15(火)17:04 ID:qAxBtqsV(1/3)調 AAS
スレチで悪いのですが、2013年センター数学2Bの数列で
bk+1=bkが成り立つときってあるのですがbk+2=bk+1を証明するのに
bk+1をbkに置き換えるのかbkにbk+1を置き換えるのどちらが正しいのでしょうか?
16: 2024/10/15(火)17:12 ID:qAxBtqsV(2/3)調 AAS
答えではbk+2=(ck+bk+1→bk)bk+1/bk+ckになってます。
分数式の上辺のbk+1に代入するのか下辺のbkに代入するのか悩んでます。。。
どっちでもいいんでしょうか?w
17: 2024/10/15(火)18:45 ID:OSayBPRJ(1)調 AAS
文脈的にどっちでもいいんじゃね

知らんけど
18: 2024/10/15(火)20:50 ID:qAxBtqsV(3/3)調 AAS
ありがとうございます(><)
bk+1にbk代入したら上辺と下辺が約分された残りのbk+1もbkに置き換わらないとなんか
違和感があるんですがw bk+2=bk+1=bkとなるから
1つだけの置き換えで済むのでしょうか?
あと2020年のセンター追試験がムズすぎてビックリしました!あれは解けないっすわw
19: 2024/10/15(火)22:04 ID:C4AOfIpK(1)調 AAS
イタチ
20: 2024/10/16(水)12:30 ID:1Rm3GPce(1)調 AAS
>>2
何も間違ってないが頭大丈夫?
21: 2024/10/16(水)19:23 ID:rZvaSufI(1/3)調 AAS
2021年共通試験追試験数学2B 70%取れる! かなぁ?w 70%合格 70%未満不合格w
70%だったら流石にc欄だわー
22: 2024/10/16(水)19:43 ID:rZvaSufI(2/3)調 AAS
2021年共通試験追試験数学の三角関数、超良問じゃない?
参考書にない感じで目新しいし、考える要素が多い!
23: 2024/10/16(水)22:57 ID:rZvaSufI(3/3)調 AAS
ちょっと、ゆとり以前の難易度に戻ったらできなくなる!ww

どいつもこいつも狂ってやがる!!昔のまんまだ!!!www
24
(2): 2024/10/19(土)22:34 ID:3tVdZ5jL(1)調 AAS
>1
ちゃんと式変形して、n+1の場合でも同じ形にならなかったら矛盾していることになる。

₀C₀ = 2⁰ = 1
Σ(m = 0, n) nCm = nC₀ + nC₁ + ... nCn = 2ⁿ
と仮定

(n + 1)C₀ = nC₀ = 1
(n + 1)C₁ = nC₀ + n C₁
(n + 1)C₂ = nC₁ + n C₂
.
.
.
(n + 1)C (n - 1) = nC(n - 2) + nC(n - 1)
(n + 1)Cn = nC(n - 1) + nCn
(n + 1)C (n + 1) = nCn = 1

Σ(m = 0, n + 1) (n + 1)Cm
= (n + 1)C₀ + (n + 1)C₁ + ... (n + 1)Cn + (n + 1)C (n + 1)
= nC₀ + nC₀ + nC₁ + nC₁ + ... nCn + nCn
= (nC₀ + nC₁ + ... nCn) * 2
= Σ(m = 0, n) nCm * 2
= 2ⁿ * 2
= 2⁽ⁿ⁺¹⁾

よって

Σ(m = 0, n + 1) (n + 1)Cm
= (n + 1)C₀ + (n + 1)C₁ + ... (n + 1)Cn + (n + 1)C (n + 1)
= 2⁽ⁿ⁺¹⁾
25: 2024/10/21(月)07:58 ID:eZjyn+gM(1)調 AAS
(n + 1)C₀ = nC₀ = 1
(n + 1)C₁ = nC₀ + n C₁
(n + 1)C₂ = nC₁ + n C₂
.
.
.
(n + 1)C (n - 1) = nC(n - 2) + nC(n - 1)
(n + 1)Cn = nC(n - 1) + nCn
(n + 1)C (n + 1) = nCn = 1

の部分の根拠はこっちの再帰的定義。

nCn = nC₀ = 1
nCm = (n - 1)C(m - 1) + (n - 1)Cm (0 < m < n)
26: 2024/10/24(木)18:23 ID:Me5zMVpN(1/3)調 AAS
1−r(rは小数100分率)の逆数と 1/1+r(rは小数100分率)
rが限りなく小さい値の時に近似できるのはなぜですか?頭悪いんで分かりませんw
簿記で1/1+rの資本コスト率が採用されてるのですが大雑把で良いんでしょうか?
27: 2024/10/24(木)18:42 ID:Me5zMVpN(2/3)調 AAS
逆数のところ消去で
1−rと1/1+r rが限りなく小さい%のとき成り立つわけ。
28: 2024/10/24(木)18:45 ID:Me5zMVpN(3/3)調 AAS
ちなみに2021年追試験の共通数学2B 69点で落ちました\(^o^)/
数列のタイルの問題が1個も分かりませんでした!w
29
(1): poem 2024/10/26(土)16:47 ID:hhUsY9CB(1)調 AAS
気になる話なので、足跡だけつけさせて

帰納法って循環論法なの?

詳しく教えて欲しいから足跡
30
(1): 2024/10/26(土)17:56 ID:0cRJo0MK(1)調 AAS
>>29
>24 で示した通り、式変形して同じ形にならないと矛盾になるから循環論法じゃない。
Σ(m = 0, n + 1) (n + 1)Cm = 2⁽ⁿ⁺¹⁾ + 1 など、適当な式だと矛盾する。

再帰的定義が関数は同じでも引数が変わっていくが、循環論法ではない(基底部がある)から答えが出る。

数学的帰納法は、その再帰的定義同士の対応付けを再帰的(帰納的)に証明する。
(再帰と帰納は同じ意味。でも定義の時は再帰的定義と呼ぶ不思議)
31: 2024/10/26(土)18:11 ID:u7/+tkcS(1)調 AAS
循環は地球に優しい
32
(1): poem 2024/10/27(日)10:40 ID:DZm/8CRe(1/5)調 AAS
>>30
てんくす

式はわからないけど
同じ形にならないことから
循環論法は否決なのか

ということは逆に
帰納法は何論法に当たるのか、帰納法より分かり易いカテゴライズが気になるから、足跡つけさせて貰った
33: 2024/10/27(日)11:18 ID:5HRWuz6K(1/3)調 AAS
>>1
それじゃ仮定止まりじゃん
仮定無しでも正しいことを示したいんじゃ?
34
(2): 2024/10/27(日)11:23 ID:Us6rVvwi(1)調 AAS
全ての人はハゲである。数学的帰納法で証明する。頭髪が1本の人は明らかにハゲである。頭髪がn本の人をハゲとする。毛を1本足して頭髪をn+1本にしても、所詮ハゲに変わりはない。帰納法は完了した。したがって全ての人はハゲである。
35: poem 2024/10/27(日)12:00 ID:DZm/8CRe(2/5)調 AAS
素人今思いついたんだけど
●数学的帰納法は3個を整合すると確認して真とする
↓ところで
●1次元直線(曲線は1次元以上になるから)の∞次元上での軸の向きを定める(∞次元に回転しないように楔を打つ)場合同一点上にない2点にて定まる
●1次元以上の曲線と2次元平面を同様は同一直線上にない3点にて定まる
●2次元以上の曲線と3次元空間を同様は同一面上にない4点にて定まる
↓ここから
●数学的帰納法の3個整合方法は3次元以上の変化する物を証明するにはあと1値要整合が足りないって有り得ない?
36: poem 2024/10/27(日)12:03 ID:DZm/8CRe(3/5)調 AAS
5次6次方程式の解?を得るには
方程式の情報量が足りないみたいに
数学的帰納法の3個方法は
それより情報量が少ない物に対してのみ使えるとか
37: poem 2024/10/27(日)12:05 ID:DZm/8CRe(4/5)調 AAS
帰納法は
循環論法でなく何かというのは
省確認法とか
38: poem 2024/10/27(日)12:10 ID:DZm/8CRe(5/5)調 AAS
省確認法
これ
検算
と同じ用法に使うのが最適な気がする
算出には、情報量がそれを越えるかそれ未満かは、予見する方法あるのかな?無いなら危うい
39
(1): 2024/10/27(日)18:59 ID:wu6Ollaf(1/4)調 AAS
>>32
何論法は分からないけど、wikiによると

>数学的「帰納」法という名前がつけられているが、数学的帰納法を用いた証明は帰納ではなく、純粋に自然数の構造に依存した演繹論理の一種である。

だそうな。
三段論法ならぬ、可算無限論法とでも言えそうな…。
40: 2024/10/27(日)19:06 ID:wu6Ollaf(2/4)調 AAS
>24で証明してみて思ったのは、基底部と再帰部の仮定は仮定というより確認。
んで、再帰部の次の段(+1した場合)の部分が事実上の証明。

ここが真なら可算無限論法(?)で全体が真になる。
41: poem 2024/10/27(日)19:22 ID:EeIujaj9(1/10)調 AAS
>>39
一番底は整数が1(個=100%(中途半端でない))毎の数列である整数構造
次が2倍3倍と相似構造毎の数列である倍数構造
という数の構造なのか。小中学程度の理解しかできてないけど、はえー
42: poem 2024/10/27(日)19:23 ID:EeIujaj9(2/10)調 AAS
>可算無限論法
調べないとわからないな。今度wikiろ
43: poem 2024/10/27(日)19:25 ID:EeIujaj9(3/10)調 AAS
>基底部と再帰部の仮定は仮定というより確認。
んで、再帰部の次の段(+1した場合)の部分が事実上の証明。
これはわかるし、始めて習ったとき、1の基底は意味ないじゃんとまじで思ってた
44: poem 2024/10/27(日)19:26 ID:EeIujaj9(4/10)調 AAS
再帰部も意味ないか確かに
45: poem 2024/10/27(日)19:29 ID:EeIujaj9(5/10)調 AAS
なら
(+1)や(乱数的に選択+?)、(あと1個とか)
無作為が必要な可能性。流石に無作為やれば確実性だよね
今の帰納法は確実性ってどれくらいなの?
46: poem 2024/10/27(日)19:33 ID:EeIujaj9(6/10)調 AAS
帰納法が、整数の構造に依存した証明なら
比数グラフと
対数グラフの
物を帰納法で証明しようとしたら
同じには無理だったりしない?
47
(1): poem 2024/10/27(日)20:35 ID:EeIujaj9(7/10)調 AAS
加算無限論法、何時間経て調べてみた
特設ページ、ないぢゃん
48: poem 2024/10/27(日)20:37 ID:EeIujaj9(8/10)調 AAS
>>34
あ、見落としてた!
砂粒砂山問題か!
帰納法だと砂粒=砂山になるのか!
49: poem 2024/10/27(日)20:41 ID:EeIujaj9(9/10)調 AAS
ハゲの相当(ハゲ認定というかハゲ相当)
または
砂山相当

外形がハゲの構え
外形が砂山
という全体論が必要で
微小論(抜け毛本数や砂個数)じゃなく全体論(ハゲの構えや砂山)

帰納法は微小論側の論法なの?

ちなみに微小論と全体論両方要所要所に合わせ大事
50: poem 2024/10/27(日)20:44 ID:EeIujaj9(10/10)調 AAS
ハゲは、若い頃の本数に比して、50%となってる測定があったとする

全体が薄くなり、ハゲの構えしてない場合、ハゲに見えない
51: 2024/10/27(日)21:24 ID:5HRWuz6K(2/3)調 AAS
>>34
ハゲは頭髪m本以下と定義する。
m本の人はハゲだが毛を1本足して頭髪をm+1本にしたらハゲでない。
よって
>頭髪がn本の人をハゲとする。毛を1本足して頭髪をn+1本にしても、所詮ハゲに変わりはない。
の反例が存在する。
52
(1): 2024/10/27(日)21:27 ID:wu6Ollaf(3/4)調 AAS
>>47
いあ…「三段論法ならぬ、可算無限論法とでも言えそうな…。」って書いたとおり、
名前が無いから適当に付けただけだから。>可算無限論法

(名前無いけど、しいて言えば)可算無限論法とでも言えそうな…。

と、言いたかった。すまぬ。
53
(1): 2024/10/27(日)21:33 ID:5HRWuz6K(3/3)調 AAS
>>52
数学的帰納法で言えるのは任意の自然数nでP(n)だから、可算無限段論法ではなく任意有限段論法
54: 2024/10/27(日)22:12 ID:KkbwwIvn(1)調 AAS
poemはアスペである。よって処置入院する
55: 2024/10/27(日)23:29 ID:wu6Ollaf(4/4)調 AAS
>>53
任意と全ては同じ意味だと思ってましたが、その文を読んで違いが分かった気がします。

任意はどんなnを選んでも、nから基底部までの範囲(0..n)(視点はnから0への方向)

全ては基底部からn以降も含めての全て(0..n..)(視点はnから無限への方向)

同じ∀記号だから結局同じ意味なのですが、nからどちらを向いた視点かで言葉が違うのでしょうね。
(そして、どちらも勝手に名付けているという^^;)
56: 2024/10/29(火)09:00 ID:9s3aH7al(1)調 AAS
実数体の部分集合Hが以下の条件を満たすとき継承的集合という。
(1) 0∈H
(2) h∈H ⇒ h+1∈H

自然数全体の集合をあらゆる継承的集合の共通部分と定義することで数学的帰納法を証明できる。
57: 2024/10/29(火)21:07 ID:EvEyifQw(1/2)調 AAS
1ー1/10=1/1+0.1 でも誤差わずかしか出ない不思議?

試行錯誤法によって割引率1/1+0.1に限りなく近づく。なんなんやろな?これwww
58: 2024/10/29(火)21:11 ID:EvEyifQw(2/2)調 AAS
1−r≒1/1+r 二項定理によって証明できるらしいがr利息率
59: 2024/11/09(土)17:36 ID:DrmNPtgx(1/3)調 AAS
線分AQと線分BCの交点をMとおく
ベクトルAM=(1−x)ベクトルAB+xベクトルACになってないんですがw
96年センター数学?の答えです。

答えが3/7ベクトルAB+1/7ベクトルACになってるんですが
俺の勘違いでしょうか?
96年センター数学?の答えもってるかた宜しくお願いします。
60: 2024/11/09(土)17:38 ID:DrmNPtgx(2/3)調 AAS
答えがそんなに容易く間違ってると思いたくないんですが・・・
61: 2024/11/09(土)17:40 ID:DrmNPtgx(3/3)調 AAS
俺の答えでは3/7ベクトルAB+4/7ベクトルACが
正しい気がするんですが
どこか条件を見落としてるんでしょうか?w
62: poem 2024/11/24(日)21:42 ID:PZ7vprbN(1)調 AAS
広告
2chスレ:math
63: 06/06(金)18:31 ID:kAtp8PML(1)調 AAS
>>1
仮定で終わってるじゃん
1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.017s