Calculus 1: Theorems about Differentiation
The Student[Calculus1] package contains three routines that can be used to both work with and visualize Rolle's theorem and the mean value theorem. This worksheet demonstrates this functionality.
For further information about any command in the Calculus1 package, see the corresponding help page. For a general overview, see Calculus1.
Getting Started
While any command in the package can be referred to using the long form, for example, Student[Calculus1][MeanValueTheorem], it is easier, and often clearer, to load the package, and then use the short form command names.
restart
with⁡StudentCalculus1:
The following sections show how the various routines work.
Rolle's Theorem
Rolle's theorem states that if f is a function that satisfies:
1. f is continuous on the closed interval a,b,
2. f is differentiable on the open interval (a,b), and
3. f⁡a=f⁡b
then there exists a point c in the open interval (a,b) such that f'(c) = 0.
The routine RollesTheorem takes an expression representing the function, checks that the requirements of the theorem hold, and then plots the expression and all points where the derivative is zero.
RollesTheoremx⁢x−4,x=1..3,output=points
2
RollesTheorem⁡x⁢x−4,x=1..3
RollesTheorem⁡sin⁡x,1..2⁢π+1
The Mean Value Theorem
The mean value theorem is a generalization of Rolle's theorem which states that if f is a function that satisfies:
1. f is continuous on the closed interval a,b, and
2. f is differentiable on the open interval (a,b),
then there exists a point c in the open interval (a,b) such that f'(c) = f⁡b−f⁡ab−a where the right-hand side is the slope of the line connecting the points (a,f⁡a) and (b,f⁡b). The Mean Value Theorem can be derived from Rolle's Theorem by considering the function g⁡x=f⁡x−f⁡b−f⁡a⁢x−ab−a.
The routine MeanValueTheorem takes an expression representing the function, checks that the requirements of the theorem hold, and then plots the expression and all points where the derivative equals the slope of the secant line connecting the end points of the graph of f on a,b.
MeanValueTheorem⁡x3−5⁢x2+8⁢x−1,x=1..3,output=points
73
MeanValueTheorem⁡x3−5⁢x2+8⁢x−1,x=1..3
MeanValueTheorem⁡sin⁡x,x=−4..2⁢π
You can also learn about the Mean Value Theorem using the MeanValueTheoremTutor command.
MeanValueTheoremTutor⁡
Main: Visualization
Previous: Derivatives
Next: Applications of Derivatives
Download Help Document