Definition:Inverse Tangent/Complex

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be the subset of the complex plane:

$S = \C \setminus \set {0 + i, 0 - i}$

Definition 1

The inverse tangent is a multifunction defined on $S$ as:

$\forall z \in S: \tan^{-1} \left({z}\right) := \left\{{w \in \C: \tan \left({w}\right) = z}\right\}$

where $\tan \left({w}\right)$ is the tangent of $w$.


Definition 2

The inverse tangent is a multifunction defined on $S$ as:

$\forall z \in S: \tan^{-1} \paren z := \set {\dfrac 1 {2 i} \ln \paren {\dfrac {i - z} {i + z} } + k \pi: k \in \Z}$

where $\ln$ denotes the complex natural logarithm as a multifunction.


Arctangent

The principal branch of the complex inverse tangent function is defined as:

$\map \arctan z := \dfrac 1 {2 i} \, \map \Ln {\dfrac {i - z} {i + z} }$

where $\Ln$ denotes the principal branch of the complex natural logarithm.


Also see

  • Results about the inverse tangent function can be found here.