Algebraic Reasoning
Algebra is the study of structure, relation, and quantity expressed through symbols and the rules for manipulating those symbols. It is the language in which most mathematics is written and the engine behind equation solving, function analysis, and abstract structure theory. This skill covers concrete manipulation techniques, equation-solving strategies, and the algebraic structures that underpin modern mathematics.
Agent affinity: gauss (systems, elimination, number theory), noether (abstract structures, ring/field theory)
Concept IDs: math-variables-unknowns, math-equations-expressions, math-systems-polynomials, math-pattern-recognition, math-fractions-ratios
Part I — Symbolic Manipulation
The Distributive Law and Its Consequences
The distributive law a(b + c) = ab + ac is the single most important algebraic identity. Nearly every manipulation technique — factoring, expanding, completing the square, polynomial long division — is an application of distributivity in one direction or the other.
Expansion applies the law left-to-right: 3(x + 4) = 3x + 12.
Factoring applies it right-to-left: 3x + 12 = 3(x + 4).
Core Factoring Techniques
| Technique | Pattern | Example | |---|---|---| | Common factor | ab + ac = a(b + c) | 6x^2 + 9x = 3x(2x + 3) | | Difference of squares | a^2 - b^2 = (a-b)(a+b) | x^2 - 25 = (x-5)(x+5) | | Perfect square trinomial | a^2 +/- 2ab + b^2 = (a +/- b)^2 | x^2 + 6x + 9 = (x+3)^2 | | Sum/difference of cubes | a^3 +/- b^3 = (a +/- b)(a^2 -/+ ab + b^2) | x^3 - 8 = (x-2)(x^2+2x+4) | | Grouping | ab + ac + db + dc = (a+d)(b+c) | x^3 + x^2 + x + 1 = (x^2+1)(x+1) | | Quadratic trinomial | ax^2 + bx + c | Factor by finding two numbers whose product is ac and sum is b |
Completing the Square
Completing the square converts ax^2 + bx + c into vertex form a(x - h)^2 + k, revealing the parabola's vertex and providing a path to the quadratic formula.
Worked example. Rewrite 2x^2 + 12x + 7 in vertex form.
Step 1: Factor the leading coefficient from the first two terms. 2(x^2 + 6x) + 7
Step 2: Inside the parentheses, add and subtract (6/2)^2 = 9. 2(x^2 + 6x + 9 - 9) + 7
Step 3: Separate the perfect square and distribute. 2(x + 3)^2 - 18 + 7 = 2(x + 3)^2 - 11
The vertex is at (-3, -11) and the parabola opens upward.
Deriving the Quadratic Formula
Completing the square on the general quadratic ax^2 + bx + c = 0 (with a != 0) yields the quadratic formula:
x = (-b +/- sqrt(b^2 - 4ac)) / (2a)
Derivation. Start with ax^2 + bx + c = 0. Divide by a: x^2 + (b/a)x + c/a = 0. Move the constant: x^2 + (b/a)x = -c/a. Complete the square: x^2 + (b/a)x + (b/(2a))^2 = -c/a + b^2/(4a^2). Factor the left side: (x + b/(2a))^2 = (b^2 - 4ac)/(4a^2). Take the square root: x + b/(2a) = +/- sqrt(b^2 - 4ac)/(2a). Solve for x.
The discriminant D = b^2 - 4ac determines the nature of the roots: D > 0 gives two distinct real roots, D = 0 gives one repeated real root, D < 0 gives two complex conjugate roots.
Part II — Equation Solving
Linear Equations
A linear equation in one variable has the form ax + b = 0 (a != 0), with solution x = -b/a.
Strategy: Isolate the variable through inverse operations. Add/subtract to move terms, multiply/divide to clear coefficients. Preserve the equality by performing the same operation on both sides.
Quadratic Equations
Three methods in order of preference:
- Factoring (when applicable): x^2 - 5x + 6 = 0 factors as (x-2)(x-3) = 0, giving x = 2 or x = 3.
- Completing the square (always works): useful when the vertex form is also needed.
- Quadratic formula (always works): the universal fallback.
Worked example (factoring). Solve 6x^2 + x - 2 = 0.
We seek two numbers whose product is 6(-2) = -12 and whose sum is 1. These are 4 and -3. Rewrite the middle term: 6x^2 + 4x - 3x - 2 = 0. Factor by grouping: 2x(3x + 2) - 1(3x + 2) = 0, so (2x - 1)(3x + 2) = 0. Therefore x = 1/2 or x = -2/3.
Polynomial Equations (Degree >= 3)
Rational Root Theorem. If the polynomial p(x) = a_n x^n + ... + a_0 has a rational root p/q in lowest terms, then p divides a_0 and q divides a_n. This gives a finite list of candidates to test.
Factor Theorem. r is a root of p(x) if and only if (x - r) divides p(x).
Strategy for cubics and quartics:
- List rational root candidates via the Rational Root Theorem.
- Test candidates using synthetic division or direct substitution.
- Once a root r is found, divide by (x - r) to reduce the degree.
- Repeat until the remaining factor is quadratic, then use the quadratic formula.
Worked example. Solve x^3 - 6x^2 + 11x - 6 = 0.
Rational root candidates: +/-1, +/-2, +/-3, +/-6. Test x = 1: 1 - 6 + 11 - 6 = 0. Yes. Divide by (x - 1) via synthetic division to get x^2 - 5x + 6 = (x - 2)(x - 3). Solutions: x = 1, 2, 3.
Part III — Systems of Equations
Substitution
Solve one equation for one variable, substitute into the other.
Worked example. Solve: x + y = 5 and 2x - y = 1.
From equation 1: y = 5 - x. Substitute into equation 2: 2x - (5 - x) = 1, so 3x = 6, x = 2, y = 3.
Elimination
Add or subtract multiples of equations to eliminate a variable.
Worked example. Solve: 3x + 2y = 7 and 5x - 2y = 9.
Add the equations: 8x = 16, so x = 2. Back-substitute: 6 + 2y = 7, y = 1/2.
Gaussian Elimination
For larger systems, reduce the augmented matrix to row echelon form using three row operations: swap rows, multiply a row by a nonzero scalar, add a multiple of one row to another.
Worked example. Solve: x + 2y + 3z = 9, 2x - y + z = 8, 3x + 0y - z = 3.
Augmented matrix: [1 2 3 | 9] [2 -1 1 | 8] [3 0 -1 | 3]
R2 <- R2 - 2*R1: [0 -5 -5 | -10] R3 <- R3 - 3*R1: [0 -6 -10 | -24]
R2 <- R2 / (-5): [0 1 1 | 2] R3 <- R3 + 6*R2: [0 0 -4 | -12]
R3 <- R3 / (-4): [0 0 1 | 3]
Back-substitute: z = 3, y + 3 = 2 so y = -1, x + 2(-1) + 3(3) = 9 so x = 2.
Solution: (x, y, z) = (2, -1, 3).
Gauss-Jordan variation. Continue to reduced row echelon form (RREF) so each pivot is 1 and all other entries in pivot columns are 0. This eliminates back-substitution.
Matrix Methods
A system Ax = b has solution x = A^(-1)b when A is invertible. For 2x2 matrices, the inverse has a closed form. For larger systems, use Gaussian elimination to find A^(-1) or apply Cramer's rule (determinant-based, practical only for small systems).
Cramer's Rule. For an n x n system Ax = b where det(A) != 0, x_i = det(A_i) / det(A), where A_i is A with column i replaced by b.
Part IV — Algebraic Structures
Groups
A group (G, ) is a set G with a binary operation satisfying:
- Closure: a * b is in G for all a, b in G.
- Associativity: (a b) c = a (b c).
- Identity: There exists e in G such that a e = e a = a for all a.
- Inverses: For each a in G, there exists a^(-1) such that a a^(-1) = a^(-1) a = e.
If additionally a b = b a for all a, b, the group is abelian (commutative).
Examples. (Z, +) is an abelian group with identity 0. The symmetric group S_n (all permutations of n elements under composition) is non-abelian for n >= 3.
Rings
A ring (R, +, *) is a set with two operations where (R, +) is an abelian group, multiplication is associative, and multiplication distributes over addition. A ring with multiplicative identity 1 is a ring with unity. A ring where multiplication is commutative is a commutative ring.
Example. (Z, +, *) is a commutative ring with unity. The ring of n x n matrices over R is a ring with unity (the identity matrix) but is non-commutative for n >= 2.
Fields
A field (F, +, *) is a commutative ring with unity where every nonzero element has a multiplicative inverse.
Examples. Q, R, and C are fields. Z is NOT a field (2 has no multiplicative inverse in Z). The integers modulo p (Z/pZ) form a field when p is prime.
**Why it matters for equation solvi