極ごく形式けいしき と 幾何きかへの応用おうよう

この章しょうで学まなぶこと

第だい 8 章しょうで 「複ふく素そ数すうの乗法じょうほう = 回転かいてん + 拡大かくだい」 と学まなびました。 その 計けい算さん上じょうの道どう具ぐ が本章ほんしょうの 極形式きょくけいしき です。 直ちょっ交こう形$a+bi$ では隠かくれてしまう 「角かく」 と 「大おおきさ」 を表ひょうに出だし、 図形ずけい問もん題だい が 暗算あんざん級きゅうに速はやく なります。

• 極形式きょくけいしき $r(\cos \theta +i\sin \theta )$ の表あらわし方かた
• 直ちょっ交こう形 ↔ 極形式きょくけいしき の変へん換かん
• 回転かいてん公こう式しき と三さん角かく形がたの形けい状じょう判別はんべつ
• 中ちゅう心しん が原げん点てん でない回かい転てん・相似そうじ移動いどう
• 図形ずけい問もん題だい への応用おうよう例れい題だい

覚おぼえ方かた: 極形式きょくけいしき は 「偏角へんかく と 絶対値ぜったいち を言げん語ご にした表記ひょうき法ほう」。 直ちょっ交こう形$a+bi$ が 「番地ばんち」 なら、 極形式きょくけいしき $r(\cos \theta +i\sin \theta )$ は 「方角ほうがくと距きょ離り」。 回転かいてんや相似そうじを扱あつかう図形ずけい問もん題だい では、 極形式きょくけいしき が圧あっ倒とう的に速はやいです。

1. 極ごく形式けいしきの復習ふくしゅうと公式こうしき

直交ちょっこう形がたから極ごく形式けいしきへ

$z=a+bi$ ($z\ne 0$) は

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

の形かたちに一いち意い (周期しゅうきを除のぞく) に表あらわせます。 $r=\mid z\mid =\sqrt{a^2+b^2}$、 $\theta =\arg z$。

例題れいだい 1

$z=-1+i$ を 極形式きょくけいしき で。

解かい: $\mid z\mid =\sqrt{1+1}=\sqrt{2}$。 $z$ は第だい 2 象限しょうげん ()、 $\tan \theta =-1$ より $\theta =3\pi /4$。

$z=\sqrt{2}(\cos \frac{3\pi }{4}+i\sin \frac{3\pi }{4})$

例題れいだい 2

$z=-2$ を 極形式きょくけいしき で。

解かい: $\mid z\mid =2$, $\arg z=\pi$ ($x$軸の負まけの方ほう向こう)。 $z=2(\cos \pi +i\sin \pi )$。

2. 乗法じょうほう・除法じょほうの公式こうしき

公式こうしき

$z_1=r_1(\cos {\theta }_1+i\sin {\theta }_1)$, $z_2=r_2(\cos {\theta }_2+i\sin {\theta }_2)$ ($z_2\ne 0$) に対たいし

$z_1{z}_2=r_1{r}_2\{\cos ({\theta }_1+{\theta }_2)+i\sin ({\theta }_1+{\theta }_2\left)\right\}$

$\frac{z_1}{z_2}=\frac{r_1}{r_2}\{\cos ({\theta }_1-{\theta }_2)+i\sin ({\theta }_1-{\theta }_2\left)\right\}$

大事だいじな結論けつろん

演えん算ざん	絶ぜっ対たい値ち	偏へん角かく
積つむ	かけ算ざん	足たし算ざん
商しょう	割わり算ざん	引ひき算ざん

例題れいだい 3

$z_1=2(\cos 30°+i\sin 30°)$, $z_2=3(\cos 60°+i\sin 60°)$ の積せきと商しょうを求もとめよ。

解かい:

$z_1{z}_2=6(\cos 90°+i\sin 90°)=6i$

$\frac{z_1}{z_2}=\frac{2}{3}(\cos (-30°)+i\sin (-30°\left)\right)=\frac{2}{3}(\frac{\sqrt{3}}{2}-\frac{1}{2}i)=\frac{\sqrt{3}}{3}-\frac{1}{3}i$

3. 中心ちゅうしんが原点げんてんでない回転かいてん

公式こうしき

複素数ふくそすう $\alpha$ を中ちゅう心しん として、 $z$ を角$\theta$ だけ 回転かいてん した点$z^{\prime }$ は

$z^{\prime }-\alpha =(\cos \theta +i\sin \theta )(z-\alpha )$

つまり 「中ちゅう心しん $\alpha$ を原げん点てん に移うつして」 (差$z-\alpha$) → 「回転かいてん」 (× $\cos +i\sin$) → 「中ちゅう心しん を戻もどす」 (+ $\alpha$) の 3 ステップです。

例題れいだい 4

点$z=4+3i$ を、 中ちゅう心しん $\alpha =1+i$ の周まわりに $90°$回かい転てん せよ。

解かい: $z-\alpha =3+2i$。 $\cos 90°+i\sin 90°=i$ をかける:

$i(3+2i)=3i-2=-2+3i$

中ちゅう心しん を戻もどして $z^{\prime }=-2+3i+(1+i)=-1+4i$。

4. 相似そうじを表あらわす一般いっぱん公式こうしき

公式こうしき

中ちゅう心しん $\alpha$、 拡大かくだい率りつ$r$、 角$\theta$ の 相似変換そうじへんかん で点$z$ が移うつる先さきは

$z^{\prime }=\alpha +r(\cos \theta +i\sin \theta )(z-\alpha )$

特とくに $r=1$ で純じゅん粋すい な 回転かいてん、 $\theta =0$ で純じゅん粋すい な 拡大かくだい・縮小しゅくしょう。

例題れいだい 5

中ちゅう心しん $0$、 角$60°$、 拡かく大だい率りつ$2$ で $z=1$ が移うつる先さきを求もとめよ。

解かい: $z^{\prime }=2(\cos 60°+i\sin 60°)\cdot 1=1+\sqrt{3}i$。

5. 三角形さんかくけいの形状けいじょう判別はんべつ

3 点てんがなす三角形さんかくけい

3 つの 複素数ふくそすう $\alpha ,\beta ,\gamma$ を頂ちょう点てん とする三さん角かく形がたを考えかんがえます。 $\alpha$ から $\beta$ へのベクトルを 「単位たんい」 として、 $\alpha$ から $\gamma$ へのベクトルを表あらわすと

$\frac{\gamma -\alpha }{\beta -\alpha }=k$

$k$ の性せい質しつ から三さん角かく形がたの 形けい状じょう が決きまります。

形状けいじょう表ひょう

$k$ の値ね	三さん角かく形がたの形かたち
$k$ が実数じっすう	3 点てんが 一いち直ちょく線せん上じょう
$k$ が純じゅん虚数きょすう	$\alpha$ で 直角ちょっかく
$\mid k\mid =1,k\ne \pm 1$	$\alpha$ を頂ちょう点てん とする 二に等辺とうへん三さん角かく形がた
$k=\frac{1}{2}\pm \frac{\sqrt{3}}{2}i$	正三しょうさん角かく形がた ($\alpha$ で $60°$、 等辺とうへん)

例題れいだい 6

$\alpha =0$, $\beta =1$, $\gamma =\frac{1}{2}+\frac{\sqrt{3}}{2}i$ はどのような三さん角かく形がたか。

解かい: $k=(\gamma -\alpha )/(\beta -\alpha )=\frac{1}{2}+\frac{\sqrt{3}}{2}i$。 表ひょうに該がい当とう して 正三しょうさん角かく形がた。

6. 直線ちょくせん・円えんの方程式ほうていしき

直線ちょくせん

複素数平面ふくそすうへいめん上で、 異ことなる 2 点$\alpha ,\beta$ を通とおる直ちょく線せん上じょうの点$z$ は

$\frac{z-\alpha }{\beta -\alpha } が実数$

を満みたします。

円えん

中ちゅう心しん $\alpha$、 半はん径けい $r$ の円上えんじょうの点$z$ は $\mid z-\alpha \mid =r$。 または同値どうちに

$(z-\alpha )(z-\alpha )‾=r^2$

例題れいだい 7

$\mid z-1\mid =\mid z+i\mid$ はどのような図づ形けい か。

解かい: 2 点$1$ と $-i$ から等とう距きょ離り な点てん、 すなわち 2 点てんを結むすぶ線分せんぶんの垂すい直ちょく二に等分とうぶん線せん。

7. 図形ずけい問題もんだいへの応用おうよう (実例じつれい)

例題れいだい 8: 正多角形せいたかっけいの頂点ちょうてん

正$n$角形けい の頂ちょう点てん は、 中ちゅう心しん からの距きょ離り が等ひとしく、 隣となり同士どうしの角かくが $2\pi /n$。 中ちゅう心しん $0$、 半はん径けい $1$ の正せい 6 角形かくがたの頂ちょう点てん を求もとめよ。

解かい: $z_k=\cos \frac{2\pi k}{6}+i\sin \frac{2\pi k}{6}$ ($k=0,1,\dots ,5$)。

$k$	頂ちょう点てん
0	$1$
1	$\frac{1}{2}+\frac{\sqrt{3}}{2}i$
2	$-\frac{1}{2}+\frac{\sqrt{3}}{2}i$
3	$-1$
4	$-\frac{1}{2}-\frac{\sqrt{3}}{2}i$
5	$\frac{1}{2}-\frac{\sqrt{3}}{2}i$

(第だい 10 章しょうの $n$乗の根ね と直結ちょっけつする視点してんです)

例題れいだい 9: 直角ちょっかく二等辺三角形にとうへんさんかっけい

3 点$\alpha =0$, $\beta =2$, $\gamma =?$ で $\beta$ を直角ちょっかくとする直角ちょっかく二に等辺とうへん三さん角かく形がたになる $\gamma$ を 1 つ求もとめよ。

解かい: $\beta$ を中ちゅう心しん に $90°$回転かいてん、 $\alpha$ → $\gamma$。 $\gamma -\beta =i(\alpha -\beta )=i(-2)=-2i$。 $\gamma =2-2i$。

8. 極ごく形式けいしきの強つよさ — 大学だいがく数学すうがくへ

極形式きょくけいしき は オイラーの公式おいらーのこうしき $e^{i\theta }=\cos \theta +i\sin \theta$ (テイラー展開ているーてんかい から導出どうしゅつ、 大学だいがく 1 年ねん) を使つかうと

$z=r{e}^{i\theta }$

と 1 文字もじで書かけます。 これにより

演えん算ざん	直ちょっ交こう形	$r{e}^{i\theta }$形
積$z_1{z}_2$	展開てんかいが必要ひつよう	$r_1{r}_2{e}^{i({\theta }_1+{\theta }_2)}$
商$z_1/z_2$	共きょう役やく かけ算ざん	$\frac{r_1}{r_2}{e}^{i({\theta }_1-{\theta }_2)}$
$n$乗	展開てんかいが大変たいへん	$r^n{e}^{in\theta }$

「$e$ の肩かたに角かくが乗のる」 という直感ちょっかんが、 大学だいがくでの フーリエ解析フーリエかいせき・微分方程式びぶんほうていしき・量子力学りょうしりきがく の基本きほん言語げんごになります。

章しょう末まつまとめ

• 極形式きょくけいしき $z=r(\cos \theta +i\sin \theta )$
• 積つむ = 絶ぜっ対たい値ちかけ算ざん + 偏へん角かく足たし算ざん
• 中ちゅう心しん $\alpha$ の回転かいてん: $z^{\prime }-\alpha =(\cos \theta +i\sin \theta )(z-\alpha )$
• 三さん角かく形がたの形けい状じょう = $\frac{\gamma -\alpha }{\beta -\alpha }$ で判定はんてい
• 大学だいがくでは $z=r{e}^{i\theta }$ と書かいて一行いっこう計けい算さん へ