X



トップページ数学
881コメント245KB
5次方程式の解を表現できる数体系 [転載禁止]©2ch.net
0001132人目の素数さん
垢版 |
2015/04/24(金) 01:31:57.51ID:qXrTAdCX
5次方程式はご存知の通り解の公式がございませんね。

しかしそれは我々が知ってる実数の数体系(有理数と有理数の冪根の加減乗除で表される数)で表現できないというだけで、
実数の表現を拡張して、5次方程式の解の公式を一般化する為の実数の新しい表現を与えてやれば表現できるはず。


ガロワはなんでそんな事に気づかなかったんだ?
人類は二次方程式や3次方程式の解を一般化する為に平方根や冪根、複素数を産み出した。
5次方程式の解の公式がそれまでのやり方で得られないからとなぜ諦めるのか?新しい実数表現を作れば良いではないか。
0259132人目の素数さん
垢版 |
2017/09/04(月) 20:03:31.79ID:eqJtSk/H
>>237

z=a+bi
の3乗根の実部と虚部をaとbとで表してください
って言っているんだが?
0260132人目の素数さん
垢版 |
2017/09/04(月) 20:04:42.92ID:eqJtSk/H
>>248
極形式のrはaとbから2次拡大でできる
θは?
0261132人目の素数さん
垢版 |
2017/09/04(月) 20:05:56.38ID:eqJtSk/H
arctanが必要でしょ?
つまり代数的には表せないんじゃないの?
その証明が欲しい
0262132人目の素数さん
垢版 |
2017/09/04(月) 20:07:38.49ID:eqJtSk/H
できるならできる
できないならできない
どっちなの?
0263132人目の素数さん
垢版 |
2017/09/04(月) 20:30:22.26ID:eqJtSk/H
複素数の平方根の方は問題ないんだよね
x^2-y^2=a
2xy=b
を満たす実数x,yは
x^2-(b/2x)^2=a
4x^4-4ax^2-b^2=0

t=x^2
と置くと
t^2-at-b^2/4=0
より
t=(a±√(a^2+b^2))/2=(a+√(a^2+b^2))/2>0
x=±√(√(a^2+b^2)+a)/√2
y=±√(√(a^2+b^2)-a)/√2
よって
±√(a+bi)=±{(√(√(a^2+b^2)+a)±i√(√(a^2+b^2)-a)}/√2
0264132人目の素数さん
垢版 |
2017/09/04(月) 20:32:09.14ID:eqJtSk/H
ほんと
質問の意味を理解していたのは
>>96 名前:132人目の素数さん Mail:sage 投稿日:2017/08/11(金) 02:43:32.65 ID:tTauAROb
だけだとは情けない
0265132人目の素数さん
垢版 |
2017/09/04(月) 20:33:32.20ID:eqJtSk/H
>>261
>つまり代数的には表せないんじゃないの?
実代数的というべきか
普通言うところの代数的より条件が厳しい
0266132人目の素数さん
垢版 |
2017/09/04(月) 20:34:27.43ID:eqJtSk/H
>>248
>エクセル
・・・
0278132人目の素数さん
垢版 |
2017/09/06(水) 23:59:22.71ID:gIi4CQjU
>>237
1+2iの三乗根書いてみ
0289132人目の素数さん
垢版 |
2017/09/07(木) 07:28:49.57ID:Iasheep5
>>267
不適切というのは答えようとして答えが正しくない期待したものではないときに使う言葉
この場合は不適切ではなく不満足・不十分という用語が適切かな
0300132人目の素数さん
垢版 |
2017/09/07(木) 10:38:23.82ID:12mBS52t
この人は既に口喧嘩に勝つことに興味が移ってしまってるね
そんなんじゃまともに相手されないよ
0302132人目の素数さん
垢版 |
2017/09/07(木) 10:50:34.98ID:Iasheep5
>>300
違うよ・・・・
事実と証明を知りたいということが分からないとは
人の気持ちを推し量ることができないのかよ・・・・・
0303132人目の素数さん
垢版 |
2017/09/07(木) 10:53:38.45ID:Iasheep5
ここを読んでいる人の
誰も分からないということはどうも正しそうだということはだんだん分かってきた
あと方程式の解の表記について無頓着な人が多そうだということも
それから
複素数のベキ乗根では偏角が本質的な役割を果たすので
これを使う限りはある意味代数的な表記とは言えないかもということが理解できていない人も多そうということも
0305132人目の素数さん
垢版 |
2017/09/07(木) 10:58:00.18ID:Iasheep5
もう少し書くと
極表記を使っていいやと思う人は
係数もすべて極凶器で与え解も極表記で与えることを考えてみるのはどうかな?
こちらも全く正数の実ベキ根と四則を使った実代数的には表せないはず
はずとは思うけどこれも証明知らないし事実かどうかも分からないけどさ
0306132人目の素数さん
垢版 |
2017/09/07(木) 10:59:11.48ID:12mBS52t
どう見ても>>96で終わっている話題なのに、何故かこれを不適切・不満だとするポーズをとっている
0307132人目の素数さん
垢版 |
2017/09/07(木) 11:01:49.00ID:Iasheep5
>>306
証明がないからさ
それに
「実ベキ根と四則で表せない」は事実なの?
長らくできなかったが複素ベキ根を使ってできるようになったとしか>>98は書いていないよ
0308132人目の素数さん
垢版 |
2017/09/07(木) 11:02:52.85ID:Iasheep5
どうも
できるできないの証明の重要性ということも分かっていただけないようで残念
0309132人目の素数さん
垢版 |
2017/09/07(木) 11:03:17.74ID:Iasheep5
>>307
証明へのポインタでもいい
0318132人目の素数さん
垢版 |
2017/09/07(木) 11:12:17.61ID:Iasheep5
>>306
付け加えると
複素数を使えば実数解を表せるということと
そこで使われる複素数が複素ベキ乗根を使うため
実部虚部を実代数的に表せないだろうという予想とは
意味合いが異なる
問題意識を理解したのは>>96だけと書いたが
質問の答えではなかったので不十分・不満足と思っているが
不適切ではないと言っているのを>>306は理解できていないというのも残念
0329132人目の素数さん
垢版 |
2017/09/07(木) 11:16:43.38ID:Iasheep5
5次以上では複素ベキ根と四則では貝を洗わせないものがあるという証明は厳密で素晴らしいし
4次までの解法についても先人の知恵と言うべきとは思うが
3次以上の方程式に実ベキ根と四則で表す方法がないかどうかとは別のこと
たぶんないと思うけどどう証明したらいいんだろ?
0330132人目の素数さん
垢版 |
2017/09/07(木) 11:22:13.12ID:Iasheep5
あらかじめ書いておかないといけなかったかもしれないけど
複素数を実2次元と捉えることは複素数の理解としては
ある意味一般的ではあるものの
それが本質というわけではないので複素数を扱う限りは
複素四則とベキ根とが自由に使えるという立場が
実2次元と捉える立場を十分に尊重していなくても
まあそれも当然とは思っているのだけど
それを踏まえた上で実2次元というある意味一般的な理解から見た場合の
解の表記問題に疑問を持った訳です
0341132人目の素数さん
垢版 |
2018/01/03(水) 23:24:10.81ID:OkPafi9+
久しぶり来てみたら、書き込みが絶えていた。
0342132人目の素数さん
垢版 |
2018/01/05(金) 13:46:41.52ID:0kl09vxE
代数方程式の一般解法はある、って聞いた(何次であっても)
あたい素人だからよく判らないわ
0343132人目の素数さん
垢版 |
2018/01/05(金) 22:59:58.19ID:qg8F76lp
「解」と「解法」とは異なるし「代数的に」解けることと解法があることとはこれも異なる
0354132人目の素数さん
垢版 |
2018/02/05(月) 16:15:17.82ID:JLoaucHm
エクセル駆使の人の言う通り
arctanなりarccosなり使えば3次方程式は解ける
氏が「代数的解法」の文脈に乗らなかったのは幸か不幸か…

スレのテーマは代数的解法限定ではなさそうだからいいけどね
0355132人目の素数さん
垢版 |
2018/02/12(月) 18:04:38.08ID:erBZJdKI
4次方程式の解の公式が知りたいんですけど、どこにありますか?文献等紹介してお願いします。
レスを投稿する


ニューススポーツなんでも実況