# 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.

### Like this:

Posted by John Armstrong | 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 | 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 | 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 | July 28, 2009 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.

• ## Feedback

Got something to say? Anonymous questions, comments, and suggestions at Formspring.me!
%d bloggers like this:
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 32, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9172317981719971, "perplexity_flag": "head"}