Identidade (matemáticas)

miniatura|Proba visual da identidade pitagórica. Para calquera ángulo θ, o punto (cos(θ),sen(θ)) cae no círculo unidade, que satisfai a ecuación *x*2+*y*2=1. Entón, cos2(θ)+sen2(θ)=1.

En matemáticas unha **identidade** é unha relación de igualdade *A*&nbsp;=&nbsp;*B*, tal que *A* e *B* conteñen algunhas variables e *A* e *B* producen o mesmo valor independentemente dos valores (habitualmente números) polos que se substitúen as variables. Noutras palabras, *A*&nbsp;=&nbsp;*B* é unha identidade se *A* e *B* definen as mesmas funcións. Isto quere dicir que unha identidade é unha igualdade entre funcións definidas de xeito diferente. Por exemplo, (*a*&nbsp;+&nbsp;*b*)2 &nbsp;=&nbsp; *a*2&nbsp;+&nbsp;2*ab*&nbsp;+&nbsp;*b*2 and  son identidades. As identidades indícanse ás veces co símbolo ≡ en vez do signo igual (=).

## Identidades comúns 
### Identidades trigonométricas 
En xeral, as identidades trigonométricas inclúen certas funcións dun ou máis ángulos. Son diferentes das identidades triangulares, que son expresións que inclúen tanto ángulos como lonxitudes dos lados dun triángulo.

Estas identidades son útiles cando as expresións que involucran funcións trigonométricas teñen que ser simplificadas. Unha aplicación importante é a integración de funcións non trigonométricas: unha técnica común inclúe empregar primeiro a regra de substitución cunha función trigonométrica, e despois simplificando a integral resultante cunha identidade trigonométrica.

Un exemplo é  \sen ^2 \theta +  \cos ^2 \theta = 1,  que é verdadeira para todos os valores complexos de \theta (posto que os números complexos \mathbb{C} son o dominio do seno e o coseno), opostas a
:\cos \theta = 1,
que é verdadeiro para algúns valores de \theta, non para todos. Por exemplo, a ecuación anterior é verdadeira cando  \theta = 0, e false se \theta = 2.

### Identidades exponenciais 
As seguintes identidades son válidas para todos os expoñentes enteiros se a base non é cero:
:\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}

A exponenciación non é conmutativa, o que contrasta coa adición e a multiplicación. Por exemplo,  e , pero , onde .

A exponenciación tampouco é asociativa. Por exemplo,
 e , pero 23 elevado a 4 é 84 ou 4096, mentres que 2 elevado a 34 é 281 ou 2&nbsp;417&nbsp;851&nbsp;639&nbsp;229&nbsp;258&nbsp;349&nbsp;412&nbsp;352. Sen paréntesess que modifican a orde do cálculo, a convención é de arriba a abaixo:
:b^{p^q} = b^{(p^q)} \ne (b^p)^q = b^{(p \cdot q)} = b^{p \cdot q} .

### Identidades logarítmicas 
Varias fórmulas importantes están relacionadas cos logaritmos.

#### Produto, cociente, potencia e raíz 
O logaritmo dun produto é a suma dos logaritmos dos factores; o logaritmo dun cociente entre dous números é a diferenza dos logaritmos. O logaritmo da potencia *p*-ésima dun número é *p* veces o logaritmo do número; o logaritmo da raíz *p*-ésima é o logaritmo do número dividido por *p*. As seguintes táboas recollen estas identidades con exemplos. Cada unha pode derivarse da substitución das definicións de logaritmo x = blogb(x), e/ou y = blogb(y), na parte esquerda.

#### Cambio de base 
O logaritmo log*b*(*x*) pode calcularse a partir dos logaritmos de *x* e *b* con respecto a unha base arbitraria *k* mediante a fórmula:
:  \log_b(x) = \frac{\log_k(x)}{\log_k(b)}.
As calculadoras científicas adoitan calcular os logaritmos de bases 10 e *e*. Os logaritmos de base *b* calquera poden determinarse empregando calquera deses dous logaritmos coa fórmula anterior:
: \log_b (x) = \frac{\log_{10} (x)}{\log_{10} (b)} = \frac{\log_{e} (x)}{\log_{e} (b)}. 
Dado un número *x* e o seu logaritmo log*b*(*x*) nunha base descoñecida *b*, a base vén dada por:
:  b = x^\frac{1}{\log_b(x)}.

### Identidades de funcións hiperbólicas 
As funcións hiperbólicas satisfán moitas identidades, todas elas semellantes ás identidades trigonométricas. De feito, a regra de Osborn afirma que se pode converter calquera identidade trigonométrica en identidade hiperbólica expandíndoa completamente en termos de potencias integrais de senos e cosenos, cambiando seno por seno hiperbólico e coseno por coseno hiperbólico, e cambiando o signo de todos os termos que conteñan un produto de 2, 6, 10, 14, ... senos hiperbólicos.

A función gudermanniana dá unha relación directa entre as funcións circulares e as hiperbólicas que non involucra números complexos.

## Notas 
## Véxase tamén 
### Ligazóns externas 
* Encyclopedia of Equation  Online  encyclopedia of mathematical identities
* A Collection of Algebraic Identities