共役複素数の覚えておくべき性質

更新 2023/07/22

共役複素数

複素数 $a+bi$ に対して， $a-bi$ のことを共役な複素数と言います（ただし $a,b$ は実数）。

例えば， $2+3i$ に対して共役な複素数は $2-3i$ です。

この記事では「複素数の共役」の意味と関連する性質を解説します。

共役複素数の意味

複素数 $a+bi$ に対して， $a-bi$ のことを共役な複素数と言います（ただし $a,b$ は実数）。

共役は「きょうえき」ではなく「きょうやく」と読みます。複素数 $z$ の共役複素数を $\overline{z}$ と書くことが多いです。

例

$2+3i$ の共役複素数は $2-3i$
$2i$ の共役複素数は $-2i$
$3$ の共役複素数は $3$ （虚部だけをマイナスにするので，実数 $a$ の共役複素数は $a$ 自身です）。

共役な複素数は，

「虚部をマイナス1倍したもの」と言うこともできます。
「複素数平面上で実軸に関して対称移動させたもの」と言うこともできます。

共役複素数の基本的な性質

共役の共役はもとに戻る

任意の複素数 $z$ に対して， $\overline{\overline{z}}=z$

つまり「共役」を2回とると元に戻ります。実際， $a+bi$ の共役複素数は $a-bi$ で，その $a-bi$ の共役複素数は $a+bi$ でもとに戻ります。

共役複素数の足し算

任意の複素数 $z,w$ に対して，
$\overline{z+w}=\overline{z}+\overline{w}$

「共役」と「足し算」の順番は交換できるという性質です。実際， $z=a+bi$ ， $w=c+di$ とおき計算すると，

$\begin{aligned} &\overline{(a+bi)+(c+di)}\\ &=\overline{(a+c)+(b+d)i}\\ &=(a+c)-(b+d)i\\ &=(a-bi)+(c-di)\\ &=\overline{(a+bi)}+\overline{(c+di)} \end{aligned}$

となります。同様に，引き算・かけ算・割り算についても以下の性質を確認できます。

共役複素数引き算・かけ算・割り算

任意の複素数 $z,w$ に対して，

$\overline{z-w}=\overline{z}-\overline{w}$
$\overline{z\times w}=\overline{z}\times\overline{w}$
$\overline{z\div w}=\overline{z}\div\overline{w}$ （ただし $w\neq 0$ ）

共役複素数と絶対値

任意の複素数 z=a+biz=a+biz=a+bi に対して，zz‾z\overline{z}zz は0以上の実数。
例えば，2+3i2+3i2+3i
 とその共役な複素数
2−3i2-3i2−3i
 の積は，
(2+3i)(2−3i)=22+32=13
(2+3i)(2-3i)=2^2+3^2=13
(2+3i)(2−3i)=22+32=13
となります。
より一般に，a+bia+bia+bi
 と
a−bia-bia−bi
 の積は，
(a+bi)(a−bi)=a2+b2≥0
(a+bi)(a-bi)=a^2+b^2\geq 0
(a+bi)(a−bi)=a2+b2≥0
となります。a2+b2\sqrt{a^2+b^2}a2+b2​ は z=a+biz=a+biz=a+bi の絶対値と呼ばれ ∣z∣|z|∣z∣ と書くことが多いです。つまり，zz‾=∣z∣2z\overline{z}=|z|^2zz=∣z∣2 という式が成立します。
この性質は，分母に複素数が含まれている場合の実数化をはじめ，複素数が絡む多くの問題で用いられます。基本的な公式ですが，非常に重要です。

共役複素数と方程式の解

重要な性質

実数係数多項式 $=0$ という方程式に関して， $z$ が解なら $\overline{z}$ も解である。

非常に重要な性質です。導出方法も合わせて覚えておくと良いでしょう。

2次方程式の場合

2次方程式 $ax^2+bx+c=0$ において，複素数 $A+Bi$ が解なら $A-Bi$ も解になります。これは解の公式からすぐにわかります（ただし， $a,b,c,A,B$ は実数）。

3次方程式の場合

3次方程式の場合に上の「重要な性質」を適用してみると，実数係数の3次方程式は，3つの解が全て実数，または $p+qi,p-qi,r$ （ただし， $p,q,r$ は実数）と表せることがわかります。頻出です。

それでは「重要な性質」を証明します。知らないと思いつくのは難しい証明です。

証明

実数係数の $n$ 次方程式 $\displaystyle\sum_{k=0}^na_kx^k=0$ に対して， $z$ が解のとき， $\displaystyle\sum_{k=0}^na_kz^k=0$ となる。両辺の共役複素数をとって， $\overline{\displaystyle\sum_{k=0}^na_kz^k}=0$

ここで「共役」と「足し算」は順番を交換できるので， $\displaystyle\sum_{k=0}^n\overline{a_kz^k}=0$

さらに「共役」と「かけ算」は順番を交換できるので， $\displaystyle\sum_{k=0}^n\overline{a_k}\cdot \overline{z}^k=0$

最後に， $a_k$ は実数なので $\overline{a_k}=a_k$ を用いる： $\displaystyle\sum_{k=0}^na_k\overline{z}^k=0$

これは $\overline{z}$ がもとの方程式の解であることを表している。

証明の途中で $a_k$ の共役複素数が $a_k$ であることを用いているので実数係数という条件は必須です。

余談

有理数係数の方程式に関しても似たような定理が成立します。→共役無理数に関する二つの定理
共役複素数も方程式の解になるという性質は東大2019年大問6で効いてきます。
→高校数学の問題集　～最短で得点力を上げるために～のT122でも，この証明を紹介しています。

ちなみに大学の数学では，複素ベクトル空間の標準内積を定義するときに自然に共役複素数が登場します。

Tag:複素数の美しい性質と効果まとめ

Tag:数学2の教科書に載っている公式の解説一覧

この記事の監修者

マスオ

高校数学の美しい物語の管理人。「わかりやすいこと」と「ごまかさないこと」の両立を意識している。著書に『高校数学の美しい物語』『超ディープな算数の教科書』。記事の誤植やわかりにくい等のご指摘はお気軽にメールください！