Euler's Cotangent Identity/Proof 2
Jump to navigation
Jump to search
Theorem
- $\cot z = i \dfrac {e^{i z} + e^{-i z} } {e^{i z} - e^{-i z} }$
Proof
We have, by hypothesis, that $z$ is a complex number such that:
- $\forall k \in \Z: z \ne k \pi$
Therefore:
- $\sin z \ne 0$
It follows from the definition of the complex cotangent function that:
- $\cot z$
is well-defined.
Hence:
\(\ds \cot z\) | \(=\) | \(\ds \frac 1 {\tan z}\) | Definition of Complex Cotangent Function | |||||||||||
\(\ds \) | \(=\) | \(\ds 1 / \dfrac {e^{i z} - e^{-i z} } {i \paren {e^{i z} + e^{-i z} } }\) | Euler's Tangent Identity | |||||||||||
\(\ds \) | \(=\) | \(\ds i \frac {e^{i z} + e^{-i z} } {e^{i z} - e^{-i z} }\) | Definition of Reciprocal |
$\blacksquare$