WEBVTT

1
00:00:00.000 --> 00:00:03.193
Here is the problem: integral tan(x) dx.

2
00:00:03.643 --> 00:00:08.682
Find the indefinite integral (antiderivative) of tan(x) with respect to x.

3
00:00:09.482 --> 00:00:10.991
Start with the integral.

4
00:00:11.441 --> 00:00:15.284
the integral of tan x dx equals negative ln|cos x|.

5
00:00:15.734 --> 00:00:18.753
Simplify and add the constant of integration.

6
00:00:19.553 --> 00:00:22.978
So the answer is negative ln(abs(cos(x))) plus C.

7
00:00:23.428 --> 00:00:34.632
An antiderivative F satisfies F prime of x equals f(x). Because the derivative of any constant is 0, every antiderivative differs by a constant C.

8
00:00:35.432 --> 00:00:41.144
Differentiated the answer and compared it with the integrand at 8 sample points, which checks out.