[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ17 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ17 http://rio2016.5ch.net/test/read.cgi/math/1746597368/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
980: 132人目の素数さん [sage] 2025/05/28(水) 09:16:13.72 ID:dRtImM4e >果たして、合っているかどうか? (^^ 合ってないよ。 近代数学では面白い問いじゃないから、古代の話とかじゃね? 古代に線形独立の概念はなかったかもしれないが、たとえば √2と√3がQ上線形独立であることは (√2x+√3y)(√2x-√3y)=2x^2-3y^2=0 が(0,0)以外の有理数解(x,y)を持たないことと同値。 http://rio2016.5ch.net/test/read.cgi/math/1746597368/980
982: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/05/28(水) 10:24:10.69 ID:vzADU7Bh >>974 死狂幻調教大師S.A.D.@月と六ベンツ さん、ありがとうございます。 今後ともよろしくお願いいたします >>975 はて? 信長さまか? ひょっとして、蕎麦屋さんかい お元気そうでなによりです >>977 ID:CTASdXCp は、御大か 巡回ありがとうございます。 Copilot回答 >>972は 鵜吞みにできないと思っています >>980 >√2と√3がQ上線形独立であることは >(√2x+√3y)(√2x-√3y)=2x^2-3y^2=0 が(0,0)以外の有理数解(x,y)を持たないことと同値。 ありがとね そこは、東京理科大では禁句の背理法 √2と√3がQ上線形従属と仮定する a√2+b√3=0 となる 0でない有理数a,b が取れる 移行して整理すると √2/√3=-b/a ↓ √(2/3)=b'/a (b'=-b >0 と書き直した) つまり、√(2/3) が有理数になって 矛盾*) ■ 注*) "矛盾"は、思いつくであろう by ガロア "矛盾"は、詳しく書くには余白が狭い by フェルマー まあ、背理法を使えば、”√2と√3がQ上線形独立”は、√2の無理数性の背理法証明の延長線上だな ;p) ”2と3と5と7の平方根が 有理数体上線形独立”>>972とか 個数が増えると 背理法では つらくなるね http://rio2016.5ch.net/test/read.cgi/math/1746597368/982
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.051s