I am reading a passage of text that states:
"We can use the fact that $e^{a+bi}=e^a(\cos b+i\sin b)$ has polar form $\left<e^a,b \right>$ to verify that complex exponentials have various properties that we would expect, by analogy with real exponentials."
It then goes on to ask to express $e^z \times e^w$ in polar form where $z=a+bi$ and $w=c+di$.
Using the rule presented in the text above I can do this, what I am not clear on however is why this statement is true:
"We can use the fact that $e^{a+bi}=e^a(\cos b+i\sin b)$ has polar form $\left<e^a,b \right>$".
I expect I am overlooking something here but I am not making much progress. I am not sure how the polar form in this general case has been derived.
Let's do it piece by piece. In general, we know that the following is a property of the exponential function:
$$ e^{x + y} = e^x \cdot e^y $$
Replace $x$ with $a$ and $y$ with $b\,i$ to get:
$$ e^{a + b i} = e^a \cdot e^{b i} $$
Now for $e^{b\,i}$, use Euler's formula which states that:
$$ e^{b i} = \cos b + i\sin b $$
Apply this formula to get the result:
$$ e^{a + b i} = e^a (\cos b + i\sin b) $$