虚数単位 を を満たす数とする。2つの実数 によって と表される数を複素数という。
座標平面上の点 と複素数 を同一視することで、複素数を座標平面上の点と考えることができる。この平面を複素数平面(complex plane)という。[1]
複素数平面において、 軸を実軸(real part)、 軸を虚軸(imaginary part)という。
複素数平面上で複素数 に対応する点 のことを と表現し、「点 」と呼ぶこともある。
複素数の加法・減法・実数倍を複素数平面上で考えると、それぞれベクトルの加法・減法・実数倍に対応する。
すなわち、 を実数とすると、
- 点 は点 を実軸方向にc、虚軸方向にdだけ平行移動した点である。
- 点 は点 を実軸方向に-c、虚軸方向に-dだけ平行移動した点である。
- 点 は点 の原点からの距離をk倍に拡大した点である。
なお、 のとき、「実軸方向にa、虚軸方向にbだけ平行移動」を「 だけ平行移動」と表現する場合がある。
ベクトルと同様に、3点 が一直線上にある条件は、 となる実数 が存在することである。
複素数 について複素数 を の共役複素数[2]といい、 で表す。
複素数 と複素数 は原点に対して対称であり、複素数 と複素数 は実軸に対して対称である。
つまり、次のことが成り立つ。
- が実数
- が純虚数 (ただし )
また、 である。
- 問題
- 複素数 の実部と虚部をそれぞれ を用いて表せ。
- 以下を証明せよ
-
-
-
-
-
上で証明した性質を用いると、数学Ⅱで習った「実数係数のn次方程式の解の一つが ならば、 も方程式の解の一つである」ことを証明できる。
複素数平面において、複素数 から原点までの距離を絶対値といい で表す。三平方の定理より である。 のとき、実数の絶対値で考えた時と同じ結果になることがわかる。
2点 間の距離(すなわち線分 の長さ )を考える。平行移動しても線分の長さは変わらないので、点 を原点 に移す平行移動を考えると、 だけ平行移動するので、点 は点 へと移る。
つまり、 である。
である。 が実数のとき、 なので実数の絶対値の2乗の計算と一致する。
ここでは、複素数平面を利用して幾何学的な問題を解くことを考える。
とすると、複素数平面とベクトルの対応から点 の位置ベクトルはそれぞれ となる。
このとき、線分 を に内分する点、外分する点の位置ベクトルはそれぞれ と求まる。
もう一度ベクトルと複素数平面の対応を考えると、それぞれ と変形できる。
つまり、線分 を に内分する点、外分する点を表す複素数は である。
中点・重心に関しても位置ベクトルと同様の公式が成り立つ。
を複素数、 を正の実数とする。 方程式 を満たす複素数 の軌跡は、 を中心とし、 を半径とする円である。これは円のベクトル方程式の複素数表示である。
を複素数とする、方程式 を満たす複素数 の軌跡は、 を通る線分の垂直二等分線である。
異なる2点からの距離の比がm:nである点全体の集合はm=nのときは2点を結ぶ線分の垂直二等分線であるが、m≠nのときは2点を直径の両端に持つ円となる。この円をアポロニウスの円という。
例えば、方程式 を満たす点zの集合は、
-
-
-
-
-
-
- 点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'の式)が来る形となる。
具体的に計算すると、
-
-
この式を図形の方程式に代入すると、回転後の図形の方程式となる。
陽関数 は陰関数表示 へと変形できる。
図形の回転
図形を表す方程式が であるとき、原点を中心に だけ回転させた図形の方程式は である。
記述式の問題の場合、上の公式に代入するのではなく、先ほど述べた手順で式変形して求めるのが望ましい。
- ^ 複素平面やガウス平面と呼ばれることもある。
- ^ 本来は「共軛」と書く。