Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

2.3: Polar Form and Geometric Interpretation

( \newcommand{\kernel}{\mathrm{null}\,}\)

As mentioned above, C coincides with the plane R2 when viewed as a set of ordered pairs of real numbers. Therefore, we can use polar coordinates as an alternate way to uniquely identify a complex number. This gives rise to the so-called polar form for a complex number, which often turns out to be a convenient representation for complex numbers.

Polar form for complex numbers

The following diagram summarizes the relations between Cartesian and polar coordinates in R2:

Screen shot 2014-01-03 at 12.20.51 PM.png

We call the ordered pair (x,y) the rectangular coordinates for the complex number z.

We also call the ordered pair (r,θ) the polar coordinates for the complex number z. The radius r=|z| is called the modulus of z (as defined in Section 2.2.4 above), and the angle θ=Arg(z) is called the argument of z. Since the argument of a complex number describes an angle that is measured relative to the x-axis, it is important to note that θ is only well-defined up to adding multiples of 2π. As such, we restrict θ[0,2π) and add or subtract multiples of 2π as needed (e.g., when multiplying two complex numbers so that their arguments are added together) in order to keep the argument within this range of values.

It is straightforward to transform polar coordinates into rectangular coordinates using the equations

x=rcos(θ)andy=rsin(θ).

In order to transform rectangular coordinates into polar coordinates, we first note that r=x2+y2 is just the complex modulus. Then, θ must be chosen so that it satisfies the bounds 0θ<2π in addition to the simultaneous equations (2.3.1) where we are assuming that z0.

Summarizing:

z=x+yi=rcos(θ)+rsin(θ)i=r(cos(θ)+sin(θ)i).

Part of the utility of this expression is that the size r=|z| of z is explicitly part of the very definition since it is easy to check that |cos(θ)+sin(θ)i|=1 for any choice of θR.

Closely related is the exponential form for complex numbers, which does nothing more than replace the expression cos(θ)+sin(θ)i with eiθ. The real power of this definition is that this exponential notation turns out to be completely consistent with the usual usage of exponential notation for real numbers.

Example 2.3.1:

The complex number i in polar coordinates is expressed as eiπ/2, whereas the number 1 is given by eiπ.

2.3.2 Geometric multiplication for complex numbers

As discussed in Section 2.3.1 above, the general exponential form for a complex number z is an expression of the form reiθ where r is a non-negative real number and θ[0,2π). The utility of this notation is immediately observed when multiplying two complex numbers:

Note

Lemma 2.3.2. Let z1=r1eiθ1,z2=r2eiθ2C be complex numbers in exponential form. Then

z1z2=r1r2ei(θ1+θ2).

Proof.

By direct computation,

z1z2=(r1eiθ1)(r2eiθ2)=r1r2eiθ1eiθ2=r1r2(cosθ1+isinθ1)(cosθ2+isinθ2)=r1r2[(cosθ1cosθ2sinθ1sinθ2)+i(sinθ1cosθ2+cosθ1sinθ2)]=r1r2[cos(θ1+θ2)+isin(θ1+θ2)]=r1r2ei(θ1+θ2),

where we have used the usual formulas for the sine and cosine of the sum of two angles.

In particular, Lemma 2.3.2 shows that the modulus |z1z2| of the product is the product of the moduli r1 and r2 and that the argument Arg(z1z2) of the product is the sum of the arguments θ1+θ2.

2.3.3 Exponentiation and root extraction

Another important use for the polar form of a complex number is in exponentiation. The simplest possible situation here involves the use of a positive integer as a power, in which case exponentiation is nothing more than repeated multiplication. Given the observations in Section 2.3.2 above and using some trigonometric identities, one quickly obtains the following fundamental result.

Theorem 2.3.3. Let z=r(cos(θ)+sin(θ)i) be a complex number in polar form and nZ+ be a positive integer. Then

  1. the exponentiation zn=rn(cos(nθ)+sin(nθ)i) and
  2. the nth roots of z are given by the n complex numbers

zk=r1/n[cos(θn+2πkn)+sin(θn+2πkn)i]=r1/nein(θ+2πk),

where k=0,1,2,,n1.

Note, in particular, that we are not only always guaranteed the existence of an nth root for any complex number, but that we are also always guaranteed to have exactly n of them. This level of completeness in root extraction contrasts very sharply with the delicate care that must be taken when one wishes to extract roots of real numbers without the aid of complex numbers.

An important special case of de Moivre's Formula yields an infinite family of well-studied numbers called the roots of unity. By unity, we just mean the complex number 1=1+0i, and by the nth roots of unity, we mean the n numbers

zk = 11/n[cos(0n+2πkn)+sin(0n+2πkn)i] = cos(2πkn)+sin(2πkn)i = e2πi(k/n),


where k=0,1,2,,n1. These numbers have many interesting properties and important applications despite how simple they might appear to be.

Example 2.3.4

To find all solutions of the equation z3+8=0 for zC, we may write z=reiθ in polar form with r>0 and θ[0,2π). Then the equation z3+8=0 becomes z3=r3ei3θ=8=8eiπ so that r=2 and 3θ=π+2πk for k=0,1,2. This means that there are three distinct solutions when θ[0,2π), namely θ=π3, θ=π, and θ=5π3.

2.3.4 Some complex elementary functions

We conclude these notes by defining three of the basic elementary functions that take complex arguments. In this context, ``elementary function'' is used as a technical term and essentially means something like ``one of the most common forms of functions encountered when beginning to learn Calculus.'' The most basic elementary functions include the familiar polynomial and algebraic functions, such as the nth root function, in addition to the somewhat more sophisticated exponential function, the trigonometric functions, and the logarithmic function. For the purposes of these notes, we will now define the complex exponential function and two complex trigonometric functions. Definitions for the remaining basic elementary functions can be found in any book on Complex Analysis.

The basic groundwork for defining the complex exponential function was already put into place in Sections 2.3.1 and 2.3.2 above. In particular, we have already defined the expression eiθ to mean the sum cos(θ)+sin(θ)i for any real number θ. Historically, this equivalence is a special case of the more general Euler's formula:

ex+yi=ex(cos(y)+sin(y)i),

which we here take as our definition of the complex exponential function applied to any complex number x+yi for x,yR.

Given this exponential function, one can then define the complex sine function and the complex cosine function as

sin(z)=eizeiz2iandcos(z)=eiz+eiz2.

Remarkably, these functions retain many of their familiar properties, which should be taken as a sign that the definitions --- however abstract --- have been well thought-out. We summarize a few of these properties as follows.

Theorem 2.3.5

Given z1,z2C,

  1. ez1+z2=ez1ez2 and ez0 for any choice of zC.
  2. sin2(z1)+cos2(z1)=1.
  3. sin(z1+z2)=sin(z1)cos(z2)+cos(z1)sin(z2).
  4. cos(z1+z2)=cos(z1)cos(z2)sin(z1)sin(z2).


This page titled 2.3: Polar Form and Geometric Interpretation is shared under a not declared license and was authored, remixed, and/or curated by Isaiah Lankham, Bruno Nachtergaele, & Anne Schilling.

  • Was this article helpful?

Support Center

How can we help?