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)