This activity is intended to illuminate[br][list=1][*]The relationship between the Mean Value Theorem (MVT) for Derivatives and the MVT for Integrals.[/*][*]The Fundamental Theorem of Calculus (FTC) statement involving the derivative of a definite integral.[br](Whether this shall be referred to as the "first" FTC or the "second" FTC is not consistently agreed upon.)[/*][/list]One may go through the algebraic manipulation that addresses these points yet still completely miss any geometric understanding. (Or was that just me back in school?) Interacting with this construction is intended to help foster a geometric interpretation of the MVTs and FTC.[br][br]Feel free to jump right in and tinker with the construction below. See the instructions and questions below the construction to check your understanding.[br]
Leave the "[color=#ff0000]rate f(x)[/color]" checkbox turned on and turn off the "[color=#0000ff]accumulating function F(t)[/color]" checkbox.[br]Drag point [color=#9900ff]A[/color] to wherever you like along the x-axis, but then let's consider it constant for the rest of the activity. Let [math]\left(a,0\right)[/math] represent the coordinates of this point, with constant [math]a[/math].[br]Point [color=#9900ff]B[/color] may also be dragged along the x-axis, and we will consider its position as variable throughout the activity. Let [math]\left(t,0\right)[/math] represent the coordinates of this point, with variable [math]t[/math].[br]Instead of dragging either point, you may alternatively select the point and then on a keyboard press the left/right arrow buttons. Holding CTRL while pressing the arrow buttons will increase the distance that the point translates.[br]To change scaling of x vs. y axes, press Shift on keyboard and click-drag either axis, or pinch/expand either axis on a touchscreen.[br][br]Let's metaphorically think of the region represented by the definite integral [math]F\left(t\right)=\int_a^tf\left(x\right)dx[/math] as a [color=#ff0000]block of ice[/color]. Yes, the metaphor falls apart a bit when [math]f\left(x\right)[/math] dips into negative values, but use your imagination to ponder the notion of "negative ice" that can cancel out "positive ice."[br]Drag point [color=#9900ff]B[/color] to lie right on top of point [color=#9900ff]A[/color]. The width of the [color=#ff0000]ice block [/color]has shrunk to 0, so [math]F\left(t\right)=0[/math] at this moment, right?
Gradually drag point B to the right, counting the unit squares of [color=#ff0000]ice[/color] that accumulate in the process.[br]Stop at some point. Divide the [color=#ff0000]ice[/color] area you've tallied by the width of the [color=#ff0000]ice[/color] block. You have just calculated the _______ ________ of the function [math]f\left(x\right)[/math] over your specified interval.
Drag the [color=#ff0000]"ice"[/color] slider all the way to the right, causing it go through the [color=#ff0000]"melting"[/color] process and convert into [color=#ff0000]"water."[/color] Yes, we're pretending that ice and water have the same density in this metaphor. (Relax, chemistry nerds.)[br]Continuing the metaphor, what does the MVT for Integrals guarantee will occur for at least one location an the specified interval between points [color=#9900ff]A[/color] and [color=#9900ff]B[/color]?
The MVT for Integrals guarantees that on this interval [math]\left(a,t\right)[/math], the water line with a height of [math]\frac{\int_a^tf\left(x\right)dx}{t-a}[/math] (i.e. average value) will intersect the continuous ice curve [math]f\left(x\right)[/math] at one or more values [math]x=c[/math].[br]In other words, [math]f\left(c\right)=\frac{\int_a^tf\left(x\right)dx}{t-a}[/math] has at least one solution [math]c[/math] on the interval [math]\left(a,t\right)[/math].
Turn on the "[color=#0000ff]accumulating function F(t)[/color]" checkbox. Verify that it accurately tracks the "[color=#ff0000]ice area[/color]" as you drag [color=#9900ff]B[/color] along the horizontal axis in accordance with its definition [math]F\left(t\right)=\int_a^tf\left(x\right)dx[/math].
Turning our attention to the [color=#0000ff]F[/color] graph, turn on the "[color=#0000ff]tangent & secant[/color]" checkbox. An [color=#9900ff]unlabeled point[/color] appears on the [color=#0000ff]F[/color] curve. Drag that [color=#9900ff]point[/color] to a location on the [color=#0000ff]F[/color] curve that satisfies the MVT for Derivatives. What does the Theorem guarantee at this particular point?
The line tangent to continuous, differentiable function [color=#0000ff]F[/color] at this particular [color=#9900ff]point[/color] (where let's say [math]x=c[/math]) is parallel to the secant line of [color=#0000ff]F[/color] over the specified interval [math]\left(a,t\right)[/math] between points [color=#9900ff]A[/color] and [color=#9900ff]B[/color].[br]In other words, [math]F'\left(c\right)=\frac{F\left(t\right)-F\left(a\right)}{t-a}[/math] for at least one value of [math]c[/math] on interval [math]\left(a,t\right)[/math].[br]
[b]Tangent line: [/b]At the same x-value(s) where you just dragged the [color=#9900ff]unlabeled point[/color] on [color=#0000ff]F(t)[/color] to satisfy the MVT for Derivatives, follow the vertical line that passes through that point back to the [color=#ff0000]block of ice f(x)[/color]. What of significance do you observe at that location on the ice?
The same c value(s) that satisfy the MVT for derivatives on [color=#0000ff]accumulating function F[/color] is/are the same c value(s) that satisfy the MVT for Integrals on the [color=#ff0000]f(x) block of ice[/color].[br][br]If this is news to you and it doesn't make you say "wow" at least a little bit, than it is Mathematically probable that you don't have a soul.
[b]Secant line:[/b] Compute the slope of the secant line for [color=#0000ff]F(t)[/color] on the interval between points [color=#9900ff]A[/color] and [color=#9900ff]B[/color]. How does this slope connect to the [color=#ff0000]block of ice f(x)[/color]?
Over the interval between points [color=#9900ff]A[/color] and [color=#9900ff]B[/color], the average rate of change (secant slope) of [color=#0000ff]F(t)[/color] is equal to the average value (water line) of [color=#ff0000]f(x)[/color].
With the "[color=#0000ff]tangent & secant[/color]" checkbox still on, drag the [color=#9900ff]unlabeled point[/color] back and forth along the differentiable [color=#0000ff]F(t)[/color] curve. What is noteworthy about the slope of the line tangent to [color=#0000ff]F(t)[/color] at the [color=#9900ff]unlabeled point[/color]?
The derivative of [color=#0000ff]F(t)[/color] is given by the [color=#ff0000]f(x)[/color] curve whose area it's tracking. In other words, the slope of [color=#0000ff]accumulating function F(t)[/color] is equal to the corresponding [color=#ff0000]ice curve value f(t)[/color].[br][br]This is what's affirmed by the Fundamental Theorem of Calculus statement:[br][math]\frac{d}{dt}F\left(t\right)=\frac{d}{dt}\int_a^tf\left(x\right)dx=f\left(t\right)[/math]
[justify]For most of this discussion we've been treating the position of point [color=#9900ff]A[/color] as constant. Nonetheless, drag [color=#9900ff]A[/color] left or right to a new position. While you drag [color=#9900ff]A[/color] left/right: What happens to the graph of the [color=#0000ff]accumulating function F(t)[/color] as you do so? How is the derivative of [color=#0000ff]F(t)[/color] affected?[br][/justify]
[color=#0000ff]Accumulating function F(t)[/color] translates up or down, depending on whether dragging point [color=#9900ff]A[/color] causes the accumulation of ice to increase or decrease. Because [color=#0000ff]F(t)[/color] only translates rigidly up/down, the derivative of [color=#0000ff]F(t)[/color] is unaffected. This is consistent with the fact that the [color=#ff0000]f(t)[/color] is the derivative of [color=#0000ff]F(t)[/color], and the [color=#ff0000]f(x) ice curve[/color] hasn't been changed during this process.
In the construction above, a differentiable function [math]F_0\left(x\right)[/math] is already entered for you. When point [color=#9900ff]A[/color] is located at the origin, [math]F_0\left(x\right)=F\left(x\right)[/math]. If [color=#9900ff]A[/color] is repositioned away from the origin, then [math]F\left(x\right)[/math] is vertically translated accordingly. The input box allows you to redefine [math]F_0\left(x\right)[/math] if you like, either piecewise like the default function or not. Just make sure your [math]F_0\left(x\right)[/math] is differentiable in order for the MVT to apply.