An equation consists of two expressions joined by an equality sign, asserting that both sides have the same value. Unlike expressions, equations make claims that can be true, false, or true only for certain values of the unknown.

What is a solution set?

The solution set is the collection of all values that satisfy an equation. It may contain one value, multiple values, infinitely many values, or no values at all depending on the equation type.

What are conditional equations, identities, and contradictions?

A conditional equation is true for specific values (like 2x = 10). An identity is true for all values (like 2(x+1) = 2x+2). A contradiction is true for no values (like x+1 = x+3). Most equations to solve are conditional.

What are equivalent equations and extraneous solutions?

Equivalent equations share the same solution set. Reversible operations (adding, multiplying by nonzero constants) preserve equivalence. Non-reversible operations (squaring, clearing denominators) may introduce extraneous solutions that must be verified.

What is the degree of an algebraic equation?

The degree is the highest power of the unknown after simplification. Degree 1 is linear, degree 2 is quadratic, degree 3 is cubic, degree 4 is quartic. Degree determines complexity and maximum number of solutions.

How do you solve linear equations?

Linear equations ax + b = 0 have exactly one solution: x = -b/a. Isolate the variable by undoing operations in reverse order using reversible steps. The structure is the foundation for all equation-solving methods.

What methods solve quadratic equations?

Three methods: factoring (when possible), completing the square (always works), and the quadratic formula x = (-b ± √(b²-4ac))/2a. The discriminant b²-4ac determines whether there are two, one, or no real solutions.

How do you solve polynomial equations of degree 3 or higher?

Use the rational root theorem to find candidates, test them, and reduce degree through polynomial division. No general formula exists for degree 5+. Once reduced to degree 2, the quadratic formula finishes the solution.

Why do rational equations produce extraneous solutions?

Clearing denominators by multiplying both sides is not reversible when the LCD equals zero at some x value. Such values may emerge as solutions but were never in the domain. Always verify candidates against domain restrictions.

How do you solve absolute value equations?

For |f(x)| = k with k > 0, split into two cases: f(x) = k and f(x) = -k. For k = 0, solve f(x) = 0. For k < 0, no solution exists. Absolute value represents distance from zero on the number line.

What equation types go beyond algebra?

Exponential equations (unknown in exponent), logarithmic equations (unknown in log), radical equations (unknown under root), systems of equations (multiple unknowns), trigonometric equations, and differential equations each require specialized methods.

Equations

What an Equation Is

Solutions and Solution Sets

Types of Equations by Solution Behavior

Absolute Value Equations

Equations Beyond Algebra

The Language of Mathematical Conditions

An equation is a statement that two mathematical expressions have the same value. Unlike an expression, which simply represents a quantity, an equation makes a claim — one that may be true, false, or true only under certain conditions. Determining when and whether that claim holds is the central problem of algebra, and nearly every branch of mathematics defines its own family of equations. This section treats equations as a subject in their own right: what they are, how they behave, and how the algebraic types are classified and solved.

What an Equation Is

An equation consists of two expressions joined by an equality sign. The expression to the left of

=

is the left-hand side, and the expression to the right is the right-hand side. Together they form a single assertion: whatever the left side evaluates to, the right side evaluates to the same thing.

The statement

3 + 4 = 7

is an equation that is unconditionally true. The statement

3 + 4 = 8

is an equation that is unconditionally false. Neither of these involves an unknown — they are simply claims about arithmetic facts. The equations that drive algebra are different: they contain one or more unknowns (typically denoted

x

y

z

), and their truth depends on what values those unknowns take. The equation

2x + 1 = 9

is true when

x = 4

and false for every other value of

x

.

An expression like

2x + 1

is not an equation. It has no equality sign and makes no claim. It can be evaluated, simplified, or factored, but it cannot be "solved" because there is no condition to satisfy. The distinction matters: solving requires an equation, not just an expression.

Solutions and Solution Sets

A solution to an equation is a value of the unknown that makes both sides equal. When

x = 4

is substituted into

2x + 1 = 9

, the left side becomes

2(4) + 1 = 9

, which matches the right side. The value

x = 4

satisfies the equation.

The solution set is the collection of all values that satisfy the equation. Some equations have a single solution, others have several, and some have infinitely many. The solution set of

x^2 = 4

\{-2, 2\}

because both values produce

4

when squared. The solution set of

x^2 = -1

over the real numbers is empty — no real number squared gives

-1

.

Set-builder notation provides a compact way to describe solution sets:

\{x \in \mathbb{R} : 2x + 1 = 9\}

reads "the set of all real numbers

x

such that

2x + 1 = 9

." For the equation above, this set contains only the element

4

Types of Equations by Solution Behavior

Every equation in one variable falls into one of three categories based on how its solution set behaves.

A conditional equation is true for particular values and false for the rest. Most equations encountered in practice are conditional:

5x - 3 = 12

holds only when

x = 3

, and

x^2 - 5x + 6 = 0

holds only when

x = 2

x = 3

. The task of "solving" an equation almost always refers to finding the solutions of a conditional equation.

An identity is true for every permissible value of the variable. The equation

2(x + 1) = 2x + 2

holds regardless of what

x

is, because both sides are algebraically identical after expansion. Identities are not solved — they are verified. They express structural facts about expressions rather than constraints on unknowns.

A contradiction is true for no value of the variable. The equation

x + 1 = x + 3

simplifies to

1 = 3

, a false statement independent of

x

. No substitution can rescue it. The solution set is empty.

Equivalent Equations

Two equations are equivalent when they share the same solution set. The equations

2x = 10

and

x = 5

are equivalent because every value satisfying one satisfies the other. Solving an equation amounts to transforming it, step by step, into a simpler equivalent equation from which the solution is obvious.

Certain operations always produce equivalent equations. Adding or subtracting the same quantity on both sides preserves the solution set, as does multiplying or dividing both sides by any nonzero constant. These reversible operations are the backbone of algebraic manipulation.

Other operations carry risk. Multiplying both sides by an expression containing the variable may introduce values that were not solutions of the original equation. Squaring both sides can do the same. The equation

x = 3

has one solution, but squaring gives

x^2 = 9

, whose solution set

\{-3, 3\}

is larger. The extra value

x = -3

is an extraneous solution — it satisfies the transformed equation but not the original. Any solving method that involves a non-reversible step demands verification: every candidate must be substituted back into the original equation to confirm it is genuine.

Algebraic Equations

An algebraic equation is built entirely from variables, constants, and the operations of addition, subtraction, multiplication, division, and raising to integer powers. No transcendental functions — no sines, no logarithms, no exponentials with variable exponents — appear in a purely algebraic equation.

The degree of an algebraic equation is the highest power of the unknown that appears after the equation is cleared of fractions and simplified. Degree determines both the complexity of the equation and the maximum number of solutions it can have. A first-degree equation is called linear, a second-degree equation is quadratic, a third-degree equation is cubic, a fourth-degree equation is quartic, and the pattern continues with quintic, sextic, and so on.

Algebraic equations form the core of this section. Each degree class has its own structure, its own solving techniques, and in some cases its own dedicated formulas. The pages below treat the major classes individually, beginning with the simplest and progressing through increasingly complex types.

Linear Equations

A linear equation in one variable takes the form

ax + b = 0

where

a \neq 0

. The variable appears only to the first power, and the equation has exactly one solution:

x = -\frac{b}{a}

. There are no special cases regarding the number of solutions — as long as

a

is nonzero, a unique answer exists.

Solving a linear equation requires nothing beyond the properties of equality: isolate the variable by undoing the operations applied to it, working in reverse order. When the equation involves parentheses, the distributive property clears them first. When fractions appear with numerical denominators, multiplying through by the least common denominator converts the equation to integer coefficients without changing its type. The mechanics are straightforward, but they establish the logical framework — preserving equivalence through reversible operations — that every other equation type builds upon.

The structure breaks only when the variable terms cancel entirely during simplification. If the remaining statement is true (like

0 = 0

), the original equation is an identity. If it is false (like

0 = 5

), the equation is a contradiction. These edge cases aside, first-degree equations are the most predictable objects in algebra.

Quadratic Equations

A quadratic equation has the form

ax^2 + bx + c = 0

with

a \neq 0

. The presence of

x^2

introduces a fundamental shift: the equation can have two solutions, one solution, or — over the real numbers — no solutions at all. The quantity

\Delta = b^2 - 4ac

, called the discriminant, settles the question without solving. When

\Delta

is positive, two distinct real roots exist. When

\Delta

equals zero, a single repeated root appears. When

\Delta

is negative, no real roots exist, though two complex conjugate roots do.

Three solving methods cover all cases. Factoring works when the quadratic decomposes into a product of two binomials with rational coefficients, but not every quadratic factors neatly. Completing the square works universally by rewriting the left side as a perfect square, and this technique is what produces the quadratic formula:

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

The formula accepts any coefficients and delivers the roots directly, making it the default tool when factoring is not immediate. Vieta's formulas offer a complementary perspective: the sum of the two roots equals

-\frac{b}{a}

and their product equals

\frac{c}{a}

, connecting solutions back to the coefficients that generated them.

Polynomial Equations

A polynomial equation of degree

n

has the general form

a_nx^n + a_{n-1}x^{n-1} + \cdots + a_1x + a_0 = 0

with

a_n \neq 0

. The Fundamental Theorem of Algebra guarantees exactly

n

roots in

\mathbb{C}

when counted with multiplicity, but finding those roots grows sharply harder as the degree increases.

For cubics and quartics, closed-form solutions exist — Cardano's formula for degree three and Ferrari's method for degree four — though both are cumbersome and rarely used in practice. The Abel–Ruffini theorem draws a hard boundary at degree five: no general formula built from radicals and arithmetic can solve every quintic or higher-degree polynomial. Specific equations beyond degree four may still yield to factoring, the rational root theorem, or substitution tricks, but there is no universal algebraic recipe.

The practical strategy for polynomial equations of any degree begins with the rational root theorem: test the finite list of candidate rational roots, and each confirmed root reduces the degree by one through polynomial division. Once the degree drops to two, the quadratic formula finishes the job. When no rational roots exist, numerical methods provide approximations to any desired accuracy.

Rational Equations

A rational equation contains at least one fraction whose denominator involves the variable. The equation

\frac{3}{x - 1} + \frac{2}{x + 4} = 1

is rational because

x

appears below the fraction bar, and the values

x = 1

and

x = -4

must be excluded before any solving begins — substituting either would produce division by zero.

The standard technique is to multiply both sides by the least common denominator of all fractions, clearing every denominator in one step. What remains is a polynomial equation, solvable by the methods of earlier sections. The catch is that this multiplication is not always reversible: if the LCD equals zero at some value of

x

, that value may emerge as a solution of the polynomial equation even though it was never in the domain of the original. These extraneous solutions must be filtered out by checking each candidate against the domain restrictions.

The risk of extraneous solutions is not a minor technicality — it is the defining feature of rational equations. Every solution procedure must end with verification. A candidate that zeros out any denominator in the original equation is rejected, regardless of how cleanly it emerged from the algebra.

Absolute Value Equations

An absolute value equation involves the absolute value function

|f(x)|

applied to an expression containing the unknown. The absolute value of a number is its distance from zero, so

|f(x)| = k

asks: where is

f(x)

exactly

k

units from zero? When

k > 0

, the answer splits into two cases —

f(x) = k

and

f(x) = -k

— each generating its own equation to solve. When

k = 0

, a single equation

f(x) = 0

remains. When

k < 0

, no solution exists because distance is never negative.

This case-splitting approach extends to more complex configurations. The equation

|f(x)| = |g(x)|

decomposes into

f(x) = g(x)

and

f(x) = -g(x)

. Equations with multiple absolute value terms require identifying the critical points where each expression inside

|\;|

changes sign, then solving on each interval separately using the piecewise definition. The geometric reading — absolute value as distance on the number line — often provides a faster route to the answer than purely mechanical case analysis.

Equations Beyond Algebra

Equations arise throughout mathematics, and many types fall outside the algebraic family because they involve operations or functions that algebra alone cannot handle. Each of these types has a dedicated treatment elsewhere on this site, and the links below point to those pages.

Exponential equations place the unknown in the exponent:

2^x = 16

3^{2x-1} = 5

. When the bases can be matched, the exponents are set equal directly. When they cannot, logarithms provide the bridge.

Logarithmic equations contain the unknown inside a logarithm:

\log_2(x + 3) = 5

. Converting to exponential form —

x + 3 = 2^5

— is the standard first move. Domain restrictions apply because logarithms are defined only for positive arguments.

Radical equations involve the unknown under a root sign:

\sqrt{x + 5} = x - 1

. Isolating the radical and raising both sides to the appropriate power removes the root but may introduce extraneous solutions, making verification mandatory.

Systems of linear equations involve multiple linear equations with multiple unknowns solved simultaneously. Gaussian elimination, matrix methods, and determinant-based formulas handle these systematically.

Trigonometric equations contain the unknown inside trigonometric functions like

\sin

\cos

, or

\tan

. The periodic nature of these functions typically produces infinitely many solutions.

Differential equations relate a function to its derivatives. They belong to calculus and arise whenever a quantity is defined by its rate of change rather than its value directly.