Articulo de referencia

Identidad (matemáticas)

Prueba visual de la identidad pitagórica : para cualquier ángulo θ {\displaystyle \theta } , el punto ( incógnita , y ) = ( porque ⁡ θ , pecado ⁡ θ ) {\displaystyle (x,y)=(\cos ...

Prueba visual de la identidad pitagórica : para cualquier ánguloθ{\displaystyle \theta }, el punto(incógnita,y)=(porqueθ,pecadoθ){\displaystyle (x,y)=(\cos \theta ,\sin \theta )}se encuentra en el círculo unitario , que satisface la ecuaciónincógnita2+y2=1{\displaystyle x^{2}+y^{2}=1}. De este modo,porque2θ+pecado2θ=1{\displaystyle \cos ^{2}\theta +\sin ^{2}\theta =1}.

En matemáticas , una identidad es una igualdad que relaciona una expresión matemática A  con otra expresión matemática B , de tal manera que A y B (que pueden contener algunas variables ) producen el mismo valor para todos los valores de las variables dentro de un cierto dominio de discurso . [ 1 ] [ 2 ] En otras palabras, A = B es una identidad si A y B definen las mismas funciones , y una identidad es una igualdad entre funciones que se definen de manera diferente. Por ejemplo,   (a+b)2=a2+2ab+b2{\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}} yporque2θ+pecado2θ=1{\displaystyle \cos ^{2}\theta +\sin ^{2}\theta =1}son identidades. [ 3 ] Las identidades a veces se indican con el símbolo de triple barra en lugar de = , el signo de igualdad . [ 4 ] Formalmente, una identidad es una igualdad cuantificada universalmente .

Identidades comunes

Identidades algebraicas

Ciertas identidades, comoa+0=a{\displaystyle a+0=a}ya+(a)=0{\displaystyle a+(-a)=0}, forman la base del álgebra , [ 5 ] mientras que otras identidades, como(a+b)2=a2+2ab+b2{\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}}ya2b2=(a+b)(ab){\displaystyle a^{2}-b^{2}=(a+b)(a-b)}, puede ser útil para simplificar expresiones algebraicas y para expandirlas. [ 6 ]

Identidades trigonométricas

Geométricamente, las identidades trigonométricas son identidades que involucran ciertas funciones de uno o más ángulos . [ 7 ] Se distinguen de las identidades triangulares , que involucran tanto los ángulos como las longitudes de los lados de un triángulo . Solo las primeras se tratan en este artículo.

Estas identidades resultan útiles cuando se necesita simplificar expresiones que involucran funciones trigonométricas. Otra aplicación importante es la integración de funciones no trigonométricas: una técnica común que consiste en utilizar primero la regla de sustitución con una función trigonométrica y, a continuación, simplificar la integral resultante con una identidad trigonométrica.

Uno de los ejemplos más destacados de identidades trigonométricas involucra la ecuaciónpecado2θ+porque2θ=1,{\displaystyle \sin ^{2}\theta +\cos ^{2}\theta =1,}lo cual es cierto para todos los valores reales deθ{\displaystyle \theta }. Por otro lado, la ecuación

porqueθ=1{\displaystyle \cos \theta =1}

Esto solo es cierto para ciertos valores deθ{\displaystyle \theta }, no todos. Por ejemplo, esta ecuación es verdadera cuandoθ=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.