19/06/10 00:15:37.27 L24w4NOZ.net
考えてみれば√2や1/3だって、2の平行根とか1÷3の答えというような間接的に数を表してるだけだな。
3除算は10数法はもちろん情報数学でよく使う16進法ですら割り切れんから「3で割り切れる数体系」と
として昔の人が角度や時間の単位に60進法を考えたのから角3等分作図ができなくても実用上補完できてる。
564:１３２人目の素数さん
19/06/10 17:18:48.56 29A712XP.net
「街コロ」はカードゲームに興味ありな初心者の入門用に最適、サイコロを振って
カードを集めどんどん自分の街を発展させて勝利を目指せ
URLﾘﾝｸ(news.livedoor.com)
経済が巡る！！ 労働者と職場のマネジメントが癖になるワーカープレイスメント「ナショナルエコノミー」
URLﾘﾝｸ(bged.info)
風刺画「顧客が本当に必要だったもの」がアナログゲームに
URLﾘﾝｸ(headlines.yahoo.co.jp)
かわいいひつじを増やして増やして増やしまくれ！ “一人用”カードゲーム『シェフィ』
URLﾘﾝｸ(www.moguragames.com)
ゲムマ2018大阪・春での話題作「Liqueur the GAME (リキュール・ザ・ゲーム)」
URLﾘﾝｸ(www.comonox.com)
素数大富豪 Lv.0それは「素数」と「大富豪」をくみあわせたたまったく新しいカードゲーム！
URLﾘﾝｸ(fukuroudou.info)
シノミリアを徹底解説！ギャンブル漫画の主人公になれる2人用ボードゲーム！
URLﾘﾝｸ(futariasobi.com)
正体隠蔽系ゲームに革命『斯くして我は独裁者に成れり』の感想
URLﾘﾝｸ(www.unjyou.com)
理系魂を刺激するカードゲーム、技術者におススメ
URLﾘﾝｸ(tech.nikkeibp.co.jp)
大富豪（大貧民）のようなカードゲーム「ReCURRRing（リカーリング）」
URLﾘﾝｸ(www.tk-game-diary.net)
565:１３２人目の素数さん
19/06/11 19:13:34.28 U3DFacTm.net
>>645
>URLﾘﾝｸ(oshiete.goo.ne.jp)
>可能無限は加算無限集合ですから
それ間違い
可算でも非可算でも無限集合なら実無限
可能無限とは無限集合を認めない立場だから
ω＝｛0,1,2,・・・}
は無限公理によって存在が認められる無限集合
これ可算無限集合だから
ωのべき集合2＾ω（ωの部分集合全体の集合）
これが非可算無限集合
哀れな素人氏は集合ωの存在は認めないでしょ
だったら可算無限集合は、可能無限ではないね
>>648
>お前の言葉で説明してくれ
工学馬鹿のスレ主に何を尋ねても無駄だよ
彼は誠意がないサイコパスだから
無知のくせに無知を隠蔽しようとする卑怯者
それがスレ主だよ
566:１３２人目の素数さん
19/06/11 19:13:59.66 U3DFacTm.net
>>656
>自然数は、どこまでも増やすことが可能だから、
>これを可能無限と呼んでいる
おそらく
「今、作られている自然数の全体は有限個
しかし、それは今後いくらも増やせる
上限がないという意味で無限であって
個数としては有限個」
といいたいのだろう
一方可算無限集合とは
「もはや付け加えるものがない
自然数全体の完全な集合」
というもの
（当然要素は無限個）
したがって、可算無限集合は
実無限の立場で考えられたもの
であって可能無限ではない
567:１３２人目の素数さん
19/06/12 00:18:55.88 Pfnm9/AD.net
>>565-566
お前、どこに向かって喋ってんの
568:１３２人目の素数さん
19/06/22 00:34:04.78 lGa1H893.net
古代ギリシアで平方根が分数表現できないことで苦心したとか。もっとも分数でさえ間接的に数を表現しているにすぎないが。
569:１３２人目の素数さん
19/06/29 16:32:16.81 DHiuKlHq.net
5次方程式の解を表現できる数体系
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！
URLﾘﾝｸ(pbs.twimg.com)
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
570:１３２人目の素数さん
19/07/01 00:44:12.71 opHrJ80D.net
>>569
荒らしか
571:１３２人目の素数さん
19/07/04 00:32:13.24 WjmhsYjy.net
3215
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！
URLﾘﾝｸ(pbs.twimg.com)
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
572:１３２人目の素数さん
19/07/20 11:14:20.90 bSAoQnjE.net
1430
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！
ｈｔｔｐｓ://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
ｈｔｔｐｓ://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)
573:Mad Chemist
19/10/21 12:47:55.48 fzlmgZep.net
「天才数学者こう解いた、こう生きた」 に記載された年表より
1500頃 デル・フェロ 3次方程式を解決
1535 タルターニャ 数学勝負で勝つ
1543 フェーラーリ 4次方程式を解決
1545 カルダノ 「大いなる技法」出版
1823 アーベル 5次方程式に代数的な解の公式が無いことを発見
1829 ガロ ガロア理論発見
1844 アイゼンシュタイン 5次方程式の解の公式発見
1858 エルミート 5次方程式の解の公式発見
アイゼンシュタインは無限級数を使い、エルミートは楕円関数を使って
解の公式を発見したんだそうである。
574:１３２人目の素数さん
19/10/22 12:29:39.23 W/MMX72X.net
クラインとか
575:１３２人目の素数さん
19/10/22 12:37:20.75 W/MMX72X.net
>>562
そうだな
576:１３２人目の素数さん
19/10/22 16:48:02.38 IRfZzmU0.net
>>573
5次方程式に代数的な解の公式が無いことを発見したのは
どっちかというとルフィニさんです
ラグランジュさんが考えた置換論を用いて計算しまくった結果、発見しました
ルフィニさんの論文に感動してコーシー噴いたコーシーさんが一般化された置換論を築いて
それを読んだのがアーベルさん
ど田舎に住んでたアーベルさんは、コーシーさんの置換論が出てきた経緯を知らず
5次方程式に使えるんじゃね？と里帰りのような事を始めたら
ルフィニさんがやった時よりも、厳密な証明ができましたって話なんで
577:１３２人目の素数さん
19/10/23 02:33:07.65 EIJoqW5e.net
2年前にクレクレ君が言ってた「実代数的」なんだが
実根が「実冪根で表現可能」(expressive by real radical)という用語で存在している
実根しか持たないQ係数多項式では、根が実平方根のみで表せることが必要十分条件の一つ
複素根の実部が実冪根で表せるかどうかは
彼に自力でやってもらいましょう
578:Mad Chemist
19/12/30 23:51:50.90 I/7hjdXX.net
どなたか5次方程式を解けた方、おられませんでしょうか。
579:１３２人目の素数さん
19/12/31 16:59:29.70 VV/2i4lK.net
お客様の中に5次方程式が解ける方はいらっしゃいませんか～？
580:Mad Chemist
19/12/31 21:23:20.17 Cq8d2q7r.net
3次と4次は解けたのだが。
解けたというよりは、ネットで調べた公式をエクセルで実行しただけだが。
581:１３２人目の素数さん
19/12/31 22:22:11.10 v8f9lbVZ.net
5次代数方程式の一般解は超越形式で既出なのに超越形式の何が気に食わん？
代数形式一般解は存在せん事も、数体系を幾ら弄くってみて実数系に応用できる一般解にならない事も
もう分かってる事なんだから、先ず既出の超越形式での5次代数方程式一般解を調べてみれば？
582:１３２人目の素数さん
20/01/05 21:39:51.81 Lv+Lz/Ps.net
ガロア群が位数10とかならまだ冪根で解くすべはあるぞ
（一般には120）
583:Mad Chemist
20/01/18 19:18:58 gLrz3Z42.net
>>581
>5次代数方程式一般解を調べてみれば？
やってますけど、まだたどれてません。
どなたかお分かりの方、やってみた方おられますか？
584:１３２人目の素数さん
20/01/18 20:27:17 Uff7Q/v5.net
俺分かるよ
585:Mad Chemist
20/01/19 18:45:42.89 AH7ZUxkT.net
>>584
書名、著作者名、出版社名、URL等教えていただければ
非常に助かります。
586:１３２人目の素数さん
20/01/22 10:47:33 IrO8w9Mf.net
肝心な情報は得られないねえ。
587:１３２人目の素数さん
20/01/24 21:28:36 7o3sQ1m5.net
ふたばちゃんねるの荒らし 統合失調症 荒らし キチガイ ホモ ストーカー URLﾘﾝｸ(twitter.com) k1@sijenon
(deleted an unsolicited ad)
588:Mad Chemist
20/02/18 19:03:42 UgSaFpKE.net
罵倒の書き込みする方は多いが、参考になる書き込みする方は少ない。
これ以上書き込んでも、クレクレ君と書き込まれるだけだが。
589:１３２人目の素数さん
20/02/18 20:20:13.54 Ru3jYATE.net
上の方に
東京大学出版会 梅村浩著 「楕円関数論」
フェリックス・クライン著 正20面体と5次方程式 改訂新版 (シュプリンガー数学クラシックス)
Mumford Tata Lectures II Umemura
と代表的な文献3つ出てるのにわからんわからんと言うクレクレ未満のアホ
590:１３２人目の素数さん
20/02/19 00:56:13 x/3aWG3b.net
「罵倒すれば答えをくれる、それが数学板だ」とクレクレに学習させちゃうアホ
591:１３２人目の素数さん
20/02/19 01:09:32 xcI9RBze.net
問うのは簡単で答えるのは難しい問題の好例だものね
大丈夫、相手が答えられないと見るや罵倒してきた実代数的くんほど酷くはないよ（苦笑）
そういえばpixivに答えらしきものがあったんじゃ
592:１３２人目の素数さん
20/04/11 02:05:46 jVXfLHUH.net
4次方程式
x^4 +2ax^3 +bx^2 +a(b-aa)x + c = 0
を次の手順で解け。
(1) (x +a/2)^2 = y とおいて左辺をyで表わせ。
(2) yについて解け。
(3) xをyによって表わせ。
593:１３２人目の素数さん
20/04/11 09:18:45.48 QxjOJ3hV.net
＞5次方程式はご存知の通り解の公式がございませんね。
あれ？そうだっけ？そんな話知らない。
594:１３２人目の素数さん
20/04/11 10:21:40.25 E9jY7q7+.net
>>24と>>573を参照
595:１３２人目の素数さん
20/04/11 10:22:51.19 E9jY7q7+.net
>>465と>>555も参照になる
596:１３２人目の素数さん
20/04/12 03:55:01.59 g/DVEXjN.net
4次方程式の解の公式なら >>592 かな？
597:１３２人目の素数さん
20/04/12 07:04:06.48 J5mKuUVX.net
はいよ。こちらは双方とも楕円函数の利用｡
5次方程式の解の公式を求める - ねくノート
URLﾘﾝｸ(neqmath.blogspot.com)
[PDF] エルミートのモジュラー方程式 1.1858年以前 - 津田塾大学
URLﾘﾝｸ(www2.tsuda.ac.jp)
598:１３２人目の素数さん
20/04/13 03:58:02.47 PNtjkUIN.net
>>592 を参照して
x^4 + x^3 - 2x + 1 > 0
を示せ。
[高校数学の質問スレPart404．051～070]
599:１３２人目の素数さん
20/04/16 00:47:20.11 Fekx2b8P.net
はいよ。こちらは ↓ の利用。
(1/4)x^4 + x^3 - 2x + 1 = (xx/2 + x - 1)^2
600:１３２人目の素数さん
20/05/17 10:01:04 jv4DNZp5.net
x^5 -x^4 +4x^3 -3x^2 +4x -3 = 0 の正根は
x = 0.7626918603256712159
[面白スレ32問目．278]
601:１３２人目の素数さん
20/05/17 22:41:52 jv4DNZp5.net
x^5 -x^4 +4*x^3 -3*x^2 +4*x -3
= (x - 0.7626918603256712159)
* (x*x -0.6100038387443596*x +2.4229341986697917)
* (x*x +0.37269569907003080*x +1.6234186219278017)
実根 0.7626918603256712159
複素根 0.3050019193721798 ± 1.5264036254703662*i
-0.1863478495350154 ± 1.2604336955593805*i
602:１３２人目の素数さん
20/11/09 00:13:38.92 J+3znwnZ.net
>>549
Bring-Jerrared の標準形
z^5 + z + a = 0,
チルンハウス変換によってこの形に変形できるらしい。
数セミ増刊「数学100の定理」日本評論社 (1983)
p.70 囲い記事
603:Mad Chemist
21/02/20 21:52:35.17 OjKxVxxB.net
>>600
>>601
どうやって解かれたのでしょうか。
604:１３２人目の素数さん
21/02/21 05:14:05.77 bisAjwLZ.net
横だがこんなサイトがある
URLﾘﾝｸ(keisan.casio.jp)
605:１３２人目の素数さん
21/02/21 07:59:04.23 mjvHpeEO.net
＞5次方程式はご存知の通り解の公式がございませんね。
四則演算とベキ根による解の公式がない、というだけで
ベキ根以外の手段を認めれば解の公式はあるよ
606:complete idiot
21/02/21 08:02:11.02 mjvHpeEO.net
＞しかしそれは我々が知ってる
＞実数の数体系(有理数と有理数の冪根の加減乗除で表される数)
＞で表現できないというだけで、
有理数と有理数の冪根の加減乗除で表される数＝実数とは違うよ
まず「有理数の冪根だが実数でない数」がある
例：√ー１
そして「実数だが有理数の冪根で表せない数」がある
例：e、π
607:complete idiot
21/02/21 08:04:44.41 mjvHpeEO.net
＞実数の表現を拡張して、5次方程式の解の公式を一般化する為の
＞実数の新しい表現を与えてやれば表現できるはず。
実数じゃなく複素数なら、任意の自然数ｎについて
ｎ次方程式の解が（重複を込めて）ｎ個必ず存在するよ
それがガウスの「代数学の基本定理」ね
だから「新しい表現」は必要ない
単にベキ根だけでは解けないというだけ
608:complete idiot
21/02/21 08:08:12.65 mjvHpeEO.net
偏角の原理をつかえば、ある範囲内に、
多項式f(z)の零点の数がどれだけあるかわかる
URLﾘﾝｸ(ja.wikipedia.org)
だから範囲を狭めていけばいくらでも正確に零点の位置がわかる
別に解の公式なんていらない
609:complete idiot
21/02/21 08:10:39.97 mjvHpeEO.net
もっとも数値解析では
偏角の原理を使った方法は用いてないみたいだ
めんどくさいんだろうか？
610:complete idiot
21/02/21 08:14:18.30 mjvHpeEO.net
テータ関数とかいう難しい関数を使うと
５次といわず任意の次数の代数方程式の
解の公式ができる
URLﾘﾝｸ(en.wikipedia.org)
でも実用的ではないのでお勧めしない
611:１３２人目の素数さん
21/02/21 09:59:45.83 bisAjwLZ.net
>>610
さんざん既出
612:１３２人目の素数さん
21/02/21 18:04:32.95 mjvHpeEO.net
>>611
FAQでまとめといたほうがいいかもね
Q.５次以上の代数方程式の解の公式をつくりたい
A.既にあります
Thomae's formula
ただし実用的でないので数値解法をお勧めします
DKA法、等
ちなみにｎ次代数方程式は（重複を含めて）必ずｎ個の複素数解をもつ、と
すでにガウスの「代数学の基本定理」で証明されているので、
複素数を拡大する必要は全くありません
613:１３２人目の素数さん
21/02/21 20:24:53.89 hiPMaQFV.net
>>612
自演恥ずかしい
614:１３２人目の素数さん
21/02/22 06:15:00.85 wsx1jonA.net
数学板もID表記が始まった今にあってIDが同じレスに自演呼ばわりするのは蛇足
仮にID違う>>611-612も自演と指摘しているとしてもスレの盛り上がりの流れから鑑みるに此の自演指摘は蛇足
615:１３２人目の素数さん
21/02/22 06:46:52.65 +MFi2cAF.net
>>614
何が言いたいのかさっぱりわからん
616:１３２人目の素数さん
21/02/22 08:40:13.71 MJyyMEOC.net
>>614
>>613は悔しかったんでしょう 何が、かは知りませんが
617:１３２人目の素数さん
21/02/24 04:09:26.65 MO5QRC+b.net
その手の指摘は100までにだいたい出て
あとは5次方程式に関係する駄弁りに転じてるのは
読んだらわかるでしょ
618:１３２人目の素数さん
21/02/24 06:09:01.20 eavifJXy.net
つまり、もうスレッドは終わってる、と
619:１３２人目の素数さん
21/02/25 06:09:24.16 lIZttZG/.net
知り尽くされた話題だけど
それは専門家（見習い）のコミュニティの話
一般人との関心の折り合いをどう付けていくかが課題
620:１３２人目の素数さん
21/02/25 10:05:36.10 zznxMDx9.net
テータ関数や超幾何関数で解の公式が書けるというのは数学科3年以上じゃないとわからない
「解はあるが根号だけでは解が表示できない」という言葉の意味がわからない
ガロア群が可解じゃないと・・・では通じない
「解を表現できる数体系」とか言い始める>>1みたいなアホには説明のしようがない
621:615
21/02/25 10:16:44.16 zznxMDx9.net
アーベルの証明に近いものは高木貞治「代数学講義」7章にまとめられている
優秀な高校生なら理解可能であろうがwikiやネットで読んだ程度の雑多な知識面はともかく
理解力などの意味で「優秀な高校生」レベルでない人が多いw
>>330
3次方程式の解が全て実数の時でも虚数を含まない形で根号だけで
解を表示することができないことの証明も同じく7章に書いてある
などと書いても多分>>619でいう一般人には刺さらないだろう
そういう応対は私みたいなカスじゃなくブルーバックス書くような先生にお任せします
622:１３２人目の素数さん
21/02/25 18:15:59.84 Usy0jZaK.net
>>621
カスなら死ね
623:１３２人目の素数さん
21/02/25 19:50:00.38 l/M/iSHN.net
>>620
>「解はあるが根号だけでは解が表示できない」
>という言葉の意味がわからない
そもそも
「解があれば根号で解が表示できる筈」
という主張の根拠がわからんが
624:１３２人目の素数さん
21/02/25 19:51:26.12 l/M/iSHN.net
どうせ一般人は解が数として求まればいいんだから
根号に固執する必要ないだろう
なんで数値解析を嫌うのかわからん
精神異常なのか？
625:１３２人目の素数さん
21/05/05 04:16:59.46 QrlQ0YkL.net
雪江の青い本を参考に
4次方程式の解を根号で表したときの複雑さをガロア群の大きさで分類した
有理数係数の4次式 f(x) の有理数体上のガロア群を G とし
n = #G とする。
f(x) = 0 の解は...
n = 1 : 解は有理数。
n = 2 : 解は有理数か、平方根1個で表せる。
n = 3, 6 : 解の1つが有理数。他の3つは3次方程式の解の公式で解くので立方根の中に平方根が入る程度。
n = 4, 8 : 解は高々2重の平方根で表せる。
n = 12, 24 : 解は平方根の中に3次方程式の解の公式が入る式を3つ足したもの。唯一書く気が失せるレベル。
626:１３２人目の素数さん
21/05/12 18:47:16.93 acG7Pir8.net
>>549
英語のウルトラよりも
こっちの異って名付け方が好みだ
627:Mad Chemist
22/02/24 20:03:36.80 TpPTsnGd.net
こんな本が出てた。
早川書房 マリオ・リビオ著 「なぜこの方程式は解けないか？」
5次方程式が解けないことから群論まであれこれ書いてある。
628:１３２人目の素数さん
22/05/21 22:29:15.54 jy7WmlE0.net
解いてみたという書き込みが無い。
629:１３２人目の素数さん
22/05/22 00:59:11.99 CAehBHuJ.net
ようは加、減、乗、除、冪乗、冪根の他に新たな演算を用いれば一般の代数方程式の解の公式を表せるんじゃないかってことでしょ？
630:１３２人目の素数さん
22/05/22 22:51:56.09 YB0b7+yR.net
>>629
その時点で「代数的」じゃなくなってるんだわ
631:１３２人目の素数さん
22/06/06 18:09:37.31 WCtTDKcQ.net
拍子抜けするような簡単な方法で、五次方程式の代数的解法が出来そうなんですが
もし出来たら凄いことなのでしょうか？特許とか取れるでしょうか？
誰か教えてもらえませんか。
632:１３２人目の素数さん
22/06/06 18:40:20.76 djra2yDV.net
周囲の数学が解る人に見てもらった？
633:１３２人目の素数さん
22/06/06 19:36:13 WCtTDKcQ.net
>>632
周りにそういう人は居ません。
自分としては非常に手応えを感じており、もしも上手くいった場合に
折角なら金銭的なメリットを得られないものかと、尋ねてみました。
634:１３２人目の素数さん
22/06/06 20:31:32.43 LcK9vskf.net
時間の無駄。あなたがいくら「できた」と言ってみたところで、学術的には門前払い。
たまたま代数的に解ける特殊な5次方程式は存在するが、
一般の5次方程式に一般的に通用する代数的解法は存在しないことが証明済み。
このことに反する主張は、学術的には門前払い。
必然的に、あなたのやり方はどこかが間違っていることになるが、
どこが間違っているのかを指摘する義務すらなく、ひたすらに門前払いを食らう。
だって、代数的解法は存在しないことが証明済みだから。
学術的にはこういう塩対応になる。
635:１３２人目の素数さん
22/06/06 20:33:16.85 LcK9vskf.net
ではどうすればいいか？
知らんがな。
親切な人なら、あなたのやり方のどこが間違っているのか
具体的に指摘してくれるかもしれんが、特許がどうこうとか色気を出してる時点で、
できるだけ秘匿にしておきたいという魂胆が丸見えなので、自分で自分の首を絞めている。
あと、このような古い話題では、「代数的解法がない」という内容が正しいことに
もはや疑いようがないので、そのような結果に反する主張が
特許として受理されることはないと思われる(特許庁の信頼に関わるので)。
636:１３２人目の素数さん
22/06/06 22:33:06.24 WCtTDKcQ.net
>>635
確かにどうも勘違いしていたようです。
ご指摘ありがとうございました。
637:１３２人目の素数さん
22/06/09 03:37:50.64 tFfS/N1Q.net
どうしても三等分家と同じ空気をまとうよな。
両方ガロア理論が使えるだけあって。
638:１３２人目の素数さん
22/06/14 00:44:51.60 aoIaY7ce.net
5次方程式に一般的な代数的解法が存在しない事はガロアの結果とは別に示されてたけど
ガロアいなかったら代数学のそこそこマニアックな結果になってたのかな…
639:１３２人目の素数さん
22/08/28 16:51:46.06 jv05r6bX.net
体K上の5次方程式がK上既約である場合、
そのガロア群としては、最も一般の場合の位数5！＝120次の対称群S_5と
それの正規部分群である位数60の5次の交代群A_5、
があるがそれらはいずれも可解ではない場合になる。
解ける場合のガロア群は、位数が5ｘ4＝20次の場合と、
位数が5ｘ2＝10次の場合と、位数が5次の場合巡回群C_5のものだけである。
それらに対しては、ラグランジュの分解式を使って、K上で解の代数的表示
（べき根と四則だけの組あわせで）を書くことができる。
体K上での多項式のガロア群は何になるかは、代数的に決定する方法があるが、
長くなるのでここでは述べない。それにはK上での多項式の因数分解を用いる。
640:１３２人目の素数さん
22/08/30 16:30:13.80 UQ0phbRg.net
体Ｋが有限体の場合には、5次方程式のすべての解を代数的に？求める
ことが出来る。それは丹念に有限体の元を1つずつ入れてみて根であるものを
拾い上げれば良いのである。でもそれを、四則演算とべき根の操作による
式として表したことにならないとすれば、拾い上げでは代数的解法とは
呼べないであろう。一般の係数についての解を与えたことにならないから。
はたして、有限体の場合には拾い上げではない代数的解法はないのだろうか？
なお、べき根を使うとなると、それにより有限体が拡大される場合もおこる。
641:１３２人目の素数さん
22/08/30 16:40:50.69 SYAq3eKT.net
有限体の台数拡大は順海であったなー
642:１３２人目の素数さん
22/08/30 19:45:55.33 UQ0phbRg.net
大きな有限体、たとえばｐがとても大きな素数たとえば千桁で、体がK=Z_pのとき、
二次方程式 x^2 = b がK=Z_pの中に解を持つかどうかを判定し、解があればそれを
具体的に導くにはどうすれば良いか。
さらに、三次方程式 x^3=c がKの中に解を持つかどうかを判定し，
解があればそれを具体的に導くにはどうすれば良いか。
5次方程式ｘ＾5＝ｄが。。。
643:１３２人目の素数さん
22/08/31 00:37:55.49 JeikDXCN.net
平方剰余って知ってる？
644:１３２人目の素数さん
22/08/31 01:17:45.10 UteMuGfC.net
平方剰余だけだと体の中に平方根があるかどうかしかわからん。
平方根自体を千桁の数としてZ_pの中から求めなければならないのだが。
どうやるのが最も合理的かな。
645:１３２人目の素数さん
22/08/31 01:20:41.24 JeikDXCN.net
>>644
「判定し、」と書いてるから平方剰余を知らないと思った
646:１３２人目の素数さん
22/08/31 21:23:26.16 UteMuGfC.net
じゃあ、立方剰余、四乗剰余は知っている？
647:１３２人目の素数さん
22/09/01 08:39:25.65 uB81n779.net
ヴェイユのゼータ関数について調べることを勧める
648:１３２人目の素数さん
22/09/01 09:21:16.17 ZC07wOqW.net
まず平方剰余の相互法則から
649:１３２人目の素数さん
22/09/01 19:56:14.03 TXS31IJE.net
K が F_2 を含む体であるとき
K 上の2次方程式の解が四則と冪根で表せない場合があるよ(>>49)
面倒だね
根を文字でおいて無理矢理拡大できるから
もう今の学者は冪根で解くことに執着していないのだろう
650:１３２人目の素数さん
22/09/03 09:44:21.14 1mdmiBYJ.net
平方根だから（有限）体の中に根があるならば
ニュートン法を使えば反復で収束するのだろうか？
651:１３２人目の素数さん
22/09/03 10:25:15.67 Ja0wNjCx.net
>>650
>>ニュートン法を使えば反復で収束するのだろうか？
どんな距離に関して？
652:１３２人目の素数さん
22/09/23 17:05:42.74 Fm65WMwd.net
部分体を持たない素体のなかの「距離」としては、自明なものしかないだろ。
つまり一致するかしないかだけ。
たとえば平方根を求めるためのニュートン法は有理式の反復の形にかけるから、
体上では実行可能だろう。それがどのような挙動を示すだろうか。
たとえば、比較的体の要素数が大きくても、初期値のある程度の割りあいに
対して少数回の反復でもって、平方根に到達するということがあったりすれば
（願望だが）、良いのになという話。たぶんそうならないかもしれないが、
それはそれで面白い。
653:１３２人目の素数さん
22/09/28 21:05:55.95 z1nf2YJs.net
いくつかの例で多少実験してみたところ、
どうもニュートン反復式は、素体の中で平方根を
求める役には全然たちそうもないことがわかった。
654:１３２人目の素数さん
22/10/23 16:56:19.73 RxDfxLkf.net
Z/pZ 上のm次多項式f(x)を既約分解すれば、
1次因子があれば、それがf(x)=0のZ/pZに於ける解になる。
2次の既約因子があればZ/pZ上の2次拡大体の中に2次既約因子の個数の2倍の解がある。
3次の既約因子があればZ/ｐZ上の3次各大体の中に3次既約因子の個数の3倍の解が、
。。。
既約分解を行う算法は既に存在していて、数式処理などでは使われている。
655:１３２人目の素数さん
22/10/30 16:21:07.12 YxSemZpb.net
要素の数が有限の体は、標数が素数ｐであって、
要素数が素数ｐからなる要素数がｐの体であるか
またはそれの任意次数の代数拡大で得られる体に同型である。
拡大次数をｍとすればその要素数はｐのｍ巾になる。
つまり、要素数が有限である体は極めて限られた存在で
豊富さに欠ける。
656:１３２人目の素数さん
22/10/30 19:18:04.57 /BpMF6dC.net
素数は豊富さに欠けるということになるから、間違った主張である
657:１３２人目の素数さん
22/11/08 06:25:23.93 Mb93uGhw.net
>>649
Abel方程式にはまだ執着しているようだ
658:１３２人目の素数さん
22/12/20 15:57:23.41 R0GrT6qP.net
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)