Mathematics for Chemistry/Complex Numbers
From Wikibooks, the open-content textbooks collection
[edit] Introduction to complex numbers
The equation:
x2 + 6x + 13 = 0
Does not factorise

without complex numbers does not exist. However the number
behaves exactly like any other number in algebra without any anomalies, allowing us to solve this problem.
The solutions are
.
2i is an imaginary number. − 3 − 2i is a complex number.
Two complex numbers (a,b) = a + ib are added by (a,b) + (c,d) = (a + c,b + d) = a + c + i(b + d).
Subtraction is obvious: (a,b) − (c,d) = (a − c,b − d).
(a,b).(c,d) = ac + i(ad + bc) − bd
Division can be worked out as an exercise. It requires(c + id)(c − id) as a common denominator. This is c2 − (id)2, (difference of two squares), and is c2 + d2.
This means

In practice complex numbers allow one to simplify the mathematics of magnetism and angular momentum as well as completing the number system.
There is an apparent one to one correspondence between the Cartesian x - y plane and the complex numbers, x + iy. This is called an Argand diagram. The correspondence is illusory however, because say for example you raise the square root of i to a series of ascending powers. Rather than getting larger it goes round and round in circles around the origin. This is not a property of ordinary numbers and is one of the fundamental features of behaviour in the complex plane.
Plot on the same Argand diagram 
Solve
x2 + 4x + 29 = 0
4x2 − 12x + 25 = 0
x2 + 2ix + 1 = 0
(Answers -2 plus or minus 5i, 3/2 plus or minus 2i, i(-1 plus or minus root 2)
2 important equations to be familiar with, Euler's equation:
eiθ = cosθ + isinθ
and de Moivre's theorem:
(cosθ + isinθ)n = cosnθ + isinnθ
Euler's equation is obvious from looking at the Maclaurin expansion of eiθ.
To find the square root of i we use de Moivre's theorem.

so de Moivre's theorem gives 

Check this by squaring up to give i.
The other root comes from:

de Moivre's theorem can be used to find the three cube roots of unity by
1 = cosθ + isinθ
where θ can be
.
Put n = 1 / 3, cosθ = − 1 / 2 and 


This is the difference of two squares so

Similarly any collection of nth roots of 1 can be obtained this way.
Another example is to get the expressions for cos4θ and sin4θ without expanding cos(2θ + 2θ).
cos4θ + isin4θ = (cosθ + isinθ)4
Remember Pascal's Triangle
1
1 2 1
1 3 3 1
1 4 6 4 1
1 5 10 10 5 1
1 6 15 20 15 6 1
= cos4θ + 4cos3θisinθ + 6cos2θi2sin2θ + 4cosθi3sin3θ + i4sin4θ
= cos4θ − 6cos2θsin2θ + sin4θ + i(4cos3θsinθ − 4cosθsin3θ)
Separating the real and imaginary parts gives the two expressions. This is a lot easier than
cos(2θ + 2θ)
Use the same procedure to get
cos6θ and sin6θ.