Complex Plane, Polar Form and Root Extraction

Executive summary

Representing a+bi as the point (a,b) or the corresponding free vector turns complex arithmetic into geometry. Addition becomes vector addition. The modulus is the vector length, and the argument records direction. Writing a non-zero complex number in polar form makes multiplication especially simple: moduli multiply while arguments add. Powers multiply the argument by an integer, and an nth-root equation has exactly n values spaced evenly around a circle. This geometry is the foundation for the source's later treatment of continuous argument, winding number and branch changes.

What this handbook page teaches

Translate between algebraic, point, vector and polar representations.
Compute modulus and argument with correct multi-valued interpretation.
Use polar multiplication and division rules.
Calculate integer powers geometrically.
Find all nth roots and describe their cyclic arrangement.

Core concepts

a + bi↔ point (a,b)↔ vector↔ r(cos θ + i sin θ)

Point and vector representations

The complex number z=a+bi corresponds to the point (a,b). It also corresponds to the free vector with those components. Under this representation, z1+z2 is exactly the parallelogram-rule vector sum. The modulus |z| is the vector length, so |a+bi|=sqrt(a²+b²).

Conjugation reflects the point across the real axis. The relation |z|²=z z̄ follows immediately. The triangle inequality becomes the geometric statement that the direct vector from start to finish is no longer than a two-stage path.

Argument and polar form

For non-zero z, an argument is an oriented angle from the positive real axis to the vector representing z. It is multi-valued: if θ is one argument, then θ+2πk is another for any integer k. The origin has no defined argument.

With r=|z|, polar form is z=r(cos θ+i sin θ). Multiplying two numbers multiplies their moduli and adds their arguments. Dividing divides moduli and subtracts arguments. This turns repeated multiplication into a straightforward scaling-and-rotation rule.

Powers and roots

For an integer n>0, [r(cos θ+i sin θ)]^n=r^n(cos nθ+i sin nθ). To solve w^n=z, choose an argument θ of z. The solutions have modulus r^(1/n) and arguments (θ+2πk)/n for k=0,…,n−1.

Thus the roots lie at equal angular intervals 2π/n on a circle. For z=1 they form a cyclic group under multiplication. This cyclic structure later appears as the local monodromy of root extraction.

Working method

Use the following sequence as a repeatable analysis workflow. The steps are ordered to separate definitions and admissibility checks from structural conclusions, so a result can be audited without relying on intuition or an unverified diagram.

Convert z=a+bi to modulus r=sqrt(a²+b²) and determine an argument from the quadrant and trigonometric ratios.
Remember that the argument is not a single number unless a branch convention is imposed.
For products and quotients, work with moduli and arguments rather than expanding Cartesian components when that is simpler.
For powers, multiply the argument and raise the modulus.
For roots, divide the argument only after including all 2πk possibilities; then retain exactly n distinct values modulo 2π.
Plot the roots mentally or on the plane to verify equal spacing and correct modulus.

Finding all cube roots of a complex number

Take z=8. One argument is 0, so the cube roots have modulus 2 and arguments 0, 2π/3 and 4π/3. The three values are 2, 2(cos(2π/3)+i sin(2π/3)), and 2(cos(4π/3)+i sin(4π/3)).

Cubing each value multiplies its argument by three. The three resulting angles are 0, 2π and 4π, all equivalent modulo 2π, and the modulus becomes 8. Therefore all three map back to the same input value.

This many-to-one behaviour explains why the root function is multi-valued. If the input point moves once around the origin, its continuously chosen argument increases by 2π; the chosen cube root's argument increases by 2π/3, carrying it to the next root rather than back to itself.

Technical reasoning and deeper connections

The argument is the first place where multi-valuedness enters naturally even before root extraction. A point has one geometric direction, but its oriented angle can be increased or decreased by full turns without changing the point. Continuous argument later resolves this by choosing one value at the start of a path and continuing it continuously.

Multiplication by a fixed non-zero complex number acts geometrically as a rotation combined with uniform scaling. This is a powerful interpretation for image-of-curve problems: circles remain circles about the origin under pure multiplication, while arguments shift by a constant.

The nth roots of a non-zero number form one root multiplied by all nth roots of unity. The roots of unity themselves are equally spaced and cyclic. This gives a compact algebraic description of all root branches.

Root extraction is globally multi-valued even though local continuous branches can be selected away from suitable cuts. The mismatch between local single-valuedness and global cycling is exactly what motivates branched multi-sheet surfaces later in the source.

Quick-reference matrix

Representation	Data	Best use
Algebraic	`a+bi`	Addition, conjugation and component equations.
Point	`(a,b)`	Loci and geometric interpretation.
Vector	Magnitude and direction	Addition and inequalities.
Polar	`r, θ`	Multiplication, division, powers and roots.
Root set	`r^(1/n), (θ+2πk)/n`	Multi-valued branch structure.

Common mistakes

Using a single argument value without acknowledging the 2πk alternatives.
Taking only one nth root when all branches are required.
Dividing the chosen angle by n before adding the full-turn possibilities.
Assigning an argument to zero.
Adding moduli when multiplying complex numbers.
Assuming the roots lie on the same circle as the original number rather than the circle of radius |z|^(1/n).

Verification checklist

Before accepting a solution or proof, confirm each item below. These checks are intentionally practical: they catch the most common category errors, missing hypotheses and structure mismatches.

Modulus agrees with the Cartesian length.
Quadrant and argument are consistent.
Product/quotient argument rules use the correct sign.
Exactly n distinct roots are returned for non-zero z.
Roots are equally spaced by 2π/n.
Substitution by raising to the nth power recovers the original number.

Frequently asked questions

Why is the argument multi-valued?

Angles differing by any whole number of full turns represent the same ray.

How many complex `n`th roots does a non-zero number have?

Exactly n distinct roots.

What happens to modulus and argument under multiplication?

Moduli multiply and arguments add.

Why do root branches form a cycle?

A full turn of the input advances a continuously chosen root by one angular step of 2π/n; after n turns it returns.

Source basis: this page is a handbook-style synthesis of the uploaded mathematics source, principally sections 2.4, 2.5. It paraphrases the supplied material and does not reproduce source artwork or long source passages. Historical names, publisher details and personal details have been intentionally omitted.