125. The Mean Value Theorem.

We can proceed now to the proof of another general theorem of extreme importance, a theorem commonly known as ‘The Mean Value Theorem’ or ‘The Theorem of the Mean’.

Theorem. If \(\phi(x)\) has a derivative for all values of \(x\) in the interval \({[a, b]}\), then there is a value \(\xi\) of \(x\) between \(a\) and \(b\), such that \[\phi(b) – \phi(a) = (b – a)\phi'(\xi).\]

Before we give a strict proof of this theorem, which is perhaps the most important theorem in the Differential Calculus, it will be well to point out its obvious geometrical meaning. This is simply (see Fig. 43) that if the curve \(APB\) has a tangent at all points of its length then there must be a point, such as \(P\), where the tangent is parallel to \(AB\). For \(\phi'(\xi)\) is the tangent of the angle which the tangent at \(P\) makes with \(OX\), and \(\{\phi(b) – \phi(a)\}/(b – a)\) the tangent of the angle which \(AB\) makes with \(OX\).

It is easy to give a strict analytical proof. Consider the function \[\phi(b) – \phi(x) – \frac{b – x}{b – a}\{\phi(b) – \phi(a)\},\] which vanishes when \(x = a\) and \(x = b\). It follows from Theorem B of § 121 that there is a value \(\xi\) for which its derivative vanishes. But this derivative is \[\frac{\phi(b) – \phi(a)}{b – a} – \phi'(x);\] which proves the theorem. It should be observed that it has not been assumed in this proof that \(\phi'(x)\) is continuous.

It is often convenient to express the Mean Value Theorem in the form \[\phi(b) = \phi(a) + (b – a) \phi’\{a + \theta(b – a)\},\] where \(\theta\) is a number lying between \(0\) and \(1\). Of course \(a + \theta(b – a)\) is merely another way of writing ‘some number \(\xi\) between \(a\) and \(b\)’. If we put \(b = a + h\) we obtain \[\phi(a + h) = \phi(a) + h\phi'(a + \theta h),\] which is the form in which the theorem is most often quoted.

Example XLVII

1. Show that \[\phi(b) – \phi(x) – \frac{b – x}{b – a}\{\phi(b) – \phi(a)\}\] is the difference between the ordinates of a point on the curve and the corresponding point on the chord.

2. Verify the theorem when \(\phi(x) = x^{2}\) and when \(\phi(x) = x^{3}\).

[In the latter case we have to prove that \((b^{3} – a^{3})/(b – a) = 3\xi^{2}\), where \(a < \xi < b\); that if \(\frac{1}{3}(b^{2} + ab + a^{2}) = \xi^{2}\) then \(\xi\) lies between \(a\) and \(b\).]

3. Establish the theorem stated at the end of § 124 by means of the Mean Value Theorem.

[Since \(\phi'(0) = c\), we can find a small positive value of \(x\) such that \(\{\phi(x) – \phi(0)\}/x\) is nearly equal to \(c\); and therefore, by the theorem, a small positive value of \(\xi\) such that \(\phi'(\xi)\) is nearly equal to \(c\), which is inconsistent with \(\lim\limits_{x \to +0} \phi'(x) = a\), unless \(a = c\). Similarly \(b = c\).]

4. Use the Mean Value Theorem to prove Theorem (6) of § 113, assuming that the derivatives which occur are continuous.

[The derivative of \(F\{f(x)\}\) is by definition \[\lim \frac{F\{f(x + h)\} – F\{f(x)\}}{h}.\] But, by the Mean Value Theorem, \(f(x + h) = f(x) + hf'(\xi)\), where \(\xi\) is a number lying between \(x\) and \(x + h\). And \[F\{f(x) + hf'(\xi)\} = F\{f(x)\} + hf'(\xi)\, F'(\xi_{1}),\] where \(\xi_{1}\) is a number lying between \(f(x)\) and \(f(x) + hf'(\xi)\). Hence the derivative of \(F\{f(x)\}\) is \[\lim f'(\xi)\, F'(\xi_{1}) = f'(x)\, F’\{f(x)\},\] since \(\xi \to x\) and \(\xi_{1} \to f(x)\) as \(h \to 0\).]

 

126.

The Mean Value Theorem furnishes us with a proof of a result which is of great importance in what follows:

if \(\phi'(x) = 0\), throughout a certain interval of values of \(x\), then \(\phi(x)\) is constant throughout that interval.

For, if \(a\) and \(b\) are any two values of \(x\) in the interval, then \[\phi(b) – \phi(a) = (b – a) \phi’\{a + \theta(b – a)\} = 0.\] An immediate corollary is that if \(\phi'(x) = \psi'(x)\), throughout a certain interval, then the functions \(\phi(x)\) and \(\psi(x)\) differ throughout that interval by a constant.


$\leftarrow$ 122-124. Maxima and minima Main Page 127-128. Integration. The logarithmic function $\rightarrow$
Close Menu