複素数 $\alpha$ について、$|\alpha| = 1$ のとき、$\alpha^2 + \frac{1}{\alpha^2}$ が実数であることを証明する。

代数学複素数共役複素数絶対値複素数の性質
2025/5/26

1. 問題の内容

複素数 α\alpha について、α=1|\alpha| = 1 のとき、α2+1α2\alpha^2 + \frac{1}{\alpha^2} が実数であることを証明する。

2. 解き方の手順

複素数 zz が実数であるための必要十分条件は、z=zz = \overline{z} であることを利用する。
α2+1α2\alpha^2 + \frac{1}{\alpha^2} が実数であることを示すために、α2+1α2\alpha^2 + \frac{1}{\alpha^2} の共役複素数を求め、それが α2+1α2\alpha^2 + \frac{1}{\alpha^2} に等しいことを示す。
まず、α2+1α2\overline{\alpha^2 + \frac{1}{\alpha^2}} を計算する。
共役複素数の性質より、
α2+1α2=α2+1α2\overline{\alpha^2 + \frac{1}{\alpha^2}} = \overline{\alpha^2} + \overline{\frac{1}{\alpha^2}}
α2=(α)2\overline{\alpha^2} = (\overline{\alpha})^2 より、
α2+1α2=(α)2+1(α)2\overline{\alpha^2} + \overline{\frac{1}{\alpha^2}} = (\overline{\alpha})^2 + \frac{1}{(\overline{\alpha})^2}
α=1|\alpha|=1 より、αα=α2=1\alpha \overline{\alpha} = |\alpha|^2 = 1 である。
したがって、α=1α\overline{\alpha} = \frac{1}{\alpha} となる。
これより、
(α)2+1(α)2=(1α)2+1(1α)2=1α2+α2=α2+1α2(\overline{\alpha})^2 + \frac{1}{(\overline{\alpha})^2} = (\frac{1}{\alpha})^2 + \frac{1}{(\frac{1}{\alpha})^2} = \frac{1}{\alpha^2} + \alpha^2 = \alpha^2 + \frac{1}{\alpha^2}
したがって、
α2+1α2=α2+1α2\overline{\alpha^2 + \frac{1}{\alpha^2}} = \alpha^2 + \frac{1}{\alpha^2}
となるから、α2+1α2\alpha^2 + \frac{1}{\alpha^2} は実数である。

3. 最終的な答え

α=1|\alpha| = 1 のとき、α2+1α2\alpha^2 + \frac{1}{\alpha^2} は実数である。

「代数学」の関連問題

与えられた漸化式から数列 $\{a_n\}$ の一般項を求める問題です。特に、ここでは(1)の問題、$a_1 = 1, a_{n+1} = a_n - 3$ を解きます。

数列漸化式等差数列一般項
2025/5/27

数列$\{a_n\}$の初項から第n項までの和$S_n$が与えられたとき、一般項$a_n$を求める問題です。 (1) $S_n = 2n^2 + n$ (2) $S_n = 3^n + 1$

数列級数一般項漸化式
2025/5/27

数列 $\{a_n\}: 5, 11, 23, 41, 65, 95, ...$ の一般項を求める問題です。

数列一般項階差数列等差数列
2025/5/27

与えられた分数式の和を計算する問題です。問題は以下の通りです。 $\frac{x-2}{2x^2-5x+3} + \frac{3x-1}{2x^2+x-6} + \frac{2x-5}{x^2+x-2...

分数式因数分解式の計算通分
2025/5/27

与えられた式 $(a^{\frac{1}{2}} + a^{-\frac{1}{2}})^2$ を展開して簡単にします。

指数式の展開式の簡略化
2025/5/27

与えられた数式を計算する問題です。 数式は $\{ (\frac{8}{27})^{-\frac{1}{3}} \}^{\frac{3}{2}} \div (\frac{3}{2})^{-\frac{...

指数指数法則分数
2025/5/27

与えられた四次式 $x^4 + 5x^2 - 6$ を因数分解する。

因数分解四次式二次式代数
2025/5/27

与えられた数式を計算します。 数式は $\frac{8}{3} \sqrt[6]{9} + \sqrt[3]{-24} + \sqrt[3]{\frac{1}{9}}$ です。

根号計算式の簡略化
2025/5/27

与えられた式 $(a-b)^2 - c^2$ を因数分解する問題です。

因数分解式の展開二次式
2025/5/27

問題は、式 $a^3 - 125$ を因数分解することです。

因数分解多項式3次式
2025/5/27