homechevron_rightStudychevron_rightMathchevron_rightAlgebrachevron_rightlinear algebra

Complex numbers

The calculator displays complex number and its conjugate on the complex plane, evaluate complex number absolute value and principal value of the argument . It also demonstrates elementary operations on complex numbers.

Starting from 16th century mathematicians faced necessity of the special numbers, known nowadays as complex numbers. The complex number is a number of the form a+bi, where a,b — real numbers, i — imaginary unit is a solution of the equation: i2=-1.

It's interesting to trace the evolution of the mathematician opinions on the complex number problems. Here are some quotes from ancient works on this topic:

  • 16th century : So progresses arithmetic subtlety the end
    of which... is as refined as it is useless. 1
  • 17th century : This miracle of analysis, this marvel of the world of ideas, an almost amphibian object between Being and Non-being that we call the imaginary number. 2
  • 18th century : Square roots from the negative numbers are not equal zero, they are not less than zero, they are not great than zero. The negative number square roots cannot belong to the real numbers, so they are unreal numbers. This circumstance make use to think of the numbers, which are inherently impossible and are usually called imaginary, because they are only in the mind can be imagined. 3
  • 19th century No one questions the exactness of the results which we obtain by the Calculus of imaginary quantities, although they are but algebraic forms, and the hieroglyphics of unreal quantities. 4

It is used several ways of complex number defining. We'll show three of them

Algebraic form

z = a + bi,
where a and b - real numbers, i - imaginary unit, so that i2=-1. a - corresponds to real part, b - imaginary part.

Polar form

z = r (\cos \vaphi +i \sin \varphi),
where r - absolute value of complex number:
r = |z| =\sqrt{a^2+b^2}
is a distance between pont 0 and complex point on the complex plane, and φ is an angle between positive real axis and the complex vector (argument).

Exponential form (Euler's form)

z = r e^{i\varphi} is a simplified version of the polar form followed from Euler's formula.

PLANETCALC, Complex number

Complex number

Digits after the decimal point: 2
In polar form
 
In Euler form
 
Complex number
 
Absolute value
 
Argument principal value (rad)
 
Argument principal value (degrees)
 
Conjugate
 
Complex plane



Complex number argument is a multivalued function arg(z)=\varphi+2\pi{k}, for integer k. Principal value of the argument is a single value in the open period (-π..π].
Principal value can be calculated from algebraic form using the formula below:
\varphi =\arg(z)={\begin{cases}\arctan \left({\dfrac {y}{x}}\right)&{\text{if }}x>0\\\arctan \left({\dfrac {y}{x}}\right)+\pi &{\text{if }}x<0{\text{ and }}y\geq 0\\\arctan \left({\dfrac {y}{x}}\right)-\pi &{\text{if }}x<0{\text{ and }}y<0\\{\dfrac {\pi }{2}}&{\text{if }}x=0{\text{ and }}y>0\\-{\dfrac {\pi }{2}}&{\text{if }}x=0{\text{ and }}y<0\\{\text{indeterminate }}&{\text{if }}x=0{\text{ and }}y=0.\end{cases}}
This algorithm is implemented in javascript Math.atan2 function.

All elementary arithmetic operations is defined for complex number:

PLANETCALC, Complex number elementary operations

Complex number elementary operations

Digits after the decimal point: 2
Result (z)
 
Results

Complex number addition

One complex number can be added to another in the same way as polynomials:
 z_1+z_2 = (a_1+a_2)+(b_1+b_2)i

Complex number multiplication

Using complex number definition i*i=-1, we can easily elaborate complex number multiplication formula:
 z_1 \dot z_2 = ({a_1}{a_2}-{b_1}{b_2}) + ({a_1}{b_2}+{a_2}{b_1})i

Complex number division

To derive complex number division formula we multiply both numerator and denominator by the complex number conjugate (to eliminate imaginary unit in denominator):
\frac{z_1}{z_2}=\frac{{z_1}\overline {z_2}}{{z_2}\overline {z_2}}
Conjugate is defined as:
\overline z = a-b i
So the final division formula is:
\frac{z_1}{z_2}=\frac{a_1a_2+b_1b_2}{a_2^2+b_2^2}+\frac{b_1a_2-a_1b_2}{a_2^2+b_2^2}i

Complex number exponentiation

Using Euler's form it looks like pretty simple:
z^n=r^ne^{{i}{n}\phi}
This formula is derived from De Moivre's formula:
{\big (}\cos(x)+i\sin(x){\big )}^{n}=\cos(nx)+i\sin(nx)

n-th degree root

From De Moivre's formula n nth roots of z (the power of 1/n) are given by:
\sqrt[n]{z} = r^{\frac {1}{n}}\left(\cos {\frac {x+2\pi k}{n}}+i\sin {\frac {x+2\pi k}{n}}\right),
there are n roots, where k = 0..n-1 - a root integer index. The roots can be displayed on the complex plane as right polygon vertexes.


  1. G. Cardano, The Great Art or the Rules of Algebra, (1539) 

  2. G. Leibniz, (according to wikipedia) 

  3. L. Euler, Universal arithmetics, (1768) § 142-143 

  4. L. Carnot, Reflexions on the metaphysical principles of the infinitesimal analysis (1797) Tr. by W.R. Brownell p. 104 

Comments