Modulus of Positive Real Number to Complex Power is Positive Real Number to Power of Real Part
Jump to navigation
Jump to search
![]() | It has been suggested that this page be renamed. In particular: something not as long? To discuss this page in more detail, feel free to use the talk page. |
Theorem
Let $z \in \C$ be a complex number.
Let $t > 0$ be wholly real.
Let $t^z$ be $t$ to the power of $z$ defined on its principal branch.
Then:
- $\cmod {t^z} = t^{\map \Re z}$
Proof
\(\ds \cmod {t^z}\) | \(=\) | \(\ds \cmod {t^{\map \Re z + i \map \Im z} }\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds \cmod {t^{\map \Re z} t^{i \map \Im z} }\) | Sum of Complex Indices of Real Number | |||||||||||
\(\ds \) | \(=\) | \(\ds \cmod {t^{\map \Re z} } \cmod {t^{i \map \Im z} }\) | Complex Modulus of Product of Complex Numbers | |||||||||||
\(\ds \) | \(=\) | \(\ds \cmod {t^{\map \Re z} }\) | Modulus of Exponential of Imaginary Number is One:Corollary | |||||||||||
\(\ds \) | \(=\) | \(\ds t^{\map \Re z}\) | Power of Positive Real Number is Positive |
$\blacksquare$