First Identify What Kind of Object You Have
Compare the following pieces of algebra:
\[ 3x+5, \] \[ 3x+5=20, \] \[ 3x+5<20, \] \[ C=3x+5, \] \[ (x+5)^2=x^2+10x+25. \]They use similar symbols, but they are not the same kind of mathematical object.
- The first is an expression that can be evaluated or transformed.
- The second is an equation with a solution set.
- The third is an inequality describing an ordered set of values.
- The fourth may serve as a formula connecting quantities in a context.
- The fifth is an identity true for every permitted value of \(x\).
A Structural Comparison
| Object | Defining Structure | Primary Question | Typical Result |
|---|---|---|---|
| Expression | Numbers, variables, and operations without a top-level relation | What value or equivalent form does it have? | A value or equivalent expression |
| Equation | Two expressions joined by \(=\) | For which values are the sides equal? | A solution set |
| Inequality | Expressions joined by an order relation | For which values does the comparison hold? | An interval, union, region, or other set |
| Formula | A rule connecting defined quantities | How is one quantity calculated from others? | A value, model, or rearranged relationship |
| Identity | An equality valid for every permitted value | Why do the forms always agree? | A universally valid equivalence on a domain |
The categories describe both structure and use. The same written equality may function as an equation in one task, a formula in another, and an identity if it is true throughout its domain.
Expressions
An expression is a mathematical object formed from numbers, variables, operations, functions, and grouping symbols without a top-level comparison or assertion.
Examples include:
\[ 5x-3, \qquad \frac{x+1}{x-2}, \qquad \sqrt{x^2+4}, \qquad 2^t. \]An expression can be:
- evaluated when values are supplied,
- simplified or rewritten,
- factored or expanded,
- compared with another expression,
- used as one side of an equation or inequality,
- used to define a function or formula.
An expression by itself is not true or false and does not have a solution set.
For example, if \(x=4\), then
\[ 5x-3=5(4)-3=17. \]Here the equal signs record evaluation steps. We are finding the expression's value, not solving it for \(x\).
Equations
An equation is a statement that two expressions are equal:
\[ \text{left expression}=\text{right expression}. \]An equation containing variables may be true for some values and false for others.
For
\[ 2x+3=11, \]the value \(x=4\) makes both sides equal:
\[ 2(4)+3=11. \]The solution set is
\[ \{4\}. \]Equations may have:
- no solutions,
- one solution,
- several solutions, or
- infinitely many solutions.
The number of solutions depends on the equation and the domain being considered.
Inequalities
An inequality compares expressions using an order relation such as
\[ <,\quad >,\quad \le,\quad \ge, \]or a related comparison such as \(\ne\).
For example,
\[ 2x+3<11 \]is true for every real value satisfying
\[ x<4. \]Its solution set can be written as
\[ (-\infty,4). \]An inequality's solution is usually a collection rather than a single number. Depending on the number of variables and the domain, the solution may be:
- an interval on a number line,
- a union of intervals,
- a finite or discrete set,
- a region in a coordinate plane, or
- a higher-dimensional feasible set.
Formulas
A formula is a rule or established relationship connecting defined quantities in a mathematical or applied context.
The area formula for a rectangle is
\[ A=lw, \]where \(A\) is area, \(l\) is length, and \(w\) is width.
A formula often lets us calculate one quantity from others. If
\[ l=8\text{ m} \qquad\text{and}\qquad w=3\text{ m}, \]then
\[ A=(8\text{ m})(3\text{ m})=24\text{ m}^2. \]Formulas can also be rearranged. From
\[ A=lw, \]we obtain, when \(l\ne0\),
\[ w=\frac{A}{l}. \]The rearranged formula expresses the same relationship but makes a different quantity the subject.
Identities
An identity is an equality that is true for every permitted value of its variables.
For example,
\[ 3(x+2)=3x+6 \]is true for every real value of \(x\) because of the distributive law.
Likewise,
\[ (a+b)^2=a^2+2ab+b^2 \]is true for all real or complex values of \(a\) and \(b\).
Identities may be indicated with an ordinary equal sign or, when useful, the equivalence symbol:
\[ (a+b)^2\equiv a^2+2ab+b^2. \]Notation practices differ, so the accompanying context must make the intended meaning clear.
An identity is different from a conditional equation such as
\[ x+2=7, \]which is true only when \(x=5\).
The Meaning of the Equal Sign
The equal sign states that the complete expressions on both sides have the same value.
\[ 7+5=12 \]can be read in either direction:
\[ 7+5=12 \qquad\text{and}\qquad 12=7+5. \]Equality is symmetric.
Equal signs may connect a valid chain of equivalent values:
\[ 2(6)+4=12+4=16. \]Every expression in the chain equals \(16\).
An equal sign should not be used merely to mean “then I performed the next step.” For example, the following chain is invalid:
\[ 3x+2=11=3x=9=x=3. \]The intermediate objects do not all have the same value. A correct solution records complete equivalent equations:
\[ 3x+2=11, \] \[ 3x=9, \] \[ x=3. \]Domains and Conditions
The classification and truth of a mathematical statement depend on its domain and restrictions.
Consider
\[ \frac{x^2-1}{x-1}=x+1. \]Factoring the numerator gives
\[ \frac{(x-1)(x+1)}{x-1}=x+1. \]The equality holds when
\[ x\ne1. \]It is therefore an identity on the domain where the original left side is defined, but it is not a valid statement at \(x=1\).
Similarly,
\[ \sqrt{x^2}=|x| \]is a real-number identity, while
\[ \sqrt{x^2}=x \]is true only when \(x\ge0\).
A precise identity includes or respects the conditions under which it is valid.
Valid Actions for Each Object
| Object | Useful Actions | Important Caution |
|---|---|---|
| Expression | Evaluate, simplify, expand, factor, substitute | Do not claim that an expression is true, false, or solved |
| Equation | Solve, rearrange, graph intersections, verify candidates | Preserve the solution set and track restrictions |
| Inequality | Solve, test intervals, graph regions, compare boundaries | Preserve order and reverse the relation when required |
| Formula | Evaluate, rearrange, model, analyze units | Define quantities, units, assumptions, and domain |
| Identity | Prove, derive, use for replacement, specialize | State the domain and conditions of validity |
The same algebraic law may support several actions, but the goal changes with the object. Factoring an expression changes its form. Factoring an equation may help reveal its solutions. Factoring one side of an identity may help prove that both sides are equivalent.
How the Categories Overlap
These categories are useful, but they are not mutually exclusive in every context.
A Formula Is Usually an Equation
\[ d=rt \]is structurally an equation and contextually a formula connecting distance, rate, and time.
An Identity Is an Equation with Universal Validity
\[ a(b+c)=ab+ac \]is an equation whose solution set includes every permitted combination of \(a\), \(b\), and \(c\).
An Expression Can Become Part of Several Objects
The expression \(x^2-4\) can appear in:
\[ x^2-4=0, \] \[ x^2-4>0, \] \[ f(x)=x^2-4, \]or the identity
\[ x^2-4=(x-2)(x+2). \]The underlying expression remains the same, but the surrounding relation changes the kind of problem being posed.
Worked Example: Classifying Similar Forms
Classify each object and describe an appropriate mathematical action.
1. \(4x^2-9\)
This is an expression. We may factor it:
\[ 4x^2-9=(2x-3)(2x+3). \]2. \(4x^2-9=0\)
This is an equation. Factoring reveals its solutions:
\[ (2x-3)(2x+3)=0, \] \[ x=\frac32\quad\text{or}\quad x=-\frac32. \]3. \(4x^2-9\le0\)
This is an inequality. Its real solution set lies between the boundary values:
\[ -\frac32\le x\le\frac32. \]4. \(4x^2-9=(2x-3)(2x+3)\)
This is an identity, valid for every real or complex value of \(x\).
Worked Example: Formula or Equation?
Consider
\[ V=lwh. \]Structurally, this is an equation. In the context of a rectangular prism, it is also a formula.
Suppose
\[ V=120\text{ cm}^3, \qquad l=10\text{ cm}, \qquad w=4\text{ cm}. \]Substitution produces an equation in the unknown height:
\[ 120=(10)(4)h. \]Solve:
\[ 120=40h, \] \[ h=3\text{ cm}. \]The formula supplied the relationship; the substituted equation supplied a particular unknown to solve.
Common Classification Errors
Calling an Expression an Equation
The object \(3x+4\) has no equal sign and makes no equality claim.
Trying to Solve an Expression
An expression can be evaluated or transformed, but it cannot be solved without a condition such as an equation or inequality.
Assuming Every Equation Is an Identity
The equation \(x+3=8\) is true only for \(x=5\).
Assuming Every Identity Has No Restrictions
Rational, radical, logarithmic, and trigonometric identities may require domain conditions.
Ignoring Units in a Formula
A formula's symbols represent defined quantities. Units and dimensions help determine whether a substitution and result are meaningful.
Using an Equal Sign as Punctuation
Every equal sign asserts equality. Use separate lines or explanatory words when one step does not equal the next written fragment.
Reporting One Test Value as Proof of an Identity
Agreement at one or several values does not establish agreement for every permitted value. A general argument is required.
Practice
- Classify \(7x-2\).
- Classify \(7x-2=19\) and find its solution set.
- Classify \(7x-2\ge19\) and write its real solution set in interval notation.
- Explain why \(A=\pi r^2\) can be described as both an equation and a formula.
- Determine whether \(2(x+5)=2x+10\) is conditional or an identity.
- State the restriction for the identity \(\frac{x^2-4}{x-2}=x+2\).
- Explain the difference between evaluating \(3x+1\) at \(x=4\) and solving \(3x+1=13\).
- Classify \(x^2+1=0\) over the real numbers and state its solution set.
- Rewrite the formula \(P=2l+2w\) to make \(w\) the subject.
- Give one expression and use it to construct an equation, inequality, formula, and identity.
Selected Answers
- Expression.
- Equation; the solution set is \(\{3\}\).
- Inequality; \(x\ge3\), or \([3,\infty)\).
- It has the structure of an equality and serves as a rule connecting a circle's area and radius.
- Identity.
- \(x\ne2\).
- Evaluation finds the expression's value, \(13\); solving finds which value of \(x\) makes the equation true, namely \(x=4\).
- It is an equation with the empty real solution set \(\varnothing\).
- \(w=\frac{P-2l}{2}=\frac P2-l\).
Summary
- An expression represents a mathematical value or operation structure without asserting a top-level relation.
- An equation states that two expressions are equal and may have a solution set.
- An inequality states an order relation and often describes an interval, union, or region.
- A formula is a rule connecting defined quantities in a mathematical or applied context.
- An identity is an equality true for every permitted value in its domain.
- The equal sign asserts that complete expressions have the same value.
- Domains and restrictions affect solutions and the validity of identities.
- A formula may also be an equation, and an identity is a universally valid equation on its domain.
- Correct classification helps determine whether to evaluate, transform, solve, model, rearrange, or prove.