数学的帰納法は循環論法では? (63レス)
数学的帰納法は循環論法では? http://rio2016.5ch.net/test/read.cgi/math/1728545284/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
1: 132人目の素数さん [] 2024/10/10(木) 16:28:04.20 ID:FQ34OYct ∀k≧1, n = kの時正しいと仮定したら示すことないじゃん http://rio2016.5ch.net/test/read.cgi/math/1728545284/1
2: 132人目の素数さん [] 2024/10/10(木) 16:40:30.77 ID:6ylOH/7Q 似たような質問にどう説明されてるのか気になってぐぐったら、ひどいなこりゃ。ぜんぶ間違ってる https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13175954948 http://rio2016.5ch.net/test/read.cgi/math/1728545284/2
3: 132人目の素数さん [] 2024/10/10(木) 16:44:29.82 ID:6ylOH/7Q こりゃ、大学生が「集合と写像」とか「イプシロン-デルタ論法」とかで躓くのも納得。 論理を理解しないで、見よう見まねで「n = 1のとき、~。n = kのとき、~。」とか書いてただけなんだから。 http://rio2016.5ch.net/test/read.cgi/math/1728545284/3
4: 132人目の素数さん [sage] 2024/10/10(木) 16:52:23.65 ID:mdL+6DVt はたらけ http://rio2016.5ch.net/test/read.cgi/math/1728545284/4
5: 132人目の素数さん [sage] 2024/10/10(木) 16:52:44.85 ID:mdL+6DVt ゆうがたのくそすれ http://rio2016.5ch.net/test/read.cgi/math/1728545284/5
6: 132人目の素数さん [sage] 2024/10/10(木) 16:53:03.85 ID:mdL+6DVt おちこぼれ http://rio2016.5ch.net/test/read.cgi/math/1728545284/6
7: 132人目の素数さん [sage] 2024/10/10(木) 16:53:26.83 ID:mdL+6DVt 有理数の無理数乗が有理数になることはあるか? http://rio2016.5ch.net/test/read.cgi/math/1728545284/7
8: 132人目の素数さん [sage] 2024/10/10(木) 16:53:42.36 ID:mdL+6DVt 海の中には切り身が泳いでいるのか?(徹底議論) http://rio2016.5ch.net/test/read.cgi/math/1728545284/8
9: 132人目の素数さん [sage] 2024/10/10(木) 16:53:55.24 ID:mdL+6DVt ルベーグ積分って数学科以外に必要? http://rio2016.5ch.net/test/read.cgi/math/1728545284/9
10: 132人目の素数さん [sage] 2024/10/10(木) 16:54:08.80 ID:mdL+6DVt 二次方程式の解の公式は必要か? http://rio2016.5ch.net/test/read.cgi/math/1728545284/10
11: 132人目の素数さん [sage] 2024/10/10(木) 16:54:21.25 ID:mdL+6DVt 調和関数って何が調和しとるん? http://rio2016.5ch.net/test/read.cgi/math/1728545284/11
12: 132人目の素数さん [] 2024/10/10(木) 17:06:28.67 ID:O36UX+ky 村上一三 数学的帰納法の理解の困難点について https://www.jstage.jst.go.jp/article/jjsme/72/11/72_38/_pdf http://rio2016.5ch.net/test/read.cgi/math/1728545284/12
13: 132人目の素数さん [] 2024/10/11(金) 00:14:01.20 ID:f/zvApUt ∀n[P(n)⇒P(n+1)] であって ∀P(n) ではない http://rio2016.5ch.net/test/read.cgi/math/1728545284/13
14: 132人目の素数さん [] 2024/10/11(金) 08:37:50.01 ID:dxAwosKn (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)]) http://rio2016.5ch.net/test/read.cgi/math/1728545284/14
15: 132人目の素数さん [] 2024/10/15(火) 17:04:26.47 ID:qAxBtqsV スレチで悪いのですが、2013年センター数学2Bの数列で bk+1=bkが成り立つときってあるのですがbk+2=bk+1を証明するのに bk+1をbkに置き換えるのかbkにbk+1を置き換えるのどちらが正しいのでしょうか? http://rio2016.5ch.net/test/read.cgi/math/1728545284/15
16: 132人目の素数さん [] 2024/10/15(火) 17:12:08.48 ID:qAxBtqsV 答えではbk+2=(ck+bk+1→bk)bk+1/bk+ckになってます。 分数式の上辺のbk+1に代入するのか下辺のbkに代入するのか悩んでます。。。 どっちでもいいんでしょうか?w http://rio2016.5ch.net/test/read.cgi/math/1728545284/16
17: 132人目の素数さん [] 2024/10/15(火) 18:45:00.64 ID:OSayBPRJ 文脈的にどっちでもいいんじゃね 知らんけど http://rio2016.5ch.net/test/read.cgi/math/1728545284/17
18: 132人目の素数さん [] 2024/10/15(火) 20:50:30.81 ID:qAxBtqsV ありがとうございます(><) bk+1にbk代入したら上辺と下辺が約分された残りのbk+1もbkに置き換わらないとなんか 違和感があるんですがw bk+2=bk+1=bkとなるから 1つだけの置き換えで済むのでしょうか? あと2020年のセンター追試験がムズすぎてビックリしました!あれは解けないっすわw http://rio2016.5ch.net/test/read.cgi/math/1728545284/18
19: 132人目の素数さん [sage] 2024/10/15(火) 22:04:09.04 ID:C4AOfIpK イタチ http://rio2016.5ch.net/test/read.cgi/math/1728545284/19
20: 132人目の素数さん [sage] 2024/10/16(水) 12:30:11.70 ID:1Rm3GPce >>2 何も間違ってないが頭大丈夫? http://rio2016.5ch.net/test/read.cgi/math/1728545284/20
21: 132人目の素数さん [] 2024/10/16(水) 19:23:11.39 ID:rZvaSufI 2021年共通試験追試験数学2B 70%取れる! かなぁ?w 70%合格 70%未満不合格w 70%だったら流石にc欄だわー http://rio2016.5ch.net/test/read.cgi/math/1728545284/21
22: 132人目の素数さん [] 2024/10/16(水) 19:43:42.78 ID:rZvaSufI 2021年共通試験追試験数学の三角関数、超良問じゃない? 参考書にない感じで目新しいし、考える要素が多い! http://rio2016.5ch.net/test/read.cgi/math/1728545284/22
23: 132人目の素数さん [] 2024/10/16(水) 22:57:16.87 ID:rZvaSufI ちょっと、ゆとり以前の難易度に戻ったらできなくなる!ww どいつもこいつも狂ってやがる!!昔のまんまだ!!!www http://rio2016.5ch.net/test/read.cgi/math/1728545284/23
24: 132人目の素数さん [] 2024/10/19(土) 22:34:32.53 ID:3tVdZ5jL >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⁽ⁿ⁺¹⁾ http://rio2016.5ch.net/test/read.cgi/math/1728545284/24
25: 132人目の素数さん [] 2024/10/21(月) 07:58:47.21 ID:eZjyn+gM (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) http://rio2016.5ch.net/test/read.cgi/math/1728545284/25
26: 132人目の素数さん [] 2024/10/24(木) 18:23:56.61 ID:Me5zMVpN 1−r(rは小数100分率)の逆数と 1/1+r(rは小数100分率) rが限りなく小さい値の時に近似できるのはなぜですか?頭悪いんで分かりませんw 簿記で1/1+rの資本コスト率が採用されてるのですが大雑把で良いんでしょうか? http://rio2016.5ch.net/test/read.cgi/math/1728545284/26
27: 132人目の素数さん [] 2024/10/24(木) 18:42:29.62 ID:Me5zMVpN 逆数のところ消去で 1−rと1/1+r rが限りなく小さい%のとき成り立つわけ。 http://rio2016.5ch.net/test/read.cgi/math/1728545284/27
28: 132人目の素数さん [] 2024/10/24(木) 18:45:52.27 ID:Me5zMVpN ちなみに2021年追試験の共通数学2B 69点で落ちました\(^o^)/ 数列のタイルの問題が1個も分かりませんでした!w http://rio2016.5ch.net/test/read.cgi/math/1728545284/28
29: poem [] 2024/10/26(土) 16:47:21.62 ID:hhUsY9CB 気になる話なので、足跡だけつけさせて 帰納法って循環論法なの? 詳しく教えて欲しいから足跡 http://rio2016.5ch.net/test/read.cgi/math/1728545284/29
30: 132人目の素数さん [] 2024/10/26(土) 17:56:57.73 ID:0cRJo0MK >>29 >24 で示した通り、式変形して同じ形にならないと矛盾になるから循環論法じゃない。 Σ(m = 0, n + 1) (n + 1)Cm = 2⁽ⁿ⁺¹⁾ + 1 など、適当な式だと矛盾する。 再帰的定義が関数は同じでも引数が変わっていくが、循環論法ではない(基底部がある)から答えが出る。 数学的帰納法は、その再帰的定義同士の対応付けを再帰的(帰納的)に証明する。 (再帰と帰納は同じ意味。でも定義の時は再帰的定義と呼ぶ不思議) http://rio2016.5ch.net/test/read.cgi/math/1728545284/30
31: 132人目の素数さん [sage] 2024/10/26(土) 18:11:54.53 ID:u7/+tkcS 循環は地球に優しい http://rio2016.5ch.net/test/read.cgi/math/1728545284/31
32: poem [] 2024/10/27(日) 10:40:45.40 ID:DZm/8CRe >>30 てんくす 式はわからないけど 同じ形にならないことから 循環論法は否決なのか ということは逆に 帰納法は何論法に当たるのか、帰納法より分かり易いカテゴライズが気になるから、足跡つけさせて貰った http://rio2016.5ch.net/test/read.cgi/math/1728545284/32
33: 132人目の素数さん [] 2024/10/27(日) 11:18:02.31 ID:5HRWuz6K >>1 それじゃ仮定止まりじゃん 仮定無しでも正しいことを示したいんじゃ? http://rio2016.5ch.net/test/read.cgi/math/1728545284/33
34: 132人目の素数さん [] 2024/10/27(日) 11:23:04.71 ID:Us6rVvwi 全ての人はハゲである。数学的帰納法で証明する。頭髪が1本の人は明らかにハゲである。頭髪がn本の人をハゲとする。毛を1本足して頭髪をn+1本にしても、所詮ハゲに変わりはない。帰納法は完了した。したがって全ての人はハゲである。 http://rio2016.5ch.net/test/read.cgi/math/1728545284/34
35: poem [] 2024/10/27(日) 12:00:42.45 ID:DZm/8CRe 素人今思いついたんだけど ●数学的帰納法は3個を整合すると確認して真とする ↓ところで ●1次元直線(曲線は1次元以上になるから)の∞次元上での軸の向きを定める(∞次元に回転しないように楔を打つ)場合同一点上にない2点にて定まる ●1次元以上の曲線と2次元平面を同様は同一直線上にない3点にて定まる ●2次元以上の曲線と3次元空間を同様は同一面上にない4点にて定まる ↓ここから ●数学的帰納法の3個整合方法は3次元以上の変化する物を証明するにはあと1値要整合が足りないって有り得ない? http://rio2016.5ch.net/test/read.cgi/math/1728545284/35
36: poem [] 2024/10/27(日) 12:03:31.64 ID:DZm/8CRe 5次6次方程式の解?を得るには 方程式の情報量が足りないみたいに 数学的帰納法の3個方法は それより情報量が少ない物に対してのみ使えるとか http://rio2016.5ch.net/test/read.cgi/math/1728545284/36
37: poem [] 2024/10/27(日) 12:05:15.73 ID:DZm/8CRe 帰納法は 循環論法でなく何かというのは 省確認法とか http://rio2016.5ch.net/test/read.cgi/math/1728545284/37
38: poem [] 2024/10/27(日) 12:10:04.50 ID:DZm/8CRe 省確認法 これ 検算 と同じ用法に使うのが最適な気がする 算出には、情報量がそれを越えるかそれ未満かは、予見する方法あるのかな?無いなら危うい http://rio2016.5ch.net/test/read.cgi/math/1728545284/38
39: 132人目の素数さん [] 2024/10/27(日) 18:59:42.21 ID:wu6Ollaf >>32 何論法は分からないけど、wikiによると >数学的「帰納」法という名前がつけられているが、数学的帰納法を用いた証明は帰納ではなく、純粋に自然数の構造に依存した演繹論理の一種である。 だそうな。 三段論法ならぬ、可算無限論法とでも言えそうな…。 http://rio2016.5ch.net/test/read.cgi/math/1728545284/39
40: 132人目の素数さん [] 2024/10/27(日) 19:06:50.94 ID:wu6Ollaf >24で証明してみて思ったのは、基底部と再帰部の仮定は仮定というより確認。 んで、再帰部の次の段(+1した場合)の部分が事実上の証明。 ここが真なら可算無限論法(?)で全体が真になる。 http://rio2016.5ch.net/test/read.cgi/math/1728545284/40
41: poem [] 2024/10/27(日) 19:22:22.98 ID:EeIujaj9 >>39 一番底は整数が1(個=100%(中途半端でない))毎の数列である整数構造 次が2倍3倍と相似構造毎の数列である倍数構造 という数の構造なのか。小中学程度の理解しかできてないけど、はえー http://rio2016.5ch.net/test/read.cgi/math/1728545284/41
42: poem [] 2024/10/27(日) 19:23:53.97 ID:EeIujaj9 >可算無限論法 調べないとわからないな。今度wikiろ http://rio2016.5ch.net/test/read.cgi/math/1728545284/42
43: poem [] 2024/10/27(日) 19:25:46.13 ID:EeIujaj9 >基底部と再帰部の仮定は仮定というより確認。 んで、再帰部の次の段(+1した場合)の部分が事実上の証明。 これはわかるし、始めて習ったとき、1の基底は意味ないじゃんとまじで思ってた http://rio2016.5ch.net/test/read.cgi/math/1728545284/43
44: poem [] 2024/10/27(日) 19:26:31.43 ID:EeIujaj9 再帰部も意味ないか確かに http://rio2016.5ch.net/test/read.cgi/math/1728545284/44
45: poem [] 2024/10/27(日) 19:29:30.48 ID:EeIujaj9 なら (+1)や(乱数的に選択+?)、(あと1個とか) 無作為が必要な可能性。流石に無作為やれば確実性だよね 今の帰納法は確実性ってどれくらいなの? http://rio2016.5ch.net/test/read.cgi/math/1728545284/45
46: poem [] 2024/10/27(日) 19:33:03.57 ID:EeIujaj9 帰納法が、整数の構造に依存した証明なら 比数グラフと 対数グラフの 物を帰納法で証明しようとしたら 同じには無理だったりしない? http://rio2016.5ch.net/test/read.cgi/math/1728545284/46
47: poem [] 2024/10/27(日) 20:35:09.94 ID:EeIujaj9 加算無限論法、何時間経て調べてみた 特設ページ、ないぢゃん http://rio2016.5ch.net/test/read.cgi/math/1728545284/47
48: poem [] 2024/10/27(日) 20:37:01.22 ID:EeIujaj9 >>34 あ、見落としてた! 砂粒砂山問題か! 帰納法だと砂粒=砂山になるのか! http://rio2016.5ch.net/test/read.cgi/math/1728545284/48
49: poem [] 2024/10/27(日) 20:41:21.98 ID:EeIujaj9 ハゲの相当(ハゲ認定というかハゲ相当) または 砂山相当 は 外形がハゲの構え 外形が砂山 という全体論が必要で 微小論(抜け毛本数や砂個数)じゃなく全体論(ハゲの構えや砂山) 帰納法は微小論側の論法なの? ちなみに微小論と全体論両方要所要所に合わせ大事 http://rio2016.5ch.net/test/read.cgi/math/1728545284/49
50: poem [] 2024/10/27(日) 20:44:02.19 ID:EeIujaj9 ハゲは、若い頃の本数に比して、50%となってる測定があったとする 全体が薄くなり、ハゲの構えしてない場合、ハゲに見えない http://rio2016.5ch.net/test/read.cgi/math/1728545284/50
51: 132人目の素数さん [] 2024/10/27(日) 21:24:00.19 ID:5HRWuz6K >>34 ハゲは頭髪m本以下と定義する。 m本の人はハゲだが毛を1本足して頭髪をm+1本にしたらハゲでない。 よって >頭髪がn本の人をハゲとする。毛を1本足して頭髪をn+1本にしても、所詮ハゲに変わりはない。 の反例が存在する。 http://rio2016.5ch.net/test/read.cgi/math/1728545284/51
52: 132人目の素数さん [] 2024/10/27(日) 21:27:36.25 ID:wu6Ollaf >>47 いあ…「三段論法ならぬ、可算無限論法とでも言えそうな…。」って書いたとおり、 名前が無いから適当に付けただけだから。>可算無限論法 (名前無いけど、しいて言えば)可算無限論法とでも言えそうな…。 と、言いたかった。すまぬ。 http://rio2016.5ch.net/test/read.cgi/math/1728545284/52
53: 132人目の素数さん [] 2024/10/27(日) 21:33:16.53 ID:5HRWuz6K >>52 数学的帰納法で言えるのは任意の自然数nでP(n)だから、可算無限段論法ではなく任意有限段論法 http://rio2016.5ch.net/test/read.cgi/math/1728545284/53
54: 132人目の素数さん [sage] 2024/10/27(日) 22:12:54.60 ID:KkbwwIvn poemはアスペである。よって処置入院する http://rio2016.5ch.net/test/read.cgi/math/1728545284/54
55: 132人目の素数さん [] 2024/10/27(日) 23:29:05.80 ID:wu6Ollaf >>53 任意と全ては同じ意味だと思ってましたが、その文を読んで違いが分かった気がします。 任意はどんなnを選んでも、nから基底部までの範囲(0..n)(視点はnから0への方向) 全ては基底部からn以降も含めての全て(0..n..)(視点はnから無限への方向) 同じ∀記号だから結局同じ意味なのですが、nからどちらを向いた視点かで言葉が違うのでしょうね。 (そして、どちらも勝手に名付けているという^^;) http://rio2016.5ch.net/test/read.cgi/math/1728545284/55
56: 132人目の素数さん [] 2024/10/29(火) 09:00:00.13 ID:9s3aH7al 実数体の部分集合Hが以下の条件を満たすとき継承的集合という。 (1) 0∈H (2) h∈H ⇒ h+1∈H 自然数全体の集合をあらゆる継承的集合の共通部分と定義することで数学的帰納法を証明できる。 http://rio2016.5ch.net/test/read.cgi/math/1728545284/56
57: 132人目の素数さん [] 2024/10/29(火) 21:07:07.17 ID:EvEyifQw 1ー1/10=1/1+0.1 でも誤差わずかしか出ない不思議? 試行錯誤法によって割引率1/1+0.1に限りなく近づく。なんなんやろな?これwww http://rio2016.5ch.net/test/read.cgi/math/1728545284/57
58: 132人目の素数さん [] 2024/10/29(火) 21:11:06.63 ID:EvEyifQw 1−r≒1/1+r 二項定理によって証明できるらしいがr利息率 http://rio2016.5ch.net/test/read.cgi/math/1728545284/58
59: 132人目の素数さん [] 2024/11/09(土) 17:36:33.79 ID:DrmNPtgx 線分AQと線分BCの交点をMとおく ベクトルAM=(1−x)ベクトルAB+xベクトルACになってないんですがw 96年センター数学?の答えです。 答えが3/7ベクトルAB+1/7ベクトルACになってるんですが 俺の勘違いでしょうか? 96年センター数学?の答えもってるかた宜しくお願いします。 http://rio2016.5ch.net/test/read.cgi/math/1728545284/59
60: 132人目の素数さん [] 2024/11/09(土) 17:38:28.72 ID:DrmNPtgx 答えがそんなに容易く間違ってると思いたくないんですが・・・ http://rio2016.5ch.net/test/read.cgi/math/1728545284/60
61: 132人目の素数さん [] 2024/11/09(土) 17:40:39.87 ID:DrmNPtgx 俺の答えでは3/7ベクトルAB+4/7ベクトルACが 正しい気がするんですが どこか条件を見落としてるんでしょうか?w http://rio2016.5ch.net/test/read.cgi/math/1728545284/61
62: poem [] 2024/11/24(日) 21:42:20.65 ID:PZ7vprbN 広告 https://rio2016.5ch.net/test/read.cgi/math/1730537428/ http://rio2016.5ch.net/test/read.cgi/math/1728545284/62
63: 132人目の素数さん [] 2025/06/06(金) 18:31:28.35 ID:kAtp8PML >>1 仮定で終わってるじゃん http://rio2016.5ch.net/test/read.cgi/math/1728545284/63
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.013s