プチ小技集：３次多項式の判別式と根の数

125

　多項式（とその根）を考える上で，最初の手掛かりになるのは判別式でしょう．

多項式の判別式

多項式 $F (T) = a_{0} T^{n} + a_{1} T^{n - 1} + \dots + a_{n}$ の根を $α_{1}, \dots, α_{n}$ とする．次で定義される値 $D$ を $F (T)$ の判別式という：
$D := a_{0}^{2 n - 2} \cdot \prod_{u < v} (α_{u} - α_{v})^{2} .$

　判別式は体拡大を考える上でもしばしば重宝しますが，その理由のひとつとして $F (T)$ の係数の多項式として（原理的には）計算が可能である点が挙げられます．特に， $F (T)$ の係数を総て含む体 $K$ を考えれば，判別式 $D$ もまた $K$ に属します．判別式 $D$ の平方根を $K$ が含むかどうかが，体拡大の複雑性を測る第一歩ともいえるのです．

２次多項式の判別式

２次多項式 $F (T) = a T^{2} + b T + c$ の判別式は $D = b^{2} - 4 a c$ で与えられる．

２次多項式の判別式と根の分布

実数係数の２次多項式 $F (T) = a T^{2} + b T + c$ の判別式を $D = b^{2} - 4 a c$ とするとき，以下が成り立つ：
(1) $D > 0$ $⟺$ $F (T)$ は異なる２個の実数根をもつ．
(2) $D = 0$ $⟺$ $F (T)$ は重根をもつ．
(3) $D < 0$ $⟺$ $F (T)$ は虚数根をもつ．

虚数根について

本記事では，虚数といえば「実数でない複素数」を意味するものとする．
虚数 $α$ が多項式 $F (T) \in R [T]$ の根ならば，複素共役 $\bar{α}$ も $F (T)$ の根なので，上記定理１(3) の右辺は「 $F (T)$ は異なる２個の虚数根をもつ」ともいえる．

　上記定理１と同様に，３次多項式の根の分布も判別式と結び付けられるというのが今日の主定理です．

主定理：３次多項式の判別式と根の分布

実数係数の３次多項式 $F (T)$ の判別式を $D$ とするとき，以下が成り立つ：
(1) $D > 0$ $⟺$ $F (T)$ は異なる３個の実数根をもつ．
(2) $D = 0$ $⟺$ $F (T)$ は重根をもつ．
(3) $D < 0$ $⟺$ $F (T)$ は１個の実数根と２個の虚数根をもつ．

中間値の定理により $F (T)$ は少なくとも１個の実数根をもちます．残りの２個がどう分布するかを鑑みれば，あらゆる３次多項式に対して (1)～(3)のいずれか１つ，かつ１つのみが当てはまります．このとき，各々について含意 $\Leftarrow$ が証明できれば，逆向きの含意 $\Rightarrow$ は自動的に成り立ちます．

$F (T)$ の３根を $α, β, γ$ と表します．このとき判別式 $D$ は
$D = c (α - β)^{2} \cdot (β - γ)^{2} \cdot (γ - α)^{2}$
（ただし $c$ は適当な正数）と表されます．(1)～(3) のそれぞれにおいて， $D$ がどのような値になるかを確かめましょう．

$α, β, γ$ が相異なる実数のとき， $α - β$ , $β - γ$ , $γ - α$ はいずれも $0$ でない実数であり，
$D = c (α - β)^{2} \cdot (β - γ)^{2} \cdot (γ - α)^{2} > 0.$
$α, β, γ$ に重複があれば $α - β$ , $β - γ$ , $γ - α$ のいずれかは $0$ なので
$D = c (α - β)^{2} \cdot (β - γ)^{2} \cdot (γ - α)^{2} > 0.$
$α$ は実数， $β, γ$ は虚数とします．このとき $γ = \bar{β}$ （複素共役）なので， $β - γ$ は純虚数， $α - γ = \overset{―}{α - β}$ です．このとき $(β - γ)^{2} < 0$ および $(α - β) (α - γ) \in R$ なので，
$D = c {(α - β) \cdot γ - α)}^{2} \cdot (β - γ)^{2} < 0.$

投稿日：2021年11月20日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

龍孫江

132

16515

代数学（群論・環論・体論）の問題を解説するYouTubeチャンネル「龍孫江の数学日誌」を運営しております（リンクからどうぞ）．YouTubeでは扱いきれないまとまった記事を書いていきたいと思います．どうぞご贔屓に．

他の人のコメント

コメントはありません。

読み込み中

龍孫江

プチ小技集：３次多項式の判別式と根の数