# Substituição tangente do arco metade

No cálculo integral, a substituição tangente do arco metade ou substituição de Weierstrass é uma substituição usada para encontrar antiderivadas e, portanto, integrais definidas, de funções racionais de funções trigonométricas. Nenhuma generalidade é perdida ao considerar que essas são funções racionais do seno e do cosseno. Michael Spivak escreveu que "A substituição mais sorrateira do mundo é, sem dúvida, essa técnica".

## Euler e Weierstrass

Vários livros a chamam de substituição de Weierstrass, levando o sobrenome de Karl Weierstrass (1815 – 1897), sem citar alguma ocorrência da substituição nos escritos de Weierstrass, mas a técnica aparece bem antes do nascimento de Weierstrass, na obra de Leonhard Euler (1707 – 1783).

## A substituição

Começa-se com o problema de encontrar uma antiderivada de uma função racional do seno e do cosseno; e substitui-se $\operatorname {sen}(x)$, $\cos(x)$, e o diferencial $dx$ pelas funções racionais de uma variável $t$ e produto da função racional de $t$ pelo diferencial $dt$, da seguinte maneira:
Seja $t=\tan {\Bigl{\frac {x}{2}}{\Bigr )}$ onde $-\pi <x<\pi$. Então
$\operatorname {sen} {\Bigl{\frac {x}{2}}{\Bigr )}={\frac {t}{\sqrt {1+t^{2}}}}\quad {\text{e}}\quad \cos {\Bigl{\frac {x}{2}}{\Bigr )}={\frac {1}{\sqrt {1+t^{2}}}}$,
isto é,
    ${\begin{aligned}\operatorname {sen} x&={\frac {2t}{1+t^{2}}}\\[6pt]\cos x&={\frac {1-t^{2}}{1+t^{2}}}\\[6pt]dx&={\frac {2}{1+t^{2}}}\,dt.\end{aligned}}$

### Derivação das fórmulas

Seja
    $t=\tan {\frac {x}{2}}={\frac {\operatorname {sen} {\frac {x}{2}}}{\cos {\frac {x}{2}}}}.$
Pela fórmula de ângulo duplo e a identidade trigonométrica fundamental, é possível ver que
    ${\begin{aligned}\operatorname {sen} x&={\frac {2\operatorname {sen} {\frac {x}{2}}\cos {\frac {x}{2}}}{\operatorname {sen} ^{2}{\frac {x}{2}}+\cos ^{2}{\frac {x}{2}}}}=2\operatorname {sen}({\frac {x}{2}})\cos({\frac {x}{2}})=2\cdot {\frac {t}{\sqrt {t^{2}+1}}}\cdot {\frac {t}{\sqrt {t^{2}+1}}}={\frac {2t}{t^{2}+1}},\end{aligned}}$
    ${\begin{aligned}\cos x&={\frac {\cos ^{2}{\frac {x}{2}}-\operatorname {sen} ^{2}{\frac {x}{2}}}{\operatorname {sen} ^{2}{\frac {x}{2}}+\cos ^{2}{\frac {x}{2}}}}=2\cos ^{2}({\frac {x}{2}})-1={\frac {2}{t^{2}+1}}-1={\frac {2-(t^{2}+1)}{t^{2}+1}}={\frac {1-t^{2}}{1+t^{2}}}\end{aligned}}$.
Obtém-se
    ${\begin{aligned}\operatorname {sen} x&={\frac {2t}{1+t^{2}}}\\\cos x&={\frac {1-t^{2}}{1+t^{2}}}\end{aligned}}$
Finalmente, como $t=\tan {\Bigl{\frac {x}{2}}{\Bigr )}$
    $dt={\frac {1}{2}}\sec ^{2}{\Bigl{\frac {x}{2}}{\Bigr )}dx={\frac {dx}{2\cos ^{2}({\frac {x}{2}})}}={\frac {dx}{2\cdot {\frac {1}{t^{2}+1}}}}\Longrightarrow dx={\frac {2}{t^{2}+1}}dt$

### Relações do arco metade

${\begin{aligned}\operatorname {sen} {\frac {x}{2}}&=\pm {\sqrt {\frac {1-\cos x}{2}}}\\\cos {\frac {x}{2}}&=\pm {\sqrt {\frac {1+\cos x}{2}}}\\\tan {\frac {x}{2}}&=\pm {\sqrt {\frac {(1-\cos x)(1+\cos x)}{(1+\cos x)(1+\cos x)}}}=\pm {\sqrt {\frac {1-\cos ^{2}x}{(1+\cos x)^{2}}}}={\frac {\operatorname {sen} x}{1+\cos x}}\end{aligned}}$

## Exemplos
### Exemplo 1

    ${\begin{aligned}\int \csc x\,dx&=\int {\frac {dx}{\operatorname {sen} x}}\\&=\int \left({\frac {1+t^{2}}{2t}}\right)\left({\frac {2}{1+t^{2}}}\,dt\right)&t&=\tan {\frac {x}{2}}\\&=\int {\frac {dt}{t}}\\&=\ln t+C\\&=\ln \tan {\frac {x}{2}}+C.\end{aligned}}$

### Exemplo 2: uma integral definida

    ${\begin{aligned}\int _{0}^{2\pi }{\frac {dx}{2+\cos x}}&=\int _{0}^{\pi }{\frac {dx}{2+\cos x}}+\int _{\pi }^{2\pi }{\frac {dx}{2+\cos x}}\\&=\int _{0}^{\infty }{\frac {2\,dt}{3+t^{2}}}+\int _{-\infty }^{0}{\frac {2\,dt}{3+t^{2}}}&t&=\tan {\frac {x}{2}}\\&=\int _{-\infty }^{\infty }{\frac {2\,dt}{3+t^{2}}}\\&={\frac {2}{\sqrt {3}}}\int _{-\infty }^{\infty }{\frac {du}{1+u^{2}}}&t&=u{\sqrt {3}}\\&={\frac {2\pi }{\sqrt {3}}}.\end{aligned}}$
Na primeira linha, não se substitui simplesmente $t=0$ para ambos os limites de integração. A singularidade (neste caso, uma assíntota vertical) de $t=\tan {\frac {x}{2}}$ em $x=\pi$ deve ser levada em conta.

### Exemplo 3

    ${\begin{aligned}\int {\frac {dx}{a\cos x+b\operatorname {sen} x+c}}&=\int {\frac {2dt}{a(1-t^{2})+2bt+c(t^{2}+1)}}\\&=\int {\frac {2dt}{(c-a)t^{2}+2bt+a+c}}\\&={\frac {2}{\sqrt {c^{2}-(a^{2}+b^{2})}}}\arctan {\frac {(c-a)\tan {\frac {x}{2}}+b}{\sqrt {c^{2}-(a^{2}+b^{2})}}}+C\end{aligned}}$
Se $4E=4(c-a)(c+a)-(2b)^{2}=4(c^{2}-(a^{2}+b^{2}))>0$.

## Geometria

Conforme $x$ varia, o ponto $(\cos x,\operatorname {sen} x)$ gira repetidamente em torno do círculo unitário centralizado em $(0,0)$. O ponto
    $\left({\frac {1-t^{2}}{1+t^{2}}},{\frac {2t}{1+t^{2}}}\right)$
"gira" apenas uma vez ao redor do círculo, conforme $t$ passa de $-\infty$ a $+\infty$, e nunca atinge o ponto $(-1,0)$, que é abordado como um limite quando $t$ se aproxima de $\pm \infty$. Quando $t$ passa de $-\infty$ a $-1$, o ponto determinado por $t$ passa pela parte do círculo no terceiro quadrante, de $(-1,0)$ a $(0,-1)$. Quando $t$ vai de $-1$ a $0$, o ponto segue a parte do círculo no quarto quadrante de $(0,-1)$ a $(1,0)$. Quando $t$ passa de $0$ a $1$, o ponto segue a parte do círculo no primeiro quadrante de $(1,0)$ a $(0,1)$. Finalmente, quando $t$ vai de $1$ a $+\infty$, o ponto segue a parte do círculo no segundo quadrante de $(0,1)$ a $(-1,0)$.
Outro ponto de vista geométrico: Desenhe o círculo unitário e seja $P$ o ponto $(-1,0)$. Uma reta através de $P$ (exceto a reta vertical) é determinada por sua inclinação. Além disso, cada uma das retas (exceto a reta vertical) cruza o círculo unitário em exatamente dois pontos, um dos quais é $P$. Isso determina uma função dos pontos no círculo unitário às inclinações. As funções trigonométricas determinam uma função dos ângulos aos pontos no círculo unitário e, combinando essas duas funções, temos uma função dos ângulos às inclinações.

## Funções hiperbólicas

Assim como outras propriedades compartilhadas entre as funções trigonométricas e as funções hiperbólicas, é possível usar identidades hiperbólicas para construir uma forma semelhante de substituição:
    $\mathrm {senh} \ x={\frac {2t}{1-t^{2}}},$
    $\cosh x={\frac {1+t^{2}}{1-t^{2}}},$
    $\tanh x={\frac {2t}{1+t^{2}}},$
    $dx={\frac {2}{1-t^{2}}}\,dt.$