Unit 1 · Complex Numbers

Concepts

Definition

The complex plane

A complex number z=x+iyz=x+iy is fixed by the ordered pair of real numbers (x,y)(x,y), so it can be drawn as the point (x,y)(x,y) in a plane. The horizontal axis carries the real part and is called the real axis. The vertical axis carries the imaginary part and is called the imaginary axis. This plane is called the complex plane, or the Argand plane.

A complex number can also be drawn as an arrow from the origin to that point. The number, the point and the arrow are all written with the same letter zz.

The plane is named after Jean Robert Argand (1768(1768 to 1822)1822), a Swiss mathematician.

Examples
  • 25i2-5i is the point (2,5)(2,-5).
  • 88 is the point (8,0)(8,0), which lies on the real axis, because its imaginary part is 00.
  • 7i-7i is the point (0,7)(0,-7), which lies on the imaginary axis, because its real part is 00.
Definition

Conjugate of a complex number

The conjugate of z=x+iyz=x+iy is written zˉ\bar{z} and is defined by zˉ=xiy\bar{z}=x-iy In words: keep the real part exactly as it is, and change the sign of the imaginary part.

In rectangular form with real coefficients, replace x+iyx+iy by xiyx-iy. The real part stays unchanged.

Conjugation reflects a point across the real axis. A point above the axis moves the same distance below it, and conversely. A point on the real axis stays where it is.

The product of a complex number with its conjugate is always a real number. This is what makes the conjugate useful for division.

Examples
  • The conjugate of 3+8i3+8i is 38i3-8i.
  • The conjugate of 54i-5-4i is 5+4i-5+4i.
  • The conjugate of 66 is 66, because its imaginary part is already 00.
  • (1+2i)(12i)=12(2i)2=1+4=5(1+2i)(1-2i)=1^{2}-(2i)^{2}=1+4=5, a real number.
Rule

Properties of the conjugate

For complex numbers zz, z1z_{1}, and z2z_{2}, z1+z2=zˉ1+zˉ2,z1z2=zˉ1zˉ2,(z1z2)=zˉ1zˉ2(z20),zˉ=z\begin{aligned}\overline{z_{1}+z_{2}}&=\bar z_{1}+\bar z_{2}, \\ \overline{z_{1}z_{2}}&=\bar z_{1}\bar z_{2}, \\ \overline{\left(\frac{z_{1}}{z_{2}}\right)}&=\frac{\bar z_{1}}{\bar z_{2}}\quad(z_{2}\neq0), \\ \overline{\bar z}&=z\end{aligned}

In words: taking the conjugate can be done before or after adding, multiplying or dividing, and the answer is the same either way.

The last one says that taking the conjugate twice brings you back to where you started. Reflecting in the real axis twice returns the point to its original place.

Examples
  • For z1=4+3iz_{1}=4+3i and z2=5+2iz_{2}=5+2i:  z1+z2=9+5i=95i\ \overline{z_{1}+z_{2}}=\overline{9+5i}=9-5i, and z1ˉ+z2ˉ=(43i)+(52i)=95i\bar{z_{1}}+\bar{z_{2}}=(4-3i)+(5-2i)=9-5i.
  • For z=7+3iz=7+3i:  zˉ=73i\ \bar{z}=7-3i, so zˉˉ=7+3i=z\bar{\bar{z}}=7+3i=z.
Definition

Modulus of a complex number

The modulus of z=x+iyz=x+iy is written z|z| and is defined by z=x2+y2|z|=\sqrt{x^{2}+y^{2}}

The modulus is the distance from the origin to the point (x,y)(x,y). The horizontal and vertical distances are x|x| and y|y|, not possibly negative coordinates. Pythagoras gives z2=x2+y2|z|^{2}=x^{2}+y^{2}; the formula also holds on either axis and at the origin.

A modulus is a nonnegative real number, and z=0|z|=0 if and only if z=0z=0.

Square each part before adding. Note that 34i|3-4i| is 9+16=5\sqrt{9+16}=5, not 343-4.

For a real number this is just the size without the sign, which is why the same two bars are used.

Examples
  • i=0+1i=02+12=1|i|=|0+1i|=\sqrt{0^{2}+1^{2}}=1
  • 35i=32+(5)2=9+25=34|3-5i|=\sqrt{3^{2}+(-5)^{2}}=\sqrt{9+25}=\sqrt{34}
  • 6=(6)2+02=6|{-6}|=\sqrt{(-6)^{2}+0^{2}}=6
Rule

Properties of the modulus

For any complex number z=x+iyz=x+iy, z=zˉ=z=zˉ=zˉˉ,zzˉ=z2|z|=|\bar{z}|=|{-z}|=|{-\bar{z}}|=\left|\bar{\bar{z}}\right|, \qquad z\bar{z}=|z|^{2}

The first chain says that changing signs does not change distance. Every one of zz, zˉ\bar{z}, z-z and zˉ-\bar{z} has the same two numbers being squared, so the sum x2+y2x^{2}+y^{2} is the same for all of them.

The identity zzˉ=z2z\bar z=|z|^{2} explains why multiplication by the conjugate produces a real denominator. This denominator is strictly positive when z0z\neq0.

Note carefully that zzˉz\bar{z} gives z2|z|^{2}, not z|z|. There is no square root at the end.

Examples
  • For z=5+4iz=5+4i:  z=41\ |z|=\sqrt{41} and zˉ=54i=25+16=41|\bar{z}|=|5-4i|=\sqrt{25+16}=\sqrt{41}.
  • For z=5+3iz=5+3i:  zzˉ=(5+3i)(53i)=25+9=34\ z\bar{z}=(5+3i)(5-3i)=25+9=34, and z2=(34)2=34|z|^{2}=\left(\sqrt{34}\right)^{2}=34.
Deep understanding

Why conjugation preserves sums

Let z1=a+biz_{1}=a+bi and z2=c+diz_{2}=c+di, where a,b,c,da,b,c,d are real. Add first and then conjugate:

z1+z2=(a+c)+(b+d)i=(a+c)(b+d)i\begin{aligned}\overline{z_{1}+z_{2}}&=\overline{(a+c)+(b+d)i} \\ &=(a+c)-(b+d)i\end{aligned}

Conjugating first and then adding gives the same expression:

zˉ1+zˉ2=(abi)+(cdi)=(a+c)(b+d)i\begin{aligned}\bar z_{1}+\bar z_{2}&=(a-bi)+(c-di) \\ &=(a+c)-(b+d)i\end{aligned}

Thus z1+z2=zˉ1+zˉ2\overline{z_{1}+z_{2}}=\bar z_{1}+\bar z_{2} for every pair of complex numbers, not just for one numerical example.

Why conjugation preserves products

For the same real coordinates, multiplication gives z1z2=(acbd)+(ad+bc)iz_{1}z_{2}=(ac-bd)+(ad+bc)i. Consequently,

z1z2=(acbd)(ad+bc)i\begin{aligned}\overline{z_{1}z_{2}}&=(ac-bd)-(ad+bc)i\end{aligned}

Now multiply the conjugates directly:

zˉ1zˉ2=(abi)(cdi)=acadibci+bdi2=(acbd)(ad+bc)i\begin{aligned}\bar z_{1}\bar z_{2}&=(a-bi)(c-di) \\ &=ac-adi-bci+bd\,i^{2} \\ &=(ac-bd)-(ad+bc)i\end{aligned}

The two results agree, so z1z2=zˉ1zˉ2\overline{z_{1}z_{2}}=\bar z_{1}\bar z_{2}.

Why conjugation preserves quotients

Assume z20z_{2}\neq0 and let w=z1/z2w=z_{1}/z_{2}. Then wz2=z1wz_{2}=z_{1}. Conjugate both sides and use the product property just proved:

wz2=zˉ1,wˉzˉ2=zˉ1\begin{aligned}\overline{wz_{2}}&=\bar z_{1}, \\ \bar w\,\bar z_{2}&=\bar z_{1}\end{aligned}

The conjugate zˉ2\bar z_{2} is nonzero: if it were 00, both real coordinates of z2z_{2} would be 00. Divide by zˉ2\bar z_{2} to obtain

(z1z2)=zˉ1zˉ2\begin{aligned}\overline{\left(\frac{z_{1}}{z_{2}}\right)}&=\frac{\bar z_{1}}{\bar z_{2}}\end{aligned}

Why conjugating twice returns the number

If z=x+iyz=x+iy with x,yx,y real, its conjugate is xiy=x+i(y)x-iy=x+i(-y). A second conjugation changes y-y back to yy:

zˉ=xi(y)=x+iy=z\begin{aligned}\overline{\bar z}&=x-i(-y) \\ &=x+iy \\ &=z\end{aligned}

Why the modulus is a distance

Draw z=x+iyz=x+iy as the point P(x,y)P(x,y). Draw a perpendicular from PP to the real axis, meeting it at M=(x,0)M=(x,0). Depending on the sign of yy, this segment goes upward or downward.

When xx and yy are both nonzero, OMPOMP is a right triangle. Its horizontal and vertical side lengths are x|x| and y|y|, not possibly negative coordinates. Since x2=x2|x|^{2}=x^{2} and y2=y2|y|^{2}=y^{2}, Pythagoras gives the formula below. If either coordinate is 00, the same formula gives the distance along an axis.

For the nondegenerate triangle, Pythagoras gives OP2=OM2+MP2=x2+y2=x2+y2\begin{aligned}OP^{2}&=OM^{2}+MP^{2} \\ &=|x|^{2}+|y|^{2} \\ &=x^{2}+y^{2}\end{aligned}

Take the square root of both sides, and take the nonnegative root, because a distance is never negative.OP=x2+y2=z\begin{aligned}OP &= \sqrt{x^{2}+y^{2}} = |z|\end{aligned}

At the origin, both coordinates and the distance are 00. Thus the same formula covers every point in the complex plane.

Why z|z|, zˉ|\bar{z}|, z|{-z}| and zˉ|{-\bar{z}}| are all equal

Write the four numbers out side by side and see what changes.z=x+iyzˉ=xiyz=xiyzˉ=x+iy\begin{aligned}z &= x+iy \\ \bar{z} &= x-iy \\ -z &= -x-iy \\ -\bar{z} &= -x+iy\end{aligned}

Only the signs change. The real part is xx or x-x, and the imaginary part is yy or y-y.

Now put each one into the modulus formula. Squaring destroys a minus sign, because minus times minus gives plus.(x)2=x2(y)2=y2\begin{aligned}(-x)^{2} &= x^{2} \\ (-y)^{2} &= y^{2}\end{aligned}

So every one of the four gives the same sum inside the root, namely x2+y2x^{2}+y^{2}, and therefore the same modulus.

The complex plane gives a geometric explanation. Reflecting a point in an axis, or turning it through 180180^\circ about the origin, never changes how far it is from the origin.

Why zzˉ=z2z\bar{z}=|z|^{2}

Take z=x+iyz=x+iy, so that zˉ=xiy\bar{z}=x-iy, and multiply them. The two brackets are of the form (a+b)(ab)(a+b)(a-b), which is always a2b2a^{2}-b^{2}, with a=xa=x and b=iyb=iy.zzˉ=(x+iy)(xiy)=x2(iy)2\begin{aligned}z\bar{z} &= (x+iy)(x-iy) \\ &= x^{2}-(iy)^{2}\end{aligned}

Now open the second square. Square both the ii and the yy.(iy)2=i2y2=(1)y2=y2\begin{aligned}(iy)^{2} &= i^{2}y^{2} \\ &= (-1)y^{2} = -y^{2}\end{aligned}

Subtract it. Taking away y2-y^{2} is the same as adding y2y^{2}.zzˉ=x2(y2)=x2+y2\begin{aligned}z\bar{z} &= x^{2}-(-y^{2}) \\ &= x^{2}+y^{2}\end{aligned}

But x2+y2x^{2}+y^{2} is exactly what sits inside the square root in the modulus, so it is z2|z|^{2}.z2=(x2+y2)2=x2+y2\begin{aligned}|z|^{2} &= \left(\sqrt{x^{2}+y^{2}}\right)^{2} = x^{2}+y^{2}\end{aligned}

So zzˉ=z2z\bar{z}=|z|^{2}. Two things follow. The product is always real, which is why the conjugate clears a denominator. And it is never negative, which fits a squared distance.

The Argand diagram

Caspar Wessel published a geometric interpretation of complex numbers in 1799. Jean-Robert Argand developed an independent account in 1806; the name Argand diagram is commonly used for the complex plane.

The same diagram connects the algebraic ideas in this unit: conjugation is reflection across the real axis, negation is a half-turn about the origin, and modulus is distance from the origin.

Examples

Example 11

If z1=4+3iz_{1}=4+3i and z2=5+2iz_{2}=5+2i, prove that z1+z2=z1ˉ+z2ˉ\overline{z_{1}+z_{2}}=\bar{z_{1}}+\bar{z_{2}}.

Solution
  1. To prove an equality like this, work out each side on its own and show they agree. Start with the left side, which says add first, then take the conjugate. So add the two numbers.
    z1+z2=(4+3i)+(5+2i)=(4+5)+(3+2)i=9+5iz_{1}+z_{2} = (4+3i)+(5+2i) = (4+5)+(3+2)i = 9+5i
  2. Now take the conjugate of that sum. Keep the real part and change the sign of the imaginary part.
    z1+z2=9+5i=95i(1)\overline{z_{1}+z_{2}} = \overline{9+5i} = 9-5i \qquad \cdots(1)
  3. Now the right side, which says take the conjugates first, then add. Take each conjugate on its own.
    z1ˉ=43i,z2ˉ=52i\bar{z_{1}} = 4-3i, \qquad \bar{z_{2}} = 5-2i
  4. Add them, real parts together and imaginary parts together.
    z1ˉ+z2ˉ=(4+5)+(32)i=95i(2)\bar{z_{1}}+\bar{z_{2}} = (4+5)+(-3-2)i = 9-5i \qquad \cdots(2)
  5. From (1)(1) and (2)(2) both sides give the same number, which is what was to be proved.
    z1+z2=z1ˉ+z2ˉ=95i\overline{z_{1}+z_{2}} = \bar{z_{1}}+\bar{z_{2}} = 9-5i
AnswerBoth sides give 95i9-5i, so the property holds.
Compact solution

Calculate the left side first: perform the operation before conjugating. Add the real coefficients and the imaginary coefficients separately.

z1+z2=(4+3i)+(5+2i)=4+3i+5+2i=(4+5)+(3+2)icollect like terms=9+5i\begin{aligned}z_1+z_2 &= (4+3i)+(5+2i) \\ &= 4+3i+5+2i \\ &= (4+5)+(3+2)i && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\text{collect like terms}$}} \\ &= 9+5i\end{aligned}

Take the conjugate of this result.

z1+z2=9+5i=95i\begin{aligned}\overline{z_1+z_2} &= \overline{9+5i} \\ &= 9-5i\end{aligned}

For the right side, conjugate the two inputs first.

zˉ1=43izˉ2=52i\begin{gathered}\bar z_1=4-3i \\ \bar z_2=5-2i\end{gathered}

Add the real coefficients and the imaginary coefficients separately.

zˉ1+zˉ2=(43i)+(52i)=43i+52i=(4+5)+(32)icollect like terms=95i\begin{aligned}\bar z_1+\bar z_2 &= (4-3i)+(5-2i) \\ &= 4-3i+5-2i \\ &= (4+5)+(-3-2)i && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\text{collect like terms}$}} \\ &= 9-5i\end{aligned}

Both sides give 95i9-5i, so the required equality holds for these values.

z1+z2=zˉ1+zˉ2=95i\overline{z_1+z_2}=\bar z_1+\bar z_2=9-5i

Example 12

If z1=3+4iz_{1}=3+4i and z2=2+3iz_{2}=2+3i, prove that z1z2=z1ˉz2ˉ\overline{z_{1}z_{2}}=\bar{z_{1}}\,\bar{z_{2}}.

Solution
  1. Work out each side on its own and show they agree. The left side says multiply first, then take the conjugate. So multiply the brackets out term by term.
    z1z2=(3+4i)(2+3i)=6+9i+8i+12i2z_{1}z_{2} = (3+4i)(2+3i) = 6+9i+8i+12i^{2}
  2. Replace i2i^{2} by 1-1, so the last term becomes 12-12.
    12i2=12(1)=1212i^{2} = 12(-1) = -12
  3. Collect. The real numbers give 6126-12, and the ii terms give 9+89+8.
    z1z2=(612)+(9+8)i=6+17iz_{1}z_{2} = (6-12)+(9+8)i = -6+17i
  4. Now take the conjugate of that product, changing the sign of the imaginary part.
    z1z2=617i(1)\overline{z_{1}z_{2}} = -6-17i \qquad\cdots(1)
  5. Turn to the right side, which says take the conjugates first. Write each one, keeping the real part and changing the sign of the imaginary part.
    z1ˉ=34i,z2ˉ=23i\bar{z_{1}} = 3-4i, \qquad \bar{z_{2}} = 2-3i
  6. Multiply them out term by term.
    z1ˉz2ˉ=(34i)(23i)=69i8i+12i2\bar{z_{1}}\,\bar{z_{2}} = (3-4i)(2-3i) = 6-9i-8i+12i^{2}
  7. Replace i2i^{2} by 1-1 again.
    12i2=1212i^{2} = -12
  8. Collect. Note that 98=17-9-8=-17, because going down 88 more from 9-9 reaches 17-17.
    z1ˉz2ˉ=(612)+(98)i=617i(2)\bar{z_{1}}\,\bar{z_{2}} = (6-12)+(-9-8)i = -6-17i \qquad\cdots(2)
  9. From (1)(1) and (2)(2) both sides give the same number, which is what was to be proved.
    z1z2=z1ˉz2ˉ=617i\overline{z_{1}z_{2}} = \bar{z_{1}}\,\bar{z_{2}} = -6-17i
AnswerBoth sides give 617i-6-17i, so the property holds.
Compact solution

Calculate the left side first: perform the operation before conjugating. Multiply each term in the first bracket by each term in the second.

z1z2=(3+4i)(2+3i)=3(2)+3(3i)+(4i)(2)+(4i)(3i)=6+9i+8i+12i2=6+9i+8i+12(1)i2=1=6+9i+8i12=(612)+(9+8)icollect like terms=6+17i\begin{aligned}z_1z_2 &= (3+4i)(2+3i) \\ &= 3(2)+3(3i)+(4i)(2)+(4i)(3i) \\ &= 6+9i+8i+12i^2 \\ &= 6+9i+8i+12(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= 6+9i+8i-12 \\ &= (6-12)+(9+8)i && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\text{collect like terms}$}} \\ &= -6+17i\end{aligned}

Take the conjugate of this result.

z1z2=6+17i=617i\begin{aligned}\overline{z_1z_2} &= \overline{-6+17i} \\ &= -6-17i\end{aligned}

For the right side, conjugate the two inputs first.

zˉ1=34izˉ2=23i\begin{gathered}\bar z_1=3-4i \\ \bar z_2=2-3i\end{gathered}

Multiply each term in the first bracket by each term in the second.

zˉ1zˉ2=(34i)(23i)=3(2)+3(3i)+(4i)(2)+(4i)(3i)=69i8i+12i2=69i8i+12(1)i2=1=69i8i12=(612)+(98)icollect like terms=617i\begin{aligned}\bar z_1\bar z_2 &= (3-4i)(2-3i) \\ &= 3(2)+3(-3i)+(-4i)(2)+(-4i)(-3i) \\ &= 6-9i-8i+12i^2 \\ &= 6-9i-8i+12(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= 6-9i-8i-12 \\ &= (6-12)+(-9-8)i && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\text{collect like terms}$}} \\ &= -6-17i\end{aligned}

Both sides give 617i-6-17i, so the required equality holds for these values.

z1z2=zˉ1zˉ2=617i\overline{z_1z_2}=\bar z_1\bar z_2=-6-17i

Example 13

If z1=5+4iz_{1}=5+4i and z2=3+2iz_{2}=3+2i, prove that (z1z2)=z1ˉz2ˉ\overline{\left(\frac{z_{1}}{z_{2}}\right)}=\frac{\bar{z_{1}}}{\bar{z_{2}}}.

Solution
  1. Take the left side first. It says divide first, then take the conjugate. So begin with the division.
    z1z2=5+4i3+2i\frac{z_{1}}{z_{2}} = \frac{5+4i}{3+2i}
  2. There is an ii in the denominator, so multiply the top and the bottom by the conjugate of the bottom, which is 32i3-2i.
    5+4i3+2i=5+4i3+2i×32i32i\frac{5+4i}{3+2i} = \frac{5+4i}{3+2i}\times\frac{3-2i}{3-2i}
  3. Work out the numerator, multiplying term by term.
    (5+4i)(32i)=1510i+12i8i2(5+4i)(3-2i) = 15-10i+12i-8i^{2}
  4. Replace i2i^{2} by 1-1. Note that 8(1)=+8-8(-1)=+8, because minus times minus gives plus.
    8i2=8-8i^{2} = 8
  5. Collect the numerator.
    (5+4i)(32i)=(15+8)+(10+12)i=23+2i(5+4i)(3-2i) = (15+8)+(-10+12)i = 23+2i
  6. Now the denominator, using (a+b)(ab)=a2b2(a+b)(a-b)=a^{2}-b^{2}.
    (3+2i)(32i)=32(2i)2=94i2=9+4=13(3+2i)(3-2i) = 3^{2}-(2i)^{2} = 9-4i^{2} = 9+4 = 13
  7. Put the numerator over the denominator and split into two parts.
    z1z2=23+2i13=2313+213i\frac{z_{1}}{z_{2}} = \frac{23+2i}{13} = \frac{23}{13}+\frac{2}{13}i
  8. Now take the conjugate of that, changing the sign of the imaginary part.
    (z1z2)=2313213i(1)\overline{\left(\frac{z_{1}}{z_{2}}\right)} = \frac{23}{13}-\frac{2}{13}i \qquad \cdots(1)
  9. Turn to the right side, which says take the conjugates first, then divide.
    z1ˉ=54i,z2ˉ=32i\bar{z_{1}} = 5-4i, \qquad \bar{z_{2}} = 3-2i
  10. Divide them, again multiplying top and bottom by the conjugate of the new bottom, which is 3+2i3+2i.
    z1ˉz2ˉ=54i32i×3+2i3+2i\frac{\bar{z_{1}}}{\bar{z_{2}}} = \frac{5-4i}{3-2i}\times\frac{3+2i}{3+2i}
  11. Work out the numerator.
    (54i)(3+2i)=15+10i12i8i2(5-4i)(3+2i) = 15+10i-12i-8i^{2}
  12. Replace i2i^{2} by 1-1 and collect.
    (54i)(3+2i)=(15+8)+(1012)i=232i(5-4i)(3+2i) = (15+8)+(10-12)i = 23-2i
  13. The denominator is the same as before.
    (32i)(3+2i)=9+4=13(3-2i)(3+2i) = 9+4 = 13
  14. So the right side comes to this.
    z1ˉz2ˉ=232i13=2313213i(2)\frac{\bar{z_{1}}}{\bar{z_{2}}} = \frac{23-2i}{13} = \frac{23}{13}-\frac{2}{13}i \qquad \cdots(2)
  15. From (1)(1) and (2)(2) both sides agree, and this is the value they share.
    (z1z2)=z1ˉz2ˉ=2313213i\overline{\left(\frac{z_{1}}{z_{2}}\right)} = \frac{\bar{z_{1}}}{\bar{z_{2}}} = \frac{23}{13}-\frac{2}{13}i
AnswerBoth sides give 2313213i\dfrac{23}{13}-\dfrac{2}{13}i, so the property holds.
Compact solution

Calculate the left side first: perform the operation before conjugating. Multiply numerator and denominator by the conjugate 32i3-2i.

z1z2=5+4i3+2i=5+4i3+2i32i32i32i32i=1=(5+4i)(32i)(3+2i)(32i)\begin{aligned}\frac{z_1}{z_2} &= \frac{5+4i}{3+2i} \\ &= \frac{5+4i}{3+2i}\cdot\frac{3-2i}{3-2i} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\frac{3-2i}{3-2i}=1$}} \\ &= \frac{(5+4i)(3-2i)}{(3+2i)(3-2i)}\end{aligned}

Expand the numerator first.

(5+4i)(32i)=5(3)+5(2i)+(4i)(3)+(4i)(2i)=1510i+12i8i2=1510i+12i8(1)i2=1=1510i+12i+8=(15+8)+(10+12)icollect like terms=23+2i\begin{aligned}(5+4i)(3-2i) &= 5(3)+5(-2i)+(4i)(3)+(4i)(-2i) \\ &= 15-10i+12i-8i^2 \\ &= 15-10i+12i-8(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= 15-10i+12i+8 \\ &= (15+8)+(-10+12)i && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\text{collect like terms}$}} \\ &= 23+2i\end{aligned}

Multiply the conjugate pair using the difference of squares.

(3+2i)(32i)=32(2i)2(a+b)(ab)=a2b2=94i2=94(1)i2=1=9+4=13\begin{aligned}(3+2i)(3-2i) &= 3^2-(2i)^2 && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$(a+b)(a-b)=a^2-b^2$}} \\ &= 9-4i^2 \\ &= 9-4(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= 9+4 \\ &= 13\end{aligned}

Substitute the numerator and denominator, then simplify to rectangular form.

z1z2=23+2i13=2313+213i\begin{aligned}\frac{z_1}{z_2} &= \frac{23+2i}{13} \\ &= \frac{23}{13}+\frac{2}{13}i\end{aligned}

Take the conjugate of this result.

z1z2=2313+213i=2313213i\begin{aligned}\overline{\frac{z_1}{z_2}} &= \overline{\dfrac{23}{13}+\dfrac{2}{13}i} \\ &= \dfrac{23}{13}-\dfrac{2}{13}i\end{aligned}

For the right side, conjugate the two inputs first.

zˉ1=54izˉ2=32i\begin{gathered}\bar z_1=5-4i \\ \bar z_2=3-2i\end{gathered}

Multiply numerator and denominator by the conjugate 3+2i3+2i.

zˉ1zˉ2=54i32i=54i32i3+2i3+2i3+2i3+2i=1=(54i)(3+2i)(32i)(3+2i)\begin{aligned}\frac{\bar z_1}{\bar z_2} &= \frac{5-4i}{3-2i} \\ &= \frac{5-4i}{3-2i}\cdot\frac{3+2i}{3+2i} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\frac{3+2i}{3+2i}=1$}} \\ &= \frac{(5-4i)(3+2i)}{(3-2i)(3+2i)}\end{aligned}

Expand the numerator first.

(54i)(3+2i)=5(3)+5(2i)+(4i)(3)+(4i)(2i)=15+10i12i8i2=15+10i12i8(1)i2=1=15+10i12i+8=(15+8)+(1012)icollect like terms=232i\begin{aligned}(5-4i)(3+2i) &= 5(3)+5(2i)+(-4i)(3)+(-4i)(2i) \\ &= 15+10i-12i-8i^2 \\ &= 15+10i-12i-8(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= 15+10i-12i+8 \\ &= (15+8)+(10-12)i && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\text{collect like terms}$}} \\ &= 23-2i\end{aligned}

Multiply the conjugate pair using the difference of squares.

(32i)(3+2i)=32(2i)2(a+b)(ab)=a2b2=94i2=94(1)i2=1=9+4=13\begin{aligned}(3-2i)(3+2i) &= 3^2-(2i)^2 && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$(a+b)(a-b)=a^2-b^2$}} \\ &= 9-4i^2 \\ &= 9-4(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= 9+4 \\ &= 13\end{aligned}

Substitute the numerator and denominator, then simplify to rectangular form.

zˉ1zˉ2=232i13=2313213i\begin{aligned}\frac{\bar z_1}{\bar z_2} &= \frac{23-2i}{13} \\ &= \frac{23}{13}-\frac{2}{13}i\end{aligned}

Both sides give 2313213i\dfrac{23}{13}-\dfrac{2}{13}i, so the required equality holds for these values.

z1z2=zˉ1zˉ2=2313213i\overline{\frac{z_1}{z_2}}=\frac{\bar z_1}{\bar z_2}=\dfrac{23}{13}-\dfrac{2}{13}i

Example 14

If z=7+3iz=7+3i, prove that zˉˉ=z\bar{\bar{z}}=z.

Solution
  1. Take the conjugate once. Keep the real part and change the sign of the imaginary part.
    zˉ=73i\bar{z} = 7-3i
  2. Now take the conjugate again, of the number you have just found. The real part 77 stays, and the imaginary part 3-3 changes sign to +3+3.
    zˉˉ=73i=7+3i\bar{\bar{z}} = \overline{7-3i} = 7+3i
  3. That is the number we started with, which is what was to be proved.
    zˉˉ=7+3i=z\bar{\bar{z}} = 7+3i = z
Answerzˉˉ=7+3i=z\bar{\bar{z}}=7+3i=z
Compact solution

Keep the real coefficient and change the sign of the imaginary coefficient.

zˉ=7+3i=73i\begin{aligned}\bar{z} &= \overline{7+3i} \\ &= 7-3i\end{aligned}

Conjugate once more; the imaginary sign changes back.

zˉ=73i=7+3i=z\begin{aligned}\overline{\bar{z}} &= \overline{7-3i} \\ &= 7+3i \\ &= z\end{aligned}
Common mistake
Watch outOn the complex plane this says that reflecting a point in the real axis twice brings it back to where it started.

Example 15

If z=5+4iz=5+4i, show that z=zˉ|z|=|\bar{z}|.

Solution
  1. The modulus of z=x+iyz=x+iy is x2+y2\sqrt{x^{2}+y^{2}}. Here x=5x=5 and y=4y=4.
    z=52+42|z| = \sqrt{5^{2}+4^{2}}
  2. Square each part.
    52=25,42=165^{2} = 25, \qquad 4^{2} = 16
  3. Add them, then take the square root. Since 4141 is not a perfect square, the root stays as it is.
    z=25+16=41(1)|z| = \sqrt{25+16} = \sqrt{41} \qquad \cdots(1)
  4. Now write the conjugate, changing the sign of the imaginary part.
    zˉ=54i\bar{z} = 5-4i
  5. Take its modulus. Here x=5x=5 and y=4y=-4.
    zˉ=52+(4)2|\bar{z}| = \sqrt{5^{2}+(-4)^{2}}
  6. Square each part. Note that (4)2=16(-4)^{2}=16, because minus times minus gives plus, so the minus sign disappears.
    (4)2=16(-4)^{2} = 16
  7. Add and take the root.
    zˉ=25+16=41(2)|\bar{z}| = \sqrt{25+16} = \sqrt{41} \qquad \cdots(2)
  8. From (1)(1) and (2)(2) both are the same, which is what was to be shown.
    z=zˉ=41|z| = |\bar{z}| = \sqrt{41}
AnswerBoth sides give 41\sqrt{41}, so the property holds.
Compact solution

The real and imaginary coefficients are 55 and 44. Use the nonnegative square root.

z=52+42x+iy=x2+y2=25+16=41\begin{aligned}|z| &= \sqrt{5^2+4^2} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$|x+iy|=\sqrt{x^2+y^2}$}} \\ &= \sqrt{25+16} \\ &= \sqrt{41}\end{aligned}

Keep the real coefficient and change the sign of the imaginary coefficient.

zˉ=5+4i=54i\begin{aligned}\bar{z} &= \overline{5+4i} \\ &= 5-4i\end{aligned}

The real and imaginary coefficients are 55 and 4-4. Use the nonnegative square root.

zˉ=52+(4)2x+iy=x2+y2=25+16=41\begin{aligned}\left|\bar{z}\right| &= \sqrt{5^2+(-4)^2} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$|x+iy|=\sqrt{x^2+y^2}$}} \\ &= \sqrt{25+16} \\ &= \sqrt{41}\end{aligned}

The two distances are equal.

z=zˉ=41|z|=\left|\bar{z}\right|=\sqrt{41}

Example 16

If z=5+3iz=5+3i, show that zzˉ=z2z\bar{z}=|z|^{2}.

Solution
  1. Write the conjugate first, changing the sign of the imaginary part.
    zˉ=53i\bar{z} = 5-3i
  2. Multiply zz by zˉ\bar{z}. The two brackets are of the form (a+b)(ab)(a+b)(a-b), which is always a2b2a^{2}-b^{2}.
    zzˉ=(5+3i)(53i)=52(3i)2z\bar{z} = (5+3i)(5-3i) = 5^{2}-(3i)^{2}
  3. Open the second square, squaring both the 33 and the ii.
    (3i)2=9i2=9(1)=9(3i)^{2} = 9i^{2} = 9(-1) = -9
  4. Subtract. Taking away 9-9 is the same as adding 99.
    zzˉ=25(9)=25+9=34(1)z\bar{z} = 25-(-9) = 25+9 = 34 \qquad \cdots(1)
  5. Now the other side. First find the modulus, using z=x2+y2|z|=\sqrt{x^{2}+y^{2}} with x=5x=5 and y=3y=3.
    z=52+32=34|z| = \sqrt{5^{2}+3^{2}} = \sqrt{34}
  6. Square it. Squaring a square root gives back the number inside, so the root and the square cancel.
    z2=(34)2=34(2)|z|^{2} = \left(\sqrt{34}\right)^{2} = 34 \qquad \cdots(2)
  7. From (1)(1) and (2)(2) both sides give 3434, which is what was to be shown.
    zzˉ=z2=34z\bar{z} = |z|^{2} = 34
AnswerBoth sides give 3434, so the property holds.
Compact solution

Keep the real coefficient and change the sign of the imaginary coefficient.

zˉ=5+3i=53i\begin{aligned}\bar{z} &= \overline{5+3i} \\ &= 5-3i\end{aligned}

For the left side, multiply the conjugate pair.

zzˉ=(5+3i)(53i)=52(3i)2(a+b)(ab)=a2b2=259i2=259(1)i2=1=25+9=34\begin{aligned}z\bar{z} &= (5+3i)(5-3i) \\ &= 5^2-(3i)^2 && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$(a+b)(a-b)=a^2-b^2$}} \\ &= 25-9i^2 \\ &= 25-9(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= 25+9 \\ &= 34\end{aligned}

For the right side, use the modulus of the original number.

z=52+32x+iy=x2+y2=25+9=34\begin{aligned}|z| &= \sqrt{5^2+3^2} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$|x+iy|=\sqrt{x^2+y^2}$}} \\ &= \sqrt{25+9} \\ &= \sqrt{34}\end{aligned}

Square the modulus, as the right side requires.

z2=(34)2=34\begin{aligned}|z|^2 &= \left(\sqrt{34}\right)^2 \\ &= 34\end{aligned}

The two sides agree.

zzˉ=z2=34z\bar{z}=|z|^2=34
Common mistake
Watch outThe property gives z2|z|^{2}, not z|z|. Do not take a square root at the end.

Exercise 1.3

Question 1

Find the modulus of the following complex numbers:

(i)4+3i4+3i
Solution
  1. The modulus of z=x+iyz=x+iy is x2+y2\sqrt{x^{2}+y^{2}}. Write down the two parts first, matching the number to that form.
    x=4,y=3x = 4, \qquad y = 3
  2. Put them into the formula.
    4+3i=42+32|4+3i| = \sqrt{4^{2}+3^{2}}
  3. Square each part.
    42=16,32=94^{2} = 16, \qquad 3^{2} = 9
  4. Add the two squares.
    16+9=2516+9 = 25
  5. Take the square root. Since 5×5=255\times 5=25, the root is exact.
    4+3i=25=5|4+3i| = \sqrt{25} = 5
Answer55
Compact solution

The real and imaginary coefficients are 44 and 33. Use the nonnegative square root.

4+3i=42+32x+iy=x2+y2=16+9=25=5\begin{aligned}\left|4+3i\right| &= \sqrt{4^2+3^2} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$|x+iy|=\sqrt{x^2+y^2}$}} \\ &= \sqrt{16+9} \\ &= \sqrt{25} \\ &= 5\end{aligned}
(ii)54i-5-4i
Solution
  1. Write down the two parts. Both are negative here, but that will not matter, because squaring removes a minus sign.
    x=5,y=4x = -5, \qquad y = -4
  2. Put them into the formula z=x2+y2|z|=\sqrt{x^{2}+y^{2}}.
    54i=(5)2+(4)2|{-5}-4i| = \sqrt{(-5)^{2}+(-4)^{2}}
  3. Square each part. Minus times minus gives plus, so both squares are positive.
    (5)2=25,(4)2=16(-5)^{2} = 25, \qquad (-4)^{2} = 16
  4. Add the two squares.
    25+16=4125+16 = 41
  5. Take the square root. Since 4141 is not a perfect square, the root must stay as it is.
    54i=41|{-5}-4i| = \sqrt{41}
Answer41\sqrt{41}
Compact solution

The real and imaginary coefficients are 5-5 and 4-4. Use the nonnegative square root.

54i=(5)2+(4)2x+iy=x2+y2=25+16=41\begin{aligned}\left|-5-4i\right| &= \sqrt{(-5)^2+(-4)^2} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$|x+iy|=\sqrt{x^2+y^2}$}} \\ &= \sqrt{25+16} \\ &= \sqrt{41}\end{aligned}
Common mistake
Watch outA modulus cannot be negative. Here the negative coordinates are squared: (5)2=25(-5)^{2}=25 and (4)2=16(-4)^{2}=16.
(iii)3545i\frac{3}{5}-\frac{4}{5}i
Solution
  1. Write down the two parts. They are fractions here, but the formula does not change.
    x=35,y=45x = \frac{3}{5}, \qquad y = -\frac{4}{5}
  2. Put them into the formula.
    3545i=(35)2+(45)2\left|\frac{3}{5}-\frac{4}{5}i\right| = \sqrt{\left(\frac{3}{5}\right)^{2}+\left(-\frac{4}{5}\right)^{2}}
  3. Square each fraction. To square a fraction, square the top and square the bottom separately. The minus sign disappears in the second one.
    (35)2=925,(45)2=1625\left(\frac{3}{5}\right)^{2} = \frac{9}{25}, \qquad \left(-\frac{4}{5}\right)^{2} = \frac{16}{25}
  4. Add them. Both fractions already have the same bottom number 2525, so add the tops and keep that bottom.
    925+1625=2525=1\frac{9}{25}+\frac{16}{25} = \frac{25}{25} = 1
  5. Take the square root of 11.
    3545i=1=1\left|\frac{3}{5}-\frac{4}{5}i\right| = \sqrt{1} = 1
Answer11
Compact solution

The real and imaginary coefficients are 35\dfrac{3}{5} and 45-\dfrac{4}{5}. Use the nonnegative square root.

3545i=(35)2+(45)2x+iy=x2+y2=925+1625=9+1625=2525=1=1\begin{aligned}\left|\dfrac{3}{5}-\dfrac{4}{5}i\right| &= \sqrt{\left(\frac{3}{5}\right)^2+\left(-\frac{4}{5}\right)^2} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$|x+iy|=\sqrt{x^2+y^2}$}} \\ &= \sqrt{\dfrac{9}{25}+\dfrac{16}{25}} \\ &= \sqrt{\frac{9+16}{25}} \\ &= \sqrt{\frac{25}{25}} \\ &= \sqrt{1} \\ &= 1\end{aligned}
Observation
ObservationA complex number with modulus 11 lies on the circle of radius 11 centered at the origin.
(iv)23i-\sqrt{2}-\sqrt{3}i
Solution
  1. Write down the two parts. Both are surds, but a surd is just an ordinary real number, so nothing about the method changes.
    x=2,y=3x = -\sqrt{2}, \qquad y = -\sqrt{3}
  2. Put them into the formula.
    23i=(2)2+(3)2\left|-\sqrt{2}-\sqrt{3}i\right| = \sqrt{\left(-\sqrt{2}\right)^{2}+\left(-\sqrt{3}\right)^{2}}
  3. Square each part. Squaring a square root gives back the number inside, and the minus signs disappear.
    (2)2=2,(3)2=3\left(-\sqrt{2}\right)^{2} = 2, \qquad \left(-\sqrt{3}\right)^{2} = 3
  4. Add the two squares.
    2+3=52+3 = 5
  5. Take the square root. Since 55 is not a perfect square, the root stays as it is.
    23i=5\left|-\sqrt{2}-\sqrt{3}i\right| = \sqrt{5}
Answer5\sqrt{5}
Compact solution

The two coefficients are 2-\sqrt2 and 3-\sqrt3.

23i=(2)2+(3)2x+iy=x2+y2=2+3(a)2=a(a0)=5\begin{aligned}\left|-\sqrt2-\sqrt3i\right| &= \sqrt{(-\sqrt2)^2+(-\sqrt3)^2} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$|x+iy|=\sqrt{x^2+y^2}$}} \\ &= \sqrt{2+3} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$(-\sqrt a)^2=a\quad(a\geq0)$}} \\ &= \sqrt5\end{aligned}

Question 2

If z1=2+7iz_{1}=2+7i and z2=43iz_{2}=4-3i, then verify that:

(i)z1+z2=z1ˉ+z2ˉ\overline{z_{1}+z_{2}}=\bar{z_{1}}+\bar{z_{2}}
Solution
  1. To verify, work out each side on its own and show they agree. Never assume they are equal. The left side says add first, then take the conjugate. So add.
    z1+z2=(2+7i)+(43i)z_{1}+z_{2} = (2+7i)+(4-3i)
  2. Add the real parts together and the imaginary parts together.
    z1+z2=(2+4)+(73)i=6+4iz_{1}+z_{2} = (2+4)+(7-3)i = 6+4i
  3. Now take the conjugate of that sum, changing the sign of the imaginary part.
    z1+z2=64i(1)\overline{z_{1}+z_{2}} = 6-4i \qquad \cdots(1)
  4. The right side says take the conjugates first. Write each one.
    z1ˉ=27i,z2ˉ=4+3i\bar{z_{1}} = 2-7i, \qquad \bar{z_{2}} = 4+3i
  5. Now add them, part by part. Note that 7+3=4-7+3=-4, because starting at 7-7 and going up 33 reaches 4-4.
    z1ˉ+z2ˉ=(2+4)+(7+3)i=64i(2)\bar{z_{1}}+\bar{z_{2}} = (2+4)+(-7+3)i = 6-4i \qquad \cdots(2)
  6. From (1)(1) and (2)(2) both sides give the same number.
    z1+z2=z1ˉ+z2ˉ=64i\overline{z_{1}+z_{2}} = \bar{z_{1}}+\bar{z_{2}} = 6-4i
AnswerBoth sides give 64i6-4i, so the property holds.
Compact solution

Calculate the left side first: perform the operation before conjugating. Add the real coefficients and the imaginary coefficients separately.

z1+z2=(2+7i)+(43i)=2+7i+43i=(2+4)+(73)icollect like terms=6+4i\begin{aligned}z_1+z_2 &= (2+7i)+(4-3i) \\ &= 2+7i+4-3i \\ &= (2+4)+(7-3)i && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\text{collect like terms}$}} \\ &= 6+4i\end{aligned}

Take the conjugate of this result.

z1+z2=6+4i=64i\begin{aligned}\overline{z_1+z_2} &= \overline{6+4i} \\ &= 6-4i\end{aligned}

For the right side, conjugate the two inputs first.

zˉ1=27izˉ2=4+3i\begin{gathered}\bar z_1=2-7i \\ \bar z_2=4+3i\end{gathered}

Add the real coefficients and the imaginary coefficients separately.

zˉ1+zˉ2=(27i)+(4+3i)=27i+4+3i=(2+4)+(7+3)icollect like terms=64i\begin{aligned}\bar z_1+\bar z_2 &= (2-7i)+(4+3i) \\ &= 2-7i+4+3i \\ &= (2+4)+(-7+3)i && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\text{collect like terms}$}} \\ &= 6-4i\end{aligned}

Both sides give 64i6-4i, so the required equality holds for these values.

z1+z2=zˉ1+zˉ2=64i\overline{z_1+z_2}=\bar z_1+\bar z_2=6-4i
(ii)z1z2=z1ˉz2ˉ\overline{z_{1}z_{2}}=\bar{z_{1}}\,\bar{z_{2}}
Solution
  1. The left side says multiply first, then take the conjugate. Multiply the brackets out term by term.
    z1z2=(2+7i)(43i)=86i+28i21i2z_{1}z_{2} = (2+7i)(4-3i) = 8-6i+28i-21i^{2}
  2. Replace i2i^{2} by 1-1. Note that 21(1)=+21-21(-1)=+21, because minus times minus gives plus.
    21i2=21-21i^{2} = 21
  3. Collect the real numbers and the ii terms.
    z1z2=(8+21)+(6+28)i=29+22iz_{1}z_{2} = (8+21)+(-6+28)i = 29+22i
  4. Now take the conjugate of that product.
    z1z2=2922i(1)\overline{z_{1}z_{2}} = 29-22i \qquad \cdots(1)
  5. The right side says take the conjugates first. Write each one.
    z1ˉ=27i,z2ˉ=4+3i\bar{z_{1}} = 2-7i, \qquad \bar{z_{2}} = 4+3i
  6. Multiply them out term by term.
    z1ˉz2ˉ=(27i)(4+3i)=8+6i28i21i2\bar{z_{1}}\,\bar{z_{2}} = (2-7i)(4+3i) = 8+6i-28i-21i^{2}
  7. Replace i2i^{2} by 1-1 again, so the last term becomes +21+21.
    21i2=21-21i^{2} = 21
  8. Collect. Note that 628=226-28=-22, because taking 2828 from 66 carries you 2222 below 00.
    z1ˉz2ˉ=(8+21)+(628)i=2922i(2)\bar{z_{1}}\,\bar{z_{2}} = (8+21)+(6-28)i = 29-22i \qquad \cdots(2)
  9. From (1)(1) and (2)(2) both sides agree.
    z1z2=z1ˉz2ˉ=2922i\overline{z_{1}z_{2}} = \bar{z_{1}}\,\bar{z_{2}} = 29-22i
AnswerBoth sides give 2922i29-22i, so the property holds.
Compact solution

Calculate the left side first: perform the operation before conjugating. Multiply each term in the first bracket by each term in the second.

z1z2=(2+7i)(43i)=2(4)+2(3i)+(7i)(4)+(7i)(3i)=86i+28i21i2=86i+28i21(1)i2=1=86i+28i+21=(8+21)+(6+28)icollect like terms=29+22i\begin{aligned}z_1z_2 &= (2+7i)(4-3i) \\ &= 2(4)+2(-3i)+(7i)(4)+(7i)(-3i) \\ &= 8-6i+28i-21i^2 \\ &= 8-6i+28i-21(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= 8-6i+28i+21 \\ &= (8+21)+(-6+28)i && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\text{collect like terms}$}} \\ &= 29+22i\end{aligned}

Take the conjugate of this result.

z1z2=29+22i=2922i\begin{aligned}\overline{z_1z_2} &= \overline{29+22i} \\ &= 29-22i\end{aligned}

For the right side, conjugate the two inputs first.

zˉ1=27izˉ2=4+3i\begin{gathered}\bar z_1=2-7i \\ \bar z_2=4+3i\end{gathered}

Multiply each term in the first bracket by each term in the second.

zˉ1zˉ2=(27i)(4+3i)=2(4)+2(3i)+(7i)(4)+(7i)(3i)=8+6i28i21i2=8+6i28i21(1)i2=1=8+6i28i+21=(8+21)+(628)icollect like terms=2922i\begin{aligned}\bar z_1\bar z_2 &= (2-7i)(4+3i) \\ &= 2(4)+2(3i)+(-7i)(4)+(-7i)(3i) \\ &= 8+6i-28i-21i^2 \\ &= 8+6i-28i-21(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= 8+6i-28i+21 \\ &= (8+21)+(6-28)i && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\text{collect like terms}$}} \\ &= 29-22i\end{aligned}

Both sides give 2922i29-22i, so the required equality holds for these values.

z1z2=zˉ1zˉ2=2922i\overline{z_1z_2}=\bar z_1\bar z_2=29-22i
(iii)(z1z2)=z1ˉz2ˉ\overline{\left(\frac{z_{1}}{z_{2}}\right)}=\frac{\bar{z_{1}}}{\bar{z_{2}}}
Solution
  1. The left side says divide first, then take the conjugate. Begin with the division.
    z1z2=2+7i43i\frac{z_{1}}{z_{2}} = \frac{2+7i}{4-3i}
  2. There is an ii in the denominator, so multiply the top and the bottom by the conjugate of the bottom, which is 4+3i4+3i.
    2+7i43i=2+7i43i×4+3i4+3i\frac{2+7i}{4-3i} = \frac{2+7i}{4-3i}\times\frac{4+3i}{4+3i}
  3. Work out the numerator, multiplying term by term.
    (2+7i)(4+3i)=8+6i+28i+21i2(2+7i)(4+3i) = 8+6i+28i+21i^{2}
  4. Replace i2i^{2} by 1-1, so the last term is 21-21.
    21i2=2121i^{2} = -21
  5. Collect the numerator. Note that 821=138-21=-13.
    (2+7i)(4+3i)=(821)+(6+28)i=13+34i(2+7i)(4+3i) = (8-21)+(6+28)i = -13+34i
  6. Now the denominator, using (ab)(a+b)=a2b2(a-b)(a+b)=a^{2}-b^{2}.
    (43i)(4+3i)=42(3i)2=16+9=25(4-3i)(4+3i) = 4^{2}-(3i)^{2} = 16+9 = 25
  7. Put the numerator over the denominator and split into two parts.
    z1z2=13+34i25=1325+3425i\frac{z_{1}}{z_{2}} = \frac{-13+34i}{25} = -\frac{13}{25}+\frac{34}{25}i
  8. Now take the conjugate of that, changing the sign of the imaginary part only.
    (z1z2)=13253425i(1)\overline{\left(\frac{z_{1}}{z_{2}}\right)} = -\frac{13}{25}-\frac{34}{25}i \qquad \cdots(1)
  9. The right side says take the conjugates first. Write each one.
    z1ˉ=27i,z2ˉ=4+3i\bar{z_{1}} = 2-7i, \qquad \bar{z_{2}} = 4+3i
  10. Divide them. The conjugate of the new bottom 4+3i4+3i is 43i4-3i, so multiply top and bottom by that.
    z1ˉz2ˉ=27i4+3i×43i43i\frac{\bar{z_{1}}}{\bar{z_{2}}} = \frac{2-7i}{4+3i}\times\frac{4-3i}{4-3i}
  11. Work out the numerator.
    (27i)(43i)=86i28i+21i2(2-7i)(4-3i) = 8-6i-28i+21i^{2}
  12. Replace i2i^{2} by 1-1 and collect. Note that 628=34-6-28=-34.
    (27i)(43i)=(821)+(628)i=1334i(2-7i)(4-3i) = (8-21)+(-6-28)i = -13-34i
  13. The denominator is the same as before.
    (4+3i)(43i)=16+9=25(4+3i)(4-3i) = 16+9 = 25
  14. So the right side comes to this.
    z1ˉz2ˉ=1334i25=13253425i(2)\frac{\bar{z_{1}}}{\bar{z_{2}}} = \frac{-13-34i}{25} = -\frac{13}{25}-\frac{34}{25}i \qquad \cdots(2)
  15. From (1)(1) and (2)(2) both sides agree, and this is the value they share.
    (z1z2)=z1ˉz2ˉ=13253425i\overline{\left(\frac{z_{1}}{z_{2}}\right)} = \frac{\bar{z_{1}}}{\bar{z_{2}}} = -\frac{13}{25}-\frac{34}{25}i
AnswerBoth sides give 13253425i-\dfrac{13}{25}-\dfrac{34}{25}i, so the property holds.
Compact solution

Calculate the left side first: perform the operation before conjugating. Multiply numerator and denominator by the conjugate 4+3i4+3i.

z1z2=2+7i43i=2+7i43i4+3i4+3i4+3i4+3i=1=(2+7i)(4+3i)(43i)(4+3i)\begin{aligned}\frac{z_1}{z_2} &= \frac{2+7i}{4-3i} \\ &= \frac{2+7i}{4-3i}\cdot\frac{4+3i}{4+3i} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\frac{4+3i}{4+3i}=1$}} \\ &= \frac{(2+7i)(4+3i)}{(4-3i)(4+3i)}\end{aligned}

Expand the numerator first.

(2+7i)(4+3i)=2(4)+2(3i)+(7i)(4)+(7i)(3i)=8+6i+28i+21i2=8+6i+28i+21(1)i2=1=8+6i+28i21=(821)+(6+28)icollect like terms=13+34i\begin{aligned}(2+7i)(4+3i) &= 2(4)+2(3i)+(7i)(4)+(7i)(3i) \\ &= 8+6i+28i+21i^2 \\ &= 8+6i+28i+21(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= 8+6i+28i-21 \\ &= (8-21)+(6+28)i && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\text{collect like terms}$}} \\ &= -13+34i\end{aligned}

Multiply the conjugate pair using the difference of squares.

(43i)(4+3i)=42(3i)2(a+b)(ab)=a2b2=169i2=169(1)i2=1=16+9=25\begin{aligned}(4-3i)(4+3i) &= 4^2-(3i)^2 && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$(a+b)(a-b)=a^2-b^2$}} \\ &= 16-9i^2 \\ &= 16-9(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= 16+9 \\ &= 25\end{aligned}

Substitute the numerator and denominator, then simplify to rectangular form.

z1z2=13+34i25=1325+3425i\begin{aligned}\frac{z_1}{z_2} &= \frac{-13+34i}{25} \\ &= -\frac{13}{25}+\frac{34}{25}i\end{aligned}

Take the conjugate of this result.

z1z2=1325+3425i=13253425i\begin{aligned}\overline{\frac{z_1}{z_2}} &= \overline{-\dfrac{13}{25}+\dfrac{34}{25}i} \\ &= -\dfrac{13}{25}-\dfrac{34}{25}i\end{aligned}

For the right side, conjugate the two inputs first.

zˉ1=27izˉ2=4+3i\begin{gathered}\bar z_1=2-7i \\ \bar z_2=4+3i\end{gathered}

Multiply numerator and denominator by the conjugate 43i4-3i.

zˉ1zˉ2=27i4+3i=27i4+3i43i43i43i43i=1=(27i)(43i)(4+3i)(43i)\begin{aligned}\frac{\bar z_1}{\bar z_2} &= \frac{2-7i}{4+3i} \\ &= \frac{2-7i}{4+3i}\cdot\frac{4-3i}{4-3i} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\frac{4-3i}{4-3i}=1$}} \\ &= \frac{(2-7i)(4-3i)}{(4+3i)(4-3i)}\end{aligned}

Expand the numerator first.

(27i)(43i)=2(4)+2(3i)+(7i)(4)+(7i)(3i)=86i28i+21i2=86i28i+21(1)i2=1=86i28i21=(821)+(628)icollect like terms=1334i\begin{aligned}(2-7i)(4-3i) &= 2(4)+2(-3i)+(-7i)(4)+(-7i)(-3i) \\ &= 8-6i-28i+21i^2 \\ &= 8-6i-28i+21(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= 8-6i-28i-21 \\ &= (8-21)+(-6-28)i && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\text{collect like terms}$}} \\ &= -13-34i\end{aligned}

Multiply the conjugate pair using the difference of squares.

(4+3i)(43i)=42(3i)2(a+b)(ab)=a2b2=169i2=169(1)i2=1=16+9=25\begin{aligned}(4+3i)(4-3i) &= 4^2-(3i)^2 && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$(a+b)(a-b)=a^2-b^2$}} \\ &= 16-9i^2 \\ &= 16-9(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= 16+9 \\ &= 25\end{aligned}

Substitute the numerator and denominator, then simplify to rectangular form.

zˉ1zˉ2=1334i25=13253425i\begin{aligned}\frac{\bar z_1}{\bar z_2} &= \frac{-13-34i}{25} \\ &= -\frac{13}{25}-\frac{34}{25}i\end{aligned}

Both sides give 13253425i-\dfrac{13}{25}-\dfrac{34}{25}i, so the required equality holds for these values.

z1z2=zˉ1zˉ2=13253425i\overline{\frac{z_1}{z_2}}=\frac{\bar z_1}{\bar z_2}=-\dfrac{13}{25}-\dfrac{34}{25}i

Question 3

If z=52iz=5-2i, then verify that:

(i)zˉˉ=z\bar{\bar{z}}=z
Solution
  1. Take the conjugate once. Keep the real part and change the sign of the imaginary part.
    zˉ=5+2i\bar{z} = 5+2i
  2. Now take the conjugate again, of the number just found. The real part 55 stays, and the imaginary part +2+2 changes sign to 2-2.
    zˉˉ=5+2i=52i\bar{\bar{z}} = \overline{5+2i} = 5-2i
  3. That is the number we started with, so the property holds.
    zˉˉ=52i=z\bar{\bar{z}} = 5-2i = z
Answerzˉˉ=52i=z\bar{\bar{z}}=5-2i=z
Compact solution

Keep the real coefficient and change the sign of the imaginary coefficient.

zˉ=52i=5+2i\begin{aligned}\bar{z} &= \overline{5-2i} \\ &= 5+2i\end{aligned}

Conjugate once more; the imaginary sign changes back.

zˉ=5+2i=52i=z\begin{aligned}\overline{\bar{z}} &= \overline{5+2i} \\ &= 5-2i \\ &= z\end{aligned}
(ii)z=zˉ|z|=|\bar{z}|
Solution
  1. Use z=x2+y2|z|=\sqrt{x^{2}+y^{2}} with x=5x=5 and y=2y=-2.
    z=52+(2)2|z| = \sqrt{5^{2}+(-2)^{2}}
  2. Square each part. Minus times minus gives plus, so the second square is positive.
    52=25,(2)2=45^{2} = 25, \qquad (-2)^{2} = 4
  3. Add and take the root. Since 2929 is not a perfect square, the root stays.
    z=29(1)|z| = \sqrt{29} \qquad \cdots(1)
  4. Now write the conjugate and take its modulus. Here x=5x=5 and y=+2y=+2.
    zˉ=5+2i,zˉ=52+22\bar{z} = 5+2i, \qquad |\bar{z}| = \sqrt{5^{2}+2^{2}}
  5. Square each part and add.
    zˉ=25+4=29(2)|\bar{z}| = \sqrt{25+4} = \sqrt{29} \qquad \cdots(2)
  6. From (1)(1) and (2)(2) both are the same. The squaring removed the only difference between them, which was a sign.
    z=zˉ=29|z| = |\bar{z}| = \sqrt{29}
AnswerBoth sides give 29\sqrt{29}, so the property holds.
Compact solution

The real and imaginary coefficients are 55 and 2-2. Use the nonnegative square root.

z=52+(2)2x+iy=x2+y2=25+4=29\begin{aligned}|z| &= \sqrt{5^2+(-2)^2} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$|x+iy|=\sqrt{x^2+y^2}$}} \\ &= \sqrt{25+4} \\ &= \sqrt{29}\end{aligned}

Keep the real coefficient and change the sign of the imaginary coefficient.

zˉ=52i=5+2i\begin{aligned}\bar{z} &= \overline{5-2i} \\ &= 5+2i\end{aligned}

The real and imaginary coefficients are 55 and 22. Use the nonnegative square root.

zˉ=52+22x+iy=x2+y2=25+4=29\begin{aligned}\left|\bar{z}\right| &= \sqrt{5^2+2^2} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$|x+iy|=\sqrt{x^2+y^2}$}} \\ &= \sqrt{25+4} \\ &= \sqrt{29}\end{aligned}

The two distances are equal.

z=zˉ=29|z|=\left|\bar{z}\right|=\sqrt{29}
(iii)z=z|z|=|{-z}|
Solution
  1. The modulus of zz was found in part (ii).
    z=29(1)|z| = \sqrt{29} \qquad \cdots(1)
  2. Now write z-z. A minus in front of the whole number changes the sign of both parts.
    z=(52i)=5+2i-z = -(5-2i) = -5+2i
  3. Take its modulus, with x=5x=-5 and y=2y=2.
    z=(5)2+22|{-z}| = \sqrt{(-5)^{2}+2^{2}}
  4. Square each part. The minus sign disappears in the first square.
    (5)2=25,22=4(-5)^{2} = 25, \qquad 2^{2} = 4
  5. Add and take the root.
    z=29(2)|{-z}| = \sqrt{29} \qquad \cdots(2)
  6. From (1)(1) and (2)(2) both are the same. Turning a point through 180180^\circ about the origin does not change how far it is from the origin.
    z=z=29|z| = |{-z}| = \sqrt{29}
AnswerBoth sides give 29\sqrt{29}, so the property holds.
Compact solution

The real and imaginary coefficients are 55 and 2-2. Use the nonnegative square root.

z=52+(2)2x+iy=x2+y2=25+4=29\begin{aligned}|z| &= \sqrt{5^2+(-2)^2} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$|x+iy|=\sqrt{x^2+y^2}$}} \\ &= \sqrt{25+4} \\ &= \sqrt{29}\end{aligned}

The additive inverse changes both signs, so that its sum with the original number is 00.

z=(52i)=5+2i(ab)=a+b\begin{aligned}-z &= -(5-2i) \\ &= -5+2i && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$-(a-b)=-a+b$}}\end{aligned}

The real and imaginary coefficients are 5-5 and 22. Use the nonnegative square root.

z=(5)2+22x+iy=x2+y2=25+4=29\begin{aligned}\left|-z\right| &= \sqrt{(-5)^2+2^2} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$|x+iy|=\sqrt{x^2+y^2}$}} \\ &= \sqrt{25+4} \\ &= \sqrt{29}\end{aligned}

The two distances are equal.

z=z=29|z|=\left|-z\right|=\sqrt{29}
(iv)zzˉ=z2z\bar{z}=|z|^{2}
Solution
  1. Write the conjugate first.
    zˉ=5+2i\bar{z} = 5+2i
  2. Multiply zz by zˉ\bar{z}. The two brackets are of the form (ab)(a+b)(a-b)(a+b), which is always a2b2a^{2}-b^{2}.
    zzˉ=(52i)(5+2i)=52(2i)2z\bar{z} = (5-2i)(5+2i) = 5^{2}-(2i)^{2}
  3. Open the second square, squaring both the 22 and the ii.
    (2i)2=4i2=4(1)=4(2i)^{2} = 4i^{2} = 4(-1) = -4
  4. Subtract. Taking away 4-4 is the same as adding 44, so the answer is an ordinary real number.
    zzˉ=25(4)=25+4=29(1)z\bar{z} = 25-(-4) = 25+4 = 29 \qquad \cdots(1)
  5. Now the other side. The modulus was found in part (ii).
    z=29|z| = \sqrt{29}
  6. Square it. Squaring a square root gives back the number inside, so the two cancel.
    z2=(29)2=29(2)|z|^{2} = \left(\sqrt{29}\right)^{2} = 29 \qquad \cdots(2)
  7. From (1)(1) and (2)(2) both sides give the same number.
    zzˉ=z2=29z\bar{z} = |z|^{2} = 29
AnswerBoth sides give 2929, so the property holds.
Compact solution

Keep the real coefficient and change the sign of the imaginary coefficient.

zˉ=52i=5+2i\begin{aligned}\bar{z} &= \overline{5-2i} \\ &= 5+2i\end{aligned}

For the left side, multiply the conjugate pair.

zzˉ=(52i)(5+2i)=52(2i)2(a+b)(ab)=a2b2=254i2=254(1)i2=1=25+4=29\begin{aligned}z\bar{z} &= (5-2i)(5+2i) \\ &= 5^2-(2i)^2 && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$(a+b)(a-b)=a^2-b^2$}} \\ &= 25-4i^2 \\ &= 25-4(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= 25+4 \\ &= 29\end{aligned}

For the right side, use the modulus of the original number.

z=52+(2)2x+iy=x2+y2=25+4=29\begin{aligned}|z| &= \sqrt{5^2+(-2)^2} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$|x+iy|=\sqrt{x^2+y^2}$}} \\ &= \sqrt{25+4} \\ &= \sqrt{29}\end{aligned}

Square the modulus, as the right side requires.

z2=(29)2=29\begin{aligned}|z|^2 &= \left(\sqrt{29}\right)^2 \\ &= 29\end{aligned}

The two sides agree.

zzˉ=z2=29z\bar{z}=|z|^2=29
Common mistake
Watch outThe right side is z2|z|^{2}, not z|z|. Do not take a square root at the end.
(v)z=zˉ|z|=|{-\bar{z}}|
Solution
  1. The modulus of zz was found in part (ii).
    z=29(1)|z| = \sqrt{29} \qquad \cdots(1)
  2. Now build zˉ-\bar{z} in two moves. First take the conjugate, which changes the sign of the imaginary part only.
    zˉ=5+2i\bar{z} = 5+2i
  3. Then put a minus in front of that, which changes the sign of both parts.
    zˉ=(5+2i)=52i-\bar{z} = -(5+2i) = -5-2i
  4. Take its modulus, with x=5x=-5 and y=2y=-2.
    zˉ=(5)2+(2)2|{-\bar{z}}| = \sqrt{(-5)^{2}+(-2)^{2}}
  5. Square each part. Both minus signs disappear.
    (5)2=25,(2)2=4(-5)^{2} = 25, \qquad (-2)^{2} = 4
  6. Add and take the root.
    zˉ=29(2)|{-\bar{z}}| = \sqrt{29} \qquad \cdots(2)
  7. From (1)(1) and (2)(2) both are the same. Whatever combination of sign changes you make, the two numbers being squared are unchanged.
    z=zˉ=29|z| = |{-\bar{z}}| = \sqrt{29}
AnswerBoth sides give 29\sqrt{29}, so the property holds.
Compact solution

The real and imaginary coefficients are 55 and 2-2. Use the nonnegative square root.

z=52+(2)2x+iy=x2+y2=25+4=29\begin{aligned}|z| &= \sqrt{5^2+(-2)^2} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$|x+iy|=\sqrt{x^2+y^2}$}} \\ &= \sqrt{25+4} \\ &= \sqrt{29}\end{aligned}

Keep the real coefficient and change the sign of the imaginary coefficient.

zˉ=52i=5+2i\begin{aligned}\bar{z} &= \overline{5-2i} \\ &= 5+2i\end{aligned}

Negate the conjugate by changing both signs.

zˉ=(5+2i)=52i\begin{aligned}-\bar{z} &= -(5+2i) \\ &= -5-2i\end{aligned}

The real and imaginary coefficients are 5-5 and 2-2. Use the nonnegative square root.

zˉ=(5)2+(2)2x+iy=x2+y2=25+4=29\begin{aligned}\left|-\bar{z}\right| &= \sqrt{(-5)^2+(-2)^2} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$|x+iy|=\sqrt{x^2+y^2}$}} \\ &= \sqrt{25+4} \\ &= \sqrt{29}\end{aligned}

The two distances are equal.

z=zˉ=29|z|=\left|-\bar{z}\right|=\sqrt{29}

Question 4

If z=43iz=4-3i, then verify that z=z=zˉˉ=zˉ|z|=|{-z}|=\left|\bar{\bar{z}}\right|=|{-\bar{z}}|.

Solution
  1. There are four numbers to compare, so build each one first before finding any modulus. Start with zz itself.
    z=43iz = 4-3i
  2. Change both signs to get z-z.
    z=(43i)=4+3i-z = -(4-3i) = -4+3i
  3. Take the conjugate twice. Taking it once gives 4+3i4+3i, and taking it again changes the sign back.
    zˉ=4+3i,zˉˉ=43i\bar{z} = 4+3i, \qquad \bar{\bar{z}} = 4-3i
  4. Now put a minus in front of the conjugate, which changes both signs of 4+3i4+3i.
    zˉ=(4+3i)=43i-\bar{z} = -(4+3i) = -4-3i
  5. Now find the four moduli, using z=x2+y2|z|=\sqrt{x^{2}+y^{2}} each time. Take zz first, with x=4x=4 and y=3y=-3.
    z=42+(3)2=16+9=25=5|z| = \sqrt{4^{2}+(-3)^{2}} = \sqrt{16+9} = \sqrt{25} = 5
  6. Now z-z, with x=4x=-4 and y=3y=3. Squaring removes both signs.
    z=(4)2+32=16+9=5|{-z}| = \sqrt{(-4)^{2}+3^{2}} = \sqrt{16+9} = 5
  7. Now zˉˉ\bar{\bar{z}}, which turned out to be zz itself, so its modulus must be the same.
    zˉˉ=42+(3)2=5\left|\bar{\bar{z}}\right| = \sqrt{4^{2}+(-3)^{2}} = 5
  8. Finally zˉ-\bar{z}, with x=4x=-4 and y=3y=-3.
    zˉ=(4)2+(3)2=16+9=5|{-\bar{z}}| = \sqrt{(-4)^{2}+(-3)^{2}} = \sqrt{16+9} = 5
  9. All four give the same answer, which is what was to be verified.
    z=z=zˉˉ=zˉ=5|z| = |{-z}| = \left|\bar{\bar{z}}\right| = |{-\bar{z}}| = 5
AnswerAll four give 55, so the chain holds.
Compact solution

First form the numbers whose moduli are required.

z=43iz=4+3izˉ=4+3izˉˉ=43izˉ=43i\begin{gathered}z=4-3i \\ -z=-4+3i \\ \bar z=4+3i \\ \bar{\bar z}=4-3i \\ -\bar z=-4-3i\end{gathered}

The real and imaginary coefficients are 44 and 3-3. Use the nonnegative square root.

z=42+(3)2x+iy=x2+y2=16+9=25=5\begin{aligned}|z| &= \sqrt{4^2+(-3)^2} && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$|x+iy|=\sqrt{x^2+y^2}$}} \\ &= \sqrt{16+9} \\ &= \sqrt{25} \\ &= 5\end{aligned}

The other numbers differ only in signs. Squaring each coefficient removes those sign changes.

z=(4)2+32=16+9=5zˉˉ=42+(3)2=5zˉ=(4)2+(3)2=5\begin{gathered}|-z|=\sqrt{(-4)^2+3^2}=\sqrt{16+9}=5 \\ |\bar{\bar z}|=\sqrt{4^2+(-3)^2}=5 \\ |-\bar z|=\sqrt{(-4)^2+(-3)^2}=5\end{gathered}

Hence all four moduli are equal.

z=z=zˉˉ=zˉ=5|z|=|-z|=|\bar{\bar z}|=|-\bar z|=5
Common mistake
Watch outDo not shorten this by claiming the four numbers are equal. They are not. Only their moduli are equal, because each sign change disappears when the parts are squared.

Question 5

If z1=2+3iz_{1}=2+3i and z2=1+iz_{2}=-1+i, then evaluate:

(i)Re(z1z2)\operatorname{Re}(z_{1}z_{2})
Solution
  1. The real part cannot be read off until the product is worked out, so multiply first. Take the brackets out term by term.
    z1z2=(2+3i)(1+i)=2(1)+2(i)+3i(1)+3i(i)z_{1}z_{2} = (2+3i)(-1+i) = 2(-1)+2(i)+3i(-1)+3i(i)
  2. Work out the first three products. Plus times minus gives minus in the first and third.
    2(1)=2,2(i)=2i,3i(1)=3i2(-1) = -2, \quad 2(i) = 2i, \quad 3i(-1) = -3i
  3. Now the fourth. The two ii terms multiply to give i2i^{2}.
    3i(i)=3i23i(i) = 3i^{2}
  4. Put the four products together.
    z1z2=2+2i3i+3i2z_{1}z_{2} = -2+2i-3i+3i^{2}
  5. Replace i2i^{2} by 1-1, so the last term becomes 3-3.
    3i2=3(1)=33i^{2} = 3(-1) = -3
  6. Collect the real numbers and the ii terms.
    z1z2=(23)+(23)i=5iz_{1}z_{2} = (-2-3)+(2-3)i = -5-i
  7. The real part is the piece with no ii attached to it.
    Re(z1z2)=5\operatorname{Re}(z_{1}z_{2}) = -5
Answer5-5
Compact solution

Multiply each term in the first bracket by each term in the second.

z1z2=(2+3i)(1+i)=2(1)+2(i)+(3i)(1)+(3i)(i)=2+2i3i+3i2=2+2i3i+3(1)i2=1=2+2i3i3=(23)+(23)icollect like terms=5i\begin{aligned}z_1z_2 &= (2+3i)(-1+i) \\ &= 2(-1)+2(i)+(3i)(-1)+(3i)(i) \\ &= -2+2i-3i+3i^2 \\ &= -2+2i-3i+3(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= -2+2i-3i-3 \\ &= (-2-3)+(2-3)i && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\text{collect like terms}$}} \\ &= -5-i\end{aligned}

The real coefficient is 5-5.

Re(z1z2)=5\operatorname{Re}(z_1z_2)=-5
(ii)Im(z1z2)\operatorname{Im}(z_{1}z_{2})
Solution
  1. This is the same product as in part (i), so the work is already done.
    z1z2=5iz_{1}z_{2} = -5-i
  2. The imaginary part is the number multiplying ii, without the ii itself. Here the term is i-i, which means 1-1 multiplied by ii.
    i=(1)i-i = (-1)i
  3. So the imaginary part is 1-1.
    Im(z1z2)=1\operatorname{Im}(z_{1}z_{2}) = -1
Answer1-1
Compact solution

Multiply each term in the first bracket by each term in the second.

z1z2=(2+3i)(1+i)=2(1)+2(i)+(3i)(1)+(3i)(i)=2+2i3i+3i2=2+2i3i+3(1)i2=1=2+2i3i3=(23)+(23)icollect like terms=5i\begin{aligned}z_1z_2 &= (2+3i)(-1+i) \\ &= 2(-1)+2(i)+(3i)(-1)+(3i)(i) \\ &= -2+2i-3i+3i^2 \\ &= -2+2i-3i+3(-1) && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$i^2=-1$}} \\ &= -2+2i-3i-3 \\ &= (-2-3)+(2-3)i && \fcolorbox{#9BB0DE}{transparent}{\small\textcolor{#4F6FAE}{$\text{collect like terms}$}} \\ &= -5-i\end{aligned}

Since i=(1)i-i=(-1)i, the imaginary coefficient is 1-1, not i-i.

Im(z1z2)=1\operatorname{Im}(z_1z_2)=-1
Common mistake
Watch outThe answer is 1-1, not i-i. The imaginary part is a real number, and the ii is never part of it.