Algebraic Theory of Quadratic Equations, Discriminant Analysis & Parabolic Geometry
A quadratic equation is a second-degree polynomial equation in a single variable $x$, defined in standard form as:
$$a x^2 + b x + c = 0 \quad (a \ne 0)$$
where $a$, $b$, and $c$ represent real (or complex) numerical coefficients, with quadratic coefficient $a$, linear coefficient $b$, and constant term $c$. The solution set of this equation represents the $x$-intercepts (roots or zeros) of the corresponding quadratic parabola function $f(x) = a x^2 + b x + c$.
Rigorous Derivation of the Quadratic Formula
The universal quadratic formula is derived algebraically via the method of completing the square:
- Divide all terms by the non-zero leading coefficient $a$: $$x^2 + \frac{b}{a} x + \frac{c}{a} = 0$$
- Transpose the constant term to the right-hand side: $$x^2 + \frac{b}{a} x = -\frac{c}{a}$$
- Add the square of half the linear coefficient, $\left( \frac{b}{2a} \right)^2 = \frac{b^2}{4a^2}$, to both sides: $$x^2 + \frac{b}{a} x + \frac{b^2}{4a^2} = \frac{b^2}{4a^2} - \frac{c}{a}$$
- Factor the left-hand perfect square trinomial and obtain a common denominator on the right: $$\left( x + \frac{b}{2a} \right)^2 = \frac{b^2 - 4ac}{4a^2}$$
- Extract the square root of both sides: $$x + \frac{b}{2a} = \frac{\pm \sqrt{b^2 - 4ac}}{2a}$$
- Isolate $x$ to yield the canonical quadratic formula: $$x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}$$
The Discriminant ($\Delta$) and Root Topology
The radical radicand term $\Delta = b^2 - 4ac$ is termed the discriminant. The numerical sign of $\Delta$ completely governs the nature, multiplicity, and geometry of the roots:
- Case 1: $\Delta > 0$ (Two Distinct Real Roots): The parabola intersects the $x$-axis at two unique points: $$x_1 = \frac{-b + \sqrt{\Delta}}{2a}, \quad x_2 = \frac{-b - \sqrt{\Delta}}{2a}$$
- Case 2: $\Delta = 0$ (One Repeated Real Root / Double Root): The parabola's vertex is tangent to the $x$-axis: $$x = -\frac{b}{2a}$$
- Case 3: $\Delta < 0$ (Two Complex Conjugate Roots): The parabola does not intersect the real $x$-axis. Defining imaginary unit $i = \sqrt{-1}$: $$x = -\frac{b}{2a} \pm i \frac{\sqrt{-\Delta}}{2a}$$
Parabolic Geometry: Vertex, Axis of Symmetry & Canonical Forms
The geometric graph of $y = ax^2 + bx + c$ is a symmetric parabola:
- Concavity: Opens upward if $a > 0$ (possessing a global minimum); opens downward if $a < 0$ (possessing a global maximum).
- Axis of Symmetry: The vertical line passing through the extremum: $$x = h = -\frac{b}{2a}$$
- Vertex Coordinates: The turning point $(h, k)$ where: $$h = -\frac{b}{2a}, \quad k = f(h) = c - \frac{b^2}{4a} = \frac{4ac - b^2}{4a} = -\frac{\Delta}{4a}$$
- Vertex Form: $y = a(x - h)^2 + k$.
- Factored (Root) Form: $y = a(x - x_1)(x - x_2)$ (for real roots).
Vieta's Formulas & Root Relationships
François Viète established fundamental identities relating root sums and products directly to polynomial coefficients without requiring root extraction:
$$x_1 + x_2 = -\frac{b}{a}$$
$$x_1 \cdot x_2 = \frac{c}{a}$$