Section 1.16

Mean Value Theorems for Differentiable Functions

[45/18%]
Show
LaTeX
Problem 1.16.1

Verify the validity of Rolle's theorem for the function x(x2−1)x(x^{2}-1) on the intervals [−1;1][-1 ; 1] and [0;1][0 ; 1].

?
Problem 1.16.2

On the intervals (−1;1)(-1 ; 1) and (1;2)(1 ; 2) find the points at which the tangent to the graph of the function f(x)=(x2−1)(x−2)f(x) = \left(x^{2}-1\right)(x-2) is horizontal.

?
Problem 1.16.3

On the interval (0;1)(0 ; 1) find a point ξ\xi such that the tangent to the graph of the function y=x3y = x^{3} at the point (ξ;ξ3)(\xi ; \xi^{3}) is parallel to the chord of the graph joining the points (0;0)(0 ; 0) and (1;1)(1 ; 1).

?
Problem 1.16.4

Prove that between two real roots of a polynomial with real coefficients there is a root of its derivative.

?
Problem 1.16.5

Prove that if the function ff is differentiable nn times on the interval [a;b][a ; b] and vanishes at n+1n+1 points on it, then there exists ξ∈(a;b)\xi \in (a ; b) such that f(n)(ξ)=0f^{(n)}(\xi ) = 0.

?
Problem 1.16.6

Prove that if the function ff is differentiable nn times on the interval [a;b][a ; b], a=x1<x2<…<xk=ba = x_{1} < x_{2} < \ldots < x_{k} = b, xi∈[a;b]x_{i} \in [a ; b], nin_{i} are natural numbers, n1+…+nk=n−1n_{1}+\ldots +n_{k} = n-1, and f(ji)(xi)=0,ji=0,1,…,ni−1f^{(j_{i})}(x_{i}) = 0, j_{i} = 0,1, \ldots , n_{i}-1, i=1,2,…,ki = 1,2, \ldots , k, then there exists a point ξ\xi on the interval [a;b][a ; b] such that f(n)(ξ)=0f^{(n)}(\xi ) = 0.

?
Problem 1.16.7

Prove that the roots of the derivative of the polynomial

x(x−1)(x−2)(x−3)(x−4) x(x-1)(x-2)(x-3)(x-4)

are real, simple, and lie in the intervals (0;1),(1;2),(2;3)(0 ; 1),(1 ; 2),(2 ; 3), (3;4)(3 ; 4).

?
Problem 1.16.8

Prove that all the roots of the equation (1+x2)ndn(1+x2)−1dxn=0\left(1+x^{2}\right)^{n} \frac{d^{n}\left(1+x^{2}\right)^{-1}}{d x^{n}} = 0 are real.

?
Problem 1.16.9

Prove that all the roots of the equation x2ne−1/xdne−1/xdxn=0x^{2 n} e^{-1 / x} \frac{d^{n} e^{-1 / x}}{d x^{n}} = 0 are real.

?
Problem 1.16.10

Prove that all derivatives of a polynomial with real coefficients having only real roots can also have only real roots.

?
Problem 1.16.11

Prove that the roots of all derivatives (of order m<2nm < 2 n) of the Legendre polynomials

Pn(x)=12nn!dn(x2−1)dxn P_{n}(x) = \frac{1}{2^{n} n !} \frac{d^{n}\left(x^{2}-1\right)}{d x^{n}}

are real, simple, and lie in the interval (−1;1)(-1 ; 1).

?
Problem 1.16.12

Prove that for the Laguerre polynomials

Ln(x)=exdnxne−xdxn L_{n}(x) = e^{x} \frac{d^{n} x^{n} e^{-x}}{d x^{n}}

all the roots are positive.

?
Problem 1.16.13

Prove that for the Chebyshev-Hermite polynomials

Hn(x)=(−1)nex2dne−x2dxn H_{n}(x) = (-1)^{n} e^{x^{2}} \frac{d^{n} e^{-x^{2}}}{d x^{n}}

all the roots are real and lie in the interval (−2n+1;2n+1)(-\sqrt{2 n+1} ; \sqrt{2 n+1}).

?
Problem 1.16.14

Applying Lagrange's theorem to the function 1/xα1 / x^{\alpha }, prove that for any n∈Nn \in \mathbb {N} and any α>0\alpha > 0 the inequality holds

1nα+1<1α[1(n−1)α−1nα]. \frac{1}{n^{\alpha +1}} < \frac{1}{\alpha }\left[\frac{1}{(n-1)^{\alpha }}-\frac{1}{n^{\alpha }}\right].
?
Problem 1.16.15

Using Lagrange's theorem, prove the inequalities:

?
(1)

n(b−a)an−1<bn−an<n(b−a)bn−1n(b-a) a^{n-1} < b^{n}-a^{n} < n(b-a) b^{n-1} for 0<a<b,n∈N0 < a < b, n \in \mathbb {N};

(2)

x/(1+x)<ln⁡(1+x)<xx /(1+x) < \ln (1+x) < x for x>0x > 0;

(3)

ex⩾1+xe^{x} \geqslant 1+x for x∈Rx \in \mathbb {R};

(4)

ex>exe^{x} > e x for x>1x > 1;

(5)

xα∣ln⁡x∣,1/(αe)x^{\alpha }\left|\ln x\right|, 1 /(\alpha e) for 0<x<1,α>00 < x < 1, \alpha > 0.

Problem 1.16.16

Prove that for x⩾0x \geqslant 0 the equality holds

x+1−x=12x+θ(x) \sqrt{x+1}-\sqrt{x} = \frac{1}{2 \sqrt{x+\theta (x)}}

where 1/4⩽θ(x)<1/21 / 4 \leqslant \theta (x) < 1 / 2, with lim⁡x→+0θ(x)=1/4,lim⁡x→+∞θ(x)=1/2\lim_{x \rightarrow +0} \theta (x) = 1 / 4, \lim_{x \rightarrow +\infty } \theta (x) = 1 / 2.

?
Problem 1.16.17

Prove: if the function ff is differentiable nn times for x⩾0x \geqslant 0, f(0)=f′(0)=…=f(n−1)(0)=0f(0) = f^{\prime }(0) = \ldots = f^{(n-1)}(0) = 0, and f(n)(x)>0f^{(n)}(x) > 0 for x>0x > 0, then also f(x)>0f(x) > 0 for x>0x > 0.

?
Problem 1.16.18

Prove: if the functions ff and gg are differentiable nn times for x⩾0x \geqslant 0 and f(0)=g(0),f′(0)=g′(0),…,f(n−1)(0)=g(n−1)(0)f(0) = g(0), f^{\prime }(0) = g^{\prime }(0), \ldots , f^{(n-1)}(0) = g^{(n-1)}(0), f(n)(x)>g(n)(x)f^{(n)}(x) > g^{(n)}(x) for x>0x > 0, then also f(x)>−g(x)f(x) > -g(x) for x>0x > 0.

?
Problem 1.16.19

Prove that if the function ff is differentiable and unbounded on a finite interval (a;b)(a ; b), then its derivative is also unbounded on this interval.

?
Problem 1.16.20

Prove that if the function ff is differentiable on a finite or infinite interval (a;b)(a ; b) and there exist equal finite limits, or infinite limits of the same sign, lim⁡x→a+0f(x)\lim_{x \rightarrow a+0} f(x) and lim⁡x→b−0f(x)\lim_{x \rightarrow b-0} f(x), then there exists a point ξ∈(a;b)\xi \in (a ; b) such that f′(ξ)=0f^{\prime }(\xi ) = 0.

?
Problem 1.16.21

Let f(x)−f(0)=xf′(ξ(x)),0<ξ(x)<xf(x)-f(0) = x f^{\prime }(\xi (x)), 0 < \xi (x) < x. Prove that if f(x)=xsin⁡(ln⁡x)f(x) = x \sin (\ln x) for x>0x > 0 and f(0)=0f(0) = 0, then the function ξ(x)\xi (x) is discontinuous on an arbitrarily small interval (0;ε),ε>0(0 ; \varepsilon ), \varepsilon > 0.

?
Problem 1.16.22

Prove that if the function ff is differentiable for x>ax > a and lim⁡x→+∞f′(x)=0\lim_{x \rightarrow +\infty } f^{\prime }(x) = 0, then lim⁡x→+∞f(x)x=0\lim_{x \rightarrow +\infty } \frac{f(x)}{x} = 0.

?
Problem 1.16.23

Prove that if the function ff is differentiable for x>ax > a and lim⁡x→+∞f(x)x=0\lim_{x \rightarrow +\infty } \frac{f(x)}{x} = 0, then lim‾⁡n→+∞∣f′(x)∣=0\varliminf_{n \rightarrow +\infty }\left|f^{\prime }(x)\right| = 0.

?
Problem 1.16.24

Prove that if the function ff is differentiable on the interval [a;b],ab>0[a ; b], a b > 0, then

1a−b∣abf(x)f(b)∣=f(ξ)−ξf′(ξ) \frac{1}{a-b}\left|\begin{array}{cc} a & b \\ f(x) & f(b) \end{array}\right| = f(\xi )-\xi f^{\prime }(\xi )

where a<ξ<ba < \xi < b.

?
Problem 1.16.25

Prove that if the function ff satisfies the conditions of Rolle's theorem on the interval [a;b][a ; b] and is not constant, then there exist points ξ1\xi_{1} and ξ2\xi_{2} on this interval such that

f′(ξ1)>0,f′(ξ2)<0 f^{\prime }\left(\xi _{1}\right) > 0, \quad f^{\prime }\left(\xi _{2}\right) < 0
?
Problem 1.16.26

Prove that if the function ff is continuous on the interval [a;b][a ; b], differentiable on the interval (a;b)(a ; b), and is not linear, then there exists a point ξ∈(a;b)\xi \in (a ; b) such that

∣f′(ξ)∣>∣f(b)−f(a)b−a∣. \left|f^{\prime }(\xi )\right| > \left|\frac{f(b)-f(a)}{b-a}\right|.
?
Problem 1.16.27

Prove that if the function ff is twice differentiable on the interval [a;b][a ; b] and f′(a)=f′(b)=0f^{\prime }(a) = f^{\prime }(b) = 0, then there exists a point ξ∈(a;b)\xi \in (a ; b) such that

∣f′′(ξ)∣⩾4(b−a)2∣f(b)−f(a)∣. \left|f^{\prime \prime }(\xi )\right| \geqslant \frac{4}{(b-a)^{2}}\left|f(b)-f(a)\right|.
?
Problem 1.16.28

Let the function ff be continuous in some neighborhood of the point x0x_{0} and differentiable in a punctured neighborhood of this point. Prove that if the limits lim⁡x→x0−0f′(x)\lim_{x \rightarrow x_{0}-0} f^{\prime }(x) and lim⁡x→x0+0f′(x)\lim_{x \rightarrow x_{0}+0} f^{\prime }(x) exist and are not equal to each other, then the function ff is not differentiable at the point x0x_{0}.

?
Problem 1.16.29

Prove that if the function ff is differentiable in some punctured neighborhood of the point x0x_{0}, continuous at this point itself, and the finite limit lim⁡x→x0f′(x)\lim_{x \rightarrow x_{0}} f^{\prime }(x) exists, then the derivative f′(x0)f^{\prime }\left(x_{0}\right) also exists, and f′(x0)=lim⁡x→x0f′(x)f^{\prime }\left(x_{0}\right) = \lim_{x \rightarrow x_{0}} f^{\prime }(x) (in other words, prove Corollary 3 of Lagrange's theorem).

?
Problem 1.16.30

Prove that if the function ff is differentiable on the interval [1;2][1 ; 2], then there exists a point ξ∈(1;2)\xi \in (1 ; 2) such that f(2)−f(1)=ξ22f′(ξ)f(2)-f(1) = \frac{\xi^{2}}{2} f^{\prime }(\xi ).

?
Problem 1.16.31

Prove that if the function ff is differentiable on the interval [a;b][a ; b], with f(a)=f(b)f(a) = f(b), then there exists a point ξ∈(a;b)\xi \in (a ; b) such that f(a)−f(ξ)=(ξf′(ξ))/2f(a)-f(\xi ) = \left(\xi f^{\prime }(\xi )\right) / 2.

?
Problem 1.16.32

Let the function ff be continuously differentiable on the interval (a;b)(a ; b), and let its derivative be monotonic on this interval. Prove that if f(x0)=0,x0∈(a;b)f\left(x_{0}\right) = 0, x_{0} \in (a ; b), then lim⁡x→x0f(x)f′(x)=0\lim_{x \rightarrow x_{0}} \frac{f(x)}{f^{\prime }(x)} = 0.

?
Problem 1.16.33

Determine whether there always exists a point ξ∈(a;b)\xi \in (a ; b) such that f′(ξ)=0f^{\prime }(\xi ) = 0, if the function ff satisfies all the conditions of Rolle's theorem except one of the following:

  1. the function ff is continuous on the interval [a,b][a,b];

  2. the function ff has, at every point of the interval (a,b)(a,b), a finite derivative or an infinite derivative of definite sign;

  3. f(a)=f(b)f(a) = f(b).

?
Problem 1.16.34

Are the conditions of Rolle's theorem necessary and sufficient for there to exist a point ξ∈(a;b)\xi \in (a ; b) such that f′(ξ)=0f^{\prime }(\xi ) = 0?

?
Problem 1.16.35

Determine whether the Lagrange finite-increment formula holds on the interval [−1;1][-1 ; 1] for the function

f(x)={xsin⁡(1/x), if x≠00, if x=0 f(x) = \begin{cases} x \sin (1 / x), & \text{ if } & x \neq 0 \\ 0, & \text{ if } x = 0 \end{cases}
?
Problem 1.16.36

Let the function ff be continuously differentiable on the interval (a;b)(a ; b). Is it true that for any ξ∈(a;b)\xi \in (a ; b) there exist points x1∈(a;b)x_{1} \in (a ; b) and x2∈(a;b)x_{2} \in (a ; b) such that

f′(ξ)=f(x2)−f(x1)x2−x1? f^{\prime }(\xi ) = \frac{f\left(x_{2}\right)-f\left(x_{1}\right)}{x_{2}-x_{1}}?
?
Problem 1.16.37

Let the function ff satisfy the condition ∣f(x+h)−f(x−h)∣<h2\left|f(x+h)-f(x-h)\right| < h^{2} for any x∈Rx \in \mathbb {R} and any h>0h > 0. Prove that f(x)=f(x) = const.

?
Problem 1.16.38

Let the function ff be differentiable for all x∈Rx \in \mathbb {R} and let lim⁡x→∞f(x)=0\lim_{x \rightarrow \infty } f(x) = 0. Prove that there exists a point ξ\xi such that f′(ξ)=0f^{\prime }(\xi ) = 0.

?
Problem 1.16.39

Let the function ff be differentiable on the interval [a;b][a ; b] and f′(a)f′(b)<0f^{\prime }(a) f^{\prime }(b) < 0. Prove that there exists a point x0∈(a;b)x_{0} \in (a ; b) such that f′(x0)=0f^{\prime }\left(x_{0}\right) = 0.

?
Problem 1.16.40

Let the function f(x)f(x) have a continuous second-order derivative on R\mathbb {R}, and suppose finite limits of this function exist as x→−∞x \rightarrow -\infty and x→+∞x \rightarrow +\infty. Prove that there is a point x0x_{0} such that f′(x0)=0f^{\prime }\left(x_{0}\right) = 0.

?
Problem 1.16.41

Let the function f(x)f(x) be continuous on the interval [a;b][a ; b] and differentiable on the interval (a;b)(a ; b), where a>0a > 0. Prove that there exists a point ξ∈(a;b)\xi \in (a ; b) such that

ab(bf(b)−af(a))b−a=ξ2(f(ξ)+ξf′(ξ)) \frac{a b(b f(b)-a f(a))}{b-a} = \xi ^{2}\left(f(\xi )+\xi f^{\prime }(\xi )\right)
?
Problem 1.16.42

Let the function f(x)f(x) be continuous on the interval [0;1][0 ; 1], differentiable on the interval (0;1)(0 ; 1), and satisfy the conditions: f(0)=5f(0) = 5, f(1)=3,f′(x)⩾−2f(1) = 3, f^{\prime }(x) \geqslant -2 for all x∈(0;1)x \in (0 ; 1). Prove that f(x)f(x) is a linear function on the interval [0;1][0 ; 1].

?
Problem 1.16.43

Let the function f(x)f(x) be continuous on the interval [0;2][0 ; 2], differentiable on the interval (0;2)(0 ; 2), and satisfy the conditions: f(0)=−5f(0) = -5, f(2)=−1;f(x)⩽−2f(2) = -1 ; f(x) \leqslant -2 for all x∈(0;2)x \in (0 ; 2). Prove that f(x)f(x) is a linear function on the interval [0;2][0 ; 2].

?
Problem 1.16.44

Let the function f(x)f(x) be differentiable for x>1x > 1 and let a finite lim⁡x→+∞f(x)\lim_{x \rightarrow +\infty } f(x) exist. Prove that f′(x)f^{\prime }(x) cannot have a finite nonzero limit as x→+∞x \rightarrow +\infty. Can f′(x)f^{\prime }(x) fail to have a limit as x→+∞x \rightarrow +\infty?

?
Problem 1.16.45

Let the function f(x)f(x) be defined on the interval (a;b)(a ; b), and suppose that for any points x1x_{1} and x2x_{2} from this interval the inequality ∣f(x2)−f(x1)∣⩽∣x2−x1∣α\left|f\left(x_{2}\right)-f\left(x_{1}\right)\right| \leqslant \left|x_{2}-x_{1}\right|^{\alpha } holds, where α>1\alpha > 1. Prove that the function f(x)f(x) is constant on the interval (a;b)(a ; b).

?