## Example 7.2.2: Standard Antiderivatives

Find the following antiderivatives:

For each function to integrate we need to come up with another function
whose derivative is the integrand. Therefore we

(a) x^{r}dx(b) 1/x dx(c) e^{x}dx(d) sin(x) dx(e) cos(x) dx(f) tan(x) dx(g) (h) (i)

*guess*a function

*F*, then

*differentiate*it (for which there are fixed rules). If indeed

*F'*is equal to the integrand, we have found an antiderivative and we are done.

Actually, if we can find *one* antiderivative *F* of a
function *f*, the function *F(x) + c* is also an
antiderivative. To simplify notation, we will be content with finding
*one* antiderivative and not note the arbitrary constant (which drops
out anyway when evaluating *F(b) - F(a)*).

(a) * x ^{r} dx*

We need a function whose derivate is(b)f(x) = x. Since differentiating a power reduces it by one, finding the opposite might mean increasing the power by one. Therefore, our first guess for the antiderivative is^{r}F(x) = x. A quick check shows:^{r+1}which has the correct power but an incorrect coefficient. Therefore we guess again: letx^{r+1}=^{1}/_{r+1}x^{r}F(x) =, where^{1}/_{r+1}x^{r+1}r # -1. Thenso that we have found the correct antiderivative, valid for allF'(x) =^{r+1}/_{r+1}x^{r}= x^{r}xand forr # -1:x^{r}dx =^{1}/_{r+1}x^{r+1}

*1/x dx*

This is(c)xto the power -1, which we had to exclude from the example above. Simple power functions, therefore, are not sufficient as antiderivatives and we need to resort to more exotic functions. Thinking a little we remember that there is the natural logarithmlnwhose derivative isBut that function is only defined for positiveln(x) = 1/xx. On the other hand, ifxis negative then-xis positive, andagain. Thereforeln(-x) = -1/(-x) = 1/xwhere the bounds of integration must either both be positive or both be negative, i.e. the point1/x dx = ln( |x| )x = 0can not be inside the integration interval[a, b].

*e*

^{x}dxThe distinguishing feature of the exponential function is that it is its own derivative. But then it is also its own antiderivative, so that(d)e^{x}dx = e^{x}

*sin(x) dx*

The close cousin of the trig function(e)sinis of course thecos, whose derivative is-sin. But then:sin(x) dx = -cos(x)

*cos(x) dx*

This is similar to above, and we can guess the answer right away (and verify it by differentiating the right side to obtain the integrand):(f)cos(x) dx = sin(x)

*tan(x) dx*

Now it gets complicated. No simple function has the(g)tanas its derivative, so we seem to be stuck. But thentan(x) = sin(x) / cos(x), which at first glance does not help much. But in terms of differentiation, the top function happens to be the derivative of the bottom function (except for a negative sign), so that we - after being struck by intuition - come up with a functionF(x) = ln(cos(x)). Differentiating givesF'(x) = -sin(x) / cos(x), which is almost correct. Adjusting for the minus sign we have as our final answer:where the integration intervaltan(x) dx = - ln( cos(x) )[a, b] ( - /2, /2). (We will soon see a technique called substitution that can clarify the intuitive flash we had)

This is again tricky. We could guess for quite a while here, not much seems to work. But then - again an intuitive wonder - we remember the(h)arctanfunction, whose derivative is just what we need:arctan(x) =so that:^{1}/_{1 + x2}= arctan(x)

Well, tricky again. But we already tried to find the antiderivative of the(i)tanin one of the earlier examples. While we were trying to findthatanswer, we might have computed thederivativeof thetan, which was at that time not helpful. But it works now, as a quick application of the quotient rules shows:Therefore:= tan(x)

Now it gets to be really exotic. We have already seen that the derivative of thearctanfunction yields an expression with anxin the denominator. Therefore we should recall the derivatives of the other two (less frequently used) inverse trig functions^{2}arccosandarcsin.Therefore we have:

Incidentally, can you prove that the derivative for the= arcsin(x)arcsinis indeed as shown above (or for thearccosorarctan, for that matter)?