Articulo de referencia

Identity (mathematics)

Visual proof of the Pythagorean identity : for any angle θ {\displaystyle \theta } , the point ( x , y ) = ( cos ⁡ θ , sin ⁡ θ ) {\displaystyle (x,y)=(\cos \theta ,\sin \theta )...

Visual proof of the Pythagorean identity: for any angle θ{\displaystyle \theta }, the point (x,y)=(cosθ,sinθ){\displaystyle (x,y)=(\cos \theta ,\sin \theta )} lies on the unit circle, which satisfies the equation x2+y2=1{\displaystyle x^{2}+y^{2}=1}. Thus, cos2θ+sin2θ=1{\displaystyle \cos ^{2}\theta +\sin ^{2}\theta =1}.

In mathematics, an identity is an equality relating one mathematical expressionA 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.[1][2] 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=a2+2ab+b2{\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}} and cos2θ+sin2θ=1{\displaystyle \cos ^{2}\theta +\sin ^{2}\theta =1} are identities.[3] Identities are sometimes indicated by the triple bar symbol instead of =, the equals sign.[4] Formally, an identity is a universally quantified equality.

Common identities

Algebraic identities

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=a2+2ab+b2{\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}} and a2b2=(a+b)(ab){\displaystyle a^{2}-b^{2}=(a+b)(ab)}, can be useful in simplifying algebraic expressions and in expanding them.[6]

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 sin2θ+cos2θ=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,}pero falso cuandoθ=2{\displaystyle \theta =2}.

Otro grupo de identidades trigonométricas se refiere a las llamadas fórmulas de suma/resta (por ejemplo, la identidad del ángulo doble).pecado(2θ)=2pecadoθporqueθ{\displaystyle \sin(2\theta )=2\sin \theta \cos \theta }, la fórmula de adición parabroncearse(incógnita+y){\displaystyle \tan(x+y)}), que se puede utilizar para descomponer expresiones de ángulos más grandes en aquellas con componentes más pequeños.

Identidades exponenciales

Las siguientes identidades se cumplen para todos los exponentes enteros , siempre que la base sea distinta de cero:

bmetro+norte=bmetrobnorte(bmetro)norte=bmetronorte(bdo)norte=bnortedonorte{\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}}}

A diferencia de la suma y la multiplicación, la exponenciación no es conmutativa . Por ejemplo, 2 + 3 = 3 + 2 = 5 y 2 · 3 = 3 · 2 = 6 , pero 2 3 = 8 mientras que 3 2 = 9 .

A diferencia de la suma y la multiplicación, la potenciación tampoco es asociativa . Por ejemplo, (2 + 3) + 4 = 2 + (3 + 4) = 9 y (2 · 3) · 4 = 2 · (3 · 4) = 24 , pero 2³ elevado a la 4 es 8⁴ ( o 4096), mientras que 2³ elevado a la 4 es 2⁸¹ ( o 2 417 851 639 229 258 349 412 352). Cuando no se escriben paréntesis, por convención el orden es de arriba hacia abajo, no de abajo hacia arriba:

bpagq:=b(pagq),{\displaystyle b^{p^{q}}:=b^{(p^{q})},} mientras (bpag)q=bpagq.{\displaystyle (b^{p})^{q}=b^{p\cdot q}.}

Identidades logarítmicas

Varias fórmulas importantes, a veces llamadas identidades logarítmicas o leyes de logaritmos , relacionan los logaritmos entre sí: [ a ]

Producto, cociente, potencia y raíz

El logaritmo de un producto es la suma de los logaritmos de los números que se multiplican; el logaritmo de la razón de dos números es la diferencia de sus logaritmos. El logaritmo de la p -ésima potencia de un número es p veces el logaritmo del número mismo; el logaritmo de una raíz p -ésima es el logaritmo del número dividido por p . La siguiente tabla enumera estas identidades con ejemplos. Cada una de ellas se puede derivar sustituyendo las definiciones de logaritmo. incógnita=bregistrobincógnita,{\displaystyle x=b^{\log _{b}x},}y/oy=bregistroby,{\displaystyle y=b^{\log _{b}y},}en los lados izquierdos.

Cambio de base

El logaritmo log b ( x ) se puede calcular a partir de los logaritmos de x y b con respecto a una base arbitraria k utilizando la siguiente fórmula:

registrob(incógnita)=registrok(incógnita)registrok(b).{\displaystyle \log _{b}(x)={\frac {\log _{k}(x)}{\log _{k}(b)}}.}

Las calculadoras científicas típicas calculan los logaritmos en bases 10 y e . [ 8 ] Los logaritmos con respecto a cualquier base b se pueden determinar utilizando cualquiera de estos dos logaritmos mediante la fórmula anterior:

registrob(incógnita)=registro10(incógnita)registro10(b)=registromi(incógnita)registromi(b).{\displaystyle \log _{b}(x)={\frac {\log _{10}(x)}{\log _{10}(b)}}={\frac {\log _{e}(x)}{\log _{e}(b)}}.}

Dado un número x y su logaritmo log b ( x ) en una base desconocida b , la base viene dada por:

b=incógnita1registrob(incógnita).{\displaystyle b=x^{\frac {1}{\log _{b}(x)}}.}

Identidades de funciones hiperbólicas

Las funciones hiperbólicas satisfacen muchas identidades, todas ellas similares en forma a las identidades trigonométricas . De hecho, la regla de Osborn [ 9 ] establece que se puede convertir cualquier identidad trigonométrica en una identidad hiperbólica desarrollándola completamente en términos de potencias enteras de senos y cosenos, cambiando seno por sinh y coseno por cosh, e invirtiendo el signo de cada término que contenga un producto de un número par de senos hiperbólicos. [ 10 ]

La función de Gudermann establece una relación directa entre las funciones trigonométricas y las hiperbólicas que no involucra números complejos .

Lógica y álgebra universal

Formalmente, una identidad es una fórmula verdaderamente cuantificada universalmente de la formaincógnita1,,incógnitanorte:s=t,{\displaystyle \forall x_{1},\ldots ,x_{n}:s=t,}donde s y t son términos sin otras variables libres queincógnita1,,incógnitanorte.{\displaystyle x_{1},\ldots ,x_{n}.}El prefijo cuantificadorincógnita1,,incógnitanorte{\displaystyle \forall x_{1},\ldots ,x_{n}}a menudo se deja implícito cuando se afirma que la fórmula es una identidad. Por ejemplo, los axiomas de un monoide a menudo se dan como fórmulas.

incógnita,y,z:incógnita(yz)=(incógnitay)z,incógnita:incógnita1=incógnita,incógnita:1incógnita=incógnita,{\displaystyle \forall x,y,z:x*(y*z)=(x*y)*z,\quad \forall x:x*1=x,\quad \forall x:1*x=x,}

o, en resumen,

incógnita(yz)=(incógnitay)z,incógnita1=incógnita,1incógnita=incógnita.{\displaystyle x*(y*z)=(x*y)*z,\qquad x*1=x,\qquad 1*x=x.}

Así pues, estas fórmulas son identidades en todo monoide. Al igual que con cualquier igualdad, las fórmulas sin cuantificador suelen denominarse ecuaciones . En otras palabras, una identidad es una ecuación que se cumple para todos los valores de las variables. [ 11 ] [ 12 ]

Véase también

Referencias

Notas

  1. Todas las afirmaciones de esta sección se pueden encontrar en Shirali 2002 , Sección 4, Downing 2003 , pág. 275, o Kate & Bhapkar 2009 , pág. 1-1, por ejemplo.

Citas

  1. Ecuación. Enciclopedia de Matemáticas. URL: http://encyclopediaofmath.org/index.php?title=Equation&oldid=32613
  2. Pratt, Vaughan, "Álgebra", The Stanford Encyclopedia of Philosophy (Edición de invierno de 2022), Edward N. Zalta y Uri Nodelman (eds.), URL: https://plato.stanford.edu/entries/algebra/#Laws
  3. "Mathwords: Identity" . www.mathwords.com . Consultado el 1 de diciembre de 2019 .
  4. "Identidad – definición de término matemático – Math Open Reference" . www.mathopenref.com . Consultado el 1 de diciembre de 2019 .
  5. "Identidades básicas" . www.math.com . Consultado el 1 de diciembre de 2019 .
  6. "Identidades algebraicas" . www.sosmath.com . Consultado el 1 de diciembre de 2019 .
  7. Stapel, Elizabeth. "Identidades trigonométricas" . Purplemath . Consultado el 1 de diciembre de 2019 .
  8. Bernstein, Stephen; Bernstein, Ruth (1999), Esquema de Schaum sobre teoría y problemas de los elementos de estadística. I, Estadística descriptiva y probabilidad , Serie de esquemas de Schaum, Nueva York: McGraw-Hill , ISBN 978-0-07-005023-5pág. 21
  9. Osborn, G. (1 de enero de 1902). "109. Mnemotecnia para fórmulas hiperbólicas" . The Mathematical Gazette . 2 (34): 189. doi : 10.2307/3602492 . JSTOR 3602492 . 
  10. Peterson, John Charles (2003). Matemáticas técnicas con cálculo (3.ª ed.). Cengage Learning. pág. 1155. ISBN   0-7668-6189-9.Capítulo 26 , página 1155
  11. Nachum Dershowitz ; Jean-Pierre Jouannaud (1990). "Sistemas de reescritura". En Jan van Leeuwen (ed.). Modelos formales y semántica . Manual de informática teórica. Vol. B. Elsevier. págs. 243–320 .  
  12. Wolfgang Wechsler (1992). Wilfried Brauer ; Grzegorz Rozenberg ; Arto Salomaa (eds.). Álgebra universal para científicos informáticos . Monografías de la EATCS sobre informática teórica. Vol. 25. Berlín: Springer. ISBN  3-540-54280-9.Aquí: Definición 1 de la Sección 3.2.1, pág. 160.

Fuentes

  • Downing, Douglas (2003). Álgebra de forma sencilla . Serie educativa de Barrons. ISBN 978-0-7641-1972-9.
  • Kate, SK; Bhapkar, HR (2009). Fundamentos de matemáticas . Publicaciones técnicas. ISBN 978-81-8431-755-8.
  • Shirali, S. (2002). Aventuras en la resolución de problemas . Universities Press. ISBN 978-81-7371-413-9.
  • Efthimiou, Costas (2011). Introducción a las ecuaciones funcionales (PDF) . American Mathematical Society . ISBN 978-0-8218-5314-6Archivado del original el 3 de junio de 2023.
  • Christopher G. Small (3 de abril de 2007). Ecuaciones funcionales y cómo resolverlas . Springer Science & Business Media. ISBN 978-0-387-48901-8.
  • Adkins, William A.; Davidson, Mark G. (2012). «Ecuaciones diferenciales ordinarias» . Textos de matemáticas para estudiantes de pregrado . Nueva York, NY. doi : 10.1007/978-1-4614-3618-8 . ISBN 978-1-4614-3617-1ISSN 0172-6056 
  • Brešar, Matej; Chebotar, Mikhail A.; Martindale, Wallace S. (2007). «Identidades funcionales» . Fronteras en Matemáticas . Basilea. doi : 10.1007/978-3-7643-7796-0 . ISBN 978-3-7643-7795-3ISSN 1660-8046 
  • La Enciclopedia de Ecuaciones Enciclopedia en línea de identidades matemáticas (archivada)
  • Una colección de identidades algebraicas archivada el 1 de octubre de 2011 en la Wayback Machine.
Obtenido de " https://en.wikipedia.org/w/index.php?title=Identity_(mathematics)&oldid=1341705720 "