
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, and 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 and , form the basis of algebra,[5] while other identities, such as and , 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 which is true for all real values of . On the other hand, the equation
is only true for certain values of , not all. For example, this equation is true when pero falso cuando.
Otro grupo de identidades trigonométricas se refiere a las llamadas fórmulas de suma/resta (por ejemplo, la identidad del ángulo doble)., la fórmula de adición para), 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:
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:
- mientras
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. y/oen 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:
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:
Dado un número x y su logaritmo log b ( x ) en una base desconocida b , la base viene dada por:
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 formadonde s y t son términos sin otras variables libres queEl prefijo cuantificadora 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.
o, en resumen,
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
- ↑ 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
- ↑ Ecuación. Enciclopedia de Matemáticas. URL: http://encyclopediaofmath.org/index.php?title=Equation&oldid=32613
- ↑ 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
- ↑ "Mathwords: Identity" . www.mathwords.com . Consultado el 1 de diciembre de 2019 .
- ↑ "Identidad – definición de término matemático – Math Open Reference" . www.mathopenref.com . Consultado el 1 de diciembre de 2019 .
- ↑ "Identidades básicas" . www.math.com . Consultado el 1 de diciembre de 2019 .
- ↑ "Identidades algebraicas" . www.sosmath.com . Consultado el 1 de diciembre de 2019 .
- ↑ Stapel, Elizabeth. "Identidades trigonométricas" . Purplemath . Consultado el 1 de diciembre de 2019 .
- ↑ 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
- ↑ 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 .
- ↑ 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
- ↑ 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 .
- ↑ 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
Enlaces externos
- 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.
- Álgebra elemental
- Identidades matemáticas
- Equivalencia (matemáticas)