Conditional Equations Versus Identical Equations

An equation is a statement of equality between two expressions, such as

Not all equations behave the same way: some are true only for specific values of the variable, some are true for every permissible value, and some are never true at all. Understanding this distinction is fundamental to algebra.

Quick Reference: Types of Equations

Type	True for...	Example	Symbol
Conditional equation	Some (but not all) permissible values	(only )
Identity	All permissible values		or
Contradiction	No values		(but never satisfied)

Basic Properties of Equations

If and (where , and are numbers or expressions) then

Of course, we should exclude division by zero. In dividing an equation by an algebraic expression, we must note for what values of the letter the divisor becomes zero and exclude them from discussion.

Variable, Root, and Solution

For example, in the equation

is the variable (or the unknown) and is the only root, or the only solution.

Conditional Equations and Identities

For example, the equation is only valid when , so it is a conditional equation, but is true for all values of , so it is an identity. The equation

is true for all values of excluding and . Because substituting or for leads to division by zero, these values are not permissible. So we can say this equation is true for all permissible values of and thus it is an identity.

In identities the equals sign is sometimes replaced by .

Contradictions: Equations With No Solution

A third type of equation, called a contradiction (or inconsistent equation), is one that is false for every value of the variable. For example,

has no solution: subtracting from both sides gives , which is never true. When solving an equation leads to a statement that is always false (such as ), the original equation is a contradiction and its solution set is empty.

The three types cover every possible case: a given equation is either true for no values (contradiction), for some but not all values (conditional), or for all permissible values (identity).

Formulas

An equation that states a general fact or rule is called a formula. For example, the equation for the area of a circle of radius is a formula. A formula is a special kind of identity: it holds for all permissible values of the variables involved.

Frequently Asked Questions

What is the difference between a conditional equation and an identity?

A conditional equation is true only for specific values of the variable. A identity is true for every permissible value of the variable. For example, is conditional (only satisfies it), while is an identity (true for all ).

How do you tell whether an equation is an identity or a conditional equation?

Try to solve the equation. If you arrive at a specific value (for example, ), it is conditional. If all variables cancel and you are left with a statement that is always true (such as ), the equation is an identity. If all variables cancel and you are left with a statement that is always false (such as ), it is a contradiction.

What is a contradiction in algebra?

A contradiction is an equation that has no solution. No value of the variable can make it true. Solving a contradiction always produces a false statement, such as or . The solution set is empty, written .

What does the symbol mean in an equation?

The symbol (read "is identically equal to") is used in place of to signal that the equation is an identity, that is, it holds for all permissible values of the variables. For example, writing emphasizes that the two sides are equal for every value of .

What is the difference between an equation and a formula?

An equation is any statement of equality. A formula is an equation that expresses a general relationship or rule, such as or . Formulas are identities in the sense that they hold for all permissible values of their variables, but the term "formula" emphasizes practical use rather than the distinction between conditional and identical equations.

Can an equation have more than one solution?

Yes. A conditional equation can have one solution, finitely many solutions, or infinitely many solutions that form a proper subset of all real numbers. For example, has two solutions ( and ). An identity, by contrast, is satisfied by every permissible value and is not usually described as having "many solutions" but rather as being "universally true."