3. 極形式(ノート)
基礎をスライドで学ぶ

高校数学[総目次]

数学Ⅲ　第4章　複素平面

	スライド	ノート	問題
1. 複素平面	[会員]
2. 複素数が表す図形	[会員]
3. 極形式	[会員]		[会員]
4. ド・モアブルの定理	[会員]
5. 複素数と図形	[会員]

3. 極形式

3.1　極形式とは

複素数の新しい表現法～具体例

　例えば，複素数 $z=1+\sqrt 3i$ は複素平面上で次の点を表す．

　この実部の $1$ と虚部の $\sqrt3$ は，三角関数のところで学んだように原点からの距離2と実軸からの回転角 $\dfrac\pi3$ によって

$$1=2\cos\dfrac\pi3,\ \ \sqrt3=2\sin\dfrac\pi3$$

というようにも表すことができるから

$$z=2\cos\dfrac\pi3+\left(2\sin\dfrac\pi3\right)i$$

とも表現できる．2でくくって

$$z=2\left(\cos\dfrac\pi3+i\sin\dfrac\pi3\right)$$

　これが複素数 $z$ の新しい表現法である．つまりこの複素数 $z$ は

$$1+\sqrt3=2\left(\cos\dfrac\pi3+i\sin\dfrac\pi3\right)$$

という2通りの表し方ができるようになったのだ．

複素数の新しい表現法～一般論

　$a,\ b$ を実数として，複素平面上の原点O以外の点 $z=a+b\,i$ は次のような点を表すのであった．

　今この実部と虚部である $a,\ b$ を異なる方法で表すことを考える．そうすることで，複素数の取り扱いが驚くほど簡単になる上に，複素平面において，回転移動という変換がとても考えやすくなるのである．

　複素平面上の原点O以外の点 $z$ を，Oからの距離 $r$ と，実軸の正の向きからの回転角 $\theta$ で表すことを考える．ただし，反時計回りを正の向き，時計回りを負の向きとし，角度は弧度法 を用いる．

　図から複素数 $z$ の実部は $r\cos\theta$，虚部は $r\sin\theta$ と表されることがわかる．この辺りの考え方は三角関数のところで十分習熟していることであろう．従って $z$ は

$$z=r\cos\theta+i\,r\sin\theta$$

と表せる．$r$ でくくって

$$z=r(\cos\theta+i\sin\theta)$$

　複素数のこのような表し方を極形式(きょくけいしき)という．

極形式 $$z=r(\cos\theta +i\sin\theta)$$

　$i$ が $+$ のすぐあとにきているのが気になるかもしれないが，これは $z=r(\cos\theta+\sin\theta\,i)$ と書いたのでは，$\sin(\theta\,i)$ と紛らわしいため，通常このような記法をとる．どうしても $i$ を最後に書きたい場合は，$(\sin\theta)\,i$ のように $i$ が $\sin\theta$ の中に入っていないことがはっきりとわかるように書かなくてはならない．

　このときの角 $\theta$ を偏角(へんかく)といい，$\boldsymbol{{\rm arg}\,z}$ で表す．

$${\rm arg}\ z=\theta$$

　この arg というのは英語で偏角を意味する argument からきている．

　また，複素数 $z$ の絶対値 $|z|$ は，複素平面上において原点からの距離を表していたから

$$|z|=r$$

である．これは計算によっても

$$|z|=|r|\sqrt{\cos^2\theta+\sin^2\theta}=|r|=r$$

となることから確かめられる．

まとめ $$r=|z|,\ \ \theta ={\rm arg}\, z$$

補足

　例えば，${\rm arg}\,(1-i)$ は $\dfrac 74\pi$ でも $-\dfrac\pi4$ でもよい．つまり，$2\pi$ の整数倍の差がある2つを同一視する．
　${\rm arg}\,z_1={\rm arg}\,z_2$ というときは，$2\pi$ の整数倍の違いを無視して一致することを意味する．

例

　$z=1+i$ のとき，$|z|=\sqrt2$，${\rm arg}\,z=\dfrac\pi4$ により， $$z=\sqrt2\left(\cos\frac\pi4+i\sin\frac\pi4\right)$$

例題　複素数 $z$ が極形式で $z=r(\cos\theta+i\sin\theta)$ と表されているとき， $z$ の共役 $\overline{z}$ を極形式で表せ．

こたえ

　図より，

　　　$|\overline{z}|=r,\ \ \ \ {\rm arg}\,\overline{z}=-\theta$

であるから

$$\overline{z}=r\{\cos(-\theta)+i\sin(-\theta)\}$$

$z$ が実数や純虚数となる条件

　複素数 $z$ が実数や純虚数となる条件を，偏角という観点から見ていこう．ただし，偏角 $\theta$ は $0\leqq\theta<2\pi$ とする．

　複素平面上において，

$z$ が実数　$\iff z$ は実軸上

であったから，実軸上にある複素数の偏角は，原点を除き $0$ か $\pi$ である．

　また，$z$ が0でなければ

$z$ が純虚数　$\iff z$ は虚軸上

であったから，虚軸上にある複素数の偏角は，原点を除き $\dfrac\pi2$ か $\dfrac32\pi$ である．

3.2　複素数の乗法・除法

　次の例題を考えてみよう．

例題　2つの複素数 $z_1=1+\sqrt3\,i$，$z_2=1+i$ について，$z_1z_2$，$\dfrac{z_1}{z_2}$ をそれぞれ極形式で表せ．

　$z_1z_2$ から考えていこう．これを極形式で表すには $z_1z_2$ という複素数について，原点からの距離，すなわち $|z_1z_2|$ と，偏角 ${\rm arg}\ z_1z_2$ の情報が必要である．$z_1z_2$ を実際に計算してみると

$$\begin{align*} z_1z_2&=(1+\sqrt3\,i)(1+i)\\[5pt] &=(1-\sqrt3)+(1+\sqrt3)i \end{align*}$$

となるから

$$|z_1z_2|=\sqrt{(1-\sqrt3)^2+(1+\sqrt3)^2}=\sqrt8=2\sqrt2$$

である．一方，偏角 ${\rm arg}\ z_1z_2$ の方はというと，下の図のように複素平面上に点 $z_1z_2$ を何となくとってみても，偏角はよくわからない．

　これ以上はお手上げになってしまった．

極形式なら打開できる

　上の例題では $z_1z_2$ の絶対値は計算できても，偏角の方がよくわからず，結局 $z_1z_2$ を極形式で表すことは叶わなかった．ところが実は $z_1$ と $z_2$ を最初の段階で極形式で表しておけば，事態が打開できるのである．

　$z_1,\ z_2$ をそれぞれ極形式で表すと，

$$\begin{align*} &z_1=2\left(\cos\dfrac\pi3+i\sin\dfrac\pi3\right)\\[5pt] &z_2=\sqrt2\left(\cos\dfrac\pi4+i\sin\dfrac\pi4\right) \end{align*}$$

と表されるから，

$$\begin{align*} z_1z_2&=2\left(\cos\dfrac\pi3+i\sin\dfrac\pi3\right)\cdot\sqrt2\left(\cos\dfrac\pi4+i\sin\dfrac\pi4\right)\\[5pt] &=2\sqrt2\left\{\left(\underline{\cos\dfrac\pi3\cos\dfrac\pi4-\sin\dfrac\pi3\sin\dfrac\pi4}_{\mbox{①}}\right)\right.\\[5pt] &\hspace{20mm}+\left.\left(\underline{\sin\dfrac\pi3\cos\dfrac\pi4+\cos\dfrac\pi3\sin\dfrac\pi4}_{\mbox{②}}\right)i\right\} \end{align*}$$

となる．ところで①式は，cosの加法定理により

①$=\cos\left(\dfrac\pi3+\dfrac\pi4\right)=\cos\dfrac7{12}\pi$

　同様に②式も，sinの加法定理により

②$=\sin\left(\dfrac\pi3+\dfrac\pi4\right)=\sin\dfrac7{12}\pi$

となるから，結局

$$\underline{z_1z_2=2\sqrt2\left(\cos\dfrac7{12}\pi+i\sin\dfrac7{12}\pi\right)}$$

という具合に極形式で表すことができた．複素数 $z_1z_2$ の偏角は $\dfrac7{12}\pi(=105^\circ)$ なので，やはり図から偏角を求めるのは難しいといえる．

極形式による積や商の一般論

　例題の商の計算が残っているが，ここで中断して，極形式による積や商の一般論を展開する．

　2つの複素数 $z_1,\ z_2$ が極形式で

$$z_1=r_1(\cos\theta_1+i\sin\theta_1),\ \ z_2=r_2(\cos\theta_2+i\sin\theta_2)$$

と表されているとする．

● 積

$$\begin{align*} z_1z_2&=r_1r_2(\cos\theta_1+i\sin\theta_1)(\cos\theta_2+i\sin\theta_2)\\[5pt] &=r_1r_2\{\cos\theta_1\cos\theta_2-\sin\theta_1\sin\theta_2)\\ &\hspace{15mm}+i(\sin\theta_1\cos\theta_2+\cos\theta_1\sin\theta_2)\}\\[5pt] &=r_1r_2\{\cos(\theta_1+\theta_2)+i\sin(\theta_1+\theta_2)\} \end{align*}$$

であるから，

$$\begin{align*} |z_1z_2|&=|r_1r_2|\sqrt{\cos^2(\theta_1+\theta_2)+\sin^2(\theta_1+\theta_2)}\\[5pt] &=|r_1||r_2|\\[5pt] &=|z_1||z_2|\\[8pt] {\rm arg}\,z_1z_2&={\rm arg}\,z_1+{\rm arg}\,z_2 \end{align*}$$

● 商

$$\begin{align*} \frac{z_1}{z_2}&=\frac{r_1(\cos\theta_1+i\sin\theta_1)}{r_2(\cos\theta_2+i\sin\theta_2)}\\[5pt] &=\frac{r_1}{r_2}\cdot\frac{(\cos\theta_1+i\sin\theta_1)(\cos\theta_2-i\sin\theta_2)}{(\cos\theta_2+i\sin\theta_2)(\cos\theta_2-i\sin\theta_2)}\\[5pt] &=\frac{r_1}{r_2}\cdot\frac {(\cos\theta_1+i\sin\theta_1)(\cos\theta_2-i\sin\theta_2)}1\\[5pt] &=\frac{r_1}{r_2}\cdot(\cos\theta_1+i\sin\theta_1)(\cos\theta_2-i\sin\theta_2)\\[5pt] &=\frac{r_1}{r_2}\cdot\{(\cos\theta_1\cos\theta_2+\sin\theta_1\sin\theta_2)\\ &\hspace{20mm}+i(\sin\theta_1\cos\theta_2-\cos\theta_1\sin\theta_2)\}\\[5pt] &=\frac{r_1}{r_2}\{\cos(\theta_1-\theta_2)+i\sin(\theta_1-\theta_2)\} \end{align*}$$

であるから，

$$\begin{align*} &\left|\frac{z_1}{z_2}\right|=\left|\frac{r_1}{r_2}\right|=\frac{|r_1|}{|r_2|}=\frac{|z_1|}{|z_2|}\\[5pt] &{\rm arg}\frac{z_1}{z_2}=\theta_1-\theta_2={\rm arg}\,z_1-{\rm arg}\,z_2 \end{align*}$$

　以上をまとめると次のようになる．

まとめ $$\begin{align*} |z_1z_2|&=|z_1|\,|z_2|\\ {\rm arg}\ z_1z_2&={\rm arg}\ z_1+{\rm arg}\ z_2\\ \\ \left|\frac{z_1}{z_2}\right|&=\frac{|z_1|}{|z_2|}\\ {\rm arg}\frac{z_1}{z_2}&={\rm arg}\ z_1-{\rm arg}\ z_2 \end{align*}$$

　これを言葉で大雑把に表現すると次のようになる．

戻って例題の解説

　一般論がわかったので，残っていた例題の商は

$$\begin{align*} &\left|\dfrac{z_1}{z_2}\right|=\dfrac{|z_1|}{|z_2|}=\dfrac2{\sqrt2}=\sqrt2\\[5pt] &{\rm arg}\ \frac{z_1}{z_2}={\rm arg}\ z_1-{\rm arg}\ z_2=\dfrac\pi3-\dfrac\pi4=\dfrac\pi{12} \end{align*}$$

　よって $\dfrac{z_1}{z_2}$ の極形式は

$$\underline{\dfrac{z_1}{z_2}=\sqrt2\left(\cos\dfrac\pi{12}+i\sin\dfrac\pi{12}\right)}$$

　これで無事，商の方も解決できた．

3.3　拡大・縮小と回転移動

　極形式で表された2つの複素数の積や商がどのようになるかを詳しく見たが，これを図形の変換という立場から捉え直してみよう．

　前節の例題で用いた2つの複素数 $z_1,\ z_2$ をもう一度取り上げよう．

$$\begin{align*} &z_1=2\left(\cos\dfrac\pi3+i\sin\dfrac\pi3\right)\\[5pt] &z_2=\sqrt2\left(\cos\dfrac\pi4+i\sin\dfrac\pi4\right) \end{align*}$$

　ここで，点 $z_1$ を主役にして，この $z_1$ に $z_2$ を掛けると，$z_1$ がどのように変化するかという立場で眺めてみよう．

$$|z_1|=2,\ \ \ {\rm arg}\ z_1=\dfrac\pi3$$

であった．$z_1$ に $z_2$ を掛けると，

$$\begin{align*} &|z_1z_2|=|z_1|\times|z_2|=2\times\sqrt2\\[5pt] &{\rm arg}\ z_1z_2={\rm arg}\ z_1+{\rm arg}\ z_2=\dfrac\pi3+\dfrac\pi4 \end{align*}$$

となるから，$z_1$ は

• 絶対値が $|z_2|$ 倍される．
• 偏角が ${\rm arg}\ z_2$ だけ足される．

という変換が施されたと解釈できる．特に偏角の方は，$z_2$ を掛けることで

原点を中心に ${\rm arg}\ z_2$ だけ回転移動を行う

と言い換えることができるのである．このように，ある複素数 $z$ に別の複素数を掛けるという行為は，$z$ に対して

拡大・縮小と，回転移動を同時に行う変換を施している

ということを意味するのだ．

補足　今は $z_1$ を主役に考えたが，複素数の積は交換法則が成り立つから，主従を逆転させて，「$z_2$ に $z_1$ を掛けると，$z_2$ の絶対値は $|z_1|$ 倍され，更に原点を中心として $\dfrac\pi3$ の回転移動を行う変換が施される」という解釈ももちろんできる．

掛ける複素数の絶対値が1なら回転移動だけ

　上の例では $|z_2|=\sqrt2$ であったから，積 $z_1z_2$ は拡大と回転移動の2つの変換が行われたが，絶対値が1である複素数を掛けたときは，拡大倍率が1だから原点からの距離が変化せず，回転移動だけの変換となる．

　絶対値が1で偏角が $\theta$ である複素数は，極形式で $1(\cos\theta+i\sin\theta)$ と表されるから次が成り立つ．

回転移動を表す複素数原点を中心として角 $\theta$ の回転移動を表す複素数は $$\cos\theta+i\sin\theta$$

例題　複素平面上の点 $z=1+\sqrt3\,i$ を，原点を中心として $\dfrac\pi4$ だけ回転移動させた点を表す複素数を求めよ．

こたえ

　原点を中心とする $\dfrac\pi4$ の回転移動を表す複素数は

$$\cos\dfrac\pi4+i\sin\dfrac\pi4=\dfrac{\sqrt2}2+\dfrac{\sqrt2}2 i$$

である．よって求める複素数は

$$(1+\sqrt3\,i)\left(\dfrac{\sqrt2}2+\dfrac{\sqrt2}2 i \right)=\underline{-\dfrac{\sqrt6-\sqrt2}2+\dfrac{\sqrt6+\sqrt2}2 i }$$

---

高校数学[総目次]

数学Ⅲ　第4章　複素平面

	スライド	ノート	問題
1. 複素平面	[会員]
2. 複素数が表す図形	[会員]
3. 極形式	[会員]		[会員]
4. ド・モアブルの定理	[会員]
5. 複素数と図形	[会員]