Question

Quais as propriedades que foram usadas para resolver essa integral?

Eu sei que a tg(x) = sen(x) / cos(x)

Mas depois para isso virar senxdx, nao sei o que foi feito. Ali tem uma letra grega, mas voce pode considerar como x msm.

Answer 1

Como você tem na integral cosx.senx/cosx isso é igual a senx, pois cosx/cosx =1. Agora se você quer saber porque a integal de senxdx  é -cosx aí tem que resolver a derivada de cosx utilizando a definição de derivada.