# Identity (mathematics)

In mathematics, an identity is an equality relating one mathematical expression A to another mathematical expression B, such that A and B (which might contain some variables) produce the same value for all values of the variables within a certain range of validity. In other words, A = B is an identity if A and B define the same functions, and an identity is an equality between functions that are differently defined. For example, $(a+b)^{2}=a^{2}+2ab+b^{2}$ and $\cos ^{2}\theta +\sin ^{2}\theta =1$ are identities. Identities are sometimes indicated by the triple bar symbol instead of =, the equals sign.

## Common identities

### Algebraic identities

Certain identities, such as $a+0=a$ and $a+(-a)=0$ , form the basis of algebra, while other identities, such as $(a+b)^{2}=a^{2}+2ab+b^{2}$ and $a^{2}-b^{2}=(a+b)(a-b)$ , can be useful in simplifying algebraic expressions and expanding them.

### Trigonometric identities

Geometrically, trigonometric identities are identities involving certain functions of one or more angles. They are distinct from triangle identities, which are identities involving both angles and side lengths of a triangle. Only the former are covered in this article.

These identities are useful whenever expressions involving trigonometric functions need to be simplified. Another important application is the integration of non-trigonometric functions: a common technique which involves first using the substitution rule with a trigonometric function, and then simplifying the resulting integral with a trigonometric identity.

One of the most prominent examples of trigonometric identities involves the equation $\sin ^{2}\theta +\cos ^{2}\theta =1,$ which is true for all complex values of $\theta$ (since the complex numbers $\mathbb {C}$ form the domain of sine and cosine). On the other hand, the equation

$\cos \theta =1$ is only true for certain values of $\theta$ , not all (nor for all values in a neighborhood). For example, this equation is true when $\theta =0,$ but false when $\theta =2$ .

Another group of trigonometric identities concerns the so-called addition/subtraction formulas (e.g. the double-angle identity $\sin(2\theta )=2\sin \theta \cos \theta$ , the addition formula for $\tan(x+y)$ ), which can be used to break down expressions of larger angles into those with smaller constituents.

### Exponential identities

The following identities hold for all integer exponents, provided that the base is non-zero:

{\begin{aligned}b^{m+n}&=b^{m}\cdot b^{n}\\(b^{m})^{n}&=b^{m\cdot n}\\(b\cdot c)^{n}&=b^{n}\cdot c^{n}\end{aligned}} Unlike addition and multiplication, exponentiation is not commutative. For example, 2 + 3 = 3 + 2 = 5 and 2 · 3 = 3 · 2 = 6, but 23 = 8, whereas 32 = 9.

And unlike addition and multiplication, exponentiation is not associative either. For example, (2 + 3) + 4 = 2 + (3 + 4) = 9 and (2 · 3) · 4 = 2 · (3 · 4) = 24, but 23 to the 4 is 84 (or 4,096), whereas 2 to the 34 is 281 (or 2,417,851,639,229,258,349,412,352). Without parentheses to modify the order of calculation, by convention the order is top-down, not bottom-up:

$b^{p^{q}}=b^{(p^{q})}\neq (b^{p})^{q}=b^{(p\cdot q)}=b^{p\cdot q}.$ ### Logarithmic identities

Several important formulas, sometimes called logarithmic identities or log laws, relate logarithms to one another.

#### Product, quotient, power and root

The logarithm of a product is the sum of the logarithms of the numbers being multiplied; the logarithm of the ratio of two numbers is the difference of the logarithms. The logarithm of the p-th power of a number is p times the logarithm of the number itself; the logarithm of a p-th root is the logarithm of the number divided by p. The following table lists these identities with examples. Each of the identities can be derived after substitution of the logarithm definitions x = blogb(x), and/or y = blogb(y), in the left hand sides.

FormulaExample
product$\log _{b}(xy)=\log _{b}(x)+\log _{b}(y)$ $\log _{3}(243)=\log _{3}(9\cdot 27)=\log _{3}(9)+\log _{3}(27)=2+3=5$ quotient$\log _{b}\!\left({\frac {x}{y}}\right)=\log _{b}(x)-\log _{b}(y)$ $\log _{2}(16)=\log _{2}\!\left({\frac {64}{4}}\right)=\log _{2}(64)-\log _{2}(4)=6-2=4$ power$\log _{b}(x^{p})=p\log _{b}(x)$ $\log _{2}(64)=\log _{2}(2^{6})=6\log _{2}(2)=6$ root$\log _{b}{\sqrt[{p}]{x}}={\frac {\log _{b}(x)}{p}}$ $\log _{10}{\sqrt {1000}}={\frac {1}{2}}\log _{10}1000={\frac {3}{2}}=1.5$ #### Change of base

The logarithm logb(x) can be computed from the logarithms of x and b with respect to an arbitrary base k using the following formula:

$\log _{b}(x)={\frac {\log _{k}(x)}{\log _{k}(b)}}.$ Typical scientific calculators calculate the logarithms to bases 10 and e. Logarithms with respect to any base b can be determined using either of these two logarithms by the previous formula:

$\log _{b}(x)={\frac {\log _{10}(x)}{\log _{10}(b)}}={\frac {\log _{e}(x)}{\log _{e}(b)}}.$ Given a number x and its logarithm logb(x) to an unknown base b, the base is given by:

$b=x^{\frac {1}{\log _{b}(x)}}.$ ### Hyperbolic function identities

The hyperbolic functions satisfy many identities, all of them similar in form to the trigonometric identities. In fact, Osborn's rule states that one can convert any trigonometric identity into a hyperbolic identity by expanding it completely in terms of integral powers of sines and cosines, changing sine to sinh and cosine to cosh, and switching the sign of every term which contains a product of 2, 6, 10, 14, ... sinhs.

The Gudermannian function gives a direct relationship between the circular functions and the hyperbolic ones that does not involve complex numbers.