Mi libro:
Calculo diferencial e integral de Piskunov, que se puede obtener gratis en internet aunque está escaneado pésimamente, dice que hay un método general que es el cambio t = tg(x/2) y sirve para cualquier integral racional de funcionbes trigonométricas, pero luego cita 6 casos en los que se puede resolver más fácilmente:
1) $R(senx)cosx dx con el cambio t=senx
2) $R(cosx)senx dx con el cambio t=cosx
3) $R(tgx)dx con el cambio t=tgx
4) $R(senx, cosx)dx donde todas las potencias son pares con t=tgx
5) $(Senx)^m · (cosx)n dx es largo de explicar
6) $Cos(mx)·sen(nx) dx complicado de explicar
Y sobre todo los 2 e incluso 4 primeros se tendrían que conocer y usar. Porque no hay cosa más horrible que una integral racional cuando los polinomios son complicados, si encima se hace no siendo necesario, doble golpe.
El cambio que tu me dices es
tgx = 2t/1-t^2; cosx = 1-t^2/1+t^2 y dx = 2dt/1+t^2
Y todo ello se deduce del método general cuyo cambio es t = tg(x/2)
Si la integral era:
$tgxdx/(1+cosx)
tendremos
$(2t/1-t^2)(2dt/1+t^2) / [1+ (1-t^2)/(1+t^2)]=
${4tdt/[(1-t^2)(1+t^2)]}/[2/(1+t^2)] = $2dt/(1-t^2)
La factorización del denominador es inmediata (1+t)(1-t)
2/(1-t^2) = a/(1+t) + b/(1-t) = [a(1-t)+b(1+t)] / [(1+t)(1-t)] = [a+b + (b-a)t] /(1-t^2)
Como tenemos igual denominador también debe serlo el numerador
2 = a+b
0 = b-a
Luego
a=b=1
$dt/(1+t) + $dt/(1-t) = ln|1+t| - ln|1-t| + C =
ln|(1+t)/(1-t)| + C =
ln|[1+tg(x/2)] / [1-tg(x/2)]| + C
Y lo malo que pasa por no usar el método adecuado de integración es que ahora no hay persona humana que derivando eso sea capaz de llegar a la función inicial, para demostrar que está bien.
Y eso es todo.