We know that there are roots for every polynomial however there are ‘problem polynomials’ such as:
There are problemmatic because they do not have real-valued roots. For the first two cases there are no real roots at all.
The idea of complex numbers is to find a way to treat problem polynomials in an unproblematic way.
In the 17th and 18th century this was a big problem for mathematicians.
Polynomials should have 2 solutions and they are where the graph crosses the x-axis. But what are the roots of a polynomial like this?
Decartes’ calls the roots “imaginery” in his book La Geometrie
“For the rest, neither the false nor the true roots are always real, sometimes they are only imaginary, that is to say one may imagine as many as I said in each equation, but sometimes there exists no quantity corresponding to those one imagines.”
— Rene Descartes
Let’s say we have the equation:
This is easy to solve! The answer is -3 or +3. What about:
Uhh, square root of a negative number? Uh oh. Let’s just invent a name for this, let’s call it an imaginery number.
So we need to square root a negative number, let’s say -1 because anything multipled by -1 is negative. Okay, so we when we square root -1 we get an imaginery number. That menas that when we square an imaginery number we get
Pretending that this number exists actually makes maths easier and more elegant and it works in the wider world of mathematics.
We can actually visualise this quite well. Let’s assume that we have this equation:
This just menas x * x. Let’s say that x is a roation of 90 degrees, than we we rotate 180 (90 * 2) degrees from the number 1 we get… negative 1!
So if we multiply i twice the first multiplication would turn i into -i and the second will turn -i into i.
Skip this if you hate lengthy paragraphs of maths.
The complex numbers are a set described by the symbol .
Given X and Y
The imaginary or complex number Z is where has a real part denoted by with:
has an imaginary part, denoted with
The complex conjugate of z is denoted and is the complex number:
The modulus of Z, denoted |Z| is the positive real number given by:
Okay so we’ve learnt some new things:
Numbers are 2 dimensional. That means that imaginary numbers can be represented using vectors if we so wished.
Can a number be both real and imaginary? Absolutely.
A complex number is both real and imaginery. A complex number is made up of 2 components:
Where a is the real number part and b is the imaginery part.
How do we “measure” the size of complex numbers? With negative and positive numbers we measure how far away it is from 0.
But we can actually use Pythagoras’ therom to measure the size of complex numbers! (Wow, is there anything that this formula ISN’T used for?).
Given 2 complex numbers
Where each complex number has a real number component and an imaginery component.
So let’s say we want to add them together, z = u + v then:
The real number part can be worked out as:
Where you just add the real number parts together
Likewise the imaginery parts can be added together like so:
To work out z, we simply add both of them together:
Subtraction is similar.
Real number part is:
Imaginery part is:
z = u - v is:
This is where things get a little snazzy!
So to get the real number version we do:
Remember that an imaginery number times by an imaginery number is -1.
To find the imaginery part you mix a little bit of both:
To find the complex number you do:
In normal division we can view the operation p/q as multiplying p by the reciprocal of q.
A similar approach is used for complex division where we multiply p by the complex number .
As in standard arthimetic, p/q must satisfy q != 0 as dividing by 0 is bad, so we have a precondition that |z| != 0.
Here’s a super simple way to divide complex numbers.
Let’s do an example.
To perform the division we need to multiply by the reciporcal and to find the reciporcal (called the conjugate) is change the sign between the two terms in the denominator and make that into its own fraction like so:
See, super easy! Now we need to multiply.
Now we distribute (or FOIL) in both the numerator and denominator to remove the parathesis.
Now we simplfy the powers of i:
Combine the like terms:
Write your answer in the form a + bi
Reduce your answer if you can. In this case we cannot.
We can represent complex numbers on a complex plane. This idea isn’t new to you, as it was used earlier to explain how complex numbers exist.
Let’s say we have the complex number:
The number has a real part of 3 and an imaginery part of -5.
We can express this on a plane like so:
or we could use an Argand diagram.
In an Argand diagram the x axis represents the real number part and the y axis represents the imaginery part.
The x coordinate represents the real number part and the y coordinate represents the imaginery part.
The complex conjugate is shown below the original complex number.
We can think of a complex number z = x + iy as a vector from <0, 0> to <x, y>.
The length of this vector is the modulus |Z|.
The conjugate is just the reflection of z in the x-axis.
We know that the trigonometric functions sin and cos are defined with respect to angular measure (theta in radians) and the lengths of lines formed within a circle r.
We don’t want to be thinking about x and y coordinates, what we want to care about is the angle.
TK more on this? Maybe?
This uses a link between polar coordinates and representation on the exponential function.
“Leonard Euler was a milwall support” - My lecturer ????
If we take any number, x, and multiply it by this imaginery number, i, then what Euler discovered is that is exactly the same value and position in the complex plane as
We have the simple form which is x + iy, with the real part being x and the imaginery part being a complex number times by i.
We can view them as coordinates in 2-dimensional systems such as in Argang diagrams. The horizontal axis defines the real number part and the vertical axis gives the imaginery part.
The polar coordinate system we work in a 2 dimensional plane, the complex plane, but now insetad of thinking explicitly in terms of how far along the x axis how far along the y axis we view the complex numbers given by the length fo ap articular line and the angle formed by the vector to the origin roatetd anti-clockwise from the x axis.
In the Euler form we have a complex number who’s modulus is |z| and size is z has an angle with the x axis given by theta as an argument theta and in this case the given complex number is simply r multiplied by the exponential function raised to the value r * theta.
We take the size of the complex number (always a positive number) and then take the positive squareroot of that value and then we multiply the positive squareroot by e^i(0/2).