Integrals or Antiderivatives

We have learned how to find the derivative F(x) of a given function F(x) in a variety of cases, including all those of the commonest occurrence. The operation is indicated by ddxF(x)=F(x), or, if we are using differentials, by (a)dF(x)=F(x)dx.

The next step is to consider the inverse operation, namely: to find a function F(x) whose derivative F(x)=f(x) is given. The function F(x) is called an integral, or an integral function, or an antiderivative of f(x), the process of finding it is called integration, and the operation is indicated by writing the integral sign in front of the given differential expression: (b)f(x)dx=F(x), read an integral of f(x)dx equals F(x). The differential dx indicates that x is the variable of integration.

Now some examples
  1. If F(x)=x3, then F(x)dx=(dx3dx)dx=3x2dx, thus 3x2dx=x3.
  2. If F(x)=sinx, then F(x)dx=cosx dx, thus cosxdx=sinx.
  3. If F(x)=cosx, then F(x)dx=sinxdx thus sinxdx=cosx
  4. If F(x)=arctanx [Recall that arctanx is sometimes denoted by tan1x], then F(x)dx=11+x2dx, thus 11+x2dx=arctanx.

Definition 1. If f(x) is the derivative of F(x), F(x)=f(x), the function F(x) is called an integral of f(x), and the operation of forming F(x) from f(x) is called integration. We shall use the notation (c)F(x)=f(x)dx. f(x) is called the integrand or subject of integration.

  • Differentiation and integration are inverse operations: (d)df(x)dx=dF(x)=F(x)dx=f(x)dx. Conversely, substituting the value of dF(x)=F(x)dx from (a) into (b), we get (e)dF(x)=F(x). Therefore, considered as symbols of operation, ddx and dx are inverse to each other, or if we are using differentials d and are inverse to each other. When d is followed by , they annul each other, as in (d), but when is followed by d, as in (e), that will not, in general, be the case unless we ignore the constant of integration. We will see the reason for this in the following.

Constant of Integration

Let’s go back to the examples of the proceeding section.

Because d(x3)=3x2dx, we have 3x2dx=x3.

Because d(x3+1)=3x2dx, we have 3x2dx=x3+1.

Because d(x35)=3x2dx, we have 3x2dx=x35.

In general, because d(x3+C)=3x2dx, where C is an arbitrary number, we have 3x2dx=x3+C. Here C is independent of x and is called the constant of integration. Because we can give C as many values as we please, it follows that if a function has one integral function (antiderivative), it has infinitely many integral functions (antiderivatives) differing only by constants. Hence F(x)dx=F(x)+C. Because C is unknown and indefinite, the expression F(x)+C is called an indefinite integral of F(x). From this discussion, we conclude that if F(x) is a function whose derivative is f(x), then F(x)+C where C is a constant is likewise a function whose derivative is f(x). Hence

Theorem 1. If two functions differ by a constant, they have the same derivative.

It is, however, not obvious that if F(x) is a function whose derivative is f(x), then all functions having the same derivative f(x) are of the form F(x)+C, where C is a constant. In other words, there remains to be proved the converse theorem.

Theorem 2. Let F(x) and G(x) be two functions such that F(x)=G(x), on a certain interval, then there exist a constant C such that F(x)=G(x)+C, for all x in the interval.

Show the proof …


  • Although the formulas 3x2dx=x3and3x2dx=x3+C, are both correct, the first one gives one integral of x2, the second one gives all possible integrals of 3x2.
  • The above theorem depends on the domain of definition being an interval. For example, let F(x)={x2if 1<x<1x21if 2<x<5 and G(x)={x23if 1<x<1x2+12if 2<x<5. Then F(x)=G(x)=2x for all x(1,1)(2,5), but F(x) is not of the form G(x)+C.

In any given case, the value of C can be found when we know the value of the integral for some value of the variable, and this will be discussed later. For the present, we content ourselves with first learning how to find the indefinite integrals of given functions.

  • In what follows, we assume that every continuous function has an indefinite integral, a statement the rigorous proof of which is beyond the scope of this book.