Imaginary unit ($i$) and algebraic form ($a + bi$)

1. The closure problem: why mathematics expands from $\mathbb{R}$ to $\mathbb{C}$ to solve equations like $x^2 + 1 = 0$

The Closure Problem and Extension to Complex Numbers

The real number system $\mathbb{R}$ is not closed under the operation of taking square roots of negative numbers. Equations such as $x^2 + 1 = 0$ have no solution in $\mathbb{R}$ because $x^2 = -1$ requires a number whose square is negative, which contradicts the fact that $x^2 \geq 0$ for all real $x$.

This algebraic gap motivates the construction of a larger number system where such equations become solvable.

Core motivations for extending $\mathbb{R}$:

• Polynomial equations of degree $n$ should have exactly $n$ roots (Fundamental Theorem of Algebra)
• Algebraic operations should produce results within the system (closure)
• The extension must preserve all properties of real arithmetic

The complex number system $\mathbb{C}$ resolves this by introducing a new element that satisfies $x^2 = -1$.

Example: The equation $x^2 + 4 = 0$ has no real solution, but will have two solutions in $\mathbb{C}$.

2. Defining the imaginary unit ($i = \sqrt{-1}$) and evaluating square roots of strictly negative discriminants

The Imaginary Unit and Negative Discriminants

The imaginary unit $i$ is defined as the unique number satisfying $i^2 = -1$. This definition extends the real numbers by creating a solution to $x^2 + 1 = 0$.

For any negative real number $-a$ where $a > 0$, we write $\sqrt{-a} = i\sqrt{a}$, factoring out the imaginary unit.

Rules for square roots of negative numbers:

• $\sqrt{-1} = i$ by definition
• $\sqrt{-a} = i\sqrt{a}$ for all $a > 0$
• Warning: The identity $\sqrt{ab} = \sqrt{a}\sqrt{b}$ fails when both $a, b < 0$
• Powers of $i$ cycle: $i^1 = i$, $i^2 = -1$, $i^3 = -i$, $i^4 = 1$

This construction allows quadratic equations with negative discriminants to have solutions.

Example: $\sqrt{-9} = i\sqrt{9} = 3i$, and $(3i)^2 = 9i^2 = 9(-1) = -9$.

3. Defining the algebraic (standard) form of a complex number: $z = a + bi$

Algebraic Form of Complex Numbers

A complex number $z$ is any expression of the form $z = a + bi$, where $a$ and $b$ are real numbers and $i$ is the imaginary unit. This representation is called the algebraic form or standard form.

The set of all complex numbers is denoted $\mathbb{C} = [a + bi : a, b \in \mathbb{R}]$.

Structural properties:

• Every real number $a$ is complex: $a = a + 0i$, so $\mathbb{R} \subset \mathbb{C}$
• Every purely imaginary number has form $bi$ where $b \neq 0$
• The form $a + bi$ is unique for each complex number
• Addition and multiplication extend naturally from $\mathbb{R}$ using $i^2 = -1$

This form provides a two-dimensional representation where each complex number corresponds to an ordered pair $(a, b)$.

Example: $3 + 4i$ is a complex number with $a = 3$ and $b = 4$; the real number $5 = 5 + 0i$ is also complex.

4. Identifying real/imaginary parts and defining the exact conditions for equality of two complex numbers

Real and Imaginary Parts and Equality Conditions

For a complex number $z = a + bi$, the real part is $\text{Re}(z) = a$ and the imaginary part is $\text{Im}(z) = b$. Note that the imaginary part is the real coefficient $b$, not $bi$.

Two complex numbers are equal if and only if their corresponding real and imaginary parts are equal.

Equality criterion:

• $a + bi = c + di$ if and only if $a = c$ and $b = d$
• Both conditions must hold simultaneously
• This allows complex equations to split into two real equations

Special cases:

• $z$ is real if and only if $\text{Im}(z) = 0$
• $z$ is purely imaginary if and only if $\text{Re}(z) = 0$ and $\text{Im}(z) \neq 0$

Example: If $x + 3i = 2 + yi$, then $x = 2$ and $y = 3$ by matching real and imaginary parts.

5. Applications: Understanding the mathematical necessity of complex roots in modeling damped physical oscillations

Complex Numbers in Damped Oscillations

Damped harmonic oscillators (springs with friction, electrical circuits with resistance) are governed by second-order differential equations whose characteristic equations often have negative discriminants, requiring complex roots for complete solutions.

The general form $m\frac{d^2x}{dt^2} + c\frac{dx}{dt} + kx = 0$ yields characteristic equation $mr^2 + cr + k = 0$. When $c^2 - 4mk < 0$, the roots are complex: $r = \alpha \pm \beta i$.

Physical interpretation:

• Real part $\alpha < 0$ governs exponential decay (damping)
• Imaginary part $\beta$ determines oscillation frequency
• Solutions have form $x(t) = e^{\alpha t}(A\cos(\beta t) + B\sin(\beta t))$
• Without complex numbers, underdamped motion cannot be mathematically described

Complex roots are not mathematical artifacts but essential for capturing oscillatory behavior with energy dissipation.

Example: A damped pendulum with characteristic roots $-0.5 \pm 3i$ oscillates at frequency $3$ rad/s while amplitude decays exponentially.