next up previous contents
Next: 2.2.4 DK 法 Up: 2.2 連立法, 特に Durand-Kerner Previous: 2.2.2 DK 法

2.2.3 復習: 根と係数の関係

この項の内容は代数学の入門書に解説されていることが多い。色々あるが、 例えば山崎 [19] をあげておく。

$ 2$ 次方程式の場合

$\displaystyle a_2 x^2+a_1 x+a_0=a_2(x-\xi_1)(x-\xi_2)
$

より

$\displaystyle -a_2(\xi_1+\xi_2)=a_1,\quad a_2(\xi_1\xi_2)=a_0.
$

3 次方程式の場合

$\displaystyle a_3 x^3+a_2 x^2+a_1 x+a_0=a_3(x-\xi_1)(x-\xi_2)(x-\xi_3)
$

より

$\displaystyle -a_3(\xi_1+\xi_2+\xi_3)=a_2,\quad
a_3(\xi_2\xi_3+\xi_3\xi_1+\xi_1\xi_2)=a_1,\quad
-a_3(\xi_1\xi_2\xi_3)=a_0.
$

これを一般化して

$\displaystyle a_n x^n+a_{n-1}x^{n-1}+\cdots+a_1 x+a_0=a_n(x-\xi_1)(x-\xi_2)\cdots(x-\xi_n)
$

について、

$\displaystyle (-1)^s a_n
\times($$\displaystyle \mbox{$\xi_1$, $\cdots$, $\xi_n$\ から $s$\ 個取って作った積の和}$$\displaystyle )
=a_{n-s}$   $\displaystyle \mbox{($s=1,2,\cdots,n$)}$$\displaystyle . \qed
$


\begin{jdefinition}[基本対称式]\upshape
不定元 $X_1$, $X_2$, $\cdots$, $X_n$\ ..
... $X_2$, $\cdots$, $X_n$\ 、ホ $s$\ シ。\textbf{エワツミセホシー}、ネクニ、ヨ。」
\end{jdefinition}


\begin{jtheorem}[コャ、ネキクソホエリキク]
イトエケツホ $K$\ セ螟ホ $n$\ シ。、ホターシー
\begin{displaym...
...rac{a_{n-s}}{a_n}=S_s(\xi_1,\xi_2,\cdots,\xi_n).
\end{displaymath}\end{jtheorem}


\begin{jdefinition}[ツミセホシー]
ターー$K$\ における不定元 $X_1$, $X_2$, $\cdots$, $X...
...$X_1$, $X_2$, $\cdots$, $X_n$\ の\textbf{対称式}であるという。
\end{jdefinition}


\begin{jtheorem}
不定元 $X_1$, $X_2$, $\cdots$, $X_n$\ の任意の対称式 $f$\ は、...
...aymath}
f=g(S_1, S_2, \cdots, S_n)
\end{displaymath}と表される。
\end{jtheorem}

その他、判別式、終結式などが勉強しておくべき内容である。


next up previous contents
Next: 2.2.4 DK 法 Up: 2.2 連立法, 特に Durand-Kerner Previous: 2.2.2 DK 法
Masashi Katsurada
平成21年7月9日