The real number system is incomplete in a fundamental way: the equation x^2 + 1 = 0 has no real solution because the square of a real number is never negative. To overcome this limitation, mathematicians introduced a new number, denoted by i, defined so that i^2 = -1. The symbol i is called the imaginary unit, and this chapter develops the entire system of complex numbers built upon it.
The chapter begins by defining complex numbers and the operations of addition, multiplication, and division on them. It then introduces the conjugate and modulus of a complex number, the Argand plane representation, and the polar form, including the famous formula of De Moivre. The chapter also explores the quadratic formula when the discriminant is negative, producing complex roots, and proves the fundamental theorem that every quadratic equation has exactly two roots in the complex number system.
Complex numbers are not just a theoretical curiosity. They are indispensable in electrical engineering, signal processing, quantum mechanics, and fluid dynamics. In mathematics, they connect algebra and geometry through the Argand plane and provide a natural setting for the Fundamental Theorem of Algebra. This chapter is the gateway to all of that.
A number of the form a + bi, where a and b are real numbers and i^2 = -1, is called a complex number. It is usually denoted by z = a + bi.
Two complex numbers z1 = a + bi and z2 = c + di are equal if and only if a = c and b = d. A complex number with b = 0 is purely real; with a = 0, it is called purely imaginary.
The operations of addition and multiplication satisfy the commutative, associative, and distributive laws, just as in the real number system. The additive identity is 0 + 0i and the multiplicative identity is 1 + 0i.
The powers of i follow a cyclic pattern:
i^1 = i, i^2 = -1, i^3 = -i, i^4 = 1, and then the cycle repeats.
In general, i^(4k) = 1, i^(4k+1) = i, i^(4k+2) = -1, i^(4k+3) = -i. To evaluate i^n, divide n by 4 and use the remainder.
Example: i^57 = i^(56+1) = i^56 x i = (i^4)^14 x i = 1 x i = i.
Also note i + i^2 + i^3 + i^4 = 0, and in general the sum of four consecutive powers of i is zero.
The conjugate of z = a + bi is z bar = a - bi. The conjugate is obtained by changing the sign of the imaginary part.
The modulus of z = a + bi is |z| = sqrt(a^2 + b^2), which is always a non-negative real number.
A complex number z = a + bi can be represented as the point (a, b) in the coordinate plane, called the complex plane or Argand plane. The x-axis is the real axis and the y-axis is the imaginary axis.
The locus of points satisfying |z - z0| = r is a circle of radius r centred at z0.
Let z = a + bi be a complex number represented by point P(a, b) in the Argand plane. Let r = |z| and theta be the angle made by OP with the positive real axis. Then:
a = r cos theta, b = r sin theta
so that z = r(cos theta + i sin theta). This is the polar form of z. Here r is the modulus and theta is called the argument of z, written arg(z).
The argument is not unique; adding any multiple of 2pi gives the same complex number. The value of the argument in (-pi, pi] is called the principal argument.
From Cartesian to polar: r = sqrt(a^2 + b^2), tan theta = b/a (with the correct quadrant taken into account). From polar to Cartesian: a = r cos theta, b = r sin theta.
If z1 = r1 (cos theta1 + i sin theta1) and z2 = r2 (cos theta2 + i sin theta2), then:
z1 z2 = r1 r2 (cos (theta1 + theta2) + i sin (theta1 + theta2)) z1/z2 = (r1/r2)(cos (theta1 - theta2) + i sin (theta1 - theta2))
(cos theta + i sin theta)^n = cos (n theta) + i sin (n theta) for any integer n.
For the quadratic equation ax^2 + bx + c = 0 with a not equal to 0 and a, b, c real, the roots are:
x = (-b +/- sqrt(b^2 - 4ac))/(2a)
The quantity D = b^2 - 4ac is called the discriminant.
When D < 0, the square root of the negative discriminant is handled using i. For example, the roots of x^2 + 1 = 0 are x = -i and x = i.
If alpha and beta are the roots of ax^2 + bx + c = 0, then:
alpha + beta = -b/a and alpha . beta = c/a
These relations remain valid even when the roots are complex.
For the equation a z^2 + b z + c = 0 with complex coefficients, the same quadratic formula applies:
z = (-b +/- sqrt(b^2 - 4ac))/(2a)
In the complex number system, every quadratic equation has exactly two roots, and they may be complex. The sum and product relations alpha + beta = -b/a and alpha . beta = c/a hold here as well.
This result is a special case of the Fundamental Theorem of Algebra, which states that every polynomial equation of degree n has exactly n roots counted with multiplicity in the complex number system.
| Power | Value | Remainder on division by 4 |
|---|---|---|
| i^1 | i | 1 |
| i^2 | -1 | 2 |
| i^3 | -i | 3 |
| i^4 | 1 | 0 |
| i^4k + i^4k+1 + i^4k+2 + i^4k+3 | 0 | - |
| Discriminant D = b^2 - 4ac | Nature of roots | Example x^2 - 4x + 4 = 0 |
|---|---|---|
| D > 0 | Real and distinct | Two different real roots |
| D = 0 | Real and equal | x = 2, x = 2 |
| D < 0 | Complex conjugates | Roots of x^2 + 1 = 0: i and -i |
Complex numbers complete the number system by providing solutions to every polynomial equation, and they unify algebra with geometry through the Argand plane. The operations of conjugation, the modulus, and the polar form give us powerful tools for computation and visualisation, while De Moivre's theorem links complex numbers to trigonometry. The quadratic formula, extended to complex roots, ensures that every quadratic equation has exactly two roots, a fact that underlies the Fundamental Theorem of Algebra. These ideas are essential for advanced mathematics, physics, and engineering, and they form the basis for the study of complex analysis in higher education.