An equation is a mathematical statement that asserts the equality of two expressions.[1] Equations consist of the expressions that have to be equal on opposite sides of an equal sign, as in
One use of equations is in mathematical identities, assertions that are true independent of the values of any variables contained within them. For example, for any given value of x it is true that
However, equations can also be correct for only certain values of the variables.[2] In this case, they can be solved to find the values that satisfy the equality. For example, consider the following.
The equation is true only for two values of x, the solutions of the equation. In this case, the solutions are and .
Many mathmaticians[2] reserve the term equation exclusively for the second type, to signify an equality which is not an identity. The distinction between the two concepts can be subtle; for example,
is an identity, while
is an equation with solutions and . Whether a statement is meant to be an identity or an equation can usually be determined from its context. In some cases, a distinction is made between the equality sign () for an equation and the equivalence symbol () for an identity.
Letters from the beginning of the alphabet like a, b, c... often denote constants in the context of the discussion at hand, while letters from end of the alphabet, like ...x, y, z, are usually reserved for the variables, a convention initiated by Descartes.
If an equation in algebra is known to be true, the following operations may be used to produce another true equation:
The algebraic properties (1-4) imply that equality is a congruence relation for a field; in fact, it is essentially the only one.
The most well known system of numbers which allows all of these operations is the real numbers, which is an example of a field. However, if the equation were based on the natural numbers for example, some of these operations (like division and subtraction) may not be valid as negative numbers and non-whole numbers are not allowed. The integers are an example of an integral domain which does not allow all divisions as, again, whole numbers are needed. However, subtraction is allowed, and is the inverse operator in that system.
If a function that is not injective is applied to both sides of a true equation, then the resulting equation will still be true, but it may be less useful. Formally, one has an implication, not an equivalence, so the solution set may get larger. The functions implied in properties (1), (2), and (4) are always injective, as is (3) if we do not multiply by zero. Some generalized products, such as a dot product, are never injective.