chapter 3: complex numbers - university of new south...

48
Chapter 3: Complex Numbers Daniel Chan UNSW Semester 1 2018 Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 1 / 48

Upload: haduong

Post on 12-Jul-2018

219 views

Category:

Documents


0 download

TRANSCRIPT

Chapter 3: Complex Numbers

Daniel Chan

UNSW

Semester 1 2018

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 1 / 48

Philosophical discussion about numbers

Q In what sense is −1 a number? DISCUSS

Q Is√−1 a number?

A from your Kindergarten teacher Not a REAL number.

Why not then a non-real number? After all,√−1 exists as an expression, and

as such it pops up all the time when you solve enough equations EVEN IF you areonly interested in REAL numbers (see later).

OK. Let’s extend our number system by pretending√−1 is a number which we’ll

denote as usual by i , and see what happens.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 2 / 48

Thought experiment concerning i

Well if i is a number, then surely so is 3i and 2 + 3i .

In fact, for any a, b, c , d ∈ R, a + bi , c + di are numbers too, surely.

But then (a + bi) + (c + di) is a number!That’s OK, it must be one we’veseen before (a + c) + (b + d)i .

But also (a + bi)(c + di) is a number(??).

I guess it ought to be

(a + bi)(c + di) = ac + bci + adi + bdi2 = (ac − bd) + (bc + ad)i

since i2 = −1. We’ve seen this number before.

Q When does a + bi = c + di?

A Then (a− c)2 = (d − b)2i2 = −(d − b)2 which occurs precisely when a = cand b = d . (WHY?)

Major Question

If we keep playing this game blindly, using our usual rules of arithmetic, will weever end up proving absurd statements like 1 = 0?

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 3 / 48

Fields

Our new number system should satisfy the “usual rules of arithmetic”, and weneed to formalise what this means. This uses the following

DefinitionA field is the data consisting of a non-empty set F together with

an addition rule +, which assigns to any x , y ∈ F an element x + y ∈ F.

a multiplication rule, which assigns to any x , y ∈ F an element xy ∈ F.

such that the axioms on the following page hold.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 4 / 48

Field axioms

1 Associative Law of Addition. (x + y) + z = x + (y + z) for all x , y , z ∈ F.2 Commutative Law of Addition. x + y = y + x for all x , y ∈ F.3 Existence of a Zero. There exists an element of F (usually written as 0 & called

zero) such that 0 + x = x + 0 = x for all x ∈ F.4 Existence of a Negative. For each x ∈ F, there exists an element w ∈ F (usually

written as −x & called the negative of x) such that x + w = w + x = 0.

5 Associative Law of Multiplication. x(yz) = (xy)z for all x , y , z ∈ F.6 Commutative Law of Multiplication. xy = yx for all x , y ∈ F.7 Existence of a One. There exists a non-zero element of F (usually written as 1 &

called the multiplicative identity) such that x1 = 1x = x for all x ∈ F.8 Existence of an Inverse for Multiplication. For each non-zero x ∈ F, there exists

an element w of F (usually written as 1/x or x−1 & called the multiplicative inverseof x) such that xw = wx = 1.

9 Distributive Law. x(y + z) = xy + xz for all x , y , z ∈ F.10 Distributive Law. (x + y)z = xz + yz , for all x , y , z ∈ F.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 5 / 48

Examples

E.g. F = R,Q are fields when endowed with the usual addition and multiplicationof numbers for the addition and multiplication rule.

E.g. the field with 2 elements Let F = {even, odd}. Define the addition rule by

even + even = even, even + odd = odd, . . . .

and the multiplication rule by

even× even = even, even× odd = even, . . . .

You can check all field axioms are satisfied.

Remark This field is very important in coding theory.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 6 / 48

What’s subtraction and division?

The point of the axioms, is that this is the minimal set of assumptions to ensureyou can do all the usual arithmetic in the usual way.

In particular, you can subtract and divide (by non-zero field elements). To do thisyou need

Fact

In a field F, the zero, negative, one and multiplicative inverse are unique. (What’sthis mean?)

The proof (omitted) is not hard, but many of you might find it strange.Hence for x , y ∈ F we can define: x − y = x + (−y) and if y 6= 0, x

y = xy−1.

E.g. Simplify the following expression in a field

x(y + z)− yx

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 7 / 48

Complex numbers

Our thought experiment suggests the following

DefinitionA complex number is a formal expression of the form a + bi for some a, b ∈ R. Inparticular, two such numbers a + bi , a′ + b′i are equal iff a = a′, b = b′ as realnumbers.The real part of a + bi is Re(a + bi) = a and the imaginary part is Im(a + bi) = b.

Remarks 1. Formal means in particular, that the + is just a symbol, it doesn’tmean addition (yet).2. We often write a for a + 0i and bi for 0 + bi .

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 8 / 48

Arithmetic of complex numbers

Definition

Given complex numbers a + bi , a′ + b′i as above, we define addition andmultiplication by

(a + bi) + (a′ + b′i) = (a + a′) + (b + b′)i

(a + bi)(a′ + b′i) = (aa′ − bb′) + (ab′ + a′b)i

Warning There are two clashes of notation. What’s a + bi mean? We’re OK.

TheoremThe set C of complex numbers with the above addition and multiplication rule isa field.

Proof. Is long and tedious but elementary. Note zero is 0 + 0i .This means we can perform complex number arithmetic as usual.N.B. C extends the real number system since complex numbers of form a + 0iadd and multiply just like real numbers.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 9 / 48

Examples of complex arithmetic

Eg What’s the negative of a + bi?

Eg (5− 7i)− (6 + i)?

Eg Simplify (2 + i)(1− 3i)− 1 + 3i

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 10 / 48

Division

To get the inverse we need

Cool Formula

Let z = a + bi ∈ C (with a, b ∈ R of course). We define the conjugate of z to bez̄ = a− bi .

zz̄ = a2 + b2 ∈ R≥0 .

This gives the multiplicative inverse of z as

z−1 =z̄

a2 + b2.

This is all we need since we know inverses of real numbers.

Usually though, we divide as followsE.g.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 11 / 48

Cartesian form

A complex number z written in the form a + bi with a, b ∈ R is called thecartesian form (Later we’ll meet the polar form).Q Express 1+i

1−i −1−i1+i in cartesian form.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 12 / 48

Properties of conjugation

Proposition1 z is real iff (= if and only if) z = z .

2 z = z .

3 z + w = z + w and z − w = z − w .

4 zw = z w and( z

w

)=

z

w.

5 Re(z) = 12 (z + z) and Im(z) = 1

2i (z − z).

Proof. Easy. Write both sides out e.g.

E.g. Show that for any z ∈ C, (i + 5)z − (i − 5)z is real.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 13 / 48

The Argand diagram

Just as real numbers can be represented by points on the real number line,complex numbers can be represented on the complex plane (or Argand diagram)as follows.

z = a + bi is represented by the point with coords (a, b) = (Rez , Imz).

The axes though are called the real and imaginary axes.

Adding complex numbers is by adding real and imaginary parts, i.e. coordinatewiseso is represented geometrically by the addition of vectors. Similarly for subtraction.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 14 / 48

Polar form

Writing a complex number as z = x + yi , x , y ∈ R is called the cartesian form ofz . It corresponds to rectilinear coordinates.

Suppose the polar coordinates for z are given by (r , θ) as above.

z = r cos θ + (r sin θ)i .

DefinitionLet z = x + iy , x , y ∈ R.

1 The modulus of z is defined to be |z | = r =√

x2 + y2 so zz̄ = |z |2.

2 If z 6= 0, an argument for z is any θ = arg z as above i.e. so that tan θ = yx

and cos θ,Rez have the same sign. θ =: Argz is the principal argument iffurther −π < θ ≤ π.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 15 / 48

Examples: modulus and argument

E.g. Find the modulus and principal argument of 1−√

3i .

E.g. Find the modulus and principal argument of −5− 12i .

E.g. Find the complex number with modulus 3 and argument π/4.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 16 / 48

Euler’s formula

Definition (Euler’s formula)

For θ ∈ R, we define e iθ = cos θ + i sin θ.

This is reasonable by

Formulas1 e iθ1 e iθ2 = e i(θ1+θ2).

2 (De Moivre’s thm) For n ∈ Z, (e iθ)n = e inθ.

3 ddθ (e iθ) = ie iθ.

Proof. 2) & 3) easy omitted. We only check 1).

(cos θ1 + i sin θ1)× (cos θ2 + i sin θ2)

= cos θ1 cos θ2 − sin θ1 sin θ2 + i(cos θ1 sin θ2 + sin θ1 cos θ2)

= cos(θ1 + θ2) + i sin(θ1 + θ2).

Challenge Q What’s i i?Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 17 / 48

Arithmetic of polar forms

The polar form of z is z = re iθ where r = |z | and θ is an argument of z .Our formulas above give

r1e iθ1 r2e iθ2 = (r1r2)e i(θ1+θ2) , (re iθ)−1 = r−1e−iθ.

Geometrically, this says that when you multiply complex numbers, you multiplythe moduli and add the arguments. Inverting inverts the modulus and negatesthe argument.

|z1z2| = |z1| |z2| |z−1| = |z |−1

Arg(z1z2) = Arg(z1) + Arg(z2) + 2kπ, Argz−1 = −Argz unless

where k ∈ Z is chosen so that

E.g. Find the exact value of Arg 1+i1+√3i

.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 18 / 48

Geometry via complex numbers

Q Let z ∈ C have |z | = 1. Show that w = i−zi+z is purely imaginary in the sense

that Rew = 0. Interpret the result geometrically.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 19 / 48

Square roots of complex numbers

E.g. Find the complex square roots ±z of 16− 30i

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 20 / 48

Quadratic formula

E.g. Solve z2 + (1 + i)z + (−4 + 8i) = 0.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 21 / 48

Cubic formula

In the 16th century Ferro, Tartaglia, Cardano,. . . , discovered how to solve cubics.

Formula

z3 + pz = q has solutions

z =3

√q

2+

√q2

4+

p3

27+

3

√q

2−√

q2

4+

p3

27.

Q Let’s use this to solve z3 − z = 0 (which we know has solns ???)

Bizarre fact If there are 3 real roots, then the formula above ALWAYS involvesnon-real numbers.Moral to this story Even if you only ever cared about real numbers, complexnumbers naturally arise.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 22 / 48

Proof of the cubic formula

Recall the Binomial Thm (a + b)n =∑n

k=0

(nk

)akbn−k where

(nk

)= n!

k!(n−k)!

We use Vieta’s substitution x = w − p3w

q =

(w3 − 3w2 p

3w+ 3w

p2

9w2− p3

27w3

)+ p(w − p

3w)

= w3 − p3

27w3

This is equivalent to the quadratic in w3

0 = w6 − qw3 − p3

27

which has roots

w3 =1

2

(q ±

√q2 +

4p3

27

).

Substituting back into x = w − p3w gives the formula.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 23 / 48

Powers of complex numbers

Polar form allows us to find n-th powers and n-th roots of a complex number.

E.g. Find w = (1 + i)18.[Dumb way: multiply out (1 + i)(1 + i) . . . (1 + i)]

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 24 / 48

Roots of complex numbers

More interestingly, polar forms allow easy computation of roots.

E.g. Solve z4 = i .

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 25 / 48

The geometry of complex n-th roots

This example shows something that is true more generally.

Suppose that 0 6= z0 ∈ C is given and n ∈ Z+. Then the equation

zn = z0

has exactly n solutions. These all lie equally spaced on the circle centred at theorigin with radius |z0|1/n.

One solution has argumentArg(z0)

n, and from this you can see where the

remaining solutions lie.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 26 / 48

A number theoretic result

A sum of squares is an integer of the form a2 + b2 where a, b ∈ Z. E.g. 6??

TheoremThe product of two sums of squares is itself a sum of squares.

Proof. We have to show given integers a, b, c , d , that (a2 + b2)(c2 + d2) is a sumof two squares. Just note that

(a2 + b2)(c2 + d2) =

Note Using an extension of complex numbers called hypercomplex numbers orquaternions, one can show that every non-negative integer is the sum of 4 squares!

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 27 / 48

Expressing trigonometric polynomials as polynomials incos θ, sin θ

A trigonometric polynomial is a linear combination of functions of the formcos nθ, sin nθ.

Example: Use De Moivre’s thm to show cos(3θ) = 4 cos3 θ − 3 cos θ.

cos 3θ = Re(e i3θ)

= Re (cos θ + i sin θ)3

= Re(cos3 θ + 3i cos2 θ sin θ − 3 cos θ sin2 θ − i sin3 θ

)= cos3 θ − 3 cos θ sin2 θ

= cos3 θ − 3 cos θ(1− cos2 θ)

= 4 cos3 θ − 3 cos θ.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 28 / 48

Application to solving cubics

Q Solve x3 − 3x = 1

A We use the substitution x = r cos θ so

r3 cos3 θ − 3r cos θ = 1.

Pick r = 2 so ratio of co-efficients matches with 4 cos3 θ − 3 cos θ.

Divide the eqn by r = 2 to obtain

1

2= 4 cos3 θ − 3 cos θ = cos 3θ.

Hence 3θ = π3 + 2kπ for k ∈ Z. The roots are thus

x = 2 cosπ

9, 2 cos

9, 2 cos

−5π

9.

Challenge Q Show that if a cubic x3 − px − q has 3 real roots, then this methodalways works.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 29 / 48

Remark on solving higher order equations

Cardano’s formula for the cubic can be used to solve the general cubic.

There’s a similar formula for the quartic (i.e. degree 4).

There is no similar formula for degree 5 and higher. Abel and Galois provedthis in the 18th century. This is taught in our 3rd/4th year course Galoistheory.

Our solution to the cubic via trigonometric functions can be extended toquintics if you use fancier functions called elliptic functions.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 30 / 48

cos θ, sin θ in terms of exponentials

Since

e iθ = cos θ + i sin θ

e−iθ = cos(−θ) + i sin(−θ)

= cos θ − i sin θ

= e iθ

we have

cos θ =e iθ + e−iθ

2, and i sin θ =

e iθ − e−iθ

2.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 31 / 48

Expressing cosn θ, sinn θ as trig polynomials

E.g. Prove that sin4 θ =1

8cos 4θ − 1

2cos 2θ +

3

8.

sin4 θ =

(e iθ − e−iθ

2i

)4

=e i4θ − 4e i2θ + 6− 4e−i2θ + e−i4θ

16

=e i4θ + e−i4θ

16− 4

e i2θ + e−i2θ

16+

6

16

=1

8cos 4θ − 1

2cos 2θ +

3

8.

Thus

∫sin4 θ dθ =

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 32 / 48

Trigonometric sums

Q Find Σ = cos θ + cos 2θ + . . .+ cos nθ.A Consider the sum of a geometric progression

S := e iθ + e i2θ + . . .+ e inθ =e i(n+1)θ − e iθ

e iθ − 1.

Then

Σ = ReS =S + S

2=

1

2

(e i(n+1)θ − e iθ

e iθ − 1+

e−i(n+1)θ − e−iθ

e−iθ − 1

)= · · ·

OR note

S = e iθ e inθ − 1

e iθ − 1= e iθ e inθ/2(e inθ/2 − e−inθ/2)

e iθ/2(e iθ/2 − e−iθ/2)= e i(n+1)θ/2 sin nθ/2

sin θ/2

which has real part Σ = cos ((n + 1)θ/2) sin nθ/2sin θ/2 .

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 33 / 48

Desribing domains in the complex plane

If z and w are complex numbers then |z − w | is the distance from w to z , andArg(z − w) is the “direction” from w to z . Thus

S = {z ∈ C : |z − i | ≤ 3}is the disk centred at i = (0, 1) with radius 3.

The setT = {z ∈ C : 0 ≤ Arg(z − 1 + i) ≤ π/2}

is the set of all the points z for which the direction from 1− i lies between 0 andπ/2.[For the pedants: 1− i 6∈ T ]

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 34 / 48

Example: domain in the complex plane

Q Sketch the set {z ∈ C |Rez < 1,Arg(z + 1) ≤ π/3}.

Q Sketch the set {z ∈ C |0 ≤ Argz3 ≤ π/3}.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 35 / 48

Loci in the complex plane

Q Sketch the set {z ∈ C |Imz = |z − i |}.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 36 / 48

Triangle inequality

|z + w |2 = (z + w)(z + w)

= (z + w)(z + w)

= zz + zw + wz + ww

= |z |2 + zw + zw + |w |2

= |z |2 + 2Re(zw) + |w |2

≤ |z |2 + 2|zw |+ |w |2

= (|z |+ |w |)2

Triangle Inequality

|z + w | ≤ |z |+ |w |

The name comes from the following geometric interpretation.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 37 / 48

Complex polynomials

DefinitionA function p : C→ C of the form

p(z) = anzn + an−1zn−1 + · · ·+ a1z + a0

(with coefficients an, . . . , a0 ∈ C) is called a (complex) polynomial.The degree of p, written deg(p), is the highest power with a non-zero coefficient.If n above is the degree, then an is called the leading coefficient.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 38 / 48

The fundamental theorem of algebra

A (complex) root of a polynomial p is any α ∈ C such that p(α) = 0.

Theorem (Gauss)

Every complex polynomial of degree at least one has a root α ∈ C.

Note It does not give any formula for the roots (unlike the quadratic and cubicformula).

About the proofs

You will see a proof in your 2nd year complex analysis course.

There is another proof via Galois theory.

Gauss himself gave several proofs, including the following below whichrequires algebraic topology to make rigorous.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 39 / 48

Factorising polynomials

Let p, q be complex polynomials of degree at least 1. Then q is a factor of p ifthere is a polynomial r such that p = qr . We also say q divides p.

eg. z − 1 is a factor of z3 − 1 as z3 − 1 = (z − 1)(z2 + z + 1).

Theorem (Remainder and Factor)

Let p be a complex polynomial of degree at least one. The remainder on dividingp by z −α is p(α). In particular, z −α is a factor of p(z) if and only if α is a rootof p.

Proof. Use the long division algorithm for polynomial division to see thatp(z) = (z − α)q(z) + r for some polynomial q(z) and remainder r which isconstant since its degree must be less that deg(z − α).Then p(α) = r which is zero precisely when α is a root or equivalently, z − α is afactor.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 40 / 48

Fundamental theorem of algebra (factor form)

Putting the Factor Theorem and the Fundamental Theorem of Algebra togethersays that if p is a polynomial of degree n, then there exists α1 ∈ C such thatp(z) = (z − α1)g1(z), where g1(z) has degree n − 1.

If n − 1 ≥ 1 then there exists α2 ∈ C such that p(z) = (z − α1)(z − α2)g2(z).Continuing, you get

TheoremAny degree n complex polynomial has a factorisation of the form

p(z) = (z − α1)(z − α2) . . . (z − αn)c

with αi , c ∈ C. The terms (z − αj) are called linear factors of p.This factorisation is unique up to swapping factors around.

E.g. Factorise p(z) = z3 + z2 − 2 into linear factors.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 41 / 48

Multiplicity of roots

In an example likep(z) = (z − 3)4(z − i)2(z + 1)

where the linear factors are not distinct, we say that (z − 3) is a factor ofmultiplicity 4, and that 3 is a root of multiplicity 4.Similarly, i is a root of multiplicity 2 and -1 is a root of multiplicity 1.

Q Find all cubic polynomials which have 2 as a root of multiplicity 3.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 42 / 48

Proof of uniqueness of factorisation

Consider two factorisations

p(z) = (z − α1)(z − α2) . . . (z − αn)c = (z − β1)(z − β2) . . . (z − βn)d . (1)

We need to show that we can re-order the βi ’s so thatα1 = β1, . . . , αn = βn, c = d . First note c = d since they are both the leadingco-efficient of p.

We argue by induction on n. The case n = 0 already has been verified so assumen > 0. Substitute in z = α1 to obtain

0 = (α1 − β1)(α1 − β2) . . . (α1 − βn)d .

One of the RHS factors, say α1 − βi = 0. Swap βi , β1 so α1 = β1.

Dividing (1) by z − α1 gives 2 factorisations of

p(z)

z − α1= (z − α2) . . . (z − αn)c = (z − β2) . . . (z − βn)d .

By induction, we may assume also α2 = β2, . . . , αn = βn, c = d , so we’ve won.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 43 / 48

Example: factorisation

E.g Write p(z) = z4 + 1 as a product of linear factors.

N.B. Here, the complex roots occur in complex conjugate pairs. This is generalphenomena for real polynomials.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 44 / 48

Roots of real polynomials

A polynomial is real if the co-efficients are real.

Theorem

Suppose that α is a root of a real polynomial p. Then α is also a root of p.

Proof.

Note that in such a case (z − α) and (z − α) are both factors. If α /∈ R, thenunique factorisation =⇒ p(z) has a quadratic factor

(z − α)(z − α) = z2 − (α + α)z + αα

= z2 − (2Reα) z + |α|2.

which is a real quadratic.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 45 / 48

Factorising real polynomials

We say a real polynomial p is irreducible over the reals if it can’t be factored intoa product of two real polynomials of positive degree.

E.g. z2 − 3z + 2 is not irreducible but z2 + 1 is.Why?

Upshot A real quadratic polynomial is irreducible over R iff it has non-real roots.Using the the fundamental thm of algebra and the previous slide (and our oldinductive argument) we see

TheoremAny real polynomial can be factored into a product of real linear and realirreducible quadratic polynomials.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 46 / 48

Example: factorisation of a real polynomial

Q Factorise p(z) = z6 − 1 into real irreducible factors.Method 1 Just try your luck with factorisation facts you know

z6 − 1 = (z2 − 1)(z4 + z2 + 1) = (z − 1)(z + 1)((z2 + 1)2 − z2)

= (z − 1)(z + 1)(z2 + z + 1)(z2 − z + 1)

OR Method 2 Factorise into complex linear factors first.

Remark This is the first instance of common technique in mathematics, to answera question involving real numbers, first answer it over the complex numbers anddeduce your result accordingly.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 47 / 48

Sums and products of roots

Formula

Consider a degree n polynomial p(z) = a0 + a1z + . . .+ anzn. Let α1, . . . , αn beits roots (listed with multiplicity). Then

n∑i=1

αi = −an−1an

,

n∏i=1

αi = (−1)na0an.

Why? For example when n = 3, just expandan(z − α1)(z − α2)(z − α3) =

Eg Any real cubic of form x3 + a2x2 + a1x − 1 has a positive real root

Challenge Q Express∑

i α2i in terms of the co-efficients.

Daniel Chan (UNSW) Chapter 3: Complex Numbers Semester 1 2018 48 / 48