Quote (feanur @ Apr 14 2014 01:32am)
and the problem is now to find an integral for 1/sin(t) :
Quote (thestoryofisaac @ Apr 14 2014 09:06am)
This simplifies to 1/2csc(theta)
It seems that we agreed up to this point, since csc(theta) = 1/sin(theta) or 1/sin(t). I just left factor 1/2 away (doesn't belong to the real problem).
And to find an indefinite integral of that, I didn't use a formula for csc, but instead, the formula : sin (2y) = 2.sin(y).cos(y)
which is an identity for any real/complex number y.
The derivative of tan(y) with respect to y is 1/cos²(y) (among other possible forms).
That's why (without writing the variable) :
1 / [tan.cos²] = (1/cos²) / tan
which is of the form f ' / f , with f = tan.
Hence, an anti-derivative would be ln |f| + Constant.
Your final result is correct of course, I guess we are not used to manipulate the same trigonometric formulas (hence the different writings).