24/01/16 14:57:11.38 Ai7YhS3I.net
>>724
>お礼がわりに福原先生の常微分方程式の本を
ありがとうござんす
「福原先生の常微分方程式」ありましたね
福原先生の名前は記憶に残っている
ああ、下記ですね
(参考)
URLﾘﾝｸ(www.)アマゾン
常微分方程式 第2版 (岩波全書 116) 単行本 – 1980/5/1
福原 満洲雄 (著)
810:１３２人目の素数さん
24/01/16 15:01:26.49 YoOWLiov.net
>>731
>ここは５ｃｈ あたまおかしいやつ多い
ああ、君、そうなんだ
なんか唐突に何の脈絡もなく他人の文章をコピペする輩を、正常な精神を持つ人間だとは誰も考えない
実際、今までコピペした内容について尋ねてみると、再三初歩的誤解をしていたことが露見した
そりゃもう誰でも
「ああ、こいつ全然分かってないことを分かったつもりでコピペしてんな」
と思う
君が自分の企みに失敗したからって、他人を恨むのは筋違いってもんだ
君は「えらいえらい、君はえらいよ」って他人に誉めてもらいたいんだろうけど
誰も君に全く関心ないし、ただのシッタカハナタカ君に世間は液体ヘリウム並に冷たいよ
もう、君のコピペ芸飽きたから、政治板に帰ったら？
811:１３２人目の素数さん
24/01/16 18:12:10.10 Ai7YhS3I.net
>>733
”人の理解うんぬん”を言うならば、まず先に自分の数学レベルを実名で証明しなよｗ
卒業証書、修士の終了証書、あるいは数検の１級合格証とかさ、晒せよｗｗ
それがないのに、大学レベルの数学において 「お前は分かってない」とかさｗｗ
それをいう資格の証明が無いよね？ つまり、発言の適否の証明がないｗｗｗ
だからさ、普通は書き込まれた内容について、是か否かをいうだけで良いんじゃないの？
書き込まれた内容に問題があれば、端的にそれを指摘するだけでいいでしょ！ｗ
それができないからと、藁人形論法やってるｗｗ
「おまえは分かってない」とかさ 笑えるよｗｗｗ
812:１３２人目の素数さん
24/01/16 20:42:48.47 s/uOdM31.net
朝倉全書の「微分方程式」
813:１３２人目の素数さん
24/01/16 20:43:19.48 VNWYd8Oe.net
>>734
>まず先に自分の数学レベルを実名で証明しなよ
正則行列も知らん理系落ちこぼれ野郎が悔しさで吠えまくってますね
でも他人を恨むのは間違いですよ マセマの線形代数でやりなおしましょう（冷静）
814:１３２人目の素数さん
24/01/16 20:45:51.69 VNWYd8Oe.net
>>734
>卒業証書、修士の終了証書、あるいは数検の１級合格証とかさ、晒せよ
正則行列も知らん理系落ちこぼれ野郎が悔しさで吠えまくってますね
まあ、修士の学位とか大学の卒業証書とかいう以前に
そもそも大学の在学記録もないんでしょうな
つまり大学の入試に合格しなかった、と
まあ、三角関数の加法公式が覚えられないんじゃねえ・・・
815:１３２人目の素数さん
24/01/16 20:48:09.02 VNWYd8Oe.net
>>734
>大学レベルの数学において 「お前は分かってない」とかさ
正則行列知らないんじゃ、そういわれるわな
正則行列を正方行列に言い換えていいなんて
大学で線形代数学んで理解してたら、口が裂けてもいわないって
まあ、大学入学したことない高卒じゃ、しゃあないか
816:１３２人目の素数さん
24/01/16 20:50:26.31 VNWYd8Oe.net
>>734
>それをいう資格の証明が無いよね？ つまり、発言の適否の証明がない
君こそ、大学入学できてないんだから、大学数学について語る資格ないよ
数学無理だから、政治板でニッポンバンザイ！って吠えてなよ
どうせなんちゃらいう教会の信者なんでしょ ヤバいね
817:１３２人目の素数さん
24/01/16 20:51:55.38 VNWYd8Oe.net
>>734
>普通は書き込まれた内容について、是か否かをいうだけで良いんじゃないの？
普通は他人の書いた文章丸コピペするバカな真似しないよ
頭悪いっていうか頭オカシイじゃん
818:１３２人目の素数さん
24/01/16 20:53:52.06 VNWYd8Oe.net
>>734
>書き込まれた内容に問題があれば、端的にそれを指摘するだけでいいでしょ！
内容以前に、唐突に丸コピペする●違いがいたら気持ち悪いじゃん
そいつが高卒のくせに大卒を偽
819:るウソツキ野郎なら撃退するじゃん そういうことよ
820:１３２人目の素数さん
24/01/16 20:56:53.55 VNWYd8Oe.net
>>734
>藁人形論法やってる
正則行列を知らず、しかもそれを認めたくないので
「正則行列は難しいから正方行列に言い換えた」とか
馬鹿丸出しな言い訳する奴が大卒なわけないじゃん
正則行列なんて理工系ならみな知ってるよ
藁人形は、正則行列も知らない嘘大卒の貴様じゃん
821:１３２人目の素数さん
24/01/16 20:59:16.42 VNWYd8Oe.net
>>734
>「おまえは分かってない」とかさ 笑えるよ
笑われてるのは、正則行列も知らないくせに大卒とかほざく貴様だよ
高卒に決まってんじゃん いい加減白状しろよ みっともないな
822:１３２人目の素数さん
24/01/16 21:03:11.06 s/uOdM31.net
>>743
自分のことではないが
聞き飽きたので
ROMでお願いします
823:１３２人目の素数さん
24/01/16 21:05:34.37 VNWYd8Oe.net
>>744 おまえ、馬鹿の肩もつのかよ 最低最悪だな
824:１３２人目の素数さん
24/01/16 21:06:40.94 VNWYd8Oe.net
俺をROMらせたいなら、まず馬鹿をROMらせな
825:１３２人目の素数さん
24/01/16 21:33:07.18 s/uOdM31.net
どう見てもあなたの方がバカ
826:１３２人目の素数さん
24/01/16 23:29:17.00 6axyBwDM.net
>>744-747
"馬鹿"と呼ばれる当の本人が来ましたｗ
まあ、>>746 ID:VNWYd8Oeさんの言っていることがおかしいわな
例えば、「ｘはｙなのでｚである」という文
a)これを、大学1年がwikipediaを見て書いた
b)これを、DR1年が研究テーマの文献を見て書いた
c)これを、教授が自分の論文の文として書いた
同じ書かれた文だが、理解のレベルは違うよね
しかし、５ｃｈでは理解のレベルを問題にしてもしかたない
なぜならば、みんな匿名の「名無しさん」だし、idも日替わりだし
基本的に、理解のレベルを問題にしても仕方ない
もっと単純かつ端的に、書かれた
「ｘはｙなのでｚである」という文の当否を
問題にするしかないのよね
ここ５ｃｈではね
そして、それで十分なのです
その原理原則が、分かっていない人が居る
827:１３２人目の素数さん
24/01/16 23:31:47.71 6axyBwDM.net
なので、つまらん議論や言い争いは、スルーして
勝手にやらせて貰います
>>747 ID:s/uOdM31さん、仲裁ありがとうございました。
828:１３２人目の素数さん
24/01/17 06:07:08.99 1LBM7xkH.net
>>747 いや、お前が馬鹿だろ
>>748 お前の場合
o) 大学に合格できなかった高卒がwikipediaをまったく読まずにコピペした
だから、そもそも書いてあること分かってるか真っ先に質問され
「正方行列＝正則行列」みたいなトンチンカンな誤りを口にしたから
えんえんと馬鹿にされる 747は正方行列＝正則行列を認める破廉恥カンカンかｗ
>>749 自分の無知を決して認めないとかさすがジコチュウサイコパス
829:１３２人目の素数さん
24/01/17 07:54:46.00 mZ7li0wf.net
>>750
ご苦労さまです
ところで、高木「近世数学史談」について
どうも、学部2年で読んだみたい
複素関数論の成立や、いま見ると
”7.レムにスケート函数の発見（θ函数）”という章がある
ガウスの日記 1798年7月にこれに関して書いてあるそうだ
ガウスDA出版前には、楕円函数の端緒を得ているわけです
君はこれを読んでないみたいだから
ぜひ一読をすすめる
では
URLﾘﾝｸ(www.)アマゾン
近世数学史談 (岩波文庫) 文庫 – 1995/8/18
高木 貞治 (著)
つづく
830:１３２人目の素数さん
24/01/17 07:57:01.68 mZ7li0wf.net
つづき
書評
冒頭からさらっとガウスの円分方程式論で始まるので退いてしまいますが
（しかも「明らかに」と云いつつもまるで解らない...）、そこはサラッと
飛ばして読み進みめば、とても楽しい数学史です。
毛色としては、ベル「数学をつくった人々」の書き方に近いと思�
831:｢ますが、 割と特定の人物に対しては辛口な評価がされるのが（分かっていれば）面白いです。 一番の見ものはアーベルの楕円関数論ですね。通常の数学史ではアーベルの時は 五次方程式の話をメインに持ってきますが、この本では他の数学者との楕円関数論 の論文書きがどの様に並進していたのかを知る事ができます。 最後の付録になりますが、高木貞治氏がヒルベルトに初めて出会った時の会話など 生々しい資料も含みます。 以上
832:１３２人目の素数さん
24/01/17 08:45:22.00 k4LBiwbx.net
>>750
水掛け論にいつまでも付き合うほどのバカでなし
833:１３２人目の素数さん
24/01/17 11:05:32.82 szgWoPPn.net
>>752
>高木貞治氏がヒルベルトに初めて出会った時の会話
「お前は代数体の整数論をやるというが、本当にやる積りか？」
・・・
こっちへ正方形を描き、こっちへ円を描いて
「お前はシュワルツの処から来たのであるから、よくわかっているだろう」
834:１３２人目の素数さん
24/01/17 16:33:59.79 1LBM7xkH.net
>>751
>高木「近世数学史談」
>どうも、学部2年で読んだみたい
つまり、浪人２年目で読んだ、と
>君はこれを読んでないみたいだからぜひ一読をすすめる
君って誰？僕は読んだよ
だからいわせてもらうんだが・・・
>>752
>冒頭からさらっとガウスの円分方程式論で始まるので退いてしまいますが
>（しかも「明らかに」と云いつつもまるで解らない...）
当然 円分方程式論がどういうものかろくに説明ないから
これだけで円分方程式がわかる奴はまあいないわな
だからといって
円分方程式論が超絶難しい理論か、
といえばそういうわけでもない
これのｎ＝3,5,7,11,13,17,19のところ読んで
その通り計算してみな
大学に入れなかった高卒素人でもない限り分かるだろ
1の冪根をたくさん求めてみた(解説付き)
URLﾘﾝｸ(mathlog.info)
>そこはサラッと飛ばして読み進みめば、
それ大学数学挫折した素人の読み方な
ま、素人はそれしかできんからしゃあないな
ローニン大学は何年いてもOKでよかったな
835:１３２人目の素数さん
24/01/17 21:14:21.30 mZ7li0wf.net
>>755
ご苦労様です
>>君はこれを読んでないみたいだからぜひ一読をすすめる
> 君って誰？僕は読んだよ
じゃあ、高木「近世数学史談」を読んで
学部の（一変数）複素関数論の講義を受ければ
学部講義中に、高木「近世数学史談」の中の複素関数論の話を思い出せば
講義が「ああ、あれは高木先生の本にあったな」と分かるから
理解が早いというのは、お分かりだろう
> 当然 円分方程式論がどういうものかろくに説明ないから
> これだけで円分方程式がわかる奴はまあいないわな
前にも書いたが、オイラー式 e^iΘ＝cosΘ+isinΘ
を、ドモアブル式とともに覚えておけば
第1章の円の17等分の話も、どうということはない
式 e^iΘ＝cosΘ+isinΘ は、高校で大学への数学のコラムだったかで知って
重宝したし
当時の数学セミナーにも、円の等分の話もあった気がする
（10年分バックナンバー読んだからね）
別に、”第1章の円の17等分の話”で苦労した記憶ないな ；ｐ）
836:１３２人目の素数さん
24/01/17 21:18:46.48 mZ7li0wf.net
まあ、10年分数学セミナー読めば、複素関数論も含めて
たいがいの学部数学は、復習になるよ
学部数学で苦労はなかった
837:１３２人目の素数さん
24/01/17 21:25:19.32 1LBM7xkH.net
>>756
＞学部講義中に、高木「近世数学史談」の中の複素関数論の話を思い出せば
＞講義が「ああ、あれは高木先生の本にあったな」と分かるから理解が早い
近世数学史談は数学書ではない
近世数学史談の中のどうでもいいエピソードだけ思い出しても理解は全く早まらない
さすが大学入れぬ万年浪人 完全に●が違っている
＞オイラー式 e^iΘ＝cosΘ+isinΘを、ドモアブル式とともに覚えておけば
＞第1章の円の17等分の話も、どうということはない
ああ、やっぱり円の17等分の話が全く理解できてないね
オイラー式やドモアブル式だけで、17等分の平行根を用いた表示なんか出てこないよ
＞式 e^iΘ＝cosΘ+isinΘ は、高校で大学への数学のコラムだったかで知って重宝したし
それ複素関数論じゃないし、円分方程式論でもないね
＞当時の数学セミナーにも、円の等分の話もあった気がする
でも何も覚えてないんだろ？ 理解できてないからだよ
＞別に、”第1章の円の17等分の話”で苦労した記憶ないな
それは君が円の17等分の話を全く理解しておらず
単にcos(2π/17)+sin(2π/17)*iと書けばいいと
馬鹿丸出しなこといってるからだよ
838: ガウスが聞いたらこういうよ 「縁無き衆生は度し難し」
839:１３２人目の素数さん
24/01/17 21:27:50.44 1LBM7xkH.net
>>757 そりゃ工学●●は円の17等分の冪根表示なんか生涯使わないからなｗ
840:１３２人目の素数さん
24/01/17 21:31:44.82 1LBM7xkH.net
もうね、オイラー式とかドモアブル式とか言ってる時点で
全然分かってないことがバレバレですなあ
841:１３２人目の素数さん
24/01/17 22:20:39.20 a71VGOMe.net
群が方程式の解の公式とどうやって関わってくるのかという部分を知らなかった俺なんだけど
複素数を絶対値と角度で表す話（？）を聞いてなんとなくわかったような気がしないでもない
842:639
24/01/17 22:52:27.22 a71VGOMe.net
世の中には俺みたいに、頭はそんなによくないけどアイデアマンってタイプの人がいるの知ってほしい
843:１３２人目の素数さん
24/01/18 00:31:54.40 RD6PwLJd.net
>>761-762
セタと同じ誤解をしている可能性がある。
ガロア群の作用というのは、そんなに「見た目」で
明らかというもんじゃないから。「俺様の直観で
分かるんだ」というのがそもそも間違い。
世の中にそんな勘違い野郎はいくらでもいる。
数学では勘違いを「アイデア」とは言わない。
844:１３２人目の素数さん
24/01/18 06:01:17.03 NuU/BP7/.net
素数pに関するp-1次の方程式(x^p-1)/(x-1)の根の置換がどうなっているか
ゲロチューはただの回転と誤解してるようだが
要は・・・フェルマーの小定理
「p を素数とし、 a をｐと素な整数とすると
a^(p-1)≡1 (mod p)」
整数論には全く興味ない、と豪語するゲロチューは全く理解できまい
だからガロア理論が初歩からわからない 決定的な動機が欠けてるから
845:１３２人目の素数さん
24/01/18 06:12:08.73 NuU/BP7/.net
まあ、>>764の方程式の根の置換がわかっても、やっと半分だな
もう半分は、ラグランジュの分解式をどう使うか
まあ、実際やってみれば分かることだが
計算を面倒くさがって自分でやらないゲロチューは全く理解できまい
だからガロア理論が初歩からわからない 必要�
846:ﾈ努力を為さないから
847:１３２人目の素数さん
24/01/18 08:52:29.14 mypCeYv4.net
原始根がキーワード
848:１３２人目の素数さん
24/01/18 09:55:28.42 Q8ip59pc.net
>>761-763
>群が方程式の解の公式とどうやって関わってくるのかという部分を知らなかった俺なんだけど
>複素数を絶対値と角度で表す話（？）を聞いてなんとなくわかったような気がしないでもない
>世の中には俺みたいに、頭はそんなによくないけどアイデアマンってタイプの人がいるの知ってほしい
スレ主です
分かるよ
・論理とアイデアだね。アイデアは大事だよ、想念の飛躍ともいう。論理も大事だが
・”複素数を絶対値と角度で表す話”で合っている。複素平面（ガウス平面）だね（下記）
・平面図形をガウス平面の問題として、e^iΘ＝cosΘ+isinΘ （Θは円周角で実数）として
なお、17等分を三角関数の公式で”平方根だけで解ける”とガウスのしたの話が
高木「近世数学史談」の冒頭の章です
・”平方根だけで解ける”が、「定規とコンパスのみを使う」という古典ユークリッド幾何学の手法を意味することは
ガウスには当然だった
・時代は下って、群論が世に広まったころ、クラインという学者が
「これからは、幾何学も群論で考えよう」みたく提唱して、拍手喝さい
世に”エルランゲンプログラム”、というそうです（下記）
ところで、へぼは易しいことを難しく言い、良く分かっている人は難しいことを易しく説明するという
その例が、ここでもあるようですねｗ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
複素平面
1811年頃にガウスによって導入されたため、ガウス平面 (Gaussian plane) とも呼ばれる[3]。一方、それに先立つ1806年に Jean-
849:Robert Argand（英語版）も同様の手法を用いたため、アルガン図 (Argand Diagram)[4] とも呼ばれている。さらに、それ以前の1797年の Caspar Wessel（英語版）の書簡にも登場している。このように複素数の幾何的表示はガウス以前にも知られていたが、今日用いられているような形式で複素平面を論じたのはガウスである https://ja.wikipedia.org/wiki/%E3%82%A8%E3%83%AB%E3%83%A9%E3%83%B3%E3%82%B2%E3%83%B3%E3%83%BB%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0 エルランゲン・プログラム（独: Erlanger Programm、英: Erlangen program）とは、1872年フェリックス・クラインが23歳でエルランゲン大学の教授職に就く際、幾何学とは何か、どのように研究すべきものかを示した指針である。日本語ではエルランゲン(の)目録と表記される場合もある 概説 古代ギリシアにおいて「幾何学」といえばユークリッド幾何学の事であったが、数学の発展に伴い、様々な幾何学が登場した。その契機の一つは非ユークリッド幾何学の発見であり、双曲幾何学および楕円幾何学というユークリッド幾何学の平行線公理を満たさない新しい幾何学が提唱された。 クラインのエルランゲン・プログラムは、ソフス・リーのTheorie der Transformationsgruppen（変換群の理論、今日で言うリー群の理論）に基づいて[3]、こうした複数の幾何学を統一的な視点で扱うための綱領プログラムを提示する。今日の言葉で言えば、これは幾何学を等質空間とみなす、というものである[2]。（なお古くは等質空間の事をクライン空間（英: Klein space）と呼んだ） すなわち、クラインの意味での幾何学とはリー群Gと、Gが推移的に作用する多様体Xとの組(G,X)の事である
850:１３２人目の素数さん
24/01/18 09:59:26.59 Q8ip59pc.net
>>767 タイポ訂正
なお、17等分を三角関数の公式で”平方根だけで解ける”とガウスのしたの話が
↓
なお、17等分を三角関数の公式で”平方根だけで解ける”とガウスのした話が
851:１３２人目の素数さん
24/01/18 10:19:49.44 4oG1+iiI.net
>>767
>スレ主です
え？熟れ鮨？
>分かるよ
何が？
>論理とアイデアだね。
>アイデアは大事だよ、想念の飛躍ともいう。
>論理も大事だが
論理がダメな奴に限ってアイデアとかいって
とりとめもない妄想ばかりする
さて本題
>”複素数を絶対値と角度で表す話”で合っている。
>複素平面（ガウス平面）だね
万年浪人はその勘違いで終わってる
>平面図形をガウス平面の問題として、
>e^iΘ＝cosΘ+isinΘ （Θは円周角で実数）として
>なお、17等分を三角関数の公式で”平方根だけで解ける”とした
>ガウスの話が高木「近世数学史談」の冒頭の章です
「三角関数の公式で」がウソね
いくらオイラーの公式やドモアブルの公式をいじっても
”平方根だけで解ける”なんて結果は出てこない
>”平方根だけで解ける”が、
>「定規とコンパスのみを使う」という
>古典ユークリッド幾何学の手法を意味することは
>ガウスには当然だった
そこ、どうでもいいけどな
任意のｎ（>=2）等分であっても
ｎより真に小さいｍ乗根で表せる
そこのほうがガロア理論につながる点で重要
>時代は下って、群論が世に広まったころ、クラインという学者が
>「これからは、幾何学も群論で考えよう」
>みたく提唱して、拍手喝さい
>世に”エルランゲンプログラム”、というそうです
ガロア理論とは関係ないけどね
>ところで、
>へぼは易しいことを難しく言い、
>良く分かっている人は難しいことを易しく説明する
>というその例が、ここでもあるようですね
どうも、どこかのだれかさんは
17等分が平方根であらわせる理由が
理解できなくてイラついてるらしいけど
それ、肝心のポイント、取り違えてるからだよ
852:１３２人目の素数さん
24/01/18 10:59:16.96 8WSNCXxa.net
箱寿司や熟れ寿司、押し寿司は天むすと一緒に買って食ってみたけど
食った感じではしめ鯖とか乳酸を発行させた食材と寿司飯とが調和したりして結構美味かった
柿の葉寿司も大体大阪寿司と同様な寿司で美味い
大阪寿司や柿の葉寿司は江戸前寿司とは違う種類の寿司だ
わさび漬けも辛くて美味かった。わさび漬けは上出来で美味い漬物
853: 今度は久し振りに桃屋のごはんですよも食いたいね
854:１３２人目の素数さん
24/01/18 11:01:51.36 4oG1+iiI.net
>>770 それはよかった
855:１３２人目の素数さん
24/01/18 11:22:30.16 J5m3yJ3C.net
>>769
>ガロア理論とは関係ないけどね
素数分布がガロア理論と関係するとすれば
素閉曲線分布も関係する。
856:１３２人目の素数さん
24/01/18 11:35:58.19 Q8ip59pc.net
>>769
>>平面図形をガウス平面の問題として、
>>e^iΘ＝cosΘ+isinΘ （Θは円周角で実数）として
>>なお、17等分を三角関数の公式で”平方根だけで解ける”とした
>>ガウスの話が高木「近世数学史談」の冒頭の章です
>「三角関数の公式で」がウソね
やれやれ
・高木「近世数学史談」を持ってないのか？ 冒頭の章を再度確認しろ！ｗ
・円周等分の話は、下記の円分多項式にも説明がある通りです
・「実際 e^(2πik/n) は k を 1 から n まで変化させると方程式 x^n － 1 = 0 の n 個の異なる根をすべて与える」
「複素平面上にあるこれらの根は単位円の弧を n 等分する。これが円分多項式と呼ばれる所以である」
です
・「三角関数の公式で」、平方根だけで解けると分かって式を導くことと、出来るか不明で解くこととは難易度が違う（前者が易しい）
>>”平方根だけで解ける”が、
>>「定規とコンパスのみを使う」という
>>古典ユークリッド幾何学の手法を意味することは
>ガウスには当然だった
>そこ、どうでもいいけどな
よくない
ここ、ガロア理論の応用として、作図問題の可否で角の三等分とか、普通に取り上げられる題材だよ
URLﾘﾝｸ(ja.wikipedia.org)
円分多項式（えんぶんたこうしき、英: cyclotomic polynomial, 独: Kreisteilungspolynom）とは、1の冪根に関連のある多項式である。具体的には次の式で定義される多項式 Φn(x) を指す。
概要
一般に n 次方程式は代数的閉体において、重根を含め n 個の根を持つ。特に、複素数体は代数的閉体であるから、方程式 x^n － 1 = 0 は複素数の範囲で n 個の根を持つ。
実際 e^(2πik/n) は k を 1 から n まで変化させると方程式 x^n － 1 = 0 の n 個の異なる根をすべて与える。複素平面上にあるこれらの根は単位円の弧を n 等分する。これが円分多項式と呼ばれる所以である。
URLﾘﾝｸ(manabitimes.jp)
高校数学の美しい物語
ギリシアの三大作図問題 2022/12/16
三大作図問題とは
円積問題
立方体倍積問題
角の3等分問題
の3つのことである
作図とは
1.（目盛りの無い）定規で直線を引く
2.コンパスで円を描く
の2つのみを用いて図形をつくることです。
作図問題は，ある図形が作図可能かという問題です。
この記事では，歴史的にも数学的にも重要な三大作図問題を紹介します。古代ギリシアから議論されていたこともあり，ギリシアの三大作図問題とも呼ばれます。
角の3等分問題
角の3等分問題とは，任意に与えられた角を三等分できるかという問題です。
作図可能ではありません（この証明についてはより深くガロア理論を勉強するとわかります。今後の記事にご期待ください）
857:１３２人目の素数さん
24/01/18 11:51:12.23 g9KYpgBC.net
>>773
>高木「近世数学史談」を持ってないのか？
持ってる
>冒頭の章を再度確認しろ！
cosの文字だけみて脊髄反射で安心するんじゃなくて
一度自分の手で計算してみな
そうすればオイラーの公式とかドモアブルの公式だけでは出ないって分かる
>「三角関数の公式で」、平方根だけで解けると分かって式を導くことと、
>出来るか不明で解くこととは難易度が違う
いいわけはいいよ 君がcosの文字だけ見て、勝手に三角関数の公式だけで解けると決めつけてるのはわかる
でも、実際はそうじゃないので計算してみなってこと 君は一度も計算しないから数学が理解できない
>ガロア理論の応用として、作図問題の可否で角の三等分とか、普通に取り上げられる題材だよ
そういうくだらない知識はどうでもいい
ラグランジュの分解式が使えることが
数学科的にも工学部的にも使える技能
なんで君計算しないの？計算嫌いなの？
858:639
24/01/18 12:17:32.01 hwZ9ADcl.net
ちなみに高校でやらされました
「1の3乗根を3つすべて求めよ」
「1の5乗根を5つすべて求めよ」
859:１３２人目の素数さん
24/01/18 12:20:54.31 ghmMWq+m.net
>>775
もしかして、１つが分かっているという前提で
他の全てをドモアブルの公式で計算する問題
だと思ってる？
ガウスが聞いたら嘆くよｗ
860:１３２人目の素数さん
24/01/18 12:27:28.22 J5m3yJ3C.net
>>773
こういう説明は「素人臭い」と言われても仕方がない
861:１３２人目の素数さん
24/01/18 12:55:06.10 hwZ9ADcl.net
>>776
半径（絶対値）が1の複素数ならどれでも同じ要領で解けるというのは感慨深かったです
862:１３２人目の素数さん
24/01/18 13:07:39.21 J5m3yJ3C.net
>>778
全く分かっていないことを誇示したい？
863:１３２人目の素数さん
24/01/18 13:21:30.95 hwZ9ADcl.net
>>779
いえ、例えば
「-1の平方根は2つある。iと-iである。同様にiにも-iにも平方根が2つずつある。すべて求めよ」
とか
864:１３２人目の素数さん
24/01/18 14:36:37.48 RD6PwLJd.net
ID:hwZ9ADcl=昨日のID:a71VGOMe だろ？
何で自分が分かってないことを否定したがるの？
実際、ガロア理論またはガウスの円分論の
レベルではまったく分かってないじゃん。
複素平面上で図示されるということに
とどまる話ではない。
高校数学とは、そもそも問題意識が違いますから
問題意識からしてズレてるのに分かるわけない
残念ながら。
865:１３２人目の素数さん
24/01/18 14:39:21.99 RD6PwLJd.net
ガウスの円分論の一つの到達点は、円分論に
よる平方剰余の相互法則の証明。
平方剰余の相互法則
URLﾘﾝｸ(ja.wikipedia.org)
これは数論なのであって、現代において
ガロア理論が重視される理由も、この関連。
866:１３２人目の素数さん
24/01/18 15:40:28.74 hwZ9ADcl.net
>>781
中身のあること書くとちゃんとレベルがバレるっていう先例にしてくれていいですよ
867:１３２人目の素数さん
24/01/18 15:42:25.27 Q8ip59pc.net
>>777
>こういう説明は「素人臭い」と言われても仕方がない
・まあ、議論の基礎ですから
基礎の共有認識がないと、議論がかみ合わず、すれ違いになります
・なお下記”Root of unity”、先に進むと ”Cyclotomic fields” the Kronecker–Weber theorem "Class Field Theory" に至る
（私はあまり分かっていませんが ；ｐ）
・十七角形の三角関数を使った導出は
下記”Heptadecagon”の”Trigonometric Derivation using nested Quadratic Equations”
にあります
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Root of unity
Cyclotomic fields
Main article: Cyclotomic field
In these cases Galois theory can be written out explicitly in terms of Gaussian periods: this theory from the Disquisitiones Arithmeticae of Gauss was published many years before Galois.[17]
Conversely, every abelian extension of the rationals is such a subfield of a cyclotomic field – this is the content of a theorem of Kronecker, usually called the Kronecker–Weber theorem on the grounds that Weber completed the proof.
References
Milne, James S. (1998). "Algebraic Number Theory". Course Notes.
Milne, James S. (1997). "Class Field Theory". Course Notes.
Neukirch, Jürgen (1999). Algebraische Zahlentheorie. Grundlehren der mathematischen Wissenschaften. Vol. 322. Berlin: Springer-Verlag. ISBN 978-3-540-65399-8. MR 1697859. Zbl 0956.11021.
Neukirch, Jürgen (1986). Class Field Theory. Berlin: Springer-Verlag. ISBN 3-540-15251-2.
URLﾘﾝｸ(en.wikipedia.org)
Heptadecagon
In geometry, a heptadecagon, septadecagon or 17-gon is a seventeen-sided polygon.
Construction
Publication by C. F. Gauss in Intelligenzblatt der allgemeinen Literatur-Zeitung
As 17 is a Fermat prime, the regular heptadecagon is a constructible polygon (that is, one that can be constructed using a compass and unmarked straightedge): this was shown by Carl Friedrich Gauss in 1796 at the age of 19.[1] This proof represented the first progress in regular polygon construction in over 2000 years.[1]
Trigonometric Derivation using nested Quadratic Equations
Combine nested double-angle formula with supplementary-angle formula to get the nested quadratic polynomial below.
略
URLﾘﾝｸ(ja.wikipedia.org)
十七角形
868:１３２人目の素数さん
24/01/18 15:57:51.71 Q8ip59pc.net
>>782
>ガウスの円分論の一つの到達点は、円分論に
>よる平方剰余の相互法則の証明。
>平方剰余の相互法則
>URLﾘﾝｸ(ja.wikipedia.org)
>これは数論なのであって、現代において
>ガロア理論が重視される理由も、この関連。
１）ja.wikipediaを見たら、en.wikipediaをチェックするくせをつけるのがいいぞ
そうすると、”Connection with cyclotomic fields”が見つかる
２）「ガロア理論が重視される理由も、この関連」は
どういう意味か多義だが（言い訳の余地はある）、外れの可能性大だな
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Quadratic reciprocity
Connection with cyclotomic fields
The early proofs of quadratic reciprocity are relatively unilluminating. The situation changed when Gauss used Gauss sums to show that quadratic fields are subfields of cyclotomic fields, and implicitly deduced quadratic reciprocity from a reciprocity theorem for cyclotomic fields. His proof was cast in modern form by later algebraic number theorists. This proof served as a template for class field theory, which can be viewed as a vast generalization of quadratic reciprocity.
Robert Langlands formulated the Langlands program, which gives a conjectural vast generalization of class field theory. He wrote:[27]
略
It was only in Hermann Weyl's book on the algebraic theory of numbers[28] that I appreciated it as anything more.
869:１３２人目の素数さん
24/01/18 16:00:10.73 g9KYpgBC.net
>>784
＞十七角形の三角関数を使った導出は
＞下記”Heptadecagon”の”Trigonometric Derivation using nested Quadratic Equations”
＞にあります
＞URLﾘﾝｸ(en.wikipedia.org)
河東「じゃ、君、何故これで解けるか説明してくれる？」
870:１３２人目の素数さん
24/01/18 16:06:03.67 g9KYpgBC.net
>>785
>ja.wikipediaを見たら、en.wikipediaをチェックするくせをつけるのがいいぞ
日本語でも英語でも関係なく、数式がでたら必ず計算するくせをつけたほうがいいぞ
”Trigonometric Derivation using nested Quadratic Equations”の記述では
Xに関する16次の代数方程式の根が、なぜ平方根だけで表せるか、全く明らかでない
河東「じゃ、君、何故解がそうなるか説明してくれる？」
871:１３２人目の素数さん
24/01/18 16:15:53.34 RD6PwLJd.net
勿論、「数論に興味なし」と言い切るセタ=ID:Q8ip59pc
は何も分かってない。現代において「ガロア群の作用」が
問題になるのはほぼ数論。セタはガロア理論が理解できて
ないことは勿論、なぜ数論と結びつくのかも理解できて
いない。「高木貞治が～」とか言いながらね。
872:１３２人目の素数さん
24/01/18 16:32:45.18 4oG1+iiI.net
>>788
＞勿論、「数論に興味なし」と言い切る、ID:Q8ip59pcは何も分かってない。
だろうね
「日本語版（ja.wikipedia）を見たら、英語版（en.wikipedia）をチェックするくせをつけるのがいいぞ」
とかいってたが、敵国（？）中国語版（zh.wikipedia）は断じて
873:チェックしたくないらしい https://zh.wikipedia.org/wiki/%E5%8D%81%E4%B8%83%E8%BE%B9%E5%BD%A2 まあ、ほぼ答えが書いてあるけど、肝心の「なぜそうすればいいか」は書いてないね そこが「ガロア群の作用」であり「平方剰余」であり「数論」であるわけだが、 ID:Q8ip59pc君は、どれ一つ分かってないだろうね オイラーの公式とかドモアブルの公式とか、トンチンカンなことをいうわけだ
874:１３２人目の素数さん
24/01/18 16:44:00.12 oA/05yPb.net
「ガロア理論」は実用第一の工学屋の問題意識の外にある
「数学ヲタク」的興味の典型だから、工学屋が理解できなくても
まあ、仕方ないな、とは思う
しかし「代数学の基本定理」は実用第一の工学屋の問題意識の中にあるし
回転数を使った証明は、複素関数論の基本が分かってれば、理解できる筈だし
またその考え方自体は他の実用的問題にも使える筈なので、
これ知らないってのは、工学屋としてもダメダメだと言わざるを得ない
要するに方向性が悪い上に努力の量も全然足らないっていう、質も量もダメダメな感じ
875:１３２人目の素数さん
24/01/18 17:07:13.43 hwZ9ADcl.net
>>790
結果しか知らない
負の数、有理数、無理数、実数、複素数
「複素数の演算は複素数で閉じててそれ以上の数の拡張は必要ないことが確かめられてます」
876:１３２人目の素数さん
24/01/18 20:56:17.70 HLe38ueq.net
>>786-789
> 日本語でも英語でも関係なく、数式がでたら必ず計算するくせをつけたほうがいいぞ
> ”Trigonometric Derivation using nested Quadratic Equations”の記述では
> Xに関する16次の代数方程式の根が、なぜ平方根だけで表せるか、全く明らかでない
>河東「じゃ、君、何故解がそうなるか説明してくれる？
「車輪の再発明」は、必要ない！
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
車輪の再発明
車輪の再発明（しゃりんのさいはつめい、英: reinventing the wheel）とは、「広く受け入れられ確立されている技術や解決法を（知らずに、または意図的に無視して）再び一から作ること」を指すための慣用句。誰でも直観的にその意味が分かるように、車輪という誰でも知っていて古くから広く使われている既存の技術を比喩の題材として使った慣用表現で、世界中で使われている。
概要
古くから皆に使われている技術や技法をそのまま模倣して利用すれば、時間や労力を使わずに済む。それにも関わらずアイディアを練る段階から始めていては時間・労力・コストなどの無駄となってしまうことから、時間の浪費、無駄な努力、愚かなこと、ばかばかしいこと、といったニュアンスで用いられる
(引用終り)
さて
下記の「石動高校 片山喜美」をご覧あれ
すでに車輪が発明されているぞ
注意）ラグランジュの分解式は使われていないことを、強調しておきます！ｗ
(参考)
URLﾘﾝｸ(ja9nfo.web.)エフシーシー.com/math/201904-Gauss17kakukei.pdf
正17角形の作図とガウス周期について
2019 年春
石動高校 片山喜美
正 17 角形の作図可能性については、ガウス周期を用いて考える。ところがガウス周期
について解説している本はあまりない。僕の知っているのは、ポストニコフ著「ガロアの
理論」（東京図書）くらいであった。
そんな中、2017 年に発刊された、栗原将人著「ガウスの数論世界をゆく」に、分かり
やすい解説が載っていた。この本を読んで、自分なりに計算してみた。
P7
3 正17角形の作図について
3.1 ガウスのアイディアによる cos 2π/17 の計算
１を除く ζ, ζ^2, ζ^3, · · · · · · , ζ^16 を上手に並べて、それを２分割、４分割、８分割していく。
P8
従って、 a1, a2 は、２次方程式 x^2 + x － 4
877: = 0 の２つの解である。 2 次方程式を解いて、 x = (－1 ±√17)/2 P9 3.3 4 分割 P10 3.4 ８分割 P11 c1 = ζ + ζ^16 = 2cos 2π/17 > 0 であるから cos 2π/17＝略 P14 4.2 ガウスの積公式 ここまでの一連の計算は、ガウスが 19 歳の時に思いついて方法だという。ガウスは、 さらに数論の発展した内容に進むため、計算方法について工夫を加えたようである。栗原 将人著「ガウスの数論世界をゆく」（数学書房 2017 年）では、ガウスの論文をもとに分か り易く解説してある。ここでは、それをもとに、まず F×17 に限定して考察してみる。さら に、一般の奇素数 p についても考察してみる つづく
878:１３２人目の素数さん
24/01/18 20:56:37.39 HLe38ueq.net
つづき
URLﾘﾝｸ(ja9nfo.web.)エフシーシー.com/math/20190712Gauss-2ji-Shuuki.pdf
２次ガウス周期の基本定理に関するノート
2019 年夏
石動高校 片山 喜美
定規とコンパスを使って正 17 角形の作図が可能であることを、19 歳のガウスは、１の
17 乗根のうち１を除く 16 個の虚数ををうまく並べて、それを２分割したものの和を計算
し、次に４分割したものの和、さらに、８分割したものの和を順次計算していくことで示
した。いわゆるガウスのｆ項周期のアイディアである。
概略としては、以下に述べるようなことである
略
(引用終り)
以上
879:１３２人目の素数さん
24/01/18 21:09:36.89 NuU/BP7/.net
>>792
>>河東「じゃ、君、何故解がそうなるか説明してくれる？
>「車輪の再発明」は、必要ない！
説明できないんですね 失格！
>すでに車輪が発明されているぞ
>注意）ラグランジュの分解式は使われていないことを、強調しておきます！
いや、おもいっきりつかってるけど
君が気づかんだけで
2次方程式の2つの根a1,a2に対して、
a1+a2、a1-a2 がラグランジュの分解式だから
君、もしかして全く気づいてなかったんか？
880:１３２人目の素数さん
24/01/18 21:17:57.02 HLe38ueq.net
さらに
下記 杉岡幹生 「ガロア理論講義」（足立恒雄著、日本評論社）P137に
”なんと cos(2π/17)が√ばかりで表現されたものがズバリ出ている”
とあるよ
実際、手元の「ガロア理論講義」足立本のP133～137で、きっちりその導出まで 記されている。
（下記 5 ガロア理論とその応用 の 5.7円分体のところだ）
ほぼ５ページ分あり、これを全文転記することは、憚られるのでやらない
どこか、図書館なり書店のチラ見か自分で買うなりしてくれ
(参考)
//さくら/koramu2/15872_l1.pdf
ガウスの cos(2π/17)の√表現と L(1)１７分身、L(1)微分方程式の行列表現の一例（最後）
2020.9.27 杉岡幹生
「ガロア理論講義」（足立恒雄著、日本評論社）を昨日ふっと
開けると、p.137 に、なんと cos(2π/17)が√ばかりで表現されたものがズバリ出ているではないか！！
しかも、正十七角形作図でガウスが求めた結果として出ている。
つづく
881:１３２人目の素数さん
24/01/18 21:18:18.81 HLe38ueq.net
つづき
URLﾘﾝｸ(www.)アマゾン
ガロア理論講義 (日評数学選書) 単行本 – 2003/4/1
足立 恒雄 (著)
書評
ido
5つ星のうち4.0 ツボを押えた説明がうれしい教科書。ただし、知りたいことと本の内容が合っているのか確かめてから読み始めましょう
2020年9月1日に日本でレビュー済み
目次：
1 ギリシャの作図不能問題(23ページ)
2 代数系入門(33ページ)
3 有限体論(10ページ)
4 体論(14ページ)
5 ガロア理論とその応用(43ページ)
6 ガロア群の決定(32ページ)
7 無限次ガロア拡大の理論(23ページ)
A.1 シローの定理
A.2 置換群
A.3 可解群・冪零群
B 問題略解
あとがき・索引・記号索引
こういった内容なので、"5次方程式の解の公式はない"理由を知りたく
882:て、それにはガロワ理論を理解しておく必要があるらしい、と思っている人たちにとっては、必要以上に記事が多すぎる本になっているかもしれません。たとえば、3、4、7は、方程式の解の研究の舞台であるQ[α](=有理数の全体に何か代数方程式の解を追加してできる体)とは別の世界についても考えてみよう、という章です また、特にイラチな人は、1、2、6.2、6.3も読み飛ばしたくなるかもしれません でも、ガロワ理論(いろいろな体のなりたちを記述するツールとしての)そのものを学ぼうとしているのなら、この本の内容はまさにいいトコロを押えていると思います (引用終り) 以上
883:１３２人目の素数さん
24/01/18 21:21:50.20 HLe38ueq.net
(参考)追加４件
URLﾘﾝｸ(nalab.mind.meiji.ac.jp)
2017 年度桂田研究室卒業レポート
定規とコンパスによって作図可能な正多角形の条件と
正１７角形の作図
明治大学 総合数理学部 現象数理学科
松本夏樹
指導教員：桂田祐史 准教授
URLﾘﾝｸ(www2.tsuda.ac.jp)
第20回数学史シンポジウム(2009.10.17〜18) 所報 31 2010
杉本敏夫 関とガウスの正十七角形（下）
§13. ガウスの整数論[7] ガウスの整数論、 特にその第7章 「円の分割を定める方程式」は《円分論》
であり、正十七角形の作図を扱う。以下 [7] 高瀬氏の翻訳、[8] Bühler のガウス
伝、[9]Mathews の整数論などを参照して簡潔に述べる。 [10]
URLﾘﾝｸ(www2.tsuda.ac.jp)
第21回数学史シンポジウム(2010.10.9〜10) 所報 32 2011
杉本敏夫 ガウスの整数論の形成への試論
P12
§ 13. ガウスの秘密主義
ガウスは (先輩ルジャンドルへの態度と同様) ヴァンデルモンドの論文を読んだと思われるのに、ヒタ隠しにした。この事情は [10] ルベーグに詳しい。 ガウスがヴァンデルモンドの位置解析(トポロジー)の論文を読んだことは、1802年10月2日付けのオルバース宛の手紙からも明らかである。
ガウスがこの論文を読んだ可能性は非常に高いが、秘して語らない。
ヴァンデルモンドが用いた 「1の 11 乗根」 ! それは円の分割から得られる有限個の「虚数」である。 法p で考えた (有限個の) 数もまた、 1, 2, ., 11 まで数えれば、再び1に戻る。 全く異なる対象であっても、 法 11 で考えた有限個の数と 「円分数」とは完全に対応する! ガウスはここに《密接な対応を読み取った》に違いない。 法 11の数とヴァンデルモンドの十一次方程式の根との関係は、完全に平行している!
URLﾘﾝｸ(ja9nfo.web.)エフシーシー.com/math/math.htm
数学の資料、発表原稿 など 片山 喜美
・ガウス周期に関するノート その1(pdf file）
栗原将人著「ガウスの数論世界をいく」（数学書房）の正17角形の作図、ガウスの2次周期、平方剰余の相互法則について学習したノート。昨年のノートより少し理解が進んだと思う。
・ガウス周期に関するノート その2(pdf file）
4次ガウス周期についてのノート。[1]_4 [g^2]_4 の計算について、見通しよくしたつもりである。また、a^2+b^2=p の整数解を考えるところで、環準同型の核に結びつける解釈をしてみた。
884:１３２人目の素数さん
24/01/18 21:23:57.49 NuU/BP7/.net
杉岡幹生
＞私は三角関数の公式だけで出そうとしていたのだが。。
＞（その方法でもできる気がする）
馬鹿は己の馬鹿に気づけず
ID:HLe38ueqって、杉岡幹生とかいうトンデモ？
885:１３２人目の素数さん
24/01/18 21:37:45.61 HLe38ueq.net
>>794
>>>河東「じゃ、君、何故解がそうなるか説明してくれる？
>>「車輪の再発明」は、必要ない！
>説明できないんですね 失格！
ガロア理論で荒筋を説明すれば
・円の17等分方程式 x^17-1＝0 を x-1 で割って既約な方程式にする
・その方程式のガロア群は、位数16の巡回群になる
・位数16の巡回群の性質から、正規部分群の組成列が存在する
・正規部分群の組成列より、>>792 「石動高校 片山喜美」
の”4 分割”、”８分割”を反映した補助方程式が存在して
それが、cos 2π/17の平方根を使った解の表現が存在につながっている
ガロア理論の概略上記の通りであり
仔細は>>792 「石動高校 片山喜美」を ご参照あれ！
886:１３２人目の素数さん
24/01/18 21:43:16.63 HLe38ueq.net
>>794
>>すでに車輪が発明されているぞ
>>注意）ラグランジュの分解式は使われていないことを、強調しておきます！
>いや、おもいっきりつかってるけど
>君が気づかんだけで
>2次方程式の2つの根a1,a2に対して、
>a1+a2、a1-a2 がラグランジュの分解式だから
理屈な！ （だったかな？ ；ｐ）
だが待て！ｗ 2次方程式では、a1-a2のみが ”ラグランジュの分解式”だろ？ｗ
887:１３２人目の素数さん
24/01/18 21:53:55.60 NuU/BP7/.net
>>799
>・円の17等分方程式 x^17-1＝0 を x-1 で割って既約な方程式にする
そこは馬鹿でもわかる
>・その方程式のガロア群は、位数16の巡回群になる
君が分かってるか質問
１.巡回群の生成元は何？
>位数16の巡回群の性質から、正規部分群の組成列が存在する
>正規部分群の組成列より、”２分割”、”4 分割”、”８分割”
>を反映した補助方程式が存在して、それが、
>cos 2π/17の平方根を使った解の表現が存在につながっている
君が分かってるかさらに質問
2.”２分割”、”４分割”、”８分割”に対応する部分群の生成元は何？
さて答えられるかな？（ニヤニヤ）
888:１３２人目の素数さん
24/01/18 21:54:49.30 HLe38ueq.net
>>798
ありがと
杉岡幹生さんね
アマチュア数学者みたいだね
でも、本出している（下記）
自費出版か
まあ>>795 は、「ガロア理論講義」足立本の話だから
その内容は、杉岡幹生さんには 影響されない
URLﾘﾝｸ(www.)アマゾン
初等数学によるゼータ関数の探求 ペーパーバック – 2021/4/15
杉岡幹生 (著), 武捨貴昭 (著)
登録情報
出版社 ‏ : ‎ パブフル (2021/4/15)
本書ではオイラーの時代に戻って微積分等、初歩的な数学の範囲でゼータの姿を探求することを試みた。ここで提起された問題はなぜ偶数のゼータに簡単な表現が見いだせるのに奇数のゼータの単純な形の特殊値が見いだせないかの理由やオイラーが提起した奇数ゼータの表現式の可否、ゼータの特殊値が全て円周率のべき乗と有理数の積で表せないことや、素数の逆数和がある数を超える素数はどのくらいの大きさであるのか、またメルセンヌ素数との関連等について得られた結果を述べたものである。本書はオイラー以降、光の当たっていないゼータ関数の様々な性質等を探求したものであり、また本書の結果がプロの数学者の領域でなく、アマチュアレベルで新しい発見があったということを示すものである。
889:１３２人目の素数さん
24/01/18 21:56:33.21 mypCeYv4.net
片岡喜美さんは
北岡良之さんのお弟子さんだったと思う。
890:１３２人目の素数さん
24/01/18 21:57:59.96 HLe38ueq.net
>>801
ありがと
あとは、各自下記へどぞ
ｽﾚﾘﾝｸ(math板)
分からない問題はここに書いてね 472
891:１３２人目の素数さん
24/01/18 22:02:29.92 NuU/BP7/.net
>>804
君、そうやって自分の無理解から逃げるから
いつまでたってもガロア理論も円分体の理論も
全く理解できずにトンデモな間違いを繰り返すんだよ
頑張って答えな これ乗り越えないと
君は死ぬまでガロア理論も円分論も理解できないよ
892:１３２人目の素数さん
24/01/18 22:02:43.87 HLe38ueq.net
>>803
>片岡喜美さんは
>北岡良之さんのお弟子さんだったと思う。
ありがとうございます
北岡良之さん、不勉強で初見です
下記ですか
なるほど、”理学博士(名古屋大学)”か
URLﾘﾝｸ(researchmap.jp)
北岡 良之
キ�
893:^オカ ヨシユキ (Yoshiyuki Kitaoka) 基本情報 所属名城大学 理工学部 数学科 教授 学位 理学修士(名古屋大学) 理学博士(名古屋大学)
894:１３２人目の素数さん
24/01/18 22:04:00.88 aQdyHjTe.net
>>767-769
基本群とガロア群は似てる。というか同一。
895:１３２人目の素数さん
24/01/18 22:08:13.32 NuU/BP7/.net
１～１６を群 Z17✕ の要素とする
１から各元を順繰りに回すにはどうすればいいか？
分かってる人には実に簡単だが、
ID:HLe38ueq は全然分かってないから即答できない
哀れな奴だ
896:１３２人目の素数さん
24/01/18 22:09:15.52 mypCeYv4.net
基本群とラプラシアン
897:１３２人目の素数さん
24/01/18 22:10:53.41 mypCeYv4.net
>>808
知っているかどうかだけ
898:１３２人目の素数さん
24/01/18 22:11:49.79 NuU/BP7/.net
>>801の問に答えられれば、分割の仕方も分かる
ID:HLe38ueq は、なぜ分割がそうなるかわかってない
それは>>801の問の答えが分かってないから
899:１３２人目の素数さん
24/01/18 22:13:13.80 NuU/BP7/.net
>>810 知らないで「ガロアがー」と10年吠えてたID:HLe38ueqは万年浪人の馬鹿ｗ
900:１３２人目の素数さん
24/01/18 22:16:52.89 mypCeYv4.net
大学の教員でも知らない人が案外多かったりして
901:１３２人目の素数さん
24/01/18 22:19:59.87 NuU/BP7/.net
>>813 代数学が専門なら知ってて当然かと
902:１３２人目の素数さん
24/01/18 22:20:39.07 NuU/BP7/.net
ID:HLe38ueq は大学行ってないから知らんでも当然かｗ
903:１３２人目の素数さん
24/01/18 22:22:46.79 NuU/BP7/.net
だからいってるだろう
大学行けなかった万年浪人が
ガロア理論ガーとかシッタカハナタカすんなと
分かりもせんのに分かったと嘘つくから恥かく
最初からわかりませーんといえばいい
なんで嘘つくかなあ 万年浪人
904:１３２人目の素数さん
24/01/19 00:10:43.67 MZK4Ehj2.net
p:素数のとき円分多項式Φ_p(x)=(x^p-1)/(x-1)の根は
「exp(2kπi/p)=cos(2kπ/p)+i*sin(2kπ/p), (k=1,...,p-1)
であり、ガウス平面において単位円の幾何学的p等分点
（ただし z=1を除く）として図示される。」
これは、オイラーの公式とガウス平面についての一般的
事実しか使っていない。こういうのは数論でもガロア理論
でもない。では数論的・ガロア理論的な現象とは何か？
「Φ_17(x)=0は、有理数体Qから出発して、平方根を
有限回開くことで解ける」これは勿論それに該当するが
次のような例もある。
Φ_p(x)は ある2次体Q(√d)上で2つの多項式の積に因数分解する。
905:１３２人目の素数さん
24/01/19 00:12:11.02 MZK4Ehj2.net
例:
Φ_5(x)=(x^2+(1-√5)x/2+1)(x^2+(1+√5)x/2+1)
Φ_7(x)=(x^3+(1-i√7)x^2/2+(-1-i√7)x/2-1)(x^3+(1+i√7)x^2/2+(-1+i√7)x/2-1)
Φ_11(x)=(x^5+(1-i√11)x^4/2-x^3+x^2-(1+i√11)x/2-1)(x^5+(1+i√11)x^4/2-x^3+x^2-(1-i√11)x/2-1)
Φ_13(x)=(x^6+(1-√13)x^5/2+2x^4-(1+√13)x^3+2x^2+(1-√13)x/2+1)(x^6+(1+√13)x^5/2+2x^4-(1-√13)x^3+2x^2+(1+√13)x/2+1)
関連する練習問題。
問1
Φ_p(x)が因数分解する2次体Q(√d)は何であるか？
一意的に定まるsquare-free整数dをpの函数として表せ。
問2
上記の因数分解によってΦ_p(x)=0の根は二分されるが
どのような集合に二分されるか記述せよ。
906:１３２人目の素数さん
24/01/19 11:53:51.09 cbeVFClI.net
>>774
>>高木「近世数学史談」を持ってないのか？
> 持ってる
>>冒頭の章を再度確認しろ！
> cosの文字だけみて脊髄反射で安心するんじゃなくて
> 一度自分の手で計算してみな
> そうすればオイラーの公式とかドモアブルの公式だけでは出ないって分かる
>>「三角関数の公式で」、平方根だけで解けると分かって式を導くことと、
>>出来るか不明で解くこととは難易度が違う
> いいわけはいいよ 君がcosの文字だけ見て、勝手に三角関数の公式だけで解けると決めつけてるのはわかる
> でも、実際はそうじゃないので計算してみなってこと 君は一度も計算しないから数学が理解できない
ここに
戻る
１）数学のセンス悪いんじゃないの？
高木「近世数学史談」冒頭の章を見れば cos 2π/17 が
「三角関数の公式を使って、平方根で表せる」ことが分かる ということを言ったのに
それを否定したのはあなたですよ
ラグランジュの分解式が必須と思い込んだんだね（石井本「ガロア 頂を踏む」で勉強したあなたは）
２）石井本は、ガ�
907:鴻A理論の応用にはあまり踏み込んでいない 作図問題、例えば円の17等分とかにはね しかし、大学レベルの普通のガロア本では、応用として作図問題を扱う本多い 勉強不足だよ ３）「三角関数の公式を使って、平方根で表せる」は、下記de.wikipediaなどを自分で勉強してね 本質は、x^17-1=0 をx-1で割った方程式のガロア群が位数16の巡回群になるってこと 位数16の巡回群の正規部分群の組成列から、平方根で表す式が導かれる 詳しくは、下記de.wikipediaや ガウスDA(高瀬訳など) つづく
908:１３２人目の素数さん
24/01/19 11:54:09.75 cbeVFClI.net
つづき
(参考)
URLﾘﾝｸ(de.wikipedia.org)
（Edge 独→英訳：Edgeは、右クリックメニューで英訳が選べるよ）
Seventeagon
Mathematical background
Gauss's discovery is based on a solution to the circular division equation
x^17-1=0 whose solutions – the seventeenth unit roots – form a regular seventeenth with radius 1 in the Gaussian number plane of complex numbers.
In 1796, as an 18-year-old, Gauss recognized this possibility: "Through strenuous reflection ... In the morning... (before I got out of bed)"[4] due to general number-theoretic properties of prime numbers, in this case specifically the prime number 17: The modulo of a prime number
p formed by 0 different residual classes
1,・・・ ,p-1 can be used as potencies
g^0=1,g^1=g,g^2,dotsc ,g^p-2 a suitably chosen number
g, called primitive root. In particular, in the case of
p=17 can be concretely
g=3 as a recursive calculation of the powers shows:
3^0=1, 3^1=3・1=3, 3^2=3・3=9, 3^3=3・9 mod 17=10, 3^4=3・10 mod 17=13,
5, 15, 11, 16, 14, 8, 7, 4, 12, 2, 6
If you now sort the 17th unit roots of 1 different according to the order, i.e. in the order
ζ , ζ ^3, ζ ^9, ζ ^10, ζ ^13, ζ ^5, ζ ^15, ζ ^11, ζ ^16, ζ ^14, ζ ^8, ζ ^7, ζ ^4, ζ ^12, ζ ^2, ζ ^6,
thus, by partial summation of every second, every fourth, or every eighth unit root from this list, one obtains the so-called Gaussian periods: two 8-membered periods with 8 summands each, four 4-membered periods with 4 summands each, and eight 2-membered periods with 2 summands each. On the basis of fundamental properties or through explicit computation, it can be shown:[5]
・The two 8-part periods are solutions of a quadratic equation with whole coefficients.
・The four 4-part periods are solutions of two quadratic equations whose coefficients are calculable from the 8-part periods.
・The eight 2-part periods are solutions of four quadratic equations, the coefficients of which are calculable from the 4-part periods.
For the two-part period to the "first" unitary root,
ζ +ζ ^16=ζ +ζ ^-1=2cos(2π /17).
The described approach can be analogously applied to any prime number of the form
2^2^k+1 carry out. Five such prime numbers, called "Fermat's primes", are known: 3, 5, 17, 257, 65537. Therefore, the regular 257 vertex and the regular 65537 vertex are also among the constructable polygons.
つづく
909:１３２人目の素数さん
24/01/19 11:54:23.95 cbeVFClI.net
つづき
URLﾘﾝｸ(ja.wikipedia.org)
組成列（そせいれつ、英: composition series）は、抽象代数学における概念の一つであり、与えられた群や加群といった代数的�
910:\造を、代数的により単純な構造の単純群や単純加群に分解する手掛かりを与えるものである。組成列が存在するという条件は、有限個の単純（加）群の直積（直和）に書けるという条件よりも弱い。また、組成列が存在すれば、それはある意味で一意的である。 (ジョルダン・ヘルダーの定理) https://ja.wikipedia.org/wiki/Disquisitiones_Arithmeticae Disquisitiones Arithmeticae（ディスクィジティオネス・アリトメティカエ、ラテン語で算術研究の意、以下 D. A. と略す）は、カール・フリードリヒ・ガウス唯一の著書にして、後年の数論の研究に多大な影響を与えた書物である。1801年、ガウス24歳のときに公刊された。その研究の端緒はガウス17歳の1795年にまでさかのぼり、1797年にはほぼ原稿は完成していた[1]。 D. A. を『数論研究』と訳している書物もある[4]し、高瀬正仁による最初の D. A. の完全な日本語訳の書名は『ガウス整数論』である。 (引用終り) 以上
911:１３２人目の素数さん
24/01/19 12:27:53.42 mecQ2PBC.net
>>819
>高木「近世数学史談」冒頭の章を見れば
>cos 2π/17 が「三角関数の公式を使って、平方根で表せる」
>ことが分かる ということを言った
２つの点で間違ってる
第一点は、そもそも通常の多項式計算と
1の原始17条根の指数に関する
mod17の算術の計算ができればいいので
三角関数の公式を知ってる必要はないし
そこは全く本質ではない
第二点は、上記の計算方法を知ってるだけでは
平方根で表せるとする、ガウスのアイデアは思いつけない
そのアイデアはmod17の算術の乗法群にはかかわるが
三角関数（より根本的には指数の計算）からは
まったく出てこない
要するに、ID:cbeVFClI氏は全然分かってない
>ラグランジュの分解式、が必須と思い込んだんだね
端的にいえば、「ラグランジュの分解式」以前に
「根の巡回置換」が必要
で、察するに、ID:cbeVFClI氏は
円の17等分方程式を解くにあたり、
その16個（17個にあらず！）の根を
どう巡回置換させるか今だに誤解している
と思うが如何？
912:１３２人目の素数さん
24/01/19 12:34:19.33 mecQ2PBC.net
>>819
>石井本は、ガロア理論の応用にはあまり踏み込んでいない
>作図問題、例えば円の17等分とかにはね
>しかし、大学レベルの普通のガロア本では、
>応用として作図問題を扱う本多い
石井本が理解できていれば、作図問題は解決できる
そもそも、ID:cbeVFClI氏は、石井本の当該箇所を
一度も読んでいないか、読んだとしても内容を理解していない
と思われる もし読んで理解していたら、
「三角関数の公式で」なんてことは言わない
要点はそこではないから
まず読んで理解されたし
話はそれからだ
（理解したならもはや話すことなどないだろうが）
913:１３２人目の素数さん
24/01/19 12:40:31.25 SNfY5Qky.net
>>819
>本質は、x^17-1=0 をx-1で割った方程式のガロア群が位数16の巡回群になるってこと
しかし、ID:cbeVFClI氏は、どういう置換で巡回するか、一度も説明していない
それは、まったく理解していないからだと推測するが、如何？
>位数16の巡回群の正規部分群の組成列から、平方根で表す式が導かれる
どういう操作で巡回するかが分かれば、どういう部分群がとれるか、具体的に分かる
「分割」はそのような方法で求めている
私はもちろん理解しているが、ID:cbeVFClI氏、あなたは理解できているか？
実は全く理解できていないと推測するが、如何？
理解してたら、de.wikipediaのコピペではなく
自分が書いた日本語の文章で説明できる
君は>>820でコピペした文章の意味が全く理解できていない、と推測するが如何？
914:１３２人目の素数さん
24/01/19 12:45:46.98 mecQ2PBC.net
そもそも、ID:cbeVFClI氏は、検索のセンスすらない
はっきりもうしあげるが、私なら以下のリンクしか示さない
必要なことは、みなそこに書いてある
URLﾘﾝｸ(mathlog.info)
上記のリンクはすでに2022年の年末には示されていた
もしその時点で読んで理解していたら
「三角関数の公式で」なんてトンチンカンなことはいわない
つまり、ID:cbeVFClI氏は読んでいないか読んでも理解できなかったかいずれか
だから、いくらwikipediaの文章なんてコピペしてもむだ
書いてあることを読んでいないなら愚か者のままだから
915:１３２人目の素数さん
24/01/19 12:54:30.21 umG0EYLk.net
>>820
ID:cbeVFClI氏は、コピペしか能がないらしいが
私なら、速攻でmod17の乗法計算のEXCELシートを作る
読みもせず読んでも理解もできない文章なんかいくら書いても馬鹿のままだが
乗法計算のシートをつくれば書いてあることが正しいと確認できる
数学の学習とはそういうものであって、書いてあることを鵜呑みにして覚えることではない
916:１３２人目の素数さん
24/01/19 14:11:48.84 ry6nkl+T.net
「組成列の中で隣り合う2つの群の差分（的なもの）が単純群だと思っていいのかな」
なんていう基礎すらおぼつかない状態でも
「与えられた任意の位数nの群すべてを多項式時間で見つけ出すアルゴリズムが存在する」
だとか、それがどうやら否定的な見込みなので
「与えられた任意の群が単純群かどうかを多項式時間で判定できる」
だとか、証明は無理でも予想ならなんとかなるもので、
コンプレックスみたいなのはもう無い
917:１３２人目の素数さん
24/01/19 16:35:31.06 DrVCZRMm.net
>>827
>組成列の中で隣り合う2つの群の差分（的なもの）が単純群だと思っていいのかな
差分って何すか？ 剰余群のこといってますか？
918:１３２人目の素数さん
24/01/19 17:04:51.20 ry6nkl+T.net
>>828
はい、その剰余群のことをいってる可能性が高いです
919:１３２人目の素数さん
24/01/19 17:31:37.62 DrVCZRMm.net
>>829
ん？言ってるのは君自身じゃないんですか？
で、単純群がとかなんとかいってたみたいだけど、結局何がいいたかったの？
920:639
24/01/19 18:09:05.27 ry6nkl+T.net
>>830
言ってるのは俺自身ですがちゃんと理解してるか怪しいのも俺自身です
素数判定のように、単純群判定にも多項式時間のアルゴリズムが存在するだろうという「予想」です
921:１３２人目の素数さん
24/01/19 18:36:37.67 DrVCZRMm.net
>>831
＞単純群判定にも多項式時間のアルゴリズムが存在するだろうという「予想」です
ふーん なんで単純群にこだわってんのかはわかんないけど、判定したいのね
922:１３２人目の素数さん
24/01/19 20:34:03.55 ry6nkl+T.net
>>832
判定したい
マグマが群かどうかを
群が単純群かどうかを
923:１３２人目の素数さん
24/01/19 21:13:11.78 DrVCZRMm.net
>>833
＞判定したい
なぜ？
924:１３２人目の素数さん
24/01/19 21:44:44.17 x4ecJRVq.net
>>825
>はっきりもうしあげるが、私なら以下のリンクしか示さない
>必要なことは、みなそこに書いてある
>URLﾘﾝｸ(mathlog.info)
１）おっさん、そのサイトは別スレで 君が「ラグランジュの分解式が分かった」叫んだときに
私が取り上げたのじゃないかい？
２）いや、そもそも 君は ガウスDAの高瀬訳本（下記）を 持ってないでしょ？ｗ
私は持っていて、いま手元にある
３）DA 第7章 円の分割を定める方程式 で、第353節が "n=19 この場合n-1=3・3・2 となるから
根Ωの探索は二つの三次方程式と一つの二次方程式の解法に帰着される・・・"とあります
さらに、第354節が "n=17 この場合n-1=2・2・2・2 となる。
従って、根Ωの探索は四つの二次方程式の解法に帰着される。
ここで原始根として数3を採用したい・・・"とありますね
４）ところで、私が主にネット検索のネタで話をするのは
「ガウスDAの内容と同じことが、ネット上にあるだろう」ってこと
例えば大学の講義pdfや
町の数学愛好家のブログなどを見つけることができれば
その方がお互いのためで、こちらもコピーが楽だし 見ている多くの人はガウスDA持ってないだろう
と思うからですよ
で上記の”URLﾘﾝｸ(mathlog.info)”は、これはこれでいいけど
やっぱ ガウスDAも良いよ いまあらためて見て、そう思うわ
じゃあな
URLﾘﾝｸ(www.)アマゾン
ガウス 整数論 (数学史叢書) 単行本 – 1995/6/1
カール・フリードリヒ ガウス (著),出版社 ‏ : ‎ 朝倉書店 ￥10,780
書評
くりびつ
5つ星のうち5.0 日本の宝
2011年7月3日に日本でレビュー済み
Amazonで購入
ガウスによる唯一の著作であるこの本の原著は世界の宝でしょう。
ガウスの数学に対する真摯さ・厳しさが感じられます。膨大な計算に裏打ちされ、そこから抽象された「数の関係を表す美しい基本定理」。単なる問題解きやパズルでない、本当に数学が進むべき道を示してくれているように感じました。数学は、この先も発展・進化していくと思いますが、いつでも戻るべきはこの『ガウス整数論』であると思います。
驚くのは、ガウスがこの著作を構想・出版したのが二十歳前後だということです。
私は、高校の数学教師を目指して採用試験の勉強をしているのですが、試験1ヶ月前だというのに、本書と本書の翻訳者である高瀬正仁さんの『ガウスの数論〜わたしのガウス』にはまってしまいました。しかし、この本に出会えたことは数学教師にとっても人生にとってもかけがえのないものになると思います。
最後に、ラテン語で書かれた原著を翻訳するにはラテン語ができるだけでなく数学にも通じてないといけない(その証拠に英語版には数学が分かっていないための誤訳が随所に見られるそうです。)わけで、それをやり遂げた高瀬さんには本当に頭が下がります。本書同様、日本の宝です。
925:１３２人目の素数さん
24/01/19 22:19:49.44 ry6nkl+T.net
>>834
コンピュータの歴史が、まだ全部入れても100年にも満たないからです
予想でも何でも「今のうちに言っておけ」的な動機ですね
926:１３２人目の素数さん
24/01/19 23:03:58.13 5wD4O50v.net
飯高ゼミでは最初にアーベル論文の青焼きコピーが配られ
次いでラグランジュの論文が配られた。
最後に希望者だけに
アーベルの楕円関数の論文の青焼きが配られた。
927:１３２人目の素数さん
24/01/20 04:48:06.43 ZI2XMcg7.net
>>835
>おっさん
おっさんはどっちだよ
>そのサイトは…私が取り上げたのじゃないかい？
でも、おっさん、読んでないんだろ？ 意味ないじゃん
>君は ガウスDAの高瀬訳本を 持ってないでしょ？
>私は持っていて、いま手元にある
でも、おっさん、読んでないんだろ？
手元だか足元だか知らんけど読んでない理解してないんじゃただの紙屑じゃん
今すぐ売ったら？
928:１３２人目の素数さん
24/01/20 04:54:02.70 ZI2XMcg7.net
>>835
>DA 第7章 円の分割を定める方程式 で、第353節が
>"n=19 この場合n-1=3・3・2 となるから
>根Ωの探索は二つの三次方程式と一つの二次方程式の解法に帰着される・・・"
>とあります さらに、第354節が
>"n=17 この場合n-1=2・2・2・2 となる。
>従って、根Ωの探索は四つの二次方程式の解法に帰着される。
>ここで原始根として数3を採用したい・・・"とありますね
おっさん、「原始根で数3を採用・・・」って何いってんだか分かってる？
で、ほかにどんな数が採用できるか、分かってる？
また、「2分割」「４分割」「８分割」で、どんな根をとればいいか分かってる？
で、なんでそれで計算できるか、一度でも自分で計算して理解してる？
全然やってないんでしょ？ただ文章だけ読んで記憶してるだけでしょ？
それ文系の勉強法じゃん ぜんぜん理系じゃないじゃん 計算してないんだから
929:１３２人目の素数さん
24/01/20 05:04:10.78 ZI2XMcg7.net
>>835
>ところで、私が主にネット検索のネタで話をするのは
中身を理解してないからでしょ？
>「ガウスDAの内容と同じことが、ネット上にあるだろう」
なかったら話しないの？ 意味ないじゃん
>例えば大学の講義pdfや町の数学愛好家のブログなどを見つけることができれば
>その方がお互いのためで、こちらもコピーが楽だし
まず、自分が理解して、文章書いたほうが話が早いじゃん なんでそうしないの？
理解してないことなら、何も書かずに黙りなよ そうすれば突っ込まれないじゃん
何も分かってないのに、分かったと嘘ついて何の意味あんの？ 馬鹿なの？
>見ている多くの人はガウスDA持ってないだろう
持ってても読まない理解できないんじゃ意味ないよ
売ったら？ そして自分が理解できない数学について
シッタカハナタカする悪い癖はやめたら？
みっともないよ 自分で気づかない？ 馬鹿が利口ぶって恥ずかしいって
A宮家の●子さんと同じだよ 息子が有能だと宣伝するのに一生懸命みたいだけど
作文は剽窃だし、論文は他人が書いてるじゃん
おっさんのコピペもそれと同じじゃん 他人がそういってます、だから何なの？
おっさん、あんたが理解したことを、あんたの言葉で文章にして書きなよ
そして、それができないなら、一切黙りなよ そうすれば恥書かないから
それがおっさん自身のためでしょ どうして「●子さん」しちゃうかな？
930:１３２人目の素数さん
24/01/20 05:32:07.22 ZI2XMcg7.net
>>835
>”URLﾘﾝｸ(mathlog.info)”は、これはこれでいいけど
けど何？
あのな、ネットだろうが実社会だろうが、
わかってる人がわかってることを書くのが意味がある
わかってない人がわかりもしないことを剽窃して書いても意味ないんだよ
訊かれても答えられないんだろ？ ダメじゃん
河東ゼミの勉強法って、要するにそういうことよ
中身を理解して、自分の言葉で説明する 当然じゃん
おっさんは、自分がやってる剽窃行為を正当化したいから、
「それだけが勉強じゃない」と言い訳したいみたいだけど
おっさんがやってることは勉強じゃなく、ただの泥棒だから
A宮の小僧がやってることと同じだから
まあ、小僧の件は母親が他人にやらせてることで、小僧は被害者だけどな
母親が「毒親」だと苦労するよな そこは大いに同情するよ
>やっぱ ガウスDAも良いよ いまあらためて見て、そう思うわ
おっさん、いつも思うけど、あんた「いいね」しかいわないね
どこがどういいか あんた自身の言葉で説明できた試しがない
それって、単に有名人に乗っかってるだけ
ガウスいいね、ガロアいいね、グロタンディクいいね、
高木貞治いいね、岡潔いいね、望月新一いいね・・・
そんなん何の意味あんの？
おっさん、自分がガロアとか岡潔とかになったつもりなの？
悪いけど、あんたはガロアでも岡潔でもない
そもそも、そこらの数学科学生どころか理系大学１年生のレベルにも達してない
正則行列も知らんとか、マジで酷いよ こんなん言い訳のしようがない
おっさんがやるべきことは、ガウスDAの抜書じゃない
マセマの微積分とか線形代数とか複素解析とか読んで理解すること
別にマセマじゃなくてもいいんだけど、
おっさんの読解力じゃ理解できるのはマセマだろ
石井本は「マセマ的ガロア理論本」だな
まあ「マセマ的代数幾何」とか「マセマ的多変数複素解析」とか
出るかどうか知らんけど、おっさんが理解できるようになるには
そういう本が出るのを待つしかないね
おっさん自身が、今出てる本を読んで、自分で「マセマ本」を書くだけの才覚ないから
931:１３２人目の素数さん
24/01/20 05:33:52.16 ZI2XMcg7.net
>じゃあな
おっさん、あんたがいいカッコしたいなら
>>835の書き込みを最後にして、数学板から立ち去りな
あんたの「コピペでシッタカハナタカ」パフォーマンスは
誰にも通用しないし、不快でみっともないだけだから
黙ってれば恥かかないだろ？退屈？だったらマセマの本でも読めば？
やるべきことをやらずに、やらなくていいことをやるって、最低最悪だよ
じゃあな おっさん
二度とここに書くなよ
あんたが、数学のこと忘れて、
あんたの人生にとって有意義なことを見つけることを期待してるわ
あんたのことをボロカスに貶してゴメンな
でも、あんたのやってることは間違ってるし、
それで一番被害を被るのはあんた自身だからさ
数学分からなきゃ人間じゃない、なんて狂った考えは捨てなよ
世の中の人の99.99…％は大して数学わかってないよ
でも、大したことじゃなくても、自分が理解したら嬉しいだろ
それでいいじゃん
おっさんも自分が素直に喜べることを見つけなよ
数学はあんたにとって見栄はるネタでしかないみたいだけど
そんなの数学じゃないし、数学に対する冒涜だからさ
不幸なあんたは見たくない いいことみつけて幸せになってくれよ
932:１３２人目の素数さん
24/01/20 05:34:33.83 0VR/y94j.net
1,ζ,ζ^2,...,ζ^{16}が1の17乗根を尽くすとき
1,ζ^m,ζ^{2m},...,ζ^{16m}がそうなるようなmと
そうならないようなmがある。
これが平方剰余の相互法則の証明に至るオイラーの基準により
判定できることに気づいたのは
ガウスが最初だったのだろうか
933:１３２人目の素数さん
24/01/20 05:46:21.89 ZI2XMcg7.net
>>843
>1,ζ^m,ζ^{2m},...,ζ^{16m}が
>そうなるようなmと、そうならないようなmがある。
あんたも、おっさん同様わかってないね
正解は
ζ、ζ^m,ζ^{m^2},...,ζ^{m^15}が、
１以外の16個の17乗根を尽くすｍとそうでないｍがある
ζ^(m^16)=ζ だからさ
フェルマーの小定理、知ってるだろ？
934:１３２人目の素数さん
24/01/20 05:56:06.61 ZI2XMcg7.net
5乗根の場合
ｍ=2なら1,2,2^2=4,2^3=8=3,2^4=16=1(mod5)
m=3なら1,3,3^2=9=4,3^3=27=2,3^4=81=1(mod5)
m=4なら1,4,4^2=16=1(mod5)
だから2,3と1,4に分けられる
>>843だったら、どんなｍでも
0,1,2,3,4
0,2,4,1,3
0,3,1,4,2
0,4,3,2,1
全部つくせちゃうじゃん
書く前に気づけよｗ
935:１３２人目の素数さん
24/01/20 07:17:10.00 0VR/y94j.net
>>844
>>ζ^(m^16)=ζ だからさ
m=1のときは
ζ^(m^16)=ζの両辺にζをかけると
1=ζ^{2}
となりますが
よろしいか？
936:１３２人目の素数さん
24/01/20 07:24:39.92 0VR/y94j.net
訂正
16mとm^16を見間違えていました。失礼。
937:１３２人目の素数さん
24/01/20 07:27:14.33 0VR/y94j.net
835には
数学はこういうアホな間違いをしながら
学んでいくものだということが
いつまでたってもわからない。
だから言うだけ無駄。
938:１３２人目の素数さん
24/01/20 08:32:57.82 ZI2XMcg7.net
>>848
>835には
>数学はこういうアホな間違いをしながら学んでいくものだということが
>いつまでたってもわからない。
>だから言うだけ無駄。
ソンケーする、O沢TK夫大センセーがそういって見捨てた、と分かれば考えるかも
まあ、無理か 自分は数学の全てを直感できる最高の神、と思い込んでるから
アホは己がアホだと認めず「自分こそが神」と自惚れる
939:１３２人目の素数さん
24/01/20 09:12:03.29 +FF8Sjyo.net
>>847-848
ご苦労さん
１）だが、ダブルスタンダードもいいところだ
２）そもそも、あなたは自分の主張のロジック貫徹が出来ない性格だね
数学に向いてない
３）自分は間違いをしても、「賢く数学を学んでいる」と主張し
一方、直前に５ｃｈの”名無しさん”を相手に
エスパーして「お前は数学分かってない」と講釈をたれていた
ダブルスタンダードもいいところだろｗ
さて、私がやっているのは、例えばDAが手元にあっても
それを、ここに転記すると、転記ミスとかあるし
自分で筆を起こせば、ケアレスミスもある
なので、手元のDAと類似のサイトやPDFを検索して
そこからの要点とURLを、コピーをするようにしている
・そうすると、ミスが減る（もちろん、見つけたサイトが完璧だとは言えないが相対的にミスは少ないだろう）
・また、例えばDAは200年前の書だが、今のサイトの方が現代数学の情報があるので参考になるだろうし
・さらに、自分も楽なんだよね（自分で筆を起こすよりも）
醜態、ご苦労さんでした
940:１３２人目の素数さん
24/01/20 09:17:58.63 nPcxDYLa.net
セタさんは以前、「DAはなんかごちゃごちゃ書いてあって読む気がしない」
と言ってたと思う。
941:１３２人目の素数さん
24/01/20 09:22:08.08 nPcxDYLa.net
>>818 の問題は解けましたか？
ガロア理論が分かっていれば難しい問題ではありません。
942:１３２人目の素数さん
24/01/20 09:31:16.92 ZI2XMcg7.net
>>850
まあ、そうイキるな、おっさん
ID:0VR/y94j は、自分の誤りを認めたからいいじゃないか それこそが大事だよ
おっさんは、いままで自分の誤りを認めたことがあったかい？
まあ、ケアレスミスの類はあっさりみとめたようだが
心底そう思い込んでたことは決して認めようとしなかったのではないかい？
プライド？そんなもん、この世では何の意味もないよ
プライドを焼くことこそ、この世で生きる方策
自分のくだ�
943:轤ﾈいプライドを守る愚劣極まりない目的のために 他人がダブスタとかなんとか言い訳しても有害無益だからやめとけ おっさんは、自分が神でもなんでもなくただのアホだと認めることだ アホでいいじゃないか 世の中はアホばかり アホでないと嘘をつくから苦しくなる アホでぇす！と叫んでみ？ 楽になるよ
944:１３２人目の素数さん
24/01/20 09:38:39.87 ZI2XMcg7.net
>>850
>私がやっているのは
>手元のDAと類似のサイトやPDFを検索して
>そこからの要点とURLを、コピーをすること
>また、例えばDAは200年前の書だが、
>今のサイトの方が現代数学の情報があるので
>参考になるだろうし
>さらに、自分も楽なんだよね
>（自分で筆を起こすよりも）
中身が全然わかってない高卒の大阪のおっさんが
わけもわからずトンチンカンなコピペ貼り付けても
無意味だからやめとけ
中身がわかってる大学数学科卒の東京？のおにいさんが
自分の言葉で相手がわかるまで説明してくれるほうが
はるかにありがたい
コピペじゃ対話が成り立たない
自分の言葉なら、相手のどんな質問にも
ピンポイントで対応できるだろ
河東氏のゼミ対策がここでも有効とわかる
945:１３２人目の素数さん
24/01/20 09:41:04.88 ZI2XMcg7.net
>>850
>＊＊さんは以前、
>「DAはなんかごちゃごちゃ書いてあって読む気がしない」
>と言ってたと思う。
それが素人の率直な感想よｗ
ガウスのやったことを、マセマの本なみに噛み砕いてくれる人が、素人には必要
わるいけど、素人のおっちゃんには、それはできない
おっちゃんは、マセマの人が現れるまで、口開けて待っとけｗ
946:１３２人目の素数さん
24/01/20 09:54:06.58 ZI2XMcg7.net
お恥ずかしい話であるが、ここに「数論の人」が現れるまで
ガウスが円分方程式について何をやったのか、全くわかっていなかった
しかし、彼がいろいろ教えてくれたおかげで、いろいろ分かってきた
分かってる人が自分の言葉で説明してくれるほうがいいし
それで関心をもって、いろいろ調べて読んで自分で計算してみて
やっとわかるもんだと、あたりまえだけど実感する
大阪のおっちゃんは、残念ながらそういう体験が一度も無いんじゃないかと思う
それじゃ数学つまんないだろ もっと面白いこと見つけたら？
947:１３２人目の素数さん
24/01/20 10:13:45.09 +FF8Sjyo.net
>>851
>以前、「DAはなんかごちゃごちゃ書いてあって読む気がしない」
>と言ってたと思う。
ありがと、よく覚えているね
さて
１）この話が出て、DAを見るとよく分かったよ
ガウスは、DAの第7章 円の分割を定める方程式 で
円分方程式のガロア群が、巡回群であること および
その巡回群を「周期」という概念で、解明したんだ
例えば、第343節 根Ωの全体はいくつかの類（周期）に分配される など
２）そして、”類（周期）”をもとに
円分方程式の根Ωを解明している
３）ここでは、ガウスはラグランジュの分解式は使っていない！
もちろん、ラグランジュの分解式を使うことも可能だが
本質は、「円分方程式のガロア群が、巡回群であること」ですね
この話の現代的な解説が URLﾘﾝｸ(mathlog.info) （>>835より再録）
1の冪根をたくさん求めてみた(解説付き) Mathlog 投稿日：2022年4月25日
の「原理的なところ」に
”ガロア拡大の列が取れる”（図解）
としてガロア理論による解説がある
この図解は分かり易い（５ｃｈでは図解は難しいので、URLで図解を引用するのは有用ですよ）
なお
むかし、有名なコテハンの”猫”さんが、「名著は手元において
たまに眺めるといい」と言っていた
これは、その例ですね
948:１３２人目の素数さん
24/01/20 10:25:38.77 ZI2XMcg7.net
>>857
>ガウスは、DAの第7章 円の分割を定める方程式 で
>円分方程式のガロア群が、巡回群であること および
>その巡回群を「周期」という概念で、解明したんだ
まだ、肝心なことに、全く言及してないんで、分かってないっぽいな
重要なことは、どういう操作で巡回群になるか、ってこと
その操作とは 「任意の根xに対して、x^mを返す操作」
それは、円の回転ではないから、ナイーブな直感で分かることではない
>ここでは、ガウスはラグランジュの分解式は使っていない！
>もちろん、ラグランジュの分解式を使うことも可能だが
>本質は、「円分方程式のガロア群が、巡回群であること」ですね
なにいってんだ？おっさん
ラグランジュの分解式が使えるのは、巡回拡大の場合なんで
本質が「ガロア群が巡回群であること」なら、
ラグランジュの分解式はその鍵となる
そんなところで
「俺様は貴様に負けたわけではない！」
とか吠えるのやめとけ
そもそも５ｃｈごときで「命を賭けた勝負」とか力んでるのが馬鹿
所詮ただの暇つぶしだろが マターリしようよｗ
949:１３２人目の素数さん
24/01/20 10:32:49.64 ZI2XMcg7.net
>>857
>「原理的なところ」に
>”ガロア拡大の列が取れる”（図解）
>としてガロア理論による解説がある
>この図解は分かり易い
図は計算については何も示してないだろ
図だけ見てもわかるわけではない
計算を見てから図を見ると
「ああ、形だけ抜き出すとそういう図になりますねえ」
と分かるが、結局はどういう計算してるのかが中身
おっさんは、よっぽど計算が苦手なのか、計算以外のところばっかり見てるが
それじゃ数学はわかんないよ
計算だけでは理屈はわからないが、
計算抜きの理屈では意図がわからない
両方突き合わせるから、どういう意図でそういう計算するかが分かる
数学はサボるとわからない サボるのを諦めて全部見ると
それぞれの事柄が繋がって「ああそういうことか」と分かる
そういう経験を一度もしたことないと、
自分勝手なサボりを延々とつづけ
結局数学がわからないまま
おっさんの人生の失敗を総括すれば、そういうことになる
950:１３２人目の素数さん
24/01/20 10:36:33.35 nPcxDYLa.net
>>857
今日「ガウスの和」と呼ばれる非常に有名な和がありますが
URLﾘﾝｸ(ja.wikipedia.org)
これがラグランジュ分解式の形になってることは分かりますかね？
951:１３２人目の素数さん
24/01/20 10:38:10.51 ZI2XMcg7.net
>>857
>「名著は手元においてたまに眺めるといい」
それは名著を読んで、ちょっとでも分かった体験がある人がいう言葉
読みもせず、ちょっとも分からん素人が、何を言っても無意味
俺がおっさんなら、家にある「名著」とやらを全部売り払って
その金でマセマのシリーズ全巻買って読む
それなら、いくらアホでもさすがにわかるだろ
数学科出身とかじゃない理系ならそれで十分
まあ、ガウスの円分体論とかは出てこないが
そんなもんは技術者が実用で使うことないだろ
952:１３２人目の素数さん
24/01/20 10:42:19.30 nPcxDYLa.net
たとえば、1の7乗根の方程式をべき根で解く際には
必ず1の原始6乗根（1の原始3乗根があればよいが）
が必要になる。これがなぜかというと、ラグランジュ分解式を
構成するのにそれが必要だから。説明は他にも可能かも
しれないが、そう考えるのが最も分かりやすい説明。
953:１３２人目の素数さん
24/01/20 10:45:02.30 ZI2XMcg7.net
>>860
それ、一昨年の暮れだか昨年の年明けだかに聞いて
「あぁぁぁぁ！！！」と大声だした記憶ありｗ
∧＿∧ ∧＿∧
_（ ´∀｀） （´∀｀ ）
三(⌒), ノ⊃ （ >>1 ） ラグランジュ分解式は・・
￣/ /) ） | | |
. 〈＿）＼_） （__（_＿_）
∧＿∧ .∧＿∧
（ ´∀） （´∀｀ ）
≡≡三 三ニ⌒) >>1 .） 使いまくりだって
/ /) ） ￣.| | |
〈＿_）＿_） （__（_＿_）
∧＿∧ ,__ ∧＿∧
（ ´）ノ ）:;:;)∀｀）
/ ￣,ノ'' >>1 ） 言ったろうが
Ｃ /~ / / /
/ / 〉 （__（＿_./
＼__）＼）
ヽ ｌ /／
∧＿∧(⌒) ― ★ ――
（ ） /|ｌ ／/ | ヽ ヴォケがーー！
（/ ノｌ|ｌｌ ／ / | ヽ
（Ｏ ノ 彡'' / .|
/ ./ 〉
＼__）_）
954:１３２人目の素数さん
24/01/20 10:54:02.29 +FF8Sjyo.net
>>856
>お恥ずかしい話であるが、ここに「数論の人」が現れるまで
>ガウスが円分方程式について何をやったのか、全くわかっていなかった
>
>しかし、彼がいろいろ教えてくれたおかげで、いろいろ分かってきた
>分かってる人が自分の言葉で説明してくれるほうがいいし
>それで関心をもって、いろいろ調べて読んで自分で計算してみて
>やっとわかるもんだと、あたりまえだけど実感する
１）ダブルスタンダードだろ？ 気づいてないのか？
そもそも、”ここに”は このスレではなく別のスレだろ？
２）で、その「数論の人」は ”名無しさん”でコテハンじゃなかったし
あんたはどうやって その「数論の人」の数学レベルをエスパーしたの？
３）その「数論の人」が、何かをカンニングしながら書いていたかもしれない
それを、あなたは否定できないでしょ？
（いや、そもそもカンニングなしとしても、何かのテキストを学んで書いているのだよね）
４）つまりは、その「数論の人」が書いている内容が大事なのであって
その書き手の数学レベルなんて、エスパーしようがないのです
５）さらに、”ガウスが円分方程式について何をやったのか、全くわかっていなかった”
と宣うが、あなたガウスDA持ってないでしょ？
だったら、いまでも”ガウスが円分方程式について何をやったのか”を正確には分からないでしょ
それで、人にイチャモンつけるのはダブルスタンダードでしょ
まあ、あんたは数学には向かない性格だな
つーか、理系に向いてないな
955:１３２人目の素数さん
24/01/20 11:19:04.12 +FF8Sjyo.net
>>860 >>862
>今日「ガウスの和」と呼ばれる非常に有名な和がありますが
>URLﾘﾝｸ(ja.wikipedia.org)
>これがラグランジュ分解式の形になってることは分かりますかね？
ありがとう
”Gauss sum”（下記）が、ラグランジュ分解式の類似と解釈できるという話ですかね？
しかし、”Gauss sum”（下記）は、ラグランジュ分解式の一種という説明にはなっていないし
さらに、ガウスは”quadratic”の場合に導入したが
それを他の人が、”in the early 19th century”に発展させたということだから
ガウスDAの時点では、円分論には”Gauss sum”の一般論は使ってないとしていいでしょう？
>これがなぜかというと、ラグランジュ分解式を
>構成するのにそれが必要だから。説明は他にも可能かも
>しれないが、そう考えるのが最も分かりやすい説明。
現実に、ガウスDAの円分論では、ラグランジュ分解式を使った説明はありません
（なお。全DA中にもラグランジュ分解式は出てきませんよ。DAは代数方程式論ではないし）
これを、確認願います
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Gauss sum
History
The case originally considered by Carl Friedrich Gauss was the quadratic Gauss sum, for R the field of residues modulo a prime number p, and χ the Legendre symbol.
The general theory of Gauss sums was developed in the early 19th century, with the use of Jacobi sums and their prime decomposition in cyclotomic fields. Gauss sums over a residue ring of integers mod N are linear combinations of closely related sums called Gaussian periods.
956:１３２人目の素数さん
24/01/20 11:34:14.89 nPcxDYLa.net
ガウス和とは円分方程式を解く際にあらわれるラグランジュ分解式である。
つまりラグランジュ分解式そのもの。ガロアの
論文にもラグランジュ分解式そのものが載っている。
ただし、ガロアは「ラグランジュ分解式」とは言っていない。
コピペさんは、斜め読みで文字を拾ってるだけだから
分からない。
957:１３２人目の素数さん
24/01/20 11:37:35.83 nPcxDYLa.net
ただし、「ガウス和の研究」とは「ラグランジュ分解式の研究」
ではない。ガウス和は一般的なラグランジュ分解式にはない
特別な性質があり、それを研究するのが「ガウス和の研究」。
958:１３２人目の素数さん
24/01/20 11:48:03.89 nPcxDYLa.net
>>818の問1の解答が得られる。
Φ_p(x)の最小分解体をKとする。
Φ_p(x)が因数分解する2次体とはKとQの中間体である。
Wikipediaの「ガウスの和」の2次ガウス和の項を見てみましょう。
2次ガウス和を構成するには、1のp乗根と±1があればよい。
つまり、2次ガウス和は上記Kに含まれる。
（3次以上のガウス和はKに含まれないことに注意。）
それで、問1の2次体はQに2次ガウス和を添加した体だと分かる。
2次ガウス和の値より、問1の答えが得られる。
すなわちd=(-1)^{(p-1)/2}pである。
959:１３２人目の素数さん
24/01/20 12:06:17.91 ZI2XMcg7.net
>>864 >ダブルスタンダードだろ？ 気づいてないのか？ 自らの誤りはただちに認める いつの世でもこれこそがいい処世 >「数論の人」は ”名無しさん”でコテハンじゃなかったし コテハンなんて馬鹿のすることよ >あんたはどうやって その「数論の人」の数学レベルをエスパーしたの？ 別にエスパーしたわけじゃない いってることを確認したら正しいから、ああこいつ俺より賢いわ、と思ったわけ 世の中には自分より賢い人を見つけると御機嫌な人と不機嫌な人がいるけど このときの僕は前者でしたね まあ、前者のほうが幸福じゃね？ >その「数論の人」が、何かをカンニングしながら書いていたかもしれない >それを、あなたは否定できないでしょ？ 分かって書いてるんならカンニングとはいわんよ 試験勉強はカンニング？ そんなことないでしょ >つまりは、その「数論の人」が書いている内容が大事なのであって >その書き手の数学レベルなんて、エスパーしようがないのです 書いてることがわかりやすいかどうかが重要なので ただコピペしてそれ以上なんも説明できんアホは、有害無益ってことですｗ >さらに、”ガウスが円分方程式について何をやったのか、全くわかっていなかった” >と宣うが、あなたガウスDA持ってないでしょ？ なんか、 「あなた、聖書持ってないでしょ？」とか 「あなた、資本論持ってないでしょ？」とか そういうこという人っているけど、別に中身がわかるかどうかが重要で 書かれた本を所有してるかどうかが重要なわけではないでしょｗ >だったら、いまでも >”ガウスが円分方程式について何をやったのか” >を正確には分からないでしょ まあ、しかし君が 「DAを積読してるだけで、中身については何もわかってなかった」 というのは、君以外のみんながそう思ってるとおもうよ 君だけは恥ずかしいから絶対認めないんだろうけど 無駄だし、大体君自身によって意味ないよ わからんよりわかったほうがいいでしょ わかってないのにわかってるように他人に見せかけたい？なにその詐欺行為ｗ
961:１３２人目の素数さん
24/01/20 12:12:14.98 ZI2XMcg7.net
>>865
>”Gauss sum”は、ラグランジュ分解式の一種という説明にはなっていない
>現実に、ガウスDAの円分論では、ラグランジュ分解式を使った説明はありません
ガウスがそういってないからそうじゃない、ってアホですか
>>866
>コピペさんは、斜め読みで文字を拾ってるだけだから分からない。
「大阪のおっさん」の読み方って、AIと同じなのよね
もしかしたら大阪大学が開発してる生成AIなのかもしれんな
なるほど、その発想はなかったわｗ
962:１３２人目の素数さん
24/01/20 14:36:23.12 +FF8Sjyo.net
>>859
>>「原理的なところ」に
>>”ガロア拡大の列が取れる”（図解）
>>としてガロア理論による解説がある
>>この図解は分かり易い
> 図は計算については何も示してないだろ
> 図だけ見てもわかるわけではない
(URLﾘﾝｸ(mathlog.info) （>>835より再録）)
いやいや 足立「ガロア理論講義」（下記）
P133 図5.6 に
ｎ＝17 つまり 円の17等分についての説明で
ほぼ同じ図が使われている
よって
足立のこの部分を見て、再度上記の図を見れば良い
(参考)
URLﾘﾝｸ(www.)アマゾン
ガロア理論講義 (日評数学選書) 単行本 – 2003/4/1
足立 恒雄 (著)