00:01
In this problem, we want to derive the integration rule for secant x dx, which is equal to the natural log of the absolute value of secant x plus tangent x plus c.
00:14
Now, to do that, we first show that this identity is true.
00:21
Now, to do that, we first use the right -hand side and manipulate it to get secant -x.
00:29
Now, sine x over cosine x plus cosine x plus cosine x, this is equal to sine x times 1 plus sine x plus sine x plus cosine plus cosine x, this all over the lcd, which is cosine x times 1 plus sine x.
00:55
Now expanding the numerator, we have sine x plus sine squared x plus cosine squared x.
01:06
This is all over cosine x times 1 plus sine x.
01:12
Now note that cosine squared plus sine squared x that's equal to 1.
01:18
And so we have for the numerator, sine x plus 1 all over cosine x times 1 plus sine x...