複素数 $z$ に対して、$z + \frac{3}{z}$ が実数であり、$3 \le z + \frac{3}{z} \le 4$ を満たす $z$ の動く範囲を複素数平面上に図示する問題です。

代数学複素数複素数平面絶対値偏角
2025/4/21

1. 問題の内容

複素数 zz に対して、z+3zz + \frac{3}{z} が実数であり、3z+3z43 \le z + \frac{3}{z} \le 4 を満たす zz の動く範囲を複素数平面上に図示する問題です。

2. 解き方の手順

まず、z=r(cosθ+isinθ)z = r(\cos\theta + i\sin\theta) とおきます。ここで r>0r > 0 です。
z+3z=r(cosθ+isinθ)+3r(cosθ+isinθ)=r(cosθ+isinθ)+3r(cosθisinθ)=(r+3r)cosθ+i(r3r)sinθz + \frac{3}{z} = r(\cos\theta + i\sin\theta) + \frac{3}{r(\cos\theta + i\sin\theta)} = r(\cos\theta + i\sin\theta) + \frac{3}{r}(\cos\theta - i\sin\theta) = (r + \frac{3}{r})\cos\theta + i(r - \frac{3}{r})\sin\theta
z+3zz + \frac{3}{z} が実数なので、ii の係数は 0 になります。
(r3r)sinθ=0(r - \frac{3}{r})\sin\theta = 0
したがって、r=3r = \sqrt{3} または sinθ=0\sin\theta = 0 となります。
(i) r=3r = \sqrt{3} のとき
z+3z=(3+33)cosθ=23cosθz + \frac{3}{z} = (\sqrt{3} + \frac{3}{\sqrt{3}})\cos\theta = 2\sqrt{3}\cos\theta
条件より、323cosθ43 \le 2\sqrt{3}\cos\theta \le 4
32cosθ233\frac{\sqrt{3}}{2} \le \cos\theta \le \frac{2\sqrt{3}}{3}
このとき、z=3(cosθ+isinθ)z = \sqrt{3}(\cos\theta + i\sin\theta) なので、これは原点中心、半径 3\sqrt{3} の円の一部分となります。
cosθ=32\cos\theta = \frac{\sqrt{3}}{2} のとき、θ=±π6\theta = \pm \frac{\pi}{6}
cosθ=233\cos\theta = \frac{2\sqrt{3}}{3} のとき、θ=±arccos(233)\theta = \pm \arccos(\frac{2\sqrt{3}}{3})
この範囲は、z=3eiθz = \sqrt{3}e^{i\theta} で表され、θ\thetaπ6θarccos(233)\frac{\pi}{6} \le |\theta| \le \arccos(\frac{2\sqrt{3}}{3}) を満たします。
(ii) sinθ=0\sin\theta = 0 のとき
θ=0,π\theta = 0, \pi
z=rz = r または z=rz = -r (rr は実数)
z+3z=r+3rz + \frac{3}{z} = r + \frac{3}{r} または z+3z=r3r=(r+3r)z + \frac{3}{z} = -r - \frac{3}{r} = -(r + \frac{3}{r})
3r+3r43 \le r + \frac{3}{r} \le 4 のとき
r23r+30r^2 - 3r + 3 \ge 0 および r24r+30r^2 - 4r + 3 \le 0 を満たす必要があります。
r23r+3=(r32)2+34>0r^2 - 3r + 3 = (r - \frac{3}{2})^2 + \frac{3}{4} > 0 であるため、常に r23r+3>0r^2 - 3r + 3 > 0 です。
r24r+3=(r1)(r3)0r^2 - 4r + 3 = (r - 1)(r - 3) \le 0 より、1r31 \le r \le 3
したがって、1z31 \le z \le 3
3(r+3r)43 \le -(r + \frac{3}{r}) \le 4 はありえません。
最終的に、zz は実軸上の 1z31 \le z \le 3 および、原点中心、半径 3\sqrt{3} の円周上で、偏角 θ\thetaπ6θarccos(233)\frac{\pi}{6} \le |\theta| \le \arccos(\frac{2\sqrt{3}}{3}) を満たす部分です。

3. 最終的な答え

複素数平面上に、実軸上の 1x31 \le x \le 3 の線分と、原点中心、半径 3\sqrt{3} の円周のうち、偏角 θ\thetaπ6θarccos(233)\frac{\pi}{6} \le |\theta| \le \arccos(\frac{2\sqrt{3}}{3}) を満たす部分を図示します。

「代数学」の関連問題