みんなの教科書GitHub

数学C 複素数平面

答えと解説

答えが合っていても、解説を読んで「なぜそう解くのか」まで確認すると力がつきます。 解説を読んでもわからないときは、AIに質問してみましょう。

1基本

z=3+4iz = 3 + 4i のとき、次の値を求めよ。
(1) z\overline{z}
(2) z+zz + \overline{z}zzz\overline{z}
(3) z|z|

答え

(1) 34i3 - 4i
(2) z+z=6z + \overline{z} = 6zz=25z\overline{z} = 25
(3) z=5|z| = 5

解説

(1) 共役複素数は虚部の符号を変えたものなので

z=34i\overline{z} = 3 - 4i

(2) 和は虚部が打ち消し合って

z+z=(3+4i)+(34i)=6z + \overline{z} = (3 + 4i) + (3 - 4i) = 6

積は和と差の積の形なので

zz=(3+4i)(34i)=916i2=9+16=25z\overline{z} = (3 + 4i)(3 - 4i) = 9 - 16i^2 = 9 + 16 = 25

(3) 定義どおり計算して

z=32+42=25=5|z| = \sqrt{3^2 + 4^2} = \sqrt{25} = 5

(2) と (3) を見比べると zz=25=z2z\overline{z} = 25 = |z|^2 になっています。zz=z2z\overline{z} = |z|^2 はこの章で最もよく使う関係式なので、必ず身につけましょう。

ChatGPTで質問Claudeで質問Geminiで質問
2基本

次の複素数を極形式で表せ。ただし偏角 θ\theta0θ<2π0 \le \theta < 2\pi とする。
(1) 1+i1 + i
(2) 3+i-\sqrt{3} + i

答え

(1) 2(cosπ4+isinπ4)\sqrt{2}\left(\cos\dfrac{\pi}{4} + i\sin\dfrac{\pi}{4}\right)
(2) 2(cos5π6+isin5π6)2\left(\cos\dfrac{5\pi}{6} + i\sin\dfrac{5\pi}{6}\right)

解説

極形式は「絶対値 rr を求める → cosθ\cos\thetasinθ\sin\theta の両方が合う偏角 θ\theta を探す」の2段階です。

(1) 絶対値は

r=12+12=2r = \sqrt{1^2 + 1^2} = \sqrt{2}

cosθ=12\cos\theta = \dfrac{1}{\sqrt{2}}sinθ=12\sin\theta = \dfrac{1}{\sqrt{2}} より θ=π4\theta = \dfrac{\pi}{4}。よって

1+i=2(cosπ4+isinπ4)1 + i = \sqrt{2}\left(\cos\frac{\pi}{4} + i\sin\frac{\pi}{4}\right)

(2) 絶対値は

r=(3)2+12=4=2r = \sqrt{(-\sqrt{3})^2 + 1^2} = \sqrt{4} = 2

cosθ=32\cos\theta = -\dfrac{\sqrt{3}}{2}sinθ=12\sin\theta = \dfrac{1}{2} より、第2象限の角で θ=5π6\theta = \dfrac{5\pi}{6}。よって

3+i=2(cos5π6+isin5π6)-\sqrt{3} + i = 2\left(\cos\frac{5\pi}{6} + i\sin\frac{5\pi}{6}\right)

偏角は点がどの象限にあるかを図で確認してから決めると、符号ミスを防げます。

ChatGPTで質問Claudeで質問Geminiで質問
3基本

z1=2(cosπ3+isinπ3)z_1 = 2\left(\cos\dfrac{\pi}{3} + i\sin\dfrac{\pi}{3}\right)z2=3(cosπ6+isinπ6)z_2 = 3\left(\cos\dfrac{\pi}{6} + i\sin\dfrac{\pi}{6}\right) のとき、z1z2z_1 z_2z1z2\dfrac{z_1}{z_2}a+bia + bi の形で求めよ。

答え

z1z2=6iz_1 z_2 = 6iz1z2=3+i3\dfrac{z_1}{z_2} = \dfrac{\sqrt{3} + i}{3}

解説

積は「絶対値は積、偏角は和」です。

z1z2=2×3{cos(π3+π6)+isin(π3+π6)}=6(cosπ2+isinπ2)z_1 z_2 = 2 \times 3\left\{\cos\left(\frac{\pi}{3} + \frac{\pi}{6}\right) + i\sin\left(\frac{\pi}{3} + \frac{\pi}{6}\right)\right\} = 6\left(\cos\frac{\pi}{2} + i\sin\frac{\pi}{2}\right)

cosπ2=0\cos\dfrac{\pi}{2} = 0sinπ2=1\sin\dfrac{\pi}{2} = 1 なので

z1z2=6iz_1 z_2 = 6i

商は「絶対値は商、偏角は差」です。

z1z2=23{cos(π3π6)+isin(π3π6)}=23(cosπ6+isinπ6)\frac{z_1}{z_2} = \frac{2}{3}\left\{\cos\left(\frac{\pi}{3} - \frac{\pi}{6}\right) + i\sin\left(\frac{\pi}{3} - \frac{\pi}{6}\right)\right\} = \frac{2}{3}\left(\cos\frac{\pi}{6} + i\sin\frac{\pi}{6}\right)

cosπ6=32\cos\dfrac{\pi}{6} = \dfrac{\sqrt{3}}{2}sinπ6=12\sin\dfrac{\pi}{6} = \dfrac{1}{2} を代入して

z1z2=23(32+12i)=3+i3\frac{z_1}{z_2} = \frac{2}{3}\left(\frac{\sqrt{3}}{2} + \frac{1}{2}i\right) = \frac{\sqrt{3} + i}{3}

展開して掛けるより、極形式のまま偏角を足し引きする方が圧倒的に速く正確です。

ChatGPTで質問Claudeで質問Geminiで質問
4基本

次の値を求めよ。
(1) (cosπ12+isinπ12)6\left(\cos\dfrac{\pi}{12} + i\sin\dfrac{\pi}{12}\right)^6
(2) (cosπ6+isinπ6)3\left(\cos\dfrac{\pi}{6} + i\sin\dfrac{\pi}{6}\right)^{-3}

答え

(1) ii
(2) i-i

解説

どちらもド・モアブルの定理 (cosθ+isinθ)n=cosnθ+isinnθ(\cos\theta + i\sin\theta)^n = \cos n\theta + i\sin n\theta を使います。

(1) 偏角を 66 倍して

(cosπ12+isinπ12)6=cos6π12+isin6π12=cosπ2+isinπ2=i\left(\cos\frac{\pi}{12} + i\sin\frac{\pi}{12}\right)^6 = \cos\frac{6\pi}{12} + i\sin\frac{6\pi}{12} = \cos\frac{\pi}{2} + i\sin\frac{\pi}{2} = i

(2) ド・モアブルの定理は負の整数でも成り立つので、偏角を 3-3 倍して

(cosπ6+isinπ6)3=cos(π2)+isin(π2)\left(\cos\frac{\pi}{6} + i\sin\frac{\pi}{6}\right)^{-3} = \cos\left(-\frac{\pi}{2}\right) + i\sin\left(-\frac{\pi}{2}\right)

cos(π2)=0\cos\left(-\dfrac{\pi}{2}\right) = 0sin(π2)=1\sin\left(-\dfrac{\pi}{2}\right) = -1 なので、答えは i-i です。

指数が負のときは「逆数をとってから正の指数で計算する」と考えてもかまいませんが、偏角に指数をそのまま掛けてよいと知っていれば一発です。

ChatGPTで質問Claudeで質問Geminiで質問
5基本

2点 A(1+2i)\mathrm{A}(1 + 2i)B(42i)\mathrm{B}(4 - 2i) について、次を求めよ。
(1) 距離 AB\mathrm{AB}
(2) 線分 AB\mathrm{AB} の中点を表す複素数

答え

(1) AB=5\mathrm{AB} = 5
(2) 52\dfrac{5}{2}

解説

α=1+2i\alpha = 1 + 2iβ=42i\beta = 4 - 2i とします。

(1) 距離は差の絶対値です。

βα=(42i)(1+2i)=34i\beta - \alpha = (4 - 2i) - (1 + 2i) = 3 - 4i
AB=βα=32+(4)2=25=5\mathrm{AB} = |\beta - \alpha| = \sqrt{3^2 + (-4)^2} = \sqrt{25} = 5

(2) 中点は 1:11:1 の内分点なので

α+β2=(1+2i)+(42i)2=52\frac{\alpha + \beta}{2} = \frac{(1 + 2i) + (4 - 2i)}{2} = \frac{5}{2}

虚部が打ち消し合って実数になりました。これは中点が実軸上にあるということです。答えが実数や純虚数になったときは「実軸上・虚軸上の点だ」と図形的に確認する習慣をつけましょう。

ChatGPTで質問Claudeで質問Geminiで質問
6標準

次の値を求めよ。
(1) (1+3i)6(1 + \sqrt{3}\,i)^6
(2) (1i)10(1 - i)^{10}

答え

(1) 6464
(2) 32i-32i

解説

高次の累乗は、極形式に直してド・モアブルの定理を使うのが定石です。

(1) 1+3i=1+3=2|1 + \sqrt{3}\,i| = \sqrt{1 + 3} = 2cosθ=12\cos\theta = \dfrac{1}{2}sinθ=32\sin\theta = \dfrac{\sqrt{3}}{2} より偏角は π3\dfrac{\pi}{3} なので

1+3i=2(cosπ3+isinπ3)1 + \sqrt{3}\,i = 2\left(\cos\frac{\pi}{3} + i\sin\frac{\pi}{3}\right)

ド・モアブルの定理より

(1+3i)6=26(cos6π3+isin6π3)=64(cos2π+isin2π)=64(1 + \sqrt{3}\,i)^6 = 2^6\left(\cos\frac{6\pi}{3} + i\sin\frac{6\pi}{3}\right) = 64(\cos 2\pi + i\sin 2\pi) = 64

(2) 1i=2|1 - i| = \sqrt{2}、偏角は π4-\dfrac{\pi}{4} なので

1i=2{cos(π4)+isin(π4)}1 - i = \sqrt{2}\left\{\cos\left(-\frac{\pi}{4}\right) + i\sin\left(-\frac{\pi}{4}\right)\right\}
(1i)10=(2)10{cos(10π4)+isin(10π4)}=32{cos(5π2)+isin(5π2)}(1 - i)^{10} = (\sqrt{2})^{10}\left\{\cos\left(-\frac{10\pi}{4}\right) + i\sin\left(-\frac{10\pi}{4}\right)\right\} = 32\left\{\cos\left(-\frac{5\pi}{2}\right) + i\sin\left(-\frac{5\pi}{2}\right)\right\}

5π2=π22π-\dfrac{5\pi}{2} = -\dfrac{\pi}{2} - 2\pi なので cos(5π2)=0\cos\left(-\dfrac{5\pi}{2}\right) = 0sin(5π2)=1\sin\left(-\dfrac{5\pi}{2}\right) = -1。よって

(1i)10=32i(1 - i)^{10} = -32i

検算として、(1i)2=12i+i2=2i(1-i)^2 = 1 - 2i + i^2 = -2i から (1i)10=(2i)5=32i5=32i(1-i)^{10} = (-2i)^5 = -32i^5 = -32i と求めることもできます。2通りで一致すれば安心です。

ChatGPTで質問Claudeで質問Geminiで質問
7標準

方程式 z3=8iz^3 = 8i を解け。

答え

z=3+i, 3+i, 2iz = \sqrt{3} + i, \ -\sqrt{3} + i, \ -2i

解説

両辺を極形式で表して、絶対値と偏角を比較します。まず右辺は

8i=8(cosπ2+isinπ2)8i = 8\left(\cos\frac{\pi}{2} + i\sin\frac{\pi}{2}\right)

z=r(cosθ+isinθ)z = r(\cos\theta + i\sin\theta)(r>0r > 00θ<2π0 \le \theta < 2\pi)とおくと、ド・モアブルの定理より

z3=r3(cos3θ+isin3θ)z^3 = r^3(\cos 3\theta + i\sin 3\theta)

絶対値を比較して r3=8r^3 = 8r>0r > 0 だから r=2r = 2

偏角を比較して 3θ=π2+2kπ3\theta = \dfrac{\pi}{2} + 2k\pi(kk は整数)、すなわち

θ=π6+2kπ3\theta = \frac{\pi}{6} + \frac{2k\pi}{3}

0θ<2π0 \le \theta < 2\pi の範囲では k=0, 1, 2k = 0,\ 1,\ 2θ=π6, 5π6, 3π2\theta = \dfrac{\pi}{6},\ \dfrac{5\pi}{6},\ \dfrac{3\pi}{2}。それぞれ代入すると

z=2(cosπ6+isinπ6)=3+iz = 2\left(\cos\frac{\pi}{6} + i\sin\frac{\pi}{6}\right) = \sqrt{3} + i
z=2(cos5π6+isin5π6)=3+iz = 2\left(\cos\frac{5\pi}{6} + i\sin\frac{5\pi}{6}\right) = -\sqrt{3} + i
z=2(cos3π2+isin3π2)=2iz = 2\left(\cos\frac{3\pi}{2} + i\sin\frac{3\pi}{2}\right) = -2i

偏角の比較で +2kπ+2k\pi を忘れると解が1つしか出ません。nn 乗の方程式の解は nn 個(半径 22 の円周上の正三角形の頂点)あるはずだ、と個数で検算しましょう。

ChatGPTで質問Claudeで質問Geminiで質問
8標準

等式 z1=2z+2|z - 1| = 2|z + 2| を満たす点 zz 全体は、どのような図形を描くか。

答え

3-3 を中心とする半径 22 の円

解説

両辺とも 00 以上なので2乗して、w2=ww|w|^2 = w\overline{w} を使います。

(z1)(z1)=4(z+2)(z+2)(z - 1)(\overline{z} - 1) = 4(z + 2)(\overline{z} + 2)

左辺を展開すると

zzzz+1z\overline{z} - z - \overline{z} + 1

右辺を展開すると

4(zz+2z+2z+4)=4zz+8z+8z+164(z\overline{z} + 2z + 2\overline{z} + 4) = 4z\overline{z} + 8z + 8\overline{z} + 16

すべて右辺に移項して整理すると

0=3zz+9z+9z+150 = 3z\overline{z} + 9z + 9\overline{z} + 15

両辺を 33 で割って

zz+3z+3z+5=0z\overline{z} + 3z + 3\overline{z} + 5 = 0

左辺を (z+3)(z+3)=zz+3z+3z+9(z + 3)(\overline{z} + 3) = z\overline{z} + 3z + 3\overline{z} + 9 と見比べると

(z+3)(z+3)=4(z + 3)(\overline{z} + 3) = 4

すなわち z+32=4|z + 3|^2 = 4 なので

z+3=2|z + 3| = 2

よって、点 3-3 を中心とする半径 22 の円を描きます。

このように「2定点からの距離の比が一定(11 以外)の点の軌跡」は円になります(アポロニウスの円)。検算には、実軸上の z=1z = -1z=5z = -5 を元の式に代入して成り立つことを確かめるとよいでしょう。

ChatGPTで質問Claudeで質問Geminiで質問
9標準

z=2+iz = 2 + i を、原点のまわりに次の角だけ回転した点を表す複素数を求めよ。
(1) π2\dfrac{\pi}{2}
(2) π3\dfrac{\pi}{3}

答え

(1) 1+2i-1 + 2i
(2) 232+1+232i\dfrac{2 - \sqrt{3}}{2} + \dfrac{1 + 2\sqrt{3}}{2}i

解説

原点のまわりの角 θ\theta の回転は、cosθ+isinθ\cos\theta + i\sin\theta を掛ける操作です。

(1) π2\dfrac{\pi}{2} の回転は ii を掛けることなので

(2+i)×i=2i+i2=1+2i(2 + i) \times i = 2i + i^2 = -1 + 2i

(2) cosπ3+isinπ3=12+32i\cos\dfrac{\pi}{3} + i\sin\dfrac{\pi}{3} = \dfrac{1}{2} + \dfrac{\sqrt{3}}{2}i を掛けます。

(12+32i)(2+i)=1+12i+3i+32i2\left(\frac{1}{2} + \frac{\sqrt{3}}{2}i\right)(2 + i) = 1 + \frac{1}{2}i + \sqrt{3}\,i + \frac{\sqrt{3}}{2}i^2

i2=1i^2 = -1 に注意して実部と虚部をまとめると

(132)+(12+3)i=232+1+232i\left(1 - \frac{\sqrt{3}}{2}\right) + \left(\frac{1}{2} + \sqrt{3}\right)i = \frac{2 - \sqrt{3}}{2} + \frac{1 + 2\sqrt{3}}{2}i

回転しても原点からの距離は変わらないはずです。実際、(1) の答えの絶対値は 1+4=5\sqrt{1 + 4} = \sqrt{5} で、もとの 2+i=5|2 + i| = \sqrt{5} と一致します。この検算はどの回転の問題でも使えます。

ChatGPTで質問Claudeで質問Geminiで質問
10標準

3点 A(2+i)\mathrm{A}(2 + i)B(4+5i)\mathrm{B}(4 + 5i)C(3i)\mathrm{C}(-3i) について、次の点を表す複素数を求めよ。
(1) 線分 AB\mathrm{AB}1:31:3 に内分する点
(2) 線分 AB\mathrm{AB}3:13:1 に外分する点
(3) 三角形 ABC\mathrm{ABC} の重心

答え

(1) 52+2i\dfrac{5}{2} + 2i
(2) 5+7i5 + 7i
(3) 2+i2 + i

解説

α=2+i\alpha = 2 + iβ=4+5i\beta = 4 + 5iγ=3i\gamma = -3i とします。

(1) m:n=1:3m:n = 1:3 の内分点の公式 nα+mβm+n\dfrac{n\alpha + m\beta}{m + n} に代入して

3α+β4=3(2+i)+(4+5i)4=(6+3i)+(4+5i)4=10+8i4=52+2i\frac{3\alpha + \beta}{4} = \frac{3(2 + i) + (4 + 5i)}{4} = \frac{(6 + 3i) + (4 + 5i)}{4} = \frac{10 + 8i}{4} = \frac{5}{2} + 2i

(2) m:n=3:1m:n = 3:1 の外分点の公式 nα+mβmn\dfrac{-n\alpha + m\beta}{m - n} に代入して

α+3β2=(2+i)+3(4+5i)2=2i+12+15i2=10+14i2=5+7i\frac{-\alpha + 3\beta}{2} = \frac{-(2 + i) + 3(4 + 5i)}{2} = \frac{-2 - i + 12 + 15i}{2} = \frac{10 + 14i}{2} = 5 + 7i

(3) 重心は3頂点の平均なので

α+β+γ3=(2+i)+(4+5i)+(3i)3=6+3i3=2+i\frac{\alpha + \beta + \gamma}{3} = \frac{(2 + i) + (4 + 5i) + (-3i)}{3} = \frac{6 + 3i}{3} = 2 + i

内分と外分で公式の形が似ているので、外分は「nnn-n に変えた内分」と覚えると混乱しません。(1) は A\mathrm{A} 寄りの点になるはず(1:31:3 なので A\mathrm{A} に近い)という位置感覚でも確認できます。

ChatGPTで質問Claudeで質問Geminiで質問
11標準

3点 A(1+i)\mathrm{A}(1 + i)B(2+3i)\mathrm{B}(2 + 3i)C(1+2i)\mathrm{C}(-1 + 2i) を頂点とする三角形 ABC\mathrm{ABC} はどのような三角形か。

答え

A=π2\angle \mathrm{A} = \dfrac{\pi}{2}AB=AC\mathrm{AB} = \mathrm{AC} の直角二等辺三角形

解説

頂点 A\mathrm{A} を基準にして、γαβα\dfrac{\gamma - \alpha}{\beta - \alpha} を計算します。この複素数の偏角が A\angle\mathrm{A}、絶対値が辺の比 ACAB\dfrac{\mathrm{AC}}{\mathrm{AB}} を表します。

βα=(2+3i)(1+i)=1+2i\beta - \alpha = (2 + 3i) - (1 + i) = 1 + 2i
γα=(1+2i)(1+i)=2+i\gamma - \alpha = (-1 + 2i) - (1 + i) = -2 + i

よって

γαβα=2+i1+2i\frac{\gamma - \alpha}{\beta - \alpha} = \frac{-2 + i}{1 + 2i}

分母の共役 12i1 - 2i を分母分子に掛けて

(2+i)(12i)(1+2i)(12i)=2+4i+i2i21+4=5i5=i\frac{(-2 + i)(1 - 2i)}{(1 + 2i)(1 - 2i)} = \frac{-2 + 4i + i - 2i^2}{1 + 4} = \frac{5i}{5} = i

i=cosπ2+isinπ2i = \cos\dfrac{\pi}{2} + i\sin\dfrac{\pi}{2} なので、絶対値と偏角を読み取ると

ACAB=i=1,A=argi=π2\frac{\mathrm{AC}}{\mathrm{AB}} = |i| = 1, \quad \angle\mathrm{A} = \arg i = \frac{\pi}{2}

つまり AB=AC\mathrm{AB} = \mathrm{AC} かつ A=π2\angle\mathrm{A} = \dfrac{\pi}{2} なので、三角形 ABC\mathrm{ABC}A\angle\mathrm{A} を直角とする直角二等辺三角形です。

「差の商をつくって絶対値と偏角を読む」のが三角形の形状決定の定石です。結果が実数なら3点は一直線上、純虚数なら直角、とすぐ判断できるようにしておきましょう。

ChatGPTで質問Claudeで質問Geminiで質問
12発展

zz が円 z1=1|z - 1| = 1 上を動くとき(z0z \ne 0)、w=1zw = \dfrac{1}{z} で表される点 ww はどのような図形を描くか。

答え

2点 0011 を結ぶ線分の垂直二等分線(直線 x=12x = \dfrac{1}{2})

解説

変換の問題は「zzww で表して、zz の条件式に代入する」のが定石です。

w=1zw = \dfrac{1}{z} かつ z0z \ne 0 より w0w \ne 0 で、

z=1wz = \frac{1}{w}

これを条件 z1=1|z - 1| = 1 に代入すると

1w1=1\left|\frac{1}{w} - 1\right| = 1

左辺を通分して

1ww=1\left|\frac{1 - w}{w}\right| = 1

絶対値の商の性質 αβ=αβ\left|\dfrac{\alpha}{\beta}\right| = \dfrac{|\alpha|}{|\beta|} より

1ww=1\frac{|1 - w|}{|w|} = 1

すなわち

w1=w|w - 1| = |w|

これは「点 11 からの距離と点 00 からの距離が等しい点」の条件なので、ww は2点 0011 を結ぶ線分の垂直二等分線を描きます。w=x+yiw = x + yi とおけば、w1=w|w - 1| = |w| から

(x1)2+y2=x2+y2(x - 1)^2 + y^2 = x^2 + y^2
2x+1=0-2x + 1 = 0

となり、直線 x=12x = \dfrac{1}{2} であることも確かめられます。

もとの円 z1=1|z - 1| = 1 は原点を通る円で、除外点 z=0z = 0 がちょうど ww の分母を 00 にする点です。「原点を通る円は、w=1zw = \dfrac{1}{z} で直線にうつる」という結果は覚えておく価値があります。

ChatGPTで質問Claudeで質問Geminiで質問
13発展

2点 A(1+i)\mathrm{A}(1 + i)B(3+2i)\mathrm{B}(3 + 2i) に対して、三角形 ABC\mathrm{ABC} が正三角形になるような点 C(γ)\mathrm{C}(\gamma) をすべて求めよ。

答え

γ=432+3+232i,4+32+3232i\gamma = \dfrac{4 - \sqrt{3}}{2} + \dfrac{3 + 2\sqrt{3}}{2}i, \quad \dfrac{4 + \sqrt{3}}{2} + \dfrac{3 - 2\sqrt{3}}{2}i

解説

正三角形になるのは、点 B\mathrm{B} を点 A\mathrm{A} のまわりに π3\dfrac{\pi}{3} または π3-\dfrac{\pi}{3} だけ回転した点が C\mathrm{C} になるときです。回転の公式

γ=α+(βα)(cosθ+isinθ)\gamma = \alpha + (\beta - \alpha)(\cos\theta + i\sin\theta)

を使います。まず

βα=(3+2i)(1+i)=2+i\beta - \alpha = (3 + 2i) - (1 + i) = 2 + i

【場合1】 θ=π3\theta = \dfrac{\pi}{3} のとき

(2+i)(12+32i)=1+3i+12i+32i2=(132)+(3+12)i(2 + i)\left(\frac{1}{2} + \frac{\sqrt{3}}{2}i\right) = 1 + \sqrt{3}\,i + \frac{1}{2}i + \frac{\sqrt{3}}{2}i^2 = \left(1 - \frac{\sqrt{3}}{2}\right) + \left(\sqrt{3} + \frac{1}{2}\right)i

よって

γ=(1+i)+232+23+12i=432+3+232i\gamma = (1 + i) + \frac{2 - \sqrt{3}}{2} + \frac{2\sqrt{3} + 1}{2}i = \frac{4 - \sqrt{3}}{2} + \frac{3 + 2\sqrt{3}}{2}i

【場合2】 θ=π3\theta = -\dfrac{\pi}{3} のとき

(2+i)(1232i)=13i+12i32i2=(1+32)+(123)i(2 + i)\left(\frac{1}{2} - \frac{\sqrt{3}}{2}i\right) = 1 - \sqrt{3}\,i + \frac{1}{2}i - \frac{\sqrt{3}}{2}i^2 = \left(1 + \frac{\sqrt{3}}{2}\right) + \left(\frac{1}{2} - \sqrt{3}\right)i

よって

γ=(1+i)+2+32+1232i=4+32+3232i\gamma = (1 + i) + \frac{2 + \sqrt{3}}{2} + \frac{1 - 2\sqrt{3}}{2}i = \frac{4 + \sqrt{3}}{2} + \frac{3 - 2\sqrt{3}}{2}i

回転で作った点なので AC=AB\mathrm{AC} = \mathrm{AB}、なす角 π3\dfrac{\pi}{3} が自動的に保証され、正三角形になります。C\mathrm{C} は直線 AB\mathrm{AB} の両側に1つずつ、計2つあることを忘れないようにしましょう(片方だけ答えるのが典型的なミスです)。

ChatGPTで質問Claudeで質問Geminiで質問
14発展

z=cos2π5+isin2π5z = \cos\dfrac{2\pi}{5} + i\sin\dfrac{2\pi}{5} とする。
(1) z4+z3+z2+z+1=0z^4 + z^3 + z^2 + z + 1 = 0 を示せ。
(2) t=z+1zt = z + \dfrac{1}{z} の値を求め、cos2π5\cos\dfrac{2\pi}{5} の値を求めよ。

答え

(1) 略(解説参照)
(2) t=1+52t = \dfrac{-1 + \sqrt{5}}{2}cos2π5=1+54\cos\dfrac{2\pi}{5} = \dfrac{-1 + \sqrt{5}}{4}

解説

(1) ド・モアブルの定理より

z5=cos10π5+isin10π5=cos2π+isin2π=1z^5 = \cos\frac{10\pi}{5} + i\sin\frac{10\pi}{5} = \cos 2\pi + i\sin 2\pi = 1

よって z51=0z^5 - 1 = 0。左辺を因数分解すると

(z1)(z4+z3+z2+z+1)=0(z - 1)(z^4 + z^3 + z^2 + z + 1) = 0

ここで z=cos2π5+isin2π51z = \cos\dfrac{2\pi}{5} + i\sin\dfrac{2\pi}{5} \ne 1 なので z10z - 1 \ne 0。したがって

z4+z3+z2+z+1=0z^4 + z^3 + z^2 + z + 1 = 0

(2) (1) の等式の両辺を z2z^2(0\ne 0)で割ります。

z2+z+1+1z+1z2=0z^2 + z + 1 + \frac{1}{z} + \frac{1}{z^2} = 0

t=z+1zt = z + \dfrac{1}{z} とおくと、対称式の関係から

z2+1z2=(z+1z)22=t22z^2 + \frac{1}{z^2} = \left(z + \frac{1}{z}\right)^2 - 2 = t^2 - 2

なので、方程式は

(t22)+t+1=0(t^2 - 2) + t + 1 = 0

すなわち

t2+t1=0t^2 + t - 1 = 0

解の公式より

t=1±52t = \frac{-1 \pm \sqrt{5}}{2}

ここで tt の値を図形的に考えます。z=1|z| = 1 なので 1z=z\dfrac{1}{z} = \overline{z} であり

t=z+z=2cos2π5t = z + \overline{z} = 2\cos\frac{2\pi}{5}

0<2π5<π20 < \dfrac{2\pi}{5} < \dfrac{\pi}{2} より cos2π5>0\cos\dfrac{2\pi}{5} > 0、つまり t>0t > 0 です。よって

t=1+52t = \frac{-1 + \sqrt{5}}{2}

したがって

cos2π5=t2=1+54\cos\frac{2\pi}{5} = \frac{t}{2} = \frac{-1 + \sqrt{5}}{4}

z5=1z^5 = 1 の解を利用して cos72\cos 72^\circ の値を求める」この流れは、複素数平面の発展問題として入試でも繰り返し出題される名作です。ポイントは、絶対値 11 の複素数では 1z=z\dfrac{1}{z} = \overline{z} となり、z+1zz + \dfrac{1}{z} が実数 2cosθ2\cos\theta になることです。

ChatGPTで質問Claudeで質問Geminiで質問