Next: 6.5 Complex Functions
Up: 6. The Complex Numbers
Previous: 6.3 Roots of Complex
  Index
Let
be a direction in
, with
. Then we know that
are
the vertices of a parallelogram.
Since
, all four sides of the
parallelogram are equal, and thus the parallelogram is a rhombus. Since the
diagonals of a rhombus bisect its angles, the segment from
to
bisects angle
-
-
. Hence I expect that the direction of
(i.e.,
is a square root of
. I can prove that this is the case without using any
geometry.
6.23
Theorem.
Let
be a direction in
with
. Then
is
a square root of
.
Proof: I just need to square
. Well,
Now since
is a direction, we know that
, and hence
6.24
Corollary.
Every complex number has a square root.
Proof: Let
. If
, then clearly
has a square root.
If
, let
be the polar decomposition for
. If
,
then
are square roots of
.
If
, then
are square roots of
.
6.25
Example.
We will find the square roots of

.
Let

. Then
Hence the polar decomposition for

is
The square roots of

are
Now

, so the square roots of

are

.
6.26
Exercise.
Find the square roots of

. Write your
answers in the form

, where

and

are real.
A
Let
. There is a formula for the square root of
that allows you to
say
 |
(6.27) |
and
 |
(6.28) |
6.29
Exercise.
Verify that assertions (
6.27) and (
6.28) are correct.
Next: 6.5 Complex Functions
Up: 6. The Complex Numbers
Previous: 6.3 Roots of Complex
  Index