For any complex number z=a+bi, the conjugate is defined as:
zˉ=a−bi
The operation preserves the real part a exactly while reversing the sign of the imaginary part. Where the original number has +bi, the conjugate has −bi. Where the original has −bi, the conjugate has +bi. Only the vertical component changes; the horizontal component remains untouched.
Concrete examples illustrate the pattern. The conjugate of 3+2i is 3−2i. The conjugate of −1−4i is −1+4i — the negative imaginary part becomes positive. The conjugate of 5 (a real number, written as 5+0i) is simply 5 — with no imaginary part to flip, nothing changes. The conjugate of 7i (pure imaginary, written as 0+7i) is −7i — the entire number negates because the real part contributes nothing.
Two notations appear in mathematical literature. The overline zˉ dominates pure mathematics and most textbooks. The asterisk z∗ appears frequently in physics and engineering, particularly in quantum mechanics and signal processing. Both symbols denote the identical operation. This text uses the overline convention, but readers should recognize both forms as equivalent.
The conjugate is not the same as negation. The negative of 3+2i is −3−2i, changing both signs. The conjugate 3−2i changes only the imaginary sign. Confusing these operations leads to errors, particularly when manipulating equations involving both.
Geometric Interpretation
The complex plane transforms the conjugate from an algebraic rule into a visible action. If z=a+bi corresponds to the point (a,b), then zˉ=a−bi corresponds to (a,−b). The horizontal coordinate stays fixed while the vertical coordinate negates. This is reflection across the real axis.
Picture the real axis as a horizontal mirror. Every point above the axis has a mirror image below; every point below has an image above. The conjugate operation sends each complex number to its reflection. The point 2+3i at coordinates (2,3) reflects to 2−3i at (2,−3). The point −1−4i at (−1,−4) reflects to −1+4i at (−1,4).
Points lying directly on the mirror remain stationary. These are precisely the real numbers — they have no vertical displacement to reverse, so conjugation leaves them unchanged. The number 5 sits at (5,0) on the real axis, and its reflection lands at the same spot. This geometric fact corresponds to the algebraic observation that aˉ=a for any real a.
Points on the imaginary axis exhibit different behavior. They lie perpendicular to the mirror, equidistant above and below the real axis. Reflection sends each to the opposite side of the origin. The number 4i at (0,4) reflects to −4i at (0,−4). For pure imaginary numbers, conjugation equals negation: zˉ=−z.
The reflection interpretation explains why conjugating twice returns the original number. Reflect a point across a line, then reflect again across the same line — the point returns home. Two mirror operations cancel completely, regardless of where the point started.
Fundamental Properties
The conjugate operation interacts predictably with arithmetic. Five properties govern how conjugation passes through sums, products, and powers, enabling simplification of complicated expressions.
The involution property states that conjugating twice recovers the original: zˉ=z. Apply the definition twice: if z=a+bi, then zˉ=a−bi, and zˉ=a−(−b)i=a+bi=z. The double sign flip restores the original imaginary part. Geometrically, reflecting twice across the same axis brings every point back to its starting position.
Additivity allows conjugation to distribute over sums: z1+z2=z1ˉ+z2ˉ. The conjugate of a sum equals the sum of the conjugates. Proof: let z1=a+bi and z2=c+di. Then z1+z2=(a+c)+(b+d)i, so z1+z2=(a+c)−(b+d)i=(a−bi)+(c−di)=z1ˉ+z2ˉ. The same property extends to subtraction: z1−z2=z1ˉ−z2ˉ.
Multiplicativity states that conjugation distributes over products: z1⋅z2=z1ˉ⋅z2ˉ. The conjugate of a product equals the product of the conjugates. Verification requires expanding both sides and comparing — the algebra confirms equality. This property proves invaluable when simplifying products or verifying identities.
Division follows the same pattern: z1/z2=z1ˉ/z2ˉ for z2=0. Conjugation passes through quotients just as it passes through products.
Powers inherit the multiplicative property: zn=(zˉ)n for any integer n. Repeated application of the product rule establishes this for positive integers, and the quotient rule extends it to negative integers. Conjugating a power equals powering the conjugate.
Conjugate and Modulus
A fundamental identity connects the conjugate to the modulus:
z⋅zˉ=∣z∣2
The product of any complex number with its conjugate yields the square of its modulus — a real, non-negative value. This relationship lies at the heart of complex arithmetic.
The proof follows from direct expansion. Let z=a+bi, so zˉ=a−bi. The product becomes:
z⋅zˉ=(a+bi)(a−bi)=a2−abi+abi−b2i2=a2−b2(−1)=a2+b2
The middle terms cancel, and i2=−1 converts the final term to positive. The result a2+b2 matches the definition ∣z∣2=a2+b2 exactly.
This identity explains why z⋅zˉ always produces a real number. The imaginary parts eliminate each other through the cancellation of −abi and +abi. No matter how complicated z appears, multiplying by its conjugate guarantees a real outcome.
A related fact: conjugation preserves modulus. The numbers z and zˉ lie at equal distances from the origin, as reflection across a line through the origin does not change radial distance. Algebraically, ∣zˉ∣=∣a−bi∣=a2+(−b)2=a2+b2=∣z∣. The identity ∣zˉ∣=∣z∣ holds universally.
Taking square roots of z⋅zˉ=∣z∣2 gives ∣z∣=z⋅zˉ, an alternative formula for modulus that sometimes proves more convenient than a2+b2.
Classification Theorems
The conjugate provides algebraic tests for determining whether a complex number belongs to special subcategories. Two classification theorems identify real numbers and pure imaginary numbers through their relationship with their conjugates.
The first theorem: a complex number z is real if and only if z=zˉ.
For the forward direction, suppose z is real, meaning z=a+0i=a for some a∈R. Then zˉ=a−0i=a=z. The conjugate equals the original.
For the reverse direction, suppose z=zˉ. Writing z=a+bi, the equation becomes a+bi=a−bi. Comparing imaginary parts: b=−b, which forces 2b=0 and thus b=0. With zero imaginary part, z=a is real.
Geometrically, real numbers sit on the real axis — the mirror line for conjugation. Points on a mirror remain fixed under reflection, so z=zˉ characterizes exactly those points.
The second theorem: a complex number z is pure imaginary if and only if zˉ=−z.
Forward: if z=bi for real b, then zˉ=−bi=−(bi)=−z.
Reverse: if zˉ=−z, then a−bi=−a−bi. Comparing real parts: a=−a, so 2a=0 and a=0. The number has no real part and is pure imaginary.
Geometrically, pure imaginaries sit on the imaginary axis, perpendicular to the mirror. Reflection through the real axis sends each such point to its opposite through the origin, making zˉ=−z.
Useful Identities
Three identities involving z and zˉ appear constantly in calculations. Each extracts specific information from a complex number or produces a value with guaranteed properties.
The sum of a number and its conjugate isolates the real part:
z+zˉ=(a+bi)+(a−bi)=2a
The imaginary terms cancel, leaving twice the real part. Rearranging provides a formula: Re(z)=2z+zˉ. This identity guarantees that z+zˉ is always real, regardless of the original number. Encountering this sum in any calculation signals that the result lies on the real axis.
The difference between a number and its conjugate isolates the imaginary part:
z−zˉ=(a+bi)−(a−bi)=2bi
The real terms cancel, leaving twice the imaginary term. Rearranging: Im(z)=2iz−zˉ. This identity guarantees that z−zˉ is always pure imaginary. The result necessarily sits on the vertical axis.
The product of a number and its conjugate yields the squared modulus:
z⋅zˉ=a2+b2=∣z∣2
This result is always real and always non-negative. It equals zero only when z=0. The identity underlies division, modulus computation, and countless proofs.
These three identities — sum, difference, and product with the conjugate — form a toolkit for manipulating complex expressions. Recognizing when they apply often transforms an intimidating calculation into straightforward algebra.
Applications to Division
Division of complex numbers requires expressing the quotient in standard algebraic forma+bi. A complex denominator violates this requirement — the conjugate provides the remedy.
Consider the division zw where both w and z are complex. The denominator z=c+di contains an imaginary part, preventing direct interpretation as a number in standard form. The strategy: multiply both numerator and denominator by zˉ, the conjugate of the denominator.
zw=zw⋅zˉzˉ=z⋅zˉw⋅zˉ=∣z∣2w⋅zˉ
The denominator becomes z⋅zˉ=∣z∣2, a real number. The numerator w⋅zˉ is some complex number that can be computed by standard multiplication. Dividing a complex number by a real number simply scales both components, yielding standard form.
A complete example: compute 1−4i3+2i.
The denominator is 1−4i, so its conjugate is 1+4i. Multiply numerator and denominator:
1−4i3+2i⋅1+4i1+4i=(1−4i)(1+4i)(3+2i)(1+4i)
The denominator: (1−4i)(1+4i)=1−16i2=1+16=17.
The numerator: (3+2i)(1+4i)=3+12i+2i+8i2=3+14i−8=−5+14i.
The quotient: 17−5+14i=−175+1714i.
Without the conjugate, no systematic method converts complex quotients to standard form. The identity z⋅zˉ=∣z∣2 makes the technique work — it guarantees the denominator becomes real.
Conjugate Pairs in Polynomials
Polynomials with real coefficients exhibit remarkable structure in their complex roots: non-real roots always appear in conjugate pairs. If z0 solves the equation, so does z0ˉ.
The theorem states: let p(z)=anzn+an−1zn−1+⋯+a1z+a0 be a polynomial with all coefficients ak real. If p(z0)=0 for some complex number z0, then p(z0ˉ)=0 as well.
The proof exploits how conjugation interacts with polynomial evaluation. Since conjugation distributes over sums and products, and since conjugating a real number leaves it unchanged:
The key step uses ak=ak because each coefficient is real. If p(z0)=0, then p(z0)=0ˉ=0, so p(z0ˉ)=0.
Consequences flow immediately. A real quadratic with no real roots must have two complex conjugate roots — if 2+3i solves it, so does 2−3i. A real cubic always has at least one real root, since complex roots pair off and an odd number of roots cannot all be paired. A real polynomial of degree 4 might have four real roots, two real and two complex conjugates, or two pairs of complex conjugates — but never three real and one complex.
Conjugate pairs multiply to give real quadratic factors. If z0=a+bi is a root, then (z−z0)(z−z0ˉ)=z2−2az+(a2+b2), a quadratic with real coefficients. This factorization explains why every real polynomial factors completely into real linear and real quadratic terms — the Fundamental Theorem of Algebra guarantees complex roots exist, and conjugate pairing ensures they combine into real factors.