Complex Numbers: Algebraic Construction and Conjugation

Executive summary

Complex numbers are introduced in the source as a concrete field built from ordered pairs of real numbers. Addition is component-wise, while multiplication is chosen so that the pair representing the new imaginary direction squares to the negative real unit. This construction proves that complex arithmetic is not an arbitrary symbolic trick: it is a consistent field extending the real numbers. Every complex value has a unique algebraic form a+bi, and conjugation provides a systematic way to recover real quantities and perform division. The source then argues that adjoining any element whose square is -1 forces a subfield structurally identical to the complex field.

What this handbook page teaches

Construct complex addition and multiplication from ordered pairs.
Verify the field identity and inverse rules.
Translate between ordered-pair and a+bi notation.
Use conjugation to calculate modulus-related expressions and quotients.
Understand the sense in which the complex field is the minimal real extension containing a square root of -1.

Core concepts

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

Ordered-pair construction

Represent a complex number by a pair (a,b) of real numbers. Define (a,b)+(c,d)=(a+c,b+d) and (a,b)(c,d)=(ac-bd,ad+bc). The additive identity is (0,0), the multiplicative identity is (1,0), and the second component creates the new direction.

Let i=(0,1). Then i²=(-1,0), identified with the real number -1. Also (a,b)=(a,0)+(b,0)i, so every pair becomes a+bi. This representation is unique because equality of pairs requires equality of both components.

Field properties and division

Addition and multiplication are associative and commutative, and multiplication distributes over addition. For a non-zero complex number a+bi, the multiplicative inverse can be constructed using a²+b², which is positive unless both components vanish. Therefore every non-zero complex number is invertible.

The quotient (a+bi)/(c+di) is found by multiplying numerator and denominator by c-di. The denominator becomes the real number c²+d², leaving a standard algebraic-form result. This procedure is an application of conjugation rather than a separate rule.

Conjugation and extension structure

The conjugate of z=a+bi is z̄=a-bi. It respects addition and multiplication, and z z̄=a²+b² is real and non-negative. Polynomials with real coefficients therefore take conjugate values at conjugate arguments; in particular, non-real roots of real-coefficient polynomials occur in conjugate pairs.

If a field already contains the real numbers and an element j satisfying j²=-1, then all elements a+bj form a subfield. Mapping a+bi to a+bj preserves addition and multiplication and is bijective onto that subfield. This establishes the structural uniqueness relevant to the source's development.

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.

Translate any complex number into a+bi with real a,b.
For addition or subtraction, combine real and imaginary components separately.
For multiplication, expand distributively and replace i² by -1.
For division, multiply top and bottom by the denominator's conjugate and simplify the denominator to a non-zero real value.
Use conjugation identities to simplify expressions: overline(z+w)=z̄+w̄ and overline(zw)=z̄w̄.
When proving a real-coefficient polynomial has conjugate roots, conjugate the entire equation and use the fact that real coefficients remain unchanged.

Dividing two complex numbers

Compute (3+4i)/(1-2i). Multiply numerator and denominator by the conjugate 1+2i. The denominator is (1-2i)(1+2i)=1+4=5. The numerator is (3+4i)(1+2i)=3+6i+4i+8i²=-5+10i.

Therefore the quotient is -1+2i. A quick verification multiplies (1-2i)(-1+2i) and recovers 3+4i. This check is useful because sign errors in the i²=-1 term are common.

The same conjugation method proves the inverse formula. For non-zero z=a+bi, 1/z=(a-bi)/(a²+b²). The denominator can vanish only when both a and b are zero, exactly the excluded case.

Technical reasoning and deeper connections

The multiplication rule for ordered pairs is designed to extend real multiplication while adding an element whose square is negative one. Once these requirements are imposed together with distributivity, the familiar complex product emerges. The rule is therefore motivated by desired field behaviour, not chosen merely for notation.

The real numbers are embedded as pairs (a,0). Under the pair operations, their sums and products agree with ordinary real arithmetic. This lets them be identified with a subfield of the complex numbers without ambiguity.

The source also discusses minimal field extensions. A polynomial relation satisfied by a new element constrains the dimension and structure of the extension. For real coefficients, a non-real element satisfying an irreducible quadratic relation leads to a copy of the complex field. The argument depends on the later fact that real polynomials of degree above two factor into linear and quadratic pieces.

Complex arithmetic becomes geometrically powerful in the next sections because each number is also a point and vector in a plane. Algebraic multiplication then acquires a geometric interpretation in terms of scaling and angle addition, which makes roots and branch behaviour much easier to visualise.

Quick-reference matrix

Operation	Algebraic rule	Verification cue
Addition	`(a+bi)+(c+di)=(a+c)+(b+d)i`	Components add independently.
Multiplication	`(a+bi)(c+di)=(ac-bd)+(ad+bc)i`	Use `i²=-1`.
Conjugation	`z̄=a-bi`	Imaginary sign reverses.
Norm square	`z z̄=a²+b²`	Real and non-negative.
Inverse	`z^-1=z̄/(z z̄)`	Requires `z≠0`.

Common mistakes

Treating i as an unspecified symbol instead of an element with i²=-1.
Forgetting that equality of complex numbers means equality of real and imaginary parts.
Using the conjugate of a sum or product incorrectly.
Dividing by a complex number without checking it is non-zero.
Assuming every field extension of the reals is automatically the complex field.
Conflating the algebraic pair representation with the later geometric point representation.

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.

Pair operations are used consistently with their definitions.
Real numbers embed as (a,0) and retain ordinary operations.
Every inverse formula checks the denominator a²+b².
Complex division is verified by multiplication when practical.
Conjugation identities are applied to the complete expression.
Claims of structural uniqueness specify the extension assumptions being used.

Frequently asked questions

Why are complex numbers useful for polynomial equations?

They provide a field in which every non-constant polynomial has complex roots and ultimately factors into linear terms.

Is `i` the only square root of `-1`?

No. The two roots are i and -i.

Why does conjugation help with division?

Multiplying a complex number by its conjugate removes the imaginary part and produces the real value a²+b².

Are complex numbers 'pairs' or 'numbers'?

The pair construction is one rigorous model. Once the field structure is established, the pairs are treated as the complex numbers themselves.

Source basis: this page is a handbook-style synthesis of the uploaded mathematics source, principally sections 2.2, 2.3. 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.