この 章 で 学ぶ こと
数学 II で 「2 次方程式 の 解 と し て の 複素数i」 を 導入 し ま し た。 数学 III で は そ れ を 平面上 の 点 と し て 扱 う 複素数平面 に 拡張 し、 図形 と 数 を 結 び つ け ま す。
- 複素数 の 絶対値 と 偏角
- 極形式 z=r(cosθ+isinθ)
- 複素数 の 積 と 商 は 回転・拡大
- ド・モアブルの定理 (cosθ+isinθ)n=cosnθ+isinnθ
- 1 の n乗根、 任意 の n乗根
- 図形 へ の 応用 (回転行列 と の つ な が り)
ポイント: 「数 と 図形 の 統一」 が こ の 章 の 主題。 複素数 の 掛 け 算 = 回転 と 拡大 と い う 発見 が、 後 の フーリエ解析・量子力学 ま で 続 く 大き な 流 れ を つ く り ま す。
1. 複素数平面 の 基本
定義
複素数z=a+bi (a,b は 実数、 i2=−1) を 平面上 の 点(a,b) と み な す。 こ の 平面 を 複素数平面 (ガウス 平面) と 呼 ぶ。
- 実軸 (x軸): b=0 の 点 (実数)
- 虚軸 (y軸): a=0 の 点 (純虚数)
共役 と 絶対値
| 用語 | 定義 |
|---|
| 共役 | zˉ=a−bi |
| **[[絶対値 | ぜったいち]]** |
| 偏角 | argz=θ (z=r(cosθ+isinθ)) |
| 性質 | 内容 |
|---|
| zzˉ | $= |
| $ | zw |
| $ | z + w |
例 1
z=1+i の とき ∣z∣=2、 argz=π/4、 zˉ=1−i。
2. 極形式
定義
複素数 を 長 さ r と 角θ で 表 す:
z=r(cosθ+isinθ)
- r=∣z∣ (原点 か ら の 距離)
- θ=argz (実軸 か ら の 角度)
例 2
z=−3+i の 極形式。
r=3+1=2、 θ=argz は 第 2 象限 で tanθ=−1/3、 よって θ=5π/6。
z=2(cos65π+isin65π)
3. 積 と 商 (回転 と 拡大)
重要 な 性質
z1=r1(cosθ1+isinθ1)、 z2=r2(cosθ2+isinθ2) の とき、
z1z2=r1r2{cos(θ1+θ2)+isin(θ1+θ2)}
z2z1=r2r1{cos(θ1−θ2)+isin(θ1−θ2)}
大事: 積 = 「絶対値 は 掛 け 算、 偏角 は 足 し 算」。 つ ま り 「z2 を 掛 け る こ と は 角θ2回転 し、 r2倍拡大 す る」 と い う 図形的 な 操作。
例 3 90° 回転
i を 掛 け る こ と は 90° 回転。 i=1⋅(cos2π+isin2π) よ り、 ∣i∣=1、 argi=π/2。
z⋅i は z を 原点中心 に 90° 回転 さ せ た 点。
例 4 60° 回転
点z=2+i を 原点中心 に 60° 回転 す る:
w=z⋅(cos60°+isin60°)=(2+i)(21+23i)
展開 し て w=(1−23)+(3+21)i。
応用: 図形 の 回転 が 複素数 の 掛 け 算 で 書 け る。 後 で 学 ぶ 回転行列 ((cosθsinθ−sinθcosθ)) と 同値。
4. ド ・ モアブル の 定理
定理
任意 の 整数n に 対 し、
(cosθ+isinθ)n=cosnθ+isinnθ
「n乗 す る と 角 が n倍」 と い う シ ン プ ル な 法則。
例 5
(21+i)8 を 求 め よ。 21+i=cos4π+isin4π。 ド・モアブルの定理 よ り、
=cos(8⋅π/4)+isin(8⋅π/4)=cos2π+isin2π=1
三角関数 の 多倍角公式 の 導出
(cosθ+isinθ)3 を 2 通 り に 計算:
ド・モアブルの定理: cos3θ+isin3θ。
2 項展開: cos3θ+3icos2θsinθ−3cosθsin2θ−isin3θ。
実部・虚部 を 比較 し て:
cos3θ=cos3θ−3cosθsin2θ=4cos3θ−3cosθ
sin3θ=3cos2θsinθ−sin3θ=3sinθ−4sin3θ
数学 II の 3倍角の公式 が 複素数 で 統一的 に 導 け ま し た。
5. 1 の n 乗根
定義
zn=1 の 解 を 1 の n乗根 と 呼 ぶ。
公式
z=cosθ+isinθ、 ド・モアブルの定理 よ り cosnθ+isinnθ=1、 つ ま り nθ=2kπ (k=0,1,…,n−1)。
zk=cosn2kπ+isinn2kπ(k=0,1,…,n−1)
幾何的意味: 半径 1 の 円上 に n等分 さ れ た 点。 例: 1 の 3 乗根 は 正三角形 の 頂点。
例 6 1 の 3 乗根
z3=1 の 解 は、
z0=1,z1=−21+23i,z2=−21−23i
3 点 を 結 ぶ と 原点中心・半径 1 の 円 に 内接 す る 正三角形。
例 7 任意 の n 乗根
z4=16 の 解。 16=16(cos0+isin0)、 ∣z∣=161/4=2、
zk=2(cos42kπ+isin42kπ)=2, 2i, −2, −2i
6. 図形 への 応用
3 点 で の 回転
複素数平面上 で、 点α を 中心 と し て 角θ回転 し、 β を γ に 移 す と:
γ−α=(β−α)(cosθ+isinθ)
覚え 方: 「中心 か ら の ベ ク ト ル に 回転 を 掛 け る」。
例 8 正三角形 の 条件
3 点α,β,γ が 正三角形 を 成 す 必要十分条件:
α+ωβ+ω2γ=0ま た は その 並 び 替 え
(ω は 1 の 原始 3 乗根。)
7. 章末 まとめ
| 概念 | キー ポイント |
|---|
| [[複素数平面 | ふくそすうへいめん]] |
| 極形式 | z=r(cosθ+isinθ) |
| 積・商 | [[絶対値 |
| [[ド・モアブルの定理 | ド・モアブルのていり]] |
| 1 の n乗根 | 単位円上 の n等分点 |
| 回転 | 中心α、 角θ: γ−α=(β−α)eiθ |
次 の 章 へ: 数学 III の 最終章 で は、 曲線 を 媒介変数 や 極座標 で 表 す 方法 を 学 び ま す。 サイクロイド・カージオイド な ど、 こ れ ま で の xy 座標 で は か き に く い 曲線 が 一気 に 扱 え る よ う に な り ま す。