The Big Idea
Mathematical writing is built in layers. Numbers and variables combine through operations to form terms. Terms combine to form expressions. Two expressions connected by an equals sign form an equation. Some equations serve as general formulas, and some equations are identities that remain true for every permitted value.
Think of this as learning the parts of a sentence. You do not need the labels merely to impress anyone with vocabulary. The labels tell you what kind of structure you are reading and what you are allowed—or expected—to do with it.
| Structure | Main idea | Example |
|---|---|---|
| Term | One additive part of an expression | \(-4x\) |
| Expression | A meaningful mathematical phrase that represents a value or object | \(3x^2-4x+7\) |
| Equation | A claim that two expressions are equal | \(3x+2=14\) |
| Formula | A general rule or relationship used for calculation or description | \(A=\pi r^2\) |
| Identity | An equality true for every permitted value | \((a+b)^2=a^2+2ab+b^2\) |
Terms Are Additive Parts
A term is a part of an expression separated from other parts by addition or subtraction at the same structural level. Consider
\[ 3x^2-4x+7. \]
This expression has three terms:
- \(3x^2\)
- \(-4x\)
- \(7\)
Notice that the negative sign belongs to the term \(-4x\). It is often helpful to view subtraction as addition of an opposite:
\[ 3x^2-4x+7 = 3x^2+(-4x)+7. \]
This keeps the sign attached to the correct term when we rearrange or combine terms.
Terms Contain Factors
Addition and subtraction separate terms. Multiplication and division organize the pieces inside a term. Those multiplicative pieces are called factors.
In the term
\[ -6x^2y, \]
- \(-6\) is the numerical coefficient.
- \(x^2\) and \(y\) are variable factors.
- The exponent \(2\) applies to \(x\), not to the entire term.
- The whole product \(-6x^2y\) is one term.
Grouping matters when identifying terms. The expression \(2(x+3)\) contains a sum inside parentheses, but at the outer level it is a product. If we distribute, it becomes the equivalent expression \(2x+6\), which visibly has two terms.
Like Terms Share the Same Variable Structure
Like terms have the same variable factors raised to the same powers. Their coefficients may differ.
- \(3x\) and \(-8x\) are like terms.
- \(5x^2y\) and \(\frac{1}{2}x^2y\) are like terms.
- \(4x\) and \(4x^2\) are not like terms.
- \(2xy\) and \(2x\) are not like terms.
- All constant terms are like terms with one another.
Like terms can be combined because they count the same kind of object:
\[ 3x+5x=8x. \]
This is the same reasoning behind \(3\) apples plus \(5\) apples equaling \(8\) apples. The coefficients combine while the shared variable structure remains.
Expressions Represent Values or Objects
An expression is a meaningful mathematical phrase built from numbers, variables, operations, functions, and grouping symbols. An expression represents a value or mathematical object, but it does not by itself make a complete equality or inequality claim.
Examples of expressions include:
- \(7\)
- \(x+3\)
- \(2a^2-5a+1\)
- \(\dfrac{x+1}{x-2}\)
- \(\sqrt{y+4}\)
- \(\sin \theta\)
- \(\begin{bmatrix}a & b\\c & d\end{bmatrix}\)
Some expressions are numerical, some algebraic, some functional, and some represent structured objects such as vectors or matrices. The important point is that an expression names or constructs something without yet asserting that it equals another expression.
Evaluate and Simplify Are Different Instructions
To evaluate an expression is to find its value after the variables have been assigned values. If \(x=4\), then
\[ 3x+2=3(4)+2=14. \]
To simplify an expression is to rewrite it in a form that is easier to read or use while preserving its value for every permitted input. For example,
\[ 3x+2x-4+7 = 5x+3. \]
Simplifying does not mean making an expression shorter at any cost. Factored form may be more useful for locating zeros, expanded form may be more useful for combining terms, and a fraction may be more useful than a decimal when an exact value matters. The best form depends on the job.
Equivalent Expressions Say the Same Thing Differently
Two expressions are equivalent on a stated domain when they produce the same value for every permitted input in that domain. For example,
\[ 2(x+3) \quad\text{and}\quad 2x+6 \]
are equivalent because the distributive property connects them.
Domain restrictions matter. The expressions
\[ \frac{x^2-1}{x-1} \quad\text{and}\quad x+1 \]
have the same value whenever \(x\ne1\), but the first expression is undefined at \(x=1\) while the second is defined there. Simplification should preserve the original restrictions, not quietly erase them.
Equations Make Equality Claims
An equation places an equals sign between two expressions and claims that they have the same value:
\[ 3x+2=14. \]
The expression \(3x+2\) is the left side, and \(14\) is the right side. The equation is true only for values of \(x\) that make both sides equal. Those values are called solutions.
Solving an equation means finding every permitted value that makes the equality true. Here,
\[ 3x+2=14 \quad\Longrightarrow\quad 3x=12 \quad\Longrightarrow\quad x=4. \]
We create equivalent equations by performing valid operations that preserve the solution set. The goal is not to “move symbols around.” It is to maintain equality while revealing the unknown value.
Equations Can Have Different Solution Sets
Not every equation has exactly one solution.
| Equation | Result | Interpretation |
|---|---|---|
| \(x+3=8\) | \(x=5\) | One solution |
| \(x^2=9\) | \(x=-3\) or \(x=3\) | Two real solutions |
| \(x+1=x+2\) | No value works | No solution |
| \(2(x+1)=2x+2\) | Every permitted \(x\) works | An identity |
The solution set is part of what an equation means. An equation may describe one value, several values, no values, or an entire domain.
Formulas Express General Relationships
A formula is an equation or symbolic rule used to express a general relationship among quantities. Formulas let us calculate, convert, model, and communicate reusable structure.
The area formula for a rectangle is
\[ A=\ell w. \]
It tells us that area \(A\) equals length \(\ell\) multiplied by width \(w\). This is more than a single problem. It is a reusable relationship that applies to every rectangle with permitted measurements.
Other familiar formulas include:
- Circle area: \(A=\pi r^2\)
- Distance at constant speed: \(d=rt\)
- Simple interest: \(I=Prt\)
- Temperature conversion: \(F=\frac{9}{5}C+32\)
- Quadratic formula: \(x=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a}\), where \(a\ne0\)
Some formulas express exact mathematical relationships. Others model real systems under stated assumptions. The formula \(d=rt\), for example, describes motion at a constant rate; it does not automatically describe a trip whose speed changes from moment to moment.
A Formula Can Be Rearranged
A formula often contains several quantities, and the quantity we want may not already be isolated. We can use the properties of equality to solve for a different variable.
Starting with
\[ d=rt, \]
we can divide by \(t\), provided \(t\ne0\), to obtain
\[ r=\frac{d}{t}. \]
Or we can divide by \(r\), provided \(r\ne0\), to obtain
\[ t=\frac{d}{r}. \]
These are not three unrelated formulas. They are equivalent forms of one relationship, with a different quantity emphasized in each form.
Identities Are Always True on Their Domains
An identity is an equation that is true for every permitted value of its variables. For example,
\[ a(b+c)=ab+ac \]
is the distributive identity. It is not asking us to discover a special value of \(a\), \(b\), or \(c\). It states a relationship that holds throughout the number system in which the distributive property applies.
Other identities include:
- \((x+y)^2=x^2+2xy+y^2\)
- \(x+0=x\)
- \(x\cdot1=x\)
- \(\sin^2\theta+\cos^2\theta=1\)
- \(\log_b(MN)=\log_b M+\log_b N\), when the logarithms are defined and \(b\) is an allowed base
The domain is part of the identity. The statement
\[ \frac{x}{x}=1 \]
is an identity for \(x\ne0\), not at \(x=0\), because division by zero is undefined.
The Identity Symbol
Some authors use the symbol \(\equiv\) to signal an identity:
\[ (x+1)^2\equiv x^2+2x+1. \]
Ordinary equality \(=\) is also widely used for identities. The symbol \(\equiv\) has additional meanings in other contexts, including congruence and definitional equivalence, so the surrounding definitions still matter.
What makes an equation an identity is not the shape of its equality sign. It is the fact that the equality holds for every value in the permitted domain.
These Categories Can Overlap
The five labels describe different levels or purposes, so an object may receive more than one label.
- \(3x\) can be a term and also an expression by itself.
- \(A=\pi r^2\) is both an equation and a formula.
- \((x+1)^2=x^2+2x+1\) is both an equation and an identity.
- A formula may also be an identity when it expresses an exact relationship for every permitted value.
- A formula used as a real-world model may be valid only under specific assumptions.
There is no need to force each piece of notation into only one box. Ask what structure it has, what claim it makes, and what job it performs in the current discussion.
Different Structures Invite Different Actions
| Instruction | Usually applied to | What you are trying to do |
|---|---|---|
| Evaluate | An expression or function | Find its value for specified inputs |
| Simplify | An expression | Rewrite it in a useful equivalent form |
| Factor | An expression | Rewrite a sum as a product |
| Solve | An equation or inequality | Find every value that makes the statement true |
| Rearrange | An equation or formula | Isolate or emphasize a different quantity |
| Verify | A proposed equation, formula, or identity | Check whether the required relationship holds |
A common mistake is trying to “solve” an expression that contains no equality or other condition. The expression \(2x+3\) does not tell us which value of \(x\) to find. We can simplify it, evaluate it for a chosen \(x\), graph the related function, or place it inside an equation—but the expression alone has no solution set.
A Friendly Structure-Checking Routine
When you meet a new piece of notation, ask:
- Where are the top-level additions and subtractions? These reveal the terms.
- What factors make up each term? Look for coefficients, variables, powers, and grouped expressions.
- Is there a relation sign? Without one, you probably have an expression rather than an equation.
- If there is an equals sign, when is the equality true? For one value, several values, no values, or every permitted value?
- Is the equation being used as a reusable rule? If so, it is functioning as a formula.
- What domain and assumptions apply? Check denominators, radicals, logarithms, units, and model conditions.
- What instruction has been given? Evaluate, simplify, solve, rearrange, factor, or verify.
This small pause prevents a great deal of confusion. Once you identify the structure, the next mathematical move usually becomes much clearer.
Working Summary
Terms are additive parts. Expressions combine mathematical objects and operations. Equations assert equality. Formulas express reusable relationships. Identities are equations true for every permitted value.
These categories form a connected language rather than five isolated vocabulary words. Learning to recognize them helps you determine what the notation means, what claims it makes, and what kind of work the problem is asking you to perform.
Check Your Understanding
What are the terms in \(5x^2-3x+8\)?
The terms are \(5x^2\), \(-3x\), and \(8\). The negative sign belongs to the middle term.
Why does an expression not have a solution by itself?
An expression represents a value or object but does not state a condition that a variable must satisfy. A solution set arises when an equation, inequality, or other condition is imposed.
What is the difference between an equation and an identity?
An equation is any claim that two expressions are equal. An identity is a special equation that is true for every value in its permitted domain.
Can a formula also be an identity?
Yes. The labels describe different features. “Formula” emphasizes a reusable relationship, while “identity” emphasizes that the equality holds for every permitted value.
Why must domain restrictions survive simplification?
A simplified expression may appear to allow values that were forbidden in the original form. Equivalent rewriting preserves values only on the original permitted domain.