The real numbers can solve first-degree equations ax+b=0, a,b∈R with a=0. They cannot,
however, solve every second-degree equation with real coefficients; for example
the 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,b∈R, where i∫2; Re(z)=a; Im(z)=b.
Representation of numbers in the complex plane:
1+2i;3+i;−2−3i;−2+i
Plane vectors with their origin at the origin of the axes (0,0) can be
represented by a pair of real numbers (a,b) (the tip of the vector). The complex
number z=a+ib is represented in the plane by the same point as the vector
(a,b).
Operations with complex numbers.
Let z∫1 and z∫2
z∫1;
z∫1;
⋂1=⋂a; ⋂z∫2z∫1=⋂a∫1;
Conjugate complex numbers
∏z=∏a+ib=a−ib is called the conjugate of the complex number z=a+ib.
We have: a)a=⋂z+∏z; ib=⋂z−∏z; b)z∈R if and only if ∏z=z;
c)z is purely imaginary if and only if ∏z=−z; d)∏αz=α⋅∏z,∀α∈R
Let z=a+ib and z′=a′+ib′ be two complex numbers. We have:
a)∏z+z′=∏z+∏z′; b)∏z⋅z′=∏z⋅∏z′; c)⋂z=⋂z⋅∏z′,z′=0.
The modulus of a complex number
Let 
For every complex number z∈C,z=a+ib we have:
1)
; 2)
; 3)
; 4)
.
If z∫1, then: 5)
; 6)
;
- The triangle inequality
.
Trigonometric form of a complex number
Let z∈C∫∗,z=a+ib. There exist unique
and ϕ∈[0,2π] such that: z=ρ(cosϕ+isinϕ);
cosϕ=⋂a, sinϕ=⋂b.
Let z∫1 and z∫2
z∫1 ⋂1
⋃z∫1n=
De Moivre's formula:
.
Expanding the left-hand side using the binomial theorem gives the following
relation:
Euler's formula:
so for θ=π⇒
.
Applications of complex numbers in geometry
The equation of the circle with centre M∫0 and radius r>0 is 
Let the points M∫1 and M∫2. We have
.
Let the points
,
,
. Then 
Given the points
,
,
,
, the lines
and
are
perpendicular if and only if
is purely imaginary, that is
.
The points
,
,
,
are concyclic if and only if
.
Two triangles
and
, with vertices of affix
and
respectively, are similar if and only if:
.
The complex number ε
The cube roots of unity
The solutions of the equation x∫3 are the complex roots of the polynomial
f=x∫3, f∈C[x]
x∫3 x−1=0;
⇒ x∫1
x∫2 ⇒ Δ=b∫2
⇒ x∫2,3
We adopt the following notation:
Properties:
ε∫3
ε∫2
ε∫2
1∫−1, ε∫−1, (ε∫2
| | |
|---|
| ε∫0ε∫1ε∫2 | ε∫3ε∫4ε∫5 | ε∫3kε∫3k+1ε∫3k+2 |
Trigonometric form of the complex number ε
x∫3 ⇒x∫3
⋃13=cos(⋂2kπ)+isin(⋂2kπ), k=0,1,2
for k=0 we have: ⋃13=cos(⋂2kπ)+isin(⋂2kπ)=cos(⋂2⋅0⋅π)+isin(⋂2⋅0⋅π)=cos(0)+isin(0)=1+i⋅0=1 for k=1 we have: ⋃13=cos(⋂2kπ)+isin(⋂2kπ)=cos(⋂2⋅1⋅π)+isin(⋂2⋅1⋅π)=cos(⋂2π)+isin(⋂2π)=−⋂1+i⋂⋃32
for k=2 we have: ⋃13=cos(⋂2kπ)+isin(⋂2kπ)=cos(⋂2⋅2⋅π)+isin(⋂2⋅2⋅π)=cos(⋂4π)+isin(⋂4π)=−⋂1−i⋂⋃32
Graphical representation of the cube roots:
Remark. The roots of the polynomial f=x∫n, f∈C[x], n∈N∫∗ are:
x∫kx∫0
For n=6 we have the following roots:
For n=4 we have the following roots:
k=0,1,2,...,n−1
For brevity we use the following notation:
.
Graphical representation of the solutions of the equation 