複素正接関数

複素正弦関数\begin{equation*}
\sin \left( z\right) :\mathbb{C} \rightarrow \mathbb{C} \end{equation*}はそれぞれの複素数\(z\in \mathbb{C} \)に対して、以下の複素数\begin{equation}\sin \left( z\right) =\frac{e^{iz}-e^{-iz}}{2i} \quad \cdots (1)
\end{equation}を値として定める一方で、複素余弦関数\begin{equation*}
\cos \left( z\right) :\mathbb{C} \rightarrow \mathbb{C} \end{equation*}はそれぞれの複素数\(z\in \mathbb{C} \)に対して、以下の複素数\begin{equation}\cos \left( z\right) =\frac{e^{iz}+e^{-iz}}{2} \quad \cdots (2)
\end{equation}を値として定めます。

以上を踏まえた上で、複素数\(z\in \mathbb{C} \)の正接（tangent）を、\begin{equation*}\tan \left( z\right) =\frac{\sin \left( z\right) }{\cos \left( z\right) }
\end{equation*}と定義します。\(\left( 1\right),\left( 2\right) \)を踏まえると、\begin{eqnarray*}\tan \left( z\right) &=&\frac{\sin \left( z\right) }{\cos \left( z\right) }\quad \because \tan \left( z\right) \text{の定義} \\
&=&\frac{e^{iz}-e^{-iz}}{2i}/\frac{e^{iz}+e^{-iz}}{2}\quad \because \left(
1\right) ,\left( 2\right) \\
&=&\frac{e^{iz}-e^{-iz}}{i\left( e^{iz}+e^{-iz}\right) } \\
&=&-\frac{e^{iz}-e^{-iz}}{e^{iz}+e^{-iz}}i
\end{eqnarray*}すなわち、\begin{equation*}
\tan \left( z\right) =-\frac{e^{iz}-e^{-iz}}{e^{iz}+e^{-iz}}i
\end{equation*}が成立します。

複素数をゼロで割ることはできないため、\(\cos \left( z\right) =0\)を満たす\(z\in \mathbb{C} \)において\(\tan \left( z\right) \)は定義されません。このような事情を踏まえると、以下の集合\begin{equation*}Z=\left\{ z\in \mathbb{C} \ |\ \cos \left( z\right) \not=0\right\}
\end{equation*}に属するそれぞれの値\(z\in Z\)に対して、その正接\(\tan \left( z\right) \in \mathbb{C} \)に相当する複素数を1つずつ定める複素関数\begin{equation*}\tan \left( z\right) :\mathbb{C} \supset Z\rightarrow \mathbb{C} \end{equation*}が定義可能です。これを複素正接関数（complex tangent function）や複素タンジェント関数などと呼びます。

複素正接関数の定義域と値域

複素正接関数の定義域と値域は以下の通りです。

複素正接関数は正接関数の一般化

複素正接関数\(\tan \left( z\right) :\mathbb{R} \supset Z\rightarrow \mathbb{R} \)の定義域は、\begin{equation*}Z=\mathbb{C} \backslash \left\{ \frac{\pm \pi }{2},\frac{\pm 3\pi }{2},\frac{\pm 5\pi }{2},\cdots \right\}
\end{equation*}であることが明らかになりました。その一方で、正接関数\(\tan \left(x\right) :\mathbb{R} \supset W\rightarrow \mathbb{R} \)の定義域は、\begin{equation*}W=\mathbb{R} \backslash \left\{ \frac{\pm \pi }{2},\frac{\pm 3\pi }{2},\frac{\pm 5\pi }{2},\cdots \right\}
\end{equation*}です。実数\(x\in W\)は複素数\(x+0i\in Z\)と同一視されますが、これを複素正接関数\(\tan \left( z\right) \)に入力すると、\begin{eqnarray*}\tan \left( x+0i\right) &=&\frac{\sin \left( x+0i\right) }{\cos \left(
x+0i\right) }\quad \because \tan \left( z\right) \text{の定義} \\
&=&\frac{\sin \left( x\right) }{\cos \left( x\right) }\quad \because \sin
\left( z\right) \text{と}\sin \left( x\right) \text{の関係、}\cos \left( z\right) \text{と}\cos \left( x\right)
\text{の関係} \\
&=&\tan \left( x\right) \quad \because \tan \left( x\right) \text{の定義}
\end{eqnarray*}が得られますが、これは正接関数\(\tan \left( x\right) \)に実数\(x\in W\)を入力した場合に出力される値と一致します。以上より、複素正接関数は正接関数の一般化であることが明らかになりました。

複素正接関数と複素双曲線正接関数の関係

複素正接関数と複素双曲線正接関数の間には以下の関係が成り立ちます。

複素正接関数の実部と虚部

複素正接関数の実部と虚部は以下の通りです。