z-bar = a - ib
z conjugate equals a minus i b
Conjugate of z = a + ib
- a
- real part of z
- b
- imaginary part of z
Use when — Simplifying products and quotients
Common trap — Changing the real part sign instead of the imaginary part
|z| = sqrt(a^2 + b^2) = sqrt(z * z-bar)
modulus of z equals square root of a squared plus b squared, and result must be nonnegative
Modulus of z, the distance of (a,b) from the origin
- a
- real part of z
- b
- imaginary part of z
Use when — Distance from origin, comparing sizes
Common trap — Treating modulus as a signed quantity
z * z-bar = |z|^2
z times z conjugate equals modulus of z squared
Product of z with its conjugate equals modulus squared
- z
- any complex number
Use when — Division and modulus arguments
Common trap — Writing |z| instead of |z| squared
1/z = z-bar / |z|^2
one over z equals z conjugate divided by modulus of z squared, valid only for z not equal to zero
Reciprocal of a nonzero complex number
- z
- nonzero complex number
Use when — Complex division
Common trap — Dividing by zero when z = 0
z = r(cos theta + i sin theta)
z equals r times the quantity cosine theta plus i sine theta
Polar representation of nonzero z
- r
- modulus of z, r = |z| > 0
- theta
- an argument of z
Use when — Multiplication, division and direction problems
Common trap — Treating theta as unique without stating the principal convention
|z1 * z2| = |z1| * |z2|
modulus of z1 times z2 equals modulus of z1 times modulus of z2
Modulus of a product
- z1
- any complex number
- z2
- any complex number
Use when — Comparing product sizes
Common trap — Mixing modulus with argument rules
|z1 / z2| = |z1| / |z2|
modulus of z1 over z2 equals modulus of z1 over modulus of z2, requiring z2 not equal to zero
Modulus of a quotient
- z1
- numerator complex number
- z2
- nonzero denominator complex number
Use when — Comparing quotient sizes
Common trap — Ignoring the denominator's nonzero restriction
|z1 + z2| <= |z1| + |z2|
modulus of z1 plus z2 is less than or equal to modulus of z1 plus modulus of z2
Triangle inequality for complex numbers
- z1
- any complex number
- z2
- any complex number
Use when — Bounds and geometric comparisons
Common trap — Reversing the inequality direction
1, omega, omega^2 with omega^3 = 1 and 1 + omega + omega^2 = 0
the cube roots of unity are one, omega and omega squared, with omega cubed equal to one and one plus omega plus omega squared equal to zero
The three cube roots of unity
- omega
- a nonreal cube root of unity
Use when — Advanced algebra involving cube roots of unity
Common trap — Assuming omega = 1