Skip to main content

Complex numbers

The real numbers can solve first-degree equations ax+b=0,ax+b=0, a,bR with a0.a,b\in \mathbb{R} \text{ with } a\neq0. They cannot, however, solve every second-degree equation with real coefficients; for example the equation equation This calls for widening the notion of number so that, in the new set of numbers, every second-degree equation with real coefficients has solutions. That extension leads to the notion of a complex number.

A complex number has the form z=a+ib,a,bRz=a+ib,a,b\in R, where i2i\int 2; Re(z)=aRe\left(z\right)=a; Im(z)=bIm\left(z\right)=b.

Representation of numbers in the complex plane:

1+2i;3+i;23i;2+i1+2i; 3+i; -2-3i; -2+i

Plane vectors with their origin at the origin of the axes (0,0)(0,0) can be represented by a pair of real numbers (a,b)(a,b) (the tip of the vector). The complex number z=a+ibz=a+ib is represented in the plane by the same point as the vector (a,b)(a,b).

Operations with complex numbers.

figure

Let z1z\int_{1} and z2z\int_{2}

z1z\int_{1};

z1z\int_{1};

1=a\bigcap 1=\bigcap a; z2z1=a1\bigcap z\int_{2} z\int_{1} =\bigcap a\int_{1};

Conjugate complex numbers

z=a+ib=aib\prod z=\prod a+ib=a-ib is called the conjugate of the complex number z=a+ibz=a+ib.

We have: a)a=z+za=\bigcap z+\prod z; ib=zzib=\bigcap z-\prod z; b)zRz\in R if and only if z=z\prod z=z;

c)zz is purely imaginary if and only if z=z\prod z=-z; d)αz=αz,αR\prod \alpha z=\alpha \cdot \prod z,\forall \alpha \in R

Let z=a+ibz=a+ib and z=a+ibz'=a'+ib' be two complex numbers. We have:

a)z+z=z+z\prod z+z'=\prod z+\prod z'; b)zz=zz\prod z\cdot z'=\prod z\cdot \prod z'; c)z=zz\bigcap z=\bigcap z\cdot \prod z',z0z'\neq0.

The modulus of a complex number

Let equation

For every complex number zC,z=a+ibz\in C,z=a+ib we have:

1)equation; 2)equation; 3)equation; 4)equation.

If z1z\int_{1}, then: 5)equation; 6)equation;

  1. The triangle inequality equation.

Trigonometric form of a complex number

Let zCz\in C\int *,z=a+ibz=a+ib. There exist unique equation and ϕ[0,2π]ϕ\in \left[0,2\pi\right] such that: z=ρ(cosϕ+isinϕ)z=\rho \left(cosϕ+isinϕ\right); cosϕ=acosϕ=\bigcap a, sinϕ=bsinϕ=\bigcap b.

Let z1z\int_{1} and z2z\int_{2}

z1z\int_{1} 1\bigcap 1

equation equation

z1n=\bigcup_{z\int_{1} n} =

De Moivre's formula: equation.

Expanding the left-hand side using the binomial theorem gives the following relation:

equation equation

Euler's formula:

equation so for θ=π\theta=\pi \Rightarrow equation equation equation equation.

Applications of complex numbers in geometry

The equation of the circle with centre M0M\int_{0} and radius r>0r>0 is equation

Let the points M1M\int_{1} and M2M\int_{2}. We have equation.

Let the points equation, equation, equation. Then equation

Given the points equation, equation, equation, equation, the lines equation and equation are perpendicular if and only if equation is purely imaginary, that is equation.

The points equation, equation, equation, equation are concyclic if and only if equation.

Two triangles equation and equation, with vertices of affix equation and equation respectively, are similar if and only if: equation.

The complex number ε\varepsilon

The cube roots of unity

The solutions of the equation x3x\int 3 are the complex roots of the polynomial f=x3f=x\int 3, fC[x]f\in C\left[x\right]

x3x\int 3 x1=0;x-1=0;

\Rightarrow x1x\int_{1}

x2x\int 2 \Rightarrow Δ=b2\Delta=b\int 2

equation\Rightarrow x2,3x\int_{2,3}

We adopt the following notation:

equation equation

Properties:

ε3\varepsilon \int 3

ε2\varepsilon \int 2

ε2\varepsilon \int 2

111\int -1, ε1\varepsilon \int -1, (ε2(\varepsilon \int 2

ε0ε1ε2\varepsilon \int 0\varepsilon \int 1\varepsilon \int 2ε3ε4ε5\varepsilon \int 3\varepsilon \int 4\varepsilon \int 5ε3kε3k+1ε3k+2\varepsilon \int 3k\varepsilon \int 3k+1\varepsilon \int 3k+2

Trigonometric form of the complex number ε\varepsilon

x3x\int 3 x3\Rightarrow x\int 3

13=cos(2kπ)+isin(2kπ),\bigcup_{1} 3=cos(\bigcap 2k\pi)+isin(\bigcap 2k\pi), k=0,1,2k=0,1,2

for k=0 we have: 13=cos(2kπ)+isin(2kπ)=cos(20π)+isin(20π)=cos(0)+isin(0)=1+i0=1\bigcup_{1} 3=cos(\bigcap 2k\pi)+isin(\bigcap 2k\pi)=cos(\bigcap 2\cdot0\cdot \pi)+isin(\bigcap 2\cdot0\cdot \pi)=cos(0)+isin(0)=1+i\cdot0=1 for k=1 we have: 13=cos(2kπ)+isin(2kπ)=cos(21π)+isin(21π)=cos(2π)+isin(2π)=1+i32\bigcup_{1} 3=cos(\bigcap 2k\pi)+isin(\bigcap 2k\pi)=cos(\bigcap 2\cdot1\cdot \pi)+isin(\bigcap 2\cdot1\cdot \pi)=cos(\bigcap 2\pi)+isin(\bigcap 2\pi)=-\bigcap 1+i\bigcap \bigcup 32

for k=2 we have: 13=cos(2kπ)+isin(2kπ)=cos(22π)+isin(22π)=cos(4π)+isin(4π)=1i32\bigcup_{1} 3=cos(\bigcap 2k\pi)+isin(\bigcap 2k\pi)=cos(\bigcap 2\cdot2\cdot \pi)+isin(\bigcap 2\cdot2\cdot \pi)=cos(\bigcap 4\pi)+isin(\bigcap 4\pi)=-\bigcap 1-i\bigcap \bigcup 32

Graphical representation of the cube roots:

Remark. The roots of the polynomial f=xnf=x\int n, fC[x]f\in C\left[x\right], nNn\in N\int * are:

xkx0x\int_{k} x\int_{0}

For n=6 we have the following roots:

equation
equation

For n=4 we have the following roots:

equation
figure

equation k=0,1,2,...,n1k=0,1,2,...,n-1

For brevity we use the following notation: equation.

Graphical representation of the solutions of the equation equation

equation
equation
equation
equation