Introduction and motivation – Serlo

Aus Wikibooks

We now come to an important topic in higher mathematics: complex numbers. With Complex Analysis, there exists a whole area (worth an entire lecture course) that deals with complex numbers and functions on the complex numbers. Complex numbers are also used in physics. They are used to describe vibrations or electrical resistance. Besides the motivation we want to deal with the intuition behind the complex numbers. Furthermore we will also learn about properties of complex numbers.

Motivation (historical)[Bearbeiten]

Why consider complex numbers? The most common motivation is defining a solution to equations like . This equation is not solvable using real numbers. One extends the set (actually field) of real numbers and defines the "new number" as a solution of the above equation.

The beginning of the complex numbers was marked by the findings of the Italian mathematicians Niccolò Fontana Tartaglia. (1500-1557) and Gerolamo Cardano (1501-1576). Basically, however, it was not about the solution of equations of the form with negative radicals, but about the solution of cubic equations. At this time methods for the solution of linear and quadratic equations were already known. However, this was not yet the case for cubic equations, i.e. equations of the form with . Tartaglia found a solution formula for special cubic equations of the form with and :

Cardano, who was given the formula by Tartaglia, realised that for certain values of and the formula contained a root with negative radicals. Thus, for and :

Such roots as were considered "not resolvable" at that time. One could not imagine that the square of a number could be a negative result. However, it was already known that every cubic function always has an intersection with the axis and thus a root.

Rafael Bombelli, a student of Cardano, came to the conclusion that he simply had to define a new type of number, which gives a negative number when being squared. He introduced the numbers and , which he regarded as a new sign. For example he determined . By applying the existing arithmetic laws to these new numbers (with the peculiarity that ), he came to the following result:

Thus, formally speaking, . Analogously, . Bombelli could hence use Cardano's formula to find the solution of the equation :

Using roots of negative numbers (i.e.imaginary numbers) as an intermediate tool, it was finally possible to construct real-valued solutions to the above equation. Interestingly, Bombelli dismissed his discovery as "useless". The newly created type of number was still the subject of numerous discussions later on, as this type of number could be used to explain interesting phenomena in analysis, such as the "Eulerian formula" named after the famous mathematician Leonard Euler. It was only Euler who introduced the symbol for the imaginary unit in 1777. They seemingly have no correspondence in real life. (How would you measure a distance of miles?) Thus the name "imaginary" numbers. But actually, with some work, one can describe real life-phenomena with them. So they are technically not different from real numbers - just parts of models in our brains which describe and predict the outside world ;)

Deriving the imaginary unit[Bearbeiten]

At the school, the "set of feasible numbers" has been constantly expanded. Starting with the natural numbers, first the integers were introduced, then the rational came and finally the real numbers. With each expansion, new arithmetical operations could be carried out: The transition to the integers allowed subtractions like , in the rational numbers arbitrary divisions like were possible and in the real numbers any root of positive numbers like could be calculated.

Each extension allowed for solving new equations. For instance, can be solved in the integers, which is not yet the case in the natural numbers. Equations like require for the solution the transition to the rational numbers and equations like the transition to the real numbers.

We now consider the equation . In school we would say that this equation has no solution because we are not allowed to take a root of the negative number . Is it possible that by extending our set of numbers this equation becomes solvable? After all, previously unsolvable equations could already be solved by introducting new numbers.

Let us assume that we may take roots from negative numbers. Then is a solution of the equation . If we assume that we can apply the calculation rules of the root known to us, we obtain

We can transfer our solution to a product of the real number with . This trick can be applied to any root of a negative number. Each of these roots can be represented as the product of a real number with . So if we know what is, we can calculate the root of any negative number.

Now in the new set of imaginary numbers, our known calculation rules of the root cannot apply. Otherwise we would get the following contradiction:

We must therefore be careful when we take roots of negative numbers. Nevertheless, the equation shows us a possible important connection. From a solution of the equation (namely ) we can obtain a solution of the equation (namely . We can show this connection even without using "root rules":

The connection privides us with a solution for , if a solution of is known. We only have to multiply it by . This connection has already been indicated with . In an analogous way we should be able to solve other quadratic equations, if we know a solution for the equation .

Let us now introduce as a solution of the equation . What this number is, we do not know. We simply imagine that such a number exists. Appropriately is called imaginary number or imaginary unit in mathematics. With this we can also give a solution of the equation . As we derived it above, such a solution is .

The complex plane[Bearbeiten]

What is the imaginary unit?[Bearbeiten]

How can we visualize the imaginary number ? Let us first take a step back and look at the real numbers. These can be visualized as dots on the real line:

The real number line with numbers from -3 to +3
The real number line with numbers from -3 to +3

The imaginary unit does not lie on the real number line, since is not a real number. However, we can find out where is by means of the property . First we illustrate the operation of multiplication with . If we multiply any number by , it is reflected at to :

This plane shows a reflection of x at 0.
This plane shows a reflection of x at 0.

This reflection is the same in the plane as a rotation of around the origin:

This plane shows a rotation of x by 180 degrees around 0.
This plane shows a rotation of x by 180 degrees around 0.

So the operation is a -rotation. Now so we can translate the operation into . The multiplication of by thus corresponds to an operation which, if applied twice, causes a rotation.

So we have to think about how we can divide a -rotation into two identical operations. It is obvious that these operations are two -rotations. We conclude that by multiplying the number is rotated by . This allows us to consider where is located. The value is . So results from a -rotation of . The imaginary number is located straight above the origin at a distance from the real line:

This plane shows a rotation of x by 90 degrees around 0, which is equivalent to multiplication by i.
This plane shows a rotation of x by 90 degrees around 0, which is equivalent to multiplication by i.

Note that we could have turned both clockwise and counterclockwise to determine the position of . We choose here the anti-clockwise rotation, since angles in Mathematics are always given in this direction of rotation. Now we know where lies. But where is , , ? If we multiply by or , these points are rotated by . Thus, like , they lie perpendicular to the zero, but have the distance or from the origin:

This plane shows a rotation of 1,2,x,a by 90 degrees around 0, which is equivalent to multiplication by i.
This plane shows a rotation of 1,2,x,a by 90 degrees around 0, which is equivalent to multiplication by i.

Now let us choose any positive real number . Where is on the plane? Just as for and , our number undergoes a rotation when multiplying . The result is straight above . The distance to the origin remains invariant. This means that is as far from the zero as .

Negative numbers on the other hand are on the real line to the left of the zero. If we rotate the number by around the zero, it lands exactly below the origin. As with the positive numbers, the distance from the zero remains the same when the number is rotated. If we connect the newly found points , , , , a straight line is formed. It is perpendicular to the real line and passes through the zero.

Let us consider any in . Then lies on this straight line. If we have a point on the straight line, then there is a real number , with being exactly this point. So the following applies: The straight line contains exactly the numbers where is a real number:

This plane shows a rotation of 1,2,x,a by 90 degrees around 0, which is equivalent to multiplication by i.
This plane shows a rotation of 1,2,x,a by 90 degrees around 0, which is equivalent to multiplication by i.

Deriving [Bearbeiten]

We have two straight lines, the real line and the newly constructed ("imaginary") straight line. The two lines form two axes of a coordinate system. The real line is then naturally called the real axis and the line perpendicular to it is called the imaginary axis. What do the points inside the coordinate system correspond to? For the point we have to go five whole steps from the zero to the right. So describes the real number . This works similarly with . To reach this point we have to go two steps to the left along the real axis to . If we go three steps upwards from zero we reach . Thus the point corresponds to the number . If we want to reach , we have to go four steps down to the point .

Complex plane with 5 points
Complex plane with 5 points

And which number describes ? To reach the point , we can first take steps to the right and then steps up. Here we use the well-known vector calculation (syllabus in most high schools around the world) in the plane to obtain . As we have already found out, corresponds to the number and describes . Consequently, represents the number . But we can also first take steps upwards and then steps to the right to reach . Then we get as a corresponding number . It should not matter if we first move to the right and then up or the other way round. Therefore must apply. By convention one always writes this number as ("real part first").

In the same way, we can proceed for any real numbers to find the corresponding number to the point in the complex plane. We go to the right by and upwards by . For we get the corresponding number .

Although there is a plus here, we cannot further simplify the formula. We can not transform into a simpler expression (of purely real numbers or purely multiple of without the plus), as the tuple cannot be expressed with only 1 coordinate. However, the expression can be used for calculations. If we calculate with , we treat the plus as usual.

But why would we also need numbers of the form ? Let us first remember why we introduced . We wanted to solve the equation . Since this equation has no real solution, we needed . Let us now look at the equation . Using the second binomial formula we can transform the equation:

The conversion to makes clear that no real number can fulfil this equation. If is a real number, then is also real and . Let us now try to solve this equation with the help of complex numbers. We know that . So we look for an such that . If we had such an , then and we would have solved the equation. The result is . Our solution is in the form with real numbers and ! Therefore it makes sense that we not only consider numbers of the form but also . In this way, additional previously unsolvable quadratic equations can be solved.

We call a general complex number. We call the set of all those complex numbers . The set of all exactly corresponds to the set of all points on the 2D-plane which is spanned by the real and imaginary axis. This plane is mathematically called complex plane:

The complex plane
The complex plane

We have "equated" the complex numbers with the plane using the equation . (Mathematically, we have constructed a bijection between both sets, which assigns to ). Now we can calculate with complex numbers as we are used to with vectors from the plane. Besides addition (which is possible for vectors as well as for complex numbers), we can also multiply with complex numbers (which we cannot do with vectors!). We can even show that the complex numbers with their addition and multiplication form a field. The structure for calculating in complex numbers is thus similar to what we are used to from real numbers.