Elements of the Differential and Integral Calculus/Chapter XIII
From Wikisource
| ←Chapter XII | Elements of the Differential and Integral Calculus by Chapter XIII, § 105–112 |
Chapter XIII, § 113–115→ |
[edit] CHAPTER XIII
THEOREM OF MEAN VALUE. INDETERMINATE FORMS
105. Rolle's Theorem. Let y = f(x) be a continuous single-valued function of x, vanishing for x = a and x = b, and suppose that f'(x) changes continuously when x varies from a to b. The function will then be represented graphically by a continuous curve as in the figure. Geometric intuition shows us at once that for at least one value of x between a and b the tangent is parallel to the axis of X (as at P); that is, the slope is zero. This illustrates Rolle's Theorem:
If f(x) vanishes when x = a and x = b, and f(x) and f'(x) are continuous for all values of x from x = a to x = b, then f'(x) will be zero for at least one value of x between a and b.
This theorem is obviously true, because as x increases from a to b, f(x) cannot always increase or always decrease as x increases, since f(a) = 0 and f(b) = 0. Hence for at least one value of x between a and b, f(x) must cease to increase and begin to decrease, or else cease to decrease and begin to increase; and for that particular value of x the first derivative must be zero (§ 81, p. 108).
That Rolle's Theorem does not apply when f(x) or f'(x) are discontinuous is illustrated as follows:
Fig. a shows the graph of a function which is discontinuous (
) for x = c, a value lying between a and b. Fig. b shows a continuous function whose first derivative is discontinuous (
) for such an intermediate value x = c. In either case it is seen that at no point on the graph between x = a and x = b does the tangent (or curve) be,come parallel to OX.
106. The Theorem of Mean Value.[1] Consider the quantity Q defined by the equation
| (A) | or |
| (B) | f(b) − f(a) − (b − a)Q = 0. |
| Let F(x) be a function formed by replacing b by x in the left-hand member of (B); that is, | |
| (C) | F(x) = f(x) − f(a) − (x − a)Q. |
| From (B), | F(b) = 0, and from (C), F(a) = 0; |
| therefore, by Rolle's Theorem (p. 164 [§105]) F'(x) must be zero for at least one value of x between a and b, say for x1. But by differentiating (C) we get | |
| F'(x) = f'(x) − Q. | |
| Therefore, since | F'(x1) = 0, then also f'(x1) − Q = 0, |
| and | Q = f'(x1). |
| Substituting this value of Q in (A), we get the Theorem of Mean Value, | |
| (44) | ![]() |
where in general all we know about x1 is that it lies between a and b.
The Theorem of Mean Value interpreted Geometrically. Let the curve in the figure be the locus of
| y = f(x). |
Take OC = a and OD = b; then f(a) = CA and f(b) = DB, giving AE = b − a and EB = f(b) − f(a).
Therefore the slope of the chord AB is
| (D) | ![]() |
| There is at least one point on the curve between A and B (as P) where the tangent (or curve) is parallel to the chord AB. If the abscissa of P is Xl' the slope at P is | |
| (E) | tant = f'(x1) = tanEAB. |
| Equating (D) and (E), we get | |
![]() |
|
which is the Theorem of Mean Value.
The student should draw curves (as the one on p. 164 [§105]) to show that there may be more than one such point in the interval; and curves to illustrate, on the other hand, that the theorem may not be true if f(x) becomes discontinuous for any value of x between a and b (Fig. a, p. 164), or if f'(x) becomes discontinuous (Fig. b, p. 164).
Clearing (44) of fractions, we may also write the theorem in the form
| (45) | f(b) = f(a) + (b − a)f'(x1). |
| Let b = a + Δa; then b − a = Δa, and since x1 is a number lying between a and b, we may write | |
![]() |
|
| where θ is a positive proper fraction. Substituting in (45), we get another form of the Theorem of Mean Value. | |
| (46) | ![]() |
107. The Extended Theorem of Mean Value.[2] Following the method of the last section, let R be defined by the equation
| (A) | ![]() |
| Let F(x) be a function formed by replacing b by x in the left-hand member of (A); that is, | |
| (B) | ![]() |
| From (A), F(b) = 0; and from (B), F(a) = 0; therefore, by Rolle's Theorem (p. 164), at least one value of x between a and b, say x1 will cause F'(X) to vanish. Hence, since | |
| F'(x) = f'(x) − f'(a) − (x − a)R, we get | |
| F'(x1) = f'(x1) − f'(a) − (x1 − a)R = 0. | |
| Since F'(x1) = 0 and F'(a) = 0, it is evident that F'(x) also satisfies the conditions of Rolle's Theorem, so that its derivative, namely F''(x), must vanish for at least one value of x between a and x1, say x2, and therefore x2 also lies between a and b. But | |
| F''(x) = f''(x) − R; therefore F''(x2) = f''(x2) − R = 0, | |
| and | R = f''(x2). |
| Substituting this result in (A), we get | |
| (C) | ![]() |
| In the same manner, if we define S by means of the equation | |
![]() |
|
| we can derive the equation | |
| (D) | ![]() |
| where x3 lies between a and b. | |
| By continuing this process we get the general result, | |
| (E) | ![]() |
where x1 lies between a and b. (E) is called the Extended Theorem of Mean Value.
108. Maxima and minima treated analytically. By making use of the results of the last two sections we can now give a general discussion of maxima and minima of functions of a single independent variable.
Given the function f(x). Let h be a positive number as small as we please; then the definitions given in § 82, p. 109, may be stated as follows:
| If, for all values of x different from a in the interval [a - h, a + h], | |
| (A) | f(x) − f(a) = a negative number, |
| then f(x) is said to be a maximum when x = a. | |
| If, on the other hand, | |
| (B) | f(x) − f(a) = a positive number, |
| then f(x) is said to be a minimum when x = a. | |
| Consider the following cases: | |
I. Let ![]() |
|
| From (45), p. 166 [§106], replacing b by x and transposing f(a), | |
| (C) | f(x) − f(a) = (x − a)f'(x1).a < x1 < x |
Since
, and f'(x) is assumed as continuous, h may be chosen so small that f'(x) will have the same sign as f'(a) for all values of x in the interval [a - h, a + h]. Therefore f'(x1) has the same sign as f'(a) (Chap. III). But x - a changes sign according as x is less or greater than a. Therefore, from (C), the difference
| f(x) − f(a) | |
| will also change sign, and, by (A) and (B), f(a) will be neither a maximum nor a minimum. This result agrees with the discussion in § 82, where it was shown that for all values of x for which f(x) is a maximum or a minimum, the first derivative f'(x) must vanish. | |
II. Let f'(a) = 0, and . |
|
| From (C), p. 167, replacing b by x and transposing f(a), | |
| (D) | ![]() |
Since , and f''(x) is assumed as continuous, we may choose our interval [a - h, a + h] so small that f''(x2) will have the same sign as f''(a) (Chap. III). Also (x − a)2 does not change sign. Therefore the second member of (D) will not change sign, and the difference |
|
| f(x) − f(a) | |
| will have the same sign for all values of x in the interval [a - h, a + h], and, moreover, this sign will be the same as the sign of f''(a). | |
| It therefore follows from our definitions (A) and (B) that | |
| (E) | f(a) is a maximum if f'(a) = 0 and f''(a) = a negative number; |
| (F) | f(a) is a minimum if f'(a) = 0 and f''(a) = a positive number. |
| These conditions are the same as (21) and (22), p. 113. [§84] | |
III. Let f'(a) = f''(a) = 0, and ![]() |
|
| From (D), p. 167 [§107], replacing b by x and transposing f(a), | |
| (G) | ![]() |
| As before, f'''(x3) will have the same sign as f'''(a). But (x − a)3 changes its sign from - to + as x increases through a. Therefore the difference | |
| f(x) − f(a) | |
| must change sign, and f(a) is neither a maximum nor a minimum. | |
IV. Let and . |
|
| By continuing the process as illustrated in I, II, and III, it is seen that if the first derivative of f(x) which does not vanish for x = a is of even order (= n), then | |
| (47) | f(a) is a maximum if f(n)(a) = a negative number; |
| (48) | f(a) is a minimum if f(n)(a) = a positive number.[3] |
| Ifthefirstderivativeof < math > f(x) which does not vanish for x = a is of odd order, then f(a) will be neither a maximum nor a minimum. | |
ILLUSTRATIVE EXAMPLE 1. Examine x3 − 9x2 + 24x − 7 for maximum and minimum values.
| Solution. | f(x) = x3 − 9x2 + 24x − 7. |
| f'(x) = 3x2 − 18x + 24. | |
| Solving | 3x2 − 18x + 24 = 0 |
| gives the critical values x = 2 and x = 4. ∴ f'(2) = 0, and f'(4) = 0. | |
| Differentiating again, | f''(x) = 6x − 18. |
| Since f''(2) = − 6, we know from (47) that f(2) = 13 is a maximum. | |
| Since f''(4) = + 6, we know from (48) that f(4) = 9 is a minimum. | |
ILLUSTRATIVE EXAMPLE 2. Examine ex + 2cosx + e − x for maximum and minimum values.
| Solution. | f(x) = ex + 2cosx + e − x, |
| f'(x) = ex − 2sinx − e − x = 0, for x = 0,[4] | |
| f''(x) = ex − 2cosx + e − x = 0, for x = 0, | |
| f'''(x) = ex + 2sinx − e − x = 0, for x = 0, | |
| fiv(x) = ex + 2cosx + e − x = 4, for x = 0. |
Hence from (48), f(0) = 4 is a minimum.
Examine the following functions for maximum and minimum values, using the method of the last section:
| 1. 3x4 − 4x3 + 1. | Ans. | x = 1 gives min. = 0; |
| x = 0 gives neither. | ||
| 2. x3 − 6x2 + 12x + 48. | x = 2 gives neither. | |
| 3. (x − 1)2(x + 1)3. | x = 1 gives min. = 0 ; | |
gives max.; |
||
| x = -1 gives neither. | ||
4. Investigate x6 − 5x4 + 5x3 − 1, at x = 1 and x = 3.
5. Investigate x3 − 3x2 + 3x + 7, at x = 1.
6. Show that if the first derivative of f(x) which does not vanish for x = a is of odd order (= n), then f(x) is an increasing or decreasing function when x = a, according as f(n)(a) is positive or negative.
109. Indeterminate forms. When, for a particular value of the independent variable, a function takes on one of the forms

it is said to be indeterminate, and the function is not defined for that value of the independent variable by the given analytical expression.
For example, suppose we have

where for some value of the variable, as x = a,

For this value of x our function is not defined and we may therefore assign to it any value we please. It is evident from what has gone before (Case II, p. 15 [§18]) that it is desirable to assign to the function a value that will make it continuous when x = a whenever it is possible to do so.
110. Evaluation of a function taking on an indeterminate form. If when x = a the function f(x) assumes an indeterminate form, then
is taken as the value of f(x) for x = a.
The assumption of this limiting value makes f(x) continuous for x = a. This agrees with the theorem under Case II, p. 15, and also with our practice in Chapter III, where several functions assuming the indeterminate form
were evaluated. Thus, for x = 2 the function
assumes the form
but

Hence 4 is taken as the value of the function for x = 2. Let us now illustrate graphically the fact that if we assume 4 as the value of the function for x = 2, then the function is continuous for x = 2.
| Let | ![]() |
|
| This equation may also be written in the form | ||
| y(x − 2) | = (x − 2)(x + 2); | |
| or | (x − 2)(y − x − 2) | = 0. |
Placing each factor separately equal to zero, we have
x = 2, and y = x + 2.
the equation of the line CD. Also, on CD, when x = 2, we get
y = MP = 4.
In plotting, the loci of these equations are found to be the two lines AB and CD respectively. Since there are infinitely many points on the line AB having the abscissa 2, it is clear that when x = 2 (= OM), the value of y (or the function) may be taken as any number whatever; but when x is different from 2, it is seen from the graph of the function that the corresponding value of y (or the function) is always found from
y = x + 2,
which we saw was also the limiting value of y (or the function) for x = 2; and it is evident from geometrical considerations that if we assume 4 as the value of the function for x = 2, then the function is continuous for x = 2.
Similarly, several of the examples given in Chapter III illustrate how the limiting values of many functions assuming indeterminate forms may be found by employing suitable algebraic or trigonometric transformations, and how in general these limiting values make the corresponding functions continuous at the points in question. The most general methods, however, for evaluating indeterminate forms depend on differentiation.
111. Evaluation of the indeterminate form
. Given a function of the form
such that f(a) = 0 and F(a) = 0; that is, the function takes on the indeterminate form
when a is substituted for x. It is then required to find

Draw the graphs of the functions f(x) and F(x). Since, by hypothesis, f(a) = 0 and F(a) = 0, these graphs intersect at (a, 0).
Applying the Theorem of Mean Value to each of these functions (replacing b by x), we get
| f(x) = f(a) + (x − a)f'(x1), | a < xl < x |
| F(x) = F(a) + (x − a)F'(x2). | a < x2 < x |
Since f(a) = 0 and F(a) = 0, we get, after canceling out (x - a),

Now let
; then
, and
.
| (49) | ∴ ![]() |
![]() |
Rule for evaluating the indeterminate form
. Differentiate the numerator for a new numerator and the denominator for a new denominator.[6] The value of this new fraction for the assigned value[7] of the variable will be the limiting value of the original fraction.
In case it so happens that
f'(a) = 0 and F'(a) = 0,
that is, the first derivatives also vanish for x = a, then we still have the indeterminate form
, and the theorem can be applied anew to the ratio

giving us
When also f''(a) = 0 and F''(a) = 0, we get in the same manner

and so on.
It may be necessary to repeat this process several times.
ILLUSTRATIVE EXAMPLE 1. Evaluate
when x = 1.
| Solution. | ∴ indeterminate. |
∴ indeterminate. |
|
Ans. |
ILLUSTRATIVE EXAMPLE 2. Evaluate 
| Solution. | ∴ indeterminate. |
∴ indeterminate. |
|
∴ indeterminate. |
|
Ans. |
Evaluate the following by differentiation:[8]
1. ![]() |
Ans. | . |
9. ![]() |
Ans. | ![]() |
2. ![]() |
![]() |
10. ![]() |
cosφ | ||
3. ![]() |
1. | 11. ![]() |
2. | ||
4. ![]() |
2. | 12. ![]() |
1. | ||
5. ![]() |
2. | 13. ![]() |
![]() |
||
6. ![]() |
![]() |
14. ![]() |
![]() |
||
7. ![]() |
![]() |
15. ![]() |
6e4. | ||
8. ![]() |
0. |
16. ![]() |
18. ![]() |
20. ![]() |
17. ![]() |
19. ![]() |
21. ![]() |
112. Evaluation of the indeterminate form
. In order to find when
![]() |
|
| when | ![]() |
| that is, when for x = a the function | |
![]() |
|
| assumes the indeterminate form | |
![]() |
|
we follow the same rule as that given on p. 172 [§111] for evaluating the indeterminate form
. Hence
Rule for evaluating the indeterminate form
. Differentiate the numerator for a new numerator and the denominator for a new denominator. The value of this new fraction for the assigned value of the variable will be the limiting value of the original fraction.
A rigorous proof of this rule is beyond the scope of this book and is left for more advanced treatises.
ILLUSTRATIVE EXAMPLE 1. Evaluate
for x = 0.
| Solution. | ∴ indeterminate. |
∴ indeterminate. |
|
Ans. |
- ↑ Also called the Law of the Mean.
- ↑ Also called the Extended Law of the Mean.
- ↑ As in § 82, a critical value x = a is found by placing the first derivative equal to zero and solving the resulting equation for real roots.
- ↑ x = 0 is the only root of the equation ex − 2sinx − e − x = 0.
- ↑ The calculation of this limiting value is called evaluating the indeterminate form.
- ↑ The student is warned against the very careless but common mistake of differentiating the whole expression as a fraction by VII.
- ↑ If
, the substitution
reduces the problem to the evaluation of the limit for z = 0. Thus
Therefore the rule holds in this case also. - ↑ After differentiating, the student should in every case reduce the resulting expression to its simplest possible form before substituting the value of the variable.


or












.


and
.
gives max.;



∴ indeterminate.
∴ indeterminate.
Ans.
∴ indeterminate.
∴ indeterminate.
∴ indeterminate.
Ans.
.



























∴ indeterminate.
∴ indeterminate.
Ans.