この 章 で 学ぶ こと
第 8 章 で 「複素数 の 乗法 = 回転 + 拡大」 と 学 び ま し た。 そ の 計算上 の 道具 が 本章 の 極形式 で す。 直交形a+bi で は 隠 れ て し ま う 「角」 と 「大 き さ」 を 表 に 出 し、 図形問題 が 暗算級 に 速 く な り ま す。
- 極形式r(cosθ+isinθ) の 表 し 方
- 直交形 ↔ 極形式 の 変換
- 回転公式 と 三角形 の 形状判別
- 中心 が 原点 で な い 回転・相似移動
- 図形問題 へ の 応用例題
覚 え 方: 極形式 は 「偏角 と 絶対値 を 言語 に し た 表記法」。 直交形a+bi が 「番地」 な ら、 極形式r(cosθ+isinθ) は 「方角 と 距離」。 回転 や 相似 を 扱 う 図形問題 で は、 極形式 が 圧倒的 に 速 い で す。
1. 極形式 の 復習 と 公式
直交形 から 極形式 へ
z=a+bi (z=0) は
z=r(cosθ+isinθ)
の 形 に 一意 (周期 を 除 く) に 表 せ ま す。 r=∣z∣=a2+b2、 θ=argz。
例題 1
z=−1+i を 極形式 で。
解: ∣z∣=1+1=2。 z は 第 2 象限 (a<0,b>0)、 tanθ=−1 よ り θ=3π/4。
z=2(cos43π+isin43π)
例題 2
z=−2 を 極形式 で。
解: ∣z∣=2, argz=π (x軸 の 負 の 方向)。 z=2(cosπ+isinπ)。
2. 乗法・除法 の 公式
公式
z1=r1(cosθ1+isinθ1), z2=r2(cosθ2+isinθ2) (z2=0) に 対 し
z1z2=r1r2{cos(θ1+θ2)+isin(θ1+θ2)}
z2z1=r2r1{cos(θ1−θ2)+isin(θ1−θ2)}
大事 な 結論
| 演算 | 絶対値 | 偏角 |
|---|
| 積 | か け 算 | 足 し 算 |
| 商 | 割 り 算 | 引 き 算 |
例題 3
z1=2(cos30°+isin30°), z2=3(cos60°+isin60°) の 積 と 商 を 求 め よ。
解:
z1z2=6(cos90°+isin90°)=6i
z2z1=32(cos(−30°)+isin(−30°))=32(23−21i)=33−31i
3. 中心 が 原点 で ない 回転
公式
複素数α を 中心 と し て、 z を 角θ だ け 回転 し た 点z′ は
z′−α=(cosθ+isinθ)(z−α)
つ ま り 「中心α を 原点 に 移 し て」 (差z−α) → 「回転」 (× cos+isin) → 「中心 を 戻 す」 (+ α) の 3 ス テ ッ プ で す。
例題 4
点z=4+3i を、 中心α=1+i の 周 り に 90°回転 せ よ。
解: z−α=3+2i。 cos90°+isin90°=i を か け る:
i(3+2i)=3i−2=−2+3i
中心 を 戻 し て z′=−2+3i+(1+i)=−1+4i。
4. 相似 を 表す 一般公式
公式
中心α、 拡大率r、 角θ の 相似変換 で 点z が 移 る 先 は
z′=α+r(cosθ+isinθ)(z−α)
特 に r=1 で 純粋 な 回転、 θ=0 で 純粋 な 拡大・縮小。
例題 5
中心0、 角60°、 拡大率2 で z=1 が 移 る 先 を 求 め よ。
解: z′=2(cos60°+isin60°)⋅1=1+3i。
5. 三角形 の 形状判別
3 点 が なす 三角形
3 つ の 複素数α,β,γ を 頂点 と す る 三角形 を 考 え ま す。 α か ら β へ の ベクトル を 「単位」 と し て、 α か ら γ へ の ベクトル を 表 す と
β−αγ−α=k
k の 性質 か ら 三角形 の 形状 が 決 ま り ま す。
形状表
| k の 値 | 三角形 の 形 |
|---|
| k が 実数 | 3 点 が 一直線上 |
| k が 純虚数 | α で 直角 |
| ∣k∣=1,k=±1 | α を 頂点 と す る 二等辺三角形 |
| k=21±23i | 正三角形 (α で 60°、 等辺) |
例題 6
α=0, β=1, γ=21+23i は ど の よ う な 三角形 か。
解: k=(γ−α)/(β−α)=21+23i。 表 に 該当 し て 正三角形。
6. 直線・円 の 方程式
直線
複素数平面上 で、 異 な る 2 点α,β を 通 る 直線上 の 点z は
β−αz−α が 実 数
を 満 た し ま す。
円
中心α、 半径r の 円上 の 点z は ∣z−α∣=r。 ま た は 同値 に
(z−α)(z−α)=r2
例題 7
∣z−1∣=∣z+i∣ は ど の よ う な 図形 か。
解: 2 点1 と −i か ら 等距離 な 点、 す な わ ち 2 点 を 結 ぶ 線分 の 垂直二等分線。
7. 図形問題 へ の 応用 (実例)
例題 8: 正多角形 の 頂点
正n角形 の 頂点 は、 中心 か ら の 距離 が 等 し く、 隣同士 の 角 が 2π/n。 中心0、 半径1 の 正 6 角形 の 頂点 を 求 め よ。
解: zk=cos62πk+isin62πk (k=0,1,…,5)。
| k | 頂点 |
|---|
| 0 | 1 |
| 1 | 21+23i |
| 2 | −21+23i |
| 3 | −1 |
| 4 | −21−23i |
| 5 | 21−23i |
(第 10 章 の n乗根 と 直結 す る 視点 で す)
例題 9: 直角二等辺三角形
3 点α=0, β=2, γ=? で β を 直角 と す る 直角二等辺三角形 に な る γ を 1 つ 求 め よ。
解: β を 中心 に 90°回転、 α → γ。 γ−β=i(α−β)=i(−2)=−2i。 γ=2−2i。
8. 極形式 の 強さ — 大学数学 へ
極形式 は オイラーの公式 eiθ=cosθ+isinθ (テイラー展開 か ら 導出、 大学 1 年) を 使 う と
z=reiθ
と 1 文字 で 書 け ま す。 こ れ に よ り
| 演算 | 直交形 | reiθ形 |
|---|
| 積z1z2 | 展開 が 必要 | r1r2ei(θ1+θ2) |
| 商z1/z2 | 共役 か け 算 | r2r1ei(θ1−θ2) |
| n乗 | 展開 が 大変 | rneinθ |
「e の 肩 に 角 が 乗 る」 と い う 直感 が、 大学 で の フーリエ解析・微分方程式・量子力学 の 基本言語 に な り ま す。
章末 まとめ
- 極形式z=r(cosθ+isinθ)
- 積 = 絶対値 か け 算 + 偏角足 し 算
- 中心α の 回転: z′−α=(cosθ+isinθ)(z−α)
- 三角形 の 形状 = β−αγ−α で 判定
- 大学 で は z=reiθ と 書 い て 一行計算 へ