重根

出典: フリー百科事典『ウィキペディア（Wikipedia）』

重根（じゅうこん、multiple root）とは、1 変数多項式 f(x) が、定数 a ,α₁,α₂, … α_n を用いて

$a(x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_n)$

の形に因数分解され、α₁, α₂, ..., α_n の中に 2 つ以上同じ値がある場合、その値のことをいう。

[編集] 定義

体 K 上の多項式 f(x) と K の元 α に対し、(x - α)² | f(x) が成立するとき、すなわち 2 以上の自然数 k と多項式 g(x) で

f (x) = (x - α) k g (x)

を満たすものが存在するとき、α を f(x) の重根という。特に g(x) が α を根に持たないならば、k を根 α の重複度（じゅうふくど、ちょうふくど、multiplicity）という。

[編集] 重根と関数のグラフ

ある多項式 f(x) に対し、方程式 f(x) = 0 の解は一般に

$\left\{\begin{matrix} y&=&f(x) \\ y&=&0 \end{matrix}\right.$

つまり xy-座標系において y = f(x) と x 軸との交点の x 座標である。このとき y = f(x) が x 軸に接するなら、その接点の x 座標は f(x) の重根となる。

[編集] 判別式

多項式 f(x) の根を α₁, α₂, ..., α_n とし、その全体から作られる最簡交代式（差積）の平方

$D_f := \prod_{1\leq i < j\leq n}(\alpha_i -\alpha_j)^2$

を多項式 f(x) あるいは方程式 f(x) = 0 の判別式（はんべつしき、discriminant）という。

これは「代数方程式が重根を持つかどうか」を判別するための式である。すなわち、判別式が 0 であることとその代数方程式が重根を持つこととが同値となる。このことは判別式を差積に取り替えても変わらない。にもかかわらず差積の平方を判別式とするのは、それが方程式の係数によって必ず記述できるからである。これは、