WEBVTT

1
00:00:00.000 --> 00:00:03.251
Here is the problem: integral of cos(x) squared.

2
00:00:03.701 --> 00:00:09.402
Find the indefinite integral (antiderivative) of cos(x) squared with respect to x.

3
00:00:10.201 --> 00:00:11.617
Start with the integral.

4
00:00:12.067 --> 00:00:17.977
Power-reducing identity: cos squared u equals (1 plus cos 2u)/2.

5
00:00:18.427 --> 00:00:21.376
Simplify and add the constant of integration.

6
00:00:22.176 --> 00:00:27.145
So the answer is x / 2 plus sin(2x) / 4 plus C.

7
00:00:27.595 --> 00:00:38.543
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:39.343 --> 00:00:45.218
Differentiated the answer and compared it with the integrand at 8 sample points, which checks out.