WEBVTT

1
00:00:00.000 --> 00:00:04.563
Here is the problem: integral 1/(1 plus x squared) dx.

2
00:00:05.013 --> 00:00:11.805
Find the indefinite integral (antiderivative) of 1 / (1 plus x squared) with respect to x.

3
00:00:12.605 --> 00:00:14.056
Start with the integral.

4
00:00:14.506 --> 00:00:22.285
Inverse tangent form: the integral of du/(a squared plus u squared) equals (1/a) times arctan(u/a).

5
00:00:22.735 --> 00:00:25.823
Simplify and add the constant of integration.

6
00:00:26.623 --> 00:00:28.910
So the answer is atan(x) plus C.

7
00:00:29.360 --> 00:00:40.865
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:41.665 --> 00:00:47.296
Differentiated the answer and compared it with the integrand at 8 sample points, which checks out.