東京都立大2019理系第1問【複素数平面】複素数全体が円・垂直二等分線になる(教科書レベルから復習しつつ入試問題)

α=42i,β=2+i\alpha=-4-2i,\beta=2+i とする。ただし、ii は虚数単位を表す。複素数平面上において zα=2zβ|z-\alpha|=2|z-\beta| をみたす点 zz の集合を CC とする。以下の問いに答えなさい。(首都大学東京2019)

(1) CC は複素数平面上の円になることを示し、その円の中心と半径を求めなさい。
(2) 点 zzz=0z=0 を除いて CC 上を動くとき、w=1z\displaystyle w=\frac{1}{z} で定まる点 ww が複素数平面上で直線を描くことを示しなさい。
(3) 複素数平面上の 22A(α)A(\alpha)B(β)B(\beta) を通る直線を ll とし、(2)で示した ww の描く直線を mm とする。llmm11 点で交わることを示し、llmm のなす角 θ(0<0π2)\displaystyle \theta\left(0<0\leqq\frac{\pi}{2}\right) について cosθ\cos \theta の値を求めなさい。



ここでやるのは円の作りかた、垂直二等分線の作り方、複素数の割り算、複素数から極形式への変換。基本通りだけど少しアイデアが必要な部分もあるから実践で身につけてね。

円に持ち込む

複素数 zz 全体が円を表すとき z|z-中心=|=半径
最終的にこの形に持ち込むわけか。

α\alphaβ\beta を比べて 2 倍の関係が見えると計算ラクになるよ。

α=2β\alpha=-2\beta
β=α2\displaystyle\beta=-\frac{\alpha}{2}
与式に代入すると
zα=2z+α2\displaystyle|z-\alpha|=2\left|z+\frac{\alpha}{2}\right|
絶対値がジャマで何もできない。

こういうときは公式 zzˉ=z2z\bar z=|z|^2 を使って絶対値をはずす。

両辺を2乗して
zα2=4z+α22\displaystyle|z-\alpha|^2=4\left|z+\frac{\alpha}{2}\right|^2
(zα)(zˉαˉ)=4(z+α2)(zˉ+αˉ2)\displaystyle (z-\alpha)(\bar z-\bar \alpha)=4\left(z+\frac{\alpha}{2}\right)\left(\bar z+\frac{\bar\alpha}{2}\right)
zzˉαˉzαzˉ+ααˉ=4zzˉ+2αˉz+2αzˉ+ααˉz\bar z-\bar \alpha z-\alpha\bar z+\alpha\bar\alpha=4z\bar z+2\bar\alpha z+2\alpha\bar z+\alpha\bar\alpha
3zzˉ+3αˉz+3αzˉ=03z\bar z+3\bar\alpha z+3\alpha\bar z=0
zzˉ+αˉz+αzˉ=0z\bar z+\bar\alpha z+\alpha\bar z=0

ここから因数分解します。
(z+a)(zˉ+b)=zzˉ+bz+azˉ+ab(z+a)(\bar z+b)=z\bar z+bz+a\bar z+ab の関係を逆向きに考えて、aaα\alphabbαˉ\bar\alpha を当てはめるとうまくいきそうです。そして、展開したとき abab の部分が余計なので引き算をしてつじつま合わせをしましょう。

zzˉ+bz+azˉ=(z+a)(zˉ+b)abz\bar z+bz+a\bar z=(z+a)(\bar z+b)-ab

(z+α)(zˉ+αˉ)ααˉ=0(z+\alpha)(\bar z+\bar\alpha)-\alpha\bar\alpha=0
(z+α)(z+α)=α2(z+\alpha)(\overline{z+\alpha})=|\alpha|^2
z+α2=α2|z+\alpha|^2=|\alpha|^2
z+α=α|z+\alpha|=|\alpha|
ここで α|\alpha| を求める。

複素数平面で絶対値は長さのことだから、三平方の定理を使って長さを求める。

α=42+22=20=25|\alpha|=\sqrt{4^2+2^2}=\sqrt{20}=2\sqrt{5}
よって
z+α=25|z+\alpha|=2\sqrt{5}
z42i=25|z-4-2i|=2\sqrt{5}
中心 4+2i4+2i、半径 252\sqrt{5} の円 (答え)

ww の式に変形する

(2) に進みます。

直線であるってのを示す一つの方法は垂直二等分線。
zz 全体が点PP、点QQの垂直二等分線であるとき z|z-P=zP|=|z-QQ|

w=1z\displaystyle w=\frac{1}{z} より z=1w\displaystyle z=\frac{1}{w}
(1) で求めた式に代入して
1w42i=25\displaystyle \left|\frac{1}{w}-4-2i\right|=2\sqrt{5}
両辺に w|w| をかけて
1(4+2i)w=25w|1-(4+2i)w|=2\sqrt{5}|w|
(4+2i)w1=25w|(4+2i)w-1|=2\sqrt{5}|w|

左辺の引き算ってひっくり返して大丈夫なの?

大丈夫。たとえば 13=2=2|1-3|=|-2|=231=2=2|3-1|=|2|=2 みたいに絶対値付けると結局どっちも一緒になるでしょ?

両辺を 4+2i|4+2i| でわると
w14+2i=25w4+2i\displaystyle \left|w-\frac{1}{4+2i}\right|=\frac{2\sqrt{5}|w|}{|4+2i|}
ここで 4+2i=42+22=25|4+2i|=\sqrt{4^2+2^2}=2\sqrt{5} であることに注意すると
w14+2i=w\displaystyle \left|w-\frac{1}{4+2i}\right|=|w|
また、14+2i\displaystyle \frac{1}{4+2i} は有理化して
14+2i=2i10\displaystyle \frac{1}{4+2i}=\frac{2-i}{10}
w2i10=w\displaystyle \left|w-\frac{2-i}{10}\right|=|w|
したがって、ww は 点P(0)P(0)、点Q(2i10)\displaystyle Q\left(\frac{2-i}{10}\right) の垂直二等分線である。(答え)

直線をkk 倍して伸ばす

(3) に進みます。

まずは、llmm が 1 点で交わることを示します。平面上に直線が 2 本あればどこか一か所で交わるのは当然のような気もしますが一応示していきましょう。

示しかたとしては、点AA と点BB を結ぶ直線を kk倍して伸ばした直線が ww にぶつかることを利用します。

(証明)

llmm が 1 点で交わるとき、w=α+k(αβ)w=\alpha+k(\alpha-\beta) となる実数 kk が 1 つだけ存在する。
α=2β\alpha=-2\beta より βα=3β\beta-\alpha=3\beta
w=2β+3kβ=(3k2)βw=-2\beta+3k\beta=(3k-2)\beta
wˉ=(3k2)βˉ\bar w=(3k-2)\bar \beta
また βˉ=2i\bar \beta=2-i である
これを (2) で求めた式に代入すると
wβˉ10=w\displaystyle \left|w-\frac{\bar\beta}{10}\right|=|w|
公式 zzˉ=z2z\bar z=|z|^2 より
(wβˉ10)(wˉβ10)=wwˉ\displaystyle \left(w-\frac{\bar\beta}{10}\right)\left(\bar w-\frac{\beta}{10}\right)=w\bar w
wwˉβw10βˉwˉ10+ββˉ100=wwˉ\displaystyle w\bar w-\frac{\beta w}{10}-\frac{\bar \beta\bar w}{10}+\frac{\beta\bar\beta}{100}=w\bar w
ββˉ=(2+i)(2i)=5\beta\bar\beta=(2+i)(2-i)=5 より
βw10βˉwˉ10+120=0\displaystyle -\frac{\beta w}{10}-\frac{\bar\beta\bar w}{10}+\frac{1}{20}=0
2βw+2βˉwˉ=12\beta w+2\bar\beta\bar w=1
2(3k2)β2+2(3k2)βˉ2=12(3k-2)\beta^2+2(3k-2)\bar\beta^2=1
2(3k2)(β2+βˉ2)=12(3k-2)(\beta^2+\bar\beta^2)=1
12(3k2)=112(3k-2)=1
3k2=112\displaystyle 3k-2=\frac{1}{12}
k=2536\displaystyle k=\frac{25}{36}
したがって、kk は 1 つの実数に定まり、llmm は 1 点で交わる。(証明終了)

複素数を極形式で表す

つぎに cosθ\cos\theta を求めます。

複素数平面で cosθ\cos\theta が出てくる形は、極形式でした。

複素数の極形式 r(cosθ+isinθ)r(\cos\theta+i\sin\theta) (rr:長さ、θ\theta:偏角)

ここで ww の描く直線 mm を表す方法を考えなければなりませんが、このままではうまく表すことができません。そこで(2)で求めた垂直二等分線の式より、点C(1α)\displaystyle C\left(\frac{1}{\alpha}\right)、点D(2α)\displaystyle D\left(-\frac{2}{\alpha}\right) とすると、直線 CDCD は 直線mm と垂直であることから、直線 CDCD90°90\degree 回転してみると良さそうです。
どうやって回転するの?
詳しくは教科書で複素数の回転のところを復習すべきだけど、手っ取り早く言うと ii をかけると 90°90\degree 回転する。

直線 CDCD90°90\degree 回転させると
{1α(2α)}i=3iα\displaystyle \left\{\frac{1}{\alpha}-\left(-\frac{2}{\alpha}\right)\right\}i=\frac{3i}{\alpha}
(原点と始点とする直線 mm と平行な直線)
また
αβ=α+α2=3α2\displaystyle \alpha-\beta=\alpha+\frac{\alpha}{2}=\frac{3\alpha}{2}
(原点を始点とする直線 ll と平行な直線)

ここで複素数の極形式と割り算の関係を思い出しましょう。

複素数の割り算
z1=r1(cosθ1+isinθ1)z_1=r_1(\cos\theta_1+i\sin\theta_1)
z2=r2(cosθ2+isinθ2)z_2=r_2(\cos\theta_2+i\sin\theta_2)
のとき
z1z2=r1r2{cos(θ1θ2)+isin(θ1θ2)}\displaystyle \frac{z_1}{z_2}=\frac{r_1}{r_2}\{\cos(\theta_1-\theta_2)+i\sin(\theta_1-\theta_2)\}

割り算をするとき偏角同士は引き算となり、2つの直線のなす角を求めることができます。

よって、割り算をしていきましょう。

どっちをどっちで割るの?

今回は条件 (0<θπ2)\left(0<\theta\leqq\frac{\pi}{2}\right) だから、cosθ\cos\theta の値が正の数であればよい。もしマイナスになったら計算やりなおすのが素直だろうね。

3iα3α2=iαα2=iα22=2iα2\displaystyle \frac{\frac{3i}{\alpha}}{\frac{3\alpha}{2}}=\frac{\frac{i}{\alpha}}{\frac{\alpha}{2}}=\frac{i}{\frac{\alpha^2}{2}}=\frac{2i}{\alpha^2}
α=42i\alpha=-4-2i を代入して
2i(42i)2=2i12+16i=i6+8i\displaystyle \frac{2i}{(-4-2i)^2}=\frac{2i}{12+16i}=\frac{i}{6+8i}
分母に ii があるので有理化します。
=i(68i)(6+8i)(68i)=8+6i36+64\displaystyle =\frac{i(6-8i)}{(6+8i)(6-8i)}=\frac{8+6i}{36+64}
=8+6i100=4+3i50\displaystyle =\frac{8+6i}{100}=\frac{4+3i}{50}
ここから極形式に持ち込みます。

z=r(cosθ+isinθ)z=r(\cos\theta+i\sin\theta) の形から考えると実部が横方向、虚部が縦方向だと言えるよね。つまり、3:4:5の直角三角形になるってこと。

cos\cos底辺斜辺\displaystyle\frac{\text{底辺}}{\text{斜辺}}sin\sin高さ斜辺\displaystyle\frac{\text{高さ}}{\text{斜辺}} で表します。それに式を合わせると
=110(45+35i)\displaystyle =\frac{1}{10}(\frac{4}{5}+\frac{3}{5}i)

cos\cossin\sin の両方で三角比のつじつまが合ってないとダメよ。だからここは分母が 55 になる。

あとは z=r(cosθ+isinθ)z=r(\cos\theta+i\sin\theta) の形から考えて cosθ=45\displaystyle cos\theta=\frac{4}{5} となります。これは、(0<θπ2)\left(0<\theta\leqq\frac{\pi}{2}\right) の条件に合う。したがって
cosθ=45\displaystyle cos\theta=\frac{4}{5} (答え)