本項は高等学校数学Cの「複素数平面」の解説です。
数学Ⅱの複素数と方程式及び三角関数を履修後に学習してください。数学Cのベクトル・二次曲線の先行履修を推奨します。また、数学Ⅲの積分法より前の履修が望ましいです。数学Cの行列とはどちらの順番で履修しても構いません。
複素数
(
は実数)は、複素数平面では直交座標 (a, b) に対応する。"Re" は実軸(real part)、"Im" は虚軸(imaginary part)を意味する。
虚数単位
を
を満たす数とする。2つの実数
によって
と表される数を複素数という。
座標平面上の点
と複素数
を同一視することで、複素数を座標平面上の点と考えることができる。この平面を複素数平面(complex plane)という。[1]
複素数平面において、
軸を実軸(real part)、
軸を虚軸(imaginary part)という。
複素数平面上で複素数
に対応する点
のことを
と表現し、「点
」と呼ぶこともある。
複素数の加法・減法・実数倍を複素数平面上で考えると、それぞれベクトルの加法・減法・実数倍に対応する。
すなわち、
を実数とすると、
- 点
は点
を実軸方向にc、虚軸方向にdだけ平行移動した点である。
- 点
は点
を実軸方向に-c、虚軸方向に-dだけ平行移動した点である。
- 点
は点
の原点からの距離をk倍に拡大した点である。
なお、
のとき、「実軸方向にa、虚軸方向にbだけ平行移動」を「
だけ平行移動」と表現する場合がある。
ベクトルと同様に、3点
が一直線上にある条件は、
となる実数
が存在することである。
複素数
について複素数
を
の共役複素数[2]といい、
で表す。
複素数
と複素数
は原点に対して対称であり、複素数
と複素数
は実軸に対して対称である。
つまり、次のことが成り立つ。
が実数![{\displaystyle \iff {\bar {\alpha }}=\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9097c26d30d9e60947fadcf76c953dea100f2248)
が純虚数
(ただし
)
また、
である。
- 問題
- 複素数
の実部と虚部をそれぞれ
を用いて表せ。
- 以下を証明せよ
![{\displaystyle {\overline {\alpha +\beta }}={\bar {\alpha }}+{\bar {\beta }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e884ae8c38f202286085891be51482eed951ec12)
![{\displaystyle {\overline {\alpha -\beta }}={\bar {\alpha }}-{\bar {\beta }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69392a9bf914f9adcb2146579d35a83d748a7fa6)
![{\displaystyle {\overline {\alpha \beta }}={\bar {\alpha }}{\bar {\beta }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f6ff4d16d34737194b8f117cf4727b745856314)
![{\displaystyle {\overline {({\frac {\alpha }{\beta }})}}={\frac {\bar {\alpha }}{\bar {\beta }}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/993a013441cc82c0bcfc9d81e6c88189644700a8)
![{\displaystyle {\overline {(\alpha ^{n})}}=({\bar {\alpha }})^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b303df4870ba35bd6f609f97c1191eb84cb1c36a)
上で証明した性質を用いると、数学Ⅱで習った「実数係数のn次方程式の解の一つが
ならば、
も方程式の解の一つである」ことを証明できる。
複素数平面において、複素数
から原点までの距離を絶対値といい
で表す。三平方の定理より
である。
のとき、実数の絶対値で考えた時と同じ結果になることがわかる。
2点
間の距離(すなわち線分
の長さ
)を考える。平行移動しても線分の長さは変わらないので、点
を原点
に移す平行移動を考えると、
だけ平行移動するので、点
は点
へと移る。
つまり、
である。
である。
が実数のとき、
なので実数の絶対値の2乗の計算と一致する。
![](//upload.wikimedia.org/wikipedia/commons/thumb/7/7a/Complex_number_illustration_modarg.svg/220px-Complex_number_illustration_modarg.svg.png)
に対応する点。
上記のように、複素数平面では、複素数の実部と虚部をそれぞれ平面上の点の直交座標に対応させている。ところで、平面上の点の位置の表し方として、直交座標の他に極座標があった。点の位置を極座標で表すことに対応する複素数の表し方を、極形式という。直交座標と極座標は
![{\displaystyle x=r\cos \theta ,\ y=r\sin \theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea67b4985777fe4bee96deeca21a9fd1579cba1c)
で変換することができるのであった。つまり、極形式とは次のような形の複素数の表現である。
![{\displaystyle z=a+bi=r\cos \theta +ir\sin \theta =r(\cos \theta +i\sin \theta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f5d7af84220866a2b26b0257aab98cfab46c0b6)
ここで、
を複素数
の偏角といい、
で表す。また、
である。
は原点、
、
を頂点とする三角形の原点の角度を表している。
逆三角関数を知っている読者は「偏角は
で求められる」と思うであろうが、逆正接関数の値域は
であり、偏角は基本的に
あるいは
の範囲で表すため、場合分けが必要になってしまい面倒である。なので、偏角を求めるときは素直に
の値からその値をとる
を求めよう。
の極形式は、
である。
つまり、
が成り立つ。
極形式で複素数を表すと、複素数の積が次のように簡単に計算できる。
,
とすると、
![{\displaystyle {\begin{aligned}z_{1}z_{2}&=\{r_{1}(\cos \theta _{1}+i\sin \theta _{1})\}\{r_{2}(\cos \theta _{2}+i\sin \theta _{2})\}\\&=r_{1}r_{2}(\cos \theta _{1}+i\sin \theta _{1})(\cos \theta _{2}+i\sin \theta _{2})\\&=r_{1}r_{2}\{\cos \theta _{1}\cos \theta _{2}-\sin \theta _{1}\sin \theta _{2}+i(\sin \theta _{1}\cos \theta _{2}+\cos \theta _{1}\sin \theta _{2})\}\\&=r_{1}r_{2}\{\cos(\theta _{1}+\theta _{2})+i\sin(\theta _{1}+\theta _{2})\}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0384bf3469d360fcba723a5dde36e9b6dbb6f51)
- ただし、三行目から四行目への式変形は三角形の加法定理を使った。
- 次に複素数の商を計算してみよう。
とすると、
![{\displaystyle {\frac {1}{z_{2}}}={\frac {{\bar {z}}_{2}}{z_{2}{\bar {z}}_{2}}}={\frac {{\bar {z}}_{2}}{|z_{2}|^{2}}}={\frac {1}{r_{2}^{2}}}{r_{2}(\cos \theta _{2}-i\sin \theta _{2})}={\frac {1}{r_{2}}}(\cos(-\theta _{2}))+i\sin(-\theta _{2}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/372a4e11839c1ea7f9336cc73f5c4f79237ee56b)
- なので、
![{\displaystyle {\frac {z_{1}}{z_{2}}}={\frac {r_{1}}{r_{2}}}(\cos(\theta _{1}-\theta _{2})+i\sin(\theta _{1}-\theta _{2}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a050c40b202db93e2eb3415f4dcc1e2d2111ca6)
- である。
- これから、複素数
に複素数
をかける操作は、複素数
の原点からの距離を
倍し、原点周りに
だけ回転した点に移す操作であると、複素数
を複素数
で割る操作は、複素数
の原点からの距離を
倍し、原点周りに
だけ回転した点に移す操作であると、幾何学的に理解できる。
- また、この性質から以下の性質が直ちに導かれる。
-
![{\displaystyle |z_{1}z_{2}|=|z_{1}||z_{2}|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b02d1ad12d0d8c33da0f3d0412b065de200adb7)
![{\displaystyle \left|{\frac {z_{1}}{z_{2}}}\right|={\frac {|z_{1}|}{|z_{2}|}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/856bde69e912600b747608ee2f4f4597a9ac7e59)
![{\displaystyle \arg z_{1}z_{2}=\arg z_{1}+\arg z_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3c09f3e2f815ee65e3648c5b8719f2c81ec00d5)
![{\displaystyle \arg {\frac {z_{1}}{z_{2}}}=\arg z_{1}-\arg z_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c2a5601bb771653a3eebe807bef46db81564cf3)
整数
に対し、複素数
の
乗は、
![{\displaystyle (\cos \theta +i\sin \theta )^{n}=\cos n\theta +i\sin n\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/99c64ddb01517848cd8e106cff324f7a88565703)
となることが知られている。これを ド・モアブルの定理 という。数学Iで習ったド・モルガンの法則と混同しないように注意。
これを証明しよう。
まず、
の場合を数学的帰納法で証明する。
のとき、
- (左辺)
![{\displaystyle =(\cos \theta +i\sin \theta )^{0}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/106f8510d1e4314dd3c032327a8ca8020bc92566)
- (右辺)
![{\displaystyle =\cos 0+i\sin 0=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fd606910a22c520821cce36c2ec35e62c32c455)
である。
とし、
のとき
![{\displaystyle (\cos \theta +i\sin \theta )^{n-1}=\cos(n-1)\theta +i\sin(n-1)\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/21ce706a54f3536597de8c25ae24166f2b61d98b)
が成り立つと仮定すると
![{\displaystyle {\begin{aligned}(\cos \theta +i\sin \theta )^{n}&=(\cos \theta +i\sin \theta )^{n-1}(\cos \theta +i\sin \theta )\\&=\{\cos(n-1)\theta +i\sin(n-1)\theta \}(\cos \theta +i\sin \theta )\\&=\cos n\theta +i\sin n\theta \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0167bb90b30bdfa59b68492e3c5efb756cff86a1)
- となり、
の場合も証明できた。
のとき、
したがって、
が整数のときド・モアブルの定理が成り立つことが証明できた。
ド・モアブルの定理を用いて、
についての
次方程式
![{\displaystyle z^{n}=a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9cfb8ce197112963aa90b818cae1706bad55c04)
の複素数解をすべて求めてみよう。まず、aが正の実数のときを考える。
と極形式で表すとき、ド・モアブルの定理より
である。正の実数aの絶対値はa、偏角は0であることに注意すると、
を満たすとき、
![{\displaystyle r^{n}=a,\ n\theta =2k\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b161491598bff3aa2f9d846c8d0df513dfcac55)
でなければならないことがわかる。ただし
は整数である。rが正の実数であることに注意してこの式を解くと、
![{\displaystyle r={\sqrt[{n}]{a}},\ \theta ={\frac {2k\pi }{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fc24877d6c9447ab7ec9356e41082429d4cc16f)
であるから、整数kを用いて
![{\displaystyle z={\sqrt[{n}]{a}}\left(\cos {\frac {2k\pi }{n}}+i\sin {\frac {2k\pi }{n}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa573523baa036ed2fb131cf597799746fae117d)
と表される数が複素数解のすべてである。
一般の複素数
に対して、zについてのn次方程式
![{\displaystyle z^{n}=\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/029a4a8d0c815892d884b09ea35082486df161e6)
を考えると、まったく同様の計算により解は整数kを用いて
![{\displaystyle z={\sqrt[{n}]{|\alpha |}}\left(\cos {\frac {\arg \alpha +2k\pi }{n}}+i\sin {\frac {\arg \alpha +2k\pi }{n}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e427b488cea6599f69632c5285afa8a0ea266e04)
と表される。
偏角が
の整数倍ずれるだけの複素数は同じ複素数であることに注意すると、いずれの場合も異なる解はちょうどn個存在することがわかる。そのn個の解を複素数平面上で考えると、zのn乗根は原点を中心とする正n角形を描くことが確かめられる。
ここでは、複素数平面を利用して幾何学的な問題を解くことを考える。
とすると、複素数平面とベクトルの対応から点
の位置ベクトルはそれぞれ
となる。
このとき、線分
を
に内分する点、外分する点の位置ベクトルはそれぞれ
と求まる。
もう一度ベクトルと複素数平面の対応を考えると、それぞれ
と変形できる。
つまり、線分
を
に内分する点、外分する点を表す複素数は![{\displaystyle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/df4dcd61276328f7c7ec5bdc399b6e11114a2c68)
である。
中点・重心に関しても位置ベクトルと同様の公式が成り立つ。
を複素数、
を正の実数とする。 方程式
を満たす複素数
の軌跡は、
を中心とし、
を半径とする円である。これは円のベクトル方程式の複素数表示である。
を複素数とする、方程式
を満たす複素数
の軌跡は、
を通る線分の垂直二等分線である。
異なる2点からの距離の比がm:nである点全体の集合はm=nのときは2点を結ぶ線分の垂直二等分線であるが、m≠nのときは2点を直径の両端に持つ円となる。この円をアポロニウスの円という。
例えば、方程式
を満たす点zの集合は、
![{\displaystyle |z+3|^{2}=4|z|^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc745ce7a868db14eac70f35a7e1b5e965c52388)
![{\displaystyle \iff (z+3)({\bar {z}}+3)=4z{\bar {z}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fefeed2d68c17b6fc98537bee1aab0b3248dabb)
![{\displaystyle \iff z{\bar {z}}-z-{\bar {z}}=3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1fb37c0963b4475dfb1c2ed4dba97df6c07eb39)
![{\displaystyle \iff (z-1)({\bar {z}}-1)=2^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/911081fa34528f7fcc95f9da9b95929847afbfde)
![{\displaystyle \iff |z-1|^{2}=2^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92a7f7c809b440b5cec99b901c8a4ef906161a90)
![{\displaystyle \iff |z-1|=2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/484de8a4f52d84b147d965ade84ba24e1d885c43)
点1を中心とする半径2の円
と求まる。
この円は点-3, 点0からの距離の比が2:1なアポロニウスの円である。
複素数平面上の点
に対し、
はベクトル
とベクトル
のなす角である。特に、
が実数のときベクトル
とベクトル
は平行。
が純虚数のときはベクトル
とベクトル
は垂直である。
が描く図形の問題は入試でよく見られる。
与えられた条件からzの方程式を導き、wの関係式に変形して解いていく。
例えば、zが点
を通り実軸に垂直な直線上を動くとき、点zは原点と点1を結ぶ線分の垂直二等分線上を動くので、
である。
より
なので、
である。よって、点wは原点を除いた、点1を中心とする半径1の円を描く。
複素数
に複素数
をかけた複素数
は、複素数
を原点を中心に
だけ回転した点を表す。これはド・モアブルの定理を用いて証明できる。
「負の数に負の数を掛けたら正の数になる」という中学1年生で習った事実の数学的な説明はこの定理を用いて初めてできる。
一般に、複素数
を複素数
を中心に
だけ回転した点
は、
である。
の形にすると覚えやすいだろう。
複素数
に
を掛ける操作は
の位置ベクトルに回転行列
を掛ける一次変換に対応する。
一般に複素数
は二次行列
に対応することが知られている。
回転移動の計算は、行列を用いる場合に比べて複素数を用いた方が楽な場合が多い。
特に、回転の中心が原点ではない場合、行列の場合は余計な次元を追加して計算する必要がある(詳しくはアフィン変換を参照)。それに比べ、複素数の場合は比較的単純な計算で一般の点を中心とした回転を求めることができる。
- 発展:図形の回転
図形は点の集合なので、図形の回転移動は点の回転移動に帰結する。つまり、点の座標が定数から変数に変わるだけである。図形を表す方程式がわかっていれば、回転移動した図形を表す方程式を求められる。
回転前の点をX(x,y)、回転後の点をY(x', y')とする。
このとき、「Xをθだけ回転したらYに移った」と考えると最終的に出てくる式はそれぞれ左辺にx',y'、右辺に(xの式),(yの式)が来る形となる。
xとyの関係式(回転前の図形を表す方程式)に代入するためにはそれぞれ左辺にx,y、右辺に(x'の式),(y'の式)が来る形にする方が望ましい。
そのため、発想を逆転させて「Yを-θだけ回転したらXに移った」と考える。
こうすると、最終的に出てくる式はそれぞれ左辺にx,y、右辺に(x'の式),(y'の式)が来る形となる。
具体的に計算すると、
![{\displaystyle x+yi=\{\cos(-\theta )+i\sin(-\theta )\}(x'+y'i)=(\cos \theta -i\sin \theta )(x'+y'i)=(x'\cos \theta +y'\sin \theta )+(-x'\sin \theta +y'\cos \theta )i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41f789c92ddc0fcb11a6f23e835525f6a224e944)
![{\displaystyle \therefore {\begin{cases}x=x'\cos \theta +y'\sin \theta \\y=-x'\sin \theta +y'\cos \theta \end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eade2d0c6dc4e0955bc8949015c0c7bf3ad5a175)
この式を図形の方程式に代入すると、回転後の図形の方程式となる。
陽関数
は陰関数表示
へと変形できる。
図形の回転
図形を表す方程式が
であるとき、原点を中心に
だけ回転させた図形の方程式は
である。
記述式の問題の場合、上の公式に代入するのではなく、先ほど述べた手順で式変形して求めるのが望ましい。
- ^ 複素平面やガウス平面と呼ばれることもある。
- ^ 本来は「共軛」と書く。