Identity (mathematics)

In mathematics, an identity is a specific type of equality. It relates one mathematical expression, called A, to another expression, called B. For a statement to be an identity, A and B must produce the same value for every possible value within a certain domain. This means the two sides define the same functions, even if they look different. You might see the triple bar symbol used to indicate an identity instead of a standard equals sign. While a regular equation might only be true for certain numbers, an identity is a universally quantified equality. This means it is true for all values of the variables involved.

Algebraic identities serve as a fundamental building block for much of mathematics. Some common examples include (a + b)² = a² + 2ab + b² and (a - b)(a + b) = a² - b². These identities are extremely useful for mathematicians. They allow for the expansion of complex expressions into simpler forms. They also help in simplifying expressions that might otherwise be difficult to manage. By using these rules, one can transform a long string of terms into a much shorter one. This process is essential for solving higher-level algebraic problems.

Trigonometric identities involve functions of one or more angles. It is important to distinguish these from triangle identities. Triangle identities involve both the angles and the side lengths of a triangle. In contrast, trigonometric identities focus on the functions themselves. One of the most famous examples is the Pythagorean identity, which states that sin²(θ) + cos²(θ) = 1. This equation is true for all real values of θ. This is different from an equation like sin(θ) = cos(θ), which is only true for certain values.

Trigonometric identities are also vital in calculus. They are often used during the integration of non-trigonometric functions. A common technique involves using the substitution rule with a trigonometric function. After that, the mathematician uses an identity to simplify the resulting integral.

There are also specific groups of identities for angles, such as addition and subtraction formulas. These include the addition formula for sin(α + β) and the double-angle identity for sin(2θ). These formulas allow a person to break down large, complex angles into smaller, more manageable parts. Exponential identities also exist for all integer exponents, provided the base is not zero. However, exponentiation behaves differently than addition or multiplication. It is not commutative, meaning the order of the numbers changes the result. For example, 2³ is 8, but 3² is 9. It is also not associative. This means that in an expression like 2³⁴, the order of operations matters significantly. By convention, exponentiation is calculated from the top down rather than the bottom up.

Logarithmic identities, often called log laws, relate different logarithms to one another. One important rule is the product rule, which states the logarithm of a product is the sum of the logarithms. The quotient rule says the logarithm of a ratio is the difference of the logarithms. There are also rules for powers and roots. The logarithm of the nth power of a number is n times the logarithm of that number. Additionally, the logarithm of the nth root is the logarithm of the number divided by n. Another useful tool is the change of base formula. This allows the logarithm log_b(x) to be computed using an arbitrary base k. Most scientific calculators use bases 10 or e for these calculations.

Hyperbolic function identities follow patterns very similar to trigonometric identities. A special rule known as Osborn's rule can be used to convert one into the other. To use this rule, you must expand a trigonometric identity completely in terms of integer powers of sine and cosine. Then, you change sine to sinh and cosine to cosh. Finally, you switch the sign of every term that contains an even number of hyperbolic sines. There is also a direct relationship provided by the Gudermannian function. This function connects trigonometric and hyperbolic functions without the need for complex numbers. This shows how different mathematical systems can mirror each other's structures.

In the fields of formal logic and universal algebra, identities have very strict definitions. A formal identity is a true universally quantified formula. It takes the form A = B, where A and B are terms with no other free variables. In many cases, the quantifier prefix is left implicit when an identity is discussed. For example, the axioms for a monoid are often expressed as identities. These include rules like a(bc) = (ab)c and ae = a. These formulas are considered identities because they must hold true for every element in the monoid. While an identity is true for all values, a simple equation might only be true for some. Ultimately, identities show us the underlying rules that govern mathematical systems.