虚数解をもつn次方程式の重要ポイントを２つ確認しよう

そもそも高校数学で複素数が現れたのは，2次方程式の実数でない解を表すためでした．

実数は2乗すると必ず0以上となるため， $x$ が実数なら $x^2+1=0$ の左辺は1以上となりこの等式は成り立ち得ません．

そこで， $x$ の方程式 $x^2+1=0$ の解を $i$ と表し，これを虚数単位というのでした．

このことからも予想できるように，複素数は $n$ 次方程式と密接な関係があります．

前回の記事までで説明した複素数の基本性質を用いて，この記事では

虚数解をもつ $n$ 次方程式
1の3乗根 $\omega$

について説明します．

一連の記事はこちら

【複素数１｜虚数単位って一体なに？複素数の考え方と基礎知識】
【複素数２｜複素数を見る！？複素平面と絶対値の考え方】
【複素数３｜複素数の「極形式」は絶対値と偏角がポイント！】
【複素数４｜複素数の指数計算は[ド・モアブルの定理]が鉄板】
【複素数５｜方程式の[ド・モアブルの定理]の解法は３ステップ】
【複素数６｜虚数解をもつ方程式の重要ポイント２つを確認！】←今の記事
【複素数７｜複素平面上の拡大縮小/回転は複素数をかけろ！】

【SPONSORED LINK】

虚数解をもつ方程式

$n$ 次方程式が虚数解をもつような $n$ 次方程式は，大学入試でもよく出題されます．

重要な性質

$n$ 次方程式の虚数解について，以下が成り立ちます．

実数係数の $n$ 次方程式が虚数解 $\alpha$ をもてば，その共役複素数 $\overline{\alpha}$ も解となる．

たとえば， $x$ の方程式 $x^2+x+1=0$ は判別式が $1^2-4\cdot1\cdot1=-3<0$ なので，虚数解をもつことが分かります．

このとき， $x^2+x+1=0$ の虚数解が具体的に何かが分かっていなくても， $x^2+x+1=0$ の虚数解の1つを $\alpha$ とすれば，定理から共役複素数 $\overline{\alpha}$ も必ず $x^2+x+1=0$ の解になるというわけですね．

とはいえ，あまり実感が湧かない人も多いと思うので，実際に解いてみましょう．

$\begin{align*} x^2+x+1=0 \iff& x^2+x+\frac{1}{4}=-\frac{3}{4} \\\iff& \bra{x+\frac{1}{2}}^2=-\frac{3}{4} \\\iff& x+\frac{1}{2}=\pm\frac{\sqrt{3}}{2}i \\\iff& x=-\frac{1}{2}\pm\frac{\sqrt{3}}{2}i \end{align*}$

となります(解の公式で解いてもよい)．このときの2解

$-\dfrac{1}{2}+\dfrac{\sqrt{3}}{2}i$
$-\dfrac{1}{2}-\dfrac{\sqrt{3}}{2}i$

は確かに複素共役ですね．

2次方程式なら解の公式を考えれば簡単に分かりますが，3次以上であっても同じことが成り立ちます．

定理の注意点

定理の中でも太字にしましたが，「実数係数の」という部分は欠かせません．

たとえば，複素数係数の方程式 $x^2-2ix=0$ は

$\begin{align*} x^2-2ix=0 \iff& x(x-2i)=0 \\\iff& x=0,2i \end{align*}$

となって，虚数解 $2i$ をもちますが，この共役複素数 $-2i$ は解ではありませんね．

このように，この定理は実数係数の $n$ 次方程式にしか成り立たないので，答案の中でこの定理を用いる際には「実数係数だから」と一言書いておく方が良いでしょう．

定理の証明

それでは，定理を証明しておきましょう．

実数係数 $n$ 次方程式を $c_nx^n+c_{n-1}x^{n-1}+\dots+c_1x+c_0=0$ とし， $\alpha$ をこの虚数解とすると， $\alpha$ を代入してこの等式が成り立つので

$\begin{align*} c_n\alpha^n+c_{n-1}\alpha^{n-1}+\dots+c_1\alpha+c_0=0 \end{align*}$

を満たします． $c_0,c_1,\dots,c_n$ は実数だから複素共役をとっても変わらないことに注意すると，両辺で複素共役をとることにより

$\begin{align*} &\overline{c_n\alpha^n+c_{n-1}\alpha^{n-1}+\dots+c_1\alpha+c_0}=\overline{0} \\\therefore\quad &c_n\overline{\alpha}^n+c_{n-1}\overline{\alpha}^{n-1}+\dots+c_1\overline{\alpha}+c_0=0 \end{align*}$

が成り立つことが分かります．

最後の等式は $n$ 次方程式 $c_nx^n+c_{n-1}x^{n-1}+\dots+c_1x+c_0=0$ に $\overline{\alpha}$ を代入したものなので， $\overline{\alpha}$ も解ということになります．

なお，途中の複素共役がバラバラにできることは以前の記事で説明しています．

【複素数１｜虚数単位って一体なに？複素数の考え方と基礎知識】

複素数 $z$ , $w$ に対して， $\overline{z\pm w}=\overline{z}\pm\overline{w}$ , $\overline{zw}=\overline{z}\cdot\overline{w}$ , $\overline{\bra{\frac{z}{w}}}=\frac{\overline{z}}{\overline{w}}$ が成り立ちます．このように，複素共役の中に四則演算があってもでバラバラにできます．

実数係数の $n$ 次方程式が虚数解をもてば，その共役複素数も解である．

1の3乗根ω

3乗して初めて1になる複素数のことを1の原始3乗根といい，これを $\omega$ と表すことがよくあります．

この $\omega$ は「 $x$ の方程式 $x^3=1$ の1でない解」と言っても同じことですね．

高校数学では，題材としてこの $\omega$ にまつわる問題がよく出題されるので，ここでまとめておきます．

1の3乗根ωの性質

この $\omega$ を扱う際には，以下の3つの性質がポイントです．

$x$ の方程式 $x^3=1$ の1でない解 $\omega$ は虚数で，次を満たす．

$\omega^3=1$
$\omega^2+\omega+1=0$
$\omega^2=\overline{\omega}$

なお，2つ目の等式 $\omega^2+\omega+1=0$ は $\omega^2=-\omega-1$ の形でもよく用いる．

[証明]

$\omega$ は $x$ の方程式 $x^3=1$ の解なので， $\omega^3=1$ が成り立ちます． $\omega\neq1$ なので，

$\begin{align*} x^3-1=0 \iff& (x-1)(x^2+x+1)=0 \end{align*}$

なので， $\omega\neq1$ より $\omega$ は $x^2+x+1=0$ の解なので $\omega^2+\omega+1=0$ が成り立ち，この方程式 $x^2+x+1=0$ の判別式は $1^2-4\cdot1\cdot1=-3<0$ なので， $\omega$ は虚数解と分かります．

また， $\omega^3=1$ の両辺で絶対値をとると， $|\omega|^3=1$ なので $|\omega|=1$ と分かります．よって，

$\begin{align*} \omega\overline{\omega}=|\omega|^2=1^2=1=\omega^3 \end{align*}$

なので， $\omega\overline{\omega}=\omega^3$ の両辺を $\omega$ で割って， $\omega^2=\overline{\omega}$ が成り立ちます．

[証明終]

2つ目の性質は $\omega^2+\omega+1=0$ と $\omega^2=-\omega-1$ のどちらの形にも，ピンとくるようにしておきましょう．

ωの多項式

$\omega$ と $\overline{\omega}$ の多項式については，以下の事実を当たり前にしておきたいところです．

$\omega$ と $\overline{\omega}$ の多項式は， $\omega$ の1次式以下の多項式( $A\omega+B$ の形)に変形できる．

試しに以下の問題を解いてみましょう．

$\omega$ を1の3乗根のうち，1でないものとする．このとき， $\overline{\omega}^{100}+2\omega^{100}+3$ を $\omega$ の1次式以下の多項式に変形せよ．

使うものは，先ほどみた $\omega$ の3性質

$\omega^3=1$
$\omega^2+\omega+1=0$
$\omega^2=\overline{\omega}$

です．

$\begin{align*} \overline{\omega}^{100}+2\omega^{100}+3 =&(\omega^2)^{100}+2\omega^{100}+3 \\=&\omega^{200}+2\omega^{100}+3 \\=&\omega^{2}(\omega^{3})^{66}+2\omega(\omega^{3})^{33}+3 \\=&\omega^{2}\cdot1^{66}+2\omega\cdot1^{33}+3 \\=&\omega^{2}+2\omega+3 \\=&(-\omega-1)+2\omega+3 \\=&\omega+2 \end{align*}$