利用者:Ninomy/高等学校数学新課程複素数平面

高等学校数学IIでは複素数についての基本的なことがらを学習した。この章では、複素数を平面上に図示するために複素数平面を新たに導入し、それを用いてより複素数に関する知識と理解を深めていく。なお、高等学校数学Bのベクトルを学習していることが望ましい。

複素数平面

複素数平面上の3+2i

複素数平面上の複素数の表示

高等学校数学IIでは、複素数についての基礎を学んだ。虚数単位iを $i^{2}=-1$ を満たす数として導入し、a、bを実数として

z=a+bi

で表される数zを複素数と呼んだ。実数は数直線上の点として平面上(より正確には直線上)に図示することができたが、では複素数を平面上に図示することはできるだろうか。

この複素数 $z=a+bi$ について、aを実部、bを虚部と言った。複素数は実部、虚部をなす2つの実数の組によって定めることができるため、複素数は2実数の組をひとまとめとして扱っているものと考えることができる。そこで、2実数の組を図示するために使っていた座標平面の考えを利用する。座標平面におけるxを実部、yを虚部と考え、複素数 $z=a+bi$ を座標平面上の点(a, b)に対応付ける。このようにすれば、ある複素数を平面上に図示することができる。

複素数平面は、いままで考えてきた座標平面においてx軸を実軸(Re)、y軸を虚軸(Im)と呼び、点(a, b)を複素数 $a+bi$ とみなすものである。例えば右図は複素数3+2iを複素数平面上に表したものである。

高等学校数学Bでは平面ベクトルを学習し、そこでは座標平面上の点(a, b)を表すために、位置ベクトル ${\vec {r}}=(a,b)$ を考えた。この考え方に立って、複素数を複素数平面上の位置ベクトルと考えることもできる。例えば複素数 $z=a+bi$ を、右図のような点やベクトルとして表示することができる。

複素数の演算と複素数平面

複素数の和・差・実数倍

以下、a, b, c, dは実数、z, wは複素数を表すものとする。

複素数の演算と、その複素数平面上での振る舞いを見ていくことにする。2つの複素数 $z=a+bi$ と $w=c+di$ について、その和 $z+w$ は、

z+w=(a+c)+(b+d)i

で与えられた。すなわち2複素数の和は、それぞれの実部同士の和が実部となり、虚部同士の和が虚部となる複素数である。複素数平面上では、複素数を表す2つのベクトルの和として複素数の和を考えることができる。

複素数の和

また、複素数の差 $z-w$ は、

z-w=(a-c)+(b-d)i

で与えられた。複素数の和のときと同様に、複素数平面上では複素数を表す2つのベクトルの差として複素数の差を考えることができる。

複素数の実数倍 $cz$ は、

cz=ca+cbi

で与えられた。複素数の実数倍は、その複素数の実部と虚部をそれぞれ実数倍した複素数である。複素数平面上では、複素数を表すベクトルの実数倍として複素数の実数倍を考えることができる。

複素数の極形式

複素数の絶対値と偏角

実数の絶対値は、数直線上における原点からの距離として表すことができた。同様に、複素数の絶対値|z|も、複素数平面上での原点からの距離r、あるいは複素数を表すベクトルの大きさrとして表すことができる。すなわち、複素数 $z=a+bi$ の絶対値|z| = rは、

|z|=|a+bi|=r={\sqrt {a^{2}+b^{2}}}

複素数は複素数平面上のベクトルとして表示することができた。このベクトルと、実軸の正の向きとのなす角φを偏角と呼び、argzと表す。すなわち、右図のような0でない複素数 $a+bi$ について、

\arg z=\phi

であって、φは

\tan \phi ={\frac {b}{a}},\cos \phi ={\frac {a}{r}},\sin \phi ={\frac {b}{r}}

を満たす。

偏角は一般角を用いることができる。すなわち、例えば複素数 $1+i$ の偏角は

\arg(1+i)={\frac {\pi }{4}}+2n\pi ,\quad (n=0,\pm 1,\pm 2,\cdots )

である。このように、一般には1つの複素数についてその偏角は無数に存在しうる。また、実数0の偏角は任意の実数とする。しかし、多くの場合は偏角を1回転の中に制限して、

0\leq \phi <2\pi

とすることが多い。これを偏角の主値といい、複素数zの偏角の主値をArg zと大文字で始めて表す。

これより、複素数 $z=a+bi$ は、複素数の絶対値rと(一般角の)偏角φのみを用いて

z=a+bi=r(\cos \phi +i\sin \phi )

と書き表すことができる。このような絶対値と偏角による複素数の表し方を、複素数の極形式という。これは極座標平面に対応する考え方である。

複素数の積・商

複素数の積

2つの複素数z, wの積と商を極形式を用いて考える。z, wの絶対値をそれぞれ $r_{1},r_{2}$ とし、また偏角をそれぞれ $\phi _{1},\phi _{2}$ とする。このとき、

z=r_{1}(\cos \phi _{1}+i\sin \phi _{1})

w=r_{2}(\cos \phi _{2}+i\sin \phi _{2})

と書くことができる。この2つの複素数z, wの積zwは、

{\begin{aligned}zw&=r_{1}(\cos \phi _{1}+i\sin \phi _{1})\cdot r_{2}(\cos \phi _{2}+i\sin \phi _{2})\\&=r_{1}r_{2}\{(\cos \phi _{1}\cos \phi _{2}-\sin \phi _{1}\sin \phi _{2})+i(\sin \phi _{1}\cos \phi _{2}+\cos \phi _{1}\sin \phi _{2})\}\\&=r_{1}r_{2}\{\cos(\phi _{1}+\phi _{2})+i\sin(\phi _{1}+\phi _{2})\}\\\end{aligned}}

である。これは、絶対値が $r_{1}r_{2}$ で偏角が $\phi _{1}+\phi _{2}$ であるような複素数である。

この複素数の積は、複素数平面上では右図のように考えることができる。複素数z, wを表すベクトルの大きさの積を大きさとし、さらにベクトルwをベクトルzの偏角だけ原点のまわりに回転させた方向のベクトルを、複素数の積zwと定める。このとき、2本のベクトル1, zのなす三角形と、ベクトルw, zwのなす三角形は相似になる。このことから、複素数平面上での複素数の積は、三角形の相似回転で表現できることがわかる。

このことから、ある複素数をi倍するということについて考える。上の例で $w=i=0+1i$ とすると、

r_{2}=1

\phi _{2}={\frac {\pi }{2}}+2n\pi

(nは整数）

であるから、ある複素数zのi倍は、

{\begin{aligned}z\cdot i&=r_{1}\{\cos(\phi _{1}+{\frac {\pi }{2}}+2n\pi )+i\sin(\phi _{1}+{\frac {\pi }{2}}+2n\pi )\}\\&=r_{1}\{\cos(\phi _{1}+{\frac {\pi }{2}})+i\sin(\phi _{1}+{\frac {\pi }{2}})\}\\\end{aligned}}

となる。これは、複素数zと絶対値が同じで、偏角が ${\frac {\pi }{2}}$ だけ大きい複素数である。すなわち、複素数のi倍とは、複素数平面上では複素数を表すベクトルの原点を中心とした ${\frac {\pi }{2}}$ の回転で表される。

では、複素数の商はどうだろうか。上の2つの複素数z, wが、実数a, b, c, dによって

z=a+bi=r_{1}(\cos \phi _{1}+i\sin \phi _{1})

w=c+di=r_{2}(\cos \phi _{2}+i\sin \phi _{2})

と表されているとき、複素数の商 ${\frac {z}{w}}$ は、分母の共役複素数を分母分子にかけることで計算することができた。すなわち、

{\frac {z}{w}}={\frac {z{\overline {w}}}{w{\overline {w}}}}

である。ここで、共役複素数について復習しておくことにする。

複素数平面上での共役複素数

ある複素数zが実数a, bにより $z=a+bi$ で与えられているとき、この複素数と共役な複素数 ${\overline {z}}$ とは、

{\overline {z}}=a-bi

で与えられる複素数のことである。実部はそのままに、虚部の正負を逆にした複素数と言える。これは、複素数平面上では、実軸に対して対称な点に対応する。また、共役複素数の大きさは、元の複素数の大きさに等しく、偏角の正負が逆になる。すなわち、

|{\overline {z}}|=|z|

\arg {\overline {z}}=-\arg z

また、 ${\overline {z}}$ と共役な複素数 ${\overline {\overline {z}}}$ は、元の複素数zに等しい。

{\overline {\overline {z}}}=z

ここで、互いに共役な複素数の積 $z{\overline {z}}$ は、

z{\overline {z}}=(a+bi)(a-bi)=a^{2}+b^{2}=|z|^{2}

であるから、複素数の大きさ|z|は、

|z|={\sqrt {z{\overline {z}}}}

と考えることもできる。

以上のことから、複素数の商は次のように計算することができる。

{\begin{aligned}{\frac {z}{w}}&={\frac {z{\overline {w}}}{w{\overline {w}}}}\\&={\frac {z{\overline {w}}}{|w|^{2}}}\\\end{aligned}}

すなわち、2つの複素数z, ${\overline {w}}$ の積を考え、その積の大きさを ${\frac {1}{|w|^{2}}}$ 倍することで、複素数の商を求めることができる。複素数平面上では、先に考えた複素数の共役・積・実数倍を組み合わせて考えることができる。

ド・モアブルの定理

定理x.x （ド・モアブルの定理）

nを0以上の整数とすると、次の等式が成り立つ。

(\cos \theta +i\sin \theta )^{n}=\cos n\theta +i\sin n\theta

証明

数学的帰納法により証明する。

n=0のとき
（左辺) = $(\cos \theta +i\sin \theta )^{0}=1$

（右辺) = $\cos 0+i\sin 0=1$

であるから、（左辺）=（右辺）より等式は成立する。
n=k（kは0以上の整数）のとき
$(\cos \theta +i\sin \theta )^{k}=\cos k\theta +i\sin k\theta$

が成立すると仮定する。このとき、
${\begin{aligned}(\cos \theta +i\sin \theta )^{k+1}&=(\cos \theta +i\sin \theta )(\cos \theta +i\sin \theta )^{k}\\&=(\cos \theta +i\sin \theta )(\cos k\theta +i\sin k\theta )\\&=(\cos \theta \cos k\theta -\sin \theta \sin k\theta )+i(\sin \theta \cos k\theta +\cos \theta \sin k\theta )\\&=\cos(\theta +k\theta )+i\sin(\theta +k\theta )\\&=\cos(k+1)\theta +i\sin(k+1)\theta \\\end{aligned}}$

より、等式が成立する。（ここで、上の計算の3行目から4行目へ加法定理を逆に使ったことに注意）

以上より、数学的帰納法により定理が証明された。

この定理は、次のように理解することもできる。

$\cos \theta +i\sin \theta$ は絶対値が1、偏角が $\theta$ の複素数である。この定理の等式の左辺は、この複素数を n 回かけることを意味している。ところで2つの複素数の複素数の積は、複素数の絶対値どうしの積が絶対値となり、複素数の偏角の和が偏角となるような複素数であった。したがって $(\cos \theta +i\sin \theta )^{2}$ は、絶対値が1で偏角が $\theta$ の複素数どうしの積であるから、その絶対値は1、偏角は $2\theta$ となる。そのような複素数は、 $\cos 2\theta +i\sin 2\theta$ であり、定理の等式の右辺に等しい。

同様に考えれば、 $(\cos \theta +i\sin \theta )^{n}$ は、絶対値が1で偏角が $\theta$ の複素数を n 回かけることであるから、その積は絶対値が1で偏角が $n\theta$ の複素数となり、それは定理の等式の右辺に等しい。

複素数平面上でみると、 $\cos \theta +i\sin \theta$ をかけるという操作は、絶対値が変わらないまま偏角が $\theta$ だけ増加することであるから、原点を中心に角度 $\theta$ だけ回転することと同じである。ド・モアブルの定理は複素数平面上で長さ1のベクトルが角度 $\theta$ ずつぐるぐると回転していくことを表している。