Algebra

⚡ Key Takeaways

Algebra is the branch of mathematics that uses symbols (variables) to represent numbers and quantities, allowing general relationships, equations, and structures to be expressed and manipulated. Key result: unknown quantities can be solved for systematically by applying balanced operations to equations. Where it applies: virtually all of science, engineering, finance, and higher mathematics. Who/when: formalized by al-Khwārizmī (c. 820 CE), with roots in Babylonian and Greek mathematics.

💡 The Core Insight

An equation is a balance: whatever you do to one side, you must do to the other to keep it true. A variable is a placeholder standing for an unknown or arbitrary number. By combining these two ideas — preserving equality while isolating the unknown — you can convert a tangled statement into the form $x = (\text{answer})$ . The same symbolic rules that solve for one unknown also let you state laws that hold for every number, which is the true power of algebra over arithmetic.

DefinitionVariable, Expression, and Equation

A variable is a symbol (e.g. $x, y, n$ ) representing an unknown or arbitrary element of a number set. An algebraic expression is a finite combination of variables, constants, and operations $(+, -, \times, \div, \text{powers}, \text{roots})$ , e.g. $3x^2 - 5x + 2$ . An equation asserts two expressions are equal:

1

\quad ax^2 + bx + c = 0, \qquad a \neq 0

Derivation hint: this is the general second-degree equation; $a,b,c$ are constant coefficients and $x$ is the unknown. A solution (or root) is a value of the variable that makes the equation true.

DefinitionField Axioms — The Rules of Algebra

For all real numbers $a, b, c$ , ordinary algebra obeys:

2

\quad a + b = b + a, \qquad ab = ba \quad \text{(commutativity)}

Derivation hint: order of addition or multiplication does not affect the result.

3

\quad (a+b)+c = a+(b+c), \qquad (ab)c = a(bc) \quad \text{(associativity)}

Derivation hint: grouping does not affect the result.

4

\quad a(b+c) = ab + ac \quad \text{(distributivity)}

Derivation hint: multiplication distributes over addition — the engine behind expanding and factoring.

TheoremThe Quadratic Formula

Every quadratic equation $ax^2 + bx + c = 0$ with $a \neq 0$ has solutions

5

\quad x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}

Derivation hint: complete the square on the general quadratic (see proof below). The quantity $\Delta = b^2 - 4ac$ is the discriminant:

$\Delta > 0$ : two distinct real roots,
$\Delta = 0$ : one repeated real root,
$\Delta < 0$ : two complex conjugate roots.

ProofDeriving the Quadratic Formula by Completing the Square

Start from the general quadratic and isolate the variable terms.

Step 1. Divide through by $a \neq 0$ :

6

\quad x^2 + \frac{b}{a}x + \frac{c}{a} = 0

Derivation hint: dividing both sides by $a$ preserves equality (balance principle).

Step 2. Move the constant and complete the square by adding $\left(\frac{b}{2a}\right)^2$ to both sides:

7

\quad x^2 + \frac{b}{a}x + \frac{b^2}{4a^2} = \frac{b^2}{4a^2} - \frac{c}{a}

Derivation hint: the left side is now a perfect square trinomial.

Step 3. Factor the left side and combine the right over a common denominator:

8

\quad \left(x + \frac{b}{2a}\right)^2 = \frac{b^2 - 4ac}{4a^2}

Derivation hint: use $(x+k)^2 = x^2 + 2kx + k^2$ with $k = b/2a$ .

Step 4. Take the square root of both sides (introducing $\pm$ ):

9

\quad x + \frac{b}{2a} = \pm \frac{\sqrt{b^2 - 4ac}}{2a}

Derivation hint: $\sqrt{4a^2} = 2|a|$ ; the $\pm$ absorbs the sign.

Step 5. Subtract $\frac{b}{2a}$ to isolate $x$ :

10

\quad x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a} \qquad \blacksquare

Derivation hint: combine the two fractions over the common denominator $2a$ .

∎

mathematician · Muhammad ibn Mūsā al-Khwārizmī | c. 780–850 CE

A Persian scholar at the House of Wisdom in Baghdad, al-Khwārizmī wrote al-Kitāb al-mukhtaṣar fī ḥisāb al-jabr wa-l-muqābala ("The Compendious Book on Calculation by Completion and Balancing") around 820 CE. The term al-jabr gave us the word "algebra," and his Latinized name Algoritmi gave us "algorithm." He treated equations systematically and geometrically, classifying quadratics into solvable types — establishing algebra as a discipline distinct from arithmetic and geometry.

🧠 Intuition

Think of an equation as a physical balance scale. The equals sign is the pivot; both pans hold the same weight. To find an unknown weight on the left, you remove equal amounts from both pans until the unknown stands alone. Adding $5$ to one side without the other tips the scale — and breaks the truth. A variable is like a box whose contents are hidden: $x + 4 = 7$ says "an unknown number plus 4 makes 7." You open the box by undoing the $+4$ , i.e. subtracting 4 from both pans, revealing $x = 3$ . Every algebraic manipulation is just keeping the scale level while you peel away layers around the unknown.

Figure

The equation as a balance scale: isolating x by removing equal weights from both sides

ExampleSolving a Linear Equation

Given: Solve $3x - 7 = 2x + 5$ for $x$ .

Step 1. Gather variable terms on one side — subtract $2x$ from both sides:

11

\quad 3x - 2x - 7 = 5 \;\Rightarrow\; x - 7 = 5

Derivation hint: $3x - 2x = x$ by distributivity in reverse.

Step 2. Isolate $x$ — add $7$ to both sides:

12

\quad x = 5 + 7 = 12

Derivation hint: undo the $-7$ to leave $x$ alone.

Check: $3(12) - 7 = 29$ and $2(12) + 5 = 29$ . ✓

\boxed{x = 12}

ExampleSolving a Quadratic with the Formula

Given: Solve $2x^2 - 4x - 6 = 0$ .

Step 1. Identify coefficients: $a = 2$ , $b = -4$ , $c = -6$ .

Step 2. Compute the discriminant:

13

\quad \Delta = (-4)^2 - 4(2)(-6) = 16 + 48 = 64

Derivation hint: substitute into $b^2 - 4ac$ ; note $\Delta > 0$ means two real roots.

Step 3. Apply the quadratic formula:

14

\quad x = \frac{-(-4) \pm \sqrt{64}}{2(2)} = \frac{4 \pm 8}{4}

Derivation hint: $\sqrt{64} = 8$ .

Step 4. Split the $\pm$ :

15

\quad x = \frac{4+8}{4} = 3 \qquad \text{or} \qquad x = \frac{4-8}{4} = -1

Derivation hint: evaluate the two sign choices separately.

Check: $2(9) - 12 - 6 = 0$ ✓ and $2(1) + 4 - 6 = 0$ ✓

\boxed{x = 3 \;\text{ or }\; x = -1}

⚠️ Operations Must Be Applied to Whole Sides

A frequent error is "doing something to one term" instead of to the entire side. In $\frac{x+3}{2} = 5$ , you cannot "cancel" the $3$ — you must multiply the whole left side by 2 first: $x + 3 = 10$ , then $x = 7$ . Similarly, $\sqrt{x^2 + 9} \neq x + 3$ ; the square root does not distribute over addition. Always treat each side as a single object when applying the balance principle.

CounterexampleSquaring Can Introduce False Solutions

Squaring both sides is not always reversible and may create extraneous roots. Consider $\sqrt{x} = x - 6$ . Squaring gives $x = x^2 - 12x + 36$ , i.e. $x^2 - 13x + 36 = 0$ , so $x = 4$ or $x = 9$ . But check: $\sqrt{4} = 2$ while $4 - 6 = -2$ — false. Only $x = 9$ works ( $\sqrt 9 = 3 = 9-6$ ). The operation of squaring lost the sign information, so every solution must be checked against the original equation.

connection

Algebra is the connective tissue of mathematics. It underlies Functions, where an expression like $f(x) = 2x+1$ assigns outputs to inputs, and Coordinate Geometry, where equations such as $y = mx + b$ become lines on the plane. Solving systems of linear equations leads directly into Linear Algebra and matrices. The manipulation of Polynomials generalizes the quadratic to higher degrees, while Inequalities replace the equals sign with $<$ or $>$ using nearly the same rules. The abstract study of the field axioms above blossoms into Abstract Algebra (groups, rings, fields).

🔬 Where this appears

⏳ History

- c. 1800 BCE: Babylonian clay tablets (e.g. Plimpton 322) solve quadratic-type problems by procedures equivalent to completing the square.

- c. 250 CE: Diophantus of Alexandria writes Arithmetica, introducing symbolic abbreviations — "syncopated" algebra.

- c. 628 CE: Brahmagupta in India gives rules for solving quadratics and works with zero and negative numbers.

- c. 820 CE: Al-Khwārizmī's al-Jabr systematizes the solution of linear and quadratic equations, founding algebra as a subject.

- 1202 CE: Fibonacci's Liber Abaci spreads Hindu–Arabic numerals and algebraic methods in Europe.

- 1545 CE: Cardano publishes Ars Magna with general solutions to cubic and quartic equations.

- 1591 CE: François Viète introduces letters for both knowns and unknowns, creating modern symbolic algebra.

- 1637 CE: Descartes' La Géométrie unites algebra with geometry via coordinates and standardizes

x, y, z

for unknowns.

- 1832 CE: Évariste Galois proves no general algebraic formula exists for degree-5 equations, birthing group theory and abstract algebra.

open-problem

While quadratics, cubics, and quartics have explicit formulas in terms of radicals, Galois proved (1832) that the general quintic and higher-degree polynomial equations cannot be solved by any formula using only $+, -, \times, \div$ , and roots. This is not a failure to find the formula — it is a proof that none can exist. Modern questions persist in the broader landscape: efficient algorithms for solving large polynomial systems (computational algebraic geometry), the difficulty of factoring large integers (underpinning cryptographic security), and open conjectures such as those relating polynomial complexity to the famous P versus NP problem. Algebra's foundational rules are settled, but the computational frontier remains wide open.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also