World Library  
Flag as Inappropriate
Email this Article

Identity (mathematics)

Article Id: WHEBN0000298428
Reproduction Date:

Title: Identity (mathematics)  
Author: World Heritage Encyclopedia
Language: English
Subject: Equation, Predicate functor logic, Srinivasa Ramanujan, United States federal budget, Subprime mortgage crisis
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Identity (mathematics)

Visual proof of the Pythagorean identity. For any angle θ, The point (cos(θ),sin(θ)) lies on the unit circle, which satisfies the equation x2+y2=1. Thus, cos2(θ)+sin2(θ)=1.

In mathematics an identity is an equality relation A = B, such that A and B contain some variables and A and B produce the same value as each other regardless of what values (usually numbers) are substituted for the variables. In other words, A = B is an identity if A and B define the same functions. This means that an identity is an equality between functions that are differently defined. For example (x + y)2  =  x2 + 2xy + y2 and cos2(x) + sin2(x) = 1 are identities. Identities are sometimes indicated by the triple bar symbol ≡ instead of =, the equals sign.[1]

Common identities

Trigonometric identities

Geometrically, these 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. An important application is the integration of non-trigonometric functions: a common technique involves first using the substitution rule with a trigonometric function, and then simplifying the resulting integral with a trigonometric identity.

One example is : \sin ^2 \theta + \cos ^2 \theta \equiv 1\, which is true for all complex values of \theta (since the complex numbers \Bbb{C} are the domain of sin and cos), as opposed to

\cos \theta = 1,\,

which is true only for some values of \theta, not all. For example, the latter equation is true when \theta = 0,\, false when \theta = 2\,.

Exponential identities

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

\begin{align} 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{align}

Exponentiation is not commutative. This contrasts with addition and multiplication, which are. For example, 2 + 3 = 3 + 2 = 5 and 2 · 3 = 3 · 2 = 6, but 23 = 8, whereas 32 = 9.

Exponentiation is not associative either. Addition and multiplication are. 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)} \ne (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.[2]

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.

Formula Example
product \log_b(x y) = \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.[3] 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[4] 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.[5]

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

See also

References

  1. ^ Weiner, Joan (2004).Frege Explained. Open Court.
  2. ^ All statements in this section can be found in Shailesh Shirali 2002, section 4, (Douglas Downing 2003, p. 275), or Kate & Bhapkar 2009, p. 1-1, for example.
  3. ^ 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:  , p. 21
  4. ^ G. Osborn, Mnemonic for hyperbolic formulae, The Mathematical Gazette, p. 189, volume 2, issue 34, July 1902
  5. ^ Peterson, John Charles (2003). Technical mathematics with calculus (3rd ed.). Cengage Learning. p. 1155.  , Chapter 26, page 1155

External links

  • A Collection of Algebraic Identities
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.