The Complex Exponential and Euler's Formula

Fix $z\in \mathbb{C}$. Apply The recursion theorem to the set $\mathbb{C}$, the initial value $1$, and the function $w\mapsto wz$. This defines the natural powers uniquely by $z^0=1,z^{n+1}=z^{n}z(n\in \mathbb{N})\mathrm{.}$

Let $\mathrm{ȷ}\text{\hspace{0.17em}⁣}:\mathbb{N}\to \mathbb{Z}$ be the embedding of The naturals embed in the integers. For an integer $r\ge 0$, that lemma gives a unique $n\in \mathbb{N}$ with $r=\mathrm{ȷ}(n)$; define $z^r:=z^n$. If $r<0$ and $z\mathrm{\ne }0$, there is a unique $n\in \mathbb{N}$ with $n\ge 1$ and $-r=\mathrm{ȷ}(n)$; define $z^r:=(z^n{)}^{-1}\mathrm{.}$ The inverse exists because $\mathbb{C}$ is a field by $\mathbb{C}=\mathbb{R}[x]\mathrm{/}(x^2+1)$ is a field, every element is uniquely $a+bi$, and every nonzero element has inverse $(a-bi)\mathrm{/}(a^2+b^2)$. Thus nonnegative integer powers are defined for every $z$, while negative integer powers are defined exactly when $z\mathrm{\ne }0$; in particular $0^0=1$ and no negative power of $0$ is defined. The integer and its unique natural representative are never conflated.

For $z,w\in \mathbb{C}$ and $n\in \mathbb{N}$, write ${\iota }_{\mathbb{C}}:\mathbb{N}\to \mathbb{C}$ for the canonical-natural map of The canonical natural $\iota (n)=n\cdot 1_F$ of a field. Then $(z+w{)}^n={\sum }_{k\le n}{\iota }_{\mathbb{C}}\text{\hspace{0.17em}⁣}\left(\left(\genfrac{}{}{0px}{}{n}{k}\right)\right)z^k{w}^{n-k}\mathrm{.}$ The conventions and prerequisite facts used below are recorded in $\mathbb{C}=\mathbb{R}[x]\mathrm{/}(x^2+1)$ is a field, every element is uniquely $a+bi$, and every nonzero element has inverse $(a-bi)\mathrm{/}(a^2+b^2)$, Integer powers in the complex field, The set $[A{]}^k$ of $k$-element subsets and the binomial coefficient $\left(\genfrac{}{}{0px}{}{n}{k}\right):=\mid [n{]}^k\mid$, Pascal's rule $\left(\genfrac{}{}{0px}{}{n+1}{k+1}\right)=\left(\genfrac{}{}{0px}{}{n}{k}\right)+\left(\genfrac{}{}{0px}{}{n}{k+1}\right)$, and the hockey-stick identity ${\sum }_{i\le n}\left(\genfrac{}{}{0px}{}{i}{k}\right)=\left(\genfrac{}{}{0px}{}{n+1}{k+1}\right)$, The product $g_0{g}_1\cdots g_{n-1}$ of a finite list in a monoid, by recursion, with the empty product ($n=0$) equal to the identity, Generalised associativity: in a monoid the product of a finite list does not depend on the bracketing, and in a commutative monoid it does not depend on the order of the factors either, The principle of mathematical induction.

For $z=x+iy$ and $w=u+iv$, put $d_{\mathbb{C}}(z,w):=\mathrm{\mid }z-w\mathrm{\mid }=\sqrt{(x-u{)}^2+(y-v{)}^2}=\parallel (x-u,y-v){\parallel }_2\mathrm{.}$ Under the identification $\mathbb{C}={\mathbb{R}}^2$, this is exactly the metric $d_2$ induced by the Euclidean norm of The $p$-norms $\parallel x{\parallel }_p$ for rational $p\ge 1$, and $\parallel x{\parallel }_{\mathrm{\infty }}$. It is a metric by Each $\parallel \cdot {\parallel }_p$ is a norm on ${\mathbb{R}}^n$, and the induced metrics are exactly $d_1$, $d_2$ and $d_{\mathrm{\infty }}$ of the published metric-spaces page, so the metric axioms are established rather than assumed.

Convergence in $\mathbb{C}$, Cauchy sequences in $\mathbb{C}$, and continuity of maps between subsets of $\mathbb{C}$ mean the notions of Convergence of a sequence in a metric space: $x_k\to x$ iff $d(x_k,x)\to 0$ in $\mathbb{R}$, Cauchy sequence in a metric space, and Continuity of a map between metric spaces, at a point and globally, in the $\epsilon$-$\delta$ form for $d_{\mathbb{C}}$ (and the restricted metric on a subset). These uses are therefore licensed by the metric-space definition Metric space: $d(x,y)=0$ iff $x=y$, symmetry, and the triangle inequality; pseudometric and ultrametric.

The metric space $\mathbb{C}$ is complete. A sequence $z_n=x_n+i{y}_n$ converges to $x+iy$ exactly when $x_n\to x$ and $y_n\to y$. The conventions and prerequisite facts used below are recorded in The Euclidean metric, convergence, Cauchy sequences, and continuity on the complex plane, For $n\ge 1$ a sequence in ${\mathbb{R}}^n$ converges iff each coordinate sequence converges, is Cauchy iff each coordinate sequence is Cauchy, and ${\mathbb{R}}^n$ is complete in every norm.

A complex sequence is a function $a\text{\hspace{0.17em}⁣}:\mathbb{N}\to \mathbb{C}$. Since the additive reduct $(\mathbb{C},+,0)$ of the complex field is a commutative monoid, the finite-list construction of The product $g_0{g}_1\cdots g_{n-1}$ of a finite list in a monoid, by recursion, with the empty product ($n=0$) equal to the identity, read additively, defines its complex partial sums by $S_0=0,S_{N+1}=S_N+a_N,S_N={\sum }_{n<N}^{\mathbb{C}}{a}_n\mathrm{.}$ The superscript is omitted when the summands already make the codomain clear.

The complex series $\sum a_n$ converges to $s\in \mathbb{C}$ when $S_N\to s$ in the metric of The Euclidean metric, convergence, Cauchy sequences, and continuity on the complex plane; then $s$ is its sum. This is the same finite sum and convergence as the vector-series definition on ${\mathbb{R}}^2$ in Series of vectors in ${\mathbb{R}}^n$, absolute convergence, rearrangement, and the set of rearrangement sums. The series converges absolutely when the real series $\sum \mathrm{\mid }{a}_n\mathrm{\mid }$ of Series, partial sums, convergence and the sum, divergence, and the tail series converges. For a bijection $\sigma \text{\hspace{0.17em}⁣}:\mathbb{N}\to \mathbb{N}$, its rearrangement along $\sigma$ is the complex series $\sum a_{\sigma (n)}$.

Let $(c_n)$ be a complex sequence and $a\in \mathbb{C}$. The complex power series centered at $a$ with coefficients $(c_n)$ is ${\sum }_{n=0}^{\mathrm{\infty }}{c}_n(z-a{)}^n,$ with powers from Integer powers in the complex field and the preceding complex partial sums. To define its radius without ambiguity, form the specific real power series $Q(x):={\sum }_{n=0}^{\mathrm{\infty }}\mathrm{\mid }{c}_n\mathrm{\mid }{x}^n$ centered at $0$. The radius of convergence of the complex power series is, by definition, the radius of this $Q$ in A real power series about a centre, its interval of convergence, and its radius in $[0,+\mathrm{\infty }]$. Thus the coefficient sequence, real variable, and center of the comparison series are all explicit.

Every absolutely convergent complex series converges, and every rearrangement has the same sum. The conventions and prerequisite facts used below are recorded in Complex series, absolute convergence, complex power series, and radius of convergence, An absolutely convergent series in ${\mathbb{R}}^n$ converges, and every rearrangement converges to the same sum.

For ${\sum }_{n\ge 0}{c}_n(z-a{)}^n$, set $L:={\mathrm{lim\hspace{0.17em}sup}}_{k\to \mathrm{\infty }}\mathrm{\mid }{c}_{k+1}{\mathrm{\mid }}^{1\mathrm{/}(k+1)}\in [0,+\mathrm{\infty }],$ so no $0$th root occurs, and set $R:=\{\begin{array}{ll}+\mathrm{\infty },& L=0,\\ 1\mathrm{/}L,& 0<L<+\mathrm{\infty },\\ 0,& L=+\mathrm{\infty }\mathrm{.}\end{array}$ Then the series converges absolutely for $\mathrm{\mid }z-a\mathrm{\mid }<R$ and diverges for $\mathrm{\mid }z-a\mathrm{\mid }>R$; no assertion is made on $\mathrm{\mid }z-a\mathrm{\mid }=R$. At $z=a$ it converges to $c_0$, including when $R=0$. The conventions and prerequisite facts used below are recorded in Complex series, absolute convergence, complex power series, and radius of convergence, Every absolutely convergent complex series converges, and rearrangements preserve its sum, Limit superior and limit inferior of a real sequence as ${\inf }_n{\sup }_{k\ge n}{x}_k$ and ${\sup }_n{\inf }_{k\ge n}{x}_k$ in $\bar{\mathbb{R}}$, For finite $L$: $L=\mathrm{lim\hspace{0.17em}sup}{x}_k$ iff for every $\epsilon >0$ one has $x_k<L+\epsilon$ eventually and $x_k>L-\epsilon$ frequently, Root test: $\mathrm{lim\hspace{0.17em}sup}\mathrm{\mid }{a}_k{\mathrm{\mid }}^{1\mathrm{/}k}<1$ gives absolute convergence and hence convergence, $>1$ gives divergence, and $=1$ decides nothing.

If $\sum a_n=A$ and $\sum b_n=B$ converge absolutely in $\mathbb{C}$, and $c_n={\sum }_{k\le n}{a}_k{b}_{n-k}$, then $\sum c_n$ converges absolutely and has sum $AB$. The conventions and prerequisite facts used below are recorded in Every absolutely convergent complex series converges, and rearrangements preserve its sum, The complex plane is complete, and convergence is equivalent to convergence of real and imaginary parts, The complex numbers as $\mathbb{R}[x]\mathrm{/}(x^2+1)$, with the real embedding and imaginary unit $i$, The product $g_0{g}_1\cdots g_{n-1}$ of a finite list in a monoid, by recursion, with the empty product ($n=0$) equal to the identity, Generalised associativity: in a monoid the product of a finite list does not depend on the bracketing, and in a commutative monoid it does not depend on the order of the factors either, If $\sum a_k$ and $\sum b_k$ both converge absolutely then their Cauchy product converges absolutely, with sum $AB$, If $0\le a_k\le b_k$ eventually, convergence of $\sum b_k$ gives convergence of $\sum a_k$, and divergence of $\sum a_k$ gives divergence of $\sum b_k$, Convergent series add and scale termwise, Conjugation is an involutive real-field automorphism, $z\bar{z}=\mathrm{\mid }z{\mathrm{\mid }}^2$, and modulus is definite, multiplicative, and subadditive.

Let ${\iota }_{\mathbb{R}}\text{\hspace{0.17em}⁣}:\mathbb{N}\to \mathbb{R}$ be the canonical-natural map of The canonical natural $\iota (n)=n\cdot 1_F$ of a field, and let $j\text{\hspace{0.17em}⁣}:\mathbb{R}\to \mathbb{C}$ be the real embedding $j(x)=x+i0$ from The complex numbers as $\mathbb{R}[x]\mathrm{/}(x^2+1)$, with the real embedding and imaginary unit $i$. For every $n\in \mathbb{N}$, the factorial $n!$ is nonzero by The factorial $n!$ and the falling factorial $n^{\underset{‾}{k}}$, defined by recursion in $\mathbb{N}$, so ${\iota }_{\mathbb{R}}(n!)>0$ by Canonical naturals are positive and strictly increasing and consequently $j({\iota }_{\mathbb{R}}(n!))\mathrm{\ne }0$ in the complex field $\mathbb{C}=\mathbb{R}[x]\mathrm{/}(x^2+1)$ is a field, every element is uniquely $a+bi$, and every nonzero element has inverse $(a-bi)\mathrm{/}(a^2+b^2)$.

For $z\in \mathbb{C}$, define $\exp z:={\sum }_{n=0}^{\mathrm{\infty }}\frac{z^n}{j({\iota }_{\mathbb{R}}(n!))}\mathrm{.}$ whenever this complex series converges. Inside a complex expression we abbreviate the embedded denominator $j({\iota }_{\mathbb{R}}(n!))$ by $n!$, so the same definition may be written $\exp z=\sum z^n\mathrm{/}n!$ without identifying a natural number with a complex number. Powers and series are those of Integer powers in the complex field and Complex series, absolute convergence, complex power series, and radius of convergence. The convergence for every $z\in \mathbb{C}$ is discharged by The complex exponential series converges absolutely for every complex argument ↗.

For every $z\in \mathbb{C}$, the series $\sum z^n\mathrm{/}n!$ converges absolutely. The conventions and prerequisite facts used below are recorded in The complex exponential by its power series, The exponential series converges absolutely for every real argument, Every absolutely convergent complex series converges, and rearrangements preserve its sum.

For all $z,w\in \mathbb{C}$, $\exp (z+w)=\exp z\exp w$. For real $x$, the complex value $\exp (x+0i)$ equals the published real exponential $e^x$. The conventions and prerequisite facts used below are recorded in The complex exponential by its power series, The complex exponential series converges absolutely for every complex argument, The Cauchy product of two absolutely convergent complex series converges absolutely to the product of their sums, The real exponential function and the number $e$ by a power series, The binomial theorem over the complex field, $\left(\genfrac{}{}{0px}{}{n}{k}\right)k!(n-k)!=n!$ for $k\le n$; hence $\left(\genfrac{}{}{0px}{}{n}{k}\right)k!=n^{\underset{‾}{k}}$, the quotient $n!\mathrm{/}(k!(n-k)!)$ is a natural number, and $\left(\genfrac{}{}{0px}{}{n}{k}\right)=\left(\genfrac{}{}{0px}{}{n}{n-k}\right)$.

For every real $\theta$, $\exp (i\theta )=\cos \theta +i\sin \theta$.

For real $x,y$, $\exp (x+iy)=e^x(\cos y+i\sin y)$ and $\mathrm{\mid }\exp (x+iy)\mathrm{\mid }=e^x$. In particular $e^{i\pi }+1=0$. The conventions and prerequisite facts used below are recorded in $\exp (z+w)=\exp z\exp w$, and the complex exponential extends the real exponential, Euler's formula: $\exp (i\theta )=\cos \theta +i\sin \theta$ for every real $\theta$, Conjugation is an involutive real-field automorphism, $z\bar{z}=\mathrm{\mid }z{\mathrm{\mid }}^2$, and modulus is definite, multiplicative, and subadditive, Pythagorean and parity identities for all six trigonometric functions on their natural domains, The exponential is positive and satisfies $\exp (-x)=1\mathrm{/}\exp (x)$, Quarter-turn values and shifts by pi/2 and pi, Pi as twice the smallest positive zero of cosine.

$\ker (\exp )=2\pi i\mathbb{Z},$ and $\exp z=\exp w$ exactly when $z-w\in 2\pi i\mathbb{Z}$. The conventions and prerequisite facts used below are recorded in $\exp (x+iy)=e^x(\cos y+i\sin y)$, $\mathrm{\mid }\exp (x+iy)\mathrm{\mid }=e^x$, and $e^{i\pi }+1=0$, The exponential function is strictly increasing, The zero sets of sine and cosine and the least positive common period 2 pi, $t\mapsto (\cos t,\sin t)$ is a bijection from $[0,2\pi )$ onto the real unit circle.

Every $z\mathrm{\ne }0$ has a unique representation $z=r(\cos \theta +i\sin \theta )$ with $r=\mathrm{\mid }z\mathrm{\mid }>0$ and $-\pi <\theta \le \pi$. The conventions and prerequisite facts used below are recorded in Real and imaginary parts, complex conjugation, and modulus, $t\mapsto (\cos t,\sin t)$ is a bijection from $[0,2\pi )$ onto the real unit circle, The zero sets of sine and cosine and the least positive common period 2 pi.

The complex exponential maps $\mathbb{C}$ onto $\mathbb{C}\setminus \{0\}$. The conventions and prerequisite facts used below are recorded in Every nonzero complex number has a unique polar form $r(\cos \theta +i\sin \theta )$ with $r>0$ and $-\pi <\theta \le \pi$, $\exp (x+iy)=e^x(\cos y+i\sin y)$, $\mathrm{\mid }\exp (x+iy)\mathrm{\mid }=e^x$, and $e^{i\pi }+1=0$, The natural logarithm as the inverse of the exponential function, Order, continuity, range, and the product, quotient, and reciprocal laws for the natural logarithm.

Let $j:\mathbb{Z}\to \mathbb{Q}$ be the integer embedding of The integers embed in the rationals, let ${\iota }_{\mathbb{R}}:\mathbb{Q}\to \mathbb{R}$ be the ordered-field embedding of The unique embedding of ℚ into an ordered field, and put ${\kappa }_{\mathbb{R}}:={\iota }_{\mathbb{R}}\circ j$. For every integer $m$ and real $\theta$, $(\cos \theta +i\sin \theta {)}^m=\cos ({\kappa }_{\mathbb{R}}(m)\theta )+i\sin ({\kappa }_{\mathbb{R}}(m)\theta )\mathrm{.}$ The conventions and prerequisite facts used below are recorded in Euler's formula: $\exp (i\theta )=\cos \theta +i\sin \theta$ for every real $\theta$, $\exp (z+w)=\exp z\exp w$, and the complex exponential extends the real exponential, $\mathbb{C}=\mathbb{R}[x]\mathrm{/}(x^2+1)$ is a field, every element is uniquely $a+bi$, and every nonzero element has inverse $(a-bi)\mathrm{/}(a^2+b^2)$, Integer powers in the complex field.

Write ${\iota }_{\mathbb{R}}:\mathbb{N}\to \mathbb{R}$ for the canonical-natural map of The canonical natural $\iota (n)=n\cdot 1_F$ of a field. If $n\in \mathbb{N}$ with $n\ge 1$ and $z=r{e}^{i\theta }\mathrm{\ne }0$, its $n$ distinct roots are $r^{1\mathrm{/}n}\exp \text{\hspace{0.17em}⁣}\left(i\frac{\theta +2\pi {\iota }_{\mathbb{R}}(k)}{{\iota }_{\mathbb{R}}(n)}\right),k\in \mathbb{N},0\le k<n\mathrm{.}$ For $z=0$, the only $n$th root is $0$. Thus the $n$th roots of unity are precisely $\exp \text{\hspace{0.17em}⁣}\left(i\frac{2\pi {\iota }_{\mathbb{R}}(k)}{{\iota }_{\mathbb{R}}(n)}\right)$ for $k\in \mathbb{N}$ with $0\le k<n$. The conventions and prerequisite facts used below are recorded in Every nonzero complex number has a unique polar form $r(\cos \theta +i\sin \theta )$ with $r>0$ and $-\pi <\theta \le \pi$, Complex de Moivre formula for every integer exponent, $\ker (\exp )=2\pi i\mathbb{Z}$, and $\exp z=\exp w$ exactly when $z-w\in 2\pi i\mathbb{Z}$, Existence and uniqueness of $n$-th roots: a unique $a^{1\mathrm{/}n}\ge 0$ with $(a^{1\mathrm{/}n}{)}^n=a$, The canonical natural $\iota (n)=n\cdot 1_F$ of a field, Integer powers in the complex field.

For $n\in \mathbb{N}$ with $n\ge 2$, the sum of all $n$th roots of unity is $0$. The conventions and prerequisite facts used below are recorded in The $n$-th roots of a complex number and the $n$ distinct roots of unity for every $n\ge 1$, $\mathbb{C}=\mathbb{R}[x]\mathrm{/}(x^2+1)$ is a field, every element is uniquely $a+bi$, and every nonzero element has inverse $(a-bi)\mathrm{/}(a^2+b^2)$, Integer powers in the complex field, The product $g_0{g}_1\cdots g_{n-1}$ of a finite list in a monoid, by recursion, with the empty product ($n=0$) equal to the identity, Generalised associativity: in a monoid the product of a finite list does not depend on the bracketing, and in a commutative monoid it does not depend on the order of the factors either.

For $z\mathrm{\ne }0$ with principal polar form $z=r(\cos \theta +i\sin \theta )$, $-\pi <\theta \le \pi$, define the principal logarithm $\mathrm{Log}z:=\log r+i\theta \mathrm{.}$ The set of all complex logarithms of $z$ is ${\log }_{\mathrm{m}\mathrm{u}\mathrm{l}\mathrm{t}\mathrm{i}}z:=\{v\in \mathbb{C}:\exp v=z\}\mathrm{.}$ For $w\in \mathbb{C}$, define the principal power and the multivalued power respectively by $z_{\mathrm{p}\mathrm{r}}^w:=\exp (w\mathrm{Log}z),z_{\mathrm{m}\mathrm{u}\mathrm{l}\mathrm{t}\mathrm{i}}^w:=\{\exp (wv):v\in {\log }_{\mathrm{m}\mathrm{u}\mathrm{l}\mathrm{t}\mathrm{i}}z\}\mathrm{.}$ Thus the first is one specified complex number and the second is a set of complex numbers; neither notation silently identifies them. The conventions and prerequisite facts used below are recorded in Every nonzero complex number has a unique polar form $r(\cos \theta +i\sin \theta )$ with $r>0$ and $-\pi <\theta \le \pi$, The natural logarithm as the inverse of the exponential function, The complex exponential by its power series, $\mathbb{C}=\mathbb{R}[x]\mathrm{/}(x^2+1)$ is a field, every element is uniquely $a+bi$, and every nonzero element has inverse $(a-bi)\mathrm{/}(a^2+b^2)$.

For $z\mathrm{\ne }0$, the solutions of $\exp w=z$ are exactly $\mathrm{Log}z+2\pi ik$ for $k\in \mathbb{Z}$. The conventions and prerequisite facts used below are recorded in Complex logarithms, the principal logarithm, and principal and multivalued complex powers, $\ker (\exp )=2\pi i\mathbb{Z}$, and $\exp z=\exp w$ exactly when $z-w\in 2\pi i\mathbb{Z}$, The complex exponential maps $\mathbb{C}$ onto $\mathbb{C}\setminus \{0\}$.

There is no continuous function $L:\mathbb{C}\setminus \{0\}\to \mathbb{C}$ satisfying $\exp (L(z))=z$ for every $z\mathrm{\ne }0$. The conventions and prerequisite facts used below are recorded in Complex logarithms, the principal logarithm, and principal and multivalued complex powers, $\ker (\exp )=2\pi i\mathbb{Z}$, and $\exp z=\exp w$ exactly when $z-w\in 2\pi i\mathbb{Z}$, $\exp (z+w)=\exp z\exp w$, and the complex exponential extends the real exponential, The Euclidean metric, convergence, Cauchy sequences, and continuity on the complex plane, Euler's formula: $\exp (i\theta )=\cos \theta +i\sin \theta$ for every real $\theta$, The derivatives of sine and cosine are cosine and minus sine, A vector-valued function has a limit, or is continuous, if and only if each of its components does; with the algebra of continuous vector-valued functions, and Intermediate value theorem, by bisection with a canonical left-half rule: a continuous function on $[a,b]$ takes every value between $f(a)$ and $f(b)$.