コーシーによる方法とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > コーシーによる方法の意味・解説 

コーシーによる方法

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/03 04:32 UTC 版)

対称式」の記事における「コーシーによる方法」の解説

1829年コーシーは、 1 つ変数着目した方法用いた。 x1,x2,…,xn変数とする n 変数対称式は、x1 だけを定数思えば、x2,…,xn変数とする n−1 変数対称式でもある。 x1,x2,…,xn変数とする k 次の基本対称式を σk とし、 x2,…,xn変数とする k 次の基本対称式を τk とすると σ1 = x1 + τ1 σ2 = τ1 x1 + τ2 … … … σn−1 = τn−2 x1 + τn−1 σn = τn−1 x1 という関係が成り立つ。 τ1 = σ1 − x1 τ2 = σ2 − τ1 x1 = σ2 − (σ1 − x1) x1 = σ2 − σ1 x1 + x12 … と、順に代入繰り返してみると、τ1, τ2,…,τn−1 は、x1 と σ1, …, σk の多項式表されることが分かるまた、x1, x2, …, xn は、 t n − σ 1   t n − 1 + σ 2   t n − 2 − ⋯ + ( − 1 ) n − 1   σ ( n − 1 )   t + ( − 1 ) n   σ n = 0 {\displaystyle t^{n}-\sigma _{1}\ t^{n-1}+\sigma _{2}\ t^{n-2}-\cdots +(-1)^{n-1}\ \sigma _{(n-1)}\ t+(-1)^{n}\ \sigma _{n}=0} の根であるから、これらを変数とする多項式は、次数下げなどにより、どの xm (1 ≤ m ≤ n) に関しても n−1 次以下となるような多項式にすることができる。 対称式 f(x1,x2,…,xn) を x1 について整理し、x1k の係数gk(x2,…,xn, σ1, σ2, …, σn) 、すなわち f ( x 1 , x 2 , ⋯ , x n ) = ∑ k = 0 n − 1 g k ( x 2 , x 3 , ⋯ , x n , σ 1 , σ 2 , ⋯ , σ n )   x 1 k {\displaystyle f(x_{1},x_{2},\cdots ,x_{n})=\sum _{k=0}^{n-1}g_{k}(x_{2},x_{3},\cdots ,x_{n},\sigma _{1},\sigma _{2},\cdots ,\sigma _{n})\ x_{1}^{k}} であるとすると gk は、x2,…,xn に関して対称式になる。 n−1 変数対称式は、基本対称式多項式表せということ仮定すると、 gk は、τ1, τ2,…,τn−1 の多項式書くことができる。すなわち、どの gk も、x1 と σ1, …, σk の多項式表される。x1 の次数下げつつ f ( x 1 , x 2 , ⋯ , x n ) = ∑ k = 0 n − 1 h k ( σ 1 , σ 2 , ⋯ , σ n )   x 1 k {\displaystyle f(x_{1},x_{2},\cdots ,x_{n})=\sum _{k=0}^{n-1}h_{k}(\sigma _{1},\sigma _{2},\cdots ,\sigma _{n})\ x_{1}^{k}} の形に整理することができる。左辺対称式なので、x1 と任意の xp入れ替えて変わらないので、任意の p, q ∈ {1,2,…,n} について ∑ k = 0 n − 1 h k ( σ 1 , σ 2 , ⋯ , σ n )   x p k = ∑ k = 0 n − 1 h k ( σ 1 , σ 2 , ⋯ , σ n )   x q k {\displaystyle \sum _{k=0}^{n-1}h_{k}(\sigma _{1},\sigma _{2},\cdots ,\sigma _{n})\ x_{p}^{k}=\sum _{k=0}^{n-1}h_{k}(\sigma _{1},\sigma _{2},\cdots ,\sigma _{n})\ x_{q}^{k}} が成り立つことから、 1 ≤ k ≤ n-1 のとき hk ≡ 0 となり f(x1,x2,…,xn) = h0(σ1,σ2,…,σn) と表され、n 変数対称式は、基本対称式多項式表せることがわかる。n = 1 の時は対称式の基本定理明らかに成り立つので、数学的帰納法により、n 変数対称式について基本定理成り立つ。 計算例はこちら→ 計算例1 x1, x2 に関する対称式 f(x1, x2) = x13 x2 + x1 x23 + x12 + x1 x2 + x22 は、 x2 = σ1 − x1 という関係から f(x1, x2) = x13 ( σ1 − x1 ) + x1 (σ1 − x1 )3 + x12 + x1 ( σ1 − x1 ) + ( σ1 − x1 )2 = σ12 +13 − σ1) x1 + (1 − 3 σ12) x12 + 4 σ1 x13 − 2 x14 ここで x12 − σ1 x1 + σ2 = 0用い、x1 について 1次以下にすれば f = σ12 σ2 − 2 σ22 + σ12 − σ2 が得られる最後次数下げ部分x12 = σ1 x1 − σ2 として、代入続けてもいいし、多項式の割り算によって f = ( − 2 x1 + 2 σ1 x1 + 2 σ2 −12 + 1 ) (x12 − σ1 x1 + σ2) + σ12 σ2 − 2 σ22 + σ12 − σ2 の第 1 項を 0 としたもの、つまり割り算余り基本対称式による表現とすればよい。 計算例2 x2 + x3 = τ1 = σ1 − x1 x2 x3 = τ2 = σ2 − σ1 x1 + x12 x13 = σ1 x12 − σ2 x1 + σ3 の 3 式を用いて対称式である三次方程式の判別式計算すると D = { (x3 − x1)(x1 − x2)(x2 − x3)}2 = { x12 − (x2 + x3) x1 + x2 x3}2 {(x2 + x3)2 − 4x2 x3} = (3 x12 − 2σ1 x1 + σ2)2 (−3x12 + 2σ1 x1 +σ12 − 4σ2) = {9 x1412σ1 x13 + (4σ12 + 6σ2) x12 − 4 σ1 σ2 x1 + σ22} (−3x12 + 2σ1 x1 +σ12 − 4σ2) = {(σ12 − 3 σ2)x12 − (σ1σ2 − 9 σ3) x1 + σ22 − 3 σ1σ3}(−3x12 + 2σ1 x1 +σ12 − 4σ2) = (9σ2 − 3σ12)x14 + (2σ13 − 3σ1σ2 − 27 σ3)x13 + (σ14 − 9 σ12σ2 + 27 σ1σ3 + 9σ22) x12+ (−σ13σ2 +12σ3 + 6σ1σ2236 σ2σ3) x1 + (σ22 − 3 σ1σ3)(σ12 − 4σ2) = σ12 σ22 −4σ13 σ3 −4σ23 + 18σ1σ2σ3 + 27 σ32 となり、最終的に x1 が全て消え基本対称式変数とする多項式になる。

※この「コーシーによる方法」の解説は、「対称式」の解説の一部です。
「コーシーによる方法」を含む「対称式」の記事については、「対称式」の概要を参照ください。

ウィキペディア小見出し辞書の「コーシーによる方法」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「コーシーによる方法」の関連用語

1
4% |||||

コーシーによる方法のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



コーシーによる方法のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの対称式 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS