Algebra: The Skills That Carry Everything

The dependency groups of school algebra and the reasons behind each rule, so that errors become diagnosable instead of mysterious.

The impostor in the hook came from a legal step. Squaring is not reversible, so it can add a root without any slip in the method. Know why each rule holds, and a wrong answer stops being a mystery and starts being a clue.

The problem algebra answered

Encouraged by the caliph al-Mamun, Muhammad ibn Musa al-Khwarizmi wrote a short book on "Calculating by (the rules of) Completion and Reduction". His 1831 translator, Frederic Rosen, notes he was "for a long time considered as the original inventor of Algebra". The book served practical sums: what people "constantly require in cases of inheritance, legacies, partition, law-suits, and trade".

One worked example: "one square, and ten roots of the same, amount to thirty-nine dirhems", or x^2 + 10x = 39. Halve the ten and square it: 25. Add 39 to get 64, whose root is 8. Take away the five: the root is 3. That is completing the square, in words. The quadratic formula also finds -13.

Rosen's notes render the title's two operations as "Restoring and Balancing". The rule "operate on both sides" below keeps the same balance.

Why algebra carries so much weight

Algebra is a language for stating a relationship once and reasoning about all the cases at once. A learner who rearranges a formula or solves a system is not memorising tricks. They are applying a few rules, each justified by properties of numbers (commutative, associative, distributive, inverses, identities). The rules are Demonstrated: they follow from those properties. That calculus, statistics and computing lean on them is an observation, Established but not a proof.

Algebra rests on arithmetic: signed numbers, fractions, decimals, percentages, the order of operations and basic radicals. A weakness there surfaces later as an "algebra mistake". Repair the arithmetic skill directly, with fresh examples, rather than repeating a whole algebra course. The method is in Placement, Repair and Retention.

Seven dependency groups

Think of school algebra as seven groups, each leaning on the ones before it. This map is the site's own repair aid, built from a standard course outline: Provisional.

1. Expressions. What it covers: Variables, like terms, distribution, evaluating. Typical dependency: Arithmetic.
2. Equations and inequalities. What it covers: Solving, rearranging formulas, flipping an inequality when multiplying by a negative. Typical dependency: Group 1.
3. Lines and systems. What it covers: Slope, intercepts, graphing, elimination, substitution. Typical dependency: Groups 1 and 2.
4. Functions. What it covers: Notation f(x), domain, range, graph reading, composition. Typical dependency: Groups 2 and 3.
5. Exponents and radicals. What it covers: Laws of exponents, rational exponents, simplifying roots. Typical dependency: Group 1.
6. Factoring. What it covers: Common factors, difference of squares, trinomials. Typical dependency: Groups 1 and 5.
7. Quadratics and growth. What it covers: Factoring, completing the square, the quadratic formula, exponential models. Typical dependency: Groups 4, 5 and 6.

A wrong quadratic may hide a slip in group 6 (factoring), group 5 (a radical) or group 1 (a sign). Naming the group is the first step of repair. By analogy, network troubleshooting makes the same move. When ping works but a website fails, check layer by layer for the first divergence, not the loudest symptom.

Write the reason beside the step

The most useful discipline is to write the justification next to each line until it becomes automatic. By analogy, a proof in Euclid's style justifies every step from postulates or earlier propositions. Four reasons cover a surprising share of errors (a rule of thumb, Provisional, not a measured rate).

Cancel factors, not terms. In (2x + 6)/2 you may divide the whole numerator by 2, giving x + 3. That works because 2(x + 3)/2 shows 2 is a factor of the entire numerator. But (x + 6)/2 does not simplify to x + 3, because 2 is not a factor of x + 6.
Operate on both sides. An equation is a balance. Whatever you add, subtract, multiply or divide (by a nonzero number) must be done to both sides.
Check after squaring. Squaring both sides is not reversible, because (-3)^2 and 3^2 agree. Solve sqrt(x + 2) = x: squaring gives x + 2 = x^2, so x = 2 or x = -1. Test: sqrt(4) = 2 works, but sqrt(1) = 1 is not -1. The root x = -1 is extraneous.
Keep excluded values. In (x^2 - 1)/(x - 1) = x + 1 the two sides agree only when x is not 1. The left side is undefined there. Simplifying does not erase that restriction.

Identity, equation, and the square root trap

Established An identity is true for every value where both sides are defined, for example (x + 1)^2 = x^2 + 2x + 1. An equation is a condition that holds only for some values, such as x^2 = 9. Confusing the two causes a common error: "proving" something by plugging in one number. A single example can refute an identity but never prove it.

Another trap: the square root of x squared is the absolute value of x, written |x|, not x. For x = -5, sqrt(25) = 5, which is |-5|. The symbol sqrt means the non-negative root by definition.

Algebra 2 additions

The second year adds polynomials, complex numbers, rational expressions and graph transformations. One addition reaches furthest. A logarithm is the inverse of exponentiation: if b^y = x then log_b(x) = y. The product rule log(ab) = log a + log b is the exponent law a^m a^n = a^(m+n) read backwards.

Exponential growth models

A model such as P(t) = P0 * b^t turns repeated multiplication into a formula. State what each parameter means. P0 is the starting amount. b is the growth factor per time unit (b = 1.05 means 5 percent growth). t has units that must match b. Then state the limits. Real populations, loans and epidemics follow an exponential pattern only for a while; resources, rules and saturation bend the curve. A model is a claim with a domain of validity, a theme developed in Quantitative Reasoning and Mathematics for Better Decisions.

Self-test ideas

Try these without a calculator, writing a reason beside each step.

Solve 3(x - 2) = 5x + 4 and verify by substitution. (Answer: x = -5.)
Simplify (x^2 - 9)/(x^2 - 3x) and state every excluded value. (Answer: (x + 3)/x with x not 0 and not 3.)
Solve sqrt(2x + 3) = x and decide which roots survive. (x = 3 survives; x = -1 does not.)
Explain why log(a + b) is not log a + log b. (Hint: log(ab) = log a + log b is the exponent law a^m a^n = a^(m+n) read backwards.)
A quantity triples every 5 hours. After how many hours does it pass 100 times its start? (About 20.96 hours, since 3^(t/5) = 100.)

Where algebra leads

Algebra is the working layer beneath the whole Map of Mathematics. It supplies the notation for Proof and Precise Reasoning, and its function language leads straight into Geometry, Euclid and Trigonometry. It also reaches into music. An octave multiplies a frequency by 2, and each of twelve equal semitones multiplies it by 2^(1/12), about 1.0595. Analogy, not identity: the shared structure is multiplication by a constant factor; the music is an acoustic and cultural fact. Hear it on the monochord, and see why twelve fifths overshoot seven octaves in the Pythagorean comma.

Where this could be wrong

Strongest objection. The seven groups and their order are a teaching convenience. Other courses may slice algebra differently, and errors need not follow any fixed order.

Best reply. The map is a repair aid, not a law of learning. It earns its place if it narrows the search for where an error began.

What would settle it. Compare learners who name the group before repairing with learners who simply redo problems. Measure how fast errors get fixed and whether the fixes last. This page has not checked such evidence, so the map stays Provisional.

Try this

Take the last algebra problem you got wrong. Identify the dependency group where the error began and write the corrected reason beside the faulty step.
Invent an equation whose squaring step creates an extraneous root, then solve it and show the check.
Solve al-Khwarizmi's x^2 + 10x = 39 by his recipe, then by the quadratic formula. Say why his recipe misses one root.
Compute the frequency ratio for seven equal semitones (2^(7/12), about 1.4983) and compare it with 3/2.