4.02e, 4.02f, 4.02m - Working in modulus-argument form

4.02e, 4.02f, 4.02m - Working in modulus-argument form

Convert between cartesian and modulus-argument forms, choosing the correct quadrant and principal argument. Use the form that makes each calculation simpler, and see multiplication, division and positive integer powers as changes of length and direction on an Argand diagram.

Converting from cartesian form

Why does multiplying 1+i1 + i by itself turn a diagonal arrow into a vertical one? You know that (1+i)2=2i(1 + i)^2 = 2i; the question is what makes that answer inevitable in the picture. To see it, keep track of lengths and angles instead of coordinates.

You already know

A non-zero number with modulus rr and argument θ\theta is r(cos⁡θ+isin⁡θ)r(\cos\theta + i\sin\theta). Its point is (rcos⁡θ,rsin⁡θ)(r\cos\theta, r\sin\theta). Principal arguments here lie in (−π,π](-\pi, \pi] unless another interval is specified; 00 has no argument.

For 1+i1 + i, Pythagoras gives modulus 2\sqrt{2}, and equal positive coordinates give argument π/4\pi/4. For −1+i-1 + i, the modulus is unchanged but the argument is 3π/43\pi/4. A tangent value alone cannot distinguish these quadrants.

[DIAGRAM: asset_name: The quadrant chooses the argument; asset_slug: h245_4_02_polar_conversion; caption: Equal reference angles can give different arguments in different quadrants; description: Equal-scale Argand axes show 1 + root 3 i and -1 + root 3 i on the circle of radius 2, at angles pi/3 and 2pi/3. Right-angle coordinate guides and arcs identify the reference angle pi/3 and the full second-quadrant angle 2pi/3.]
Equal reference angles can give different arguments in different quadrants

Cartesian to modulus-argument form

For z=x+iy≠0z = x + iy \ne 0:

r=x2+y2cos⁡θ=xrsin⁡θ=yrr = \sqrt{x^2 + y^2} \qquad \cos\theta = \frac{x}{r} \qquad \sin\theta = \frac{y}{r}

When x≠0x \ne 0, tan⁡θ=y/x\tan\theta = y/x, but use the signs of both parts to select the quadrant and then the required interval.
Not in the formula booklet: learn it.

Use an acute reference angle and the picture, rather than trusting the range of the inverse tangent button.

Worked example 1: first-quadrant conversion

Question. Express 1+3 i1 + \sqrt{3}\,i in modulus-argument form.

Plan. Find its modulus and use the positive coordinates to choose the first-quadrant angle.

r=12+(3)2=2Pythagorastan⁡θ=3opposite over adjacentθ=π3first quadrant\begin{aligned} r &= \sqrt{1^2 + (\sqrt{3})^2} = 2 && \text{Pythagoras} \\ \tan\theta &= \sqrt{3} && \text{opposite over adjacent} \\ \theta &= \frac{\pi}{3} && \text{first quadrant} \end{aligned}

Why this step? Both coordinates are positive, so the angle must be between 00 and π/2\pi/2.

Answer. 2(cos⁡π3+isin⁡π3)2\left(\cos\frac{\pi}{3} + i\sin\frac{\pi}{3}\right).

Check. 2cos⁡(π/3)=12\cos(\pi/3) = 1 and 2sin⁡(π/3)=32\sin(\pi/3) = \sqrt{3}.

Change only the sign of the real part. The modulus and acute reference angle stay the same, but the actual argument moves to the second quadrant.

Worked example 2: second-quadrant conversion

Question. Express −1+3 i-1 + \sqrt{3}\,i in modulus-argument form, with −π<arg⁡z≤π-\pi < \arg z \le \pi.

Plan. Find the modulus and subtract the acute reference angle from π\pi.

r=(−1)2+(3)2=2Pythagorasα=tan⁡−1(3)=π3acute reference angleθ=π−α=2π3second quadrant\begin{aligned} r &= \sqrt{(-1)^2 + (\sqrt{3})^2} = 2 && \text{Pythagoras} \\ \alpha &= \tan^{-1}(\sqrt{3}) = \frac{\pi}{3} && \text{acute reference angle} \\ \theta &= \pi - \alpha = \frac{2\pi}{3} && \text{second quadrant} \end{aligned}

Why this step? tan⁡−1(−3)=−π/3\tan^{-1}(-\sqrt{3}) = -\pi/3 points down and right, while the given point is up and left.

Answer. 2(cos⁡2π3+isin⁡2π3)2\left(\cos\frac{2\pi}{3} + i\sin\frac{2\pi}{3}\right).

Check. The real part is 2(−1/2)=−12(-1/2) = -1, and the imaginary part is 2(3/2)=32(\sqrt{3}/2) = \sqrt{3}.

On an axis, read the angle directly: do not divide by a zero real part. For example, −4i-4i has modulus 44 and principal argument −π/2-\pi/2.

Watch out

Wrong: assigning −1+3 i-1 + \sqrt{3}\,i argument −π/3-\pi/3 from inverse tangent alone. Right: use the signs to choose 2π/32\pi/3. Tangent repeats after π\pi, so its value does not fix the quadrant.

The final bracket must use a positive modulus, cosine first, a plus sign, and the same angle in both trigonometric functions.

Cartesian conversion for sums and differences

To recover cartesian form, evaluate rcos⁡θr\cos\theta and rsin⁡θr\sin\theta. Addition and subtraction then act on those coordinates. There is no rule that adds moduli and arguments to find a sum.

For example, 11 and −1-1 both have modulus 11, yet their sum has modulus 00, not 22. Their directions determine how their displacements combine.

Modulus-argument to cartesian form

For z=r(cos⁡θ+isin⁡θ)z = r(\cos\theta + i\sin\theta):

z=x+iyx=rcos⁡θy=rsin⁡θz = x + iy \qquad x = r\cos\theta \qquad y = r\sin\theta

For sums and differences, convert each number and then combine the real and imaginary parts separately.
Not in the formula booklet: learn it.

An exact angle produces exact coordinates, so keep surds throughout.

Worked example 3: adding after conversion

Question. Let z=4(cos⁡π3+isin⁡π3)z = 4\left(\cos\frac{\pi}{3} + i\sin\frac{\pi}{3}\right) and w=2(cos⁡π6+isin⁡π6)w = 2\left(\cos\frac{\pi}{6} + i\sin\frac{\pi}{6}\right). Find z+wz + w in cartesian form.

Plan. Evaluate each cosine and sine, multiply by its modulus, and then add parts.

z=4(12+32i)=2+23 iconvert zw=2(32+12i)=3+iconvert wz+w=(2+3)+(23+1)iadd coordinates\begin{aligned} z &= 4\left(\frac12 + \frac{\sqrt3}{2}i\right) = 2 + 2\sqrt3\,i && \text{convert } z \\ w &= 2\left(\frac{\sqrt3}{2} + \frac12 i\right) = \sqrt3 + i && \text{convert } w \\ z + w &= (2 + \sqrt3) + (2\sqrt3 + 1)i && \text{add coordinates} \end{aligned}

Why this step? A sum joins displacement vectors, so the quantities to add are their horizontal and vertical components.

Answer. (2+3)+(23+1)i(2 + \sqrt3) + (2\sqrt3 + 1)i.

Check. Both original numbers point up and right, and both coordinates of their sum are positive.

Change only the operation to subtraction. Keep the same converted coordinates and apply the minus sign to both parts of ww.

Worked example 4: subtracting after conversion

Question. For the same zz, ww, find z−wz - w in cartesian form.

Plan. Use the two cartesian forms and subtract the whole expression for ww.

z−w=(2+23 i)−(3+i)use the converted forms=(2−3)+(23−1)isubtract both parts\begin{aligned} z - w &= (2 + 2\sqrt3\,i) - (\sqrt3 + i) && \text{use the converted forms} \\ &= (2 - \sqrt3) + (2\sqrt3 - 1)i && \text{subtract both parts} \end{aligned}

Why this step? The vector from ww to zz has destination minus starting coordinates, just as in the Argand diagram.

Answer. (2−3)+(23−1)i(2 - \sqrt3) + (2\sqrt3 - 1)i.

Check. Adding back w=3+iw = \sqrt3 + i gives 2+23 i=z2 + 2\sqrt3\,i = z.

For non-special angles, keep sufficient calculator precision until the end; round final non-exact values to 33 significant figures unless told otherwise.

Watch out

Wrong: [4,π/3]+[2,π/6]=[6,π/2][4, \pi/3] + [2, \pi/6] = [6, \pi/2]. Right: convert to cartesian coordinates before adding. Multiplication will have a rule involving the arguments, but addition does not.

Try the same subtraction with a different modulus.

Multiplication, rotation and powers

Multiplying moduli and adding arguments is what makes modulus-argument form useful. Try 1+i=[2,π/4]1 + i = [\sqrt2, \pi/4]: squaring multiplies the length by 2\sqrt2 again and adds another π/4\pi/4, giving [2,π/2]=2i[2, \pi/2] = 2i.

The general rule follows by expanding and using the compound-angle identities you know:

(cos⁡α+isin⁡α)(cos⁡β+isin⁡β)=(cos⁡αcos⁡β−sin⁡αsin⁡β)+i(sin⁡αcos⁡β+cos⁡αsin⁡β)=cos⁡(α+β)+isin⁡(α+β)\begin{aligned} (\cos\alpha + i\sin\alpha)(\cos\beta + i\sin\beta) &= (\cos\alpha\cos\beta - \sin\alpha\sin\beta) \\ &\quad + i(\sin\alpha\cos\beta + \cos\alpha\sin\beta) \\ &= \cos(\alpha + \beta) + i\sin(\alpha + \beta) \end{aligned}

[DIAGRAM: asset_name: Multiplication stretches and rotates; asset_slug: h245_4_02_multiply_geometry; caption: Multiplication by 1 + i enlarges lengths by root 2 and rotates through pi/4 anticlockwise; description: Equal-scale Argand axes show the point 1 in sage, 1 + i in blue and 2i in clay, with position arrows of lengths 1, root 2 and 2. Successive angle arcs are pi/4. A caption on the image states that each arrow is the preceding number multiplied by 1 + i.]
Multiplication by 1 + i enlarges lengths by root 2 and rotates through pi/4 anticlockwise

Multiplication in modulus-argument form

For non-zero z1=[r1,θ1]z_1 = [r_1, \theta_1], z2=[r2,θ2]z_2 = [r_2, \theta_2]:

z1z2=[r1r2,θ1+θ2]z_1z_2 = [r_1r_2, \theta_1 + \theta_2]

Multiplication by a fixed non-zero [r,θ][r, \theta] is an enlargement of scale factor rr about OO, followed by rotation through θ\theta about OO, anticlockwise for positive θ\theta.
Not in the formula booklet: learn it.

Multiplying by zero sends every point to OO; its argument is undefined, so the rotation description assumes the multiplier is non-zero.

Worked example 5: multiplying different factors

Question. Find [2,π/6][3,π/4][2, \pi/6][3, \pi/4] in modulus-argument form and describe the effect of multiplying by [3,π/4][3, \pi/4].

Plan. Multiply the lengths and add the angles.

r=2×3=6multiply moduliθ=π6+π4=5π12add argumentsz1z2=[6,5π12]combine\begin{aligned} r &= 2 \times 3 = 6 && \text{multiply moduli} \\ \theta &= \frac{\pi}{6} + \frac{\pi}{4} = \frac{5\pi}{12} && \text{add arguments} \\ z_1z_2 &= \left[6, \frac{5\pi}{12}\right] && \text{combine} \end{aligned}

Why this step? The multiplier sets a scale factor and an additional turning angle; it does not supply new cartesian coordinates to add.

Answer. 6(cos⁡5π12+isin⁡5π12)6\left(\cos\frac{5\pi}{12} + i\sin\frac{5\pi}{12}\right). The transformation enlarges by factor 33 and rotates through π/4\pi/4 anticlockwise about OO.

Check. The length is tripled from 22 to 66, and 5π/12−π/6=π/45\pi/12 - \pi/6 = \pi/4.

Change the second factor to a copy of the first. Repeating that multiplication gives positive integer powers: nn equal lengths multiply to rnr^n, while nn equal angles add to nθn\theta.

Positive integer powers

For z=r(cos⁡θ+isin⁡θ)z = r(\cos\theta + i\sin\theta) and a positive integer nn:

zn=rn(cos⁡nθ+isin⁡nθ)z^n = r^n(\cos n\theta + i\sin n\theta)

This is the positive-integer case of de Moivre's theorem, obtained here by repeated multiplication.
In the formula booklet.

A power's angle may need full turns removed before it becomes a principal argument.

Worked example 6: a power and its principal argument

Question. For z=2(cos⁡π6+isin⁡π6)z = 2\left(\cos\frac{\pi}{6} + i\sin\frac{\pi}{6}\right), determine z8z^8 in modulus-argument form, with argument in (−π,π](-\pi, \pi].

Plan. Raise the modulus to the eighth power, multiply the angle by eight, then remove a full turn.

z8=28(cos⁡8π6+isin⁡8π6)eight equal factors=256(cos⁡4π3+isin⁡4π3)simplify=256(cos⁡(−2π3)+isin⁡(−2π3))subtract 2π\begin{aligned} z^8 &= 2^8\left(\cos\frac{8\pi}{6} + i\sin\frac{8\pi}{6}\right) && \text{eight equal factors} \\ &= 256\left(\cos\frac{4\pi}{3} + i\sin\frac{4\pi}{3}\right) && \text{simplify} \\ &= 256\left(\cos\left(-\frac{2\pi}{3}\right) + i\sin\left(-\frac{2\pi}{3}\right)\right) && \text{subtract } 2\pi \end{aligned}

Why this step? Multiplying the angle gives an argument, but the question asks for its representative in a particular interval.

Answer. z8=[256,−2π/3]z^8 = [256, -2\pi/3].

Check. z2=[4,π/3]z^2 = [4, \pi/3], z4=[16,2π/3]z^4 = [16, 2\pi/3], and squaring once more gives the same modulus and direction.

This answers the opening question: the two quarter-diagonal directions add to a vertical direction, and (2)2=2(\sqrt2)^2 = 2.

Watch out

Wrong: ∣z8∣=8∣z∣|z^8| = 8|z|. Right: ∣z8∣=∣z∣8|z^8| = |z|^8. Arguments are added under repeated multiplication; moduli are multiplied.

Apply those two different operations to a new power.

Division and inverse transformations

Division undoes multiplication: divide the lengths and subtract the angles. The denominator must be non-zero.

If z1/z2=wz_1/z_2 = w, then wz2=z1wz_2 = z_1. Multiplication by z2z_2 would multiply the modulus by r2r_2 and add θ2\theta_2, so division must reverse those two changes.

Division in modulus-argument form

For z1=[r1,θ1]z_1 = [r_1, \theta_1] and z2=[r2,θ2]z_2 = [r_2, \theta_2], with both non-zero:

z1z2=[r1r2,θ1−θ2]\frac{z_1}{z_2} = \left[\frac{r_1}{r_2}, \theta_1 - \theta_2\right]

Division by [r2,θ2][r_2, \theta_2] enlarges by factor 1/r21/r_2 and rotates through −θ2-\theta_2, about OO. A zero numerator gives zero, whose argument is undefined.
Not in the formula booklet: learn it.

Subtracting a negative angle is a common place to lose the direction of rotation.

Worked example 7: a quotient crossing the principal interval

Question. Let z=[6,5π/6]z = [6, 5\pi/6] and w=[2,−π/3]w = [2, -\pi/3]. Find z/wz/w with principal argument in (−π,π](-\pi, \pi].

Plan. Divide moduli and subtract the entire denominator argument, then adjust the angle.

zw=[62,5π6−(−π3)]quotient rule=[3,7π6]subtracting a negative adds=[3,−5π6]subtract 2π\begin{aligned} \frac{z}{w} &= \left[\frac{6}{2}, \frac{5\pi}{6} - \left(-\frac{\pi}{3}\right)\right] && \text{quotient rule} \\ &= \left[3, \frac{7\pi}{6}\right] && \text{subtracting a negative adds} \\ &= \left[3, -\frac{5\pi}{6}\right] && \text{subtract } 2\pi \end{aligned}

Why this step? Division by a clockwise rotation undoes that clockwise rotation, so the angle increases by π/3\pi/3.

Answer. z/w=[3,−5π/6]z/w = [3, -5\pi/6].

Check. Multiplying by ww gives modulus 66 and angle −5π/6−π/3=−7π/6-5\pi/6 - \pi/3 = -7\pi/6, equivalent to 5π/65\pi/6, as required.

Change only the order of the quotient. Taking the reciprocal inverts the modulus and reverses an argument.

Worked example 8: reversing the quotient

Question. For the same zz, ww, find w/zw/z and describe division by zz geometrically.

Plan. Reverse the modulus ratio and subtract the arguments in the new order.

wz=[26,−π3−5π6]new numerator first=[13,−7π6]simplify=[13,5π6]add 2π\begin{aligned} \frac{w}{z} &= \left[\frac{2}{6}, -\frac{\pi}{3} - \frac{5\pi}{6}\right] && \text{new numerator first} \\ &= \left[\frac13, -\frac{7\pi}{6}\right] && \text{simplify} \\ &= \left[\frac13, \frac{5\pi}{6}\right] && \text{add } 2\pi \end{aligned}

Why this step? Reversing a division reverses the angle subtraction too; the reciprocal product must have argument zero.

Answer. w/z=[1/3,5π/6]w/z = [1/3, 5\pi/6]. Division by zz enlarges by factor 1/61/6 and rotates through 5π/65\pi/6 clockwise about OO.

Check. (z/w)(w/z)(z/w)(w/z) has modulus 3×(1/3)=13 \times (1/3) = 1 and argument −5π/6+5π/6=0-5\pi/6 + 5\pi/6 = 0, so the product is 11.

A scale factor below 11 is still called an enlargement in transformation language; it reduces distances.

Watch out

Wrong: arg⁡(z/w)=arg⁡w−arg⁡z\arg(z/w) = \arg w - \arg z. Right: numerator angle minus denominator angle, then adjust to the required interval. Write brackets around a negative denominator angle.

The form is a choice of tool: cartesian coordinates for sums, lengths and angles for products and quotients.

Quick Recap

  • Convert using r=x2+y2r = \sqrt{x^2 + y^2} and the quadrant; convert back using x=rcos⁡θx = r\cos\theta, y=rsin⁡θy = r\sin\theta.
  • Add and subtract in cartesian form.
  • Multiply moduli and add arguments; divide moduli and subtract arguments.
  • A positive integer power raises the modulus to that power and multiplies the angle. Adjust the final angle to the requested interval.

The opening square (1+i)2=2i(1 + i)^2 = 2i combines two lengths 2\sqrt2 and two angles π/4\pi/4, giving length 22 and angle π/2\pi/2.