Real Part of Sine of Complex Number
Jump to navigation
Jump to search
Theorem
Let $z = x + i y \in \C$ be a complex number, where $x, y \in \R$.
Let $\sin z$ denote the complex sine function.
Then:
- $\map \Re {\sin z} = \sin x \cosh y$
where:
- $\map \Re z$ denotes the real part of a complex number $z$
- $\sin$ denotes the sine function (real and complex)
- $\cosh$ denotes the hyperbolic cosine function.
Proof
From Sine of Complex Number:
- $\map \sin {x + i y} = \sin x \cosh y + i \cos x \sinh y$
The result follows by definition of the real part of a complex number.
$\blacksquare$
Sources
- 1960: Walter Ledermann: Complex Numbers ... (previous) ... (next): $\S 4.5$. The Functions $e^z$, $\cos z$, $\sin z$