検索用コード
数I\hspace{-.1zw}Iで学習した\textbf{\textcolor{purple}{1の虚数立方根$\bm{\omega}$の性質}}を復習する. \\[.2zh]  1の虚数立方根$\omega$は$x^3=1,\ つまりx^3-1=(x-1)(x^2+x+1)=0$の虚数解である. \\[.2zh]  さて,\ 以上の性質を\textbf{\textcolor{purple}{複素数平面の観点から見直す}}ために,\ $z^3=1$の解を極形式で表す. \\[.2zh]  $\polar[r^3]{3\theta}=\polar{0} より r=1,\ 3\theta=2k\pi\ (k:整数)$ \\[.2zh]  $0\leqq\theta<2\pi\ とすると\ k=0,\ 1,\ 2\ である.$ \\[.5zh]  この3点は,\ 下図のように\textbf{\textcolor{magenta}{複素数平面上の単位円を3等分}}する. \\\\  数I\hspace{-.1zw}Iの時点では3つの解が$\{1,\ \omega,\ \omega^2\}$となることが偶然に思えた. \\[.2zh]  しかし今,\ 複素数平面の世界に立って眺めるとそれは必然であったことがわかる. \\[1zh]  さて,\ 以上の思考から$n$乗根においても類似の性質があると予想される. \\[.2zh]  以下では,\ 例として\textbf{\textcolor{blue}{1の5乗根の性質}}を考える. \\\\[.5zh]  1の5乗根は$\bm{\textcolor{red}{z^5=1}}$の解であるから,\ \textbf{\textcolor{magenta}{複素数平面上の単位円を5等分}}する. \\[.2zh] \Longleftrightarrow\ \bm{\textcolor[named]{ForestGreen}{\kyouyaku\alpha=\bunsuu{1}{\alpha}}}$である. \\[.2zh]  さらに,\ \textbf{\textcolor[named]{ForestGreen}{実軸に関する対称性}}を考慮すると,\ 次の性質が導かれる. \\[.5zh]  また,\ $z^5-1=(z-1)(z^4+z^3+z^2+z+1)=0$であるから,\ 次の性質が成立する. \\[.5zh] \centerline{$\bm{\textcolor{red}{\alpha^5=1,\ \ \alpha^4+\alpha^3+\alpha^2+\alpha+1=0}}$} \\\\ \centerline{{\small $\left[\textcolor{brown}{\begin{array}{l} 一般に,\ \bm{x^n-1=(x-1)(x^{n-1}+x^{n-2}+\cdots+x^2+x+1)}\ と因数分解される(要暗記). \\[.2zh] x=1のときx^n-1=0なので,\ 因数定理よりx^n-1がx-1を因数にもつことは明らかである. \\[.2zh] 別の見方もある.\ 1+x+x^2+\cdots+x^{n-2}+x^{n-1}\ は初項1,\ 公比x,\ 項数nの等比数列の和である. \\[.5zh] よって,\ x\neqq1のとき,\ 1+x+x^2+\cdots+x^{n-2}+x^{n-1}=\bunsuu{x^n-1}{x-1}\ である. \hspace{.5zw}以下では,\ (1)の解のうち第1象限にあるものを$\alpha$とする. \\[.5zh] %\hspace{.5zw}$\alpha=\polar{\bunsuu25\pi}\ のとき,\ 次の式の値を求めよ.$ \\[.5zh] \centerline{$\textcolor{cyan}{r^5(\polar{5\theta})=\polar{0}}$} \\[.5zh] \phantom{ (1)}\ \ 両辺の絶対値と偏角を比較すると $\textcolor{red}{r^5=1,\ \ 5\theta=2k\pi\ (k:整数)}$ \\[.2zh] \centerline{{\small $\left[\textcolor{brown}{\begin{array}{l} \bm{両辺にz-1を掛けて1のn乗根に帰着させる}のが本質的である. \\[.2zh] 先に述べた1のn乗根に関する性質の理解があれば自然な解法である. \\[.2zh] 1の虚数立方根\,\omega\,の項目では,\ 「x^2+x+1\,を特別な式と考えよ」と述べた. \\[.2zh] 同様に,\ z^4+z^3+z^2+z+1\ なども特別な式と考えなければならないのである. 因数定理「z=\alpha\,を解にもつ\ \Longleftrightarrow\ (z-\alpha)を因数にもつ」を用いてz^5-1を因数分解形で表す. \\[.2zh] 普通の因数分解の結果と比較して得られた等式にz=1を代入すると目的の式の値が得られる. \\[.2zh] 一見技巧的だが,\ 数\text{I\hspace{-.1zw}I}で同様の問題を演習していればすんなりと受け入れられる. \\[1zh] 別解は\ \alpha^5=1,\ \alpha^4+\alpha^3+\alpha^2+\alpha+1=0\ を利用する直接的な解法である. \\[.2zh] \bm{\alpha^5=1\,が使えるような組合せで展開}していくと後が楽になる. \\[.2zh] 通分して計算してもよいがかなり大変である. \\[.2zh] 解答のように組み合わせ,\ \bm{分母分子に\,\alpha\,や\,\alpha^2\,を掛けて\,\alpha^5\,を作り出す}と楽になる. \\[.2zh] 技巧的だが,\ \bm{\alpha^4=\bunsuu{1}{\alpha},\ \alpha^3=\bunsuu{1}{\alpha^2}\ を用いて次数を下げた}と考えるとわかりやすい. \\[.5zh] \alpha\,を代入してド・モアブルの定理を適用後,\ iで整理する. \\[.2zh] 後は,\ 複素数の相等条件「\bm{\Cnum{a}+{b}=0\ (a,\ b:実数)\ \Longleftrightarrow\ a=b=0}」を適用すればよい. \\[.2zh] \bm{\cos\,と\,\sin\,の対等な式を極形式にしてまとめて扱う}という発想をもつようにしよう. (2)の両辺の絶対値をとり,\ \zettaiti{\alpha\beta}=\zettaiti{\alpha}\zettaiti{\beta}\ によって分割する. \\[.2zh] 後は各絶対値を\,\sin\,で表すと自動的に値が求まる. \\[.2zh] 一旦2乗して展開し,\ 整理していく.\ 当然,\ \zettaiti{\alpha}^2=1\,である. \\[.2zh] \ruizyoukon{4\sin^2\bunsuu{\pi}{5}}=\zettaiti{2\sin\bunsuu{\pi}{5}}\ だが\,\sin\bunsuu{\pi}{5}>0\ より絶対値がはずれ,\ ようやく\,\zettaiti{1-\alpha}\,が\,\sin\,で表される. \\[2zh] 本問は図形的意味も重要である.\ 図形的には,\ \zettaiti{1-\alpha}\,は\,\bm{1と\,\alpha\,の距離(線分の長さ)}を表す. \\[.2zh] よって,\ 第1式は左図の\bm{4本の線分の長さの積が5}という図形的意味をもつ. \\[.2zh] 一般に,\ \bm{円の弦の長さは中心から垂線を下ろして三角比を用いると素早く簡潔に求められる.} \\[.2zh] \text{O},\ 1,\ \alpha\,は頂角\,\bunsuu25\pi\,の二等辺三角形なので,\ 底辺は \bm{\alpha=\polar{\bunsuu{2\pi}{5}}\ と\ \alpha^4+\alpha^3+\alpha^2+\alpha+1=0\ の解の実部の比較}が根幹である. \\[.6zh] よって,\ いかにして\,\alpha^4+\alpha^3+\alpha^2+\alpha+1=0\ を解くかが問題になる. \\[.2zh] この方程式が\bm{相反方程式}であることに気付けばやるべきことは決まっている. \\[.2zh] 途中,\ \alpha^2+\bunsuu{1}{\alpha^2}=\left(\alpha+\bunsuu{1}{\alpha}\right)^2-2\cdot\alpha\cdot\bunsuu{1}{\alpha}=\bm{\left(\alpha+\bunsuu{1}{\alpha}\right)^2-2}\ と変形した. \\[.8zh] また,\ \kyouyaku\alpha=\bunsuu{1}{\alpha}\ を考慮すると\ \alpha+\bunsuu{1}{\alpha}=t\ なので,\ 4次の相反方程式がtの2次方程式に帰着する. \\[.2zh] 相反方程式を完全に解くなら\ \alpha+\bunsuu{1}{\alpha}=\bunsuu{-\,1\pm\ruizyoukon5}{2},\ つまり\ \alpha^2-\bunsuu{-\,1\pm\ruizyoukon5}{2}\,\alpha+1=0\ を解く. \\[.8zh] しかし,\ \cos\bunsuu{2\pi}{5}\ を求めるだけの今は必要ない.\ tが結局は\,2\cos\bunsuu25\pi\ だからである. \\[1.5zh] 元々,\ 求めるべき\,\cos\bunsuu{2\pi}{5}\,は\,\alpha\,の実部である. \\[.2zh] 一般に,\ \bm{複素数z=\Cnum{a}+{b}\,の実部は\ \text{\textbf{Re}}(z)=a=\bunsuu{z+\kyouyaku z}{2}}\ と表されるのであった. \\[.8zh] 結局,\ \alpha+\kyouyaku\alpha,\ つまり\,\alpha+\bunsuu{1}{\alpha}\ の値さえ求めればよかったわけである.