# The Unapologetic Mathematician

## Complex Numbers and the Unit Circle

When I first talked about complex numbers there was one perspective I put off, and now need to come back to. It makes deep use of Euler’s formula, which ties exponentials and trigonometric functions together in the relation

$\displaystyle e^{i\theta}=\cos(\theta)+i\sin(\theta)$

where we’ve written $e$ for $\exp(1)$ and used the exponential property.

Remember that we have a natural basis for the complex numbers as a vector space over the reals: $\left\{1,i\right\}$. If we ask that this natural basis be orthonormal, we get a real inner product on complex numbers, which in turn gives us lengths and angles. In fact, this notion of length is exactly that which we used to define the absolute value of a complex number, in order to get a topology on the field.

So what happens when we look at $e^{i\theta}$? First, we can calculate its length using this inner product, getting

$\displaystyle\left\lvert e^{i\theta}\right\rvert=\cos(\theta)^2+\sin(\theta)^2=1$

by the famous trigonometric identity. That is, every complex number of the form $e^{i\theta}$ lies a unit distance from the complex number ${0}$.

In particular, $1+0i=e^{0i}$ is a nice reference point among such points. We can use it as a fixed post in the complex plane, and measure the angle it makes with any other point. For example, we can calculate the inner product

$\displaystyle\left\langle1,e^{i\theta}\right\rangle=1\cdot\cos(\theta)+0\cdot\sin(\theta)=\cos(\theta)$

and thus we find that the point $e^{i\theta}$ makes an angle $\lvert\theta\rvert$ with our fixed post ${1}$, at least for $-\pi\leq\theta\leq\pi$. We see that $e^{i\theta}$ traces a circle by increasing the angle in one direction as $\theta$ increases from ${0}$ to $\pi$, and increasing the angle in the other direction as $\theta$ decreases from ${0}$ to $-\pi$. For values of $\theta$ outside this range, we can use the fact that

$\displaystyle e^{2\pi i}=\cos(2\pi)+i\sin(2\pi)=1+0i$

to see that the function $e^{i\theta}$ is periodic with period $2\pi$. That is, we can add or subtract whatever multiple of $2\pi$ we need to move $\theta$ within the range $-\pi<\theta\leq\pi$. Thus, as $\theta$ varies the point $e^{i\theta}$ traces out a circle of unit radius, going around and around with period $2\pi$, and every point on the unit circle has a unique representative of this form with $\theta$ in the given range.

May 26, 2009 - Posted by | Fundamentals, Numbers

## 3 Comments »

1. […] Circle Group Yesterday we saw that the unit-length complex numbers are all of the form , where measures the oriented angle from […]

Pingback by The Circle Group « The Unapologetic Mathematician | May 27, 2009 | Reply

2. […] we’ve seen that the unit complex numbers can be written in the form where denotes the (signed) angle between […]

Pingback by Complex Numbers and Polar Coordinates « The Unapologetic Mathematician | May 29, 2009 | Reply

3. […] the analogue of the unitarity condition ? That’s like asking for , and so must be a unit-length complex number. Unitary transformations are like the complex numbers on the unit […]

Pingback by Unitary Transformations « The Unapologetic Mathematician | July 28, 2009 | Reply