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 domain of discourse. 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 + 2 a b + b 2 {\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}} and cos 2 θ + sin 2 θ = 1 {\displaystyle \cos ^{2}\theta +\sin ^{2}\theta =1} are identities. Identities are sometimes indicated by the triple bar symbol ≡ instead of =, the equals sign. Formally, an identity is a universally quantified equality.
Common identities
Algebraic identities
See also: Factorization § Recognizable patterns
Certain identities, such as a + 0 = a {\displaystyle a+0=a} and a + ( − a ) = 0 {\displaystyle a+(-a)=0} , form the basis of algebra,5 while other identities, such as ( a + b ) 2 = a 2 + 2 a b + b 2 {\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}} and a 2 − b 2 = ( a + b ) ( a − b ) {\displaystyle a^{2}-b^{2}=(a+b)(a-b)} , can be useful in simplifying algebraic expressions and expanding them.6
Trigonometric identities
Main article: List of trigonometric identities
Geometrically, trigonometric identities are identities involving certain functions of one or more angles.7 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 θ + cos 2 θ = 1 , {\displaystyle \sin ^{2}\theta +\cos ^{2}\theta =1,} which is true for all real values of θ {\displaystyle \theta } . On the other hand, the equation
cos θ = 1 {\displaystyle \cos \theta =1}is only true for certain values of θ {\displaystyle \theta } , not all. For example, this equation is true when θ = 0 , {\displaystyle \theta =0,} but false when θ = 2 {\displaystyle \theta =2} .
Another group of trigonometric identities concerns the so-called addition/subtraction formulas (e.g. the double-angle identity sin ( 2 θ ) = 2 sin θ cos θ {\displaystyle \sin(2\theta )=2\sin \theta \cos \theta } , the addition formula for tan ( x + y ) {\displaystyle \tan(x+y)} ), which can be used to break down expressions of larger angles into those with smaller constituents.
Exponential identities
Main article: Exponentiation
The following identities hold for all integer exponents, provided that the base is non-zero:
b m + n = b m ⋅ b n ( b m ) n = b m ⋅ n ( b ⋅ c ) n = b n ⋅ c n {\displaystyle {\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.
Also 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). When no parentheses are written, by convention the order is top-down, not bottom-up:
b p q := b ( p q ) , {\displaystyle b^{p^{q}}:=b^{(p^{q})},} whereas ( b p ) q = b p ⋅ q . {\displaystyle (b^{p})^{q}=b^{p\cdot q}.}Logarithmic identities
Main article: Logarithmic identities
Several important formulas, sometimes called logarithmic identities or log laws, relate logarithms to one another:8
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 pth power of a number is p times the logarithm of the number itself; the logarithm of a pth 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 = b log b x , {\displaystyle x=b^{\log _{b}x},} and/or y = b log b y , {\displaystyle y=b^{\log _{b}y},} in the left hand sides.
| Formula | Example | |
|---|---|---|
| product | log b ( x y ) = log b ( x ) + log b ( y ) {\displaystyle \log _{b}(xy)=\log _{b}(x)+\log _{b}(y)} | log 3 ( 243 ) = log 3 ( 9 ⋅ 27 ) = log 3 ( 9 ) + log 3 ( 27 ) = 2 + 3 = 5 {\displaystyle \log _{3}(243)=\log _{3}(9\cdot 27)=\log _{3}(9)+\log _{3}(27)=2+3=5} |
| quotient | log b ( x y ) = log b ( x ) − log b ( y ) {\displaystyle \log _{b}\!\left({\frac {x}{y}}\right)=\log _{b}(x)-\log _{b}(y)} | log 2 ( 16 ) = log 2 ( 64 4 ) = log 2 ( 64 ) − log 2 ( 4 ) = 6 − 2 = 4 {\displaystyle \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 ) {\displaystyle \log _{b}(x^{p})=p\log _{b}(x)} | log 2 ( 64 ) = log 2 ( 2 6 ) = 6 log 2 ( 2 ) = 6 {\displaystyle \log _{2}(64)=\log _{2}(2^{6})=6\log _{2}(2)=6} |
| root | log b x p = log b ( x ) p {\displaystyle \log _{b}\!{\sqrt[{p}]{x}}={\frac {\log _{b}(x)}{p}}} | log 10 1000 = 1 2 log 10 1000 = 3 2 = 1.5 {\displaystyle \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 ) = log k ( x ) log k ( b ) . {\displaystyle \log _{b}(x)={\frac {\log _{k}(x)}{\log _{k}(b)}}.}Typical scientific calculators calculate the logarithms to bases 10 and e.9 Logarithms with respect to any base b can be determined using either of these two logarithms by the previous formula:
log b ( x ) = log 10 ( x ) log 10 ( b ) = log e ( x ) log e ( b ) . {\displaystyle \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 1 log b ( x ) . {\displaystyle b=x^{\frac {1}{\log _{b}(x)}}.}Hyperbolic function identities
Main article: Hyperbolic function
The hyperbolic functions satisfy many identities, all of them similar in form to the trigonometric identities. In fact, Osborn's rule10 states that one can convert any trigonometric identity into a hyperbolic identity by expanding it completely in terms of integer 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 an even number of hyperbolic sines.11
The Gudermannian function gives a direct relationship between the trigonometric functions and the hyperbolic ones that does not involve complex numbers.
Logic and universal algebra
Formally, an identity is a true universally quantified formula of the form ∀ x 1 , … , x n : s = t , {\displaystyle \forall x_{1},\ldots ,x_{n}:s=t,} where s and t are terms with no other free variables than x 1 , … , x n . {\displaystyle x_{1},\ldots ,x_{n}.} The quantifier prefix ∀ x 1 , … , x n {\displaystyle \forall x_{1},\ldots ,x_{n}} is often left implicit, when it is stated that the formula is an identity. For example, the axioms of a monoid are often given as the formulas
∀ x , y , z : x ∗ ( y ∗ z ) = ( x ∗ y ) ∗ z , ∀ x : x ∗ 1 = x , ∀ x : 1 ∗ x = x , {\displaystyle \forall x,y,z:x*(y*z)=(x*y)*z,\quad \forall x:x*1=x,\quad \forall x:1*x=x,}or, shortly,
x ∗ ( y ∗ z ) = ( x ∗ y ) ∗ z , x ∗ 1 = x , 1 ∗ x = x . {\displaystyle x*(y*z)=(x*y)*z,\qquad x*1=x,\qquad 1*x=x.}So, these formulas are identities in every monoid. As for any equality, the formulas without quantifier are often called equations. In other words, an identity is an equation that is true for all values of the variables.1213
See also
Notes
Citations
Sources
- Downing, Douglas (2003). Algebra the Easy Way. Barrons Educational Series. ISBN 978-0-7641-1972-9.
- Kate, S.K.; Bhapkar, H.R. (2009). Basics Of Mathematics. Technical Publications. ISBN 978-81-8431-755-8.
- Shirali, S. (2002). Adventures in Problem Solving. Universities Press. ISBN 978-81-7371-413-9.
- Efthimiou, Costas (2011). Introduction to Functional Equations (PDF). American Mathematical Society. ISBN 978-0-8218-5314-6. Archived from the original on June 3, 2023.
- Christopher G. Small (3 April 2007). Functional Equations and How to Solve Them. Springer Science & Business Media. ISBN 978-0-387-48901-8.
- Adkins, William A.; Davidson, Mark G. (2012). "Ordinary Differential Equations". Undergraduate Texts in Mathematics. New York, NY. doi:10.1007/978-1-4614-3618-8. ISBN 978-1-4614-3617-1. ISSN 0172-6056.
- Brešar, Matej; Chebotar, Mikhail A.; Martindale, Wallace S. (2007). "Functional Identities". Frontiers in Mathematics. Basel. doi:10.1007/978-3-7643-7796-0. ISBN 978-3-7643-7795-3. ISSN 1660-8046.
External links
- The Encyclopedia of Equation Online encyclopedia of mathematical identities (archived)
- A Collection of Algebraic Identities Archived 2011-10-01 at the Wayback Machine
References
Equation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Equation&oldid=32613 http://encyclopediaofmath.org/index.php?title=Equation&oldid=32613 ↩
Pratt, Vaughan, "Algebra", The Stanford Encyclopedia of Philosophy (Winter 2022 Edition), Edward N. Zalta & Uri Nodelman (eds.), URL: https://plato.stanford.edu/entries/algebra/#Laws https://plato.stanford.edu/entries/algebra/#Laws ↩
"Mathwords: Identity". www.mathwords.com. Retrieved 2019-12-01. https://www.mathwords.com/i/identity.htm ↩
"Identity – math word definition – Math Open Reference". www.mathopenref.com. Retrieved 2019-12-01. https://www.mathopenref.com/identity.html ↩
"Basic Identities". www.math.com. Retrieved 2019-12-01. http://www.math.com/tables/algebra/basicidens.htm ↩
"Algebraic Identities". www.sosmath.com. Retrieved 2019-12-01. http://www.sosmath.com/tables/algiden/algiden.html ↩
Stapel, Elizabeth. "Trigonometric Identities". Purplemath. Retrieved 2019-12-01. https://www.purplemath.com/modules/idents.htm ↩
All statements in this section can be found in Shirali 2002, Section 4, Downing 2003, p. 275, or Kate & Bhapkar 2009, p. 1-1, for example. - Shirali, S. (2002). Adventures in Problem Solving. Universities Press. ISBN 978-81-7371-413-9. https://books.google.com/books?id=TPE0fXGnYtMC&pg=PP1 ↩
Bernstein, Stephen; Bernstein, Ruth (1999), Schaum's outline of theory and problems of elements of statistics. I, Descriptive statistics and probability, Schaum's outline series, New York: McGraw-Hill, ISBN 978-0-07-005023-5, p. 21 978-0-07-005023-5 ↩
Osborn, G. (1 January 1902). "109. Mnemonic for Hyperbolic Formulae". The Mathematical Gazette. 2 (34): 189. doi:10.2307/3602492. JSTOR 3602492. https://zenodo.org/record/1449741 ↩
Peterson, John Charles (2003). Technical mathematics with calculus (3rd ed.). Cengage Learning. p. 1155. ISBN 0-7668-6189-9., Chapter 26, page 1155 0-7668-6189-9 ↩
Nachum Dershowitz; Jean-Pierre Jouannaud (1990). "Rewrite Systems". In Jan van Leeuwen (ed.). Formal Models and Semantics. Handbook of Theoretical Computer Science. Vol. B. Elsevier. pp. 243–320. /wiki/Nachum_Dershowitz ↩
Wolfgang Wechsler (1992). Wilfried Brauer; Grzegorz Rozenberg; Arto Salomaa (eds.). Universal Algebra for Computer Scientists. EATCS Monographs on Theoretical Computer Science. Vol. 25. Berlin: Springer. ISBN 3-540-54280-9. Here: Def.1 of Sect.3.2.1, p.160. 3-540-54280-9 ↩