TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
小中学校範囲の算数・数学の問題のスレ Part 54
カス厨房が語る長寿記録
【世界に誇る】岩波数学辞典【名著】
高校数学の質問スレPart401
巨大数探索スレッド13
分からない問題はここに書いてね452
秋山仁
指数定理
【自称数学者】三鷹の大類昌俊 Part7【つどい出禁】
- 178 ：
- 追記。
＞ところが、場合分けとして、「無理数＝R−Bf」とか、「超越数＝R−Bf」は、できない
＞”内点を持たない閉集合の高々可算和で被覆できる”の条件に、合致しないからだ
繰り返しになるが、お前がここで言っていることはつまり、
「仮定が偽のケースは場合分けとしては不可能である」という屁理屈である。
その一方で、世の中には次のような定理が存在する。
定理：a^b が有理数になるような無理数 a,b が存在する。
この定理の証明として、次のような有名なものがある。
――――――――――――――――――――――――――――――
証明：c＝√2 と置くと、これは無理数であることが知られている。
そこで、c^c の値に注目し、以下のように場合分けする。
(1) c^c は有理数である (2) c^c は無理数である
(1) の場合、a＝b＝c と置けばよいことになるので、証明が終わる。
(2) の場合、a＝c^c と置けば、まず a は無理数である。
また、b＝c と置けば、これも無理数である。c＝√2 だったから、
a^b ＝ (c^c)^c ＝ c^{c^2}＝ (√2)^(√2^2) ＝ 2
となるので、a^b は有理数である。よって、(2) の場合も証明が終わる。
――――――――――――――――――――――――――――――――
[続く]
- 179 ：
- [続き]
上記の証明はよく知られた証明であり、「正しい証明である」ことに注意せよ。
一方で、c^c すなわち √2^√2 は実際には「無理数」であることが
証明されている(簡単には証明できないらしいが)。となると、上記の証明における
(1) c^c は有理数である
のケースは、仮定が偽ということになる。従って、お前の屁理屈によれば、そもそも
＞(1) c^c は有理数である (2) c^c は無理数である
という場合分け自体が不可能ということになる。その一方で、上記の証明は
よく知られた証明であり、「正しい証明」なのである。たとえば、
https://ja.wikipedia.org/wiki/排中律
に全く同じ証明が載っている。にも関わらず、スレ主の屁理屈によれば、
そもそも (1),(2) による場合分け自体が不可能となってしまい、
上記の証明は「間違っている」ことになってしまう。
これは一体どういうことだね？
整数論を勉強するためのスレッド
偶数である素数はただひとつであることを証明せよ
代数的解析幾何学
虚数は存在するか？
否定された インフレーション理論 ビッグバン理論
確率論とそれに近い分野のスレ
現代数学の系譜 工学物理雑談 古典ガロア理論も読む64
Inter-universal geometry と ABC 予想 43
現代数学の系譜11 ガロア理論を読む24
経済学は数学を誤用している
--------------------
50代の奥様が語るファッション美容ヘアメイク(ID梨)74
[NFJ]NorthFlatJapan part82
始皇帝氏を防止する日課を兼ねた衝撃的な運動のスレ
【チョット】彼女がサーファー【心配】
【特注】サイドカーの単価１台３５３０万円 祝賀御列で政府答弁「今後も必要に応じて使用していく」
The Elder Scrolls V: SKYRIM その566
【全国】殺人ゲームの始まりです【殺人予告】
【片岡Ｋ】文學ト云フ事
地雷カプがある奴集合
令和元年司法試験短答用スレ
【RKK・TKU・KKT・KAB】終わってる熊本のテレビ局51
【バーチャルYouTuber】.LIVEアイドル部アンチスレ#4478【アップランド】
足立区役所すぐキレる課 Part 3
【私はネトウヨ】美学 その２【ではありません】
日本ドラマ史上最高傑作『愛し君へ』
スクエニ「JRPGをこよなく愛する皆さんのために、新しいゲームを作ってみました」 [947987516]
ネトウヨ「山本太郎が寄付金１億も集められるはずないだろ！！」 太郎「既に集まってるんだがｗ 次は10億狙うんだが？」 [451991854]
L'Arc-en-Ciel 2906
【大須】Cute&Cheers⭐CCカフェバー大須店
【名無し奥も○○奥も】 気楽に井戸端会議 6677【みんな来い】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
