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

数学IIで２次方程式を解くためにちょこっと登場した複素数ですが，数学IIIではこの複素数が１つの大きな分野として登場します．

「複素数は存在しない数だ」という説明をする人もいますが，複素数は図示して「見る」ことができるので，一度イメージが分かってしまえば直感的に考えることができます．

しかし，複素数は現代科学ではなくてはならないものであり，たとえば身の回りのあらゆる電子機器は複素数の理論なくして作ることができないといって良いでしょう．

このように，複素数は存在しないどころか，非常に重要な役割を役割を担っています．

大学受験の先を見据えれば，複素数は大学以上の物理や数学では当たり前のように登場しますから，理系ならばしっかり扱えるようになっておきたい分野です．

一連の記事はこちら

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

1 複素数
- 1.1 虚数単位
- 1.2 複素数
2 複素数の基礎知識

複素数

さて，この分野の主役の複素数が何かをまず説明する必要がありますね．

虚数単位

正の数だろうが負の数だろうが，我々がこれまで触れてきた実数は２乗すると０以上の実数となるのでした．

そうすると，$x$の方程式$x^2=-1$の解はどのように考えれば良いでしょうか？

２乗して負の数$-1$になる実数はありませんから，方程式$x^2=-1$は実数解をもたないことは分かります．

そこで，「方程式$x^2=-1$の解を新たに定義しよう」と考えた人がいました．

$x$の方程式$x^2=-1$の解の１つを虚数単位 (imaginary unit)といい，$i$で表す．

要するに，$i^2=-1$となるような数$i$を新しく考えてやろうというわけです．

最初は虚数単位$i$がどういう数なのか直感的に理解することは難しいため，なんだか気持ち悪い印象をもってしまうのは，小学校以来ずっと実数に慣れ親しんできたことを考えると仕方がありません．

しかし，$i^2=-1$となる虚数単位$i$を定義するといいことはいくつかあります．

たとえば，実数の範囲で解をもたなかった$x$の方程式$x^2=-1$は虚数単位を用いて

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

と解くことができます．他にも，$x$の方程式$x^2-2x+2=0$は

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

と解くことができます．

このように，実数の範囲で解くことができなかった方程式の解も表せるようになるのが，虚数単位を定義する大きなメリットの１つです．

実数は２乗すると０以上の実数となる．そこで，２乗して$-1$となる数を$i$と定義し，虚数単位という．虚数単位を用いると，実数の範囲では表せない$n$次方程式の解を表すことができる．

複素数

さて，ここまでで虚数単位について少し考えましたが，この虚数単位を用いて「複素数」を次のように定義します．

実数$a$, $b$を用いて，$z=a+bi$と表される数$z$を複素数 (complex number)といい，$a$を$z$の実数部分 (実部，real part)，$b$を$z$の虚数部分 (虚部，imaginary part)という．

ここで，$a$, $b$は0であってもよいことに注意しましょう．つまり，

$\begin{align*} 3,\quad \pi,\quad 3i,\quad 3-i,\quad \pi+2i,\quad \sqrt{3}-\pi i \end{align*}$

などは全て複素数です．したがって，実数も複素数の一種です．

そこで，以下のように新たに「虚数」を定義します．

実数$a$と，０でない実数$b$を用いて，$z=a+bi$と表される数を虚数 (imaginary number)という．さらに$a=0$であれば，$z$を純虚数 (pure imaginary number)という．

つまり，虚部が０でない複素数を虚数といい，そのもとで実部が０であるような虚数を純虚数というわけですね．たとえば，

$\begin{align*} 3i,\quad 3-i,\quad \pi+2i,\quad \sqrt{3}-\pi i \end{align*}$

などは全て虚数で，このうちでは$3i$のみが純虚数です．

さて，実数は虚部が０の複素数ですから，次のことが分かりますね．

複素数は実数または虚数である．

つまり，$i$が残っていなければ実数で，$i$が残っていれば虚数というわけですね．

このように，虚数と複素数は別物ですので，はっきり区別して理解しておいてください．

複素数は虚部が0であるかないかで実数と虚数の２つに分けられ，さらに実部が0である虚数を純虚数という．

複素数の基礎知識

複素数を定義したので，次は複素数の基礎知識を整理していきましょう．

複素数の相等

さて，２つの複素数$z$, $w$があるとき，この２つが等しいとは以下のように定義します．

２つの複素数$z$, $w$に対して，これらの実部同士，虚部同士がそれぞれ等しいとき，$z$と$w$は等しいと定義し，$z=w$と表す．

すなわち，$z=a+bi$, $w=c+di$ ($a$, $b$, $c$, $d$は実数)とするとき，$a=c$かつ$b=d$が成り立てば$z=w$としましょう，というわけですね．

直感的にも変な感じはしないでしょう．

たとえば，実数$a$, $b$に対して，複素数$z=2+3ai$, $w=3b-6i$が$z=w$を満たせば，

$\begin{align*} \begin{cases} 2=3b\\ 3a=-6 \end{cases} \iff \begin{cases} b=\frac{2}{3}\\ a=-2 \end{cases} \end{align*}$

となります．

２つの複素数の実部同士と虚部同士を見比べて，いずれも等しいときにそれら２つの複素数が等しいという．

複素数の四則演算

複素数$z=a+bi$, $w=c+di$ ($a$, $b$, $c$, $d$は実数)に対して，四則計算は$i^2=-1$に注意すれば単純な文字計算と同様です．

すなわち，

$\begin{align*} z\pm w =&(a+bi)\pm(c+di) \\=&(a\pm c)+(b\pm d)i, \\zw =&(a+bi)(c+di) \\=&ac+(ad+bc)i+bdi^2 \\=&ac+(ad+bc)i-bd \\=&(ac-bd)+(ad+bc)i, \\\frac{z}{w} =&\frac{a+bi}{c+di} \\=&\frac{(a+bi)(c-di)}{(c+di)(c-di)} \\=&\frac{(ac+bd)+(-ad+bc)i}{c^{2}+d^{2}} \end{align*}$

となります．ただし，実数の場合と同じく，0で割ることは定義できないので，最後の$\dfrac{z}{w}$では$w\neq0$の場合のみ考えます．

ここで，

$z+w=w+z$
$zw=wz$

と和と積に関して交換法則が成り立つことは大切です．

たとえば，$z=2+3i$, $w=3-2i$に対して，

$\begin{align*} z+w=&5+i, \\z-w=&-1+5i, \\zw=&\{2\cdot3+3i\cdot(-2i)\}+\{2\cdot(-2i)+3i\cdot3\}=12+5i, \\\frac{z}{w}=&\frac{(2+3i)(3-2i)}{(3-2i)(3+2i)}=\frac{13i}{13}=i \end{align*}$

となります．また，実数の場合と同様に，

自然数$n$に対して$z^{n}$は$n$個の$z$の積
$z^{0}=1$
$z^{-n}$は$z^{n}$の逆数

と定義します．

複素数の四則演算は$i^2=-1$に気を付ければ実数の場合と同様である．

共役複素数

最後に「共役複素数」を定義しましょう．

複素数$z=a+bi$ ($a$, $b$は実数)に対して，複素数$a-bi$を$z$の共役複素数といい，$\overline{z}$で表す．

要するに，虚部だけに$-1$をかけた複素数を共役複素数というわけですね．

たとえば，$z=1+3i$の共役複素数$\overline{z}$は$\overline{z}=1-3i$です．

複素数の実部と虚部

複素数$z$が与えられたとき，$z$と共役複素数$\overline{z}$を用いて$z$の実部と虚部を表すことができます．

複素数$z=a+bi$ ($a$, $b$は実数)に対して，

$\begin{align*} a=\frac{z+\overline{z}}{2},\quad b=\frac{z-\overline{z}}{2} \end{align*}$

が成り立つ．

$z=a+bi$から$\overline{z}=a-bi$なので，

$\begin{align*} z+\overline{z} =&(a+bi)+(a-bi) =2a, \\z-\overline{z} =&(a+bi)-(a-bi) =2bi \end{align*}$

となるから，

$\begin{align*} a=\frac{z+\overline{z}}{2},\quad b=\frac{z-\overline{z}}{2} \end{align*}$

が成り立つ．

虚部を消したければ$z+\overline{z}$を，実部を消したければ$z-\overline{z}$を考えればよいわけですから，覚えていなくても瞬時に導けますね．

$z$の実部と虚部は$z$と$\overline{z}$を用いて表せる．

共役複素数と四則演算

共役複素数は，四則演算に関してバラバラにできます．すなわち，以下が成り立ちます．

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

$\begin{align*} & \overline{z\pm w}=\overline{z}\pm\overline{w},\quad \overline{zw}=\overline{z}\cdot\overline{w},\quad \overline{\bra{\frac{z}{w}}}=\frac{\overline{z}}{\overline{w}} \end{align*}$

が成り立つ．

$z=a+bi$, $w=c+di$ ($a$, $b$, $c$, $d$は実数)とすると，$\overline{z}=a-bi$, $\overline{w}=c-di$なので，

$\begin{align*} \overline{z\pm w} =&\overline{(a\pm c)+(b\pm d)i} \\=&(a\pm c)-(b\pm d)i \\=&(a-bi)\pm (c-di) \\=&\overline{z}\pm\overline{w}, \\\overline{zw} =&\overline{(ac-bd)+(ad+bc)i} \\=&(ac-bd)-(ad+bc)i \\=&\{ac-(-b)(-d)\}+\{a(-d)+(-b)c\}i \\=&\overline{z}\cdot\overline{w}, \\\overline{\bra{\frac{z}{w}}} =&\overline{\brb{\frac{(ac+bd)+(-ad+bc)i}{c^{2}+d^{2}}}} \\=&\frac{(ac+bd)-(-ad+bc)i}{c^{2}+d^{2}} \\=&\frac{\{ac+(-b)(-d)\}+\{-a(-d)+(-b)c\}i}{c^{2}+d^{2}} \\=&\frac{\overline{z}}{\overline{w}} \end{align*}$

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

この定理から，任意の複素数$z_1,z_2,\dots,z_n$に対して，

$\begin{align*} \overline{z_1+z_2+\dots+z_n} =&\overline{z_1}+\overline{z_2+\dots+z_n} \\=&\overline{z_1}+\overline{z_2}+\overline{z_3+\dots+z_n} \\\qquad\vdots \\=&\overline{z_1}+\overline{z_2}+\dots+\overline{z_n} \end{align*}$

が成り立ち，任意の自然数$n$と複素数$z$に対して，

$\begin{align*} \overline{z^n} =&\overline{z\cdot z^{n-1}} =\overline{z}\cdot \overline{z^{n-1}} \\=&\overline{z}\cdot \overline{z\cdot z^{n-2}} =\overline{z}\cdot \overline{z}\cdot \overline{z^{n-2}} \\\qquad\vdots \\=&\overline{z}\cdot \overline{z}\cdot \dots\cdot \overline{z} =\overline{z}^n \end{align*}$

が成り立つことが分かりますね(厳密には数学的帰納法)．

共役複素数は四則演算に関して，いつでもバラバラにできる．

【複素数２｜複素数を見る！？複素平面と絶対値の考え方】

複素数$a+bi$ ($a$, $b$は実数)は$xy$平面上の点$(a.b)$と同一視することで，平面上に表すことができます．このように，$xy$平面に対応する複素数の平面を複素平面といい，複素平面を考えることで複素数を直感的に理解することができます．