## Plus Advent Calendar Door #17: Complex square roots

*This article about complex numbers is a little advanced. See here for a basic introduction to complex numbers.*

Every positive real number has two square roots, one being the negative of the other. It's easy to tell them apart by specifying whether you're looking at the positive or the negative square root. This means you can unambiguously define the square root function

over all the non-negative real numbers (the positive real numbers and 0).

The graph of the positive square root function defined over the non-negative real numbers.

When it comes to the square root of complex numbers, things are a little tricker. Before we start, recall that according to Euler’s formula a complex number can be written as

where are the *polar coordinates* of the point in the plane associated to . Here is the distance from that point to the point and is the angle formed by the line connecting the point to and the positive -axis (measured anti-clockwise).

A complex number represented as a point on the plane in polar coordinates.

(See this article for more detail on Euler's formula.)

Before we carry on, we note two things. The first is that, for any positive real number and angle , we have

You can convince yourself that this is true by noting that the point with polar coordinates is the same as the point with polar coordinates . That's because the angle corresponds to a full turn of the circle, so adding to a polar angle gets you back to where you started.

The second thing to note is that we can also say what we mean by

where is positive. Since

we can think of the complex number as represented by the point at distance from , with the angle measured in the clockwise, rather than anti-clockwise, direction from the positive -axis.

A negative angle can be interpreted as an angle measured in the clockwise direction from the positive *x*-axis.

### Taking the square root

When it comes to the square root of a complex number we again have two options, as we did for square roots of real numbers. The first is

Let’s just check this works:

as required.

The second option is

Again let’s check:

as required.

The two square roots (shown in red) for *z* (shown in blue).

Our two expressions,

are called the two *branches* of the square root.

### Defining a function

Let’s start by defining our square root function on the non-negative real line. We will define the function so that for a real number on this non-negative real line, the function corresponds to the positive square root .

This means that we need to choose the first of our two branches above, so

Let’s see what happens if we extend this definition to a little sector of the complex plane which contains the non-negative real line. For example, let’s define

The Geogebra applet below illustrates that there is no problem with this definition. It is un-ambiguous and also gives us a continuous function: when you use the sliders to vary and , you see that (shown in red) changes continuously as (shown in blue) changes.

Why can’t we define our function on the whole plane in the same way?

Well, consider what happens as you approach a point on the negative real line from above and from below. We can approach the point from above by looking at points with increasing from to . Since our function is

the value of approaches

To approach our point from below we can look at points with decreasing from to . Since our function is

the value of now approaches

Therefore, if we defined our function as

on the whole complex plane, it would not be continuous on the negative real line. As we approach a point on the negative real line from above, the function approaches , but as we approach from below, the function approaches .

You can see this in the Geogebra applet below. Use the slider for to move it towards (to the right) and towards (to the left).

The problem of the discontinuity doesn’t occur just because we chose the "wrong" branch to define our function. If we had chosen to define the function as

in an analogous way, it would also have been discontinuous on the negative real line.

In summary, the complex square root is a *multi-valued* function that can’t be defined un-ambiguously on the whole complex plane in a way that makes it continuous.

There is, however, a clever trick that gets us around this problem. The idea is to create a new surface on which it is possible to define a function for the complex square root in a continuous way. This so-called *Riemann surface* is shown below.

The Riemann surface associated to the complex square root, represented in three dimensions. A loop around the point 0 on this surface (which is right at the centre) will take you once around the top sheet and once around the bottom sheet. Figure: Jan Homann.

*Return to the Plus advent calendar 2021.*

*This article is part of our collaboration with the Isaac Newton Institute for Mathematical Sciences (INI), an international research centre and our neighbour here on the University of Cambridge's maths campus. INI attracts leading mathematical scientists from all over the world, and is open to all. Visit www.newton.ac.uk to find out more.*