Modulus of Exponential is Exponential of Real Part

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $z \in \C$ be a complex number.

Let $\exp z$ denote the complex exponential function.

Let $\cmod {\, \cdot \,}$ denote the complex modulus


Then:

$\cmod {\exp z} = \map \exp {\map \Re z}$


where $\map \Re z$ denotes the real part of $z$.


Proof

Let $z = x + iy$.

\(\ds \cmod {\exp z}\) \(=\) \(\ds \cmod {\map \exp {x + iy} }\)
\(\ds \) \(=\) \(\ds \cmod {\paren {\exp x} \paren {\exp i y} }\) Exponential of Sum
\(\ds \) \(=\) \(\ds \cmod {\exp x} \cmod {\exp i y}\) Modulus of Product
\(\ds \) \(=\) \(\ds \cmod {\exp x}\) Modulus of Exponential of Imaginary Number is One
\(\ds \) \(=\) \(\ds e^x\) Exponential of Real Number is Strictly Positive
\(\ds \) \(=\) \(\ds \map \exp {\map \Re z}\) Definition of Real Part

$\blacksquare$


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Modulus_of_Exponential_is_Exponential_of_Real_Part&oldid=573270"