Perplex
Your focus
  • Complex Numbers
  • All Content
Resources
  • Home
  • Lessons
  • Problems
  • Speed Run
  • Skill Checklist
  • Review Videos
  • Landing Page
  • Sign Up
  • Login
  • Perplex
    IB Math AAHL
    /
    Complex Numbers
    /

    Skills

    Edit

    Skill Checklist

    Track your progress across all skills in your objective. Mark your confidence level and identify areas to focus on.

    Track your progress:

    Don't know

    Working on it

    Confident

    📖 = included in formula booklet • 🚫 = not in formula booklet

    Track your progress:

    Don't know

    Working on it

    Confident

    📖 = included in formula booklet • 🚫 = not in formula booklet

    Skill Checklist

    Track your progress across all skills in your objective. Mark your confidence level and identify areas to focus on.

    23 Skills Available

    Track your progress:

    Don't know

    Working on it

    Confident

    📖 = included in formula booklet • 🚫 = not in formula booklet

    Track your progress:

    Don't know

    Working on it

    Confident

    📖 = included in formula booklet • 🚫 = not in formula booklet

    Cartesian form

    10 skills
    Imaginary number i
    AHL HL 1.12

    The imaginary number i is the square root of −1:

    i=√−1​⇔i2=−1🚫


    In general, imaginary numbers are of the form bi,b∈R∖{0}. Notice that

    (bi)2=b2i2=−b2<0

    Conclusion: the square of any imaginary number is negative.

    Complex Numbers a+bi
    AHL HL 1.12

    A complex number

    z=a+bi📖

    is the sum of a real number a and an imaginary number bi.


    We call a the real part of z and b the imaginary part of z:

    Re(z)Im(z)​=a=b​


    For example, z=2−3i is a complex number with a real part Re(z)=2 and imaginary part Im(z)=−3.


    If two complex numbers are equal, then both their real and imaginary parts are equal:

    a+bi=x+yi⇔{a=xb=y​🚫

    The expression x+iy is often referred to as the Cartesian form of z.

    The sets ℂ, ℝ and ℝ\ℂ
    AHL HL 1.12

    Real numbers are a subset of complex numbers a+bi where b=0. Imaginary numbers are also a subset of complex numbers with a=0.

    Powered by Desmos

    Product of complex numbers
    AHL HL 1.12

    The product of two complex numbers in Cartesian form is

    (a+bi)×(c+di)  ​=ac+adi+bci+bdi2=ac+i(ad+bd)+bd⋅(−1)=ac−bd+(ad+bd)i​🚫
    The complex plane
    AHL HL 1.12

    Complex numbers can be visualized in the complex plane, also known as the Argand Diagram.


    To plot a complex number, the real part determines the x-coordinate and the imaginary part determines the y-coordinate. Therefore the complex number a+bi has coordinates (a,b) on the plane.


    It is conventional to use arrows from the origin to the point (a,b) to represent complex numbers.


    Powered by Desmos

    Complex conjugates
    AHL HL 1.12

    The conjugate of a complex number z is the complex number with the same real component and the opposite imaginary component:

    z=a+bi⇔z∗=a−bi🚫

    Since the real components of z and z∗ are the same, and the imaginary components are opposite, on the complex plane z∗ is the reflection of z in the x-axis.

    Powered by Desmos

    Properties of the complex conjugate
    AHL HL 1.12

    The following properties hold for complex conjugates:

    (z∗)∗=z🚫


    (z±w)∗=z∗±w∗🚫


    (zw)∗=z∗w∗🚫


    (wz​)∗=w∗z∗​🚫
    Fractions of complex numbers
    AHL HL 1.12

    Fractions with complex denominator can be made real using a process analogous to rationalizing the denominator. For a fraction with a complex denominator c+di, we multiply both the numerator and the denominator by the conjugate c−di to get the fraction in a more workable form:

    z=c+dia+bi​​=c+dia+bi​⋅c−dic−di​​

    This allows us to split z into its real and imaginary components.

    Solving complex equations
    AHL HL 1.12

    We can solve complex equations involving z and z∗ by using the fact that a complex number z takes the form a+bi. Recall that for complex numbers z1​ and z2​,

    z1​=z2​⟺{Re(z1​)=Re(z2​)Im(z1​)=Im(z2​)​


    We use this fact to equate the real and imaginary parts of both sides, which creates a solvable a system of two equations in two unknowns from one given equation.

    Finding complex roots of quadratics
    AHL HL 1.12

    When a quadratic

    ax2+bx+c=0

    has

    Δ=b2−4ac<0,

    it has no real roots since the square root in

    x=2a−b±√b2−4ac​​

    is not a real number. Instead, the square root will give an imaginary number, making the roots complex.

    Complex Modulus

    4 skills
    Complex Modulus
    AHL HL 1.12

    The complex modulus ∣z∣ is a measure of the size of a complex number:

    ∣z∣=√a2+b2​🚫
    Modulus on the complex plane
    AHL HL 1.12

    On the complex plane, z=a+bi has coordinates (a,b). Therefore

    ∣z∣=√a2+b2​🚫

    represents the distance of z from the origin:

    Powered by Desmos

    zz*=|z|²
    AHL HL 1.12

    Notice that

    zz∗=(a+bi)(a−bi)=a2+b2=∣z∣2🚫
    Properties of complex modulus
    AHL HL 1.12

    The following properties apply for the complex modulus:

    ∣z∗∣=∣z∣🚫
    ∣zw∣=∣z∥w∣🚫
    ∣∣∣​wz​∣∣∣​=∣w∣∣z∣​🚫
    ∣zn∣=∣z∣n🚫

    Mod-arg & Polar forms

    7 skills
    Complex Argument
    AHL HL 1.12

    The argument of a complex number is the angle that it forms with the real (x) axis on the complex plane:

    Powered by Desmos

    By noticing a right angled triangle, we can say that

    tan(argz)=ab​🚫

    When a>0:

    argz=arctan(ab​)🚫


    Note on convention: By convention, the argument is usually given in radians in the range [−π,π]. It will be made clear by the IB which range is preferred in a given question.

    Complex argument when a<0
    AHL HL 1.12

    If a<0, then argz is in the second or third quadrant, which are not in the range of arctan. We therefore need to add or subtract π to get the correct argument:

    Powered by Desmos

    When a<0:

    arg(z)=arctan(ab​)±π🚫

    When z is in the second quadrant, we add π; when z is in the third quadrant, we subtract π.


    Note on convention: By convention, the argument is usually given in radians in the range [−π,π]. It will be made clear by the IB which range is preferred in a given question.

    Complex Argument when a=0 (purely imaginary)
    AHL HL 1.12

    If a=0, then tan(argz)=ab​ is undefined. tanθ is also undefined for θ=2π​,23π​… So when a=0 we have

    arg(bi)=⎩⎪⎪⎪⎨⎪⎪⎪⎧​2π​b>0 −2π​b<0​🚫


    This can be seen on the complex diagram by remembering that bi lies on the yi axis:

    Powered by Desmos


    Note on convention: By convention, the argument is usually given in radians in the range [−π,π]. It will be made clear by the IB which range is preferred in a given question.

    Polar form of complex numbers
    AHL AA 1.13

    The modulus ∣z∣ and argument argz uniquely define the complex number z. That means we can represent any complex number using its modulus and argument instead of a+bi:

    Powered by Desmos

    It is conventional to call r=∣z∣ and θ=argz. Using trigonometry, we deduce that

    z=r(cosθ+isinθ)📖

    And we use the shorthand cisθ=cosθ+isinθ:

    z=rcisθ📖
    Euler's form
    AHL AA 1.13

    There is one more way to express complex numbers:

    z=rcisθ=reiθ📖

    For example, we can write z=−1=1⋅cis(π)=eiπ. This leads to the classic result

    eiπ+1=0🚫

    We call this Euler's form (or sometimes exponential form) because of the presence of Euler's number, e.

    Multiplying in polar / Euler form
    AHL AA 1.13

    The main advantage of Euler's form is that it makes multiplying complex numbers much easier:

    r1​eiα⋅r2​eiβ=r1​r2​ei(α+β)🚫

    In words, when we multiply two complex numbers the arguments add and the moduli multiply.


    Similarly for division:

    r2​eiβr1​eiα​=r2​r1​​ei(α−β)🚫

    In words, when we divide one complex number from another, we subtract the arguments and divide the moduli.


    In polar form this becomes:

    r1​cis(α)⋅r2​cis(β)=r1​r2​cis(α+β)🚫
    Complex conjugate in polar form
    AHL AA 1.13

    If z=rcisθ=reiθ, then the conjugate z∗ is

    z∗=rcis(−θ)=re−iθ🚫

    Powers of Complex Numbers

    2 skills
    Powers of complex numbers
    AHL AA 1.14

    Now that we know how to represent complex numbers in the form reiθ, we can understand De Moivre's Theorem, which gives us a shortcut to finding powers of complex numbers:

    z=reiθ⇒zn=(reiθ)n=rneinθ


    And since reiθ=rcisθ:

    [r(cosθ+isinθ)]n=(rcisθ)n=rneinθ=rncis(nθ)📖
    Roots of complex numbers
    AHL AA 1.14

    De Moivre's Theorem can also be used to find the nth roots of complex numbers:

    n√reiθ=(reiθ)1/n=n√r⋅eiθ/n🚫

    or equivalently

    n√rcisθ=n√rcis(nθ​)🚫


    However, since cisθ=cis(θ+2kπ) for any k∈Z, then we actually have

    n√rcisθ=n√rcis(nθ+2kπ​),k=0,1…n−1🚫

    Note that k stops at n−1 since when k=n we have

    cis(nθ+2nπ​)=cis(θ+2π)=cisθ