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