# 多項式の割り算と高次方程式：因数定理から Cardano の公式・1 の冪根まで > 多項式の除法の原理を証明し、因数定理・係数比較・Lagrange 補間、解と係数の関係、対称式の基本定理と Newton の恒等式、有理根定理、Cardano の公式と 3 次の判別式、1 の冪根の直交関係を証明つきで導く。 > https://rikai.mugen-giken.com/mathematics/hs-algebra/polynomials-and-equations ## 0. この記事の要点 高校では「$x=1$ を代入して $0$ になったから $(x-1)$ で割れる」と解いてきました。この記事は、その手順がなぜ正しいのか、そして 3 次方程式の解の公式がどう作られるのかを、一歩ずつ確かめる章です。読み終えると、割り算・解と係数の関係・解の公式の背後にある理由が自分の言葉で説明できるようになります。 - 多項式にも整数と同じ**除法の原理**があります（商と余りの存在と一意性）。高校の「剰余の定理」「因数定理」「組立除法」はすべてこの定理の帰結です。除法の原理は、Rikai では次数の議論を使ってこの章で初めて定理として証明します。 - 体の上の次数 $n$ 以下の多項式は、$n+1$ 個の相異なる点での値で決まります。これが**係数比較**（恒等式の未定係数法）と **Lagrange 補間**（通るべき点を指定して多項式を 1 つ決める方法）の根拠です。 - 複素数の範囲では、代数学の基本定理により $n$ 次方程式は重複度こみでちょうど $n$ 個の解をもち、**解と係数の関係**が成り立ちます。2 次方程式の判別式 $D<0$ の場合の解も、同じ枠組みで扱えます。 - 解の対称式は基本対称式の多項式で書けます（**対称式の基本定理**）。べき和と基本対称式を結ぶ **Newton の恒等式**を、有限の多項式計算だけで示します。 - 有理数係数の方程式の有理根は、$a_0$ の約数と $a_n$ の約数の比に限られます（**有理根定理**）。3 次方程式は **Cardano の公式**で解けますが、3 実根のときも途中で複素数が必要になります。 - 1 の $n$ 乗根の和の**直交関係**は、[二項係数](/mathematics/combinatorics/enumeration-generating-functions#def-binomial-coefficient)を余りで分類した和の閉じた式（振り分けの公式）を与えます。 ## 1. 動機：方程式の「解ける」とはどういうことか 高校では、$x^3-6x^2+11x-6=0$ のような方程式を、「$x=1$ を代入すると $0$ になるから $(x-1)$ で割り切れる」という手順で解きます。この手順にはいくつもの疑問が隠れています。 - なぜ $f(1)=0$ なら $(x-1)$ で割り切れるのか。割り切れたとき、商はなぜ多項式なのか。 - 割り算の結果（商と余り）は一通りに決まるのか。決まらなければ「余り」という言葉は意味をなさない。 - $n$ 次方程式の解は高々 $n$ 個とされるが、本当にそうか。複素数まで広げたらちょうど $n$ 個になるのはなぜか。 - 「解と係数の関係」はなぜ成り立つのか。3 つ以上の解でも同じ形になるのか。 この記事では、これらを順に定理として証明します。多項式の話は、整数の話とよく似ています。整数の除法の原理（商と余りの存在と一意性）の証明が「余りが小さくなるまで引く」だったのに対し、多項式では「次数が下がるまで引く」になります。この類似は、大学の代数学で「ユークリッド整域」という一般概念になります。 出発点にするのは、複素数体 $\mathbb{C}$ が体であること（[複素数体の基本性質](/mathematics/complex-analysis/complex-numbers)）と、係数が体の多項式環 $K[x]$ の次数の性質（：積の次数は次数の和）、代数学の基本定理（）です。以後、$K$ は $\mathbb{Q}$、$\mathbb{R}$、$\mathbb{C}$ のいずれかとします（証明は任意の体で通ります）。多項式 $f(x)=a_nx^n+\cdots+a_0$ は係数の列として定まる式で（）、$a_n\ne0$ のとき $\deg f=n$ と書きます。多項式に数を代入する操作が和と積を保つことは、次の節の最初に補題として確かめます。 ## 2. 多項式の割り算 $f,g\in K[x]$、$a\in K$ とする。$(f+g)(a)=f(a)+g(a)$、$(fg)(a)=f(a)\,g(a)$ である。 $f=\sum_ia_ix^i$、$g=\sum_jb_jx^j$ とします。和は係数ごとの和なので、$(f+g)(a)=\sum_i(a_i+b_i)a^i=f(a)+g(a)$（分配法則）。積は $x^k$ の係数が $c_k=\sum_{i+j=k}a_ib_j$ の多項式なので（）、 $$ (fg)(a)=\sum_k\Bigl(\sum_{i+j=k}a_ib_j\Bigr)a^k=\sum_i\sum_ja_ia^i\,b_ja^j=\Bigl(\sum_ia_ia^i\Bigr)\Bigl(\sum_jb_ja^j\Bigr)=f(a)\,g(a) $$ です。2 番目の等号では、$a^{i+j}=a^ia^j$ と、和が有限なので項の順序を並べ替えてよいことを使いました。 $f,g\in K[x]$、$g\ne0$ とする。このとき $$ f=gq+r,\qquad r=0\ \text{または}\ \deg r<\deg g $$ を満たす $q,r\in K[x]$ がただ 1 組存在する。 **存在。** $\deg g=m$、$g$ の最高次の係数を $b\ne0$ とします。$f$ の次数に関する強い帰納法（）で示します。$f=0$ なら $q=r=0$。$f\ne0$ で $\deg f (1)。$K$ は体なので整域）。一方、右辺は $0$ か、次数が $\deg g$ 未満です。矛盾するので $q=q'$、よって $r=r'$。 $f\in K[x]$、$a\in K$ とする。$f$ を $x-a$ で割った余りは定数 $f(a)$ である。すなわち $f(x)=(x-a)q(x)+f(a)$ と書ける。とくに、$x-a$ が $f$ を割り切ることと $f(a)=0$ は同値である。 を $g=x-a$（次数 1）に使うと、$f=(x-a)q+r$ で $r$ は $0$ か次数 $0$、すなわち定数です。$x=a$ を代入して（）$f(a)=0\cdot q(a)+r=r$。よって $r=f(a)$。$x-a$ が $f$ を割り切るとは $r=0$ のことなので、後半が従います。 $f(x)=a_nx^n+\cdots+a_1x+a_0$、$a\in K$ とし、$b_n=0$、$b_{k-1}=a_k+ab_k\ (k=n,n-1,\dots,1)$、$r=a_0+ab_0$ とおく。このとき $$ f(x)=(x-a)\bigl(b_{n-1}x^{n-1}+\cdots+b_1x+b_0\bigr)+r. $$ すなわち $b_{n-1},\dots,b_0$ が商の係数、$r=f(a)$ が余りである。 右辺を展開すると、$x^k$（$1\le k\le n$）の係数は $b_{k-1}-ab_k$、定数項は $r-ab_0$ です。漸化式から $b_{k-1}-ab_k=a_k$、$r-ab_0=a_0$ なので、右辺は $f$ に一致します。この等式に $x=a$ を代入すると（）$r=f(a)$ です。 組立除法の表は、この漸化式の計算を縦に並べたものです。 $f(x)=x^3-6x^2+11x-6$ を $x-1$ で割ります。係数 $1,-6,11,-6$ に対し、$b_2=1$、$b_1=-6+1\cdot1=-5$、$b_0=11+1\cdot(-5)=6$、$r=-6+1\cdot6=0$。商は $x^2-5x+6=(x-2)(x-3)$ で、$f=(x-1)(x-2)(x-3)$ です。余りが $0$ になることは $f(1)=0$ と同じ主張で、 の具体例です。 ## 3. 恒等式・係数比較・Lagrange 補間 $K$ を体とする。 1. $0$ でない $n$ 次多項式 $f\in K[x]$ の $K$ での根は高々 $n$ 個である。 2. $f,g\in K[x]$ がともに次数 $n$ 以下で、相異なる $n+1$ 個の点で値が一致するならば、$f=g$（係数がすべて等しい）。 3. $K$ が無限体（$\mathbb{Q},\mathbb{R},\mathbb{C}$）のとき、$f(x)=g(x)$ がすべての $x\in K$ で成り立つなら、$f=g$（係数がすべて等しい）。 **(1)** $n$ に関する帰納法。$n=0$ では $f$ は $0$ でない定数で根をもちません。$n\ge1$ で、$f$ が根 $a$ をもつなら により $f=(x-a)q$、$\deg q=n-1$ です。$b\ne a$ が $f$ の根なら により $(b-a)q(b)=f(b)=0$ で、$b-a\ne0$ なので逆元 $(b-a)^{-1}$ をかけて $q(b)=0$ です（体の元の積が $0$ なら一方が $0$、 (1)(2)）。帰納法の仮定により $q$ の根は高々 $n-1$ 個なので、$f$ の根は高々 $n$ 個。 **(2)** $f-g$ は次数 $n$ 以下で、$n+1$ 個の根をもつので、(1) により $0$ です。 **(3)** $f-g$ が全 $x$ で $0$ なら無限個の根をもつので、(1) により $f-g=0$。 (3) が、高校の「恒等式」の定義（すべての $x$ について成り立つ）と「係数比較」の同値性の根拠です。$x$ についての恒等式 $a(x-1)^2+b(x-1)+c=2x^2-x+3$ は、両辺の係数を比べて $a=2$、$b-2a=-1$、$a-b+c=3$ から $b=3$、$c=4$ と決まります。 $x_0,\dots,x_n\in K$ を相異なる点、$y_0,\dots,y_n\in K$ を任意の値とする。次数 $n$ 以下で $f(x_i)=y_i$（$i=0,\dots,n$）を満たす多項式 $f\in K[x]$ がただ 1 つ存在する。 **存在。** $L_i(x)=\displaystyle\prod_{j\ne i}\dfrac{x-x_j}{x_i-x_j}$ とおきます。分母は $x_j$ が相異なるので $0$ でなく、$L_i$ は次数 $n$ の多項式で、$L_i(x_i)=1$、$k\ne i$ なら $L_i(x_k)=0$（分子に因子 $x-x_k$ がある）。$f=\sum_i y_iL_i$ が求めるものです。 **一意性。** 2 つあれば (2) により一致します。 $(0,1),(1,3),(2,7)$ を通る次数 2 以下の多項式は、$f=1\cdot\tfrac{(x-1)(x-2)}{2}+3\cdot\tfrac{x(x-2)}{-1}+7\cdot\tfrac{x(x-1)}{2}=x^2+x+1$ です。確かめると $f(0)=1$、$f(1)=3$、$f(2)=7$。点が 3 つあるのに次数が 2 以下の多項式がただ 1 つ決まる、という事実が の内容です。次数を 3 以上まで許せば、$f+c\,x(x-1)(x-2)$ も条件を満たすので一意ではなくなります。
(0,1) (1,3) (2,7)
## 4. 複素数と方程式の解、解と係数の関係 実数係数の 2 次方程式で $D<0$ のとき、解は実数の範囲にありません（）。複素数体 $\mathbb{C}$（）は、実数に虚数単位 $i$（$i^2=-1$）を添えて作った体で、すべての複素数 $w\ne0$ は 2 つの平方根をもちます（、$n=2$）。 $\alpha_1,\dots,\alpha_n$ を（[可換環](/mathematics/algebra/rings-and-fields#def-commutative-ring)の）元とする。$k=0,1,\dots,n$ について $$ e_k(\alpha_1,\dots,\alpha_n)=\sum_{1\le i_1<\cdotsn$ のときは $e_k=0$ と約束する。 たとえば $e_1=\alpha_1+\cdots+\alpha_n$、$e_n=\alpha_1\cdots\alpha_n$、$n=3$ では $e_2=\alpha_1\alpha_2+\alpha_2\alpha_3+\alpha_3\alpha_1$ です。 $a,b,c\in\mathbb{C}$、$a\ne0$、$D=b^2-4ac$ とし、$w\in\mathbb{C}$ を $w^2=D$ を満たす数とする。このとき $$ ax^2+bx+c=a(x-\alpha)(x-\beta),\qquad \alpha=\frac{-b+w}{2a},\ \beta=\frac{-b-w}{2a} $$ であり、$\alpha+\beta=-\dfrac ba$、$\alpha\beta=\dfrac ca$。$D\ne0$ なら解は異なる 2 つ、$D=0$ なら重解である。係数が実数で $D<0$ のときは、$w=i\sqrt{-D}$ とでき、2 つの解 $\dfrac{-b\pm i\sqrt{-D}}{2a}$ は互いに共役である。 $w$ の存在は による（$D=0$ なら $w=0$）。体の計算規則だけで、$a\bigl(x+\tfrac b{2a}\bigr)^2-\tfrac{w^2}{4a}=ax^2+bx+\tfrac{b^2}{4a}-\tfrac{b^2-4ac}{4a}=ax^2+bx+c$ が成り立ちます（ と同じ計算）。したがって、差の平方の公式により $ax^2+bx+c=a\Bigl(x+\tfrac{b}{2a}-\tfrac{w}{2a}\Bigr)\Bigl(x+\tfrac{b}{2a}+\tfrac{w}{2a}\Bigr)=a(x-\alpha)(x-\beta)$ です。和と積は $\alpha+\beta=-\tfrac ba$、$\alpha\beta=\tfrac{b^2-w^2}{4a^2}=\tfrac{4ac}{4a^2}=\tfrac ca$。$w\ne0$ なら $\alpha\ne\beta$。$D<0$ のとき $(i\sqrt{-D})^2=-(-D)=D$ です。 $f(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0\in\mathbb{C}[x]$、$n\ge1$、$a_n\ne0$ とする。このとき複素数 $\alpha_1,\dots,\alpha_n$（重複を許す）が存在して $$ f(x)=a_n(x-\alpha_1)\cdots(x-\alpha_n) $$ となり、$f$ の根はちょうど $\alpha_1,\dots,\alpha_n$ である。さらに $k=1,\dots,n$ について $$ \frac{a_{n-k}}{a_n}=(-1)^k\,e_k(\alpha_1,\dots,\alpha_n). $$ **因数分解。** $n$ に関する帰納法。 により $f$ は根 $\alpha_1$ をもち、 により $f=(x-\alpha_1)h$、$h$ は次数 $n-1$、最高次の係数 $a_n$。$n-1\ge1$ なら帰納法で $h$ が分解され、$n=1$ なら $h=a_1$ で自明です。根が $\alpha_i$ に限ることは、$f(b)=0$ なら により $a_n\prod(b-\alpha_i)=0$ で、体なので $b=\alpha_i$ のどれかです（体の元の積が $0$ なら一方が $0$）。 **係数。** 補題として $\prod_{i=1}^m(x-\alpha_i)=\sum_{k=0}^m(-1)^ke_k(\alpha_1,\dots,\alpha_m)\,x^{m-k}$ を $m$ に関する帰納法で示します。$m=1$ は $x-\alpha_1$。$m$ で成り立つとして $x-\alpha_{m+1}$ をかけると、$x^{m+1-k}$ の係数には 2 つの項が寄与します。$x$ と $(-1)^ke_k(\alpha_1,\dots,\alpha_m)\,x^{m-k}$ の積、および $-\alpha_{m+1}$ と $(-1)^{k-1}e_{k-1}(\alpha_1,\dots,\alpha_m)\,x^{m-k+1}$ の積で、その和は $$ (-1)^k\bigl(e_k(\alpha_1,\dots,\alpha_m)+\alpha_{m+1}e_{k-1}(\alpha_1,\dots,\alpha_m)\bigr) $$ です。$e_k(\alpha_1,\dots,\alpha_{m+1})$ の定義の和を、$\alpha_{m+1}$ を含まない項と含む項に分けると、前者が $e_k(\alpha_1,\dots,\alpha_m)$、後者が $\alpha_{m+1}e_{k-1}(\alpha_1,\dots,\alpha_m)$ になるので、上の和は $(-1)^ke_k(\alpha_1,\dots,\alpha_{m+1})$ に一致します。これが補題で、$m=n$ として $a_n$ 倍すれば係数の関係式が従います。 解と係数の関係を使うと、解を求めずに解の式の値が求まります。たとえば $x^3-3x^2+4x-5=0$ の 3 解を $\alpha,\beta,\gamma$ とすれば、$e_1=3$、$e_2=4$、$e_3=5$ で、$\alpha^2+\beta^2+\gamma^2=e_1^2-2e_2=1$ です。次の節では、このような「解の対称式」が必ず基本対称式で書けることを示します。 ## 5. 対称式の基本定理と Newton の恒等式 $n$ 変数の多項式環 $K[x_1,\dots,x_n]$ の元は、単項式 $x^\alpha=x_1^{\alpha_1}\cdots x_n^{\alpha_n}$（$\alpha\in\mathbb{Z}_{\ge0}^n$）の有限個の $K$ 係数の和です。$|\alpha|=\alpha_1+\cdots+\alpha_n$ を次数といいます。変数を入れ替えても変わらない多項式を**対称式**といいます。基本対称式 $e_k(x_1,\dots,x_n)$ と、**べき和** $p_m=x_1^m+\cdots+x_n^m$ は対称式です。 $f\in K[x_1,\dots,x_n]$ が対称式ならば、多項式 $g\in K[y_1,\dots,y_n]$ が存在して $f=g(e_1,\dots,e_n)$ となる。すなわち、対称式は基本対称式の多項式で書ける。 次の証明のねらいは、$x^3+y^3$ のような対称式から、最も「大きい」項を基本対称式の積で消し、残りがより小さい項だけになるようにする、という操作を繰り返すことです。「大きい」を決めるために辞書式順序（単語を辞書で並べるのと同じ要領で、指数の組を左の成分から順に比べる順序）を使い、この操作が有限回で終わることを示します。具体的な実行は直後の例を見てください。 指数ベクトルに**辞書式順序**を入れます。$\alpha>\beta$ とは、$\alpha_j\ne\beta_j$ となる最小の $j$ で $\alpha_j>\beta_j$ のことです。これは全順序で、$\alpha>\beta$ なら $\alpha+\gamma>\beta+\gamma$ が成り立ち、次数 $d$ 以下の指数ベクトルは有限個です。$f\ne0$ に現れる単項式のうち辞書式で最大のものを**先頭項**とよびます。体の上では、積 $fg$ の先頭項は先頭項の積です（他の項の指数は先頭の和より真に小さい）。 $e_k$ の先頭項は $x_1x_2\cdots x_k$ です（指数 $(1,\dots,1,0,\dots,0)$ が最大）。 $f\ne0$ を次数 $d$ 以下の対称式とし、先頭項を $c\,x^\lambda$ とします。$\lambda_1\ge\lambda_2\ge\cdots\ge\lambda_n$ が成り立ちます。実際、$\lambda_k<\lambda_{k+1}$ なら、$f$ は $x_k,x_{k+1}$ の入れ替えで不変なので、入れ替えた指数 $\lambda'$ の係数も $c\ne0$ で、$\lambda'>\lambda$（第 $k$ 成分が大きい）となり $\lambda$ の最大性に反します。$\lambda_{n+1}=0$ とおき、$m_k=\lambda_k-\lambda_{k+1}\ge0$ として $$ h=e_1^{m_1}e_2^{m_2}\cdots e_n^{m_n} $$ を作ると、$h$ は対称式で次数 $\sum_k km_k=|\lambda|\le d$ の斉次式、先頭項は $x^{\lambda}$（第 $j$ 成分は $\sum_{k\ge j}m_k=\lambda_j$）で係数 $1$ です。よって $f_1=f-c\,h$ は対称式で、次数 $d$ 以下、$x^\lambda$ の項が消え、残る単項式はすべて $\lambda$ より辞書式で小さい。次数 $d$ 以下の指数ベクトルは有限個の全順序集合をなすので、先頭項が真に小さくなる操作は有限回で $0$ に至り、$f$ は $e_1,\dots,e_n$ の多項式として表されます。 $f=x^3+y^3$（$n=2$）。先頭項 $x^3$、$\lambda=(3,0)$、$m_1=3$、$m_2=0$ なので $h=e_1^3=x^3+3x^2y+3xy^2+y^3$。$f-h=-3x^2y-3xy^2$ の先頭項は $-3x^2y$、$\lambda=(2,1)$、$m_1=m_2=1$ で $h=e_1e_2=x^2y+xy^2$ で、$(f-e_1^3)-(-3)e_1e_2=0$。結論は $x^3+y^3=e_1^3-3e_1e_2$ で、直接展開 $(x+y)^3-3xy(x+y)$ と一致します。 $x_1,\dots,x_n$ の基本対称式を $e_k$（$k>n$ では $e_k=0$）、べき和を $p_m=\sum_ix_i^m$ とする。すべての $k\ge1$ について $$ \sum_{j=0}^{k-1}(-1)^j\,e_j\,p_{k-j}+(-1)^k\,k\,e_k=0. $$ たとえば $p_1=e_1$、$p_2=e_1p_1-2e_2$、$p_3=e_1p_2-e_2p_1+3e_3$。 この証明のねらいは、$n$ 個の解についての $e_k$ とべき和 $p_m$ の関係を、1 つの多項式 $E(t)=\prod(1-x_it)$ にまとめて読むことです。$E(t)$ を展開すると $t^j$ の係数が $(-1)^je_j$ になるので、基本対称式をひとまとめに扱う入れ物の役目をします。この $E(t)$ と、各 $x_i$ の冪を並べた和をかけて $t^k$ の係数を比べると、主張の式が出てきます。 多項式環 $R=K[x_1,\dots,x_n][t]$ で考えます。$E(t)=\prod_{i=1}^n(1-x_it)$ とおくと、 の証明の補題と同じ帰納法で $E(t)=\sum_{j=0}^n(-1)^je_jt^j$ です。$G_i=\prod_{l\ne i}(1-x_lt)$ とおくと $E=(1-x_it)G_i$ で、同じ理由で $G_i=\sum_{j=0}^{n-1}(-1)^je_j^{(i)}t^j$ です。ここで $e_j^{(i)}$ は $x_i$ を除いた $n-1$ 個の変数の基本対称式です。 **ステップ 1。** $\sum_ix_itG_i$ を $e_j$ で表します。$j$ 個の添字の組 $i_1<\cdots (1) により $(1-x_it)S_i=1-(x_it)^k$ なので、$E\,S_i=G_i(1-x_it)S_i=G_i-(x_it)^kG_i$ です。両辺に $x_it$ をかけて $i$ について足すと $$ \sum_ix_itG_i=E\sum_ix_itS_i+t^{k+1}H=E\sum_{m=0}^{k-1}p_{m+1}t^{m+1}+t^{k+1}H,\qquad H=\sum_ix_i^{k+1}G_i $$ となります。両辺の $t^k$ の係数を比べます。ステップ 1 により左辺の係数は $-(-1)^kke_k$ です（$k>n$ なら $0$ で、$e_k=0$ の約束と合います）。右辺の $t^{k+1}H$ は $t^k$ の項を含まず、$E\sum_mp_{m+1}t^{m+1}$ の $t^k$ の係数は、$E$ の $t^j$ の係数 $(-1)^je_j$ と $t^{k-j}$ の係数 $p_{k-j}$ の積を $j=0,\dots,k-1$ について足した $\sum_{j=0}^{k-1}(-1)^je_jp_{k-j}$ です（$j>n$ の項は $e_j=0$）。よって $-(-1)^kke_k=\sum_{j=0}^{k-1}(-1)^je_jp_{k-j}$ で、移項すれば主張の式になります。 ## 6. 有理根と相反方程式 整数係数の多項式 $f(x)=a_nx^n+\cdots+a_1x+a_0$（$a_n\ne0$）が有理数の根 $p/q$（$p,q$ は互いに素な整数、$q\ge1$）をもてば、$p\mid a_0$ かつ $q\mid a_n$ である。とくに $f$ が最高次の係数 $1$ のモニックな多項式なら、有理根は整数である。 $f(p/q)=0$ の両辺に $q^n$ をかけると $a_np^n+a_{n-1}p^{n-1}q+\cdots+a_1pq^{n-1}+a_0q^n=0$。第 1 項から第 $n$ 項まではすべて $p$ の倍数なので、$p\mid a_0q^n$。$\gcd(p,q)=1$ なので、 を $q$ の個数だけ繰り返して $p\mid a_0$ を得ます（$p\mid q\cdot(a_0q^{n-1})$ から $p\mid a_0q^{n-1}$、以下同様）。同様に、第 2 項以降が $q$ の倍数なので $q\mid a_np^n$ で、$\gcd(q,p)=1$ から $q\mid a_n$。モニックなら $q\mid1$ で $q=1$ です。 たとえば $x^2-2$ はモニックで、整数の候補 $\pm1,\pm2$ のどれも根でないので、有理根をもちません。これは $\sqrt2$ が無理数であることの別証明です（）。 有理根をもたないことは既約であることを意味しません（次数 4 以上では、2 次式の積に分かれうる）。一般の既約性の判定には、Gauss の補題（）と Eisenstein の判定法（）を使います。 $a\ne0$ とする。 1. $ax^3+bx^2+bx+a=(x+1)\bigl(ax^2+(b-a)x+a\bigr)$。 2. 4 次の相反方程式 $ax^4+bx^3+cx^2+bx+a=0$ の解 $x$ は $0$ でなく、$t=x+\tfrac1x$ は 2 次方程式 $at^2+bt+(c-2a)=0$ の解である。逆に、この 2 次方程式の解 $t$ に対し、$x^2-tx+1=0$ の 2 解（積が $1$）は元の方程式の解である。 **(1)** 右辺を展開すれば $ax^3+(b-a)x^2+ax+ax^2+(b-a)x+a=ax^3+bx^2+bx+a$。 **(2)** $x=0$ では左辺は $a\ne0$ なので $x\ne0$。両辺を $x^2$ で割ると $a\bigl(x^2+\tfrac1{x^2}\bigr)+b\bigl(x+\tfrac1x\bigr)+c=0$。$x^2+\tfrac1{x^2}=\bigl(x+\tfrac1x\bigr)^2-2=t^2-2$ なので $a(t^2-2)+bt+c=0$。逆向きは、$x^2-tx+1=0$ の解 $x$ が $x\ne0$ で $x+\tfrac1x=t$ を満たすので、上の変形を逆にたどれます。 $x^4-5x^3+8x^2-5x+1=0$ は $t=x+\tfrac1x$ で $t^2-5t+6=0$、$t=2,3$。$t=2$ から $x^2-2x+1=0$ で $x=1$（重解）、$t=3$ から $x^2-3x+1=0$ で $x=\tfrac{3\pm\sqrt5}{2}$。実際 $(x-1)^2(x^2-3x+1)$ を展開すると元の式に一致します。 ## 7. 3 次方程式：Cardano の公式と判別式 $x^3+bx^2+cx+d$ は $x\to x-\tfrac b3$ の平行移動で、$x^3$ の次の項のない形 $x^3+px+q$ に直せます（実際に代入して $x^2$ の係数が消えることは直接計算で確かめられます）。以下はこの形を扱います。$\omega=\tfrac{-1+i\sqrt3}{2}$ とおくと、$\omega^2=\tfrac{-1-i\sqrt3}{2}$、$\omega^3=1$、$1+\omega+\omega^2=0$ が直接の計算でわかります。 $p,q\in\mathbb{C}$ とする。$u^3+v^3=-q$ かつ $uv=-\tfrac p3$ を満たす複素数 $u,v$ が存在し、このとき $$ x^3+px+q=\bigl(x-(u+v)\bigr)\bigl(x-(\omega u+\omega^2v)\bigr)\bigl(x-(\omega^2u+\omega v)\bigr) $$ である。したがって $x^3+px+q=0$ の解は $u+v,\ \omega u+\omega^2v,\ \omega^2u+\omega v$ で、$u^3,v^3$ は 2 次方程式 $z^2+qz-\tfrac{p^3}{27}=0$ の 2 解である。 証明の筋道は次のとおりです。解を $u+v$ の形で探すことにして、3 つの解 $u+v,\ \omega u+\omega^2v,\ \omega^2u+\omega v$ を一度に与える因数分解の恒等式を先に作ります。その恒等式の右辺が $x^3+px+q$ に一致するように $u,v$ の条件（和と積）を決め、最後にその条件を満たす $u,v$ が実際に存在することを示します。 **因数分解の恒等式。** 任意の複素数 $a,b$ について $(x+a+b)(x+\omega a+\omega^2b)(x+\omega^2a+\omega b)=x^3-3abx+a^3+b^3$ です。実際、後ろの 2 因子の積は、$\omega+\omega^2=-1$、$\omega^3=1$ から $$ x^2+x(\omega a+\omega^2b+\omega^2a+\omega b)+(\omega a+\omega^2b)(\omega^2a+\omega b)=x^2-(a+b)x+a^2-ab+b^2 $$ （定数項は $\omega^3a^2+(\omega^2+\omega^4)ab+\omega^3b^2=a^2-ab+b^2$）で、これに $x+a+b$ をかけると $x^3+\bigl(a^2-ab+b^2-(a+b)^2\bigr)x+(a+b)(a^2-ab+b^2)=x^3-3abx+a^3+b^3$ です。$a=-u$、$b=-v$ とおくと、$uv=-\tfrac p3$、$u^3+v^3=-q$ のとき $x^3+px+q$ に一致し、主張の因数分解を得ます。 **$u,v$ の存在。** $s^2=\tfrac{q^2}4+\tfrac{p^3}{27}$ を満たす $s\in\mathbb{C}$ をとり（右辺が $0$ なら $s=0$、そうでなければ ）、$A=-\tfrac q2+s$、$B=-\tfrac q2-s$ とします。$A+B=-q$、$AB=\tfrac{q^2}{4}-s^2=-\tfrac{p^3}{27}$ です。$A=B=0$ なら $q=0$、$s=0$、$p=0$ で、$u=v=0$ が条件を満たします。そうでなければ、$s$ の符号を替えて $A\ne0$ としてよく、$u$ を $u^3=A$ の解（、$u\ne0$）、$v=-\tfrac{p}{3u}$ とすると、$uv=-\tfrac p3$、$v^3=-\tfrac{p^3}{27A}=B$ で $u^3+v^3=A+B=-q$ です。最後の主張は $u^3+v^3=-q$、$u^3v^3=-\tfrac{p^3}{27}$ から従います。 $p,q$ を実数、$\alpha,\beta,\gamma$ を $x^3+px+q=0$ の 3 解（ の因数分解による。重複を許す）とし、$\Delta=-4p^3-27q^2$ とする。このとき $\bigl((\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\bigr)^2=\Delta$ であり、 - $\Delta>0$ ならば異なる 3 つの実数解、 - $\Delta=0$ ならば実数解のみで少なくとも 2 つは等しい、 - $\Delta<0$ ならば 1 つの実数解と、互いに共役な 2 つの虚数解 をもつ。 証明は 2 段です。まず、3 解の差の積の 2 乗を $u,v$ で書き直して、$\Delta=-4p^3-27q^2$ に等しいことを計算で確かめます。次に、実数係数なら解の共役も解であることを使い、3 解が「すべて実数」か「実数 1 つと共役な虚数 2 つ」のどちらかであることを示して、$\Delta$ の符号と結びつけます。 **判別式の公式。** の証明で選んだ $s,A,B,u,v$（$u^3=A$、$v^3=B$、$A-B=2s$、$s^2=\tfrac{q^2}4+\tfrac{p^3}{27}$）を使い、$\alpha=u+v$、$\beta=\omega u+\omega^2v$、$\gamma=\omega^2u+\omega v$ とします。$1-\omega^2=(1-\omega)(1+\omega)=-\omega^2(1-\omega)$ などを使って整理すると $$ \alpha-\beta=(1-\omega)(u-\omega^2v),\quad\beta-\gamma=\omega(1-\omega)(u-v),\quad\gamma-\alpha=\omega^2(1-\omega)(u-\omega v) $$ です。積は $(1-\omega)^3\omega^3(u-v)(u-\omega v)(u-\omega^2v)=(1-\omega)^3(u^3-v^3)$（$(u-v)(u-\omega v)(u-\omega^2v)=u^3-v^3$ は (1) と $u^2+uv+v^2=(u-\omega v)(u-\omega^2v)$ による）。$(1-\omega)^2=1-2\omega+\omega^2=-3\omega$ から $(1-\omega)^3=3(\omega^2-\omega)=-3i\sqrt3$、2 乗して $-27$。また $(u^3-v^3)^2=(A-B)^2=4s^2$ なので、積の 2 乗は $-27\cdot4s^2=-108\bigl(\tfrac{q^2}4+\tfrac{p^3}{27}\bigr)=-27q^2-4p^3$ です。 **実数解の個数。** $f$ は実係数なので、$f(\bar z)=\overline{f(z)}$（）から、解の共役も解です。$\alpha$ が虚数なら $\bar\alpha$ は $\alpha$ と異なる解、すなわち $\beta$ か $\gamma$ のどちらかで、残りの解は 3 解の和が $0$（$x^2$ の係数が $0$）なので $-(\alpha+\bar\alpha)$ は実数です。したがって解は「3 つとも実数」か「1 実数 $\alpha$ と共役な虚数 $\beta,\bar\beta$」のどちらかです。前者では $\Delta$ は実数の 2 乗の積で $\ge0$、等号は等しい解があるときに限ります。後者では $(\alpha-\beta)(\alpha-\bar\beta)=|\alpha-\beta|^2>0$ で $(\beta-\bar\beta)^2=-4(\operatorname{Im}\beta)^2<0$ なので $\Delta<0$。以上で $\Delta$ の符号と解の型が対応します。 $x^3-3x+1=0$ は $p=-3$、$q=1$ で $\Delta=108-27=81>0$、異なる 3 つの実数解をもちます。ところが $s^2=\tfrac14-1=-\tfrac34$ で $s$ は虚数、$u^3=-\tfrac12+\tfrac{\sqrt3}{2}i$ なので、 の公式は実数解を虚数の立方根の和として表します。実際の値は、三角関数の 3 倍角の公式 $\cos3\theta=4\cos^3\theta-3\cos\theta$ から、$x=2\cos\theta$ とおくと方程式が $2\cos3\theta=-1$ になり、$x=2\cos\tfrac{2\pi}9,\ 2\cos\tfrac{4\pi}9,\ 2\cos\tfrac{8\pi}9$（約 $1.532,\ 0.347,\ -1.879$）と求まります。3 解の和 $0$、積 $-1$ も数値で確かめられます。 実数の冪根と四則だけで 3 実数解を書き表せない（還元不能の場合）ことの証明は Galois 理論が要るので、ここでは主張だけを述べます（van der Waerden『Algebra I』）。4 次方程式にも根の公式（Ferrari）があり、5 次以上の一般の方程式には冪根による解の公式がないことは Abel–Ruffini の定理です（）。 ## 8. 1 の冪根の直交関係と振り分けの公式 $n$ を正の整数とし、$\omega_n=e^{2\pi i/n}$ とします。 により、$z^n=1$ の解はちょうど $n$ 個で、$z_k=e^{2\pi ik/n}=\omega_n^k$（$k=0,\dots,n-1$）です（指数法則 による）。これが **1 の $n$ 乗根**です。
$n\ge1$、$\omega=\omega_n$ とし、$j$ を整数とする。 $$ \sum_{k=0}^{n-1}\omega^{jk}=\begin{cases}n & (n\mid j),\\ 0 & (n\nmid j).\end{cases} $$ したがって整数 $j,l$ について $\dfrac1n\sum_{k=0}^{n-1}\omega^{(j-l)k}$ は、$j\equiv l\pmod n$ なら $1$、そうでなければ $0$ である。 $j=nm+r$（$0\le r (1) により $(\xi-1)\sum_{k=0}^{n-1}\xi^k=\xi^n-1=(\omega^n)^j-1=0$。$\xi-1\ne0$ なので和は $0$ です。 $m\ge1$、$n\ge0$ を整数、$r$ を整数とし、$\omega=\omega_m$ とする。このとき $$ \sum_{\substack{0\le k\le n\\ k\equiv r\ (\mathrm{mod}\ m)}}\binom nk=\frac1m\sum_{j=0}^{m-1}\omega^{-jr}\,(1+\omega^j)^n. $$ 二項定理（）で $(1+\omega^j)^n=\sum_{k=0}^n\binom nk\omega^{jk}$。右辺の和を取り替えると $$ \frac1m\sum_{j=0}^{m-1}\omega^{-jr}\sum_{k=0}^n\binom nk\omega^{jk}=\sum_{k=0}^n\binom nk\cdot\frac1m\sum_{j=0}^{m-1}\omega^{j(k-r)}. $$ 内側の和は により $k\equiv r\pmod m$ のとき $1$、そうでなければ $0$ です。 $m=3$、$r=0$ とすると $\omega=\tfrac{-1+i\sqrt3}2$、$1+\omega=\tfrac{1+i\sqrt3}2=e^{i\pi/3}$、$1+\omega^2=e^{-i\pi/3}$ なので、 $$ \binom n0+\binom n3+\binom n6+\cdots=\frac{2^n+e^{in\pi/3}+e^{-in\pi/3}}{3}=\frac{2^n+2\cos\frac{n\pi}3}{3}. $$ $n=3$ なら $\tfrac{8-2}{3}=2=\binom30+\binom33$、$n=6$ なら $\tfrac{64+2}{3}=22=1+20+1$ と確かめられます。 ## 9. 大学ではどこへ続くか 係数が体の多項式環 $K[x]$ は、除法の原理により整数環 $\mathbb{Z}$ と同じ型の環（ユークリッド整域、したがって単項イデアル整域）です。整数の素因数分解に対応するのが多項式の既約分解で、代数学（algebra）の環論と体の拡大論の最初の対象です。因数定理は「根を添加して体を拡大する」操作の基礎で、Galois 理論は、解と係数の関係と対称式の基本定理をさらに深めて、方程式が冪根で解けるかどうかを根の置換群で判定します。代数学の基本定理の証明は複素解析（complex-analysis）にあり、Newton の恒等式は不変式論と対称関数の理論へ続きます。1 の冪根の直交関係は、離散 Fourier 変換とその反転公式の核心で、フーリエ解析と群の指標の理論に現れます。 ## 10. 演習 $x^{100}$ を $x^2-1$ で割った余りを求めよ。 余りは $0$ か次数 1 以下なので $r=ax+b$ とおきます。$x^{100}=(x^2-1)q+ax+b$ に $x=1$、$x=-1$ を代入（ と同じ操作）して、$1=a+b$、$1=-a+b$。よって $a=0$、$b=1$、余りは $1$ です。 $x^3-3x^2+4x-5=0$ の 3 解を $\alpha,\beta,\gamma$ とするとき、$\alpha^3+\beta^3+\gamma^3$ を求めよ。 により $e_1=3$、$e_2=4$、$e_3=5$。 で $p_1=e_1=3$、$p_2=e_1p_1-2e_2=9-8=1$、$p_3=e_1p_2-e_2p_1+3e_3=3-12+15=6$。 $2x^3-3x^2-8x-3=0$ を解け。 により、有理根の候補は $\pm1,\pm3,\pm\tfrac12,\pm\tfrac32$。$f(3)=54-27-24-3=0$。組立除法（）で $2,\,3,\,1,\,0$ を得るので、$f=(x-3)(2x^2+3x+1)=(x-3)(2x+1)(x+1)$。解は $x=3,\ -\tfrac12,\ -1$。 $\dbinom80+\dbinom84+\dbinom88$ を を使って求め、直接計算と比べよ。 $m=4$、$r=0$、$\omega=i$。$\tfrac14\bigl((1+1)^8+(1+i)^8+(1+i^2)^8+(1+i^3)^8\bigr)=\tfrac14(256+(1+i)^8+0+(1-i)^8)$。$(1+i)^2=2i$ なので $(1+i)^8=(2i)^4=16$、同様に $(1-i)^8=16$。和は $\tfrac14(256+32)=72$。直接計算では $1+70+1=72$ で一致します。 ## 参考文献 - 高木貞治『代数学講義』共立出版、改訂新版、1965 — 多項式と代数方程式に関する章。 - 彌永昌吉・彌永健一『代数学』岩波書店、1976 — 多項式環・対称式・Galois 理論への入口。 - B. L. van der Waerden, *Algebra* (Volume I), Springer — 3 次・4 次方程式と還元不能の場合に関する章。 - 杉浦光夫『解析入門 I』東京大学出版会、1980 — 複素数と連続関数に関する章。