iのi乗

2018年2月28日2019年8月11日

当ページのリンクには広告が含まれています。

虚数 $~i~$ の $~i~$ 乗はなんと実数になります。実際に $~i^i~$ を計算し、近似値を算出しました。
Ⅰ　 $~i^i~$ の計算
 Ⅱ　 $~i^i~$ の近似値

この記事を読んでわかること

Ⅰ　 $~i^i~$ の計算

$~i~$ の $~i~$ 乗

　次の式が成り立つ。
\begin{equation}
\displaystyle i^i=e^{-\left( \frac{\pi}{2}+2n\pi \right)}(n \in \mathbb{Z})
\end{equation}
ただし、主値を考えると、
\begin{equation}
\displaystyle i^i=e^{-\frac{\pi}{2}}
\end{equation}
である。

　この式の右辺は虚数 $~i~$ を含んでいないため、実数となります。無理数の無理数乗が必ず無理数にならないことに似ていますね。
では、この計算結果がどう生まれたのかを見ていきましょう。

　 $~i~$ 乗の部分がわかりにくいので、それを避けるために対数を使います。そのため、使う知識は複素数の対数関数です。

証明

$~x=i^i~$ とする。この式の両辺の自然対数をとって、式変形をしていくと
\begin{align}
\log{x}&=\log{i^i} \\
&=i \log{i}　\\
&=i(\log{|i|}+i\arg{i}) \\
\displaystyle &=i \left\{ \log{1}+i \left(\frac{\pi}{2}+2n\pi \right) \right\} (n\in \mathbb{Z}) \\
&=i \left\{i \left(\frac{\pi}{2}+2n\pi \right) \right\} \\
&=-\left(\frac{\pi}{2}+2n\pi \right)
\end{align}
となる。よって、
\begin{equation}
x=i^i=e^{-\left(\frac{\pi}{2}+2n\pi \right)}(n\in \mathbb{Z})
\end{equation}
が成り立つ。

また、主値は上の式で $~n=0~$ のときなので、
\begin{equation}
\displaystyle i^i=e^{-\frac{\pi}{2}}
\end{equation}
とわかる。 $~\blacksquare$

複素数の対数関数の定義にあてはめることで、求めたい式が求まりました。

Ⅱ　 $~i^i~$ の近似値

　Ⅰで、 $~\displaystyle i^i=e^{-\frac{\pi}{2}}~$ が求められました。右辺の実数は、一体どのくらいの数値なのでしょうか。近似値を下のマクローリン展開とエクセルを使って、求めてみました。

$e^x~$ のマクローリン展開

$e^x~$ をマクローリン展開すると、次のような式になる。
\begin{equation}
\displaystyle e^x=1+\frac{x}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots \cdots
\end{equation}

　ということは、 $~\displaystyle x=-\frac{\pi}{2}~$ を代入して計算することで、近似値が求められます。
ということで、この先はエクセルで計算してみました。

使った計算式はこんな感じ↓

B列に各項の数値、C列にその項までの和が算出されるような関数です。

これによって、計算を行うと、下のように出力されます。

収束速度は割と速く、近似値として、
\begin{equation}
i^i \fallingdotseq 0.207879576 \cdots
\end{equation}
が与えられました！！