複素数 $\alpha$ は方程式 $z^5 = 1$ の1でない解である。 (1) $1 + \alpha + \alpha^2 + \alpha^3 + \alpha^4$ の値を求めよ。 (2) $t = \alpha + \frac{1}{\alpha}$ とするとき、$t^2 + t - 1 = 0$ であることを示せ。 (3) $\cos\frac{4}{5}\pi$ の値を求めよ。

代数学複素数方程式三角関数解の公式
2025/7/5
## 回答

1. 問題の内容

複素数 α\alpha は方程式 z5=1z^5 = 1 の1でない解である。
(1) 1+α+α2+α3+α41 + \alpha + \alpha^2 + \alpha^3 + \alpha^4 の値を求めよ。
(2) t=α+1αt = \alpha + \frac{1}{\alpha} とするとき、t2+t1=0t^2 + t - 1 = 0 であることを示せ。
(3) cos45π\cos\frac{4}{5}\pi の値を求めよ。

2. 解き方の手順

(1) α\alphaz5=1z^5 = 1 の解なので、α5=1\alpha^5 = 1 である。また、α1\alpha \neq 1 である。等比数列の和の公式を用いると、
1+α+α2+α3+α4=1α51α=111α=01 + \alpha + \alpha^2 + \alpha^3 + \alpha^4 = \frac{1 - \alpha^5}{1 - \alpha} = \frac{1 - 1}{1 - \alpha} = 0
(2) t=α+1αt = \alpha + \frac{1}{\alpha} であるから、
t2=(α+1α)2=α2+2+1α2t^2 = (\alpha + \frac{1}{\alpha})^2 = \alpha^2 + 2 + \frac{1}{\alpha^2}
t2+t1=α2+2+1α2+α+1α1=α2+α+1+1α+1α2t^2 + t - 1 = \alpha^2 + 2 + \frac{1}{\alpha^2} + \alpha + \frac{1}{\alpha} - 1 = \alpha^2 + \alpha + 1 + \frac{1}{\alpha} + \frac{1}{\alpha^2}
α5=1\alpha^5 = 1 より、1α=α4\frac{1}{\alpha} = \alpha^4 かつ 1α2=α3\frac{1}{\alpha^2} = \alpha^3 なので、
t2+t1=α2+α+1+α4+α3=1+α+α2+α3+α4=0t^2 + t - 1 = \alpha^2 + \alpha + 1 + \alpha^4 + \alpha^3 = 1 + \alpha + \alpha^2 + \alpha^3 + \alpha^4 = 0
(3) α=cos2π5+isin2π5\alpha = \cos\frac{2\pi}{5} + i\sin\frac{2\pi}{5} とおく。
1α=cos2π5isin2π5\frac{1}{\alpha} = \cos\frac{2\pi}{5} - i\sin\frac{2\pi}{5} である。
よって t=α+1α=2cos2π5t = \alpha + \frac{1}{\alpha} = 2\cos\frac{2\pi}{5} となる。
(2)より、t2+t1=0t^2 + t - 1 = 0 なので、
t=1±124(1)(1)2=1±52t = \frac{-1 \pm \sqrt{1^2 - 4(1)(-1)}}{2} = \frac{-1 \pm \sqrt{5}}{2}
t=2cos2π5t = 2\cos\frac{2\pi}{5} であり、2π5(0,π2)\frac{2\pi}{5} \in (0, \frac{\pi}{2}) なので、cos2π5>0\cos\frac{2\pi}{5} > 0 である。したがって、t>0t > 0 でなければならない。
t=1+52t = \frac{-1 + \sqrt{5}}{2}
cos2π5=1+54\cos\frac{2\pi}{5} = \frac{-1 + \sqrt{5}}{4}
cos4π5=2cos22π51=2(1+54)21\cos\frac{4\pi}{5} = 2\cos^2\frac{2\pi}{5} - 1 = 2(\frac{-1 + \sqrt{5}}{4})^2 - 1
=2(125+516)1=62581=3541=154= 2(\frac{1 - 2\sqrt{5} + 5}{16}) - 1 = \frac{6 - 2\sqrt{5}}{8} - 1 = \frac{3 - \sqrt{5}}{4} - 1 = \frac{-1 - \sqrt{5}}{4}

3. 最終的な答え

(1) 0
(2) 証明済み
(3) cos45π=154\cos\frac{4}{5}\pi = \frac{-1 - \sqrt{5}}{4}