En matemàtiques, les identitats trigonomètriques són igualtats que impliquen funcions trigonomètriques i que són veritat per a qualsevol valor de les variables. Aquestes identitats són útils quan cal simplificar expressions en què intervenen funcions trigonomètriques. Una aplicació important és la integració de funcions no trigonomètriques: un truc habitual és començar per fer servir la integració per canvi de variable amb una funció trigonomètrica i llavors simplificar la integral resultant amb una identitat trigonomètrica.
En aquest article es llisten aquestes identitats, per a la seva demostració vegeu demostració de les identitats trigonomètriques
Per tal d'evitar confusió causada per l'ambigüitat de sin−1(x), les inverses respecte del producte i les inverses de les funcions trigonomètriques sovint s'escriuen tal com es presenten a la següent taula. En representar la funció cosecant, de vegades es fa servir la forma llarga 'cosec' en comptes de 'csc'.
Funció
|
funció inversa
|
Inversa multiplicativa
|
Funció inversa de la inversa
|
sinus
|
sin
|
arcsinus
|
arcsin
|
cosecant
|
csc
|
arccosecant
|
arccsc
|
cosinus
|
cos
|
arccosinus
|
arccos
|
secant
|
sec
|
arcsecant
|
arcsec
|
tangent
|
tan
|
arctangent
|
arctan
|
cotangent
|
cot
|
arccotangent
|
arccot
|
Diferents sistemes de mesura dels angles poden ser més apropiats per a diferents situacions. Aquesta taula presenta algunes les equivalències entre alguns angles pels tres sistemes més comuns.
Els radiants són la unitat de mesura més adequada per aplicacions matemàtiques i per a la majoria d'aplicacions en física. És el sistema que es fa servir si les funcions trigonomètriques es defineixen emprant exponencials. En algunes aplicacions de física i moltes de mecànica, té l'inconvenient de què un nombre sencer de voltes o una fracció racional d'una volta correspon a un angle expressat per un nombre irracional, per això es continuen fent servir les voltes i els sistemes dels graus sexagesimals o centesimals. Totes les mesures angulars són adimensionals.
Graus
|
30
|
45
|
60
|
90
|
120
|
180
|
270
|
360
|
radiants
|
|
|
|
|
|
|
|
|
Graus centesimals
|
33 ⅓
|
50
|
66 ⅔
|
100
|
133 ⅓
|
200
|
300
|
400
|
Voltes
|
1/12
|
1/8
|
2/12
|
1/4
|
1/3
|
1/2
|
3/4
|
1
|
Relacions bàsiques[modifica]
Identitat trigonomètrica pitagòrica
|
[1]
|
Identitat del quocient
|
[1]
|
A partir d'aquestes dues identitats, es pot obtenir la següent taula. Fixeu-vos, però, que aquestes equacions de conversió no poden donar el signe correcte sign (+ o −). Per exemple, si sin θ = 1/2, la taula indica que
, però pot ser que
. Cal més informació respecte a quin quadrant pertany θ per a determinar el signe.
Cada una de les funcions trigonomètriques expressada en funció de cada una de les altres cinc.
Funció
|
sin
|
cos
|
tan
|
csc
|
sec
|
cot
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Funcions arcaiques[modifica]
Encara que avui en dia es fan servir rarament, el versinus, el coversinus, el semiversinus, i l'exsecant es poden definir tal com es presenta en la següent taula i s'han fet servir en navegació, per exemple la fórmula del Haversine es feia servir per a calcular la distància entre dos punts situats sobre una esfera.
Nom
|
Valor
|
|
|
|
|
|
|
|
|
Simetries, desplaçaments i periodicitat[modifica]
Examinant la circumferència goniomètrica es poden establir les següents propietats de les funcions trigonomètriques.
Quan les funcions trigonomètriques es reflecteixen respecte als eixos que formen certs angles
, el resultat és sovint una altra de les funcions trigonomètriques. Això porta a les següents identitats:
Reflexió respecte l'eix
|
Reflexió respecte l'eix
|
Reflexió respecte l'eix
|
|
|
|
Desplaçaments i periodicitat[modifica]
Desplaçant l'argument de la funció certs angles, sovint es poden trobar altres funcions trigonomètriques que expressen el resultat de forma més senzilla. A la següent taula es presenten alguns exemples a base de desplaçar els arguments angles de π/2, π i 2π radiants. Com que els períodes d'aquestes funcions són o bé π o bé 2π, hi ha casos on les noves funcions són exactament les mateixes que les antigues abans del desplaçament.
Desplaçament de π/2
|
Desplaçament de π Període de la tan i la cot
|
Desplaçament de 2π Període del sin, del cos, la csc i la sec
|
|
|
|
Identitats de la suma i diferència d'angles[modifica]
Sinus i cosinus de la suma d'infinits termes[modifica]


En aquestes dues identitats apareix una asimetria que no surt en els cas de la suma d'una quantitat finita de termes: en cada producte, només hi ha una quantitat finita de factors sinus i una quantitat cofinita de factors cosinus.
Si només hi ha una quantitat finita de termes θi diferents de zero, llavors només una quantitat finita dels termes de la dreta seran diferents de zero perquè els factors sinus s'anul·laran, i a cada terme, tots els factors cosinus tret d'una quantitat finita valdran 1..
Tangents de sumes d'una quantitat finita de termes[modifica]
Sia xi = tan(θi ), per i = 1, ..., n. Sia ek el polinomi simètric elemental en les variables xi, i = 1, ..., n, k = 0, ..., n. Llavors

El nombre de termes depèn de n.
Per exemple,

I així. El cas general es pot demostrar per inducció.
Fórmules de l'angle múltiple[modifica]
Tn és l'n-èsim polinomi de Txebixov
|
[3]
|
Sn és l'n-èsim polinomi d'obertura
|
|
Fórmula de De Moivre, és la unitat imaginària
|
|

(Aquesta funció de x és el nucli de Dirichlet.)
Fórmules de l'angle doble, triple i meitat[modifica]
Aquestes expressions es poden demostrar fent servir ja sigui les identitats de la suma i de la diferència o bé amb les identitats de l'angle múltiple.
Fórmules de l'angle doble[4]
|
|
|
|
|
Fórmules de l'angle triple[3]
|
|
|
|
|
Fórmules de l'angle meitat[5]
|
|
|
|
|
Vegeu també fórmula de la tangent de l'angle meitat.
En general:


es pot escriure emprant la relació recurrent:

Producte infinit d'Euler[modifica]

Fórmules de reducció de potències[modifica]
S'obtenen resolent les versions segona i tercera de la fórmula del cosinus de l'angle doble.
Sinus
|
|
|
|
|
Cosinus
|
|
|
|
|
Altre
|
|
|
|
|
Fórmules de Simpson[modifica]
Transformació de productes en sumes
|
|
|
|
|
Transformació de sumes en productes
|
|
|
|
|
|
Altres identitats relacionades[modifica]
Si x, y, i z són els tres angles d'un triangle qualsevol, o en altres paraules


(Si qualsevol dels angles x, y, z és un angle recte, ha d'adoptar els dos cantons de l'∞. És a di, ni +∞ ni −∞; pels objectius actuals, té sentit afegir només un punt a l'infinit de la línia real, és a dir el límit de la tan(θ) tant a mesura que la tan(θ) creix amb valors positius com quant disminueix amb valors negatius. Això és una compactació d'Alexandroff de la recta real.)


Teorema de Ptolemeu[modifica]


(Les tres primeres igualtats són trivials; la quarta és la substància d'aquesta identitat.) Essencialment és el teorema de Ptolemeu adaptat al llenguatge de la trigonometria.
Combinacions lineals[modifica]
Per algunes aplicacions és important saber que qualsevol combinació lineal d'ones sinusoidal del mateix període però de diferent fase és també una ona sinusoidal amb el pateix període però amb una altra fase diferent. En el cas de una combinació lineal d'ones sinusoidals i cosinusoidals, es té

on

De forma més general, per a qualsevol desplaçament de fase, es té

on

i

Altres sumes de funcions trigonomètriques[modifica]
Sumes de sinus i de cosinus am arguments en progressió aritmètica:


Per a qualsevol a i b:

on arctan(y, x) és la generalització de l'arctan(y/x) que cobreix el recorregut circular complet.

És convenient conèixer la identitat de més amunt, en estudiar la funció Gudermanniana.
Si x, y, i z són els tres angles d'un triangle, és a dir, si x + y + z = π, llavors

Inverses de les funcions trigonomètriques[modifica]



Composicions de funcions trigonomètriques amb inverses de funcions trigonomètriques[modifica]
![{\displaystyle \sin[\arccos(x)]={\sqrt {1-x^{2}}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89020e4173e7c25657019ade3629e832bb572ff7)
![{\displaystyle \sin[\arctan(x)]={\frac {x}{\sqrt {1+x^{2}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d3ed8cedb4c73b01b65314a15152647c9000086)
![{\displaystyle \cos[\arctan(x)]={\frac {1}{\sqrt {1+x^{2}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2e67d269ac585855446bba315fc260582bc38be)
![{\displaystyle \cos[\arcsin(x)]={\sqrt {1-x^{2}}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6123652c97881e3910234616ea5ee831deae4a73)
|
![{\displaystyle \tan[\arcsin(x)]={\frac {x}{\sqrt {1-x^{2}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35f9ce679263ce5306237e3342d22abeb3d9d346)
![{\displaystyle \tan[\arccos(x)]={\frac {\sqrt {1-x^{2}}}{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22e131c5707de0e5ab51c45a4c518f8b137ffb99)
![{\displaystyle \cot[\arcsin(x)]={\frac {\sqrt {1-x^{2}}}{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03accb0c26aee5933b8bab9603a6d213c5a9b196)
![{\displaystyle \cot[\arccos(x)]={\frac {x}{\sqrt {1-x^{2}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b3fb51eba767321e7afcc50e38aa936d845c0af)
|
Relació amb la funció exponencial inversa[modifica]
(Fórmula d'Euler),




on i² = −1.
De vegades es troba aquesta notació

És a dir "cis" és una forma d'abreujar "cos + i sin".
Tot i que a primer cop d'ull aquesta notació és redundant, perquè és equivalent a eix, és seu ús es basa en diversos avantatges.
Aquesta notació era més habitual quant es feien servir màquines d'escriure per a escriure expressions matemàtiques.
Els superíndexs estan desplaçats verticalment i són més petits que 'cis' o 'exp'; per tant, poden ser problemàtics fins i tot en l'escriptura manual. Per exemple e ix² versus cis( x²) versus exp( ix²). Per a molts lectors, cis( x²) és el més clar, el més fàcil de llegir dels tres.
La notació cis de vegades es fa servir per a emfatitzar una forma de veure i de tractar amb un problema sobre una altra forma. Les matemàtiques de la trigonometria i dels exponencials estan relacionades però no són exactament el mateix; la notació exponencial emfatitza el conjunt, mentre que les notacions cis i cos + i sin emfatitzen les parts. Això pot ser útil des del punt de vista retòric als matemàtics i als enginyers quan quant discuteixen aquesta funció, i més endavant serveix com un mnemotècnic (per recordar cos + i sin).
La notació cis és convenient per als estudiants de matemàtiques que tenen uns coneixements de trigonometria i de nombres complexos suficient per a permetre aquesta notació, però que encara no entenen els conceptes necessaris per a admetre la notació e ix. A mesura que els estudiants aprenen conceptes que construeixen sobre els coneixements previs, és important no forçar-los a emprar nivells de matemàtiques per als quals encara no estan preparats: la demostració de què cis(x) = eix requereix càlcul, i l'estudiant pot ser que no hagi estudiat prèviament a haver torbat l'expressió cos(x) + i sin(x).
En alguns contextos, la notació cis pot servir per a l'objectiu pedagògic d'emfatitzar que encara no s'ha demostrat que és una funció exponencial. En estudiar la trigonometria sense els nombres complexos, es poden demostrar les dues identitats


De forma similar en estudiar la multiplicació de nombres complexos (sense implicacions de la trigonometria), es pot observar que les parts real i imaginària del producte de c1 + is1 i c2 + is2 són respectivament


Així es veu que sorgeix el mateix patró en dos contexts dispars:
- trigonometria sense nombres complexos, i
- nombres complexos sense trigonometria.
Aquesta coincidència pot servir com a motivació per a conjuntar els dos contextos i descobrir la identitat trigonomètrica

I observar que aquesta identitat per a la funció cis d'una suma és mes senzilla que les identitats del sinus i el cosinus de la suma d'angles. Un cop s'ha demostrat aquesta identitat, es pot reptar als estudiants a recordar quina mena de funcions que els hi són familiars satisfan la mateixa equació funcional

La resposta és les funcions exponencials. Això suggereix que cis pot ser una funció exponencial

Llavors la qüestió és: quina és la base b? La definició de cis i el comportament local del sinus i del cosinus a prop de zero suggereix que

(on dx és un increment infinitesimal de x). Així la velocitat de canvi a 0 és i, per tant la base ha de ser ei. Per tant, si aquesta és una funció exponencial, llavors ha de ser

Fórmula del producte infinit[modifica]
Per aplicacions a funcions especials, els següents productes infinits de funcions trigonomètriques són útils:



|


|
La funció Gudermanniana[modifica]
La funció Gudermanniana relaciona les funcions trigonomètriques circulars i les funcions trigonomètriques hiperbòliques sense recórrer als nombres complexos; vegeu l'article per a més detalls.
Identitats sense variables[modifica]
La llei de Morrie

És un cas especial d'una identitat que conté una variable:

Una identitat amb un aspecte semblant és

I en addició

La següent potser no és tan clarament generalitzada a una identitat que contingui variables:

Les mesures en graus deixen de ser més oportunes que en radiants quant es considera la següent identitat amb 21 als denominadors:

Els factors 1, 2, 4, 5, 8, 10 poden comença a aclarir el patró: són els enters més petits de 21/2 que són primers entre si amb (o no tenen cap factor primer en comú amb) 21. Els últims exemples són corol·laris d'un fet basic referent als polinomis ciclotomics: els cosinus són les parts reals dels zeros d'aquests polinomis; la suma dels zeros és la funció de Möbius avaluada a (per a l'últim dels casos de més amunt) 21; només la meitat dels zeros són presents més amunt. Les dues identitats precedents a l'última sorgeixen de la mateixa forma substituint 21 per 10 i 15 respectivament.
Una forma eficient de calcular el nombre pi es basa en la següent identitat sense variables, deguda a John Machin:

o, alternativament, emprant la fórmula d'Euler:




Amb la secció àuria φ:


Vegeu també constants trigonomètriques exactes.
Càlcul infinitesimal[modifica]
En càlcul les relacions que s'estableixen tot seguit requereixen que els angles s'expressin en radiants. Si les funcions trigonomètriques es defineixen sobre la base del triangle rectangle, les seves derivades es poden trobar verificant dos límits. El primer és:

El segon és:

La resta de les funcions trigonomètriques es poden derivar emprant les identitats anteriors i les regles de derivació:
[6]
Les identitats per a la integral es poden trobar a "Llista d'integrals de funcions trigonomètriques".
El fet que de la derivada de les funcions trigonomètriques (sinus i cosinus) en resulti una combinació lineal de les mateixes dues funcions és d'importància fonamental en molts camps de la matemàtica, incloent les equacions diferencials i les transformades de Fourier.
Definicions exponencials[modifica]
Funció
|
Funció inversa
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Nucli de Dirichlet[modifica]
El nucli de Dirichlet Dn(x) és la funció que apareix als dos cantons de la següent identitat:

La convolució de qualsevol funció integrable de període 2π amb el nucli de Dirichlet coincideix amb l'aproximació en sèrie de Fourier de la funció de grau n. El mateix es compleix amb qualsevol mesura o distribució (matemàtiques)distribució.
Extensió de les fórmules de l'angle meitat[modifica]
Si s'estableix

llavors
|
|
i |
|
i |
|
on eix és el mateix que cis(x).
Aquesta substitució de t per tan(x/2), amb la consegüent substitució de sin(x) per 2t/(1 + t²) i cos(x) per (1 − t²)/(1 + t²) és útil en càlcul per a transformar funcions racionals en sin(x) i cos(x) en funcions de t amb l'objectiu de trobar les seves primitives. Per a més informació vegeu fórmula de l'angle meitat de la tangent.
- ↑ 1,0 1,1 Weisstein, Eric W., «Trigonometry» a MathWorld (en anglès).
- ↑ 2,0 2,1 2,2 Weisstein, Eric W., «Trigonometric Addition Formulas» a MathWorld (en anglès).
- ↑ 3,0 3,1 Weisstein, Eric W., «Multiple-Angle Formulas» a MathWorld (en anglès).
- ↑ Weisstein, Eric W., «Double-Angle Formulas» a MathWorld (en anglès).
- ↑ Weisstein, Eric W., «Half-Angle Formulas» a MathWorld (en anglès).
- ↑ Finney, Ross. Calculus : Graphical, Numerical, Algebraic. Glenview, Illinois: Prentice Hall, 2003, p. 159-161. ISBN 0-13-063131-0.