>>381に書いたけどもう一度書くと
Qを有理数体、Rを実数体とする。
オイラーの公式: e^(ix)=cos(x)+i*sin(x).
xをsin(x)≠0である任意の実数とする。
(すなわちxはπの整数倍でない任意の実数。)
K=Q(cos(x)), L=Q(e^(ix))=K(i*sin(x)) とおくと
L/K は2次拡大。また、L∩R=K という関係がある。
2次拡大であることはいいでしょう?
(i*sin(x))^2=cos(x)^2-1∈K でまた
Kは実の体で、虚数 i*sin(x)は含まれてないからL/Kは真の拡大だ。
2次ということは、2が素数であることから中間体が存在しないということ。
従って、sin(x)がLに含まれるなら、そもそもKに含まれていなければならない。
sin(x)がLに含まれないとき、Q(sin(x))/KはL/Kとは別の2次拡大だ。
次の命題が成立することが分かる。
命題 sin(x)∈K ⇔ i∈L.
この命題を>>42の問2に適用すると、結局、証明はiがQ(ζ)
(ζは1の原始n乗根)に含まれないことの証明に帰することが分かる。
( e^(iπ/n)は1の原始2n乗根だが、それは-ζとして
実現できるから、体としてはn乗根の体と同じ。)
これはほとんど自明のようだが、キッチリ証明するためには
大学の数学が必要。
おっちゃんがごちゃごちゃ計算して「証明できた」と言っても
ほぼ確実に間違ってるので、予め注意しておく。
現代数学の系譜 工学物理雑談 古典ガロア理論も読む59
■ このスレッドは過去ログ倉庫に格納されています
809132人目の素数さん
2019/02/03(日) 05:09:06.36ID:wDePzez3■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【サッカーW杯】開催国アメリカがGS2連勝! 前半に2ゴールを奪取、オーストラリアに2-0で快勝 [鉄チーズ烏★]
- 高木豊氏 本田圭佑のW杯解説に私見「相手の選手も知らないと、野球ではボロカス言われるよ」★2 [jinjin★]
- 【速報】自民、成長投資促す新たな財政目標を提言へ [バイト歴50年★]
- 東京駅で切符紛失→「3倍払って」と言われ→拒否すると「警察呼ぶ」と言い始め警備5人が包囲… BD選手のトラブル報告にネット紛糾★2 [冬月記者★]
- 【気象】台風7号「メーカラー」が発生 今後の動向に注意 [牛乳トースト★]
- 東京 北区 小学校で火事 児童ら計11人病院搬送 うち3人が骨折 ★2 [蚤の市★]
- 【悲報】女さん「男さあ、サッカースタジアム清掃するなら家でもやってよ」→正論すぎてBBCに取り上げられるwwwwwwwwwwwww [839150984]
- 【今日の】コンマ下が俺よりも大きければ大吉【運勢】
- 【FIFAワールドカップ2026】 D組アメリカ×オーストラリア4:00(NHK3:45~,DAZN),C組スコットランド×モロッコ7:00(フジテレビ6:00~,DAZN) [226731781]
- 将棋も麻雀も飽きた
- 【悲報】日本政治家の『議員年収額』、世界一。😲 [153490809]
- 柏木由紀さん(34)「ららぽーとで幸せそうな家族に囲まれながら1人でかき氷を食べる人生。私このままでいいのか?」 [643675351]