- 1 名前：名無しさん [2012/01/31(火) 22:32:36.78 ID:LTM9xtnu]
- ベストアンサー：”が、ガロアの論文は解りにくいモノでした。現在の整理された数学書の書き方に慣れているためか、ガロアの論文を少し眺めてみて、弱気になってしまいました。”ですか？
detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1371534513
数学の歴史に興味ある方にお尋ねします。「現代数学の系譜11、アーベル、ガロア、...noranekokuma2004さん 質問日時： 2011/9/18
「現代数学の系譜11、アーベル、ガロア、群と代数方程式、守屋美賀雄訳」にチャレンジしております。
アーベル、ガロアとも、方程式の根の有理式を説明しています。
両者の説明とも、帰着するところは、根の有理式はいわゆるラグランジュの分解式のかたちをとるというところにあると、私は考えています。
ラグランジュは、３次方程式の根、α、β、γと1の3乗根によって
u=α+βω+γω＾2
v=α+βω＾2+γω
という式をつくることによって、3次方程式が解けることを示しました。
彼は、それを一般化し、素数次数の方程式の根と1の累乗根と組み合わせた、いわゆる、ラグランジュの分解式を提起しました。
皆さまの見解を伺いたいと思います。
ベストアンサーに選ばれた回答siolaglebaさん 回答日時：2011/9/21
ガロアの論文が、どんなものか知りたくて、私もこの本を読もうとしました。
高名な数学者さえ理解出来なかった論文とは、一体何がどのように書かれているのか興味があったからです。すでにガロア理論を知っていたので、軽く考えていました。
が、ガロアの論文は解りにくいモノでした。現在の整理された数学書の書き方に慣れているためか、ガロアの論文を少し眺めてみて、弱気になってしまいました。
自分には、読みたい数学は一杯あるし、ガロア理論も知っている。他の数学書に取りかかった方が良いと。諦めるのが早かったかもしれません。
ラグランジュの分解式は、方程式の可解性を議論するなかで、べき根拡大を考えるとき、使ったように記憶しています。
ラグランジュは、３次・４次方程式の解明に成功しましたが、５次方程式は失敗しました。が、ラグランジュの研究は無駄ではなかったことの証が、ラグランジュ分解式と思います。
- 284 名前：現代数学の系譜11 ガロア理論を読む [2012/02/18(土) 11:27:44.53 ]
- >>283 つづき
ちょっと遊んでみると、
(%o22) (x-(a-b)^2)*(x-(b-c)^2)*(x-(c-a)^2)
(%o23) x^3-2*c^2*x^2+2*b*c*x^2+2*a*c*x^2-2*b^2*x^2+2*a*b*x^2-2*a^2*x^2+c^4*x-2*b*c^3*x-2*a*c^3*x+3*b^2*c^2*x+3*a^2*c^2*x-2*b^3*c*x-2*a^3*c*x+b^4*x-2*a*b^3*x+3*a^2*b^2*x-2*a^3*b*x+a^4*x-b^2*c^4+2*a*b*c^4-a^2*c^4+2*b^3*c^3-2*a*b^2*c^3-2*a^2*b*
c^3+2*a^3*c^3-b^4*c^2-2*a*b^3*c^2+6*a^2*b^2*c^2-2*a^3*b*c^2-a^4*c^2+2*a*b^4*c-2*a^2*b^3*c-2*a^3*b^2*c+2*a^4*b*c-a^2*b^4+2*a^3*b^3-a^4*b^2
(%o24) x^3+(-2*c^2+(2*b+2*a)*c-2*b^2+2*a*b-2*a^2)*x^2+(c^4+(-2*b-2*a)*c^3+(3*b^2+3*a^2)*c^2+(-2*b^3-2*a^3)*c+b^4-2*a*b^3+3*a^2*b^2-2*a^3*b+a^4)*x+(-b^2+2*a*b-a^2)*c^4+(2*b^3-2*a*b^2-2*a^2*b+2*a^3)*c^3+
(-b^4-2*a*b^3+6*a^2*b^2-2*a^3*b-a^4)*c^2+(2*a*b^4-2*a^2*b^3-2*a^3*b^2+2*a^4*b)*c-a^2*b^4+2*a^3*b^3-a^4*b^2
- 285 名前：現代数学の系譜11 ガロア理論を読む [2012/02/18(土) 11:34:48.49 ]
- >>284
説明
(%o22) (x-(a-b)^2)*(x-(b-c)^2)*(x-(c-a)^2)：最初、α、β、γをテキストコピーで入力したら、文字化け。で、a,b,cで計算
(%o23) が、展開結果
(%o24) は、式の整理というコマンドがあって、それを適用した結果（関数の整理コマンドもやってみたが、同じ出力）
|
 |
