# Identidade trigonométrica

Identidade trigonométrica é uma identidade que envolve funções trigonométricas, sendo, pois, verdadeira para todos os valores das variáveis envolvidas. Com efeito, ela é útil sempre que expressões que contêm expressões trigonométricas devam ser simplificadas, ou, doutra sorte, substituídas com o propósito de conseguir uma nova transformação, mais útil para dada aplicação. Uma importante aplicação, exemplo notável da técnica de substituição, é a integração de funções não-trigonométricas: um recurso comum envolve primeiro usar a integração por substituição com uma função trigonométrica e então simplificar a integral resultante com uma identidade trigonométrica.

## Notação
### Ângulos

Ângulos são entidades geométricas definidas em geometria euclidiana plana ou tridimensional, podendo ser estendidos para geometrias não-euclidianas. Um ângulo, plano ou não, é caracterizado por sua abertura, e essa abertura pode ser medida. Embora sejam entidades distintas, sob o rigor lógico-matemático, costuma-se, por simplicidade de nomenclatura e notação (e de sentenças pertinentes), empregar o termo "ângulo" por "medida de ângulo", sempre que não houver comprometimento de ideias.
É usual utilizar letras gregas como alfa (α), beta (β), theta (θ) e phi (φ), ou letras latinas iniciais, como "a", "b", "c" etc., ou medianas ("m", "n", "p" etc.), para representar medidas de ângulos, que sejam conhecidos por generalidade e por princípio (a priori). Contudo, quando expressões matemáticas, que são sentenças lógico-matemáticas, envolverem medidas de ângulo como quantidades variáveis (variáveis matemáticas), devem-se preferir "x", "y", "z" etc., conforme convenção para variáveis. Assim, ao se escreverem expressões que representam relações, funções, igualdades, identidades ou equações com um ou mais argumento variável, os símbolos convencionais adequados a essa aplicação ("x", "y", "z" etc.) devem-se utilizar.
Várias unidades de ângulo são largamente utilizadas, incluindo grau, radiano e grado, além de reto, correspondente à medida de um ângulo reto:
   * 1 volta completa = 360 graus = 2$\pi$ radianos = 400 grados = 4 retos.
A tabela a seguir mostra as conversões para alguns ângulos comuns:
| Graus | 30° | 60° | 120° | 150° | 210° | 240° | 300° | 330° |
| Radianos | ${\frac {\pi }{6}}$ | ${\frac {\pi }{3}}$ | ${\frac {2\pi }{3}}$ | ${\frac {5\pi }{6}}$ | ${\frac {7\pi }{6}}$ | ${\frac {4\pi }{3}}$ | ${\frac {5\pi }{3}}$ | ${\frac {11\pi }{6}}$ |
| Grados | 33⅓ grados | 66⅔ grados | 133⅓ grados | 166⅔ grados | 233⅓ grados | 266⅔ grados | 333⅓ grados | 366⅔ grados |
| Graus | 45° | 90° | 135° | 180° | 225° | 270° | 315° | 360° |
| Radianos | ${\frac {\pi }{4}}$ | ${\frac {\pi }{2}}$ | ${\frac {3\pi }{4}}$ | $\pi$ | ${\frac {5\pi }{4}}$ | ${\frac {3\pi }{2}}$ | ${\frac {7\pi }{4}}$ | $2\pi$ |
| Grados | 50 grados | 100 grados | 150 grados | 200 grados | 250 grados | 300 grados | 350 grados | 400 grados |

### Funções trigonométricas

As funções trigonométricas básicas são o seno e o cosseno de um ângulo, justamente porque se pode escrever qualquer outra função trigonométrica a partir das funções seno e cosseno. A notação utilizada para essas funções é $\operatorname {sen} \left(\theta \right)$ e $\cos \left(\theta \right)$, respectivamente, onde $\theta$ é o ângulo. Todavia as parênteses podem ser omitidas, ficando da seguinte forma: $\operatorname {sen} \theta$ e$\cos \theta$.
A função tangente (escreve-se "${\text{tan}}\ \theta$" ou "${\text{tg}}\ \theta$" ) de um ângulo é a razão entre seno e o cosseno do mesmo ângulo:
$\tan \theta ={\frac {\operatorname {sen} \theta }{\cos \theta }}$.
Finalmente, as funções trigonométricas de razão recíproca, secante ($\sec$), cossecante ($\csc$) e cotangente ($\cot$), das funções cosseno, seno e tangente, respectivamente:
* $\cot \theta ={\frac {1}{\tan \theta }}={\frac {\cos \theta }{\operatorname {sen} \theta }}$;
* $\sec \theta ={\frac {1}{\cos \theta }}$;
* $\csc \theta ={\frac {1}{\operatorname {sen} \theta }}$.

## Funções inversas

As funções trigonométricas inversas são funções inversas parciais. Por exemplo a função inversa de seno é a função arco seno, denotada por ${\text{arcsen}}$ ou por $\operatorname {sen} ^{-1}$ (essa ultima notação é pouco utilizada, pois costuma gerar confusão entre a função arcoseno e cossecante). Essas funções são utilizadas quando temos uma relação trigonométrica conhecida e deseja-se descobrir o ângulo que resulta em tal relação.
Por exemplo: sabendo-se que o $\operatorname {sen} 60^{\circ }=\operatorname {sen} \left({\frac {\pi }{3}}\right)={\frac {\sqrt {3}}{2}}$, podemos dizer que ${\text{arcsen}}\left({\frac {\sqrt {3}}{2}}\right)={\frac {\pi }{3}}$.
Assim observa-se que, para essas funções, deve valer:$\operatorname {sen}(\operatorname {arcsen} )=x\quad {\text{para}}\quad |x|\leq 1$e$\operatorname {arcsen} (\operatorname {sen} x)=x\quad {\text{para}}\quad |x|\leq \pi /2$A tabela a seguir mostra as funções trigonométricas e suas respectivas inversas:
| Função Trigonométrica | Seno | Cosseno | Tangente | Secante | Cossecante | Cotangente |
| Notação | $\operatorname {sen}$ | $\cos$ | $\tan$ | $\sec$ | $\csc$ | $\cot$ |
| Função Inversa | Arco seno | Arco cosseno | Arco tangente | Arco secante | Arco cossecante | Arco cotangente |
| Notação | ${\text{arcsen}}$ | ${\text{arccos}}$ | ${\text{arctan}}$ | $\operatorname {arcsec}$ | ${\text{arccsc}}$ | ${\text{arccot}}$ |

## Identidades pitagóricas

Existem diversas relações entre as funções trigonométricas. Essas relações são conhecidas como identidades trigonométricas ou identidades pitagóricas, justamente porque todas elas partem das relações estabelecidas pelo teorema de pitágoras.
A relação básica entre seno e cosseno é $\cos ^{2}\theta +\operatorname {sen} ^{2}\theta =1,$ conhecida como Identidade Trigonométrica Fundamental, pois é a mais básica identidade pitagórica.
Esta identidade pode ser deduzida através do Teorema de Pitágoras, o que será demonstrado adiante.
Também existem outras duas identidades: $\tan ^{2}\alpha +1=\sec ^{2}\alpha$ e $\tan ^{2}\alpha +1=\sec ^{2}\alpha ,$ que são corolários da identidade trigonométrica fundamental.
Assim, existem três identidades pitagóricas:
   * $\cos ^{2}\theta +\operatorname {sen} ^{2}\theta =1$
   * $\tan ^{2}\alpha +1=\sec ^{2}\alpha$
   * $\cot ^{2}\alpha +1=\csc ^{2}\alpha$
    Abaixo temos as demonstrações dessas identidades e, após, um quadro que relaciona todas as identidades à função trigonométrica que se deseja obter.

### Relação fundamental

Vamos demonstração a relação fundamental:
${\begin{aligned}\operatorname {sen} ^{2}\alpha +\cos ^{2}\alpha &=1\end{aligned}}$

#### Demonstração geométrica

Seja o triângulo retângulo ACH, com catetos ${\overline {AC}}$ e ${\overline {CH}}$ e hipotenusa ${\overline {AH}},$ observa-se, como já foi demonstrado anteriormente que: ${\overline {AC}}\,\!=\cos \alpha ,$ ${\overline {CH}}\,\!=\operatorname {sen} \alpha$ e ${\overline {AH}}\,\!=1.$
Aplicando o teorema de Pitágoras:
$({\overline {AC}})^{2}+({\overline {CH}})^{2}=({\overline {AH}})^{2}\Rightarrow (\cos \alpha )^{2}+(\operatorname {sen} \alpha )^{2}=1^{2}.$
Logo: ${\begin{aligned}\operatorname {sen} ^{2}\alpha +\cos ^{2}\alpha &=1\end{aligned}}.$

### Corolários
#### 1° Corolário

Vamos demonstrar o seguinte corolário:
$\tan ^{2}\alpha +1=\sec ^{2}\alpha$

##### Demonstração Geométrica

Seja o triângulo retângulo ADF, com catetos ${\overline {AD}}$ e ${\overline {DF}}$ e hipotenusa ${\overline {AF}},$ observa-se, como já foi demonstrado anteriormente que: ${\overline {AD}}\,\!=1,$ ${\overline {DF}}\,\!=\tan \alpha$ e ${\overline {AF}}\,\!=\sec \alpha .$
Aplicando o teorema de Pitágoras:
$({\overline {AD}})^{2}+({\overline {DF}})^{2}=({\overline {AF}})^{2}\Rightarrow 1^{2}+(\tan \alpha )^{2}=(\sec \alpha )^{2}.$
Logo: $\tan ^{2}\alpha +1=\sec ^{2}\alpha .$

##### Demonstração Algébrica

É possível demonstrar esse corolário através da relação fundamental dividindo todos os termos por $\cos ^{2}\alpha ,$ da seguinte forma:
${\begin{aligned}\operatorname {sen} ^{2}\alpha +\cos ^{2}\alpha &=1\rightarrow {\operatorname {sen} ^{2}\alpha \over \cos ^{2}\alpha }+{\cos ^{2}\alpha \over \cos ^{2}\alpha }={1 \over \cos ^{2}\alpha }\rightarrow \operatorname {tan} ^{2}\alpha +1=\operatorname {sec} ^{2}\alpha \end{aligned}}$

#### 2° Corolário

Vamos demonstrar o seguinte corolário:
$1+\cot ^{2}\alpha =\csc ^{2}\alpha$

##### Demonstração Geométrica

Seja o triângulo retângulo AEG, com catetos ${\overline {AE}}$ e ${\overline {EG}}$ e hipotenusa ${\overline {AG}},$ observa-se, como já foi demonstrado anteriormente que: ${\overline {AE}}\,\!=1,$ ${\overline {EG}}\,\!=\cot \alpha$ e ${\overline {AG}}\,\!=\csc \alpha .$
Aplicando o teorema de Pitágoras:
$({\overline {AE}})^{2}+({\overline {EG}})^{2}=({\overline {AG}})^{2}\Rightarrow 1^{2}+(\cot \alpha )^{2}=(\csc \alpha )^{2}.$
Logo: $1+\cot ^{2}\alpha =\csc ^{2}\alpha .$
Ou, comutativamente: $\cot ^{2}\alpha +1=\csc ^{2}\alpha .$

##### Demonstração Algébrica

É possível demonstrar esse corolário através da relação fundamental dividindo todos os termos por $\operatorname {sen} ^{2}\alpha ,$ da seguinte forma:
${\begin{aligned}\operatorname {sen} ^{2}\alpha +\cos ^{2}\alpha &=1\rightarrow {\operatorname {sen} ^{2}\alpha \over \operatorname {sen} ^{2}\alpha }+{\cos ^{2}\alpha \over \operatorname {sen} ^{2}\alpha }={1 \over \operatorname {sen} ^{2}\alpha }\rightarrow {1+\operatorname {cot} ^{2}\alpha }=\operatorname {csc} ^{2}\alpha \end{aligned}}$
Tendo em mente esses dois resultados podemos ainda demonstrar as seguintes relações:
${\begin{aligned}\cos ^{2}\alpha ={1 \over \sec ^{2}\alpha }\end{aligned}}$ e ${\begin{aligned}\sec ^{2}\alpha =\tan ^{2}\alpha +1\Rightarrow \cos ^{2}\alpha ={1 \over \tan ^{2}\alpha +1}\end{aligned}}$
${\begin{aligned}{\operatorname {sen} ^{2}\alpha =\operatorname {sen} ^{2}\alpha }\rightarrow \operatorname {sen} ^{2}\alpha =sen^{2}\alpha .{\cos ^{2}\alpha \over \cos ^{2}\alpha }=\cos ^{2}\alpha .\tan ^{2}\alpha =\tan ^{2}\alpha .{1 \over {tan^{2}\alpha +1}}\Rightarrow \operatorname {sen} ^{2}\alpha ={\tan ^{2}\alpha \over {\tan ^{2}\alpha +1}}\end{aligned}}$
Lista de relações entre funções trigonométricas. :
| relacionado a | $\operatorname {sen} \theta$ | $\cos \theta$ | $\tan \theta$ | $\csc \theta$ | $\sec \theta$ | $\cot \theta$ |
| $\operatorname {sen} \theta =$ | $\operatorname {sen} \theta$ | $\pm {\sqrt {1-\cos ^{2}\theta }}$ | $\pm {\frac {\tan \theta }{\sqrt {1+\tan ^{2}\theta }}}$ | ${\frac {1}{\csc \theta }}$ | $\pm {\frac {\sqrt {\sec ^{2}\theta -1}}{\sec \theta }}$ | $\pm {\frac {1}{\sqrt {1+\cot ^{2}\theta }}}$ |
| $\cos \theta =$ | $\pm {\sqrt {1-\operatorname {sen} ^{2}\theta }}$ | $\cos \theta$ | $\pm {\frac {1}{\sqrt {1+\tan ^{2}\theta }}}$ | $\pm {\frac {\sqrt {\csc ^{2}\theta -1}}{\csc \theta }}$ | ${\frac {1}{\sec \theta }}$ | $\pm {\frac {\cot \theta }{\sqrt {1+\cot ^{2}\theta }}}$ |
| $\tan \theta =$ | $\pm {\frac {\operatorname {sen} \theta }{\sqrt {1-\operatorname {sen} ^{2}\theta }}}$ | $\pm {\frac {\sqrt {1-\cos ^{2}\theta }}{\cos \theta }}$ | $\tan \theta$ | $\pm {\frac {1}{\sqrt {\csc ^{2}\theta -1}}}$ | $\pm {\sqrt {\sec ^{2}\theta -1}}$ | ${\frac {1}{\cot \theta }}$ |
| $\csc \theta =$ | ${\frac {1}{\operatorname {sen} \theta }}$ | $\pm {\frac {1}{\sqrt {1-\cos ^{2}\theta }}}$ | $\pm {\frac {\sqrt {1+\tan ^{2}\theta }}{\tan \theta }}$ | $\csc \theta$ | $\pm {\frac {\sec \theta }{\sqrt {\sec ^{2}\theta -1}}}$ | $\pm {\sqrt {1+\cot ^{2}\theta }}$ |
| $\sec \theta =$ | $\pm {\frac {1}{\sqrt {1-\operatorname {sen} ^{2}\theta }}}$ | ${\frac {1}{\cos \theta }}$ | $\pm {\sqrt {1+\tan ^{2}\theta }}$ | $\pm {\frac {\csc \theta }{\sqrt {\csc ^{2}\theta -1}}}$ | $\sec \theta$ | $\pm {\frac {\sqrt {1+\cot ^{2}\theta }}{\cot \theta }}$ |
| $\cot \theta =$ | $\pm {\frac {\sqrt {1-\operatorname {sen} ^{2}\theta }}{\operatorname {sen} \theta }}$ | $\pm {\frac {\cos \theta }{\sqrt {1-\cos ^{2}\theta }}}$ | ${\frac {1}{\tan \theta }}$ | $\pm {\sqrt {\csc ^{2}\theta -1}}$ | $\pm {\frac {1}{\sqrt {\sec ^{2}\theta -1}}}$ | $\cot \theta$ |

## Simetria

Na tabela a seguir temos as relações de simetria entre diferentes tipos de ângulos e suas funções trigonométricas e em seguida suas devidas explicações e demonstrações.
| Ângulos replementares | Ângulos complementares | Ângulos suplementares |
| ${\begin{aligned}\operatorname {sen}(-\theta )&=-\operatorname {sen} \theta \\\cos(-\theta )&=+\cos \theta \\\tan(-\theta )&=-\tan \theta \\\csc(-\theta )&=-\csc \theta \\\sec(-\theta )&=+\sec \theta \\\cot(-\theta )&=-\cot \theta \end{aligned}}$ | ${\begin{aligned}\operatorname {sen}({\tfrac {\pi }{2}}-\theta )&=+\cos \theta \\\cos({\tfrac {\pi }{2}}-\theta )&=+\operatorname {sen} \theta \\\tan({\tfrac {\pi }{2}}-\theta )&=+\cot \theta \\\csc({\tfrac {\pi }{2}}-\theta )&=+\sec \theta \\\sec({\tfrac {\pi }{2}}-\theta )&=+\csc \theta \\\cot({\tfrac {\pi }{2}}-\theta )&=+\tan \theta \end{aligned}}$ | ${\begin{aligned}\operatorname {sen}(\pi -\theta )&=+\operatorname {sen} \theta \\\cos(\pi -\theta )&=-\cos \theta \\\tan(\pi -\theta )&=-\tan \theta \\\csc(\pi -\theta )&=+\csc \theta \\\sec(\pi -\theta )&=-\sec \theta \\\cot(\pi -\theta )&=-\cot \theta \\\end{aligned}}$ |

### Simetria entre ângulos replementares

Chamamos de ângulo replementar o ângulo que, somado a outro, resulta em $360^{\circ }$ ou $2\pi \ {\text{rad}}$.
A seguir temos as explicações dessas relações e ao lado temos as verificações geométricas.

#### Seno e cosseno de ângulos replementares

Para seno e cosseno de ângulos replementares temos as relações:
* $\operatorname {sen}(-\theta )=-\operatorname {sen} \theta$, ou seja,os senos de dois ângulos replementares são iguais, porém com sinais opostos;
* $\cos(-\theta )=+\cos \theta$, ou seja, os cossenos de dois ângulos replementares são iguais.
Na figura ao lado temos a verificação geométrica dessas propriedades e a abaixo as demonstrações.

##### Demonstração geométrica

A demonstração de $\cos(-\theta )=+\cos \theta$ é trivial, pois ambos são coincidentes (ambos são o mesmo segmento) o que pode ser observado na figura ao lado.
Para demonstrar que $\operatorname {sen}(-\theta )=-\operatorname {sen} \theta$ partiremos de congruência de triângulos.
Seja os ângulos $\theta$ e $-\theta$ no ciclo trigonométrico unitário, conforme vemos na figura ao lado, temos:
$\Delta {ABD}\equiv \Delta {ADC}\qquad \left(LAL\right)\qquad \Longrightarrow {\overline {AE}}\equiv {\overline {AF}}$
Com base nisso e sabendo que ${\overline {AF}}=\operatorname {sen} \left(-\theta \right)$ teríamos que $\operatorname {sen} \left(-\theta \right)=\operatorname {sen} \theta$, uma vez que ${\overline {AE}}=\operatorname {sen} \theta$.
Porém, pela definição de seno no ciclo trigonométrico temos que $\operatorname {sen} \left(-\theta \right)=-\operatorname {sen} \theta$, uma vez que o seno no 3° e no 4° quadrante são negativos.
Logo temos que $\operatorname {sen} \left(-\theta \right)=-\operatorname {sen} \theta$ e $\cos(-\theta )=+\cos \theta$.

#### Tangente de ângulos replementares

Para a tangente de ângulos replementares temos a relação:
* $\tan \left(-\theta \right)=-\tan \theta$, ou seja, as tangentes de dois ângulos replementares são iguais, porém com sinais opostos.
Na figura ao lado temos a verificação geométrica dessa propriedade e abaixo temos a demonstração algébrica.

##### Demonstração algébrica

Para demonstrar que $\tan \left(-\theta \right)=-\tan \theta$, partiremos da relação entre seno e cosseno.
Temos, pela definição de tangente, que a tangente de um ângulo é a razão entre o seno e cosseno do mesmo ângulo.
Assim, temos que:
$\tan \left(-\theta \right)={\frac {\operatorname {sen} \left(-\theta \right)}{\cos \left(-\theta \right)}}={\frac {-\operatorname {sen} \theta }{+\cos \theta }}=-\tan \theta$
Logo $\tan \left(-\theta \right)=-\tan \theta$.

#### Cossecante e secante de ângulos replementares

Para a cossecante e secante de ângulos replementares temos as relações:
* $\csc(-\theta )=-\csc \theta$, ou seja, as cossecantes de dois ângulos replementares são iguais, porém com sinais opostos;
* $\sec(-\theta )=+\sec \theta$, ou seja, as secantes de dois ângulos replementares são iguais.
Na figura ao lado temos a verificação geométrica dessas propriedades abaixo temos as demonstrações algébricas.

##### Cossecante de ângulos replementares

Para demonstrar que $\csc(-\theta )=-\csc \theta$, partiremos da relação de simetria do seno.
Temos, pela definição de cossecante, que a cossecante de um ângulo é o inverso multiplicativo do seno do mesmo ângulo.
Assim, temos que:
$\csc \left(-\theta \right)={\frac {1}{\operatorname {sen} \left(-\theta \right)}}={\frac {1}{-\operatorname {sen} \theta }}=-\csc \theta$
Logo $\csc(-\theta )=-\csc \theta$.

##### Secante de ângulos replementares

Para demonstrar que $\sec(-\theta )=+\sec \theta$, partiremos da relação de simetria do cosseno.
Temos, pela definição de secante, que a secante de um ângulo é o inverso multiplicativo do cosseno do mesmo ângulo.
Assim, temos que:
$\sec \left(-\theta \right)={\frac {1}{\cos \left(-\theta \right)}}={\frac {1}{+\cos \theta }}=+\sec \theta$.
Logo $\sec(-\theta )=+\sec \theta$.

#### Cotangente de ângulos replementares

Para a cotangente de ângulos replementares temos a relação:
* $\cot \left(-\theta \right)=-\cot \theta$, ou seja, as cotangentes de dois ângulos replementares são iguais, porém com sinais opostos.
Na figura ao lado temos a verificação geométrica dessa propriedade e abaixo temos a demonstração algébrica.

##### Demonstração algébrica

Para demonstrar que $\cot \left(-\theta \right)=-\cot \theta$ é possível partir da relação de simetria entre tangente ou da relação de simetria entre seno e cosseno.
Utilizaremos aqui relação de simetria entre tangente.
Temos, pela definição de cotangente, que a cotangente de um ângulo é o inverso multiplicativo da tangente do mesmo ângulo.
Assim, temos que:
$\cot \left(-\theta \right)={\frac {1}{\tan \left(-\theta \right)}}={\frac {1}{-\tan \theta }}=-\cot \theta$.
Logo $\cot \left(-\theta \right)=-\cot \theta$.

### Simetria entre ângulos complementares

Chamamos o ângulo complementar um ângulo que, quando somado a outro, resulta em $90^{\circ }$ ou ${\frac {\pi }{2}}\ {\text{rad}}$.
A seguir temos as explicações e demonstrações dessas relações e suas verificações geométricas.

#### Seno e cosseno de ângulos complementares

Para seno e cosseno de ângulos complementares temos as seguintes relações:
$\operatorname {sen} \left({\frac {\pi }{2}}-\theta \right)=\cos \theta$, ou seja, o cosseno de um ângulo é igual ao seno do seu complementar (ou vice-versa);
$\cos \left({\frac {\pi }{2}}-\theta \right)=\operatorname {sen} \theta$, ou seja, o seno de um ângulo é igual ao cosseno de seu complementar (ou vice versa).
Na figura ao lado temos a verificação geométrica dessa propriedade e abaixo temos suas demonstrações

##### Demonstração para ângulos agudos

Essa primeira demonstração se limita para ângulos agudos, pois utiliza a relação entre o seno e o cosseno dos ângulos não retos de um triângulo retângulo qualquer.
Para essa demonstração, então, utilizaremos o triângulo retângulo ao lado.
Nesse triângulo observamos que os ângulos não retos são complementares, pois a soma de todos os ângulos de um triângulo é $180^{\circ }$.
Assim, primeiramente, vamos analisar as relações trigonométricas relativas ao ângulo $\theta$ e, em seguida, analisar as relações trigonométricas relativas ao ângulos $90^{\circ }-\theta$:
$\operatorname {sen} \theta ={\frac {b}{a}}\qquad {\text{e}}\qquad \cos \theta ={\frac {c}{a}}$;
${\cos \left({\frac {\pi }{2}}-\theta \right)={\frac {b}{a}}}\qquad {\text{e}}\qquad {\operatorname {sen} \left({\frac {\pi }{2}}-\theta \right)={\frac {c}{a}}}$.
Assim, conforme observamos nas relações acima temos:
$\operatorname {sen} \theta ={\frac {b}{a}}=\cos \left({\frac {\pi }{2}}-\theta \right)\qquad \Longrightarrow \qquad {\cos \left({\frac {\pi }{2}}-\theta \right)=\operatorname {sen} \theta }$
e
$\cos \theta ={\frac {c}{a}}=\operatorname {sen} \left({\frac {\pi }{2}}-\theta \right)\qquad \Longrightarrow \qquad {\operatorname {sen} \left({\frac {\pi }{2}}-\theta \right)=\cos \theta }$.
Assim, demonstramos a relação de simetria entre seno e cosseno de ângulos agudos e complementares.

##### Demonstração no ciclo trigonométrico

Queremos demonstrar que $\operatorname {sen} \left({\frac {\pi }{2}}-\theta \right)=\cos \theta$ e $\cos \left({\frac {\pi }{2}}-\theta \right)=\operatorname {sen} \theta$ .
Para isso partiremos dos triângulo s $\triangle {\text{ADE}}$ e $\triangle {\text{ACB}}$.
Observe que nesses triângulos temos as seguintes relações:
$\triangle {\text{ADE}}\quad {\begin{cases}{\text{AD}}=1\\{\text{ED}}=\cos \left({\frac {\pi }{2}}-\theta \right)\\{\text{AE}}=\operatorname {sen} \left({\frac {\pi }{2}}-\theta \right)\\D{\hat {A}}E=\theta \\A{\hat {E}}D=90^{\circ }\end{cases}}$
e
$\triangle {\text{ACB}}\quad {\begin{cases}{\text{AB}}=1\\{\text{AC}}=\cos \theta \\{\text{BC}}=\operatorname {sen} \theta \\C{\hat {A}}B=\theta \\A{\hat {C}}B=90^{\circ }\end{cases}}$
Assim, com base nessas relações observamos que os dois triângulos são congruentes pelo caso de congruência lado, ângulo e ângulo oposto ao lado.:
${\text{AD}}\equiv {\text{AB}}\quad {\text{e}}\quad D{\hat {A}}E\equiv {C{\hat {A}}B}\quad {\text{e}}\quad A{\hat {E}}D\equiv {A{\hat {C}}B}\Rightarrow \quad \triangle {\text{ADE}}\equiv \triangle {\text{ACB}}\quad \left(LAA_{0}\right)\Longrightarrow {\begin{cases}{\text{ED}}\equiv {\text{BC}}\\{\text{AE}}\equiv {\text{AC}}\end{cases}}$
Nessa congruência de triângulos chegamos ás seguintes conclusões:
${\text{ED}}\equiv {\text{BC}}\Longleftrightarrow \cos \left({\frac {\pi }{2}}-\theta \right)=\operatorname {sen} \theta$
e
${\text{AE}}\equiv {\text{AC}}\Longleftrightarrow \operatorname {sen} \left({\frac {\pi }{2}}-\theta \right)=\cos \theta$.
Assim demonstramos a relação de de simetria entre seno e cosseno de ângulos complementares.

#### Tangente e cotangente de ângulos complementares

Para a relação de simetria entre tangente e cotangente de ângulos complementares temos as seguintes relações:
* $\tan \left({\frac {\pi }{2}}-\theta \right)=\cot \theta$, ou seja, a cotangente de um ângulo é igual a tangente de seu complementar;
* $\cot \left({\frac {\pi }{2}}-\theta \right)=\tan \theta$, ou seja, a tangente de um ângulo é igual a cotangente de seu complementar.
Na figura ao lado temos a verificação geométrica dessas relações e, em seguida, suas demonstrações.

##### Demonstração

Queremos demonstrar que $\tan \left({\frac {\pi }{2}}-\theta \right)=\cot \theta$ e que $\cot \left({\frac {\pi }{2}}-\theta \right)=\tan \theta$.
Para isso partiremos das definições de tangente e cotangente e das relações de simetria entre seno e cosseno de ângulos complementares.
Pela definição de tangente, temos que a tangente de um ângulo pode ser expressa pela razão entre o seno e cosseno do mesmo ângulo.
Dessa forma, temos:
$\tan \left({\frac {\pi }{2}}-\theta \right)={\frac {\operatorname {sen} \left({\frac {\pi }{2}}-\theta \right)}{\cos \left({\frac {\pi }{2}}-\theta \right)}}={\frac {\cos \theta }{\operatorname {sen} \theta }}=\cot \theta$, pois a cotangente de um ângulo é igual a razão entre o cosseno e o seno do mesmo ângulo.
Para demonstrarmos que $\cot \left({\frac {\pi }{2}}-\theta \right)=\tan \theta$ partiremos da definição de tangente como inverso multiplicativo da cotangente.
Assim, temos:
$\cot \left({\frac {\pi }{2}}-\theta \right)={\frac {1}{\tan \left({\frac {\pi }{2}}-\theta \right)}}={\frac {1}{\cot \theta }}=\tan \theta$.
Logo $\tan \left({\frac {\pi }{2}}-\theta \right)=\cot \theta$ e $\cot \left({\frac {\pi }{2}}-\theta \right)=\tan \theta$.

#### Secante e cossecante de ângulos complementares

Para a relação de simetria entre secante e cossecante de ângulos complementares temos as seguintes relações:
* $\sec \left({\frac {\pi }{2}}-\theta \right)=\csc \theta$, ou seja, a cossecante de um ângulo é igual a secante de seu complementar;
* $\csc \left({\frac {\pi }{2}}-\theta \right)=\sec \theta$, ou seja, a secante de um ângulo é igual a cossecante de seu complementar.
Na figura ao lado temos a verificação geométrica dessas relações e, em seguida, suas demonstrações.

##### Demonstração

Queremos demonstrar que $\sec \left({\frac {\pi }{2}}-\theta \right)=\csc \theta$ e que $\csc \left({\frac {\pi }{2}}-\theta \right)=\sec \theta$.
Para isso partiremos das definições de secante e cossecante como inversos multiplicativos do cosseno e do seno, respectivamente. Após isso aplicaremos as relações já demonstradas de seno e cosseno de ângulos complementares.
Assim temos:
$\left({\text{I}}\right)\qquad {\sec \left({\frac {\pi }{2}}-\theta \right)={\frac {1}{\cos \left({\frac {\pi }{2}}-\theta \right)}}={\frac {1}{\operatorname {sen} \theta }}=\csc \theta }$.
e
$\left({\text{II}}\right)\qquad {\csc \left({\frac {\pi }{2}}-\theta \right)}={\frac {1}{\operatorname {sen} \left({\frac {\pi }{2}}-\theta \right)}}={\frac {1}{\cos \theta }}=\sec \theta$.
Em $\left({\text{I}}\right)$ temos demonstrado a relação da secante de ângulos complementares e em $\left({\text{II}}\right)$ temos demonstrado a relação da cossecante de ângulos complementares.

### Simetria entre ângulos suplementares

Chamamos de ângulos suplementares dois ângulos que, somados, resultam em $180^{\circ }$ ou $\pi \ {\text{rad}}$.
A seguir temos as explicações dessas relações e suas respectivas demonstrações.

#### Simetria entre seno e cosseno de ângulos suplementares

Para a relação de simetria entre seno e cosseno de ângulos suplementares temos as seguintes relações:
* $\operatorname {sen} \left(\pi -\theta \right)=+\operatorname {sen} \theta$, que significa que o seno de um ângulo é igual ao seno de seu suplementar;
* $\cos \left(\pi -\theta \right)=-\cos \theta$, que significa que o cosseno de um ângulo é igual ao inverso aditivo do cosseno de seu complementar.
A seguir temos a demonstração para essas duas propriedades e suas verificações geométricas.

#### Demonstração

Queremos demonstrar que $\operatorname {sen} \left(\pi -\theta \right)=\operatorname {sen} \theta$ e $\cos \left(\pi -\theta \right)=-\cos \theta$.
Para isso partiremos dos triângulos $\triangle {\text{ABC}}$ e $\triangle {\text{ADE}}$ da figura ao lado.
Observe que, nesses triângulos, temos as seguintes relações:
$\triangle {\text{ABC}}\quad {\begin{cases}{\text{AB}}=1\\{\text{AC}}=\cos \theta \\{\text{CB}}=\operatorname {sen} \theta \\C{\hat {A}}B=\theta \\A{\hat {C}}B=90^{\circ }\end{cases}}$
e
$\triangle {\text{ADE}}\quad {\begin{cases}{\text{AD}}=1\\{\text{AE}}=\left|\cos \left(\pi -\theta \right)\right|\\{\text{ED}}=\operatorname {sen} \left(\pi -\theta \right)\\D{\hat {A}}E=\theta \\A{\hat {E}}D=90^{\circ }\end{cases}}$
Assim, com base nessas relações, percebemos que os triângulos são congruentes pelo caso de congruência lado, ângulo e ângulo oposto ao lado. Da seguinte forma:
${\text{AD}}\equiv {\text{AB}}\quad {\text{e}}\quad D{\hat {A}}E\equiv {C{\hat {A}}B}\quad {\text{e}}\quad A{\hat {E}}D\equiv {A{\hat {C}}B}\Rightarrow \quad \triangle {\text{ADE}}\equiv \triangle {\text{ACB}}\quad \left(LAA_{0}\right)\Longrightarrow {\begin{cases}{\text{ED}}\equiv {\text{CB}}\\{\text{AE}}\equiv {\text{AC}}\end{cases}}$
Logo, a partir dessa congruência de triângulos, temos as seguintes relações:
${\text{ED}}\equiv {\text{CB}}\Longleftrightarrow \operatorname {sen} \left(\pi -\theta \right)=\operatorname {sen} \theta$
e
${\text{AE}}\equiv {\text{AC}}\Longleftrightarrow \left|\cos \left(\pi -\theta \right)\right|=\cos \theta$.
Como $\pi -\theta$ é um ângulo obtuso e que possui imagem no segundo quadrante temos que $\cos \left(\pi -\theta \right)$ é negativo.
Assim, podemos dizer que $\cos \left(\pi -\theta \right)=-\cos \theta$.
Assim demonstramos a relação existente entre seno e cosseno de ângulos suplementares.

#### Simetria entre tangente e cotangente de ângulos suplementares

Para tangente e cotangente de ângulos suplementares temos as seguintes relações:
* $\tan \left(\pi -\theta \right)=-\tan \theta$, que significa que a tangente de um ângulo é igual ao inverso aditivo da tangente do seu suplementar;
* $\cot \left(\pi -\theta \right)=-\cot \theta$, que significa que a cotangente de um ângulo é igual ao inverso aditivo da cotangente do seu suplementar.
Abaixo temos as demonstrações dessas propriedades e suas verificações geométricas.

##### Demonstração algébrica

Para demonstrar essas relações partiremos das já demonstradas relações de simetria entre cosseno e seno de ângulo suplementares.
Assim, temos que $\operatorname {sen} \left(\pi -\theta \right)=\operatorname {sen} \theta$ e que $\cos \left(\pi -\theta \right)=-\cos \theta$.
Escrevendo a tangente como a razão entre seno e cosseno e utilizando estas relações temos o seguinte:
$\tan \left(\pi -\theta \right)={\frac {\operatorname {sen} \left(\pi -\theta \right)}{\cos \left(\pi -\theta \right)}}\Longleftrightarrow \tan \left(\pi -\theta \right)={\frac {\operatorname {sen} \theta }{-\cos \theta }}=-{\frac {\operatorname {sen} \theta }{\cos \theta }}\qquad \Longrightarrow \qquad \tan \left(\pi -\theta \right)=-\tan \theta$.
Logo a tangente de um ângulo é igual ao inverso aditivo da tangente do seu suplementar.
Tendo demonstrado essa relação para a tangente fica fácil demonstrá-la para a cotangente, bastando para isso escrever a cotangente como inverso multiplicativo da tangente, da seguinte forma:
$\cot \left(\pi -\theta \right)={\frac {1}{\tan \left(\pi -\theta \right)}}={\frac {1}{-\tan \theta }}=-{\frac {1}{\tan \theta }}=-\cot \theta \qquad \Longrightarrow \qquad \cot \left(\pi -\theta \right)=-\cot \theta$.
Logo a cotangente de um ângulo é igual ao inverso aditivo da cotangente do seu suplementar.

#### Simetria entre secante e cossecante de ângulos suplementares

Para a secante e cossecante de ângulos suplementares temos as seguintes relações:
* $\sec \left(\pi -\theta \right)=-\sec \theta$, que significa que a secante de um ângulo é igual ao inverso aditivo da secante do seu suplementar;
* $\csc \left(\pi -\theta \right)=+\csc \theta$, que significa que a cossecante de um ângulo é igual à cossecante do seu suplementar.
Abaixo temos as demonstrações dessas propriedades e suas verificações geométricas.

##### Demonstração

Para demonstrar essas relações partiremos das relações de simetria entre seno e cosseno de ângulo suplementares.
Assim, temos:
$\sec \left(\pi -\theta \right)={\frac {1}{\cos \left(\pi -\theta \right)}}={\frac {1}{-\cos \theta }}=-\sec \theta \qquad \Longrightarrow \qquad \sec \left(\pi -\theta \right)=-\sec \theta$
e
$\csc \left(\pi -\theta \right)={\frac {1}{\operatorname {sen} \left(\pi -\theta \right)}}={\frac {1}{\operatorname {sen} \theta }}=\csc \theta \qquad \Longrightarrow \qquad \csc \left(\pi -\theta \right)=+\csc \theta$
Logo a secante de um ângulo é igual ao inverso aditivo da secante de seu suplementar e a cossecante de um ângulo é igual ao inverso aditivo da cossecante de seu suplementar.

## Translação e periodicidade

Trocando-se valores de certos ângulos, é possível obter equivalências entre as funções trigonométricas. Funções trigonométricas são periódicas, e portanto, valores específicos de ângulo para as funções trigonométricas denotam um mesmo valor.
| Adicionando-se π/2 | Adicionando-se π Período para tan e cot | Adicionando-se 2π Período para sen, cos, csc e sec |
| ${\begin{aligned}\operatorname {sen}(\theta +{\tfrac {\pi }{2}})&=+\cos \theta \\\cos(\theta +{\tfrac {\pi }{2}})&=-\operatorname {sen} \theta \\\tan(\theta +{\tfrac {\pi }{2}})&=-\cot \theta \\\csc(\theta +{\tfrac {\pi }{2}})&=+\sec \theta \\\sec(\theta +{\tfrac {\pi }{2}})&=-\csc \theta \\\cot(\theta +{\tfrac {\pi }{2}})&=-\tan \theta \end{aligned}}$ | ${\begin{aligned}\operatorname {sen}(\theta +\pi )&=-\operatorname {sen} \theta \\\cos(\theta +\pi )&=-\cos \theta \\\tan(\theta +\pi )&=+\tan \theta \\\csc(\theta +\pi )&=-\csc \theta \\\sec(\theta +\pi )&=-\sec \theta \\\cot(\theta +\pi )&=+\cot \theta \\\end{aligned}}$ | ${\begin{aligned}\operatorname {sen}(\theta +2\pi )&=+\operatorname {sen} \theta \\\cos(\theta +2\pi )&=+\cos \theta \\\tan(\theta +2\pi )&=+\tan \theta \\\csc(\theta +2\pi )&=+\csc \theta \\\sec(\theta +2\pi )&=+\sec \theta \\\cot(\theta +2\pi )&=+\cot \theta \end{aligned}}$ |

## Teoremas de adição

É possível deduzir fórmulas para calcular as funções trigonométricas da soma e da diferença de números reais, se conhecermos as funções circulares desses números.
A seguir há uma tabela que contém todas as fórmulas para adições e subtrações de arcos e, abaixo, suas demonstrações.
| Seno | $\operatorname {sen}(\alpha \pm \beta )=\operatorname {sen} \alpha \cos \beta \pm \cos \alpha \operatorname {sen} \beta$ |
| Cosseno | $\cos(\alpha \pm \beta )=\cos \alpha \cos \beta \mp \operatorname {sen} \alpha \operatorname {sen} \beta$ |
| Tangente | $\tan(\alpha \pm \beta )={\frac {\tan \alpha \pm \tan \beta }{1\mp \tan \alpha \tan \beta }}$ |
| Cotangente | $\cot(\alpha \pm \beta )={\frac {\cot \alpha .\cot \beta \mp 1}{\cot \beta \pm \cot \alpha }}$ |
| Arco seno | $\operatorname {arcsen} \alpha \pm \operatorname {arcsen} \beta =\operatorname {arcsen} (\alpha {\sqrt {1-\beta ^{2}}}\pm \beta {\sqrt {1-\alpha ^{2}}})$ |
| Arco coseno | $\arccos \alpha \pm \arccos \beta =\arccos(\alpha \beta \mp {\sqrt {(1-\alpha ^{2})(1-\beta ^{2})}})$ |
| Arco tangente | $\arctan \alpha \pm \arctan \beta =\arctan \left({\frac {\alpha \pm \beta }{1\mp \alpha \beta }}\right)$ |

### Demonstrações
#### Cosseno da Soma

Para descobrir o cosseno da soma de dois arcos (ou ângulos) segue a seguinte fórmula:$\cos({\text{a}}+{\text{b}})=\cos {\text{a}}.\cos {\text{b}}-\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}$
Demonstração:
Sejam os pontos ${\text{A}},$ ${\text{B}},$ ${\text{C}}$ da figura ao lado, associados aos arcos $a,$ $-b$ e $a+b,$ respectivamente. Assim, conforme já fora demonstrado, as coordenadas cartesianas dos pontos ${\text{A}},$ ${\text{B}},$ ${\text{C}}$ e ${\text{E}}$ são as seguintes:
${\text{A}}(\cos {\text{a}},\operatorname {sen} {\text{a}})$
${\text{B}}(\cos {\text{b}},-\operatorname {sen} {\text{b}})$
${\text{C}}(\cos({\text{a}}+{\text{b}}),\operatorname {sen}({\text{a}}+{\text{b}}))$
${\text{E}}(1,0).$
Observa-se, também, que os arcos que há entre os pontos A e B é igual ao arco que há entre o ponto E e C, o que faz com as respectivas cordas sejam iguais, logo: ${\overline {AB}}\,\!={\overline {EC}}.$
Aplicando a fórmula da distância entre dois pontos da geometria analítica, temos:
$({\overline {AB}})^{2}=[\cos {\text{a}}-\cos {\text{b}}]^{2}+[\operatorname {sen} {\text{a}}-(-\operatorname {sen} {\text{b}})]^{2}$ e $({\overline {EC}})^{2}=[\cos({\text{a}}+{\text{b}})-1]^{2}+[\operatorname {sen}({\text{a}}+{\text{b}})-0]^{2}.$
Simplificando a primeira relação, temos:
$({\overline {AB}})^{2}=\cos ^{2}{\text{a}}-2.\cos {\text{a}}.\cos {\text{b}}+\cos ^{2}{\text{b}}+\operatorname {sen} ^{2}{\text{a}}+2.\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}+\operatorname {sen} ^{2}{\text{b}}.$
Sabendo que $\operatorname {sen} ^{2}{\text{a}}+\cos ^{2}{\text{a}}=1,$ podemos reescrever:
$({\overline {AB}})^{2}=2-2.\cos {\text{a}}.\cos {\text{b}}+2.\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}.$
Simplificando a segunda relação, temos:
$({\overline {EC}})^{2}=\cos ^{2}({\text{a}}+{\text{b}})-2.\cos({\text{a}}+{\text{b}})+1+\operatorname {sen} ^{2}({\text{a}}+{\text{b}}).$
Sabendo que $\operatorname {sen} ^{2}({\text{a}}+{\text{b}})+\cos ^{2}({\text{a}}+{\text{b}})=1,$ podemos reescrever:
$({\overline {EC}})^{2}=2-2.\cos({\text{a}}+{\text{b}}).$
Por fim, sabendo que se ${\overline {AB}}\,\!={\overline {EC}},$ então $({\overline {AB}}\,\!)^{2}=({\overline {EC}})^{2};$ logo podemos igualar as duas relações da seguinte forma:
$2-2.\cos({\text{a}}+{\text{b}})=2-2.\cos {\text{a}}.\cos {\text{b}}+2.\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}$
Podemos, por fim isolar o cosseno da soma em um dos lados da igualdade:
$\cos({\text{a}}+{\text{b}})={\frac {-2.\cos {\text{a}}.\cos {\text{b}}+2.\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}+2-2}{-2}}\Rightarrow \cos({\text{a}}+{\text{b}})=\cos {\text{a}}.\cos {\text{b}}-\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}$ .

#### Cosseno da diferença:

De forma similar ao cosseno da soma, o cosseno da diferença pode ser expresso por:
$\cos({\text{a}}-{\text{b}})=\cos {\text{a}}.\cos {\text{b}}+\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}$
Demonstração:
Seja o cosseno da soma já demonstrado, podemos demonstrar o cosseno da diferença através de algebrismos simples:
$\cos({\text{a}}-{\text{b}})=\cos[{\text{a}}+(-{\text{b}})]$
Assim, aplicando-se a formula do cosseno da soma obtêm-se:
$\cos[{\text{a}}+(-{\text{b}})]=\cos {\text{a}}.\cos(-{\text{b}})-\operatorname {sen} {\text{a}}.\operatorname {sen}(-{\text{b}})$
De tal modo, sabendo que:
$\operatorname {sen}(-{\text{b}})=-\operatorname {sen} {\text{b}}$ e $\cos(-{\text{b}})=\cos {\text{b}}$
Podemos reescrever como:
$\cos({\text{a}}-{\text{b}})=\cos {\text{a}}.\cos {\text{b}}-\operatorname {sen} {\text{a}}.(-\operatorname {sen} {\text{b}})$
Logo:
$\cos({\text{a}}-{\text{b}})=\cos {\text{a}}.\cos {\text{b}}+\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}$

#### Seno da soma

Para descobrir o seno da soma entre dois arcos segue a seguinte fórmula:
$\operatorname {sen}({\text{a}}+{\text{b}})=\operatorname {sen} {\text{a}}.\cos {\text{b}}+\operatorname {sen} {\text{b}}.\cos {\text{a}}$
Demonstração:
Através das relações de simetria entre seno e cosseno, sabemos que:
$\operatorname {sen} {\text{x}}=\cos \left({\frac {\pi }{2}}-{\text{x}}\right)$ e $\cos {\text{x}}=\operatorname {sen} \left({\frac {\pi }{2}}-{\text{x}}\right)$
Assim, podemos escrever:
$\operatorname {sen}({\text{a}}+{\text{b}})=\cos \left[{\frac {\pi }{2}}-({\text{a}}+{\text{b}})\right]=\cos \left[({\frac {\pi }{2}}-{\text{a}})-{\text{b}}\right]$
Aplicando-se a já demonstrada fórmula do cosseno da diferença, temos:
$\cos \left[({\frac {\pi }{2}}-{\text{a}})-{\text{b}}\right]=\cos \left({\frac {\pi }{2}}-{\text{a}}\right).\cos {\text{b}}+\operatorname {sen} \left({\frac {\pi }{2}}-{\text{a}}\right).\operatorname {sen} {\text{b}}$
Portanto, aplicando novamente as relações de simetria, chegamos à formula:
$\operatorname {sen}({\text{a}}+{\text{b}})=\operatorname {sen} {\text{a}}.\cos {\text{b}}+\operatorname {sen} {\text{b}}.\cos {\text{a}}$

#### Seno da diferença

De forma similar ao seno da soma, o seno da diferença é expresso por:
$\operatorname {sen}({\text{a}}-{\text{b}})=\operatorname {sen} {\text{a}}.\cos {\text{b}}-\operatorname {sen} {\text{b}}.\cos {\text{a}}$
Demonstração:
Seja o seno da soma já demonstrado, é possível demonstrar o seno da diferença através de algebrismos simples:
$\operatorname {sen}({\text{a}}-{\text{b}})=\operatorname {sen}[{\text{a}}+(-{\text{b}})]$
Aplicando-se a fórmula do seno da soma temos:
$\operatorname {sen}[{\text{a}}+(-{\text{b}})]=\operatorname {sen} {\text{a}}.\cos(-{\text{b}})+\operatorname {sen}(-{\text{b}}).\cos {\text{a}}$
Tendo em mente que:
$\operatorname {sen}(-{\text{b}})=-\operatorname {sen} {\text{b}}$ e $\cos(-{\text{b}})=\cos {\text{b}}$
Podemos reescrever:
$\operatorname {sen}({\text{a}}-{\text{b}})=\operatorname {sen} {\text{a}}.(\cos {\text{b}})+(-\operatorname {sen} {\text{b}}).\cos {\text{a}}$
Logo:
$\operatorname {sen}({\text{a}}-{\text{b}})=\operatorname {sen} {\text{a}}.\cos {\text{b}}-\operatorname {sen} {\text{b}}.\cos {\text{a}}$

#### Tangente da Soma

Para obter a tangente da soma de dois arcos utiliza-se a seguinte fórmula:
$\tan({\text{a}}+{\text{b}})={\frac {\tan {\text{a}}+\tan {\text{b}}}{1-\tan {\text{a}}.\tan {\text{b}}}}$
Demonstração:
Seja $\tan {\text{x}}={\frac {\operatorname {sen} {\text{x}}}{\cos {\text{x}}}},$ podemos escrever:
$\tan({\text{a}}+{\text{b}})={\frac {\operatorname {sen}({\text{a}}+{\text{b}})}{\cos({\text{a}}+{\text{b}})}}$
Aplicando-se as fórmulas já demonstradas do seno e do cosseno da soma, temos que:
$\tan({\text{a}}+{\text{b}})={\frac {\operatorname {sen} {\text{a}}.\cos {\text{b}}+\operatorname {sen} {\text{b}}.\cos {\text{a}}}{\cos {\text{a}}.\cos {\text{b}}-\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}}}$
Podemos dividir o denominador e o numerador por $\cos {\text{a}}.\cos {\text{b}}$ de forma a reescrever a fórmula:
$\tan({\text{a}}+{\text{b}})={\frac {\frac {\operatorname {sen} {\text{a}}.\cos {\text{b}}+\operatorname {sen} {\text{b}}.\cos {\text{a}}}{\cos {\text{a}}.\cos {\text{b}}}}{\frac {\cos {\text{a}}.\cos {\text{b}}-\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}}{\cos {\text{a}}.\cos {\text{b}}}}}={\frac {{\frac {\operatorname {sen} {\text{a}}.\cos {\text{b}}}{\cos {\text{a}}.\cos {\text{b}}}}+{\frac {\operatorname {sen} {\text{b}}.\cos {\text{a}}}{\cos {\text{a}}.\cos {\text{b}}}}}{{\frac {\cos {\text{a}}.\cos {\text{b}}}{\cos {\text{a}}.\cos {\text{b}}}}-{\frac {\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}}{\cos {\text{a}}.\cos {\text{b}}}}}}$
Simplificando, temos:
$\tan({\text{a}}+{\text{b}})={\frac {1.\tan {\text{a}}+1.\tan {\text{b}}}{1-\tan {\text{a}}.\tan {\text{b}}}}$
Logo:
$\tan({\text{a}}+{\text{b}})={\frac {\tan {\text{a}}+\tan {\text{b}}}{1-\tan {\text{a}}.\tan {\text{b}}}}.$

#### Tangente da diferença

De forma análoga à tangente da soma, a tangente da diferença pode ser obtida através da fórmula:
$\tan({\text{a}}-{\text{b}})={\frac {\tan {\text{a}}-\tan {\text{b}}}{1+\tan {\text{a}}.\tan {\text{b}}}}$
Demonstração:
Sabendo que
$\tan({\text{a}}-{\text{b}})=\tan[{\text{a}}+(-{\text{b}})]$
Podemos aplicar a fórmula da tangente da soma do seguinte modo:
$\tan[{\text{a}}+(-{\text{b}})]={\frac {\tan {\text{a}}+\tan(-{\text{b}})}{1-\tan {\text{a}}.\tan(-{\text{b}})}}$
Tendo em mente que $\tan(-{\text{b}})=-\tan {\text{b}},$ podemos reescrever como:
$\tan({\text{a}}-{\text{b}})={\frac {\tan {\text{a}}+(-\tan {\text{b}})}{1-\tan {\text{a}}.(-\tan {\text{b}})}}$
Logo:
$\tan({\text{a}}-{\text{b}})={\frac {\tan {\text{a}}-\tan {\text{b}}}{1+\tan {\text{a}}.\tan {\text{b}}}}.$

#### Cotangente da soma

Para calcular a cotangente da soma de dois arcos utiliza-se a seguinte fórmula:
$\cot({\text{a}}+{\text{b}})={\frac {\cot {\text{a}}.\cot {\text{b}}-1}{\cot {\text{a}}+\cot {\text{b}}}}$
Demonstração:
Seja $\cot {\text{x}}={\frac {\cos {\text{x}}}{\operatorname {sen} {\text{x}}}},$ podemos escrever:
$\cot({\text{a}}+{\text{b}})={\frac {\cos({\text{a}}+{\text{b}})}{\operatorname {sen}({\text{a}}+{\text{b}})}}.$
Aplicando-se as fórmulas já demonstradas do cosseno e do seno da soma, temos:
$\cot({\text{a}}+{\text{b}})={\frac {\cos {\text{a}}.\cos {\text{b}}-\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}}{\operatorname {sen} {\text{a}}.\cos {\text{b}}+\operatorname {sen} {\text{b}}.\cos {\text{a}}}}$
Podemos dividir o numerador e o denominador por $\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}$ para reescrever a fórmula:
$\cot({\text{a}}+{\text{b}})={\frac {\frac {\cos {\text{a}}.\cos {\text{b}}-\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}}{\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}}}{\frac {\operatorname {sen} {\text{a}}.\cos {\text{b}}+\operatorname {sen} {\text{b}}.\cos {\text{a}}}{\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}}}}={\frac {{\frac {\cos {\text{a}}.\cos {\text{b}}}{\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}}}-{\frac {\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}}{\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}}}}{{\frac {\operatorname {sen} {\text{a}}.\cos {\text{b}}}{\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}}}+{\frac {\operatorname {sen} {\text{b}}.\cos {\text{a}}}{\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{b}}}}}}$
Simplificando:
$\cot({\text{a}}+{\text{b}})={\frac {\cot {\text{a}}.\cot {\text{b}}-1}{1.\cot {\text{b}}+1.\cot {\text{a}}}}$
Logo:
$\cot({\text{a}}+{\text{b}})={\frac {\cot {\text{a}}.\cot {\text{b}}-1}{\cot {\text{a}}+\cot {\text{b}}}}$

#### Cotangente da diferença

De forma análoga à cotangente da soma, pode-se calcular a cotangente da diferença entre dois arcos aplicando-se a seguinte fórmula:
$\cot({\text{a}}-{\text{b}})={\frac {\cot {\text{a}}.\cot {\text{b}}+1}{\cot {\text{b}}-\cot {\text{a}}}}$
Demonstração
Seja $\cot({\text{a}}-{\text{b}})=\cot[{\text{a}}+(-{\text{b}})],$ podemos aplicar a fórmula da cotangente da soma da seguinte maneira:
$\cot[{\text{a}}+(-{\text{b}})]={\frac {\cot {\text{a}}.\cot(-{\text{b}})-1}{\cot {\text{a}}+\cot(-{\text{b}})}}$
Sabendo que $\cot(-{\text{b}})=-\cot {\text{b}},$ podemos reescrever:
$\cot({\text{a}}-{\text{b}})={\frac {\cot {\text{a}}.(-\cot {\text{b}})-1}{\cot {\text{a}}+(-\cot {\text{b}})}}={\frac {-\cot {\text{a}}.\cot {\text{b}}-1}{\cot {\text{a}}-\cot {\text{b}}}}$
Logo:
$\cot({\text{a}}+{\text{b}})={\frac {\cot {\text{a}}.\cot {\text{b}}+1}{\cot {\text{b}}-\cot {\text{a}}}}$

## Função geral

A função geral é uma representação das funções trigonométricas criada a fim de simplificar e tornar mais intuitivas suas propriedades e relações. Ela é definida do seguinte modo: $V_{0}(\theta )=\cos(\theta )$ e $D_{\theta }^{n}V_{x}(\theta )=V_{n+x}(\theta )$, em que $D_{x}^{n}$ é a notação de Euler para diferenciação. Exemplificam-se as abaixo as representações tradicionais na forma generalizada :
* $V_{-2}(x)=-\cos(x)$
* $V_{-1}(x)=\operatorname {sen}(x)$
* $V_{0}(x)=\cos(x)$
* $V_{0,5}(x)=\cos(x-\pi /4)$
* $V_{1}(x)=-\operatorname {sen}(x)$
Detalhes de notação: $V_{a}=V_{a}(0)$

#### Propriedades

* Base par: $V_{p}(\theta )=V_{p}(-\theta )$
* Relação fundamental: se $a-b$ for um número ímpar, então $V_{a}^{2}(x)+V_{b}^{2}(x)=1$
* Base ímpar:$V_{i}(\theta )=-V_{i}(-\theta )$
* Mudança de Base: $V_{a}(\theta )=V_{b}\left(\theta +{\tfrac {a-b}{2}}\pi \right)$
* Periodicidade da base: $V_{a}(\theta )=(-1)^{k}V_{a+2k}(\theta ),k\in \mathbb {Z}$
* Periodicidade do arco: $V_{a}(\theta )=V_{a}(\theta +2k\pi ),k\in \mathbb {Z}$
* Extrusão de base: $V_{a}(\theta )=V_{0}\left(\theta +a{\frac {\pi }{2}}\right)$
* "Passar arco para o outro lado": $V_{\alpha }(x+a)=V_{\beta }(b)\implies V_{\alpha }(x)=V_{\beta }(b-\alpha )$

#### Transformação soma-produto

$V_{a}(x)+V_{b}(y)=2V_{\tfrac {a+b}{2}}\left({\tfrac {x+y}{2}}\right)V_{\tfrac {a-b}{2}}\left({\tfrac {x-y}{2}}\right)$
Exemplos:
* Soma de cossenos: ${\begin{cases}\cos(a)+\cos(b)&=&2\cos \left({\tfrac {a+b}{2}}\right)\cos \left({\tfrac {a-b}{2}}\right)\iff \\\iff V_{0}(a)+V_{0}(b)&=&2V_{\tfrac {0+0}{2}}\left({\tfrac {a+b}{2}}\right)V_{\tfrac {0-0}{2}}\left({\tfrac {a-b}{2}}\right)\iff \\\iff V_{0}(a)+V_{0}(b)&=&2V_{0}\left({\tfrac {a+b}{2}}\right)V_{0}\left({\tfrac {a-b}{2}}\right)\end{cases}}$
* Diferença de cossenos: ${\begin{cases}\cos(a)-\cos(b)&=&-2\operatorname {sen} \left({\tfrac {a+b}{2}}\right)\operatorname {sen} \left({\tfrac {a-b}{2}}\right)\iff \\\iff V_{0}(a)+V_{2}(b)&=&2V_{\tfrac {0+2}{2}}\left({\tfrac {a+b}{2}}\right)V_{\tfrac {0-2}{2}}\left({\tfrac {a-b}{2}}\right)\iff \\\iff V_{0}(a)+V_{2}(b)&=&2V_{1}\left({\tfrac {a+b}{2}}\right)V_{-1}\left({\tfrac {a-b}{2}}\right)\iff \\\iff V_{0}(a)+V_{2}(b)&=&-2V_{-1}\left({\tfrac {a+b}{2}}\right)V_{-1}\left({\tfrac {a-b}{2}}\right)\end{cases}}$
* Soma de senos: ${\begin{cases}\operatorname {sen}(a)+\operatorname {sen}(b)&=&2\operatorname {sen} \left({\tfrac {a+b}{2}}\right)\cos \left({\tfrac {a-b}{2}}\right)\iff \\\iff V_{-1}(a)+V_{-1}(b)&=&2V_{\tfrac {-1-1}{2}}\left({\tfrac {a+b}{2}}\right)V_{\tfrac {-1+1}{2}}\left({\tfrac {a-b}{2}}\right)\iff \\\iff V_{-1}(a)+V_{-1}(b)&=&2V_{-1}\left({\tfrac {a+b}{2}}\right)V_{0}\left({\tfrac {a-b}{2}}\right)\end{cases}}$
* Diferença de senos: ${\begin{cases}\operatorname {sen}(a)-\operatorname {sen}(b)&=&2\cos \left({\tfrac {a+b}{2}}\right)\operatorname {sen} \left({\tfrac {a-b}{2}}\right)\iff \\\iff V_{-1}(a)+V_{1}(b)&=&2V_{\tfrac {-1+1}{2}}\left({\tfrac {a+b}{2}}\right)V_{\tfrac {-1-1}{2}}\left({\tfrac {a-b}{2}}\right)\iff \\\iff V_{-1}(a)+V_{1}(b)&=&2V_{0}\left({\tfrac {a+b}{2}}\right)V_{-1}\left({\tfrac {a-b}{2}}\right)\end{cases}}$

#### Transformação de produto em soma

É também possível transformar produto de gerais em soma de gerais. Isto é feito da seguinte forma:
* Para 2 termos, $V_{a}(x)V_{b}(y)={\tfrac {1}{2}}[V_{a+b}(x+y)+V_{a-b}(x-y)]$
* Para 3 termos, $V_{a}(x)V_{b}(y)V_{c}(z)={\tfrac {1}{4}}[V_{a+b+c}(x+y+z)+V_{a+b-c}(x+y-z)+V_{a-b+c}(x-y+z)+V_{a-b-c}(x-y-z)]$
* Para 4 termos, $V_{a}(w)V_{b}(x)V_{c}(y)V_{d}(z)={\frac {1}{8}}\left[{\begin{array}{c}V_{a+b+c+d}(w+x+y+z)+V_{a+b+c-d}(w+x+y-z)+\\+V_{a+b-c+d}(w+x-y+z)+V_{a+b-c-d}(w+x-y-z)+\\+V_{a-b+c+d}(w-x+y+z)+V_{a-b+c-d}(w-x+y-z)+\\+V_{a-b-c+d}(w-x-y+z)+V_{a-b-c-d}(w-x-y-z)\end{array}}\right]$
* Para 5 termos, $V_{a}(v)V_{b}(w)V_{c}(x)V_{d}(y)V_{e}(z)={\frac {1}{16}}\left[{\begin{array}{c}V_{a+b+c+d+e}(v+w+x+y+z)+V_{a+b+c+d-e}(v+w+x+y-z)+\\+V_{a+b+c-d+e}(v+w+x-y+z)+V_{a+b+c-d-e}(v+w+x-y-z)+\\+V_{a+b-c+d+e}(v+w-x+y+z)+V_{a+b-c+d-e}(v+w-x+y-z)+\\+V_{a+b-c-d+e}(v+w-x-y+z)+V_{a+b-c-d-e}(v+w-x-y-z)+\\+V_{a-b+c+d+e}(v-w+x+y+z)+V_{a-b+c+d-e}(v-w+x+y-z)+\\+V_{a-b+c-d+e}(v-w+x-y+z)+V_{a-b+c-d-e}(v-w+x-y-z)+\\+V_{a-b-c+d+e}(v-w-x+y+z)+V_{a-b-c+d-e}(v-w-x+y-z)+\\+V_{a-b-c-d+e}(v-w-x-y+z)+V_{a-b-c-d-e}(v-w-x-y-z)\end{array}}\right]$
Repare a sequência binária nos sinais '+' e '-'. Para 3 termos, por exemplo, note que os sinais entre 'a', 'b' e 'c' se comportam da seguinte maneira: ++, +-, -+, --. O comportamento binário é observado para qualquer quantidade de termos. Tal formulação é bastante vantajosa para um alto número de termos, encontrados, entre outros, no estudo de máquinas elétricas (como no cálculo do torque eletromagnético, que demanda 3 termos) - a qual seria de difícil obtenção através dos meios tradicionais.
Exemplos:
* Produto do seno com o cosseno: ${\begin{cases}\operatorname {sen}(a)\cos(b)&=&{\tfrac {1}{2}}[\operatorname {sen}(a+b)+\operatorname {sen}(a-b)]\iff \\\iff V_{-1}(a)V_{0}(b)&=&{\tfrac {1}{2}}[V_{-1+0}(a+b)+V_{-1-0}(a-b)]\iff \\\iff V_{-1}(a)V_{0}(b)&=&{\tfrac {1}{2}}[V_{-1}(a+b)+V_{-1}(a-b)]\end{cases}}$
* Produto de cossenos: ${\begin{cases}\cos(a)\cos(b)&=&{\tfrac {1}{2}}[\cos(a+b)+\cos(a-b)]\iff \\\iff V_{0}(a)V_{0}(b)&=&{\tfrac {1}{2}}[V_{0+0}(a+b)+V_{0-0}(a-b)]\iff \\\iff V_{0}(a)V_{0}(b)&=&{\tfrac {1}{2}}[V_{0}(a+b)+V_{0}(a-b)]\end{cases}}$
* Produto do cosseno com o seno: ${\begin{cases}\cos(a)\operatorname {sen}(b)&=&{\tfrac {1}{2}}[\operatorname {sen}(a+b)-\operatorname {sen}(a-b)]\iff \\\iff V_{0}(a)V_{-1}(b)&=&{\tfrac {1}{2}}[V_{0-1}(a+b)+V_{0+1}(a-b)]\iff \\\iff V_{0}(a)V_{-1}(b)&=&{\tfrac {1}{2}}[V_{-1}(a+b)+V_{1}(a-b)]\iff \\\iff V_{0}(a)V_{-1}(b)&=&{\tfrac {1}{2}}[V_{-1}(a+b)-V_{-1}(a-b)]\end{cases}}$
* Produto de senos: ${\begin{cases}\operatorname {sen}(a)\operatorname {sen}(b)&=&{\tfrac {1}{2}}[\cos(a-b)-\cos(a+b)]\iff \\\iff V_{-1}(a)V_{-1}(b)&=&{\tfrac {1}{2}}[V_{-1-1}(a+b)+V_{-1+1}(a-b)]\iff \\\iff V_{-1}(a)V_{-1}(b)&=&{\tfrac {1}{2}}[V_{-2}(a+b)+V_{0}(a-b)]\iff \\\iff V_{-1}(a)V_{-1}(b)&=&{\tfrac {1}{2}}[-V_{0}(a+b)+V_{0}(a-b)]\end{cases}}$

#### Soma de arcos

Para uma geral de dado arco, é possível decompô-la em soma de produtos de gerais de outros arcos.
* Em 2 arcos, $V_{a}(x+y)=V_{a}(x)V_{0}(y)+V_{a+1}(x)V_{-1}(y)$
* Em 3 arcos, $V_{a}(x+y+z)=V_{a}(x)V_{0}(y)V_{0}(z)+V_{a+1}(x)V_{0}(y)V_{-1}(z)+V_{a+1}(x)V_{-1}(y)V_{0}(z)+V_{a+2}(x)V_{-1}(y)V_{-1}(z)$
* Em 4 arcos, $V_{a}(w+x+y+z)=\left({\begin{array}{c}V_{a}(w)V_{0}(x)V_{0}(y)V_{0}(z)+V_{a+1}(w)V_{0}(x)V_{0}(y)V_{-1}(z)+\\+V_{a+1}(w)V_{0}(x)V_{-1}(y)V_{0}(z)+V_{a+2}(w)V_{0}(x)V_{-1}(y)V_{-1}(z)+\\+V_{a+1}(w)V_{-1}(x)V_{0}(y)V_{0}(z)+V_{a+2}(w)V_{-1}(x)V_{0}(y)V_{-1}(z)+\\+V_{a+2}(w)V_{-1}(x)V_{-1}(y)V_{0}(z)+V_{a+3}(w)V_{-1}(x)V_{-1}(y)V_{-1}(z)\\\end{array}}\right)$
* Em 5 arcos, $V_{a}(v+w+x+y+z)=\left({\begin{array}{c}V_{a}(v)V_{0}(w)V_{0}(x)V_{0}(y)V_{0}(z)+V_{a+1}(v)V_{0}(w)V_{0}(x)V_{0}(y)V_{-1}(z)+\\+V_{a+1}(v)V_{0}(w)V_{0}(x)V_{-1}(y)V_{0}(z)+V_{a+2}(v)V_{0}(w)V_{0}(x)V_{-1}(y)V_{-1}(z)+\\+V_{a+1}(v)V_{0}(w)V_{-1}(x)V_{0}(y)V_{0}(z)+V_{a+2}(v)V_{0}(w)V_{-1}(x)V_{0}(y)V_{-1}(z)+\\+V_{a+2}(v)V_{0}(w)V_{-1}(x)V_{-1}(y)V_{0}(z)+V_{a+3}(v)V_{0}(w)V_{-1}(x)V_{-1}(y)V_{-1}(z)+\\+V_{a+2}(v)V_{-1}(w)V_{0}(x)V_{0}(y)V_{0}(z)+V_{a+2}(v)V_{-1}(w)V_{0}(x)V_{0}(y)V_{-1}(z)+\\+V_{a+3}(v)V_{-1}(w)V_{0}(x)V_{-1}(y)V_{0}(z)+V_{a+3}(v)V_{-1}(w)V_{0}(x)V_{-1}(y)V_{-1}(z)+\\+V_{a+3}(v)V_{-1}(w)V_{-1}(x)V_{0}(y)V_{0}(z)+V_{a+3}(v)V_{-1}(w)V_{-1}(x)V_{0}(y)V_{-1}(z)+\\+V_{a+3}(v)V_{-1}(w)V_{-1}(x)V_{-1}(y)V_{0}(z)+V_{a+4}(v)V_{-1}(w)V_{-1}(x)V_{-1}(y)V_{-1}(z)\end{array}}\right)$
Note a sequência binária na base das funções gerais V(y) e V(z): 00, 0(-1), (-1)0, (-1)(-1). O comportamento binário é observado para qualquer 'n'. A base da função geral da esquerda, V(x), altera-se, em cada termo da soma para manter igual a soma das bases iguais à base inicial:
* No caso, para 2 arcos, note que, na base, tem-se:${\begin{cases}a+0+0=a\\(a+1)+0+(-1)=a\\(a+1)+(-1)+0=a\\(a+2)+(-1)+(-1)=a\end{cases}}$
Exemplos:
* Cosseno da soma:${\begin{cases}\cos(a+b)&=&\cos(a)\cos(b)-\operatorname {sen}(a)\operatorname {sen}(b)\iff \\\iff V_{0}(a+b)&=&V_{0}(a)V_{0}(b)+V_{0+1}(a)V_{-1}(b)\iff \\\iff V_{0}(a+b)&=&V_{0}(a)V_{0}(b)+V_{1}(a)V_{-1}(b)\iff \\\iff V_{0}(a+b)&=&V_{0}(a)V_{0}(b)-V_{-1}(a)V_{-1}(b)\end{cases}}$
* Seno da soma: ${\begin{cases}\operatorname {sen}(a+b)&=&\operatorname {sen}(a)\cos(b)+\cos(a)\operatorname {sen}(b)\iff \\\iff V_{-1}(a+b)&=&V_{-1}(a)V_{0}(b)+V_{-1+1}(a)V_{-1}(b)\iff \\\iff V_{-1}(a+b)&=&V_{-1}(a)V_{0}(b)+V_{0}(a)V_{-1}(b)\end{cases}}$
* Seno da diferença: ${\begin{cases}\operatorname {sen}(a-b)&=&\operatorname {sen}(a)\cos(b)-\cos(a)\operatorname {sen}(b)\iff \\\iff V_{-1}(a-b)&=&V_{-1}(a)V_{0}(-b)+V_{-1+1}(a)V_{-1}(-b)\iff \\\iff V_{-1}(a-b)&=&V_{-1}(a)V_{0}(b)-V_{0}(a)V_{-1}(b)\end{cases}}$
* Cosseno da diferença: ${\begin{cases}\cos(a-b)&=&\cos(a)\cos(b)+\operatorname {sen}(a)\operatorname {sen}(b)\iff \\\iff V_{0}(a-b)&=&V_{0}(a)V_{0}(-b)+V_{0+1}(a)V_{-1}(-b)\iff \\\iff V_{0}(a-b)&=&V_{0}(a)V_{0}(-b)+V_{1}(a)V_{-1}(-b)\iff \\\iff V_{0}(a-b)&=&V_{0}(a)V_{0}(b)+V_{-1}(a)V_{-1}(b)\end{cases}}$

#### Soma de arcos defasados com ângulo comum variável

Seja $f(x)$ uma função de natureza exponencial (seja real ou complexa).
Exemplos:
* $f(x)=\sum _{i}A_{i}V_{\alpha _{i}}(x-\beta _{i})$
* $f(x)=\sum _{i}A_{i}e^{j(x+\alpha _{i})}+\sum _{i}B_{i}e^{j(-x+\beta _{i})}$
* $f(x)$ é um fasor
É válida a seguinte identidade:
$f(x)=f(0)\cdot V_{0}(x)+f'(0)\cdot V_{-1}(x)$
Como a função foi decomposta em soma ponderada de seno e cosseno com ângulo comum variável em função de x, pode-se juntar os dois arcos da seguinte forma:
$AV_{0}(x)+BV_{-1}(x)=\operatorname {sgn}(A){\sqrt {A^{2}+B^{2}}}V_{0}\left(x-\tan ^{-1}{\frac {B}{A}}\right)$

## Fórmulas de arco múltiplo

| T$_n$ é o enésimo Polinômio de Chebyshev | $\cos n\theta =T_{n}(\cos \theta )$ |
| S$_n$ é o enésimo polinômio de abertura | $\operatorname {sen} ^{2}n\theta =S_{n}(\operatorname {sen} ^{2}\theta )$ |
| Fórmula de De Moivre, $i$ é a unidade imaginária | $\cos n\theta +i\operatorname {sen} n\theta =(\cos(\theta )+i\operatorname {sen}(\theta ))^{n}$ |

## Formulas de arco duplo, triplo e metade

É possível obter as funções trigonométricas quando temos um ângulo sendo multiplicado ou divido, conforme as fórmulas da tabela abaixo.
A seguir temos as demonstrações dessas propriedades.
Fórmulas de arco duplo :
| ${\begin{aligned}\operatorname {sen} 2\theta &=2\operatorname {sen} \theta \cos \theta \ \\&={\frac {2\tan \theta }{1+\tan ^{2}\theta }}\end{aligned}}$ | ${\begin{aligned}\cos 2\theta &=\cos ^{2}\theta -\operatorname {sen} ^{2}\theta \\&=2\cos ^{2}\theta -1\\&=1-2\operatorname {sen} ^{2}\theta \\&={\frac {1-\tan ^{2}\theta }{1+\tan ^{2}\theta }}\end{aligned}}$ | $\tan 2\theta ={\frac {2\tan \theta }{1-\tan ^{2}\theta }}$ | $\cot 2\theta ={\frac {\cot ^{2}\theta -1}{2\cot \theta }}$ |
| Fórmulas de arco triplo ||||
| ${\begin{aligned}\operatorname {sen} 3\theta &=3\cos ^{2}\theta \operatorname {sen} \theta -\operatorname {sen} ^{3}\theta \\&=3\operatorname {sen} \theta -4\operatorname {sen} ^{3}\theta \end{aligned}}$ | ${\begin{aligned}\cos 3\theta &=\cos ^{3}\theta -3\operatorname {sen} ^{2}\theta \cos \theta \\&=4\cos ^{3}\theta -3\cos \theta \end{aligned}}$ | $\tan 3\theta ={\frac {3\tan \theta -\tan ^{3}\theta }{1-3\tan ^{2}\theta }}$ | $\cot 3\theta ={\frac {3\cot \theta -\cot ^{3}\theta }{1-3\cot ^{2}\theta }}$ |
| Fórmulas de arco metade ||||
| ${\begin{aligned}&\operatorname {sen} {\frac {\theta }{2}}=\operatorname {sgn} \!\!\left(\!\!2\pi \!-\!\theta \!+\!4\pi \!\left\lfloor \!{\frac {\theta }{4\pi }}\!\right\rfloor \!\right)\!\!{\sqrt {\frac {1\!-\!\cos \theta }{2}}}\\\\&\left(\mathrm {ou} \,\,\operatorname {sen} ^{2}{\frac {\theta }{2}}={\frac {1-\cos \theta }{2}}\right)\end{aligned}}$ | ${\begin{aligned}&\cos {\frac {\theta }{2}}=\operatorname {sgn} \!\!\left(\!\!\pi \!+\!\theta \!+\!4\pi \!\left\lfloor \!{\frac {\pi \!-\!\theta }{4\pi }}\!\right\rfloor \!\right)\!\!{\sqrt {\frac {1+\cos \theta }{2}}}\\\\&\left(\mathrm {ou} \,\,\cos ^{2}{\frac {\theta }{2}}={\frac {1+\cos \theta }{2}}\right)\end{aligned}}$ | ${\begin{aligned}\tan {\frac {\theta }{2}}&=\csc \theta -\cot \theta \\&=\pm \,{\sqrt {1-\cos \theta \over 1+\cos \theta }}\\[8pt]&={\frac {\operatorname {sen} \theta }{1+\cos \theta }}\\[8pt]&={\frac {1-\cos \theta }{\operatorname {sen} \theta }}\\[10pt]\tan {\frac {\eta +\theta }{2}}&={\frac {\operatorname {sen} \eta +\operatorname {sen} \theta }{\cos \eta +\cos \theta }}\\[8pt]\tan \left({\frac {\theta }{2}}+{\frac {\pi }{4}}\right)&=\sec \theta +\tan \theta \\[8pt]{\sqrt {\frac {1-\operatorname {sen} \theta }{1+\operatorname {sen} \theta }}}&={\frac {1-\tan(\theta /2)}{1+\tan(\theta /2)}}\\[8pt]\tan {\tfrac {1}{2}}\theta &={\frac {\tan \theta }{1+{\sqrt {1+\tan ^{2}\theta }}}}\\&{\mbox{para}}\quad \theta \in \left(-{\tfrac {\pi }{2}},{\tfrac {\pi }{2}}\right)\end{aligned}}$ | ${\begin{aligned}\cot {\frac {\theta }{2}}&=\csc \theta +\cot \theta \\&=\pm \,{\sqrt {1+\cos \theta \over 1-\cos \theta }}\\[8pt]&={\frac {\operatorname {sen} \theta }{1-\cos \theta }}\\[8pt]&={\frac {1+\cos \theta }{\operatorname {sen} \theta }}\end{aligned}}$ |

### Fórmulas da duplicação de ângulos
#### Seno do dobro

Para calcular o seno de um arco do tipo $2.{\text{a}}$ utiliza-se a fórmula:
$\operatorname {sen}(2{\text{a}})=2.\operatorname {sen} {\text{a}}.\cos {\text{a}}$
Demonstração:
Seja $\operatorname {sen}(2.{\text{a}})=\operatorname {sen}({\text{a}}+{\text{a}}),$ podemos aplicar a fórmula do seno da soma, de modo que:
$\operatorname {sen}({\text{a}}+{\text{a}})=\operatorname {sen} {\text{a}}.\cos {\text{a}}+\operatorname {sen} {\text{a}}.\cos {\text{a}}$
Logo:
$\operatorname {sen}(2{\text{a}})=2.\operatorname {sen} {\text{a}}.\cos {\text{a}}$

#### Cosseno do dobro

Para calcular o cosseno de um arco do tipo $2.{\text{a}}$ pode-se utilizar as seguintes fórmulas:
** $\cos(2{\text{a}})=\cos ^{2}{\text{a}}-\operatorname {sen} ^{2}{\text{a}}$
Demonstração:
Seja $\cos(2.{\text{a}})=\cos({\text{a}}+{\text{a}})$ podemos aplicar a fórmula do cosseno da soma para obter:
$\cos({\text{a}}+{\text{a}})=\cos {\text{a}}.\cos {a}-\operatorname {sen} {\text{a}}.\operatorname {sen} {\text{a}}$
Logo:
$\cos(2{\text{a}})=\cos ^{2}{\text{a}}-\operatorname {sen} ^{2}{\text{a}}$
** $\cos(2{\text{a}})=2.\cos ^{2}{\text{a}}-1$
Demonstração:
Seja a relação fundamental $\cos ^{2}{\text{a}}+\operatorname {sen} ^{2}{\text{a}}=1,$ já demonstrada, temos que $\operatorname {sen} ^{2}{\text{a}}=1-\cos ^{2}{\text{a}}$
Aplicando-se essa relação na fórmula demonstrada acima temos:
$\cos(2{\text{a}})=\cos ^{2}{\text{a}}-(1-\cos ^{2}{\text{a}})=\cos ^{2}{\text{a}}-1+\cos ^{2}{\text{a}}$
Logo:
$\cos(2{\text{a}})=2.\cos ^{2}{\text{a}}-1$
** $\cos(2{\text{a}})=1-2.\operatorname {sen} ^{2}{\text{a}}$
Demonstração
Seja a relação fundamental $\cos ^{2}{\text{a}}+\operatorname {sen} ^{2}{\text{a}}=1,$ temos que $\cos ^{2}{\text{a}}=1-\operatorname {sen} ^{2}{\text{a}}$
Ao aplicarmos isso na fórmula $\cos(2{\text{a}})=\cos ^{2}{\text{a}}-\operatorname {sen} ^{2}{\text{a}},$ temos:
$\cos(2{\text{a}})=1-\operatorname {sen} ^{2}{\text{a}}-\operatorname {sen} ^{2}{\text{a}}$
Logo:
$\cos(2{\text{a}})=1-2.\operatorname {sen} ^{2}{\text{a}}$

#### Tangente do dobro

Para calcular a tangente de um arco do tipo $2.{\text{a}}$ pode-se utilizar a seguinte fórmula:
$\tan(2{\text{a}})={\frac {2.\tan {\text{a}}}{1-\tan {\text{a}}}}$
Demonstração:
Seja $\tan(2.{\text{a}})=\tan({\text{a}}+{\text{a}}),$ podemos aplicar a fórmula da tangente da soma:
$\tan({\text{a}}+{\text{a}})={\frac {\tan {\text{a}}+\tan {\text{a}}}{1-\tan {\text{a}}.\tan {\text{a}}}}$
Logo:
$\tan(2{\text{a}})={\frac {2.\tan {\text{a}}}{1-\tan ^{2}{\text{a}}}}$

### Fórmulas da divisão do ângulo em dois
#### Seno da divisão

Para calcular o seno da metade de um arco, utiliza-se a seguinte fórmula:
$\operatorname {sen} \left({\frac {\text{a}}{2}}\right)=\pm {\sqrt {\frac {1-\cos {\text{a}}}{2}}}$
Demonstração:
Sabendo que $\cos(2.{\text{x}})=1-2.\operatorname {sen} ^{2}{\text{x}},$ podemos definir $x={\frac {\text{a}}{2}}$ de modo a reescrever:
$\cos({\text{a}})=1-2.\operatorname {sen} ^{2}\left({\frac {\text{a}}{2}}\right)$
Logo, isolando $\operatorname {sen} \left({\frac {\text{a}}{2}}\right)$ temos:
$\operatorname {sen} \left({\frac {\text{a}}{2}}\right)=\pm {\sqrt {\frac {1-\cos {\text{a}}}{2}}}$

#### Cosseno da divisão

Para calcular o cosseno da metade de um arco, utiliza-se a seguinte fórmula:
$\cos \left({\frac {\text{a}}{2}}\right)=\pm {\sqrt {\frac {\cos {\text{a}}+1}{2}}}$
Demonstração:
Sabendo que $\cos(2{\text{x}})=2.\cos ^{2}{\text{x}}-1$ podemos definir $x={\frac {\text{a}}{2}},$ de modo a reescrever:
$\cos {\text{a}}=2.\cos ^{2}\left({\frac {\text{a}}{2}}\right)-1$
Portanto, isolando $\cos \left({\frac {\text{a}}{2}}\right)$ temos:
$\cos \left({\frac {\text{a}}{2}}\right)=\pm {\sqrt {\frac {\cos {\text{a}}+1}{2}}}$

#### Tangente da divisão

Para calcular a tangente da metade de um arco, utiliza-se a fórmula:
$\tan \left({\frac {\text{a}}{2}}\right)=\pm {\sqrt {\frac {1-\cos {\text{a}}}{1+\cos {\text{a}}}}}$
Demonstração:
Para demonstrar essa fórmula utilizaremos as duas fórmulas demonstradas acima, da seguinte forma:
$\tan \left({\frac {\text{a}}{2}}\right)={\frac {\operatorname {sen} \left({\frac {\text{a}}{2}}\right)}{\cos \left({\frac {\text{a}}{2}}\right)}}={\frac {\pm {\sqrt {\frac {1-\cos {\text{a}}}{2}}}}{\pm {\sqrt {\frac {\cos {\text{a}}+1}{2}}}}}=\pm {\sqrt {\frac {\frac {1-\cos {\text{a}}}{2}}{\frac {\cos {\text{a}}+1}{2}}}}=\pm {\sqrt {{\frac {1-\cos {\text{a}}}{2}}.{\frac {2}{\cos {\text{a}}+1}}}}$
Logo:
$\tan \left({\frac {\text{a}}{2}}\right)=\pm {\sqrt {\frac {1-\cos {\text{a}}}{1+\cos {\text{a}}}}}$
Note que, para esses três casos, $\pm$ significa que pode haver qualquer dos dois sinais, dependendo do valor de $A/2.$

## Fórmulas de redução de potências

Resolve-se com as fórmulas de duplo ângulo, isolando-se: $\cos ^{2}\theta \,{\text{e}}\operatorname {sen} ^{2}\theta \,{\text{.}}$
$\cos ^{2}\theta =\left({\frac {1+\cos(2\theta )}{2}}\right)$ $\operatorname {sen} ^{2}\theta =\left({\frac {1-\cos(2\theta )}{2}}\right)$

## Produto para soma e soma para produto

Os produtos para somas e somas para produto podem ser provados por meio de substituições nos teoremas de adição.
* Produto para soma
* $\cos \theta \cos \varphi ={\cos(\theta -\varphi )+\cos(\theta +\varphi ) \over 2}$
* $\operatorname {sen} \theta \operatorname {sen} \varphi ={\cos(\theta -\varphi )-\cos(\theta +\varphi ) \over 2}$
* $\operatorname {sen} \theta \cos \varphi ={\operatorname {sen}(\theta +\varphi )+\operatorname {sen}(\theta -\varphi ) \over 2}$
* $\cos \theta \operatorname {sen} \varphi ={\operatorname {sen}(\theta +\varphi )-\operatorname {sen}(\theta -\varphi ) \over 2}$
* Soma para produto
* $\operatorname {sen} \theta \pm \operatorname {sen} \varphi =2\operatorname {sen} \left({\frac {\theta \pm \varphi }{2}}\right)\cos \left({\frac {\theta \mp \varphi }{2}}\right)$
* $\cos \theta +\cos \varphi =2\cos \left({\frac {\theta +\varphi }{2}}\right)\cos \left({\frac {\theta -\varphi }{2}}\right)$
* $\cos \theta -\cos \varphi =-2\operatorname {sen} \left({\theta +\varphi \over 2}\right)\operatorname {sen} \left({\theta -\varphi \over 2}\right)$

## Cálculo

Se as funções trigonométricas são definidas geometricamente, então suas derivadas podem ser encontradas primeiramente verificando que $\lim _{\theta \to 0}{\operatorname {sen} \theta }/\theta =1$ e então usando a definição por limite da derivada e os teoremas de adição; se eles são definidos por suas Séries de Taylor, então as derivadas podem ser encontradas pela diferenciação das séries de potências termo a termo.
${\frac {\partial }{\partial \theta }}\operatorname {sen\theta } =\cos \theta$
O restante das funções trigonométricas pode ser diferenciado usando as identidades acima e as regras de diferenciação, por exemplo
${\frac {\partial }{\partial \theta }}\cos \theta =-\operatorname {sen} \theta$ ${\frac {\partial }{\partial \theta }}\tan \theta =\sec ^{2}\theta$

## Definições exponenciais

| Função | Função inversa |
| $\operatorname {sen} \theta ={\frac {e^{i\theta }-e^{-i\theta }}{2i}}$ | $\operatorname {arcsen} x=-i\ln \left(ix+{\sqrt {1-x^{2}}}\right)$ |
| $\cos \theta ={\frac {e^{i\theta }+e^{-i\theta }}{2}}$ | $\arccos x=i\,\ln \left(x-i\,{\sqrt {1-x^{2}}}\right)$ |
| $\tan \theta ={\frac {e^{i\theta }-e^{-i\theta }}{i(e^{i\theta }+e^{-i\theta })}}$ | $\arctan x={\frac {i}{2}}\ln \left({\frac {i+x}{i-x}}\right)$ |
| $\csc \theta ={\frac {2i}{e^{i\theta }-e^{-i\theta }}}$ | $\operatorname {arccsc} x=-i\ln \left({\tfrac {i}{x}}+{\sqrt {1-{\tfrac {1}{x^{2}}}}}\right)$ |
| $\sec \theta ={\frac {2}{e^{i\theta }+e^{-i\theta }}}$ | $\operatorname {arcsec} x=-i\ln \left({\tfrac {1}{x}}+{\sqrt {1-{\tfrac {i}{x^{2}}}}}\right)$ |
| $\cot \theta ={\frac {i(e^{i\theta }+e^{-i\theta })}{e^{i\theta }-e^{-i\theta }}}$ | $\operatorname {arccot} x={\frac {i}{2}}\ln \left({\frac {x-i}{x+i}}\right)$ |
| $\operatorname {cis} \,\theta =e^{i\theta }$ | $\operatorname {arccis} \,x={\frac {\ln x}{i}}=-i\ln x$ |