【数III複素数平面】z で表された式の絶対値の最大と最小を求める【国公立基本】

(1) 複素数平面上で等式

3z4i=2z3i|3z-4i|=2|z-3i|

を満たす点 zz の全体はどのような図形を表すか答えなさい。
(2) 複素数 zz が(1)の等式を満たすとき,z+1z+2i\Big|z+\cfrac{1}{z}+2i\Big| の最大値と最小値を求めなさい。また,そのときの zz の値をそれぞれ求めなさい。(山口大2019)

2乗して絶対値を外す

(1)から進めます。

絶対値外すには,とにかく2乗してしまう。

両辺を2乗すると

3z4i2=4z3i2|3z-4i|^2=4|z-3i|^2

ここで,公式 zzˉ=z2z\bar{z}=|z|^2 を使います。

(3z4i)(3z4i)=4(z3i)(z3i)(3z-4i)(\overline{3z-4i})=4(z-3i)(\overline{z-3i})
(3z4i)(3zˉ+4i)=4(z3i)(zˉ+3i)(3z-4i)(3\bar{z}+4i)=4(z-3i)(\bar{z}+3i)

展開して

9zzˉ+12iz12izˉ+16=4(zzˉ+3iz3izˉ+9)9z\bar{z}+12iz-12i\bar{z}+16=4(z\bar{z}+3iz-3i\bar{z}+9)
9zzˉ+12iz12izˉ+16=4zzˉ+12iz12izˉ+369z\bar{z}+12iz-12i\bar{z}+16=4z\bar{z}+12iz-12i\bar{z}+36
5zzˉ20=05z\bar{z}-20=0
zzˉ=4z\bar{z}=4
z2=4|z|^2=4
z=2|z|=2

±2\pm2 じゃないの?
左辺は絶対値だから,マイナスになることはない。

したがって

原点を中心とする,半径 22 の円 (答え)

zをx+yiに置き換える

(2)に進みます。

絶対値の最大値と最小値を求めるのですが,zz は何らかの複素数を表しているだけなので,このままでは式がどのような値をとるのかさっぱり分かりません。そこで,zz を置きかえる必要があります。

置きかえ方は大きく分けると二通りあり,一つは極形式として表す方法,もう一つは x,yx,y を用いる方法です。

① 極形式 z=r(cosθ+isinθ)z=r(\cos\theta+i\sin\theta)
② 複素数 z=x+yiz=x+yi

どっちがいいの?
ケースバイケース。三角関数使ったほうが式変形が合理的な場合もある。x+yix+yi は計算力で突破するほうで,数I,II でやってきた関数の計算に近い感覚でいけるというメリットがある。もう少し言うと,各大学によって傾向があって,①がオススメのときと②がオススメのときがある。

今回は x+yix+yi で解いてみます。

k2=(z+1z+2i)(z+1z+2i)k^2=\Big(z+\cfrac{1}{z}+2i\Big)\Big(\overline{z+\cfrac{1}{z}+2i}\Big)
=(z+1z+2i)(zˉ+1zˉ2i)=\Big(z+\cfrac{1}{z}+2i\Big)\Big(\bar{z}+\cfrac{1}{\bar{z}}-2i\Big)
=zzˉ+zzˉ2iz+zˉz+1zzˉ2iz+2izˉ+2izˉ+4=z\bar{z}+\cfrac{z}{\bar{z}}-2iz+\cfrac{\bar{z}}{z}+\cfrac{1}{z\bar{z}}-\cfrac{2i}{z}+2i\bar{z}+\cfrac{2i}{\bar{z}}+4

(1)より zzˉ=4z\bar{z}=4 だから

=4+zzˉ2iz+zˉz+142iz+2izˉ+2izˉ+4=4+\cfrac{z}{\bar{z}}-2iz+\cfrac{\bar{z}}{z}+\cfrac{1}{4}-\cfrac{2i}{z}+2i\bar{z}+\cfrac{2i}{\bar{z}}+4
=z2+zˉ22izˉ+2izzzˉ+2i(zˉz)+8+14=\cfrac{z^2+\bar{z}^2-2i\bar{z}+2iz}{z\bar{z}}+2i(\bar{z}-z)+8+\cfrac{1}{4}
=z2+zˉ22izˉ+2iz4+2i(zˉz)+8+14=\cfrac{z^2+\bar{z}^2-2i\bar{z}+2iz}{4}+2i(\bar{z}-z)+8+\cfrac{1}{4}

両辺を 4 倍して

4k2=z2+zˉ22i(zˉz)+8i(zˉz)+32+14k^2=z^2+\bar{z}^2-2i(\bar{z}-z)+8i(\bar{z}-z)+32+1
4k2=z2+zˉ2+6i(zˉz)+334k^2=z^2+\bar{z}^2+6i(\bar{z}-z)+33

ここで

(z+zˉ)2=z2+2zzˉ+zˉ2(z+\bar{z})^2=z^2+2z\bar{z}+\bar{z}^2
=z2+zˉ2+8=z^2+\bar{z}^2+8

より

z2+zˉ2=(z+zˉ)28z^2+\bar{z}^2=(z+\bar{z})^2-8 

だから

4k2=(z+zˉ)2+6i(zˉz)+254k^2=(z+\bar{z})^2+6i(\bar{z}-z)+25

z=x+yi,zˉ=xyiz=x+yi,\bar{z}=x-yi とすると

z+zˉ=x+yi+xyi=2xz+\bar{z}=x+yi+x-yi=2x
zˉz=xyixyi=2yi\bar{z}-z=x-yi-x-yi=-2yi

となるので

4k2=(2x)2+6i(2yi)+254k^2=(2x)^2+6i(-2yi)+25
=4x2+12y+25=4x^2+12y+25

また,zz は原点を中心とする半径 2 の円だから

x2+y2=4x^2+y^2=4
x2=4y2x^2=4-y^2

が成り立つ。これを代入すると

4k2=4(4y2)+12y+254k^2=4(4-y^2)+12y+25
=164y2+12y+25=16-4y^2+12y+25
=4y2+12y+41=-4y^2+12y+41

これで,式が整理できました。あとはこの式の最大と最小を求めます。

式を平方完成すると

4k2=4(y23y)+414k^2=-4(y^2-3y)+41
=4(y32)2+9+41=-4\Big(y-\cfrac{3}{2}\Big)^2+9+41
=4(y32)2+50=-4\Big(y-\cfrac{3}{2}\Big)^2+50

x,yx,y は原点を中心とする半径 2 の円周上の座標なので,yy の取り得る範囲は

2-2 ≦ yy ≦ 22 

です。

最大値は y=32y=-\cfrac{3}{2} のとき

4k2=504k^2=50
k2=252k^2=\cfrac{25}{2}
k=522k=\cfrac{5\sqrt{2}}{2}

zz の値を求めると

x2+y2=4x^2+y^2=4 より

x2+94=4x^2+\cfrac{9}{4}=4
x2=74x^2=\cfrac{7}{4}
x=±72x=\pm\cfrac{\sqrt{7}}{2}

よって

z=±7232iz=\pm\cfrac{\sqrt{7}}{2}-\cfrac{3}{2}i

また,最小値は y=2y=2 のとき

4k2=4(2+32)2+504k^2=-4\Big(2+\cfrac{3}{2}\Big)^2+50
4k2=49+50=14k^2=-49+50=1
k2=14k^2=\cfrac{1}{4}
k=12k=\cfrac{1}{2}

zz を求めると

x2+4=4x^2+4=4
x2=0x^2=0
x=0x=0

よって

z=2iz=-2i

したがって

最大値は z=±7232iz=\pm\cfrac{\sqrt{7}}{2}-\cfrac{3}{2}i のとき 522\cfrac{5\sqrt{2}}{2}
最小値は z=2iz=-2i のとき 12\cfrac{1}{2} (答え)