Analisando a condição de existência:
1−cosx=0ecos(2x)=0
Logo, x=kπ,k∈Z.
Pela relação fundamental, sen2x=1−cos2x, e essa diferença de quadrados fatora:
1−cosxsen2x=1−cosx(1−cosx)(1+cosx)=1+cosx
Simplificando a tangente do arco metade:
tg(2x)=1+cosxsenx
Juntando as duas simplificações: o produto do lado esquerdo vira
(1+cosx)⋅1+cosxsenx=senx
senx=1−senx−cosx2senx+cosx=1Como o gabarito vem escrito em termos de arctg, a substituição natural é t=tg2x, para a qual
senx=1+t22t,cosx=1+t21−t2
Substituindo,
1+t24t+1+t21−t2=1
Multiplicando por 1+t2, que nunca se anula,
4t+1−t2=1+t2
2t2−4t=0⟹2t(t−2)=0
t=0out=2
A raiz t=0 corresponde a tg2x=0, ou seja, x=2kπ; nesse caso cosx=1 e o denominador 1−cosx se anula, logo não convém. Portanto:
tg(2x)=2⟹2x=arctg(2)+kπ⟹x=2arctg(2)+2kπ