z+z4 が実数となるような 0 と異なる複素数 z の全体を D とする。(北海道大2018)
(1) D を複素数平面上に図示せよ。
(2) k を実数とする。D に属する z で方程式
k(z+z4+8)=i(z−z4)
を満たすものが存在するような k の値の範囲を求めよ。ただし,i は虚数単位を表す。
複素数全体が円になる
(1)から始めます。
与式が実数であるというところから,次の定義を思い出しましょう。
たとえば,
z=1+3i なら
zˉ=1−3i だよね。これを共役な複素数と言う。でも,
z が実数ということは,
z=1+0i=1 みたいな数になっている。このとき,
zˉ=1−0i=1 となって,
z=zˉ が成り立つ。
z+z4=(z+z4)
z+z4=zˉ+zˉ4
これ,共役な複素数を表す記号で,一般的にバー(棒)って言ってる。バーはそれぞれに分解してよい。
(z+z4)=zˉ+zˉ4ˉ
そして,
4ˉ=4 になる。虚数の部分のプラスマイナスを逆にするのが共役であって,実数の部分はそのままだったよね?だから,もともと虚部が無いものについては,そのままバーを外せば良い。
z−zˉ=zˉ4−z4
右辺を通分してまとめます。
z−zˉ=zzˉ4(z−zˉ)
両辺を z−zˉ で割ると
1=zzˉ4
zzˉ=4
公式 zzˉ=∣z∣2 より
∣z∣2=4
∣z∣=2 (答え)
ここは,目的を持って式変形するというよりは,似たような部分を適当にまとめていくうちに何となく出来上がってしまった,という感じです。
複素数をx+yiに置き換える
(2)に進みます。
これもまた,方向性が見えないので,とりあえず式を整理して考えることにしましょう。
k(z+z4+8)=i(z−z4)
kzˉ+z4k+8k=iz−z4i
移項して
iz−kzˉ=z4i+zˉ4k+8k
右辺を通分して
=zzˉ4(izˉ+kz)+8k
公式 zzˉ=∣z∣2 より
=∣z∣24(izˉ+kz)+8k
(1)より ∣z∣2=4 だから
=44(izˉ+kz)+8k
=kz+izˉ+8k
移項して
(k−i)z+(k+i)zˉ+8k=0
複素数平面の問題では,式を整理してもこれ以上どうしていいのか分からなくなるときがあります。
このとき,z を z=x+yi という形に置き換えるとうまくいくことがあります。同様に,zˉ=x−yi としてみましょう。
z=x+yi,zˉ=x−yi として
(k−i)(x+yi)+(k+i)(x−yi)+8k=0
kx+kyi−xi+y+kx−kyi+xi+y+8k=0
2kx+2y+8k=0
kx+y+4k=0
式が直線であることが分かりました。
そして,問題文から,この直線が D に属する,つまり原点を中心とする半径 2 の円と重なる部分があればよい,ということになります。
ここから,数IIで習った円と直線の方程式の話に戻ります。
原点が中心である円とある直線が共有点を持つことと,直線と原点の距離 d が 2 以下であることは同じでした。
そこで,点と直線の距離の公式を用います。
公式に当てはめると
d=k2+12∣k⋅0+1⋅0+4k∣
k2+1∣4k∣≦2
左辺は正の数です。よって,両辺を 2 乗しても不等号の向きは変わりません。
k2+116k2≦4
16k2≦4(k2+1)
16k2≦4k2+4
12k2≦4
k2≦31
k2−31≦0
(k+31)(k−31)≦0
−31≦ k≦31 (答え)
関連