Modulus of Exponential is Exponential of Real Part

From ProofWiki
Jump to navigation Jump to search


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

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

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


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

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


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 {\Re z}\) Definition of Real Part