好きな和訳タイトルを教えてください

http://www004.upp.so-net.ne.jp/s_honma/polynomia …

を参照して、判別式について考えています。

そこでの、普通の意味での判別式は、
D = a_0^2(n-1)Π( αi - αj )^2
で、

D=0⇔多項式 F(X) (または、方程式 F(X)=0 )は、重根をもつ

です。

2次においては、
D>0ならば、2つの相異なる実数解をもつ
D<0ならば、2つの相異なる虚数解をもつ
D=0ならば、実数の2重解をもつ

3次においては、
D>0ならば、3つの相異なる実数解をもつ
D<0ならば、1つの実数解と2つの虚数解をもつ
D=0とする。p=q=0ならば、3重解(解は0のみ)をもつ
       pq≠0 ならば、 3つの実数解(2重解とその他の解)をもつ

のように、2次や3次に限っては、判別式Dの正負または0の値によって明確に分類されます。

では、4次方程式の場合にはどうなるでしょうか?

たとえば、相異なる実数解を4個もつ条件は何でしょうか?

(極大値が正、極小値が負という条件を考えましたが、微分した3次方程式を解くことになるし、結果もきれいにならないだろうし、また、より一般には、5次方程式は解けないし、なにか別のいい方法を知りたいと思っています。)

A 回答 (3件)

もちろん高次方程式に対しても判別式を考えることはできますが、非常にやっかいな計算になるので、判別式を用いて解の虚実を調べようというのはあまりよい方針とは思えません。

そもそも判別式は重根の存在の有無を調べるためのものであって、実数解の存在の有無が分かるのはむしろ2次方程式、3次方程式の場合に限って出てくる副次的なものです。

たとえば4次方程式であれば、判別式が正になっても実根が4つなのか、虚根が4つなのか区別できません。負であれば実根が2つで虚根が2つだと分かるけれども。より高次になればなおさらです。微分の情報を調べて何とかならないか、という気がするかも知れませんが、たとえば、4実根を持つ方程式x^4-4x^2+3=0と、4虚根を持つx^4-4x^2+5=0を比べてみればよいのです。導関数はまったく同じです。

すなおに極値の符号を調べるというのがもっとも簡単で、また実戦的だと思います。微分した3次方程式が難しい場合も解の近似値を得て、おおよそのことは分かります。たとえばα<β<γに対して、f(α)<0、f(β)>0、f(γ)<0がわかっただけで、最高次の係数が正であれば、4実解を持つことはわかります。α、β、γは極値である必要はありません。実用的という意味では、微分した3次関数を解くのではなく、もとの4次式f(x)=x^4+ax^3+bx^2+cx+dをf(x)=(x-α)^2(x-β)^2+px+qと変形して(恒等式だから係数比較ですぐできる)f(α)<0、f(β)<0、f((α+β)/2)>0がわかれば4実数解がある、とやることも出来ます。これは必要条件にはなっていませんが、実用的という意味ではかなり強力な道具です。複接線と呼ばれるpx+qと比べる、というアイデアです。もちろんこれが成り立たなくても4次数解を持つ可能性はありますが、大抵の場合、まれです。ちなみに複接線が引ける条件はf''(x)=0が異なる2実解を持つことです。

どうしても判別式と使ってみたい場合、D(a)={f(x)-aの判別式}とおいてやって、D(a)の符号の変化を調べる、という方法が使えるかも知れません。大抵の場合、元の方程式より厄介になっているようには思いますが。グラフを考えてみるとどうなれば4実数解を持つかは具体的にかけるでしょう。
    • good
    • 0
この回答へのお礼

ありがとうございます。
一日中いろいろ調べて、自分の考えをまとめました。

実数係数n次方程式がある。n次の係数は1にしておく。
残りの係数を用いて、重解を持つかどうか判別したい。

D=a_0^2(n-1)Π( αi - αj )^2=(係数の多変数多項式で表せる)として、
重根をもつ⇔D=0

終結式(行列式で表せる)の考えを用いて、
重根をもつ⇔f(x)とf '(x)の終結式=0

互除法の考えを用いて、
重根をもつ⇔f(x)=0とf '(x)=0が共通解を持つ
⇔f(x)とf '(x)が共通因数を持つ
⇔互除法を用いて、最大次数の因数を調べると、1次以上

グラフを用いて、
重根をもつ⇔ある極値=0となる⇔f '(x)=0の解を求め(数値計算)、f(x)に代入して0になるようなものがあればよい

実数係数n次方程式がある。
その係数を用いて、n個の異なる実数解を持つかどうか判別したい。

スツルムの定理を用いて、
n個の異なる実数解を持つ
⇔f(x)とf '(x)から、ある規則によって多項式列を作り、x=-M(Mは十分大きい)での数列の符号変化がn回、x=M(Mは十分大きい)での数列の符号変化が0回、であればよい

グラフを用いて、
n個の異なる実数解を持つ
⇔f '(x)=0の解が異なるn-1個あり、極大値>0、極小値<0であればよい

ANo.1さまの、D(a)={f(x)-aの判別式}におけるの符号の変化、
ANo.2さまの、判別式D1,D2,D3、
も有意義と思います。
本当にありがとうございました。

お礼日時:2007/05/13 00:22

>では、4次方程式の場合にはどうなるでしょうか?


>たとえば、相異なる実数解を4個もつ条件は何でしょうか?

3次までの判別式DはD=0が重解を持つ条件ですね。
判別式Dの定義が方程式の最高次の係数を1に正規化した後の方程式の判別式では2根の差の自乗積ですから、重解があればD=0は明らかですね。

重解以外の判定はたまたまできただけです。
もちろん、実数係数の高次多項式=0の方程式は必ず複素根を持つ場合はすべて共役複素根のセットとして存在します。
3次方程式は一根は実数です。従って虚根がある場合は共役複素根が一組だけしか存在しません。従ってこの性質から判別式Dの正負により根の実根や虚根の判別とD=0の重解(重根)の有無の判別とから、D>0で異なる実根まで判別が可能になったわけですね。
2次方程式もおなじ理由で根の判別ができます。

5次以上は一般的には根が求められませんから根の差の自乗積でできる判別式Dだけで一般的に今の種類を統一的に論じられませんね。重解(重根)の存在の判別だけにしか使えませんね。ただすべてが異なる実根の場合はD>0になりますが、それ以上のことは解析しないと分かりません。

4次方程式の場合は一般的にすべての根を求めることができますから、根の判別はできますね。ただ従来の根の差の自乗積でできる判別式Dだけで一般的に判別できるかと言えば多分できないきます。一般的な解析が難しいからどの数学書にも書かれていないのだと思います。

本論に戻って4次方程式の場合の異なる4実根を持つ条件については
f(x)=0の4根をα、β、γ、δとおけば以下の3つの条件が成立することが
異なる4実根を持つ条件となるかと思います。

1)f'(x)=0が異なる3実根a,b,c(a<b<c)をもつ
 f'(x)=0の3次方程式の判別式D3>0
2)f(a)f(c)>0
D1= (a-α)(a-β)(a-γ)(a-δ)(c-α)(c-β)(c-γ)(c-δ)>0
3)f(a)f(b)<0
D2=(a-α)(a-β)(a-γ)(a-δ)(b-α)(b-β)(b-γ)(b-δ)<0

判別式D1,D2,D3を使えば良いですね。
4次方程式の根と係数の関係からD1,D2,D3が係数だけで表せれば一般化できますがやってみていませんのですみません。(^^;)
    • good
    • 2
この回答へのお礼

ありがとうございます。
一日中いろいろ調べて、自分の考えをまとめました。

実数係数n次方程式がある。n次の係数は1にしておく。
残りの係数を用いて、重解を持つかどうか判別したい。

D=a_0^2(n-1)Π( αi - αj )^2=(係数の多変数多項式で表せる)として、
重根をもつ⇔D=0

終結式(行列式で表せる)の考えを用いて、
重根をもつ⇔f(x)とf '(x)の終結式=0

互除法の考えを用いて、
重根をもつ⇔f(x)=0とf '(x)=0が共通解を持つ
⇔f(x)とf '(x)が共通因数を持つ
⇔互除法を用いて、最大次数の因数を調べると、1次以上

グラフを用いて、
重根をもつ⇔ある極値=0となる⇔f '(x)=0の解を求め(数値計算)、f(x)に代入して0になるようなものがあればよい

実数係数n次方程式がある。
その係数を用いて、n個の異なる実数解を持つかどうか判別したい。

スツルムの定理を用いて、
n個の異なる実数解を持つ
⇔f(x)とf '(x)から、ある規則によって多項式列を作り、x=-M(Mは十分大きい)での数列の符号変化がn回、x=M(Mは十分大きい)での数列の符号変化が0回、であればよい

グラフを用いて、
n個の異なる実数解を持つ
⇔f '(x)=0の解が異なるn-1個あり、極大値>0、極小値<0であればよい

ANo.1さまの、D(a)={f(x)-aの判別式}におけるの符号の変化、
ANo.2さまの、判別式D1,D2,D3、
も有意義と思います。
本当にありがとうございました。

お礼日時:2007/05/13 00:22

A#2のお礼の補足で



>実数係数n次方程式がある。n次の係数は1にしておく。

とあるので

>D=a_0^2(n-1)Π( αi - αj )^2=(係数の多変数多項式で表せる)として、
>重根をもつ⇔D=0
D=Π( αi - αj )^2
となります。
    • good
    • 2

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!


おすすめ情報