複素数 $z = \frac{1+i}{\sqrt{3}-i}$ について、以下の問いに答えます。 (1) $z^n$ が実数となるような最小の自然数 $n$ を求めます。 (2) $z^n$ が純虚数となるような最小の自然数 $n$ を求めます。

代数学複素数極形式ド・モアブルの定理
2025/7/5

1. 問題の内容

複素数 z=1+i3iz = \frac{1+i}{\sqrt{3}-i} について、以下の問いに答えます。
(1) znz^n が実数となるような最小の自然数 nn を求めます。
(2) znz^n が純虚数となるような最小の自然数 nn を求めます。

2. 解き方の手順

まず、zz を簡単にするために分母を実数化します。
z=1+i3i=(1+i)(3+i)(3i)(3+i)=3+i+i313+1=(31)+(3+1)i4=314+3+14iz = \frac{1+i}{\sqrt{3}-i} = \frac{(1+i)(\sqrt{3}+i)}{(\sqrt{3}-i)(\sqrt{3}+i)} = \frac{\sqrt{3} + i + i\sqrt{3} - 1}{3+1} = \frac{(\sqrt{3}-1) + (\sqrt{3}+1)i}{4} = \frac{\sqrt{3}-1}{4} + \frac{\sqrt{3}+1}{4}i
次に、zz を極形式で表します。
r=(314)2+(3+14)2=323+1+3+23+116=816=12=12r = \sqrt{(\frac{\sqrt{3}-1}{4})^2 + (\frac{\sqrt{3}+1}{4})^2} = \sqrt{\frac{3 - 2\sqrt{3} + 1 + 3 + 2\sqrt{3} + 1}{16}} = \sqrt{\frac{8}{16}} = \sqrt{\frac{1}{2}} = \frac{1}{\sqrt{2}}
cosθ=31412=3142=624\cos\theta = \frac{\frac{\sqrt{3}-1}{4}}{\frac{1}{\sqrt{2}}} = \frac{\sqrt{3}-1}{4} \cdot \sqrt{2} = \frac{\sqrt{6}-\sqrt{2}}{4}
sinθ=3+1412=3+142=6+24\sin\theta = \frac{\frac{\sqrt{3}+1}{4}}{\frac{1}{\sqrt{2}}} = \frac{\sqrt{3}+1}{4} \cdot \sqrt{2} = \frac{\sqrt{6}+\sqrt{2}}{4}
θ=5π12\theta = \frac{5\pi}{12} なので、z=12(cos5π12+isin5π12)z = \frac{1}{\sqrt{2}} (\cos \frac{5\pi}{12} + i\sin \frac{5\pi}{12}) となります。
(1) znz^n が実数となる条件は、zn=(12)n(cos5nπ12+isin5nπ12)z^n = (\frac{1}{\sqrt{2}})^n (\cos \frac{5n\pi}{12} + i\sin \frac{5n\pi}{12}) の虚部が0になること、つまり sin5nπ12=0\sin \frac{5n\pi}{12} = 0 となることです。
5nπ12=kπ\frac{5n\pi}{12} = k\pi ( kk は整数)より、5n=12k5n = 12k となります。したがって、nn は12の倍数である必要があります。n=12k5n = \frac{12k}{5} より、nn が自然数となる最小の kkk=5k = 5 なので、n=12×55=12n = \frac{12 \times 5}{5} = 12 が最小の自然数です。
(2) znz^n が純虚数となる条件は、zn=(12)n(cos5nπ12+isin5nπ12)z^n = (\frac{1}{\sqrt{2}})^n (\cos \frac{5n\pi}{12} + i\sin \frac{5n\pi}{12}) の実部が0になること、つまり cos5nπ12=0\cos \frac{5n\pi}{12} = 0 となることです。
5nπ12=π2+kπ=(2k+1)π2\frac{5n\pi}{12} = \frac{\pi}{2} + k\pi = \frac{(2k+1)\pi}{2} ( kk は整数)より、5n=6(2k+1)5n = 6(2k+1) となります。したがって、n=6(2k+1)5n = \frac{6(2k+1)}{5}nn が自然数となる最小の kk を探します。
k=0k = 0 のとき n=65n = \frac{6}{5}
k=1k = 1 のとき n=185n = \frac{18}{5}
k=2k = 2 のとき n=305=6n = \frac{30}{5} = 6
よって、n=6n = 6 が最小の自然数です。

3. 最終的な答え

(1) 12
(2) 6

「代数学」の関連問題

複素数 $w$ と $z$ が、$w = \frac{z-4}{z+2}$ を満たしている。$w$ が原点を中心とする半径2の円上を動くとき、$z$ はどのような図形を描くか。

複素数複素平面軌跡
2025/7/5

シュワルツの不等式 $|(a, b)| \le ||a|| ||b||$ を証明する問題です。ここで、$(a, b)$ はベクトル $a$ と $b$ の内積を表し、$||a||$ はベクトル $a$...

不等式ベクトル内積ノルムシュワルツの不等式証明
2025/7/5

ベクトル $\mathbf{a}$ と $\mathbf{b}$ に対して、不等式 $\lVert \mathbf{a} - \mathbf{b} \rVert \ge |\lVert \mathbf...

ベクトル不等式三角不等式ノルム
2025/7/5

複素数 $\alpha = 1 + \sqrt{3}i$ と $\beta = -4 + 2i$ が与えられています。複素数平面上の原点をOとします。 (1) 点A($\alpha$)を実軸に関して対...

複素数複素数平面共役複素数対称移動偏角
2025/7/5

$A = \begin{bmatrix} t+1 & 1 \\ 1 & t+1 \end{bmatrix}$ (ただし $t$ は実数) とする。連立一次方程式 $Ax = \begin{bmatri...

線形代数行列連立一次方程式解の存在条件拡大係数行列
2025/7/5

初項 $2^{n-1}$、公差 1、項数 $2^{n-1}$ の等差数列の和 $S$ を求め、与えられた式が成り立つことを確認する問題です。 与えられた式は以下の通りです。 $S = \frac{1}...

数列等差数列公式計算
2025/7/5

数列 $S$ が与えられており、$S = 1 \cdot 1 + 4 \cdot 2 + 7 \cdot 2^2 + \cdots + (3n-2) \cdot 2^{n-1}$ である。この数列の和...

数列級数等比数列和の公式
2025/7/5

次の2つの問題を解きます。 (1) $x^3 = -8$ (2) $x^4 + 5x^2 - 24 = 0$

方程式三次方程式四次方程式複素数因数分解解の公式
2025/7/5

与えられた計算問題を解きます。具体的には、以下の6つの問題を解きます。 (1) $5+(-3) \times 2$ (2) $2 \times (-3)^2 - 22$ (3) $\frac{3x-2...

四則演算分数計算文字式の計算分配法則同類項式の計算
2025/7/5

複素数 $\alpha$ は方程式 $z^5 = 1$ の1でない解である。 (1) $1 + \alpha + \alpha^2 + \alpha^3 + \alpha^4$ の値を求めよ。 (2)...

複素数方程式三角関数解の公式
2025/7/5